We gratefully acknowledge support from
the Simons Foundation and member institutions.

Group Theory

New submissions

[ total of 10 entries: 1-10 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Fri, 14 May 21

[1]  arXiv:2105.06204 [pdf, ps, other]
Title: Generalized polygons and star graphs of cyclic presentations of groups
Comments: 22 pages, 2 figures
Subjects: Group Theory (math.GR)

Groups defined by presentations for which the components of the corresponding star graph are the incidence graphs of generalized polygons are of interest as they are small cancellation groups that - via results of Edjvet and Vdovina - are fundamental groups of polyhedra with the generalized polygons as links and so act on Euclidean or hyperbolic buildings; in the hyperbolic case the groups are SQ-universal. A cyclic presentation of a group is a presentation with an equal number of generators and relators that admits a particular cyclic symmetry. We obtain a classification of the non-redundant cyclic presentations where the components of the corresponding star graph are generalized polygons. The classification reveals that both connected and disconnected star graphs are possible and that only generalized triangles (i.e. incidence graphs of projective planes) and regular complete bipartite graphs arise as the components. We list the presentations that arise in the Euclidean case and show that at most two of the corresponding groups are not SQ-universal (one of which is not SQ-universal, the other is unresolved). We obtain results that show that many of the SQ-universal groups are large.

Cross-lists for Fri, 14 May 21

[2]  arXiv:2105.05905 (cross-list from math.GT) [pdf, ps, other]
Title: Virtually abelian dimension for $3$-manifold groups
Comments: 19 pages, 1 table
Subjects: Geometric Topology (math.GT); Group Theory (math.GR)

For a group $G$, let $\mathcal{F}_{n}$ be the family of all the subgroups of $G$ containing a subgroup isomorphic to $\mathbb{Z}^{r}$ for some $r=0,1,2,\dots ,n$ of finite index. Joecken, Lafont and S\'anchez Salda\~na computed the $\mathcal{F}_1$-dimension of 3-manifold groups. The goal of this article is to compute the $\mathcal{F}_n$-geometric dimension of 3-manifold groups for all $n\geq 2$.

[3]  arXiv:2105.06127 (cross-list from math.RA) [pdf, ps, other]
Title: Presentations for P^K
Authors: James East
Comments: 4 pages, no figures. To appear in Monatshefte f\"ur Mathematik
Subjects: Rings and Algebras (math.RA); Group Theory (math.GR)

It is a classical result that the direct product AxB of two groups is finitely generated (finitely presented) if and only if A and B are both finitely generated (finitely presented). This is also true for direct products of monoids, but not for semigroups. The typical (counter)example is when A and B are both the additive semigroup P = {1,2,3,...} of positive integers. Here P is freely generated by a single element, but P^2 is not finitely generated, and hence not finitely presented. In this note we give an explicit presentation for P^2 in terms of the unique minimal generating set; in fact, we do this more generally for P^K, the direct product of arbitrarily many copies of P.

[4]  arXiv:2105.06304 (cross-list from math.LO) [pdf, other]
Title: A new computable version of Hall's Harem Theorem
Authors: Karol Duda
Subjects: Logic (math.LO); Group Theory (math.GR)

We prove a new computable version of Hall's Harem theorem. We apply it to non-amenable computable coarse spaces.

[5]  arXiv:2105.06378 (cross-list from math.CO) [pdf, ps, other]
Title: Random Schreier Graphs and Expanders
Authors: Luca Sabatini
Subjects: Combinatorics (math.CO); Group Theory (math.GR)

Let the group $G$ act transitively on the finite set $\Omega$. We show that random Schreier graphs on $O(\log|\Omega|)$ elements are expanders with high probability, magnifying a famous theorem of Alon and Roichman. On the other side, depending on the particular action of $G$ on $\Omega$, we give a lower bound on the number of elements which are necessary to provide expansion. We apply this method to estimate the spectral gap in the case where $G$ is nilpotent.

[6]  arXiv:2105.06425 (cross-list from math.AG) [pdf, other]
Title: Integral forms and torsors of inseprable forms of G_a
Authors: Igor Dolgachev
Comments: 34 pages
Subjects: Algebraic Geometry (math.AG); Group Theory (math.GR)

After recalling some basic facts about F-wound commutative unipotent algebraic groups over an imperfect field F we study their regular integral models over Dedekind schemes of positive characteristic and compute the group of isomorphisms classes of torsors of one-dimensional groups.

Replacements for Fri, 14 May 21

[7]  arXiv:2004.11618 (replaced) [pdf, ps, other]
Title: Disjoint direct product decomposition of permutation groups
Journal-ref: Journal of Symbolic Computation 108 (2022) 1-16
Subjects: Group Theory (math.GR)
[8]  arXiv:2009.01234 (replaced) [pdf, ps, other]
Title: Garland's method with Banach coefficients
Authors: Izhar Oppenheim
Comments: 34 pages; corrected version - only reflexive Banach spaces; sharp bound on conformal dimension for random groups
Subjects: Group Theory (math.GR); Algebraic Topology (math.AT); Functional Analysis (math.FA)
[9]  arXiv:2101.09386 (replaced) [pdf, ps, other]
Title: Non-virtually abelian anisotropic linear groups are not boundedly generated
Comments: 15 pages; We have modified the statement of Theorem 1.3 making the assumptions slightly less restrictive and re-wrote its proof
Subjects: Group Theory (math.GR); Number Theory (math.NT)
[10]  arXiv:2104.03593 (replaced) [pdf, ps, other]
Title: Solving equations in the symmetric group
Comments: This new version contains a correction of a minor mistake in the statement of Theorem (A1), it has no effect on the rest of the paper
Subjects: Combinatorics (math.CO); Group Theory (math.GR)
[ total of 10 entries: 1-10 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2105, contact, help  (Access key information)