We study the growth rate of the number of maximal arithmetic subgroups of bounded covolumes in a semi-simple Lie group using an extension of the method due to Borel and Prasad.
We correct a mistake in the paper "On the cuspidal cohomology of $S$-arithmetic subgroups of reductive groups over number fields " by A. Borel, J.-P. Labesse, J. Schwermer that appeared in Compositio Mathematica, 102 (1996), 1-40.
Let $Γ$ be an arithmetic subgroup of $SU(d,1)$ with cusps, and let $X_Γ$ be the associated locally symmetric space. We prove that if the first inner cohomology group $H^1_!(X_Γ,\mathbb{C})$ is non-zero then the pre-image of $Γ$ in each connected cover of $SU(d,1)$ is residually finite. We also give an example of a such a group $Γ$ for which $H^1_!(X_Γ,\mathbb{C})$ is non-zero.
Let G and G' be absolutely almost simple algebraic groups of types B and C respectively, of rank at least 3, and defined over a number field K. We determine when G and G' have the same isomorphism or isogeny classes of maximal K-tori. This leads to the necessary and sufficient conditions for two Zariski-dense S-arithmetic subgroups of G and G' to be weakly commensurable.
We discuss the following conjecture of Kitaoka: if a finite subgroup $G$ of $GL_{n}(O_{K})$ is invariant under the action of $Gal(K/\Bbb Q)$ then it is contained in $GL_{n}(K^{ab})$. Here $O_{K}$ is the ring of integers in a finite, Galois extension $K$ of $\Bbb Q$ and $K^{ab}$ is the maximal, abelian subextension of $K$. Our main result reduces this conjecture to a special case of elementary abelian $p-$groups $G$. Also, we construct some new examples which negatively answer a question of Kitaoka.
Let $K$ be the function field of a curve $C$ over a field $\mathbb{F}$ of either odd or zero characteristic. Following the work by Serre and Mason on $\mathrm{SL}_2$, we study the action of arithmetic subgroups of $\mathrm{SU}(3)$ on its corresponding Bruhat-Tits tree associated to a suitable completion of $K$. More precisely, we prove that the quotient graph "looks like a spider", in the sense that it is the union of a set of cuspidal rays (the "legs"), parametrized by an explicit Picard group, that are attached to a connected graph (the "body"). We use this description in order to describe t…
The main goal of this paper is to apply the arithmetic method developed in our previous paper \cite{13} to determine the number of some types of subgroups of finite abelian groups.
In this note we compute the fundamental domain of the action on the corresponding Bruhat-Tits tree of the arithmetic subgroup of PGL2 with respect to an arbitrary place of the rational function field.
Let G be a subgroup of GL(V), where V is a finite dimensional vector space over a finite field of characteristic p >0. If det(g-1) = 0 for all g \in G then we call G a fixed-point subgroup of GL(V). Motivated in parallel by questions in arithmetic and linear group theory, we classify all irreducible fixed-point subgroups of Sp_8(2) and give new infinite series of irreducible fixed-point subgroups of symplectic groups Sp_m(2) for various m arising from certain representations of groups of Lie type.
We deduce a simple representation and the invariant factor decompositions of the subgroups of the group $\Bbb{Z}_m \times \Bbb{Z}_n$, where $m$ and $n$ are arbitrary positive integers. We obtain formulas for the total number of subgroups and the number of subgroups of a given order.
We relate the singularities of a scheme $X$ to the asymptotics of the number of points of $X$ over finite rings. This gives a partial answer to a question of Mustata. We use this result to count representations of arithmetic lattices. More precisely, if $Γ$ is an arithmetic lattice whose $\mathbb{Q}$-rank is greater than one, let $r_n(Γ)$ be the number of irreducible $n$-dimensional representations of $Γ$ up to isomorphism. We prove that there is a constant $C$ (for example, $C=746$ suffices) such that $r_n(Γ)=O(n^C)$ for every such $Γ$. This answers a question of Larsen and Lubotzky.
By classifying $S$-maximal amenable subgroups of algebraic groups over a global field of characteristic zero, we obtain a complete classification of maximal amenable subgroups up to commensurability in the respective arithmetic groups. Futhermore, we prove that these commensurably maximal amenable subgroups are singular and therefore give rise to maximal amenable von Neumann subalgebras.
We begin with a review of the structure of simple, simply-connected complex Lie groups and their Lie algebras, describe the Chevalley lattice and the associated split group over the integers. This gives us a hyperspecial maximal compact subgroup of the p-adic Lie group and we describe the other maximal parahoric subgroups and their Lie algebras starting from the hyperspecial one. We then consider the Killing form on the Chevalley lattice and show that it is divisible by 2 times the dual Coxeter number. The same holds for the Lie algebras of the other maximal parahorics. We compute the discrimi…
We develop practical techniques to compute with arithmetic groups $H\leq \mathrm{SL}(n,\mathbb{Q})$ for $n>2$. Our approach relies on constructing a principal congruence subgroup in $H$. Problems solved include testing membership in $H$, analyzing the subnormal structure of $H$, and the orbit-stabilizer problem for $H$. Effective computation with subgroups of $\mathrm{GL}(n,\mathbb{Z}_m)$ is vital to this work. All algorithms have been implemented in GAP.
Let F be a local field of positive characteristic, and let G be either a Heisenberg group over F, or a certain (nonabelian) two-dimensional unipotent group over F. If H is an arithmetic subgroup of G, we provide an explicit description of every automorphism of H. From this description, it follows that every automorphism of H virtually extends to a virtual automorphism of G.
We give estimates on the number $AL_H(x)$ of arithmetic lattices $Γ$ of covolume at most $x$ in a simple Lie group $H$. In particular, we obtain a first concrete estimate on the number of arithmetic 3-manifolds of volume at most $x$. Our main result is for the classical case $H=PSL(2,R)$ where we compute the limit of $\log AL_H(x) / x\log x$ when $x\to\infty$. The proofs use several different techniques: geometric (bounding the number of generators of $Γ$ as a function of its covolume), number theoretic (bounding the number of maximal such $Γ$) and sharp estimates on the character values of th…
In this paper we compute the subgroup zeta functions of nilpotent semi-direct products of groups of the form $$G_n=<x_1,...,x_n,y_1,...,y_{n-1}|[x_i,x_n]=y_i, 1\leq i\leq n-1, \text{all other $[,]$ trivial}>$$ and deduce local functional equations.
The sets of closed and closed-normal subgroups of a profinite group carry a natural profinite topology. Through a combination of algebraic and topological methods the size of these subgroup spaces is calculated, and the spaces partially classified up to homeomorphism.
It is known that the lengths of closed geodesics of an arithmetic hyperbolic orbifold are related to Salem numbers. We initiate a quantitative study of this phenomenon. We show that any non-compact arithmetic $3$-dimensional orbifold defines $c Q^{1/2} + O(Q^{1/4})$ square-rootable Salem numbers of degree $4$ which are less than or equal to $Q$. This quantity can be compared to the total number of such Salem numbers, which is shown to be asymptotic to $\frac{4}{3}Q^{3/2}+O(Q)$. Assuming the gap conjecture of Marklof, we can extend these results to compact arithmetic $3$-orbifolds. As an applic…
Let G be a unipotent algebraic subgroup of some GL_m(C) defined over Q. We describe an algorithm for finding a finite set of generators of the subgroup G(Z) = G \cap GL_m(Z). This is based on a new proof of the result (in more general form due to Borel and Harish-Chandra) that such a finite generating set exists.
A square complex is a 2-complex formed by gluing squares together. This article is concerned with the fundamental group $Γ$ of certain square complexes of nonpositive curvature, related to quaternion algebras. The abelian subgroup structure of $Γ$ is studied in some detail.
Let f be a nondegenerate quadratic form in at least 5 variables over a number field K and let S be a finite set of valuations of K containing all Archimedean ones. We prove that if the Witt index of f is at least 2 or it is 1 and S contains a non-Archimedean valuation, then the S-arithmetic subgroups of the special orthogonal group of f have bounded generation. These groups provide a series of examples of boundedly generated S-arithmetic groups in isotropic, but not quasi-split, algebraic groups.
We give another proof of an observation of Thévenaz \cite{T1989} and present a fusion system version of it. Namely, for a saturated fusion system $\CF$ on a finite $p$-group $S$, we show that the number of the $\CF$-conjugacy classes of cyclic subgroups of $S$ is equal to the rank of certain square matrices of numbers of orbits, coming from characteristic bisets, the characteristic idempotent and finite groups realizing the fusion system $\CF$ as in our previous work \cite{P2010}.
Counting Salem numbers arising from arithmetic hyperbolic orbifolds
University of Minnesota(明尼苏达大学);Universidade Federal Fluminense(弗鲁米嫩塞联邦大学);Centro de Investigación en Matemáticas AC(数学研究中心AC);Universiteit Utrecht(乌得勒支大学)
While lattices in semi-simple Lie groups are studied very well, only little is known about discrete subgroups of infinite covolume. The main class of examples are Schottky groups. Here we investigate some new examples. We consider subgroups $Γ$ of arithmetic groups in $PSL(2,C)^q \times PSL(2,R)^r$ with $q+r>1$ and their limit set. We prove that the projective limit set of a nonelementary finitely generated $Γ$ consists of exactly one point if and only if one and hence all projections of $Γ$ to the simple factors of $PSL(2,C)^q \times PSL(2,R)^r$ are subgroups of arithmetic Fuchsian or Kleinia…
We use recurrence relations to derive explicit formulas for counting the number of subgroups of given order (or index) in rank 3 finite abelian p-groups and use these to derive similar formulas in few cases for rank 4. As a consequence, we answer some questions by M. T$\ddot{a}$rn$\ddot{a}$uceanu in \cite{MT} and L. T$\dot{\acute{o}}$th in \cite{LT}. We also use other methods such as the method of fundamental group lattices introduced in \cite{MT} to derive a similar counting function in a special case of arbitrary rank finite abelian p-groups.
In this paper we produce many examples of thin subgroups of special linear groups that are isomorphic to the fundamental groups of non-arithmetic hyperbolic manifolds. Specifically, we show that the non-arithmetic lattices in $\mathrm{SO}(n,1)$ constructed by Gromov and Piatetski-Shapiro can be embedded into $\mathrm{SL}_{n+1}(\mathbb{R})$ so that their images are thin subgroups
In this paper we will give various examples of exponentially distorted subgroups in linear groups, including some new example of subgroups of $SL_n(\mathbb{Z}[x])$ for $n \ge 3$, and show how they can be used to construct symmetric-key cryptographic platforms.
We present a method to obtain congruences modulo powers of 2 for sequences given by recurrences of finite depth with polynomial coefficients. We apply this method to Catalan numbers, Fuß-Catalan numbers, and to subgroup counting functions associated with Hecke groups and their lifts. This leads to numerous new results, including many extensions of known results to higher powers of 2.
Let $q$ be a power of a prime $p$. Let $P$ be a parabolic subgroup of the general linear group $\GL_n(q)$ that is the stabilizer of a flag in $\FF_q^n$ of length at most 5, and let $U = O_p(P)$. In this note we prove that, as a function of $q$, the number $k(U)$ of conjugacy classes of $U$ is a polynomial in $q$ with integer coefficients.
We prove structure theorems for the moduli stack of elliptic curves equipped with $G$-structures, where $G$ is a finite 2-generated metabelian group. In particular, we show that if $G$ has exponent $e$, then there is a subgroup $H\le GL_2(\mathbb{Z}/e)$ such that $G$-structures on elliptic curves $E$ are equivalent to "congruence structures of level $H$". Our methods are almost entirely group theoretic. Let $\widehat{M}$ denote the free profinite metabelian group of rank 2, then along the way we prove a decomposition of $Out(\widehat{M})$ as an internal semi-direct product of the subgroup of "…
This book provides a gentle introduction to the study of arithmetic subgroups of semisimple Lie groups. This means that the goal is to understand the group SL(n,Z) and certain of its subgroups. Among the major results discussed in the later chapters are the Mostow Rigidity Theorem, the Margulis Superrigidity Theorem, Ratner's Theorems, and the classification of arithmetic subgroups of classical groups. As background for the proofs of these theorems, the book provides primers on lattice subgroups, arithmetic groups, real rank and Q-rank, ergodic theory, unitary representations, amenability, Kaz…
The Hawkes graph $Γ_H(G)$ of $G$ is the directed graph whose vertex set coincides with $π(G)$ and it has the edge $(p, q)$ whenever $q\inπ(G/O_{p',p}(G))$. The Sylow graph $Γ_s(G)$ of $G$ is the directed graph with vertex set $π(G)$ and $(p, q)$ is an edge of $Γ_s(G)$ whenever $q \inπ(N_G(P)/PC_G(P))$ for some Sylow $p$-subgroup $P$ of $G$. The $N$-critical graph $Γ_{Nc}(G)$ of a group $G$ the directed graph whose vertex set coincides with $π(G)$ such that $(p, q)$ is an edge of $Γ_{Nc}(G)$ whenever $G$ contains a Schmidt $(p, q)$-subgroup, i.e. a Schmidt $\{p, q\}$-subgroup with a normal Sylo…
Let A = Z[c], where c is an irrational number whose square is rational, or let A = Z[1/r], where r > 1 is a square-free natural number. We show that no finite-index subgroup of SL(2,A) is left orderable. (Equivalently, these subgroups have no nontrivial orientation-preserving actions on the real line.) This implies that if G is an isotropic F-simple algebraic group over an algebraic number field F, then no nonarchimedean S-arithmetic subgroup of G is left orderable. Our proofs are based on the fact, proved by B.Liehl, that every element of SL(2,A) is a product of a bounded number of elementary…
We show that the number of isometry classes of cusped hyperbolic $3$-manifolds that bound geometrically grows at least super-exponentially with their volume, both in the arithmetic and non-arithmetic settings.
We develop a practical algorithm to decide whether a finitely generated subgroup of a solvable algebraic group $G$ is arithmetic. This incorporates a procedure to compute a generating set of an arithmetic subgroup of $G$. We also provide a simple new algorithm for integrality testing of finitely generated solvable-by-finite linear groups over the rational field. The algorithms have been implemented in {\sc Magma}.
We address two questions of Simon Thomas. First, we show that for any n>2 one can find a four generated free subgroup of SLn(Z) which is profinitely dense. More generally, we show that an arithmetic group Γwhich admits the congruence subgroup property, has a profinitely dense free subgroup with an explicit bound of its rank. Next, we show that the set of profinitely dense, locally free subgroups of such an arithmetic group Γis uncountable.
For $0<α\le 1$, we say that a sequence $(X_k)_{k>0}$ of $d$-regular graphs has property $D_α$ if there exists a constant $C>0$ such that $\mathrm{diam}(X_k)\ge C\cdot|X_k|^α$. We investigate property $D_α$ for arithmetic box spaces of the solvable Baumslag-Solitar groups $BS(1,m)$ (with $m\geq 2$): those are box spaces obtained by embedding $BS(1,m)$ into the upper triangular matrices in $GL_2(\mathbb{Z}[1/m])$ and intersecting with a family $M_{N_k}$ of congruence subgroups of $GL_2(\mathbb{Z}[1/m])$, where the levels $N_k$ are coprime with $m$ and $N_k|N_{k+1}$. We prove: - if an arithmetic …
Given a Chevalley group $\mathcal{G}$ of classical type and a Borel subgroup $\mathcal{B} \subseteq \mathcal{G}$, we compute the $Σ$-invariants of the $S$-arithmetic groups $\mathcal{B}(\mathbb{Z}[1/N])$, where $N$ is a product of large enough primes. To this end, we let $\mathcal{B}(\mathbb{Z}[1/N])$ act on a Euclidean building $X$ that is given by the product of Bruhat--Tits buildings $X_p$ associated to $\mathcal{G}$, where $p$ runs over the primes dividing $N$. In the course of the proof we introduce necessary and sufficient conditions for convex functions on $\mbox{CAT(0)}$-spaces to be c…
Counting surface subgroups in cusped hyperbolic 3-manifolds
Fudan University(复旦大学);Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)(上海数学与交叉学科研究院);Rutgers University–New Brunswick(罗格斯大学-新布伦瑞克校区);University of Wisconsin–Madison(威斯康星大学麦迪逊分校)