arXiv Science⌕ Search

arXiv subjects

Curtis Kent

Publications and source records attributed to Curtis Kent.

12 recordsLinked to original sources
arXiv2026

A canonical splitting of the first homology group of Peano continua

The first singular homology of a Peano continuum $X$ with torsion-free first Cech homology, $\check H_1(x)$, splits as $H_1(X) = \check H_1(X) \oplus K$ where $K$ is the homology shape kernel of $X$. Consequently if a Peano continuum $X$ is a subspace of $\mathbb R^3$, then $H_1(X) = \mathbb Z^\lambda \oplus K$ where $K$ is the homology shape kernel of $X$ and $\lambda$ is a countable cardinal. In the process we construct cotorsion quotients of subgroups of the first homology which correspond to path-connected fibrations of $X$.

math.AT↗
arXiv2026

Homomorphisms from topological groups to inverse limits

We prove a general theorem giving constraints on maps from certain topological groups to inverse limits of bounded torsion groups. From this we obtain some automatic continuity and ultraproduct results. For example, every homomorphism from a Polish group to a countable torsion-free residually finite group has open kernel. Also, the Grigorchuk group is a homomorphic image of a nonprincipal ultraproduct of groups if and only if there exists a measurable cardinal.

math.GR↗
arXiv2026

Tree-like is not a transitive relation on paths

The notions of tree-like loop and Lipschitz tree-like loop were introduced by Hambly and Lyons in their 2010 Annals of Mathematics paper. They showed that the Lipschitz tree-like property determines an equivalence relation on the set of paths of bounded variation in a given metric space and then asked if this notion could be extended to paths without the Lipschitz requirement. We show that after eliminating the Lipschitz requirement, the resulting relation is no longer transitive and thus is not an equivalence relation. The counterexample is obtained by analyzing an explicit fractal construction in the plane.

math.GT↗
arXiv2026

Fundamental Groups of Disjointly Tree-Graded Spaces

Tree-graded spaces are a generalization of $\mathbb{R}$-trees and play an important role in describing the large-scale geometry of relatively hyperbolic groups. We consider a subclass of tree-graded spaces that we call "disjointly tree-graded spaces," determined by maps to $\mathbb{R}$-trees. We characterize the fundamental group of a disjointly tree-graded space $(X,\mathscr{P})$ in terms of the fundamental groups of its pieces. Our results apply even in cases where neither $X$ nor its pieces are locally simply connected. In particular, we show that if the pieces are uniformly $1$-$UV_0$, then the fundamental group of a disjointly tree-graded space embeds into the inverse limit of the free products of the fundamental groups of finitely many pieces.

math.AT↗
arXiv2026

A Classification of Fractal Squares

Let $\lambda_K:\bbR^2\rightarrow\{0,1,\ldots\}\cup\{\infty\}$ be the lambda function of a planar comapctum $K$, as defined in MR4488162. It is known that a planar continuum is locally connected if and only if its lambda function vanishes everywhere, or equivalently, $\lambda_K(K)=\{0\}$. In this article we show that every fractal square $K$ satisfies $\lambda_K(K)\subset\{0,1\}$ and find criterions to classify when $\lambda_K(K)$ equals $\{0\}$, $\{1\}$ or $\{0,1\}$. Here for any integer $N\ge2$ and any set $\Dc=\left\{(i,j): 0\le i,j\le N-1\right\}$ with cardinality $\ge2$, if we set $K^{(0)}=[0,1]^2$ and $\displaystyle K^{(n)}=\left\{\frac{x+d}{N}: x\in K^{(n-1)}, d\in\Dc\right\}(n\ge1)$ then $K=\bigcap_nK^{(n)}$ is called a fractal square.

math.GN↗
arXiv2024

On R-trees, homotopies, and covering maps

A map $p:E\to X$ has the \emph{unique path lifting} property if every path in $X$, after a choice of an initial point, lifts uniquely to a path in $E$. We prove that if a group $G$ acts on an $\mathbb R$-tree $T$ such that the quotient map $p: T\to T/G$ has the unique path lifting property, then the quotient space $T/G$ does not contain a disc. As a consequence, we show that every map of manifolds with the unique path lifting property is a covering map. The proof requires a study of one-dimensional backtracking in paths. We show the surprising and counterintuitive result that the equivalence relation given by homotopies of paths rel. endpoints is generated by inserting and deleting one-dimensional backtracking.

math.AT↗
arXiv2021

Inverse limit slender groups

Classically, an abelian group $G$ is said to be slender if every homomorphism from the countable product $\mathbb Z^{\mathbb N}$ to $G$ factors through the projection to some finite product $\mathbb Z^n$. Various authors have proposed generalizations to non-commutative groups, resulting in a plethora of similar but not completely equivalent concepts. In the first part of this work we present a unified treatment of these concepts and examine how are they related. In the second part of the paper we study slender groups in the context of co-small objects in certain categories, and give several new applications including the proof that certain homology groups of Barratt-Milnor spaces are cotorsion groups and a universal coefficients theorem for \v{C}ech cohomology with coefficients in a slender group.

math.GR↗
arXiv2021

Uncountable groups and the geometry of inverse limits of coverings

In this paper we develop a new approach to the study of uncountable fundamental groups by using Hurewicz fibrations with the unique path-lifting property (lifting spaces for short) as a replacement for covering spaces. In particular, we consider the inverse limit of a sequence of covering spaces of $X$. It is known that the path-connectivity of the inverse limit can be expressed by means of the derived inverse limit functor $\varprojlim^1$, which is, however, notoriously difficult to compute when the $\pi_1(X)$ is uncountable.To circumvent this difficulty, we express the set of path-components of the inverse limit, $\widehat X$, in terms of the functors $\varprojlim$ and $\varprojlim^1$ applied to sequences of countable groups arising from polyhedral approximations of $X$. A consequence of our computation is that path-connectedness of lifting space implies that $\pi_1(\tilde X)$ supplements $\pi_1(X)$ in $\check\pi_1(X)$ where $\check\pi_1(X)$ is the inverse limit of fundamental groups of polyhedral approximations of $X$. As an application we show that $\mathcal G\cdot \ker_{\mathbb Z}(\widehat F)= \widehat F\ne\mathcal G\cdot \ker_{B(1,n)}(\widehat F)$, where $\widehat F$ is the canonical inverse limit of finite rank free groups, $\mathcal G$ is the fundamental group of the Hawaiian Earring, and $\ker_A(\widehat F)$ is the intersection of kernels of homomorphisms from $\widehat{F}$ to $A$.

math.GN↗
arXiv2018

Asymptotic cones and boundaries of CAT(0) groups

It is well known that the Tits boundary of a proper cocompact CAT(0) space embeds into every asymptotic cone of the space. We explore the relationships between the asymptotic cones of a CAT(0) space and its boundary under both the standard visual (i.e. cone) topology and the Tits metric. We show that the set of asymptotic cones of a proper cocompact CAT(0) space admits canonical connecting maps under which the direct limit is isometric to the Euclidean cone on the Tits boundary. The resulting projection from any asymptotic cone to the Tits boundary is determined by the visual topology; on the other hand, the visual topology can be recovered from the connecting maps between asymptotic cones. We also demonstrate how maps between asymptotic cones induce maps between Tits boundaries.

math.GR↗
arXiv2017

Homotopy type of planar continua

We prove that the homotopy type of a map from a Peano continuum into a planar or one-dimensional space is determined by the induced homomorphism of fundamental groups. This provides a new proof that planar sets are aspherical and is used to prove that two planar or one-dimensional Peano continua are homotopy equivalent if and only if they have isomorphic fundamental groups.

math.AT↗
arXiv2017

Peano dimension of fundamental groups

We define the Peano dimension for groups arising as fundamental groups, which generalizes the classical definition of geometric dimension of finitely presented groups. We conjecture that the Peano dimension of the fundamental group of a aspherical Peano continuum $X$ is equal to the homotopy dimension of $X$. We prove the conjecture for one-dimensional or planar Peano continua. This answers a question posed by Cannon and Conner in 2007 concerning the homotopy dimension of planar sets.

math.AT↗