Researcher profile

Jeremy Brazas

Jeremy Brazas contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.AT math.GN

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author

12works

0followers

2topics

3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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.

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.

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.

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