This thesis studies arithmetic of linear algebraic groups. It involves studying the properties of linear algebraic groups defined over global fields, local fields and finite fields, or more generally the study of the linear algebraic groups defined over the fields which admit arbitrary cyclic extensions.
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 prove that congruences of the cogrowth sequence in a unitriangular group UT$(m, \Bbb Z)$ are undecidable. This is in contrast with abelian groups, where the congruences of the cogrowth sequence are decidable. As an application, we conclude that there is no algorithm to present the cogrowth series as the diagonal of a rational function.
Fixing an arithmetic lattice $Γ$ in an algebraic group $G$, the commensurability growth function assigns to each $n$ the cardinality of the set of subgroups $Δ$ with $[Γ: Γ\cap Δ] [Δ: Γ\cap Δ] = n$. This growth function gives a new setting where methods of F. Grunewald, D. Segal, and G. C. Smith's "Subgroups of finite index in nilpotent groups" apply to study arithmetic lattices in an algebraic group. In particular, we show that for any unipotent algebraic $\mathbb{Z}$-group with arithmetic lattice $Γ$, the Dirichlet function associated to the commensurability growth function satisfies an Eule…
In the 1990s, J.H. Conway published a combinatorial-geometric method for analyzing integer-valued binary quadratic forms (BQFs). Using a visualization he named the "topograph," Conway revisited the reduction of BQFs and the solution of quadratic Diophantine equations such as Pell's equation. It appears that the crux of his method is the coincidence between the arithmetic group $PGL_2({\mathbb Z})$ and the Coxeter group of type $(3,\infty)$. There are many arithmetic Coxeter groups, and each may have unforeseen applications to arithmetic. We introduce Conway's topograph, and generalizations to …
We show that the abstract commensurator of an S-arithmetic subgroup of a solvable algebraic group over Q is isomorphic to the Q-points of an algebraic group, and compare this with examples of nonlinear abstract commensurators of S-arithmetic groups in positive characteristic. In particular, we include a description of the abstract commensurator of the lamplighter group.
Given an S-arithmetic group, we ask how much information on the ambient algebraic group, number field of definition, and set of places S is encoded in the commensurability class of the profinite completion. As a first step, we show that the profinite commensurability class of a higher rank S-arithmetic group determines the number field up to arithmetical equivalence and the places in S above unramified primes. We include applications to profiniteness questions of group invariants.
Let k be a global field and let k_v be the completion of k with respect to v, a non-archimedean place of k. Let \mathbf{G} be a connected, simply-connected algebraic group over k, which is absolutely almost simple of k_v-rank 1. Let G=\mathbf{G}(k_v). Let Γbe an arithmetic lattice in G and let C=C(Γ) be its congruence kernel. Lubotzky has shown that C is infinite, confirming an earlier conjecture of Serre. Here we provide complete solution of the congruence subgroup problem for \Gamm$ by determining the structure of C. It is shown that C is a free profinite product, one of whose factors is \ha…
We study when the group $\mathbb Z^n\rtimes_A\mathbb Z$ is arithmetic where $A\in GL_n(\mathbb Z)$ is hyperbolic and semisimple. We begin by giving a characterization of arithmeticity phrased in the language of algebraic tori, building on work of Grunewald-Platonov. We use this to prove several more concrete results that relate the arithmeticity of $\mathbb Z^n\rtimes_A\mathbb Z$ to the reducibility properties of the characteristic polynomial of $A$. Our tools include algebraic tori, representation theory of finite groups, Galois theory, and the inverse Galois problem.
A question of Griffiths-Schmid asks when the monodromy group of an algebraic family of complex varieties is arithmetic. We resolve this in the affirmative for the class of algebraic surfaces known as Atiyah-Kodaira manifolds, which have base and fibers equal to complete algebraic curves. Our methods are topological in nature and involve an analysis of the "geometric" monodromy, valued in the mapping class group of the fiber.
We prove that every algebraic curve X defined over the algebraic closure of the rationals is birational over the complex numbers to a Teichmuller curve.
We define a notion of an arithmetic set in an arbitrary countable group and study properties of these sets in the cases of Abelian groups and non-abelian free groups.
We sketch a simplification of proofs of old results on the arithmeticity of the group generated by opposing integral unipotent radicals in higher rank arithmetic groups
It was conjectured in [KLS14] that for arithmetic groups, Invariable Generation is equivalent to the Congruence Subgroup Property. In view of the famous Serre conjecture this would imply that higher rank arithmetic groups are invariably generated. In this paper we prove that some higher rank arithmetic groups are not invariably generated.
In this paper we introduced an arithmetic graph function which associates with every group G the directed graph whose vertices corresponds to the divisors of |G|. With the help of such functions we introduced arithmetic graphs of classes of groups, in particular of hereditary saturated formations. We formulated the problem of the recognition of classes of groups by arithmetic graph functions and investigated this problem for some arithmetic graph functions.
We prove that an irreducible lattice in a semisimple algebraic group is virtually isomorphic to an arithmetic lattice if and only if it admits a faithful self-similar action on a rooted tree of finite valency.
We show that the outer automorphism group of a polycyclic-by-finite group is an arithmetic group. This result follows from a detailed structural analysis of the automorphism groups of such groups. We use an extended version of the theory of the algebraic hull functor initiated by Mostow. We thus make applicable refined methods from the theory of algebraic and arithmetic groups. We also construct examples of polycyclic-by-finite groups which have an automorphism group which does not contain an arithmetic group of finite index. Finally we discuss applications of our results to the groups of homo…
In [12], we show that 3 of the 14 hypergeometric monodromy groups associated to Calabi-Yau threefolds, are arithmetic. Brav-Thomas (in [3]) show that 7 of the remaining 11, are thin. In this article, we settle the arithmeticity problem for the 14 monodromy groups, by showing that, the remaining 4 are arithmetic.
In this note we refine examples by Aka from arithmetic to S-arithmetic groups to show that the vanishing of the $i$-th $\ell^2$-Betti number is not a profinite invariant for all $i \ge 2$.
Let G be an arithmetic lattice in a semisimple algebraic group over a number field. We show that if G has the congruence subgroup property, then the number of n-dimensional irreducible representations of G grows like n^a, where a is a rational number.
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…
The normal Farb growth of a group quantifies how well-approximated the group is by its finite quotients. We show that any S-arithmetic subgroup of a higher rank Chevalley group G has normal Farb growth n^dim(G).
We give a new proof of the finiteness of maximal arithmetic reflection groups. Our proof is novel in that it makes no use of trace formulas or other tools from the theory of automorphic forms and instead relies on the arithmetic Margulis lemma of Fraczyk, Hurtado and Raimbault.
In this paper, we describe the structure of finite groups whose element orders or proper (abelian) subgroup orders form an arithmetic progression of ratio $r\geq 2$. This extends the case $r=1$ studied in previous papers \cite{1,8,4}.
We prove vanishing results for Lie groups and algebraic groups (over any local field) in bounded cohomology. The main result is a vanishing below twice the rank for semi-simple groups. Related rigidity results are established for S-arithmetic groups and groups over global fields. We also establish vanishing and cohomological rigidity results for products of general locally compact groups and their lattices.
Let G be a noncocompact irreducible arithmetic group over a global function field K of characteristic p, and let H be a finite-index, residually p-finite subgroup of G. We show that the cohomology of H in the dimension of its associated Euclidean building with coefficients in the field of p elements is infinite.
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 will show that, for any noncompact arithmetic hyperbolic $m$-manifold with $m> 3$, and any compact arithmetic hyperbolic $m$-manifold with $m> 4$ that is not a $7$-dimensional arithmetic hyperbolic manifold defined by octonions, its fundamental group is not LERF. The main ingredient in the proof is a study on abelian amalgamations of hyperbolic $3$-manifold groups. We will also show that a compact orientable irreducible $3$-manifold with empty or tori boundary supports a geometric structure if and only if its fundamental group is LERF.
We determine when an arithmetic subgroup of a reductive group defined over a global function field is of type FP_\infty by comparing its large-scale geometry to the large-scale geometry of lattices in real semisimple Lie groups.