Irreducible discrete subgroups in products of simple Lie groups

Azer Akhmedov

2024-06-18

Abstract:We produce an example of an irreducible discrete subgroup in the product $SL(2,\R)\times SL(2,\R)$ which is not a lattice. This answers a question asked in [15].

Group Theory,Dynamical Systems,Geometric Topology

What problem does this paper attempt to address?

Lie groups in the symmetric group: reducing Ulam's problem to the simple case

Annalisa Conversano,Nicolas Monod

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

2023-11-22

Abstract:Ulam asked whether all Lie groups can be represented faithfully on a countable set. We establish a reduction of Ulam's problem to the case of simple Lie groups. In particular, we solve the problem for all solvable Lie groups and more generally Lie groups with a linear Levi component. It follows that every amenable locally compact second countable group acts faithfully on a countable set.

Group Theory,Representation Theory
Discrete subgroups of semisimple Lie groups, beyond lattices

Fanny Kassel

2024-02-27

Abstract:Discrete subgroups of SL(2,R) are well understood, and classified by the geometry of the corresponding hyperbolic surfaces. Discrete subgroups of higher-rank semisimple Lie groups, such as SL(n,R) for n>2, remain more mysterious. While lattices in this setting are rigid, there also exist more flexible, "thinner" discrete subgroups, which may have large and interesting deformation spaces, giving rise in particular to so-called higher Teichm\"uller theory. We survey recent progress in constructing and understanding such discrete subgroups from a geometric and dynamical viewpoint.

Group Theory
A product theorem in simple Lie groups

Nicolas de Saxcé

DOI: https://doi.org/10.1007/s00039-015-0326-7

2015-03-17

Geometric and Functional Analysis

Abstract:We prove a discretized Product Theorem for general simple Lie groups, in the spirit of Bourgain’s Discretized Sum-Product Theorem.

mathematics
Residual finiteness and discrete subgroups of Lie groups

Matthew Stover

2024-07-10

Abstract:Let $G$ be a real Lie group and $\Gamma < G$ be a discrete subgroup of $G$. Is $\Gamma$ residually finite? This paper describes known positive and negative results then poses some questions whose answers will lead to a fairly complete answer for lattices.

Group Theory,Geometric Topology,Number Theory
Discrete Linear Groups containing Arithmetic Groups

T.N.Venkataramana,Indira Chatterji

2024-08-09

Abstract:We prove in a large number of cases, that a Zariski dense discrete subgroup of a simple real algebraic group $G$ which contains a higher rank lattice is a lattice in the group $G$. For example, we show that a Zariski dense subgroup of $SL_n({\mathbb R})$ which contains $SL_3({\mathbb Z})$ in the top left hand corner, is conjugate to $SL_n({\mathbb Z})$ .

Group Theory
On regular subgroups of $\mathsf{SL}_3(\mathbb{R})$

Sami Douba,Konstantinos Tsouvalas

2023-07-12

Abstract:Motivated by a question of M. Kapovich, we show that the $\mathbb{Z}^2$ subgroups of $\mathsf{SL}_3(\mathbb{R})$ that are regular in the language of Kapovich--Leeb--Porti, or divergent in the sense of Guichard--Wienhard, are precisely the lattices in minimal horospherical subgroups. This rules out any relative Anosov subgroups of $\mathsf{SL}_3(\mathbb{R})$ that are not in fact Gromov-hyperbolic. By work of Oh, it also follows that a Zariski-dense discrete subgroup $\Gamma$ of $\mathsf{SL}_3(\mathbb{R})$ contains a regular $\mathbb{Z}^2$ if and only if $\Gamma$ is commensurable to a conjugate of $\mathsf{SL}_3(\mathbb{Z})$. In particular, a Zariski-dense regular subgroup of $\mathsf{SL}_3(\mathbb{R})$ contains no $\mathbb{Z}^2$ subgroups.

Group Theory,Geometric Topology
Subgroups of the direct product of graphs of groups with free abelian vertex groups

Montserrat Casals-Ruiz,Jone Lopez de Gamiz Zearra

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

2023-10-02

Abstract:A result of Baumslag and Roseblade states that a finitely presented subgroup of the direct product of two free groups is virtually a direct product of free groups. In this paper we generalise this result to the class of cyclic subgroup separable graphs of groups with free abelian vertex groups and cyclic edge groups. More precisely, we show that a finitely presented subgroup of the direct product of two groups in this class is virtually $H$-by-(free abelian), where $H$ is the direct product of two groups in the class. In particular, our result applies to 2-dimensional coherent right-angled Artin groups and residually finite tubular groups. Furthermore, we show that the multiple conjugacy problem and the membership problem are decidable for finitely presented subgroups of the direct product of two $2$-dimensional coherent RAAGs.

Group Theory
Finite subgroups of arithmetic lattices in U(2,1)

D. B. McReynolds

DOI: https://doi.org/10.48550/arXiv.math/0603743

2006-03-31

Abstract:The principle result of this article is the determination of the possible finite subgroups of arithmetic lattices in U(2,1).

Group Theory,Geometric Topology
On the product decomposition conjecture for finite simple groups

Nick Gill,László Pyber,Ian Short,Endre Szabó

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

2012-05-17

Abstract:We prove that if $G$ is a finite simple group of Lie type and $S$ a subset of $G$ of size at least two then $G$ is a product of at most $c\log|G|/\log|S|$ conjugates of $S$, where $c$ depends only on the Lie rank of $G$. This confirms a conjecture of Liebeck, Nikolov and Shalev in the case of families of simple groups of Lie type of bounded rank.

Group Theory
Recognition and constructive membership for discrete subgroups of $\mathrm{SL}_2(\mathbb{R})$

Ari Markowitz

2024-10-24

Abstract:We provide algorithms to decide whether a finitely generated subgroup of $\mathrm{SL}_2(\mathbb{R})$ is discrete, solve the constructive membership problem for finitely generated discrete subgroups of $\mathrm{SL}_2(\mathbb{R})$, and compute a fundamental domain for a finitely generated Fuchsian group. These algorithms have been implemented in Magma for groups defined over real algebraic number fields.

Group Theory
Product Mixing in Compact Lie Groups

David Ellis,Guy Kindler,Noam Lifshitz,Dor Minzer

2024-05-03

Abstract:If $G$ is a group, we say a subset $S$ of $G$ is product-free if the equation $xy=z$ has no solutions with $x,y,z \in S$. For $D \in \mathbb{N}$, a group $G$ is said to be $D$-quasirandom if the minimal dimension of a nontrivial complex irreducible representation of $G$ is at least $D$. Gowers showed that in a $D$-quasirandom finite group $G$, the maximal size of a product-free set is at most $|G|/D^{1/3}$. This disproved a longstanding conjecture of Babai and Sós from 1985.

Combinatorics,Computational Complexity,Group Theory,Probability
An adelic arithmeticity theorem for lattices in products

Uri Bader,Alex Furman,Roman Sauer

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

2017-05-23

Abstract:We prove that, under mild assumptions, a lattice in a product of semi-simple Lie group and a totally disconnected locally compact group is, in a certain sense, arithmetic. We do not assume the lattice to be finitely generated or the ambient group to be compactly generated.

Group Theory
Almost-minimal nonuniform lattices of higher rank

Vladimir Chernousov,Lucy Lifschitz,Dave Witte Morris

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

2007-11-14

Abstract:If Gamma is a nonuniform, irreducible lattice in a semisimple Lie group whose real rank is greater than 1, we show Gamma contains a subgroup that is isomorphic to a nonuniform, irreducible lattice in either SL(3,R), SL(3,C), or a direct product SL(2,R)^m x SL(2,C)^n$, with m + n > 1. (In geometric terms, this can be interpreted as a statement about the existence of totally geodesic subspaces of finite-volume, noncompact, locally symmetric spaces of higher rank.) Another formulation of the result states that if G is any isotropic, almost simple algebraic group over Q (the rational numbers), such that the real rank of G is greater than 1, then G contains an isotropic, almost simple Q-subgroup H, such that H is quasisplit, and the real rank of H is greater than 1.

Group Theory,Differential Geometry,Representation Theory
Absolutely irreducible quasisimple linear groups containing elements of order a specified Zsigmondy prime

S. P. Glasby,Alice C. Niemeyer,Cheryl E. Praeger,A. E. Zalesski

2024-11-13

Abstract:This paper is concerned with absolutely irreducible quasisimple subgroups $G$ of a finite general linear group $GL_d(\mathbb{F}_q)$ for which some element $g\in G$ of prime order $r$, in its action on the natural module $V=(\mathbb{F}_q)^d$, is irreducible on a subspace of the form $V(1-g)$ of dimension $d/2$. We classify $G,d,r$, the characteristic $p$ of the field $\mathbb{F}_q$, and we identify those examples where the element $g$ has a fixed point subspace of dimension $d/2$. Our proof relies on representation theory, in particular, the multiplicities of eigenvalues of $g$, and builds on earlier results of DiMuro.

Representation Theory,Group Theory
Complete reducibility for Lie subalgebras and semisimplification

Michael Bate,Sören Böhm,Benjamin Martin,Gerhard Roehrle,Laura Voggesberger

2023-10-26

Abstract:Let $G$ be a connected reductive linear algebraic group over a field $k$. Using ideas from geometric invariant theory, we study the notion of $G$-complete reducibility over $k$ for a Lie subalgebra $\mathfrak h$ of the Lie algebra $\mathfrak g = Lie(G)$ of $G$ and prove some results when $\mathfrak h$ is solvable or $char(k)= 0$. We introduce the concept of a $k$-semisimplification $\mathfrak h'$ of $\mathfrak h$; $\mathfrak h'$ is a Lie subalgebra of $\mathfrak g$ associated to $\mathfrak h$ which is $G$-completely reducible over $k$. This is the Lie algebra counterpart of the analogous notion for subgroups studied earlier by the first, third and fourth authors. As in the subgroup case, we show that $\mathfrak h'$ is unique up to $Ad(G(k))$-conjugacy in $\mathfrak g$. Moreover, we prove that the two concepts are compatible: for $H$ a closed subgroup of $G$ and $H'$ a $k$-semisimplification of $H$, the Lie algebra $Lie(H')$ is a $k$-semisimplification of $Lie(H)$.

Group Theory,Representation Theory
Spectral gap for products and a strong normal subgroup theorem

Uri Bader,Tsachik Gelander,Arie Levit

2024-11-11

Abstract:We establish a general spectral gap theorem for actions of products of groups which may replace Kazhdan's property (T) in various situations. As a main application, we prove that a confined subgroup of an irreducible lattice in a higher rank semisimple Lie group is of finite index. This significantly strengthens the classical normal subgroup theorem of Margulis and removes the property (T) assumption from the recent counterpart result of Fraczyk and Gelander. We further show that any confined discrete subgroup of a higher rank semisimple Lie group satisfying a certain irreducibility condition is an irreducible lattice. This implies a variant of the Stuck-Zimmer conjecture under a strong irreducibility assumption of the action.

Group Theory,Dynamical Systems
Remarks on discrete subgroups with full limit sets in higher rank Lie groups

Subhadip Dey,Sebastian Hurtado

2024-07-29

Abstract:We show that real semi-simple Lie groups of higher rank contain (infinitely generated) discrete subgroups with full limit sets in the corresponding Furstenberg boundaries. Additionally, we provide criteria under which discrete subgroups of $G = \operatorname{SL}(3,\mathbb{R})$ must have a full limit set in the Furstenberg boundary of $G$. In the appendix, we show the the existence of Zariski-dense discrete subgroups $\Gamma$ of $\operatorname{SL}(n,\mathbb{R})$, where $n\ge 3$, such that the Jordan projection of some loxodromic element $\gamma \in\Gamma$ lies on the boundary of the limit cone of $\Gamma$.

Geometric Topology,Dynamical Systems,Group Theory
On good $A_1$ subgroups, Springer maps, and overgroups of distinguished unipotent elements in reductive groups

Michael Bate,Sören Böhm,Benjamin Martin,Gerhard Roehrle

2024-10-21

Abstract:Suppose $G$ is a simple algebraic group defined over an algebraically closed field of good characteristic $p$. In 2018 Korhonen showed that if $H$ is a connected reductive subgroup of $G$ which contains a distinguished unipotent element $u$ of $G$ of order $p$, then $H$ is $G$-irreducible in the sense of Serre. We present a short and uniform proof of this result under an extra hypothesis using so-called good $A_1$ subgroups of $G$, introduced by Seitz. In the process we prove some new results about good $A_1$ subgroups of $G$ and their properties. We also formulate a counterpart of Korhonen's theorem for overgroups of $u$ which are finite groups of Lie type. Moreover, we generalize both results above by removing the restriction on the order of $u$ under a mild condition on $p$ depending on the rank of $G$, and we present an analogue of Korhonen's theorem for Lie algebras.

Group Theory,Representation Theory
On the dearth of coproducts in the category of locally compact groups

Alexandru Chirvasitu

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

2021-07-25

Abstract:We prove that a family of at least two non-trivial, almost-connected locally compact groups cannot have a coproduct in the category of locally compact groups if at least one of the groups is connected; this confirms the intuition that coproducts in said category are rather hard to come by, save for the usual ones in the category of discrete groups. Along the way we also prove a number of auxiliary results on characteristic indices of locally compact or Lie groups as defined by Iwasawa: that characteristic indices can only decrease when passing to semisimple closed Lie subgroups, and also along dense-image morphisms.

Group Theory,Category Theory,Representation Theory
Writing finite simple groups of Lie type as products of subset conjugates

Daniele Dona

2024-09-17

Abstract:The Liebeck-Nikolov-Shalev conjecture [LNS12] asserts that, for any finite simple non-abelian group $G$ and any set $A\subseteq G$ with $|A|\geq 2$, $G$ is the product of at most $N\frac{\log|G|}{\log|A|}$ conjugates of $A$, for some absolute constant $N$. For $G$ of Lie type, we prove that for any $\varepsilon>0$ there is some $N_{\varepsilon}$ for which $G$ is the product of at most $N_{\varepsilon}\left(\frac{\log|G|}{\log|A|}\right)^{1+\varepsilon}$ conjugates of either $A$ or $A^{-1}$. For symmetric sets, this improves on results of Liebeck, Nikolov, and Shalev [LNS12] and Gill, Pyber, Short, and Szabó [GPSS13]. During the preparation of this paper, the proof of the Liebeck-Nikolov-Shalev conjecture was completed by Lifshitz [Lif24]. Both papers use [GLPS24] as a starting point. Lifshitz's argument uses heavy machinery from representation theory to complete the conjecture, whereas this paper achieves a more modest result by rather elementary combinatorial arguments.

Group Theory,Combinatorics

Irreducible discrete subgroups in products of simple Lie groups

Lie groups in the symmetric group: reducing Ulam's problem to the simple case

Discrete subgroups of semisimple Lie groups, beyond lattices

A product theorem in simple Lie groups

Residual finiteness and discrete subgroups of Lie groups

Discrete Linear Groups containing Arithmetic Groups

On regular subgroups of $\mathsf{SL}_3(\mathbb{R})$

Subgroups of the direct product of graphs of groups with free abelian vertex groups

Finite subgroups of arithmetic lattices in U(2,1)

On the product decomposition conjecture for finite simple groups

Recognition and constructive membership for discrete subgroups of $\mathrm{SL}_2(\mathbb{R})$

Product Mixing in Compact Lie Groups

An adelic arithmeticity theorem for lattices in products

Almost-minimal nonuniform lattices of higher rank

Absolutely irreducible quasisimple linear groups containing elements of order a specified Zsigmondy prime

Complete reducibility for Lie subalgebras and semisimplification

Spectral gap for products and a strong normal subgroup theorem

Remarks on discrete subgroups with full limit sets in higher rank Lie groups

On good $A_1$ subgroups, Springer maps, and overgroups of distinguished unipotent elements in reductive groups

On the dearth of coproducts in the category of locally compact groups

Writing finite simple groups of Lie type as products of subset conjugates