Source author record

Jeremy Brazas

Jeremy Brazas appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AT math.GN math.CT math.GT

Catalog footprint

What is connected

16works

4topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2025arXiv

Identities for Whitehead products and infinite sums

Whitehead products and natural infinite sums are prominent in the higher homotopy groups of the $n$-dimensional infinite earring space $\mathbb{E}_n$ and other locally complicated Peano continua. In this paper, we derive general identities for how these operations interact with each other. As an application, we consider a shrinking wedge $X$ of finite $(n-1)$-connected CW-complexes $X_1,X_2,X_3,\dots$ and compute the infinite-sum closure $\mathcal{W}_{2n-1}(X)$ of the set of Whitehead products $[α,β]$ in $π_{2n-1}\left(X\right)$ where $α,β\inπ_n(X)$ are represented in respective sub-wedges that meet only at the basepoint. In particular, we show that $\mathcal{W}_{2n-1}(X)$ is canonically isomorphic to $\prod_{j=1}^{\infty}\left(π_{n}(X_j)\otimes \prod_{k>j}π_n(X_k)\right)$. The insight provided by this computation motivates a conjecture about the isomorphism type of the elusive groups $π_{2n-1}(\mathbb{E}_n)$, $n\geq 2$.

preprint2025arXiv

The Čech homotopy groups of a shrinking wedge of spheres

We compute the Čech homotopy groups of the $m$-dimensional infinite earring space $\mathbb{E}_m$, i.e. a shrinking wedge of $m$-spheres. In particular, for all $n,m\geq 2$, we prove that $\checkπ_n(\mathbb{E}_m)$ is isomorphic to a direct sum of countable powers of homotopy groups of spheres: $\bigoplus_{1\leq j\leq \frac{n-1}{m-1}}\left(π_{n}(S^{mj-j+1})\right)^{\mathbb{N}}$. Equipped with this isomorphism and infinite-sum algebra, we also construct new elements of $π_n(\mathbb{E}_m)$ with a view toward characterizing the image of the canonical homomorphism $Ψ_{n}:π_n(\mathbb{E}_m)\to \checkπ_{n}(\mathbb{E}_m)$. We prove that $Ψ_{n}$ is a split epimorphism when $n\leq 2m-1$ and we identify a candidate for the image of $Ψ_n$ when $n>2m-1$.

preprint2023arXiv

Fundamental groups of reduced suspensions are locally free

In this paper, we analyze the fundamental group $π_1(ΣX,\overline{x_0})$ of the reduced suspension $ΣX$ where $(X,x_0)$ is an arbitrary based Hausdorff space. We show that $π_1(ΣX,\overline{x_0})$ is canonically isomorphic to a direct limit $\varinjlim_{A\in\mathscr{P}}π_1(ΣA,\overline{x_0})$ where each group $π_1(ΣA,\overline{x_0})$ is isomorphic to a finitely generated free group or the infinite earring group. A direct consequence of this characterization is that $π_1(ΣX,\overline{x_0})$ is locally free for any Hausdorff space $X$. Additionally, we show that $ΣX$ is simply connected if and only if $X$ is sequentially $0$-connected at $x_0$.

preprint2022arXiv

Homotopy groups of shrinking wedges of non-simply connected CW-complexes

In this paper, we study the homotopy groups of a shrinking wedge $X$ of a sequence $\{X_j\}$ of non-simply connected CW-complexes. Using a combination of generalized covering space theory and shape theory, we construct a canonical homomorphism $$Θ:π_n(X)\to\prod_{j\in\mathbb{N}}\bigoplus_{π_1(X)/π_1(X_j)}π_n(X_j),$$ characterize its image, and prove that $Θ$ is injective whenever each universal cover $\widetilde{X}_j$ is $(n-1)$-connected. These results (1) provide a characterization of the $n$-th homotopy group of the shrinking wedge of copies of $\mathbb{RP}^n$, (2) provide a characterization of $π_2$ of an arbitrary shrinking wedge, and (3) imply that a shrinking wedge of aspherical CW-complexes is aspherical.

preprint2020arXiv

Infinitary commutativity and fundamental groups of topological monoids

The well-known Eckmann-Hilton Principle may be applied to prove that fundamental groups of $H$-spaces are commutative. In this paper, we identify an infinitary analogue of the Eckmann-Hilton Principle that applies to fundamental groups of all topological monoids and slightly more general objects called pre-$Δ$-monoids. In particular, we show that every pre-$Δ$-monoid $M$ is "transfinitely $π_1$-commutative" in the sense that permutation of the factors of any infinite loop-concatenation indexed by a countably infinite order and based at the identity $e\in M$ is a homotopy invariant action. We also give a detailed account of fundamental groups of James reduced products and apply transfinite $π_1$-commutativity to make several computations.

preprint2019arXiv

Dense products in fundamental groupoids

Infinitary operations, such as products indexed by countably infinite linear orders, arise naturally in the context of fundamental groups and groupoids. Despite the fact that the usual binary operation of the fundamental group determines the operation of the fundamental groupoid, we show that, for a locally path-connected metric space, the well-definedness of countable dense products in the fundamental group need not imply the well-definedness of countable dense products in the fundamental groupoid. Additionally, we show the fundamental groupoid $Π_1(X)$ has well-defined dense products if and only if $X$ admits a generalized universal covering space.

preprint2019arXiv

Scattered products in fundamental groupoids

Infinitary operations, such as products indexed by countably infinite linear orders, arise naturally in the context of fundamental groups and groupoids. We prove that the well-definedness of products indexed by a scattered linear order in the fundamental groupoid of a first countable space is equivalent to the homotopically Hausdorff property. To prove this characterization, we employ the machinery of closure operators, on the $π_1$-subgroup lattice, defined in terms of test maps from one-dimensional domains.

preprint2018arXiv

On the discontinuity of the $π_1$-action

We show the classical $π_1$-action on the $n$-th homotopy group can fail to be continuous for any $n$ when the homotopy groups are equipped with the natural quotient topology. In particular, we prove the action $π_1(X)\timesπ_n(X)\toπ_n(X)$ fails to be continuous for a one-point union $X=A\vee \mathbb{H}_n$ where $A$ is an aspherical space such that $π_1(A)$ is a topological group and $\mathbb{H}_n$ is the $(n-1)$-connected, n-dimensional Hawaiian earring space $\mathbb{H}_n$ for which $π_n(\mathbb{H}_n)$ is a topological abelian group.

preprint2018arXiv

Realizing spaces as path-component spaces

The path component space of a topological space $X$ is the quotient space $π_0(X)$ whose points are the path components of $X$. We show that every Tychonoff space $X$ is the path-component space of a Tychonoff space $Y$ of weight $w(Y)=w(X)$ such that the natural quotient map $Y\to π_0(Y)=X$ is a perfect map. Hence, many topological properties of $X$ transfer to $Y$. We apply this result to construct a compact space $X\subset \mathbb{R}^3$ for which the fundamental group $π_1(X,x_0)$ is an uncountable, cosmic, $k_ω$-topological group but for which the canonical homomorphism $ψ:π_1(X,x_0)\to \checkπ_1(X,x_0)$ to the first shape homotopy group is trivial.

preprint2018arXiv

Test map characterizations of local properties of fundamental groups

Local properties of the fundamental group of a path-connected topological space can pose obstructions to the applicability of covering space theory. A generalized covering map is a generalization of the classical notion of covering map defined in terms of unique lifting properties. The existence of generalized covering maps depends entirely on the verification of the unique path lifting property for a standard covering construction. Given any path-connected metric space $X$, and a subgroup $H\leqπ_1(X,x_0)$, we characterize the unique path lifting property relative to $H$ in terms of a new closure operator on the $π_1$-subgroup lattice that is induced by maps from a fixed "test" domain into $X$. Using this test map framework, we develop a unified approach to comparing the existence of generalized coverings with a number of related properties.

preprint2015arXiv

Generalized covering space theories

In this paper, we unify various approaches to generalized covering space theory by introducing a categorical framework in which coverings are defined purely in terms of unique lifting properties. For each category $\mathcal{C}$ of path-connected spaces having the unit disk as an object, we construct a category of $\mathcal{C}$-coverings over a given space $X$ that embeds in the category of $π_1(X,x_0)$-sets via the usual monodromy action on fibers. When $\mathcal{C}$ is extended to its coreflective hull $\mathscr{H}(\mathcal{C})$, the resulting category of based $\mathscr{H}(\mathcal{C})$-coverings is complete, has an initial object, and often characterizes more of the subgroup lattice of $π_1(X,x_0)$ than traditional covering spaces. We apply our results to three special coreflective subcategories: (1) The category of $Δ$-coverings employs the convenient category of $Δ$-generated spaces and is universal in the sense that it contains every other generalized covering category as a subcategory. (2) In the locally path-connected category, we preserve notion of generalized covering due to Fischer and Zastrow and characterize the topology of such coverings using the standard whisker topology. (3) By employing the coreflective hull $\mathbf{Fan}$ of the category of all contractible spaces, we characterize the notion of continuous lifting of paths and identify the topology of $\mathbf{Fan}$-coverings as the natural quotient topology inherited from the path space.

preprint2013arXiv

Open subgroups of free topological groups

The theory of covering spaces is often used to prove the Nielsen-Schreier theorem, which states that every subgroup of a free group is free. We apply the more general theory of semicovering spaces to obtain analogous subgroup theorems for topological groups: Every open subgroup of a free Graev topological group is a free Graev topological group. An open subgroup of a free Markov topological group is a free Markov topological group if and only if it is disconnected.

preprint2012arXiv

The fundamental group as a topological group

This paper is devoted to the study of a natural group topology on the fundamental group which remembers local properties of spaces forgotten by covering space theory and weak homotopy type. It is known that viewing the fundamental group as the quotient of the loop space often fails to result in a topological group; we use free topological groups to construct a topology which promotes the fundamental group of any space to topological group structure. The resulting invariant, denoted $π_{1}^τ$, takes values in the category of topological groups, can distinguish spaces with isomorphic fundamental groups, and agrees with the quotient fundamental group precisely when the quotient topology yields a topological group. Most importantly, this choice of topology allows us to naturally realize free topological groups and pushouts of topological groups as fundamental groups via topological analogues of classical results in algebraic topology.

preprint2011arXiv

Semicoverings: a generalization of covering space theory

The fundamental groupoid of a space becomes enriched over the category of topological spaces when the hom-sets are endowed with topologies intimately related to universal constructions of topological groups. This paper is devoted to a generalization of classical covering theory in the context of this construction.

preprint2010arXiv

The topological fundamental group and free topological groups

The topological fundamental group $π_{1}^{top}$ is a homotopy invariant finer than the usual fundamental group. It assigns to each space a quasitopological group and is discrete on spaces which admit universal covers. For an arbitrary space $X$, we compute the topological fundamental group of the suspension space $Σ(X_+)$ and find that $π_{1}^{top}(Σ(X_+))$ either fails to be a topological group or is the free topological group on the path component space of $X$. Using this computation, we provide an abundance of counterexamples to the assertion that all topological fundamental groups are topological groups. A relation to free topological groups allows us to reduce the problem of characterizing Hausdorff spaces $X$ for which $π_{1}^{top}(Σ(X_+))$ is a Hausdorff topological group to some well known classification problems in topology.

preprint2010arXiv

The Topological Fundamental Group and Hoop Earring Spaces

The topological fundamental group $π_{1}^{top}$ is a topological invariant that assigns to each space a quasi-topological group and is discrete on spaces which are well behaved locally. For a totally path-disconnected, Hausdorff, unbased space $X$, we compute the topological fundamental group of the "hoop earring" space of $X$, which is the reduced suspension of $X$ with disjoint basepoint. We do so by factorizing the quotient map $Ω(ΣX_{+},x)\to π_{1}^{top}(ΣX_{+},x)$ through a free topological monoid with involution $M(X)$ such that the map $M(X)\shortrightarrow π_{1}^{top}(ΣX_{+},x)$ is also a quotient map. $π_{1}^{top}(ΣX_{+},x)$ is T1 and an embedding $X\shortrightarrow π_{1}^{top}(ΣX_{+},x)$ illustrates that $π_{1}^{top}(ΣX_{+},x)$ is not a topological group when $X$ is not regular. These hoop earring spaces provide a simple class of counterexamples to the claim that $π_{1}^{top}$ is a functor to the category of topological groups.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint