Cofinal types and topological groups

Boriša Kuzeljević,Stepan Milošević

2024-04-06

Abstract:The purpose of this note is to start the systematic analysis of cofinal types of topological groups.

General Topology

What problem does this paper attempt to address?

Generic properties of topological groups

Márton Elekes,Boglárka Gehér,Tamás Kátay,Tamás Keleti,Anett Kocsis,Máté Pálfy

DOI: https://doi.org/10.1017/prm.2024.91

2024-12-04

Proceedings of the Royal Society of Edinburgh Section A Mathematics

Abstract:We study generic properties of topological groups in the sense of Baire category. First, we investigate countably infinite groups. We extend a classical result of B. H. Neumann, H. Simmons and A. Macintyre on algebraically closed groups and the word problem. Recently, I. Goldbring, S. Kunnawalkam Elayavalli, and Y. Lodha proved that every isomorphism class is meager among countably infinite groups. In contrast, it follows from the work of W. Hodges on model-theoretic forcing that there exists a comeager isomorphism class among countably infinite abelian groups. We present a new elementary proof of this result. Then, we turn to compact metrizable abelian groups. We use Pontryagin duality to show that there is a comeager isomorphism class among compact metrizable abelian groups. We discuss its connections to the countably infinite case. Finally, we study compact metrizable groups. We prove that the generic compact metrizable group is neither connected nor totally disconnected; also it is neither torsion-free nor a torsion group.

mathematics, applied
Topological characterization of torus groups

Alex Chigogidze

DOI: https://doi.org/10.48550/arXiv.math/9908075

1999-08-15

General Topology

Abstract:Topological characterization of torus groups is given.
On homotopical and homological $Z_n$-sets

Taras Banakh,Robert Cauty,Alex Karassev

DOI: https://doi.org/10.48550/arXiv.1002.2802

2010-02-14

Geometric Topology

Abstract:We survey some properties of homotopical and homological $Z_n$-sets in topological spaces.
An Invitation to Coarse Groups

Arielle Leitner,Federico Vigolo

2023-07-07

Abstract:In this monograph we lay the foundation for a theory of coarse groups and coarse actions. Coarse groups are group objects in the category of coarse spaces, and can be thought of as sets with operations that satisfy the group axioms "up to uniformly bounded error". In the first part of this work, we develop the theory of coarse homomorphisms, quotients, and subgroups, and prove that coarse versions of the Isomorphism Theorems hold true. We also initiate the study of coarse actions and show how they relate to the fundamental observation of Geometric Group Theory. In the second part we explore a selection of specialized topics, such as the study of coarse group structures on set-groups, groups of coarse automorphisms and spaces of controlled maps. Here the main aim is to show how the theory of coarse groups connects with classical subjects. These include: number theory; the study of bi-invariant metrics on groups; quasimorphisms and stable commutator length; ${\rm Out}(F_n)$; topological group actions.

Group Theory,Category Theory,Metric Geometry
Coarse structures on locally compact abelian groups

Dmitri Shakhmatov,Takamitsu Yamauchi,Nicolò Zava

2024-08-15

Abstract:Motivated by the study of the large-scale geometry of topological groups, we investigate particular families of subsets of topological groups named group ideals. We compare different group ideals in the realm of locally compact groups. In particular, we show that a subset of a locally compact abelian group is relatively compact if and only if it is coarsely bounded. Using this result, we prove that an infinite-dimensional Banach space cannot be embedded into any product of locally compact groups.

Metric Geometry,Group Theory
On the K-theory of $\mathbb{Z}$-categories

Eugenia Ellis,Rafael Parra

2023-10-31

Abstract:We establish connections between the concepts of Noetherian, regular coherent, and regular n-coherent categories for Z-linear categories with finitely many objects and the corresponding notions for unital rings. These connections enable us to obtain a negative K-theory vanishing result, a fundamental theorem, and a homotopy invariance result for the K-theory of Z-linear categories.

K-Theory and Homology,Category Theory
Categorically Proper Homomorphisms of Topological Groups.

Wei He,Walter Tholen

DOI: https://doi.org/10.1007/s10485-016-9453-z

2016-01-01

Applied Categorical Structures

Abstract:We extend the Dikranjan-Uspenskij notions of c-compact and h-complete topological group to the morphism level, study the stability properties of the newly defined types of maps, such as closure under direct products, and compare them with their counterparts in topology. We assume Hausdorffness only when our proofs require us to do so, which leads to new results and the affirmation of some facts that were known in a Hausdorff context.
Geometric invariants of locally compact groups: the homotopical perspective

Kai-Uwe Bux,Elisa Hartmann,José Pedro Quintanilha

2024-10-28

Abstract:We extend the classical theory of homotopical $\Sigma$-sets $\Sigma^n$ developed by Bieri, Neumann, Renz and Strebel for abstract groups, to $\Sigma$-sets $\Sigma_{\mathrm{top}}^n$ for locally compact Hausdorff groups. Given such a group $G$, our $\Sigma_{\mathrm{top}}^n(G)$ are sets of continuous homomorphisms $G \to \mathbb{R}$ ("characters"). They match the classical $\Sigma$-sets $\Sigma^n(G)$ if $G$ is discrete, and refine the homotopical compactness properties $\mathrm C_n$ of Abels and Tiemeyer. Moreover, our theory recovers the definition of $\Sigma_{\mathrm{top}}^1$ and $\Sigma_{\mathrm{top}}^2$ proposed by Kochloukova. Besides presenting various characterizations of $\Sigma_{\mathrm{top}}^n$ (particularly for $n\in \{1,2\}$), we show that characters in $\Sigma_{\mathrm{top}}^n(G)$ are also in $\Sigma_{\mathrm{top}}^n(H)$ if $H\le G$ is a closed cocompact subgroup, and we generalize several classical results. Namely, we prove that the set of nonzero elements of $\Sigma_{\mathrm{top}}^n(G)$ is open, we prove that characters in a group of type $\mathrm C_n$ that do not vanish on the center always lie in $\Sigma_{\mathrm{top}}^n(G)$, and we relate the $\Sigma$-sets of a group with those of its quotients by closed subgroups of type $\mathrm C_n$. Lastly, we describe how $\Sigma_{\mathrm{top}}^n(G)$ governs whether a closed normal subgroup with abelian quotient is of type $\mathrm C_n$, generalizing one of the highlights of the classical theory.

Group Theory,Geometric Topology
On Subgroup Topologies on Fundamental Groups

Hamid Torabi,Mehdi Abdolahi,Noorollah Jamali,Zeynal Pashae,Behrooz Mahsayekhy

DOI: https://doi.org/10.15672/hujms.464056

2019-12-31

Hacettepe Journal of Mathematics and Statistics

Abstract:It is important to classify covering subgroups of the fundamental group of a topological space using their topological properties in the topologized fundamental group. In this paper, we introduce and study some topologies on the fundamental group and use them to classify coverings, semicoverings, and generalized coverings of a topological space. To do this, we use the concept of subgroup topology on a group and discuss their properties. In particular, we explore which of these topologies make the fundamental group a topological group. Moreover, we provide some examples of topological spaces to compare topologies of fundamental groups.

mathematics,statistics & probability
Topological aspect of monodromy groupoid for a group-groupoid

Osman Mucuk,Serap Demir

DOI: https://doi.org/10.2298/fil1902393m

2019-01-01

Filomat

Abstract:In this paper we develop star topological and topological group-groupoid structures of monodromy groupoid and prove that the monodromy groupoid of a topological group-groupoid is also a topological group-groupoid.

mathematics, applied
Cofinality Theorems of Infinity Categories and Algebraic K-Theory

Hisato Matsukawa

2024-05-06

Abstract:In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application demonstrates that cofinal full inclusion functors of (\infty)-categories are weak homotopy equivalences. For our second application, we provide an alternative proof of Barwick's cofinality theorem of algebraic (K)-theory.

Algebraic Topology,K-Theory and Homology
Group Extensions of the Co-type of a Crossed Module and Strict Categorical Groups

Nguyen Tien Quang

DOI: https://doi.org/10.48550/arXiv.1503.04379

2015-03-15

Category Theory

Abstract:Prolongations of a group extension can be studied in a more general situation that we call group extensions of the co-type of a crossed module. Cohomology classification of such extensions is obtained by applying the obstruction theory of monoidal functors.
Coarse homological invariants of metric spaces

Alexander Margolis

2024-11-07

Abstract:Inspired by group cohomology, we define several coarse topological invariants of metric spaces. We define the coarse cohomological dimension of a metric space, and demonstrate that if G is a countable group, then the coarse cohomological dimension of G as a metric space coincides with the cohomological dimension of $G$ as a group whenever the latter is finite. Extending a result of Sauer, it is shown that coarse cohomological dimension is monotone under coarse embeddings, and hence is invariant under coarse equivalence. We characterise unbounded quasi-trees as quasi-geodesic metric spaces of coarse cohomological dimension one. A classical theorem of Hopf and Freudenthal states that if G is a finitely generated group, then the number of ends of G is either 0, 1, 2 or $\infty$. We prove a higher-dimensional analogue of this result, showing that if F is a field, G is countable, and $H^k(G,FG)=0$ for k<n, then $\dim H^n(G,FG)$=0,1 or $\infty$, significantly extending a result of Farrell from 1975. Moreover, in the case $\dim H^n(G,FG)=1$, then G must be a coarse Poincaré duality group. We prove an analogous result for metric spaces.

Group Theory,Metric Geometry
Topological Frobenius algebras

Kai Cieliebak,Alexandru Oancea

2024-09-10

Abstract:We define the notions of unital/counital/biunital infinitesimal anti-symmetric bialgebras and coFrobenius bialgebras and discuss their algebraic properties. We also define the notion of a graded 2D open-closed TQFT. These structures arise in Rabinowitz Floer homology, loop space homology, quantum homology, and the homology of finite dimensional manifolds. The underlying vector spaces, which are typically infinite dimensional, belong to a class of topological vector spaces known as Tate vector spaces.

Symplectic Geometry,Algebraic Topology,Rings and Algebras
Decomposition of groups and Top couples

Tsemo Aristide

DOI: https://doi.org/10.48550/arXiv.1302.3044

2013-02-13

Abstract:Recently, we have endowed various categories of groups with topologies. The purpose of this paper is to introduce on these categories others topologies which are statistically more suitable to study well-known problems in groups theory. We use this framework to define a notion of prime ideal and to provide a decomposition of a large class of groups into a product of prime Remark that a similar question has been studied in [5] by Kurata with innocent methods. We remark that these topologies can be extended to other categories like the categories of commutative algebras, associative algebras and left symmetric algebras.

Algebraic Geometry,Group Theory
Higher homotopy groups of topological Kac-Moody groups, Whitehead tower, and string groups

Ralf Köhl

2024-02-11

Abstract:This note establishes that homotopy groups of topological split real Kac-Moody groups are countable and, hence, concludes the existence of Whitehead towers consisting of topological groups for these groups and their maximal compact subgroups. Moreover, this note proposes a construction for string groups of the $E_n$-series.

Algebraic Topology,Group Theory
Givental group action on Topological Field Theories and homotopy Batalin--Vilkovisky algebras

Vladimir Dotsenko,Sergey Shadrin,Bruno Vallette

DOI: https://doi.org/10.1016/j.aim.2013.01.003

2013-01-14

Abstract:In this paper, we initiate the study of the Givental group action on Cohomological Field Theories in terms of homotopical algebra. More precisely, we show that the stabilisers of Topological Field Theories in genus 0 (respectively in genera 0 and 1) are in one-to-one correspondence with commutative homotopy Batalin--Vilkovisky algebras (respectively wheeled commutative homotopy BV-algebras).

Quantum Algebra,Algebraic Geometry
Categorified Open Topological Field Theories

Lukas Müller,Lukas Woike

2024-06-17

Abstract:In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories. In combination with recently developed string-net techniques, this leads to a new description of the spaces of conformal blocks of Drinfeld centers $Z(\mathcal{C})$ of pivotal finite tensor categories $\mathcal{C}$ in terms of the modular envelope of the cyclic associative operad. If $\mathcal{C}$ is unimodular, we prove that the space of conformal blocks inherits the structure of a module over the algebra of class functions of $\mathcal{C}$ for every free boundary component. As a further application, we prove that the sewing along a boundary circle for the modular functor for $Z(\mathcal{C})$ can be decomposed into a sewing procedure along an interval and the application of the partial trace. Finally, we construct mapping class group representations from Grothendieck-Verdier categories that are not necessarily rigid and make precise how these generalize existing constructions.

Quantum Algebra,Mathematical Physics,Algebraic Topology
Topological K-Theory of Complex Projective Spaces

Virgil Chan

DOI: https://doi.org/10.48550/arXiv.1303.3959

2013-03-16

Abstract:We compute the K-theory of complex projective spaces. There are three major ingredients: the exact sequence of K-groups, the theory of Chern character and the Bott Periodicity Theorem.

K-Theory and Homology
Etale Groupoids, eta invariants and index theory

Eric Leichtnam,Paolo Piazza

DOI: https://doi.org/10.48550/arXiv.math/0308184

2003-08-20

Abstract:Let $\Gamma$ be a discrete finitely generated group. Let $\hat{M}\to T$ be a $\Gamma$-equivariant fibration, with fibers diffeomorphic to a fixed even dimensional manifold with boundary $Z$. We assume that $\Gamma\to \hat{M}\to \hat{M}/\Gamma$ is a Galois covering of a compact manifold with boundary. Let $(D^+ (\theta))_{\theta\in T}$ be a $\Gamma$-equivariant family of Dirac-type operators. Under the assumption that the boundary family is $L^2$-invertible, we define an index class in the K-theory of the cross-product algebra, $K_0 (C^0 (T)\rtimes_r \Gamma)$. If, in addition, $\Gamma$ is of polynomial growth, we define higher indeces by pairing the index class with suitable cyclic cocycles. Our main result is then a formula for these higher indeces: the structure of the formula is as in the seminal work of Atiyah, Patodi and Singer, with an interior geometric contribution and a boundary contribution in the form of a higher eta invariant associated to the boundary family. Under similar assumptions we extend our theorem to any $G$-proper manifold, with $G$ an étale groupoid. We employ this generalization in order to establish a higher Atiyah-Patodi-Singer index formula on certain foliations with boundary. Fundamental to our work is a suitable generalization of Melrose $b$-pseudodifferential calculus as well as the superconnection proof of the index theorem on $G$-proper manifolds recently given by Gorokhovsky and Lott.

Differential Geometry,K-Theory and Homology

Cofinal types and topological groups

Generic properties of topological groups

Topological characterization of torus groups

On homotopical and homological $Z_n$-sets

An Invitation to Coarse Groups

Coarse structures on locally compact abelian groups

On the K-theory of $\mathbb{Z}$-categories

Categorically Proper Homomorphisms of Topological Groups.

Geometric invariants of locally compact groups: the homotopical perspective

On Subgroup Topologies on Fundamental Groups

Topological aspect of monodromy groupoid for a group-groupoid

Cofinality Theorems of Infinity Categories and Algebraic K-Theory

Group Extensions of the Co-type of a Crossed Module and Strict Categorical Groups

Coarse homological invariants of metric spaces

Topological Frobenius algebras

Decomposition of groups and Top couples

Higher homotopy groups of topological Kac-Moody groups, Whitehead tower, and string groups

Givental group action on Topological Field Theories and homotopy Batalin--Vilkovisky algebras

Categorified Open Topological Field Theories

Topological K-Theory of Complex Projective Spaces

Etale Groupoids, eta invariants and index theory