About the metric approximation of Higman's group

Andreas Thom

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

2010-05-06

Abstract:We prove that Higman's group does not embed into a metric ultraproduct of finite groups with a commutator-contractive invariant length function.

Group Theory,Operator Algebras

What problem does this paper attempt to address?

On metric approximate subgroups

E. Hrushovski,A. Rodriguez Fanlo

2024-04-26

Abstract:Let $G$ be a group with a metric $\mathrm{d}$ invariant under left and right translations, and let $\bar{\mathbb{D}}_r$ be the ball of radius $r$ around the identity. A $(k,r)$-metric approximate subgroup is a symmetric subset $X$ of $G$ such that the pairwise product set $XX$ is covered by at most $k$ translates of $X\bar{\mathbb{D}}_r$. This notion was introduced in <a class="link-https" data-arxiv-id="math/0601431" href="https://arxiv.org/abs/math/0601431">arXiv:math/0601431</a> along with the version for discrete groups (approximate subgroups). In <a class="link-https" data-arxiv-id="0909.2190" href="https://arxiv.org/abs/0909.2190">arXiv:0909.2190</a>, it was shown for the discrete case that, at the asymptotic limit of $X$ finite but large, the "approximateness" (or need for more than one translate) can be attributed to a canonically associated Lie group. Here we prove an analogous result in the metric setting, under a certain finite covering assumption on $X$ replacing finiteness. In particular, if $G$ has bounded exponent, we show that any $(k,r)$-metric approximate subgroup is close to a $(1,r')$-metric approximate subgroup for an appropriate $r'$.

Group Theory,Logic
Metric ultraproducts of finite groups with respect to some length functions

A.Ivanov

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

2014-01-05

Abstract:We consider metric ultraproducts of finite groups with respect to some classes of length functions. All sofic groups embed into these ultraproducts. We study embeddings of normed groups. We also show that in some natural situations such an ultraproduct is a simple group.

Group Theory
The Michor-Mumford conjecture in Hilbertian H-type groups

Valentino Magnani,Daniele Tiberio

2024-04-06

Abstract:We introduce infinite dimensional Hilbertian H-type groups equipped with weak, graded, left invariant Riemannian metrics. For these Lie groups, we show that the vanishing of the geodesic distance and the local unboundedness of the sectional curvature coexist. The result validates a deep phenomenon conjectured in an influential 2005 paper by Michor and Mumford, namely, the vanishing of the geodesic distance is linked to the local unboundedness of the sectional curvature. We prove that degenerate geodesic distances appear for a large class of weak, left invariant Riemannian metrics. Their vanishing is rather surprisingly related to the infinite dimensional sub-Riemannian structure of Hilbertian H-type groups. The same class of weak Riemannian metrics yields the nonexistence of the Levi-Civita covariant derivative.

Differential Geometry,Metric Geometry
Ultrametric analogues of Ulam stability of groups

Francesco Fournier-Facio

2024-01-01

Abstract:We study stability of metric approximations of countable groups with respect to groups endowed with ultrametrics, the main case study being a $p$-adic analogue of Ulam stability, where we take $\mathrm{GL}_n(\mathbb{Z}_p)$ as approximating groups instead of $\mathrm{U}(n)$. For finitely presented groups, the ultrametric nature implies equivalence of the pointwise and uniform stability problems, and the profinite one implies that the corresponding approximation property is equivalent to residual finiteness. Moreover, a group is uniformly stable if and only if its largest residually finite quotient is. We provide several examples of uniformly stable groups, including finite groups, virtually free groups, some groups acting on rooted trees, and certain lamplighter and (Generalized) Baumslag--Solitar groups. We construct a finitely generated group that is not uniformly stable. Finally, we prove and apply a (bounded) cohomological criterion for stability of a finitely presented group.

Group Theory
Metric ultraproducts of groups -- simplicity, perfectness and torsion

Jakub Gismatullin,Krzysztof Majcher,Martin Ziegler

DOI: https://doi.org/10.1016/j.jalgebra.2024.09.005

2024-09-27

Abstract:We characterise the simplicity of metric ultraproducts of a family of metric groups. We also present several new examples of simple groups, such as metric ultraproducts of finite and infinite symmetric groups, linear groups, and interval exchange transformation groups. Using similar methods, we also examine concepts such as genericity, perfectness, and torsion.

Group Theory,Logic,Metric Geometry
Gromov-Hausdorff distances between quotient metric spaces

Henry Adams,Armando Albornoz,Glenn Bruda,Jianda Du,Lodewyk Jansen van Rensburg,Alejandro Leon,Saketh Narayanan,Connor Panish,Chris Rugenstein,Martin Wall

2024-10-19

Abstract:The Hausdorff distance measures how far apart two sets are in a common metric space. By contrast, the Gromov-Hausdorff distance provides a notion of distance between two abstract metric spaces. How do these distances behave for quotients of spaces under group actions? Suppose a group $G$ acts by isometries on two metric spaces $X$ and $Y$. In this article, we study how the Hausdorff and Gromov-Hausdorff distances between $X$ and $Y$ and their quotient spaces $X/G$ and $Y/G$ are related. For the Hausdorff distance, we show that if $X$ and $Y$ are $G$-invariant subsets of a common metric space, then we have $d_{\mathrm{H}}(X,Y)=d_{\mathrm{H}}(X/G,Y/G)$. However, the Gromov-Hausdorff distance does not preserve this relationship: we show how to make the ratio $\frac{d_{\mathrm{GH}}(X/G,Y/G)}{d_{\mathrm{GH}}(X,Y)}$ both arbitrarily large and arbitrarily small, even if $X$ is an arbitrarily dense $G$-invariant subset of $Y$.

Metric Geometry
Thompson’s Group F and the Linear Group GL ∞ (ℤ)

Yan Wu,Xiaoman Chen

DOI: https://doi.org/10.1007/s11401-011-0679-7

2011-01-01

Abstract:The authors study the finite decomposition complexity of metric spaces of H , equipped with different metrics, where H is a subgroup of the linear group GL ∞ (ℤ). It is proved that there is an injective Lipschitz map φ : ( F, d S ) → ( H, d ), where F is the Thompson’s group, dS the word-metric of F with respect to the finite generating set S and d a metric of H . But it is not a proper map. Meanwhile, it is proved that φ : ( F, d S ) → ( H, d 1 ) is not a Lipschitz map, where d 1 is another metric of H .
The approximation property for locally compact quantum groups

Matthew Daws,Jacek Krajczok,Christian Voigt

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

2023-11-28

Abstract:We study the Haagerup--Kraus approximation property for locally compact quantum groups, generalising and unifying previous work by Kraus--Ruan and Crann. Along the way we discuss how multipliers of quantum groups interact with the $\mathrm{C}^*$-algebraic theory of locally compact quantum groups. Several inheritance properties of the approximation property are established in this setting, including passage to quantum subgroups, free products of discrete quantum groups, and duals of double crossed products. We also discuss a relation to the weak$^*$ operator approximation property. For discrete quantum groups, we introduce a central variant of the approximation property, and relate this to a version of the approximation property for rigid $\mathrm{C}^*$-tensor categories, building on work of Arano--De Laat--Wahl.

Operator Algebras,Functional Analysis,Quantum Algebra
Short hierarchically hyperbolic groups I: uncountably many coarse median structures

Giorgio Mangioni

2024-10-12

Abstract:We prove that the mapping class group of a sphere with five punctures admits uncountably many non-equivalent, coarsely equivariant coarse median structures, falsifying a folklore belief. We obtain the same result for all cocompactly cubulated large type Artin groups, and in this case the coarse medians we produce are not induced by cubulations. In the process, we develop the theory of short hierarchically hyperbolic groups (HHGs), which also include Artin groups of large and hyperbolic type, graph manifolds groups, and extensions of Veech groups. We develop tools to modify their hierarchical structure, including using quasimorphisms to construct quasilines that serve as coordinate spaces, and this is where the abundance of coarse median structures comes from. These tools are of independent interest, and we use them in a forthcoming paper to study quotients of short HHGs.

Group Theory
Locally approximating groups of homeomorphisms of manifolds

Thomas Koberda,J. de la Nuez González

2024-10-21

Abstract:Let $M$ be a compact, connected manifold of positive dimension and let $\mathcal G\leq\textrm{Homeo}(M)$ be \emph{locally approximating} in the sense that for all open $U\subseteq M$ compactly contained in a single Euclidean chart of $M$, the subgroup $\mathcal G[U]$ consisting of elements of $\mathcal G$ supported in $U$ is dense in the full group of homeomorphisms supported in $U$. We prove that $\mathcal G$ interprets first order arithmetic, as well as a first order predicate that encodes membership in finitely generated subgroups of $\mathcal G$. As a consequence, we show that if $\mathcal G$ is not finitely generated, then no group elementarily equivalent to $\mathcal G$ can be finitely generated. We show that many finitely generated locally approximating groups of homeomorphisms $\mathcal G$ of a manifold are prime models of their theories, and give conditions that guarantee any finitely presented group $G$ that is elementarily equivalent to $\mathcal G$ is isomorphic to $\mathcal G$. We thus recover some results of Lasserre about the model theory of Thompson's groups $F$ and $T$. Finally, we obtain several action rigidity result for locally approximating groups of homeomorphisms. If $\mathcal G$ acts in a locally approximating way on a compact, connected manifold $M$ then the dimension of $M$ is uniquely determined by the elementary equivalence class of $\mathcal G$. Moreover, if $\dim M\leq 3$ then $M$ is uniquely determined up to homeomorphism. In for general closed smooth manifolds, the homotopy type of $M$ is uniquely determined. In this way, we obtain a generalization of a well-known result of Rubin.

Group Theory,Geometric Topology,Logic
Amenable Metric Mean Dimension and Amenable Mean Hausdorff Dimension of Product Sets and Metric Varying

Xianqiang Li,Xiaofang Luo

2024-09-28

Abstract:Metric mean dimension and mean Hausdorff dimension depend on metrics. In this paper, we investigate the continuity of the metric mean dimension and mean Hausdorff dimension concerning the metrics for amenable group actions, which extends recent results by Muentes, Becker, Baraviera et al.. Moreover, we give proof of the product formulas for the mean Hausdorff dimension and the metric mean dimension for amenable group actions.

Dynamical Systems
Notes on the Cheeger and Colding version of the Reifenberg theorem for metric spaces

Nicola Gigli,Ivan Yuri Violo

2024-06-20

Abstract:The classical Reifenberg's theorem says that a set which is sufficiently well approximated by planes uniformly at all scales is a topological Hölder manifold. Remarkably, this generalizes to metric spaces, where the approximation by planes is replaced by the Gromov-Hausdorff distance. This fact was shown by Cheeger and Colding in an appendix of one of their celebrated works on Ricci limit spaces [8]. Given the recent interest around this statement in the growing field of analysis in metric spaces, in this note we provide a self contained and detailed proof of the Cheeger and Colding result. Our presentation substantially expands the arguments in [8] and makes explicit all the relevant estimates and constructions. As a byproduct we also shows a biLipschitz version of this result which, even if folklore among experts, was not present in the literature. This work is an extract from the doctoral dissertation of the second author.

Metric Geometry,Differential Geometry
A GH-compactification of CAT$(0)$-groups via totally disconnected, unimodular actions

Nicola Cavallucci

2023-07-11

Abstract:We give a detailed description of the possible limits in the equivariant-Gromov-Hausdorff sense of sequences $(X_j,G_j)$, where the $X_j$'s are proper, geodesically complete, uniformly packed, CAT$(0)$-spaces and the $G_j$'s are closed, totally disconnected, unimodular, uniformly cocompact groups of isometries. We show that the class of metric quotients $G/X$, where $X$ and $G$ are as above, is compact under Gromov-Hausdorff convergence. In particular it is a geometric compactification of the class of locally geodesically complete, locally compact, locally CAT$(0)$-spaces with uniformly packed universal cover and uniformly bounded diameter.

Metric Geometry,Group Theory
Metrics on Hitchin Components from Hölder Distortion

Alexander Nolte

2024-02-26

Abstract:We observe Thurston's asymmetric metric on Teichm\"uller space may be expressed in terms of the H\"older regularity of boundary maps. We then associate $2$-dimensional stratified loci in $\mathbb{RP}^{n-1}$ to $\text{PSL}_n(\mathbb{R})$ Hitchin representations with $n > 3$. We prove that measuring the relative H\"older distortion of these loci gives asymmetric metrics on the Hitchin component $\text{Hit}_n(S)$ with complete and geometrically meaningful symmetrizations. These are the first known geometrically significant complete metrics on $\text{Hit}_n(S)$ for $n > 3$.

Differential Geometry,Geometric Topology
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
Finite approximation of free groups with an application to the Henckell--Rhodes problem

K. Auinger,J. Bitterlich,M. Otto

2023-11-26

Abstract:For a finite connected graph $\mathcal{E}$ with set of edges $E$, a finite $E$-generated group $G$ is constructed such that the set of relations $p=1$ satisfied by $G$ (with $p$ a word over $E\cup E^{-1}$) is closed under deletion of generators (i.e.~edges). As a consequence, every element $g\in G$ admits a unique minimal set $\mathrm{C}(g)$ of edges (the \emph{content} of $g$) needed to represent $g$ as a word over $\mathrm{C}(g)\cup\mathrm{C}(g)^{-1}$. The crucial property of the group $G$ is that connectivity in the graph $\mathcal{E}$ is encoded in $G$ in the following sense: if a word $p$ forms a path $u\longrightarrow v$ in $\mathcal{E}$ then there exists a $G$-equivalent word $q$ which also forms a path $u\longrightarrow v$ and uses only edges from their content; in particular, the content of the corresponding group element $[p]_G=[q]_G$ spans a connected subgraph of $\mathcal{E}$ containing the vertices $u$ and $v$. As the free group generated by $E$ obviously has these properties, the construction provides another instance of how certain features of free groups can be ``approximated'' or ``simulated'' in finite groups. As an application it is shown that every finite inverse monoid admits a finite $F$-inverse cover. This solves a long-standing problem of Henckell and Rhodes.

Group Theory,Combinatorics
Product of Almost-Hermitian Manfolds

Xu-Qian Fan,Luen-Fai Tam,Chengjie Yu

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

2011-09-12

Abstract:This is a continuous work about the nonexistence of some complete metrics on the product of two manifolds studied by Tam-Yu [Asian Journal of Mathematics, 14(2010)]. Motivated by the result of Tossati [<a class="link-external link-http" href="http://Comm.Anal.Geom" rel="external noopener nofollow">this http URL</a>. 15(2007)]. We generalize the corresponding results of Tam-Yu [Asian Journal of Mathematics, 14(2010)] to the almost-Hermitian case.

Differential Geometry
Quantization commutes with reduction again: the quantum GIT conjecture I

Daniel Pomerleano,Constantin Teleman

2024-05-31

Abstract:For a compact monotone symplectic manifold $X$ with Hamiltonian action of a compact Lie group $G$ and smooth symplectic reduction, we relate its gauged $2$-dimensional $A$-model to the $A$-model of $X/\!/G$. This (long conjectured) result is parallel to the ($B$-model!) \emph{quantization commutes with reduction} theorem of Guillemin and Sternberg in quantum mechanics. Here, we spell out some of the precise statements, and outline the proof of equality for the spaces of states (quantum cohomology). We also indicate the way to some related results in the non-monotone case. Additional Floer theory details will be included in a follow-up paper.

Symplectic Geometry

About the metric approximation of Higman's group

On metric approximate subgroups

Metric ultraproducts of finite groups with respect to some length functions

The Michor-Mumford conjecture in Hilbertian H-type groups

Ultrametric analogues of Ulam stability of groups

Metric ultraproducts of groups -- simplicity, perfectness and torsion

Gromov-Hausdorff distances between quotient metric spaces

Thompson’s Group F and the Linear Group GL ∞ (ℤ)

The approximation property for locally compact quantum groups

Short hierarchically hyperbolic groups I: uncountably many coarse median structures

Locally approximating groups of homeomorphisms of manifolds

Amenable Metric Mean Dimension and Amenable Mean Hausdorff Dimension of Product Sets and Metric Varying

Notes on the Cheeger and Colding version of the Reifenberg theorem for metric spaces

A GH-compactification of CAT$(0)$-groups via totally disconnected, unimodular actions

Metrics on Hitchin Components from Hölder Distortion

Coarse homological invariants of metric spaces

Finite approximation of free groups with an application to the Henckell--Rhodes problem

Product of Almost-Hermitian Manfolds

Quantization commutes with reduction again: the quantum GIT conjecture I