On fundamental groups with the quotient topology

DOI10.1007/S40062-013-0042-7MaRDI QIDQ2018829zbMATH OpenOpenAlexFDO

Authors Paul Fabel, Jeremy Thomas Brazas

Publication date 25 March 2015

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.6453

zbMATH Keywords

fundamental groupquasitopological groupshape groupseparation properties

Mathematics Subject Classification ID

Topological groups (topological aspects) (54H11) Homotopy groups of special spaces (55Q52) Homotopy groups, general; sets of homotopy classes (55Q05) Shape groups (55Q07)

Abstract: The quasitopological fundamental group $p{i}_1^{qtop}(X,x_0)$ is the fundamental group endowed with the natural quotient topology inherited from the space of based loops and is typically non-discrete when $X$ does not admit a traditional universal cover. This topologized fundamental group is an invariant of homotopy type which has the ability to distinguish weakly homotopy equivalent and shape equivalent spaces. In this paper, we clarify various relationships among topological properties of the group $p{i}_1^{qtop}(X,x_0)$ and properties of the underlying space $X$ such as `$p{i}_1$-shape injectivity' and `homotopically path-Hausdorff.' A space $X$ is $p{i}_1$-shape injective if the fundamental group canonically embeds in the first shape group so that the elements of $p{i}_1(X,x_0)$ can be represented as sequences in an inverse limit. We show a locally path connected metric space $X$ is $p{i}_1$-shape injective if and only if $p{i}_1^{qtop}(X,x_0)$ is invariantly separated in the sense that the intersection of all open invariant (i.e. normal) subgroups is the trivial subgroup. In the case that $X$ is not $p{i}_1$-shape injective, the homotopically path-Hausdorff property is useful for distinguishing homotopy classes of loops and guarantees the existence of certain generalized covering maps. We show that a locally path connected space $X$ is homotopically path-Hausdorff if and only if $p{i}_1^{qtop}(X,x_0)$ satisfies the $T_1$ separation axiom.

Recommendations

• The fundamental group as a topological group
• On the topological fundamental groups of quotient spaces
• Generalized universal covering spaces and the shape group
• On quasitopological homotopy groups of inverse limit spaces
• Topological fundamental groups and small generated coverings

Cites work

• scientific article; zbMATH DE number 3780202 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3235051 (Why is no real title available?)
• A convenient category of topological spaces
• A core-free semicovering of the Hawaiian earring
• A homotopically Hausdorff space which does not admit a generalized universal covering space
• Compactly generated quasitopological homotopy groups with discontinuous multiplication
• Covering maps for locally path-connected spaces
• Discreteness and Homogeneity of the Topological Fundamental Group
• Every Cech-analytic Baire semitopological group is a topological group
• Generalized universal covering spaces and the shape group
• Homotopical smallness and closeness
• Locally compact transformation groups
• Monoidal closed, Cartesian closed and convenient categories of topological spaces
• Multiplication is discontinuous in the Hawaiian earring group (with the quotient topology)
• On Topological Homotopy Groups of $n$-Hawaiian like spaces
• On semilocally simply connected spaces
• On small homotopies of loops
• Open subgroups of free topological groups
• Retracted: The topological fundamental group and generalized covering spaces
• Semicoverings: a generalization of covering space theory
• Spanier spaces and the covering theory of non-homotopically path Hausdorff spaces
• Subgroups of Free Topological Groups and Free Topological Products of Topological Groups
• The Ellis theorem and continuity in groups
• The fundamental groups of one-dimensional spaces
• The fundamental groups of subsets of closed surfaces inject into their first shape groups
• The revised and uniform fundamental groups and universal covers of geodesic spaces
• The topological fundamental group and free topological groups
• Topological fundamental groups can distinguish spaces with isomorphic homotopy groups
• Topological homotopy groups
• Topology and groupoids

Cited in

(30)

• On subgroup topologies on fundamental groups
• On topologized fundamental groups with small loop transfer viewpoints
• Thin loop groups
• On quasi-small loop groups
• Some results in quasitopological homotopy groups
• A new version of homotopical Hausdorff
• On the topological fundamental groups of quotient spaces
• The fundamental group as a topological group
• Infinitary commutativity and abelianization in fundamental groups
• On reflections of quasitopological groups and semitopological groups
• Dense products in fundamental groupoids
• On Subgroups of Topologized Fundamental Groups and Generalized Coverings
• On Topological Homotopy Groups of $n$-Hawaiian like spaces
• On maps with continuous path lifting
• On the discontinuity of the \(\pi_1\)-action
• Homology equivalences inducing an epimorphism on the fundamental group and Quillen’s plus construction
• Small loop spaces and covering theory of non-homotopically Hausdorff spaces
• On first countable quasitopological homotopy groups
• On locally 1-connectedness of quotient spaces and its applications to fundamental groups
• Small loop transfer spaces with respect to subgroups of fundamental groups
• Test map characterizations of local properties of fundamental groups
• Topological fundamental groups and small generated coverings
• Free quasitopological groups
• Fibrations, unique path lifting, and continuous monodromy
• On definable subgroups of the fundamental group
• On strong small loop transfer spaces relative to subgroups of fundamental groups
• Fundamental group of a geometric invariant theoretic quotient
• On the failure of the first Čech homotopy group to register geometrically relevant fundamental group elements
• Topological fundamental groups can distinguish spaces with isomorphic homotopy groups
• A natural pseudometric on homotopy groups of metric spaces

This page was built for publication: On fundamental groups with the quotient topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2018829)