https://arxiv.org/api/61K59NpBWusMfXoT+tpy6dKPQqQ 2026-07-24T08:54:31Z 25936 180 15 http://arxiv.org/abs/2410.08179v3 2026-07-08T13:13:57Z

We prove that if $G$ is any noncompact connected real reductive linear Lie group, and $Γ$ any discrete subgroup of $G$ acting properly discontinuously and cocompactly on some homogeneous space $G/H$ of $G$, then $Γ$ is quasi-isometrically embedded in $G$ and the action of $Γ$ on $G/H$ is sharp, i.e. satisfies a strong, quantitative form of proper discontinuity. For noncompact reductive $H$, this was known as the Sharpness Conjecture, with applications to spectral analysis on pseudo-Riemannian locally symmetric spaces developed in arXiv:1209.4075. For $G/H$ rational of real corank one, we use sharpness to fully characterize properly discontinuous and cocompact actions on $G/H$ in terms of Anosov representations. This enables us to show that in real corank one, acting properly discontinuously and cocompactly on $G/H$ is an open property, and also to prove that a number of homogeneous spaces do not admit compact quotients, such as $\mathrm{SL}(n+1,\mathbb{K})/\mathrm{SL}(n,\mathbb{K})$ for $n>1$ and $\mathbb{K}=\mathbb{R}$, $\mathbb{C}$, or the quaternions.

2024-10-10T17:53:41Z 52 pages. Minor corrections Fanny Kassel Nicolas Tholozan http://arxiv.org/abs/2311.11078v4 2026-07-08T10:10:11Z

The Monster Lie algebra $\frak m $, which admits an action of the Monster finite simple group $\mathbb{M}$, was introduced by Borcherds as part of his work on the Conway--Norton Monstrous Moonshine conjecture. Here we construct an analog~$G(\frak m)$ of a Lie group or Kac--Moody group, associated to~$\frak m$. The group~$G(\frak m)$ is given by generators and relations, analogous to a construction of a Kac--Moody group given by Tits. In the absence of local nilpotence of the adjoint representation of $\frak m$, we introduce the notion of pro-summability of an infinite sum of operators. We use this to construct a complete pro-unipotent group $\Uhp$ of automorphisms of a completion $\widehat{\mathfrak{m}}=\frak n^-\ \oplus\ \frak h\ \oplus\ \widehat{\frak n}^+$ of~$\mathfrak{m}$, where $\widehat{\frak n}^+$ is the formal product of the positive root spaces of $\frak m$. The elements of $\widehat{U}^+$ are pro-summable infinite series with constant term 1. The group $\widehat{U}^+$ has a subgroup~$\widehat{U}^+_\text{im}$, which is an analog of a complete unipotent group corresponding to the positive imaginary roots of~$\frak m$.We construct analogs $\text{Exp}: \widehat{\mathfrak{n}}^+\to\widehat{U}^+$ and $\text{Ad} :\widehat{U}^+ \to \Aut(\widehat{\frak{n}}^+)$ of the classical exponential map and adjoint representation. We show that the action of $\mathbb{M}$ on $\mathfrak m$ induces an action of~$\mathbb{M}$ on~$\widehat{\frak m}$, and that this in turn induces an action of $\mathbb{M}$ on~$\widehat{U}^+$. We also show that the action of $\mathbb{M}$ on $\widehat{\mathfrak n}^+$ is compatible with the action of $\widehat{U}^+$ on $\widehat{\mathfrak n}^+$.

2023-11-18T13:56:52Z Lisa Carbone Elizabeth Jurisich Scott H. Murray http://arxiv.org/abs/2607.03864v2 2026-07-08T09:25:10Z

In a paper from 2015, we determined all spherical affine homogeneous varieties for simple algebraic groups in arbitrary characteristic. The present paper extends this classification to semisimple groups. This generalizes work done independently by Brion and Mikityuk in characteristic zero. Our primary approach relies on a lifting lemma to characteristic zero, enabling us to directly apply Brion's and Mikityuk's results.

2026-07-04T13:11:57Z 13 pages; v 2 very minor changes Friedrich Knop Gerhard Roehrle http://arxiv.org/abs/2607.07150v1 2026-07-08T08:40:15Z

This paper is a sequel to the erratum by the authors to a paper by Crampon and Marquis (see arXiv:1202.5442). The main result of the Erratum was relating several notions of geometrical finiteness in round convex projective geometry and we prove here that our series of implications was sharp, by providing counterexamples to the implications that were not established. Our counterexamples are 4-dimensional convex domains $Ω$ acted on by $ρ(Γ)$ where $Γ$ is a lattice of $\mathrm{SL}_2 (\mathbb R)$ and $ρ$ is the irreducible representation of $\mathrm{SL}_2 (\mathbb R)$ of dimension $5$. We give a description of all $ρ(Γ)$-invariant convex domains, and in particular we construct one which is "close enough" to the convex hull $\mathcal C$ of the limit set of $ρ(Γ)$ so that the Hilbert volume $\mathrm{Vol}_{Ω/Γ}(\mathcal C/Γ)$ of the convex core is infinite. We include an appendix with a smoothing procedure in the spirit of Cooper, Long and Tillman (arXiv:1511.06206) and Danciger, Guéritaud and Kassel (arXiv:1704.08711).

2026-07-08T08:40:15Z 28 pages, 4 figures, 4 pages Appendix. Comments welcome! Ludovic Marquis Pierre-Louis Blayac http://arxiv.org/abs/2503.17312v2 2026-07-08T05:59:12Z

Classifying finitely generated groups up to quasi-isometry is a central problem in geometric group theory. In the context of hyperbolic and relatively hyperbolic groups, one of the key invariants in this classification is the boundary at infinity. Frédéric Paulin proved that two hyperbolic groups are quasi-isometric if and only if their Gromov boundaries are quasiconformally equivalent. In this article, we extend this correspondence to relatively hyperbolic groups via their Bowditch boundaries. We introduce a notion of quasiconformal maps on Bowditch boundaries that coarsely preserve shadows of horoballs relative to boundary points. We prove that any coarsely cusp-preserving quasi-isometry between relatively hyperbolic groups induces such a quasiconformal boundary map. Conversely, we prove that every quasiconformal homeomorphism of Bowditch boundaries that coarsely preserves shadows of horoballs arises from a coarsely cusp-preserving quasi-isometry between the groups.

2025-03-21T17:06:49Z Major revision done. To appear in Geometriae Dedicata Rana Sardar http://arxiv.org/abs/2607.08923v1 2026-07-07T23:45:19Z

In a closed fibered hyperbolic 3-manifold M ,the inclusion of a fiber S, with S and M lifted to the universal covers, gives an exponentially distorted embedding of the hyperbolic plane into hyperbolic 3-space. Nevertheless, Cannon and Thurston showed that there is a map from the circle at infinity of the hyperbolic plane to the 2-sphere at infinity of hyperbolic 3-space. The Cannon-Thurston map is surjective, finite-to-one, and gives a space-filling curve. Here we use properties of geodesics to prove that many natural measures on the circle when pushed forward by the Cannon-Thurston map become singular with respect to many natural measures on the 2-sphere. The circle measures we consider are the Lebesgue measure and stationary measures that arise from fully supported random walks on the surface group. The measures on the sphere we consider are the Lebesgue measure and stationary measures that arise from geometric random walks on the 3- manifold group. We obtain the singularity of measures from the following properties of typical geodesics. We prove that a hyperbolic geodesic sampled with respect to a pushforward measure asymptotically spends a definite proportion of its time close to a fiber. On the other hand, we show that a hyperbolic geodesic sampled with respect to a natural measure on the sphere spends an asymptotically negligible proportion of its time close to a fiber. For a more restricted class of circle measures, namely the Lebesgue measure and stationary measures from geometric random walks on the surface group, we also prove an effective result for the proportion of time spent close to a fiber.

2026-07-07T23:45:19Z to appear in Trans. Amer. Math. Soc., split off from arXiv:2510.04350, 54pp Vaibhav Gadre Joseph Maher Catherine Pfaff Caglar Uyanik http://arxiv.org/abs/2605.24772v2 2026-07-07T19:55:55Z

We prove that every non-Archimedean Polish group is topologically isomorphic to the outer automorphism group of a countable discrete group. Furthermore, our construction is Borel. This implies that determining whether two countable discrete groups have topologically isomorphic outer automorphism groups is at least as complicated as classifying non-Archimedean Polish groups up to topological isomorphism, and so in particular not classifiable by countable structures. Our construction is based on the theory of right-angled Coxeter groups. Along the way, we prove results of independent interest on the topological group $\mathrm{Aut}(W)$, for $W$ a countable right-angled Coxeter group. This has purely group-theoretic applications; in particular, we give a graph-theoretic characterization of when the group $\mathrm{Spe}(W)$ of special automorphisms of $W$ coincides with $\mathrm{Inn}(W)$. Combined with previous work, this gives a characterization of when $\mathrm{Aut}(W)$ is inner-by-graph, for $W$ countable.

2026-05-23T23:15:22Z Gianluca Paolini Jean-Luc Rabideau http://arxiv.org/abs/2410.02058v3 2026-07-07T17:12:31Z

Motivated by a classic theorem of Birman and Series about the set of complete simple geodesics on a hyperbolic surface, we study the Hausdorff dimension of the set of endpoints in $\partial F_r$ of some abstract algebraic laminations associated with free group automorphisms. For an exponentially growing outer automorphism $φ\in Out(F_r)$ we show that the set of endpoints $\mathcal E_{L}\subseteq \partial F_r$ of any of the \emph{attracting laminations} $L$ of $φ$ has Hausdorff and packing dimension $0$ for any visual metric on the boundary $\partial F_r$. Similarly that $L\subseteq \partial^2 F_r$ (where $\partial^2 F_r$ is equipped with the product metric of a visual metric) has Hausdorff dimension $0$ and packing dimension $0$. If $φ\in Out(F_r)$ is an atoroidal and fully irreducible, we deduce the same conclusion for the set of endpoints of the ending lamination $Λ_φ$ of $φ$ that gets collapsed by the Cannon-Thurston map $\partial F_r\to \partial G_φ$ for the associated free-by-cyclic group $G_φ=F_r\rtimes_φ\mathbb Z$. By contrast, the set of endpoints of any of these laminations has upper box dimension $>0$ for any visual metric on $\partial F_r$.

2024-10-02T22:07:14Z Published in the journal of Groups, Complexity, Cryptology journal of Groups, complexity, cryptology, Volume 18, Issue 1, Special issue in honour of Alexei Miasnikov (July 8, 2026) gcc:17195 Ilya Kapovich 10.46298/jgcc.2026.18.1.17195 http://arxiv.org/abs/2605.26199v2 2026-07-07T16:57:27Z

We explain a computer enumeration of all partial groups (in the sense of Chermak) of order at most 10. An accompanying dataset contains a full list, consisting of 123,650 partial groups of order at most 9 and 178,937,003 partial groups of order 10; the paper itself contains a complete list of indecomposable partial groups of order at most 5. Inspection of the data led us to conjecture and then prove two results: that indecomposable partial groups of dimension two less than their order are precisely skeleta of groups of that order, and partial groups of (higher Segal) degree at most 2 are 2-coskeletal.

2026-05-25T17:12:46Z v2: 24 pages; extended coskeletality theorem from degree 2 to degree k >= 2; added clarifying details and minor corrections throughout. comments still welcome! Philip Hackney http://arxiv.org/abs/2603.03167v2 2026-07-07T16:51:51Z

There are many examples of `binary' partial groups in the literature: sets equipped an identity and a partially-defined binary operation, such that each element admits an inverse. We show that many of these may be regarded as partial groups in the sense of Chermak, and single out the largest class of such objects.

2026-03-03T17:16:50Z v2: 8 pages; updates in response to referee report, including title change Philip Hackney Justin Lynd Edoardo Salati http://arxiv.org/abs/2607.06434v1 2026-07-07T16:02:31Z

Let \(p\) be a prime number. When \(p\) is odd, we study finite groups in which every maximal subgroup is either non-abelian simple or \(p\)-nilpotent, as well as those in which every maximal subgroup is either non-abelian simple or \(p\)-decomposable. We prove that every non-simple, non-solvable group satisfying these criteria is \(p\)-nilpotent, and \(p\)-decomposable, respectively. This answers two open questions posed by V.S. Monakhov and I.N. Tyutyanov in the Kourovka Notebook. Additionally, if \(p=2\), we improve the main result of Monakhov and Tyutyanov by providing a complete classification of non-solvable groups whose maximal subgroups are either non-abelian simple or \(2\)-nilpotent.

2026-07-07T16:02:31Z 16 pages Antonio Beltrán Fernando Viudez http://arxiv.org/abs/2509.08382v2 2026-07-07T15:52:39Z

This survey was written on the occasion of the course I gave at the Winterbraids XIV workshop in Bordeaux (2025). Its main purpose is to present the techniques that have proven most effective in the study of parabolic subgroups of Artin groups, with particular emphasis on the parabolic subgroups intersection problem. The survey highlights the core ideas and strategies behind them, aiming to give the reader a concise and accessible entry point to the essential methods.

2025-09-10T08:21:00Z 40 pages, 14 figures. Comments are very welcome until publication of the notes in "Livres, Actes et Séminaires du Centre Mersenne". Minor modifications in the new version María Cumplido http://arxiv.org/abs/2607.06423v1 2026-07-07T15:51:05Z

Let $G$ be a group, let $A$ be a finite alphabet, and let $φ: G \to G$ be an endomorphism. We study the topological dynamics of the pullback map $φ^* : A^G \to A^G$, given by $φ^*(x)=x\circφ$, a canonical example of a generalized cellular automaton. In the one-dimensional case, where $G=\mathbb Z$ and $φ_k(n)=kn$, we prove a sharp dichotomy: $φ_k^*$ is equicontinuous precisely for $k\in\{-1,0,1\}$, and cofinitely sensitive otherwise. Although the fixed identity coordinate prevents transitivity on the full shift, the restriction to the natural invariant components is topologically mixing exactly when $k\notin\{-1,0,1\}$. We then extend the analysis to countable groups, showing that $φ^*$ is equicontinuous if and only if every element of $G$ is eventually periodic under $φ$, while the existence of a non-eventually-periodic element is equivalent to cofinite sensitivity and to the absence of equicontinuous points. Finally, we characterize Bernoulli measure preservation and strong mixing on the punctured configuration space in terms of injectivity and eventual periodicity.

2026-07-07T15:51:05Z Alonso Castillo-Ramirez Luguis De Los Santos Baños http://arxiv.org/abs/2410.01447v3 2026-07-07T14:29:52Z

Let $Γ$ be a discrete countable group. One result in this work is that if $Γ$ is ICC inner-amenable non-amenable then it cannot satisfy the (AO)-property, answering a question posed by C. Anantharaman-Delaroche. A generalization of this phenomenon is also considered. It is also proved that if $Γ$ is a "sufficiently large" discrete subgroup of a product of locally compact second countable bi-exact groups, then it cannot be inner-amenable. Both these results generalize the well-known fact that ICC non-amenable inner-amenable discrete countable groups cannot be bi-exact.

2024-10-02T11:56:27Z 6 pages. There was a gap in the first part, hence I give a slightly different argument in the proof of Theorem 2.1 Jacopo Bassi http://arxiv.org/abs/2509.20121v2 2026-07-07T11:37:44Z

Let $\mathbf{A}$ be a finite simple Mal'cev algebra, such as for example a finite simple group, module, ring, associative or Lie algebra, loop or quasigroup. We show that the automorphism group of a filtered Boolean power of continuous functions from the Cantor space $2^ω$ to $\mathbf{A}$ has ample generics. The proof splits into the abelian and non-abelian cases. In the abelian case, we use a representation by modules and the theory of $n$-systems developed by Kechris and Rosendal. In the non-abelian case, the proof relies on the decomposition of the automorphism group as a semidirect product of a certain closure of a filtered Boolean power of continuous functions from $2^ω$ to the automorphism group of $\mathbf{A}$ and the stabiliser of finitely many points in the homeomorphism group $\mathrm{Homeo}\, 2^ω$. As an intermediate step, we show that pointwise stabilisers in $\mathrm{Homeo}\, 2^ω$ have ample generics, which extends Kwiatkowska's result that $\mathrm{Homeo}\, 2^ω$ has ample generics.

2025-09-24T13:45:55Z Peter Mayr Nik Ruškuc