Group Theory

2024-10-22 | | Total: 11

#1 Locally approximating groups of homeomorphisms of manifolds [PDF] [Copy] [Kimi] [REL]

Authors: Thomas Koberda ; J. de la Nuez González

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.

Subjects: Group Theory ; Geometric Topology ; Logic

Publish: 2024-10-21 15:35:59 UTC

#2 Profinite rigidity of lamplighter groups [PDF] [Copy] [Kimi] [REL]

Author: Guy Blachar

We show that the lamplighter groups $(\mathbb{Z}/p\mathbb{Z})^n\wr\mathbb{Z}$, where $p$ is prime and $n\ge 1$ is a positive integer, are profinitely rigid.

Subjects: Group Theory ; Rings and Algebras

Publish: 2024-10-21 12:23:04 UTC

#3 The powerful class of Sylow subgroups of finite groups [PDF] [Copy] [Kimi] [REL]

Author: Primoz Moravec

The paper explores the effect of powerful class of Sylow $p$-subgroups of a given finite group on control of transfer or fusion. We also find an explicit bound for the $p$-length of a $p$-solvable group in terms of the poweful class of a Sylow $p$-subgroup.

Subject: Group Theory

Publish: 2024-10-20 09:59:24 UTC

#4 The Pants Graph of a Rose [PDF] [Copy] [Kimi] [REL]

Author: Donggyun Seo

We introduce the concept of a pants decomposition for a rose, where a rose is defined as a wedge sum of finitely many circles, and construct the corresponding pants graph of a rose. A pants decomposition of a rose leads to the formation of a simplicial graph, referred to as the pants graph of a rose, consisting of all possible pants decompositions. Recall that the outer automorphism group of a free group is isomorphic to the group of homotopy classes of homotopy equivalences of a rose. The natural isometric action of this group on the pants graph induces a coarsely Lipschitz orbit map. Additionally, we construct a coarsely Lipschitz map from the pants graph to the free splitting complex. These results imply that the pants graph of a rose is both connected and unbounded.

Subjects: Group Theory ; Geometric Topology

Publish: 2024-10-20 04:20:06 UTC

#5 Deformations of nearby subgroups and approximate Jordan constants [PDF] [Copy] [Kimi] [REL]

Author: Alexandru Chirvasitu

Let $\mathbb{U}$ be a Banach Lie group and $S\subseteq \mathbb{U}$ an ad-bounded subset thereof, in the sense that there is a uniform bound on the adjoint operators induced by elements of $S$ on the Lie algebra of $\mathbb{U}$. We prove that (1) $S$-valued continuous maps from compact groups to $\mathbb{U}$ sufficiently close to being morphisms are uniformly close to morphisms; and (2) for any Lie subgroup $\mathbb{G}\le \mathbb{U}$ there is an identity neighborhood $U\ni 1\in \mathbb{U}$ so that $\mathbb{G}\cdot U\cap S$-valued morphisms (embeddings) from compact groups into $\mathbb{U}$ are close to morphisms (respectively embeddings) into $\mathbb{G}$. This recovers and generalizes results of Turing's to the effect that (a) Lie groups arbitrarily approximable by finite subgroups have abelian identity component and (b) if a Lie group is approximable in this fashion and has a faithful $d$-dimensional representation then it is also so approximable by finite groups with the same property. Another consequence is a strengthening of a prior result stating that finite subgroups in a Banach Lie group sufficiently close to a given compact subgroup thereof admit a finite upper bound on the smallest indices of their normal abelian subgroups (an approximate version of Jordan's theorem on finite subgroups of linear groups).

Subjects: Group Theory ; Functional Analysis ; General Topology

Publish: 2024-10-19 20:40:09 UTC

#6 Measured groupoids beyond equivalence relations and group actions [PDF] [Copy] [Kimi] [REL]

Author: Soham Chakraborty

We construct the first examples of genuine ergodic discrete measured groupoids that are not isomorphic to any equivalence relation or transformation groupoid. We use a construction due to B.H. Neumann of an uncountable family of pairwise non-isomorphic 2-generated groups for our result.

Subjects: Group Theory ; Operator Algebras

Publish: 2024-10-19 16:19:14 UTC

#7 On the Nilpotency of Locally Pro-p Contraction Groups [PDF] [Copy] [Kimi] [REL]

Author: Alonso Beaumont Llona

H. Glöckner and G. A. Willis have recently shown that locally pro-p contraction groups are nilpotent. The proof hinges on a fixed-point result: if the local field $\mathbb{F}_{p}(\!(t)\!)$ acts on its $d$-th power $\mathbb{F}_{p}(\!(t)\!)^{d}$ additively, continuously, and in an appropriately equivariant manner, then the action has a non-zero fixed point. We provide a short proof of this theorem.

Subject: Group Theory

Publish: 2024-10-19 12:21:38 UTC

#8 Finite matrix multiplication algorithms from infinite groups [PDF] [Copy] [Kimi] [REL]

Authors: Jonah Blasiak ; Henry Cohn ; Joshua A. Grochow ; Kevin Pratt ; Chris Umans

The Cohn-Umans (FOCS '03) group-theoretic framework for matrix multiplication produces fast matrix multiplication algorithms from three subsets of a finite group $G$ satisfying a simple combinatorial condition (the Triple Product Property). The complexity of such an algorithm then depends on the representation theory of $G$. In this paper we extend the group-theoretic framework to the setting of infinite groups. In particular, this allows us to obtain constructions in Lie groups, with favorable parameters, that are provably impossible in finite groups of Lie type (Blasiak, Cohn, Grochow, Pratt, and Umans, ITCS '23). Previously the Lie group setting was investigated purely as an analogue of the finite group case; a key contribution in this paper is a fully developed framework for obtaining bona fide matrix multiplication algorithms directly from Lie group constructions.

Subjects: Group Theory ; Data Structures and Algorithms

Publish: 2024-10-18 23:15:30 UTC

#9 Profinite almost rigidity in 3-manifolds [PDF] [Copy] [Kimi] [REL]

Author: Xiaoyu Xu

We prove that any compact, orientable 3-manifold with empty or incompressible toral boundary is profinitely almost rigid among all compact, orientable, boundary-incompressible 3-manifolds, i.e. the profinite completion of its fundamental group determines its homeomorphism type up to finitely many possibilities. Moreover, the profinite completion of the fundamental group of a mixed 3-manifold, together with the peripheral structure, uniquely determines the homeomorphism type of its Seifert part (i.e. the maximal graph manifold components in the JSJ-decomposition). On the other hand, without assigning the peripheral structure, the profinite completion of a mixed 3- manifold group may not even determine the fundamental group of its Seifert part. The proof is based on JSJ-decomposition.

Subjects: Geometric Topology ; Group Theory

Publish: 2024-10-21 13:34:38 UTC

#10 Sharp defective log-Sobolev inequalities on H-type groups [PDF] [Copy] [Kimi] [REL]

Authors: Gioacchino Antonelli ; Mattia Calzi ; Maria Gordina

In this paper we prove a sharp defective log-Sobolev inequality on H-type groups. Then we use such an inequality to show exponential integrability of Lipschitz functions with respect to the heat kernel measure. A defective log-Sobolev-type inequality for the Gaussian-like measure with respect to the sub-Riemannian distance is also proved on arbitrary H-type groups.

Subjects: Analysis of PDEs ; Functional Analysis ; Group Theory

Publish: 2024-10-21 01:23:19 UTC

#11 Matroids with bases as minimal resolving sets of graphs [PDF] [Copy] [Kimi] [REL]

Authors: Usman Ali ; Iffat Fida Hussain

We define an independence system associated with simple graphs. We prove that the independence system is a matroid for certain families of graphs, including trees, with bases as minimal resolving sets. Consequently, the greedy algorithm on the matroid can be used to find the minimum-cost resolving set of weighted graphs, wherein the independent system is a matroid. We also characterize hyperplanes of the matroid for trees and prove that its dual matroid is loop-free.

Subjects: Combinatorics ; Commutative Algebra ; Group Theory

Publish: 2024-10-20 10:47:27 UTC