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

What problem does this paper attempt to address?

On the Eisenstein Cohomology of Arithmetic Groups

JS Li,J Schwermer

DOI: https://doi.org/10.1215/s0012-7094-04-12315-2

2004-01-01

Duke Mathematical Journal

Abstract:The cohomology H * (Gamma, E) of an arithmetic subgroup F of a connected reductive algebraic group G defined over some algebraic number field F can be interpreted in terms of the automorphic spectrum of Gamma. With this framework in place, there is a sum decomposition of the cohomology into the cuspidal cohomology (i.e., classes represented by cuspidal automorphic forms for G) and the so-called Eisenstein cohomology constructed as the span of appropriate residues or derivatives of Eisenstein series attached to cuspidal automorphic forms on the Levi components of proper parabolic F-subgroups of G. The main objective of this paper is to isolate a specific structural part in the Eisenstein cohomology. This pertains to regular Eisenstein cohomology classes attached to cuspidal automorphic representations whose archimedean component is tempered. It is shown that the cohomological degree of these classes is bounded from below by the constant q(0)(G(R)) = ((1 /2)[dim X-G(R) - (rk(G(R)) - rk(K-R))], where KR denotes a maximal compact subgroup of the real Lie group G(R), where XG(R) is the associated symmetric space. This investigation has various applications. One of these is a vanishing result,for the cohomology in the generic case (i.e., where coefficient system E has regular highest weight) the representation determining the in degrees below q(0) (G (R)). This is a sharp bound depending only on the underlying real Lie group G (R) (Corollary 5.6, Proposition 5.8). This result is supplemented by a qualitative structural result in the description of the cohomology in higher degrees by means of regular Eisenstein cohomology classes.
Arithmeticity of $\mathbb{C}$-Fuchsian subgroups of some non-arithmetic lattices

Yueping Jiang,Jieyan Wang,Fang Yang

DOI: https://doi.org/10.21203/rs.3.rs-2366924/v1

2022-01-01

Abstract:Abstract We study the arithmeticity of C-Fuchsian subgroups of some non-arithmeticlattices constructed by Deraux, Parker and Paupert. Our results give an answer to thequestion raised by Wells in his doctoral thesis.
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
Lattice envelopes of right-angled Artin groups

Pierre-Emmanuel Caprace,Tom De Medts

2024-01-29

Abstract:Let $\Gamma$ be a finite simplicial graph with at least two vertices, and let $G(\Gamma)$ be the associated right-angled Artin group. We describe a locally compact group $\mathcal U$ containing $G(\Gamma)$ as a cocompact lattice. If $\Gamma$ is not a join (i.e. the complement graph is connected), the group $\mathcal U$ is non-discrete, almost simple, but not virtually simple: it has a smallest normal subgroup $\mathcal U^+$ which is an open simple subgroup, and the quotient $\mathcal U/\mathcal U^+$ is isomorphic to the right-angled Coxeter group $W(\Gamma)$. Under suitable assumptions on $\Gamma$, we rely on work by Bader-Furman-Sauer and Huang-Kleiner to show that $\mathcal U \rtimes \mathrm{Aut}(\Gamma)$ is the universal lattice envelope of $G(\Gamma)$: for every lattice envelope $H$ of $G(\Gamma)$, there is a continuous proper homomorphism $H \to \mathcal U \rtimes \mathrm{Aut}(\Gamma)$. In particular, no lattice envelope of $G(\Gamma)$ is virtually simple. We also show that no locally compact group quasi-isometric to $G(\Gamma)$ is virtually simple. This contrasts with the case of free groups. The group $\mathcal U$ is a universal automorphism group of the Davis building of $G(\Gamma)$, with prescribed local actions. As an application, we describe the algebraic structure of the full automorphism group of the Cayley graph of $G(\Gamma)$ with respect to its standard generating set.

Group Theory
Lattices in rigid analytic representations

Andrea Conti,Emiliano Torti

2024-09-02

Abstract:For a profinite group $G$ and a rigid analytic space $X$, we study when an $\mathcal O_X(X)$-linear representation $V$ of $G$ admits a lattice, i.e. an $\mathcal O_{\mathcal X}(\mathcal X)$-linear model for a suitable formal model $\mathcal X$ of $X$ in the sense of Berthelot. We give a positive answer, under mild assumptions, when $X$ is a ``wide open'' space. As a consequence, we are able to describe explicit open rational subdomains of $X$ over which $V$ is constant after reduction modulo a power of $p$. We give applications in two different directions. First, we prove explicit results on the reduction modulo powers of $p$ of sheaves of crystalline and semistable representations of fixed weight. Second, we focus on the sheaves of Galois representations on eigenvarieties, which are important examples of wide open spaces thanks to a result of Bellaïche and Chenevier. We give an application of our main results to the pseudorepresentation carried by the Coleman--Mazur eigencurve, which can be made explicit whenever equations for a rational subdomain of the eigencurve are given.

Number Theory
Non-left-orderability of lattices in higher-rank semisimple Lie groups (after Deroin and Hurtado)

Dave Witte Morris

2024-07-13

Abstract:Let $G$ be a connected, semisimple, real Lie group with finite centre, with real rank at least two. B.Deroin and S.Hurtado recently proved the 30-year-old conjecture that no irreducible lattice in $G$ has a left-invariant total order. (Equivalently, they proved that no such lattice has a nontrivial, orientation-preserving action on the real line.) We will explain many of the main ideas of the proof, by using them to prove the analogous result for lattices in $p$-adic semisimple groups. The $p$-adic case is easier, because some of the technical issues do not arise.

Group Theory,Dynamical Systems
Relating Real and P-adic Kazhdan-Lusztig Polynomials

Leticia Barchini,Peter E. Trapa

2024-04-17

Abstract:Fix an integral semisimple element $\lambda$ in the Lie algebra $\mathfrak{g}$ of a complex reductive algebraic group $G$. Let $L$ denote the centralizer of $\lambda$ in $G$ and let $\mathfrak{g}(-1)$ denote the $-1$ eigenspace of $\mathrm{ad}(\lambda)$ in $\mathfrak{g}$. Under a natural hypothesis (which is always satisfied for classical subgroups of $\mathrm{GL}(n)$), we embed the closure of each $L$ orbit on $\mathfrak{g}(-1)$ into the closure of an orbit of a symmetric subgroup $K$ containing $L$ on a partial flag variety for $G$. We use this to relate the local intersection homology of the later orbit closures to the former orbit closures. This, in turn, relates multiplicity matrices for split real and $p$-adic groups. We also describe relationships between "microlocal packets'' of representations of these groups.

Mathematics
Approximate lattices and S-adic linear groups

Simon Machado

2023-10-16

Abstract:We provide and motivate in this paper a natural framework for the study of approximate lattices. Namely, we consider approximate lattices in so-called $S$-adic linear groups and define relevant notions of arithmeticity. We also adapt to this framework classical results of the theory of lattices and Meyer sets. Results from this paper will play a role in the proof of a structure theorem for approximate lattices in $S$-adic linear groups which is the subject of a companion paper. We extend a theorem of Schreiber's concerning the coarse structure of approximate subgroups in Euclidean spaces to approximate subgroups of unipotent $S$-adic groups. We generalise Meyer's structure theorem for approximate lattices in locally compact abelian groups to a precise structure theorem for approximate lattices in unipotent $S$-adic groups. Finally, we study intersections of approximate lattices of $S$-adic linear groups with certain subgroups such as the nilpotent radical and Levi subgroups. We furthermore show that the framework of $S$-adic linear groups enables us to provide statements more precise than earlier results.

Number Theory,Group Theory
Some Foundational Results In Adic Geometry

Bogdan Zavyalov

2024-09-24

Abstract:In this paper, we record some foundational results on adic geometry that seem to be missing in the existing literature. Namely, we develop the Proj construction and a theory of lci closed immersions in the context of locally noetherian analytic adic spaces. In the context of rigid-analytic spaces, these topics have previously been considered in [GL21] and [Con07]. We also develop an etale six functor formalism in the analytic geometry and give a categorical description of lisse and constructible sheaves. All results of this paper are probably well-known to the experts.

Algebraic Geometry
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
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
Stability and instability of lattices in semisimple groups

Uri Bader,Alexander Lubotzky,Roman Sauer,Shmuel Weinberger

2023-08-30

Abstract:Using cohomological methods, we show that lattices in semisimple groups are typically stable with respect to the Frobenius norm but not with respect to the operator norm.

Group Theory
Sublinear Rigidity of Lattices in Semisimple Lie Groups

Ido Grayevsky

2023-06-25

Abstract:Let $G$ be a real centre-free semisimple Lie group without compact factors. I prove that irreducible lattices in $G$ are rigid under two types of sublinear distortions. The first result is that the class of lattices in groups that do not admit $\mathbb{R}$-rank $1$ factors is $\textit{SBE complete}$: if $\Lambda$ is an abstract finitely generated group that is Sublinearly BiLipschitz Equivalent (SBE) to a lattice $\Gamma\leq G$, then $\Lambda$ can be homomorphically mapped into $G$ with finite kernel and image a lattice in $G$. For such $G$ this generalizes the well known quasi-isometric completeness of lattices. The second result concerns sublinear distortions within $G$ itself, and holds without any restriction on the rank of the factors: if $\Lambda\leq G$ is a discrete subgroup that $\textit{sublinearly covers}$ a lattice $\Gamma\leq G$, then $\Lambda$ is itself a lattice.

Group Theory,Metric Geometry
Brascamp--Lieb inequalities on locally compact abelian groups

Jonathan Bennett,Michael G. Cowling

2024-12-16

Abstract:We establish a structure theorem for the Brascamp--Lieb constant formulated in the general setting of locally compact abelian groups. This extends and unifies the finiteness characterisations previously known for euclidean spaces and for finitely generated groups and their duals. We place particular emphasis on Fourier invariance throughout, reflecting the fundamental Fourier invariance of Brascamp--Lieb multilinear forms in this context.

Functional Analysis
Semialgebraic groups and generalized affine buildings

Raphael Appenzeller

2024-07-30

Abstract:We develop the theory of algebraic groups over real closed fields and apply the results to construct a geometric object $\mathcal{B}$ and to prove that $\mathcal{B}$ is an affine $\Lambda$-building. We use a model theoretic transfer principle to prove generalizations of statements about semisimple Lie groups. In this direction we give proofs for the Iwasawa-decomposition $KAU$, the Cartan-decomposition $KAK$ and the Bruhat-decomposition $BWB$. For unipotent subgroups we prove the Baker-Campbell-Hausdorff formula and use it to analyse root groups. We give a proof of the Jacobson-Morozov Lemma about subgroups whose Lie algebra is isomorphic to $\mathfrak{sl}_2$ and we describe other rank 1 subgroups which are the semisimple parts of Levi-subgroups. We prove a semialgebraic version of Kostant's convexity. Over the reals, semisimple Lie groups are closely related to the symmetry groups of symmetric spaces of non-compact type. These symmetric spaces can be described semialgebraically, which allows us to consider their semialgebraic extension over any real closed field. Starting from these non-standard symmetric spaces we use a valuation (with image some non-discrete ordered abelian group $\Lambda$) on the fields to define a $\Lambda$-pseudometric. Identifying points of distance zero results in a $\Lambda$-metric space $\mathcal{B}$. Assuming that the root system of the associated Lie group is reduced, we prove that $\mathcal{B}$ is an affine $\Lambda$-building. The proof relies on a thorough analysis of stabilizers.

Group Theory
Graded Lie Algebras, Compactified Jacobians and Arithmetic Statistics

Jef Laga

2024-06-27

Abstract:A simply laced Dynkin diagram gives rise to a family of curves over $\mathbb{Q}$ and a coregular representation, using deformations of simple singularities and Vinberg theory respectively. Thorne has conjectured and partially proven a strong link between the arithmetic of these curves and the rational orbits of these representations. In this paper, we complete Thorne's picture and show that $2$-Selmer elements of the Jacobians of the smooth curves in each family can be parametrised by integral orbits of the corresponding representation. Using geometry-of-numbers techniques, we deduce statistical results on the arithmetic of these curves. We prove these results in a uniform manner. This recovers and generalises results of Bhargava, Gross, Ho, Shankar, Shankar and Wang. The main innovations are: an analysis of torsors on affine spaces using results of Colliot-Thélène and the Grothendieck--Serre conjecture, a study of geometric properties of compactified Jacobians using the Bialynicki-Birula decomposition, and a general construction of integral orbit representatives.

Number Theory,Algebraic Geometry,Representation Theory
An analytic version of stable arithmetic regularity

Gabriel Conant,Anand Pillay

2024-06-17

Abstract:We prove a structure theorem for stable functions on amenable groups, which extends the arithmetic regularity lemma for stable subsets of finite groups. Given a group $G$, a function $f\colon G\to [-1,1]$ is called stable if the binary function $f(x\cdot y)$ is stable in the sense of continuous logic. Roughly speaking, our main result says that if $G$ is amenable, then any stable function on $G$ is almost constant on all translates of a unitary Bohr neighborhood in $G$ of bounded complexity. The proof uses ingredients from topological dynamics and continuous model theory. We also prove several applications which generalize results in arithmetic combinatorics to nonabelian groups.

Logic,Combinatorics,Group Theory
Charmenability of higher rank arithmetic groups

Uri Bader,Rémi Boutonnet,Cyril Houdayer

2023-08-07

Abstract:We complete the study of characters on higher rank semisimple lattices initiated in [BH19,BBHP20], the missing case being the case of lattices in higher rank simple algebraic groups in arbitrary characteristics. More precisely, we investigate dynamical properties of the conjugation action of such lattices on their space of positive definite functions. Our main results deal with the existence and the classification of characters from which we derive applications to topological dynamics, ergodic theory, unitary representations and operator algebras. Our key theorem is an extension of the noncommutative Nevo-Zimmer structure theorem obtained in [BH19] to the case of simple algebraic groups defined over arbitrary local fields. We also deduce a noncommutative analogue of Margulis' factor theorem for von Neumann subalgebras of the noncommutative Poisson boundary of higher rank arithmetic groups.

Operator Algebras,Dynamical Systems,Group Theory,Representation Theory
Torsion-Free Lattices in Baumslag-Solitar Complexes

Maya Verma

2024-06-24

Abstract:This paper classifies the pairs of nonzero integers $(m,n)$ for which the locally compact group of combinatorial automorphisms, Aut$(X_{m,n})$, contains incommensurable torsion-free lattices, where $X_{m,n}$ is the combinatorial model for Baumslag-Solitar group $BS(m, n)$. In particular, we show that Aut$(X_{m,n})$ contains abstractly incommensurable torsion-free lattices if and only if there exists a prime $p \leq gcd(m, n)$ such that either $m/gcd(m,n)$ or $n/gcd(m,n)$ is divisible by $p$. Additionally, we show that when Aut$(X_{m,n})$ does not contain incommensurable lattices, the cell complex $X_{m,n}$ satisfies Leighton$'$s property.

Geometric Topology
Commensurability of lattices in right-angled buildings

Sam Shepherd

DOI: https://doi.org/10.1016/j.aim.2024.109522

IF: 1.675

2024-04-01

Advances in Mathematics

Abstract:Let Γ be a graph product of finite groups, with finite underlying graph, and let Δ be the associated right-angled building. We prove that a uniform lattice Λ in the cubical automorphism group Aut ( Δ ) is weakly commensurable to Γ if and only if all convex subgroups of Λ are separable. As a corollary, any two finite special cube complexes with universal cover Δ have a common finite cover. An important special case of our theorem is where Γ is a right-angled Coxeter group and Δ is the associated Davis complex. We also obtain an analogous result for right-angled Artin groups. In addition, we deduce quasi-isometric rigidity for the group Γ when Δ has the structure of a Fuchsian building.

mathematics

An adelic arithmeticity theorem for lattices in products

On the Eisenstein Cohomology of Arithmetic Groups

Arithmeticity of $\mathbb{C}$-Fuchsian subgroups of some non-arithmetic lattices

A product theorem in simple Lie groups

Lattice envelopes of right-angled Artin groups

Lattices in rigid analytic representations

Non-left-orderability of lattices in higher-rank semisimple Lie groups (after Deroin and Hurtado)

Relating Real and P-adic Kazhdan-Lusztig Polynomials

Approximate lattices and S-adic linear groups

Some Foundational Results In Adic Geometry

Spectral gap for products and a strong normal subgroup theorem

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

Stability and instability of lattices in semisimple groups

Sublinear Rigidity of Lattices in Semisimple Lie Groups

Brascamp--Lieb inequalities on locally compact abelian groups

Semialgebraic groups and generalized affine buildings

Graded Lie Algebras, Compactified Jacobians and Arithmetic Statistics

An analytic version of stable arithmetic regularity

Charmenability of higher rank arithmetic groups

Torsion-Free Lattices in Baumslag-Solitar Complexes

Commensurability of lattices in right-angled buildings