Groups acting distally and minimally on $\mathbb S^2$ and $\mathbb {RP}^2$

Enhui Shi,Hui Xu

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

2023-01-13

Dynamical Systems

Abstract:Let $X$ be the $2$-sphere $\mathbb S^2$ or the real projective plane $\mathbb {RP}^2$. We show that if $\Gamma$ is a finitely generated group acting minimally and distally on $X$, then $\Gamma$ contains a nonabelian free subgroup.

What problem does this paper attempt to address?

On finite generalized quadrangles with $\mathrm{PSL}(2,q)$ as an automorphism group

Tao Feng,Jianbing Lu

DOI: https://doi.org/10.1007/s10623-023-01203-x

2023-01-01

Abstract: Let $\mathcal{S}$ be a finite thick generalized quadrangle, and suppose that $G$ is an automorphism group of $\mathcal{S}$. If $G$ acts primitively on both the points and lines of $\mathcal{S}$, then it is known that $G$ must be almost simple. In this paper, we show that if the socle of $G$ is $\mathrm{PSL}(2,q)$ with $q\geq4$, then $q=9$ and $\mathcal{S}$ is the unique generalized quadrangle of order $2$.
Hyperbolic groups and spherical minimal surfaces

Antoine Song

2024-02-17

Abstract:Let $M$ be a closed, oriented, negatively curved, $n$-dimensional manifold with fundamental group $\Gamma$. Let $S^\infty$ be the unit sphere in $\ell^2(\Gamma)$, on which $\Gamma$ acts by the regular representation. The spherical volume of $M$ is a topological invariant introduced by Besson-Courtois-Gallot. We show that it is equal to the area of an $n$-dimensional area-minimizing minimal surface inside the ultralimit of $S^\infty/\Gamma$, in the sense of Ambrosio-Kirchheim. Our proof combines the theory of metric currents with a study of limits of the regular representation of torsion-free hyperbolic groups.

Group Theory,Representation Theory
Minimal Subgroups of ${\rm GL}_2(\mathbb{Z}_{S})$

Harris Daniels,Jeremy Rouse

2024-08-08

Abstract:Let $E$ be an elliptic curve over a number field $L$ and for a finite set $S$ of primes, let $\rho_{E,S} : {\rm Gal}(\overline{L}/L) \to {\rm GL}_{2}(\mathbb{Z}_{S})$ be the $S$-adic Galois representation. If $L \cap \mathbb{Q}(\zeta_{n}) = \mathbb{Q}$ for all positive integers $n$ whose prime factors are in $S$, then $\det \rho_{E,S} : {\rm Gal}(\overline{L}/L) \to \mathbb{Z}_{S}^{\times}$ is surjective. We say that a finite index subgroup $H \subseteq {\rm GL}_{2}(\mathbb{Z}_{S})$ is minimal if $\det : H \to \mathbb{Z}_{S}^{\times}$ is surjective, but $\det : K \to \mathbb{Z}_{S}^{\times}$ is not surjective for any proper closed subgroup $K$ of $H$. We show that there are no minimal subgroups of ${\rm GL}_{2}(\mathbb{Z}_{S})$ unless $S = \{ 2 \}$, while minimal subgroups of ${\rm GL}_{2}(\mathbb{Z}_{2})$ are plentiful. We give models for all the genus $0$ modular curves associated to minimal subgroups of ${\rm GL}_{2}(\mathbb{Z}_{2})$, and construct an infinite family of elliptic curves over imaginary quadratic fields with bad reduction only at $2$ and with minimal $2$-adic image.

Number Theory
Relatively hyperbolic groups with planar boundaries

G. Christopher Hruska,Genevieve S. Walsh

2024-07-02

Abstract:In this article, we prove a version of Martin and Skora's conjecture that convergence groups on the $2$-sphere are covered by Kleinian groups. Given a relatively hyperbolic group pair $(G,\mathcal{P})$ with planar boundary and no Sierpinski carpet or cut points in its boundary, and with $G$ one ended and virtually having no $2$-torsion, we show that $G$ is virtually Kleinian. We also give applications to various versions of the Cannon conjecture and to convergence groups acting on $S^2$.

Group Theory,Geometric Topology
Groups with infinitely many ends acting analytically on the circle

Sébastien Alvarez,Dmitry Filimonov,Victor Kleptsyn,Dominique Malicet,Carlos Meniño Cotón,Andrés Navas,Michele Triestino

DOI: https://doi.org/10.1112/topo.12118

2018-11-28

Abstract:This article takes the inspiration from two milestones in the study of non minimal actions of groups on the circle: Duminy's theorem about the number of ends of semi-exceptional leaves and Ghys' freeness result in analytic regularity. Our first result concerns groups of analytic diffeomorphisms with infinitely many ends: if the action is non expanding, then the group is virtually free. The second result is a Duminy's theorem for minimal codimension one foliations: either non expandable leaves have infinitely many ends, or the holonomy pseudogroup preserves a projective structure.

Dynamical Systems,Group Theory
Minimal surfaces with low genus in lens spaces

Xingzhe Li,Tongrui Wang,Xuan Yao

2024-06-18

Abstract:Given a Riemannian $\mathbb{RP}^3$ with a bumpy metric or a metric of positive Ricci curvature, we show that there either exist four distinct minimal real projective planes, or exist one minimal real projective plane together with two distinct minimal $2$-spheres. Our proof is based on a variant multiplicity one theorem for the Simon-Smith min-max theory under certain equivariant settings. In particular, we show under the positive Ricci assumption that $\mathbb{RP}^3$ contains at least four distinct minimal real projective planes and four distinct minimal tori. Additionally, the number of minimal tori can be improved to five for a generic positive Ricci metric on $\mathbb{RP}^3$ by the degree method. Moreover, using the same strategy, we show that in the lens space $L(4m,2m\pm 1)$, $m\geq 1$, with a bumpy metric or a metric of positive Ricci curvature, there either exist $N(m)$ numbers of distinct minimal Klein bottles, or exist one minimal Klein bottle and three distinct minimal $2$-spheres, where $N(1)=4$, $N(m)=2$ for $m\geq 2$, and the first case happens under the positive Ricci assumption.

Differential Geometry,Geometric Topology
On subgroups with narrow Schreier graphs

Pénélope Azuelos

2024-08-26

Abstract:We study finitely generated pairs of groups $H \leq G$ such that the Schreier graph of $H$ has at least two ends and is \emph{narrow}. Examples of narrow Schreier graphs include those that are quasi-isometric to finitely ended trees or have linear growth. Under this hypothesis, we show that $H$ is a virtual fiber subgroup if and only if $G$ contains infinitely many double cosets of $H$. Along the way, we prove that if a group acts essentially on a finite dimensional CAT(0) cube complex with no facing triples then it virtually surjects onto the integers with kernel commensurable to a hyperplane stabiliser.

Group Theory
Actions of large finite groups on aspherical manifolds

Jordi Daura Serrano

2024-07-18

Abstract:In this paper we study actions of finite groups on closed connected aspherical manifolds. Under some assumptions on the outer automorphism group of the fundamental group of a closed connected aspherical manifold $M$, we prove that the homeomorphism group of $M$ is Jordan, we bound the discrete degree of symmetry of $M$ and obtain a rigidity result, and we study the number of stabilizers of finite group actions on $M$. Thereafter, we show that closed connected aspherical locally homogeneous spaces $H\setminus G/\Gamma$ satisfy the necessary hypothesis on the outer automorphism group of the fundamental group.

Geometric Topology
On non-abelian dp-minimal groups

Atticus Stonestrom

2023-10-01

Abstract:Let $G$ be a dp-minimal group; we prove some consequences of several different hypotheses on $G$. First, if $G$ is torsion-free, then it is abelian. Second, if $G$ admits a distal f-generic type, then it is virtually nilpotent; we prove this by equipping the quotient of $G$ by its FC-center in this case with a valued group structure. Finally, if $G$ has the uniform chain condition, for example if $G$ is stable, then $G$ is virtually solvable.

Logic,Group Theory
An Alternative for Minimal Group Actions on Totally Regular Curves

Enhui Shi,Hui Xu,Xiangdong Ye

DOI: https://doi.org/10.1016/j.jde.2022.09.020

IF: 2.615

2022-01-01

Journal of Differential Equations

Abstract:Let G be a countable group and X be a totally regular curve. Suppose that ϕ:G→Homeo(X) is a minimal action. Then we show an alternative: either the action is topologically conjugate to isometries on the circle S1 (this implies that ϕ(G) contains an abelian subgroup of index at most 2), or has a quasi-Schottky subgroup (this implies that G contains the free nonabelian group Z⁎Z). In order to prove the alternative, we get a new characterization of totally regular curves by means of the notion of measure; and prove an escaping lemma holding for any minimal group action on infinite compact metric spaces, which improves a trick in Margulis' proof of the alternative in the case that X=S1.
A free action of a finite group on 3-sphere equivalent to a linear action

Ming Yang

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

2012-08-27

Abstract:In this paper, by use of techniques associated to Cobordism theory and Morse theory, we give a proof of Space-Form-Conjecture, i.e. a free action of a finite group on 3-manifold is equivalent to a linear action.

Algebraic Topology
Finitistic Spaces with the Orbit Space FP^n x S^m

Anju Kumari,Hemant Kumar Singh

2023-06-06

Abstract:Let G = S^d, d = 0, 1 or 3, act freely on a finitistic connected space X. This paper gives the cohomology classification of X if a mod 2 or rational cohomology of the orbit space X/G is isomorphic to the product of a projective space and sphere FP^n x S^m, where F = R, C or H, respectively. For a free involution on X, a lower bound of covering dimension of the coincidence set of a continuous map f: X -> R^k is also determined.

Algebraic Topology
Scalar Curvature, Non-Abelian Group Actions, and the Degree of Symmetry of Exotic Spheres

H. Blaine Lawson,Shing Tung Yau

DOI: https://doi.org/10.1007/bf02566731

1974-01-01

Commentarii Mathematici Helvetici

Abstract:It is proved that if a compact manifold admits a smooth action by a compact, connected, non-abelian Lie group, then it admits a metric of positive scalar curvature. This result is used to prove that if ∑ n is an exoticn-sphere which does not bound a spin manifold, then the only possible compact connected transformation groups of ∑ n are tori of dimension ≤[(n+1)/2].
Maximal commutative unipotent subgroups and a characterization of affine spherical varieties

Andriy Regeta,Immanuel van Santen

2023-08-03

Abstract:We describe maximal commutative unipotent subgroups of the automorphism group $\mathrm{Aut}(X)$ of an irreducible affine variety $X$. Further we show that a group isomorphism $\mathrm{Aut}(X) \to \mathrm{Aut}(Y)$ maps unipotent elements to unipotent elements, where $Y$ is irreducible and affine. Using this result, we show that the automorphism group detects sphericity and the weight-monoid. As an application, we show that an affine toric variety different from an algebraic torus is determined by its automorphism group among normal irreducible affine varieties and we show that a smooth affine spherical variety different from an algebraic torus is determined by its automorphism group (up to an automorphism of the base field) among smooth irreducible affine varieties.

Algebraic Geometry
Affine deformations of quasi-divisible convex cones

Xin Nie,Andrea Seppi

DOI: https://doi.org/10.1112/plms.12537

2020-09-26

Abstract:For any subgroup of $\mathrm{SL}(3,\mathbb{R})\ltimes\mathbb{R}^3$ obtained by adding a translation part to a subgroup of $\mathrm{SL}(3,\mathbb{R})$ which is the fundamental group of a finite-volume convex projective surface, we first show that under a natural condition on the translation parts of parabolic elements, the affine action of the group on $\mathbb{R}^3$ has convex domains of discontinuity that are regular in a certain sense, generalizing a result of Mess for globally hyperbolic flat spacetimes. We then classify all these domains and show that the quotient of each of them is an affine manifold foliated by convex surfaces with constant affine Gaussian curvature. The proof is based on a correspondence between the geometry of an affine space endowed with a convex cone and the geometry of a convex tube domain. As an independent result, we show that the moduli space of such groups is a vector bundle over the moduli space of finite-volume convex projective structures, with rank equaling the dimension of the Teichmüller space.

Differential Geometry,Geometric Topology
The sphere complex of a locally finite graph

Brian Udall

2024-10-02

Abstract:For a locally finite graph $\Gamma$, we consider its mapping class group $\text{Map}(\Gamma)$ as defined by Algom-Kfir-Bestvina. For these groups, we prove a generalization of the results of Laudenbach and Brendle-Broaddus-Putman, producing a $3$-manifold $M_{\Gamma}$ whose mapping class group surjects onto $\text{Map}(\Gamma)$ with kernel a compact abelian group of sphere twists so that the corresponding short exact sequence splits. Along the way we obtain an induced faithful action of $\text{Map}(\Gamma)$ on the sphere complex $\mathcal{S}(M_{\Gamma})$ of $M_{\Gamma}$, which is the simplicial complex whose simplices are isotopy classes of finite collections of spheres in $M_{\Gamma}$ which are pairwise disjoint. When $\Gamma$ has finite rank, we further show that the action of $\text{Map}(\Gamma)$ on a certain natural subcomplex has elements with positive translation length, and also consider a candidate for an Outer space of such a graph. As another application, we prove that for many $\Gamma$, $\text{Map}(\Gamma)$ is quasi-isometric to a particular subgraph of $\mathcal{S}(M_{\Gamma})$, following Schaffer-Cohen. We also deduce analogs of the results of Domat-Hoganson-Kwak.

Geometric Topology,Group Theory
Generalised spherical minors and their relations

Luca Francone

2024-07-23

Abstract:Let H be a spherical subgroup of minimal rank of the semisimple simply connected complex algebraic group G. We define some functions on the homogeneous space G/H that we call generalised spherical minors. When G = H x H, we recover Fomin-Zelevinsky generalised minors. We prove that generalised spherical minors satisfy some integer coefficients polynomial relations, that extend the identities of classical generalised minors due to Fomin and Zelevinsky, and that have the shape of exchange relations of LP-algebras.

Representation Theory
Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

Montserrat Casals-Ruiz,Jone Lopez de Gamiz Zearra

2023-10-09

Abstract:A result by Bridson, Howie, Miller, and Short states that if $S$ is a finitely presented subgroup of the direct product of free groups, then $S$ is virtually a nilpotent extension of a direct product of free groups. Moreover, if $S$ is a subgroup of type $FP_n$ of the direct product of $n$ free groups, then the nilpotent extension is finite, so $S$ is actually virtually the direct product of free groups. In this paper, these results are generalized to $2$-dimensional coherent right-angled Artin groups. More precisely, we show that a finitely presented subgroup of the direct product of $2$-dimensional coherent RAAGs is still virtually a nilpotent extension of a direct product of subgroups. If $S$ is moreover a type $FP_n$ subgroup of the direct product of $n$ $2$-dimensional coherent RAAGs, then $S$ is commensurable to a kernel of a character of a direct product of subgroups. Finally, we show that the multiple conjugacy problem and the membership problem are decidable for finitely presented subgroups of direct products of $2$-dimensional coherent RAAGs.

Group Theory
Riemannian geometry of maximal surface group representations acting on pseudo-hyperbolic space

Nicholas Rungi

2024-02-20

Abstract:For any maximal surface group representation into $\mathrm{SO}_0(2,n+1)$, we introduce a non-degenerate scalar product on the the first cohomology group of the surface with values in the associated flat bundle. In particular, it gives rise to a non-degenerate Riemannian metric on the smooth locus of the subset consisting of maximal representations inside the character variety. In the case $n=2$, we carefully study the properties of the Riemannian metric on the maximal connected components, proving that it is compatible with the orbifold structure and finding some totally geodesic sub-varieties. Then, in the general case, we explain when a representation with Zariski closure contained in $\mathrm{SO}_0(2,3)$ represents a smooth or orbifold point in the maximal $\mathrm{SO}_0(2,n+1)$-character variety and we show that the associated space is totally geodesic for any $n\ge 3$.

Differential Geometry,Representation Theory

Groups acting distally and minimally on $\mathbb S^2$ and $\mathbb {RP}^2$

On finite generalized quadrangles with $\mathrm{PSL}(2,q)$ as an automorphism group

Hyperbolic groups and spherical minimal surfaces

Minimal Subgroups of ${\rm GL}_2(\mathbb{Z}_{S})$

Relatively hyperbolic groups with planar boundaries

Groups with infinitely many ends acting analytically on the circle

Minimal surfaces with low genus in lens spaces

On subgroups with narrow Schreier graphs

Actions of large finite groups on aspherical manifolds

On non-abelian dp-minimal groups

An Alternative for Minimal Group Actions on Totally Regular Curves

A free action of a finite group on 3-sphere equivalent to a linear action

Finitistic Spaces with the Orbit Space FP^n x S^m

Scalar Curvature, Non-Abelian Group Actions, and the Degree of Symmetry of Exotic Spheres

Maximal commutative unipotent subgroups and a characterization of affine spherical varieties

Affine deformations of quasi-divisible convex cones

The sphere complex of a locally finite graph

Generalised spherical minors and their relations

Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

Riemannian geometry of maximal surface group representations acting on pseudo-hyperbolic space