Namespaces
Variants
Actions

Difference between revisions of "Discrete subgroup"

From Encyclopedia of Mathematics
Jump to: navigation, search
(trying a bit of TeX conversion)
(Texed)
 
Line 1: Line 1:
{{TEX|want}}
+
{{TEX|done}}
  
A subgroup $\Gamma$ of a topological group $G$ (in particular, a subgroup of a Lie group) which is a discrete subset of the topological space $G$. In locally compact topological groups (in particular, in Lie groups) one distinguishes lattices &mdash; i.e. discrete subgroups for which the quotient space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d0331504.png" /> has finite volume in the sense of the measure induced by the left-invariant [[Haar measure|Haar measure]] on the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d0331505.png" />. The concept of lattices includes that of uniform discrete subgroups, for which the quotient space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d0331506.png" /> is compact.
+
$\DeclareMathOperator{\PSL}{PSL}$
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d0331507.png" /> is a compact subgroup of a locally compact topological group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d0331508.png" />, a subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d0331509.png" /> is discrete if and only if it is a [[Discrete group of transformations|discrete group of transformations]] of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315010.png" /> (in the sense of the action induced by the natural action of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315011.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315012.png" />). Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315013.png" /> is a lattice (a uniform discrete subgroup) if and only if the quotient space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315014.png" /> has finite volume (is compact) in the sense of the measure induced by the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315015.png" />-invariant measure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315016.png" />. This makes it possible to utilize geometric methods when studying discrete subgroups of Lie groups.
+
A subgroup $\Gamma$ of a topological group $G$ (in particular, a subgroup of a Lie group) which is a discrete subset of the topological space $G$. In locally compact topological groups (in particular, in Lie groups) one distinguishes lattices &mdash; i.e. discrete subgroups for which the quotient space $\Gamma\setminus G$ has finite volume in the sense of the measure induced by the left-invariant
 +
[[Haar measure|Haar measure]] on the group $G$. The concept of lattices includes that of uniform discrete subgroups, for which the quotient space $\Gamma\setminus G$ is compact.
  
One of the principal problems in the theory of discrete subgroups of Lie groups is the classification of such subgroups up to commensurability. Two subgroups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315017.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315018.png" /> are said to be commensurable if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315019.png" /> has finite index both in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315020.png" /> and in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315021.png" />. If one of two commensurable subgroups of a locally compact topological group is a discrete subgroup (or a lattice, or a uniform discrete subgroup), so is the other.
+
If $K$ is a compact subgroup of a locally compact topological group $G$, a subgroup $\Gamma \subset G$ is discrete if and only if it is a
 +
[[Discrete group of transformations|discrete group of transformations]] of the space $X=G/K$ (in the sense of the action induced by the natural action of the group $G$ on $X$). Here, $\Gamma$ is a lattice (a uniform discrete subgroup) if and only if the quotient space $\Gamma \setminus X$ has finite volume (is compact) in the sense of the measure induced by the $G$-invariant measure on $X$. This makes it possible to utilize geometric methods when studying discrete subgroups of Lie groups.
  
Up to the middle of the 20th century one basically studied individual classes of discrete subgroups of Lie groups occurring in arithmetic, function theory and physics. Historically, the first non-trivial discrete subgroup — the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315022.png" /> of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315023.png" />, subsequently named the Kleinian [[Modular group|modular group]] — was in fact studied by J.L. Lagrange and C.F. Gauss in the context of the arithmetic of quadratic forms in two variables. The subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315024.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315025.png" /> is its natural generalization. The study of this group as a discrete group of transformations of the space of positive-definite quadratic forms in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315026.png" /> variables formed the subject of reduction theory, developed by A.N. Korkin, E.I. Zolotarev, Ch. Hermite, H. Minkowski, and others in the second half of the nineteenth and in the beginning of the 20th century. A series of arithmetically definable discrete subgroups of classical Lie groups — groups of units of quadratic forms with rational coefficients, groups of units of simple algebras over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315027.png" />, groups of integral symplectic matrices — were studied by C.L. Siegel in the 1940s. He proved, in particular, that all these groups are lattices in the respective Lie groups.
+
One of the principal problems in the theory of discrete subgroups of Lie groups is the classification of such subgroups up to commensurability. Two subgroups $\Gamma_1$ and $\Gamma_2$ are said to be commensurable if $\Gamma_1 \cap \Gamma_2$ has finite index both in $\Gamma_1$ and in $\Gamma_2$. If one of two commensurable subgroups of a locally compact topological group is a discrete subgroup (or a lattice, or a uniform discrete subgroup), so is the other.
  
In the theory of functions of a complex variable the integration of algebraic functions and, more generally, the solution of differential equations with algebraic coefficients, resulted in the study of certain special functions (subsequently named automorphic functions, cf. [[Automorphic function|Automorphic function]]) which are invariant with respect to various discrete groups consisting of transformations of the form
+
Up to the middle of the 20th century one basically studied individual classes of discrete subgroups of Lie groups occurring in arithmetic, function theory and physics. Historically, the first non-trivial discrete subgroup — the subgroup $\SL_2(\mathbf{Z})$ of the group $\SL_2(\mathbf{R})$, subsequently named the Kleinian
 +
[[Modular group|modular group]] — was in fact studied by J.L. Lagrange and C.F. Gauss in the context of the arithmetic of quadratic forms in two variables. The subgroup $\SL_n(\mathbf{Z})$ of $\SL_n(\mathbf{R})$ is its natural generalization. The study of this group as a discrete group of transformations of the space of positive-definite quadratic forms in $n$ variables formed the subject of reduction theory, developed by A.N. Korkin, E.I. Zolotarev, Ch. Hermite, H. Minkowski, and others in the second half of the nineteenth and in the beginning of the 20th century. A series of arithmetically definable discrete subgroups of classical Lie groups — groups of units of quadratic forms with rational coefficients, groups of units of simple algebras over $\mathbf{Q}$, groups of integral symplectic matrices — were studied by C.L. Siegel in the 1940s. He proved, in particular, that all these groups are lattices in the respective Lie groups.
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315028.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table>
+
In the theory of functions of a complex variable the integration of algebraic functions and, more generally, the solution of differential equations with algebraic coefficients, resulted in the study of certain special functions (subsequently named automorphic functions, cf.
 +
[[Automorphic function|Automorphic function]]) which are invariant with respect to various discrete groups consisting of transformations of the form
  
Certain discrete subgroups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315029.png" /> were studied in the mid-19th century by Hermite, R. Dedekind and I.L. Fuchs. They also included the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315030.png" /> (though represented differently from the presentation used by Lagrange and Gauss). A wide class of such groups, including the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315031.png" /> and certain subgroups of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315032.png" /> commensurable with it, were studied by F. Klein. Almost simultaneously (1881–1882) H. Poincaré gave a geometric description of all discrete groups consisting of transformations of the form (1). He named these groups Fuchsian groups (cf. [[Fuchsian group|Fuchsian group]]).
+
$$z \mapsto \frac{az+b}{cz+d}, \qquad z \in \mathbf{C}, \qquad \begin{bmatrix} a & b \\ c & d \end{bmatrix} \in \SL_2(\mathbf{R}).$$
 +
Certain discrete subgroups of $\SL_2(\mathbf{R})$ were studied in the mid-19th century by Hermite, R. Dedekind and I.L. Fuchs. They also included the group $\SL_2(\mathbf{Z})$ (though represented differently from the presentation used by Lagrange and Gauss). A wide class of such groups, including the group $\SL_2(\mathbf{Z})$ and certain subgroups of $\SL_2(\mathbf{R})$ commensurable with it, were studied by F. Klein. Almost simultaneously (1881–1882) H. Poincaré gave a geometric description of all discrete groups consisting of transformations of the form (1). He named these groups Fuchsian groups (cf.
 +
[[Fuchsian group|Fuchsian group]]).
  
In the first half of the 20th century studies were made of individual classes of automorphic functions in several variables. These functions were connected with certain arithmetically definable discrete subgroups of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315033.png" /> (Hilbert's modular functions), <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315034.png" /> (Siegel's modular functions) and other semi-simple Lie groups.
+
In the first half of the 20th century studies were made of individual classes of automorphic functions in several variables. These functions were connected with certain arithmetically definable discrete subgroups of the group $\left(\SL_2(\mathbf{R})\right)^k$ (Hilbert's modular functions), $\Sp_{2n}(\mathbf{R})$ (Siegel's modular functions) and other semi-simple Lie groups.
  
Since the late 19th century, crystallographic studies have centred on the symmetry groups of crystallographic lattices, which are identical with uniform discrete subgroups of the group of motions of three-dimensional Euclidean space. These, together with the related groups of motions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315035.png" />-dimensional Euclidean space (the so-called crystallographic groups, cf. [[Crystallographic group|Crystallographic group]]) were studied in 1911 by L. Bieberbach from the algebraic point of view. He demonstrated, in particular, the theorem according to which any crystallographic group contains a uniform discrete subgroup of parallel translations.
+
Since the late 19th century, crystallographic studies have centred on the symmetry groups of crystallographic lattices, which are identical with uniform discrete subgroups of the group of motions of three-dimensional Euclidean space. These, together with the related groups of motions of $n$-dimensional Euclidean space (the so-called crystallographic groups, cf.
 +
[[Crystallographic group|Crystallographic group]]) were studied in 1911 by L. Bieberbach from the algebraic point of view. He demonstrated, in particular, the theorem according to which any crystallographic group contains a uniform discrete subgroup of parallel translations.
  
 
All these studies provided the initial material for the general theory of discrete subgroups of Lie groups, the foundations of which were laid in the 1950s and 1960s.
 
All these studies provided the initial material for the general theory of discrete subgroups of Lie groups, the foundations of which were laid in the 1950s and 1960s.
  
An exhaustive theory of discrete subgroups of nilpotent Lie groups has been constructed [[#References|[9]]]. Its main statements are listed below: 1) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315036.png" /> is a unipotent algebraic group defined over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315037.png" />, then the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315038.png" /> of its integer points is a uniform discrete subgroup in the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315039.png" /> of its real points. (Here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315040.png" /> is a simply-connected nilpotent Lie group.) 2) Any uniform discrete subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315041.png" /> of a simply-connected nilpotent Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315042.png" /> is arithmetic in the sense that there exist a unipotent algebraic group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315043.png" /> defined over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315044.png" /> and an isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315045.png" /> such that the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315046.png" /> is commensurable with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315047.png" />. 3) If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315048.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315049.png" /> are uniform discrete subgroups of simply-connected nilpotent Lie groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315050.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315051.png" /> respectively, then any isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315052.png" /> can be uniquely extended to an isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315053.png" />. 4) An abstract group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315054.png" /> is imbeddable as a uniform discrete subgroup in a simply-connected nilpotent Lie group if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315055.png" /> is a finitely-generated torsion-free nilpotent group.
+
An exhaustive theory of discrete subgroups of nilpotent Lie groups has been constructed
 +
[[#References|[9]]]. Its main statements are listed below:  
 +
# If $H$ is a unipotent algebraic group defined over $\mathbf{Q}$, then the group $H_\mathbf{Z}$ of its integer points is a uniform discrete subgroup in the group $H_\mathbf{R}$ of its real points. (Here $H_\mathbf{R}$ is a simply-connected nilpotent Lie group.)  
 +
# Any uniform discrete subgroup $\Gamma$ of a simply-connected nilpotent Lie group $G$ is arithmetic in the sense that there exist a unipotent algebraic group $H$ defined over $\mathbf{Q}$ and an isomorphism $\phi: H_\mathbf{R} \to G$ such that the subgroup $\Gamma$ is commensurable with $\phi(H_\mathbf{Z})$.  
 +
# If $\Gamma_1$, $\Gamma_2$ are uniform discrete subgroups of simply-connected nilpotent Lie groups $G_1$ and $G_2$ respectively, then any isomorphism $\Gamma_1 \to \Gamma_2$ can be uniquely extended to an isomorphism $G_1 \to G_2$.  
 +
# An abstract group $\Gamma$ is imbeddable as a uniform discrete subgroup in a simply-connected nilpotent Lie group if and only if $\Gamma$ is a finitely-generated torsion-free nilpotent group.
  
Discrete subgroups of solvable Lie groups have been fairly thoroughly studied, but the results are less complete than those obtained for nilpotent groups. Any lattice in a solvable Lie group is a uniform discrete subgroup. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315056.png" /> is a lattice in a simply-connected solvable Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315057.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315058.png" /> has a faithful matrix representation in which the elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315059.png" /> are represented by integer matrices [[#References|[13]]]. This statement may be regarded as a generalization of Mal'tsev's theorem 2) above. The following theorem is the analogue of theorem 4). Any lattice in a simply-connected solvable Lie group is a strictly [[Polycyclic group|polycyclic group]]; conversely, any strictly polycyclic group has a subgroup of finite index which is isomorphic to a lattice in a simply-connected solvable Lie group.
+
Discrete subgroups of solvable Lie groups have been fairly thoroughly studied, but the results are less complete than those obtained for nilpotent groups. Any lattice in a solvable Lie group is a uniform discrete subgroup. If $\Gamma$ is a lattice in a simply-connected solvable Lie group $G$, then $G$ has a faithful matrix representation in which the elements of $\Gamma$ are represented by integer matrices
 +
[[#References|[13]]]. This statement may be regarded as a generalization of Mal'tsev's theorem 2) above. The following theorem is the analogue of theorem 4). Any lattice in a simply-connected solvable Lie group is a strictly
 +
[[Polycyclic group|polycyclic group]]; conversely, any strictly polycyclic group has a subgroup of finite index which is isomorphic to a lattice in a simply-connected solvable Lie group.
  
The most precise results in the theory of discrete subgroups of Lie groups concern discrete subgroups of non-solvable and, in particular, semi-simple Lie groups. In [[#References|[4]]] the following theorem was demonstrated, which includes, as special cases, Mal'tsev's theorem 1), the [[Dirichlet theorem|Dirichlet theorem]] on the units of an algebraic number field and Siegel's results (see above) on certain arithmetic discrete subgroups of semi-simple Lie groups. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315060.png" /> be a linear algebraic group defined over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315061.png" />. For the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315062.png" /> to be a lattice in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315063.png" /> it is necessary and sufficient for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315064.png" /> not to permit rational homomorphisms into the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315065.png" />, defined over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315066.png" /> (this condition is satisfied, for example, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315067.png" /> is semi-simple or unipotent). For the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315068.png" /> to be a uniform discrete subgroup in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315069.png" /> it is necessary and sufficient, in addition, that all unipotent elements of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315070.png" /> lie in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315071.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315072.png" /> is the unipotent radical of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315073.png" />.
+
The most precise results in the theory of discrete subgroups of Lie groups concern discrete subgroups of non-solvable and, in particular, semi-simple Lie groups. In
 +
[[#References|[4]]] the following theorem was demonstrated, which includes, as special cases, Mal'tsev's theorem 1), the
 +
[[Dirichlet theorem|Dirichlet theorem]] on the units of an algebraic number field and Siegel's results (see above) on certain arithmetic discrete subgroups of semi-simple Lie groups. Let $H$ be a linear algebraic group defined over $\mathbf{Q}$. For the subgroup $H_\mathbf{Z}$ to be a lattice in $H_\mathbf{R}$ it is necessary and sufficient for $H$ not to permit rational homomorphisms into the group $\mathbf{C}^*$, defined over $\mathbf{Q}$ (this condition is satisfied, for example, if $H$ is semi-simple or unipotent). For the subgroup $H_\mathbf{Z}$ to be a uniform discrete subgroup in $H_\mathbf{R}$ it is necessary and sufficient, in addition, that all unipotent elements of the group $H_\mathbf{Q}$ lie in $U_\mathbf{Q}$, where $U$ is the unipotent radical of $H$.
  
The arithmeticity theorem [[#References|[11]]] which follows is the analogue of theorem 2) for discrete subgroups of semi-simple Lie groups. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315074.png" /> be a lattice in a connected semi-simple Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315075.png" /> without compact factors, and let (for the sake of convenience in formulation) the centre of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315076.png" /> be trivial. Moreover, let the lattice <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315077.png" /> be irreducible in the sense that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315078.png" /> cannot be non-trivially decomposed into a direct product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315079.png" /> so that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315080.png" /> is commensurable with a subgroup of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315081.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315082.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315083.png" />. Then, if the real rank of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315084.png" /> exceeds one, the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315085.png" /> is arithmetic in the sense that there exist a semi-simple algebraic group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315086.png" />, defined over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315087.png" />, and a homomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315088.png" /> (where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315089.png" /> is the connected component of the unit of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315090.png" />) such that the kernel of the homomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315091.png" /> is compact and the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315092.png" /> is commensurable with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315093.png" />. The assumption that the real rank of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315094.png" /> exceeds one is essential. It is known that the theorem is invalid for the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315095.png" /> (the group of motions of the Lobachevskii plane), which on the whole plays an important role in the theory of discrete subgroups of Lie groups, and also for the groups of motions of the three-, four- and five-dimensional Lobachevskii spaces [[#References|[6]]], [[#References|[8]]].
+
The arithmeticity theorem
 +
[[#References|[11]]] which follows is the analogue of theorem 2) for discrete subgroups of semi-simple Lie groups. Let $\Gamma$ be a lattice in a connected semi-simple Lie group $G$ without compact factors, and let (for the sake of convenience in formulation) the centre of $G$ be trivial. Moreover, let the lattice $\Gamma$ be irreducible in the sense that $G$ cannot be non-trivially decomposed into a direct product $G_1 \times G_2$ so that $\Gamma$ is commensurable with a subgroup of the form $\Gamma_1 \times \Gamma_2$ where $\Gamma_1 \subset G_1$ and $\Gamma_2 \subset G_2$. Then, if the real rank of $G$ exceeds one, the group $\Gamma$ is arithmetic in the sense that there exist a semi-simple algebraic group $H$, defined over $\mathbf{Q}$, and a homomorphism $\phi: H_\mathbf{R}^0 \to G$ (where $H_\mathbf{R}^0$ is the connected component of the unit of the group $H_\mathbf{R}$) such that the kernel of the homomorphism $\phi$ is compact and the subgroup $\Gamma$ is commensurable with $\phi(H_\mathbf{Z})$. The assumption that the real rank of $G$ exceeds one is essential. It is known that the theorem is invalid for the group $\PSL_2(\mathbf{R})$ (the group of motions of the Lobachevskii plane), which on the whole plays an important role in the theory of discrete subgroups of Lie groups, and also for the groups of motions of the three-, four- and five-dimensional Lobachevskii spaces
 +
[[#References|[6]]],
 +
[[#References|[8]]].
  
The strong rigidity theorem which follows is the analogue of theorem 3) for discrete subgroups of semi-simple Lie groups. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315096.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315097.png" /> be irreducible lattices in connected semi-simple Lie groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315098.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d03315099.png" /> without compact factors, and let the centres of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150100.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150101.png" /> be trivial. Then, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150102.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150103.png" /> are not isomorphic to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150104.png" />, any isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150105.png" /> can be uniquely extended to an isomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150106.png" /> [[#References|[10]]], [[#References|[14]]]. Historically, the proof of this theorem was preceded by the proof of the weak rigidity theorem
+
The strong rigidity theorem which follows is the analogue of theorem 3) for discrete subgroups of semi-simple Lie groups. Let $\Gamma_1$, $\Gamma_2$ be irreducible lattices in connected semi-simple Lie groups $G_1$, $G_2$ without compact factors, and let the centres of $G_1$, $G_2$ be trivial. Then, if $G_1$ and $G_2$ are not isomorphic to $\PSL_2(\mathbf{R})$, any isomorphism $\Gamma_1 \to \Gamma_2$ can be uniquely extended to an isomorphism $G_1 \to G_2$
 +
[[#References|[10]]],
 +
[[#References|[14]]]. Historically, the proof of this theorem was preceded by the proof of the weak rigidity theorem
  
on the extension of isomorphisms which are sufficiently close to the identity (if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150107.png" />). One consequence of the weak rigidity theorem is the existence of a basis in which the elements of a discrete subgroup are written in the form of algebraic numbers. This fact played an important role in the development of the theory of discrete subgroups of semi-simple Lie groups.
+
on the extension of isomorphisms which are sufficiently close to the identity (if $G_1 = G_2$). One consequence of the weak rigidity theorem is the existence of a basis in which the elements of a discrete subgroup are written in the form of algebraic numbers. This fact played an important role in the development of the theory of discrete subgroups of semi-simple Lie groups.
  
Regarding discrete subgroups of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150108.png" /> see [[Fuchsian group|Fuchsian group]].
+
Regarding discrete subgroups of the group $\PSL_2(\mathbf{R})$ see
 +
[[Fuchsian group|Fuchsian group]].
  
Of the other general theorems about discrete subgroups of semi-simple Lie groups one may mention Borel's density theorem and Wang's maximality theorem. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150109.png" /> be a lattice in a connected semi-simple Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150110.png" /> which has no compact factors. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150111.png" /> is dense in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150112.png" /> in the Zariski topology [[#References|[3]]], and is contained in only a finite number of lattices in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150113.png" /> [[#References|[17]]].
+
Of the other general theorems about discrete subgroups of semi-simple Lie groups one may mention Borel's density theorem and Wang's maximality theorem. Let $\Gamma$ be a lattice in a connected semi-simple Lie group $G$ which has no compact factors. Then $\Gamma$ is dense in $G$ in the Zariski topology
 +
[[#References|[3]]], and is contained in only a finite number of lattices in $G$
 +
[[#References|[17]]].
  
The description of lattices in arbitrary Lie groups can be reduced, to some extent, to the description of lattices in semi-simple Lie groups, in view of theorems analogous to the Bieberbach theorem on crystallographic groups mentioned above. One says that a normal subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150114.png" /> of a Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150115.png" /> has the Bieberbach property if for any lattice <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150116.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150117.png" /> the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150118.png" /> is closed (and, in such a case, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150119.png" /> is automatically a lattice in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150120.png" />, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150121.png" /> is a lattice in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150122.png" />). Bieberbach's theorem says that, in the group of motions of Euclidean space, the subgroup of parallel translations has the Bieberbach property. There exists a generalization of this theorem to Lie groups which are extensions of a simply-connected nilpotent Lie group by a compact group [[#References|[1]]]. Another theorem of such a type is the following. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150123.png" /> be a connected Lie group, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150124.png" /> be its radical, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150125.png" /> be a maximal connected semi-simple subgroup, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150126.png" /> be a maximal connected compact normal subgroup of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150127.png" />. Then the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150128.png" /> has the Bieberbach property in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150129.png" /> [[#References|[2]]]. It is also known that the Bieberbach property is displayed by the nilpotent radical of a connected solvable Lie group [[#References|[12]]] and by the commutator subgroup of a simply-connected nilpotent Lie group [[#References|[9]]].
+
The description of lattices in arbitrary Lie groups can be reduced, to some extent, to the description of lattices in semi-simple Lie groups, in view of theorems analogous to the Bieberbach theorem on crystallographic groups mentioned above. One says that a normal subgroup $N$ of a Lie group $G$ has the Bieberbach property if for any lattice $\Gamma$ in $G$ the subgroup $N\Gamma$ is closed (and, in such a case, $N \cap \Gamma$ is automatically a lattice in $N$, while $\Gamma / N\cap \Gamma$ is a lattice in $G/N$). Bieberbach's theorem says that, in the group of motions of Euclidean space, the subgroup of parallel translations has the Bieberbach property. There exists a generalization of this theorem to Lie groups which are extensions of a simply-connected nilpotent Lie group by a compact group
 +
[[#References|[1]]]. Another theorem of such a type is the following. Let $G$ be a connected Lie group, let $R$ be its radical, let $S$ be a maximal connected semi-simple subgroup, and let $C$ be a maximal connected compact normal subgroup of $S$. Then the subgroup $RC$ has the Bieberbach property in $G$
 +
[[#References|[2]]]. It is also known that the Bieberbach property is displayed by the nilpotent radical of a connected solvable Lie group
 +
[[#References|[12]]] and by the commutator subgroup of a simply-connected nilpotent Lie group
 +
[[#References|[9]]].
  
Topological methods (cf. [[Discrete group of transformations|Discrete group of transformations]]) can be used to prove that any uniform discrete subgroup of a connected Lie group is a finitely-presentable group . In fact, any lattice in a connected Lie group is finitely presentable [[#References|[17]]], [[#References|[18]]].
+
Topological methods (cf.
 +
[[Discrete group of transformations|Discrete group of transformations]]) can be used to prove that any uniform discrete subgroup of a connected Lie group is a finitely-presentable group . In fact, any lattice in a connected Lie group is finitely presentable
 +
[[#References|[17]]],
 +
[[#References|[18]]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> L. Auslander, "Bieberbach's theorem on space groups and discrete uniform subgroups of Lie groups" ''Amer. J. Math.'' , '''83''' (1961) pp. 276–280 {{MR|123637}} {{ZBL|}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> L. Auslander, "On radicals of discrete subgroups of Lie groups" ''Amer. J. Math.'' , '''85''' (1963) pp. 145–150 {{MR|0152607}} {{ZBL|0217.37002}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> A. Borel, "Density properties for certain subgroups of semi-simple groups without compact components" ''Ann. of Math.'' , '''72''' (1960) pp. 179–188 {{MR|0123639}} {{ZBL|0094.24901}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> A. Borel, Harish-Chandra, "Arithmetic subgroups of algebraic groups" ''Ann. of Math.'' , '''75''' (1962) pp. 485–535 {{MR|0147566}} {{ZBL|0107.14804}} </TD></TR><TR><TD valign="top">[5a]</TD> <TD valign="top"> A. Weil, "Discrete subgroups of Lie groups I" ''Ann. Math.'' , '''72''' (1960) pp. 369–384 {{MR|137792}} {{ZBL|0131.26602}} </TD></TR><TR><TD valign="top">[5b]</TD> <TD valign="top"> A. Weil, "Discrete subgroups of Lie groups II" ''Ann. Math.'' , '''75''' (1962) pp. 578–602 {{MR|0137793}} {{ZBL|0131.26602}} </TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> E.B. Vinberg, "Discrete groups generated by reflections in Lobachevskii spaces" ''Math. USSR-Sb.'' , '''1''' : 3 (1967) pp. 429–444 ''Mat. Sb.'' , '''72''' : 3 (1967) pp. 471–488 {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> H. Garland, M.S. Raghunathan, "Fundamental domains for lattices in (<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150130.png" />-) rank 1 semisimple Lie groups" ''Ann. of Math.'' , '''92''' (1970) pp. 279–326 {{MR|267041}} {{ZBL|}} </TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> V.S. Makarov, "A certain class of discrete Lobachevskii space groups with an infinite fundamental region of finite measure" ''Soviet Math.-Dokl.'' , '''7''' (1966) pp. 328–331 ''Dokl. Akad. Nauk. SSSR'' , '''167''' : 1 (1966) pp. 30–33 {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> A.I. Mal'tsev, "On a class of homogeneous spaces" ''Izv. Akad. Nauk. SSSR Ser. Mat.'' , '''13''' : 1 (1949) pp. 9–32 (In Russian) {{MR|}} {{ZBL|0034.01701}} </TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> G.A. Margulis, "Arithmetic properties of discrete subgroups" ''Russian Math. Surveys'' , '''29''' : 1 (1974) pp. 107–156 ''Uspekhi Mat. Nauk'' , '''29''' : 1 (1974) pp. 49–98 {{MR|0463353}} {{MR|0463354}} {{ZBL|0299.22010}} </TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> G.A. Margulis, "Discrete groups of motions of manifolds of non-positive curvature" R. James (ed.) , ''Proc. Internat. Congress Mathematicians (Vancouver, 1974)'' , '''2''' , Canad. Math. Congress (1975) pp. 21–34 (In Russian) {{MR|492072}} {{ZBL|0336.57037}} </TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> G.D. Mostow, "Factor spaces of solvable groups" ''Ann. of Math.'' , '''60''' (1954) pp. 1–27 {{MR|0061611}} {{ZBL|0057.26103}} </TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> G.D. Mostov, "Representative functions on discrete groups and solvable arithmetic subgroups" ''Amer. J. Math.'' , '''92''' (1970) pp. 1–32 {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top"> G.D. Mostow, "Strong rigidity of locally symmetric spaces" , Princeton Univ. Press (1973) {{MR|0385004}} {{ZBL|0265.53039}} </TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top"> M.S. Raghunathan, "Discrete subgroups of Lie groups" , Springer (1972) {{MR|0507234}} {{MR|0507236}} {{ZBL|0254.22005}} </TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top"> A. Selberg, "On discontinuous groups in higher-dimensional symmetric spaces" , ''Internat. Coll. function theory'' , Tata Inst. (1960) pp. 147–164 {{MR|0130324}} {{ZBL|0201.36603}} </TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top"> H.-C. Wang, "On a maximality property of subgroups with fundamental domain of finite measure" ''Amer. J. Math.'' , '''89''' (1967) pp. 124–132 {{MR|}} {{ZBL|0152.01002}} </TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top"> H.-C. Wang, "Topics on totally discontinuous groups" , ''Symmetric spaces'' , M. Dekker (1972) pp. 459–487 {{MR|0414787}} {{ZBL|0232.22018}} </TD></TR></table>
+
<table><TR><TD valign="top">[1]</TD>
 +
<TD valign="top"> L. Auslander, "Bieberbach's theorem on space groups and discrete uniform subgroups of Lie groups" ''Amer. J. Math.'' , '''83''' (1961) pp. 276–280 {{MR|123637}} {{ZBL|}} </TD>
 +
</TR><TR><TD valign="top">[2]</TD>
 +
<TD valign="top"> L. Auslander, "On radicals of discrete subgroups of Lie groups" ''Amer. J. Math.'' , '''85''' (1963) pp. 145–150 {{MR|0152607}} {{ZBL|0217.37002}} </TD>
 +
</TR><TR><TD valign="top">[3]</TD>
 +
<TD valign="top"> A. Borel, "Density properties for certain subgroups of semi-simple groups without compact components" ''Ann. of Math.'' , '''72''' (1960) pp. 179–188 {{MR|0123639}} {{ZBL|0094.24901}} </TD>
 +
</TR><TR><TD valign="top">[4]</TD>
 +
<TD valign="top"> A. Borel, Harish-Chandra, "Arithmetic subgroups of algebraic groups" ''Ann. of Math.'' , '''75''' (1962) pp. 485–535 {{MR|0147566}} {{ZBL|0107.14804}} </TD>
 +
</TR><TR><TD valign="top">[5a]</TD>
 +
<TD valign="top"> A. Weil, "Discrete subgroups of Lie groups I" ''Ann. Math.'' , '''72''' (1960) pp. 369–384 {{MR|137792}} {{ZBL|0131.26602}} </TD>
 +
</TR><TR><TD valign="top">[5b]</TD>
 +
<TD valign="top"> A. Weil, "Discrete subgroups of Lie groups II" ''Ann. Math.'' , '''75''' (1962) pp. 578–602 {{MR|0137793}} {{ZBL|0131.26602}} </TD>
 +
</TR><TR><TD valign="top">[6]</TD>
 +
<TD valign="top"> E.B. Vinberg, "Discrete groups generated by reflections in Lobachevskii spaces" ''Math. USSR-Sb.'' , '''1''' : 3 (1967) pp. 429–444 ''Mat. Sb.'' , '''72''' : 3 (1967) pp. 471–488 {{MR|}} {{ZBL|}} </TD>
 +
</TR><TR><TD valign="top">[7]</TD>
 +
<TD valign="top"> H. Garland, M.S. Raghunathan, "Fundamental domains for lattices in ($\mathbf{R}$-) rank 1 semisimple Lie groups" ''Ann. of Math.'' , '''92''' (1970) pp. 279–326 {{MR|267041}} {{ZBL|}} </TD>
 +
</TR><TR><TD valign="top">[8]</TD>
 +
<TD valign="top"> V.S. Makarov, "A certain class of discrete Lobachevskii space groups with an infinite fundamental region of finite measure" ''Soviet Math.-Dokl.'' , '''7''' (1966) pp. 328–331 ''Dokl. Akad. Nauk. SSSR'' , '''167''' : 1 (1966) pp. 30–33 {{MR|}} {{ZBL|}} </TD>
 +
</TR><TR><TD valign="top">[9]</TD>
 +
<TD valign="top"> A.I. Mal'tsev, "On a class of homogeneous spaces" ''Izv. Akad. Nauk. SSSR Ser. Mat.'' , '''13''' : 1 (1949) pp. 9–32 (In Russian) {{MR|}} {{ZBL|0034.01701}} </TD>
 +
</TR><TR><TD valign="top">[10]</TD>
 +
<TD valign="top"> G.A. Margulis, "Arithmetic properties of discrete subgroups" ''Russian Math. Surveys'' , '''29''' : 1 (1974) pp. 107–156 ''Uspekhi Mat. Nauk'' , '''29''' : 1 (1974) pp. 49–98 {{MR|0463353}} {{MR|0463354}} {{ZBL|0299.22010}} </TD>
 +
</TR><TR><TD valign="top">[11]</TD>
 +
<TD valign="top"> G.A. Margulis, "Discrete groups of motions of manifolds of non-positive curvature" R. James (ed.) , ''Proc. Internat. Congress Mathematicians (Vancouver, 1974)'' , '''2''' , Canad. Math. Congress (1975) pp. 21–34 (In Russian) {{MR|492072}} {{ZBL|0336.57037}} </TD>
 +
</TR><TR><TD valign="top">[12]</TD>
 +
<TD valign="top"> G.D. Mostow, "Factor spaces of solvable groups" ''Ann. of Math.'' , '''60''' (1954) pp. 1–27 {{MR|0061611}} {{ZBL|0057.26103}} </TD>
 +
</TR><TR><TD valign="top">[13]</TD>
 +
<TD valign="top"> G.D. Mostov, "Representative functions on discrete groups and solvable arithmetic subgroups" ''Amer. J. Math.'' , '''92''' (1970) pp. 1–32 {{MR|}} {{ZBL|}} </TD>
 +
</TR><TR><TD valign="top">[14]</TD>
 +
<TD valign="top"> G.D. Mostow, "Strong rigidity of locally symmetric spaces" , Princeton Univ. Press (1973) {{MR|0385004}} {{ZBL|0265.53039}} </TD>
 +
</TR><TR><TD valign="top">[15]</TD>
 +
<TD valign="top"> M.S. Raghunathan, "Discrete subgroups of Lie groups" , Springer (1972) {{MR|0507234}} {{MR|0507236}} {{ZBL|0254.22005}} </TD>
 +
</TR><TR><TD valign="top">[16]</TD>
 +
<TD valign="top"> A. Selberg, "On discontinuous groups in higher-dimensional symmetric spaces" , ''Internat. Coll. function theory'' , Tata Inst. (1960) pp. 147–164 {{MR|0130324}} {{ZBL|0201.36603}} </TD>
 +
</TR><TR><TD valign="top">[17]</TD>
 +
<TD valign="top"> H.-C. Wang, "On a maximality property of subgroups with fundamental domain of finite measure" ''Amer. J. Math.'' , '''89''' (1967) pp. 124–132 {{MR|}} {{ZBL|0152.01002}} </TD>
 +
</TR><TR><TD valign="top">[18]</TD>
 +
<TD valign="top"> H.-C. Wang, "Topics on totally discontinuous groups" , ''Symmetric spaces'' , M. Dekker (1972) pp. 459–487 {{MR|0414787}} {{ZBL|0232.22018}} </TD>
 +
</TR></table>
  
  
  
 
====Comments====
 
====Comments====
The arithmeticity theorem, mentioned in the main article and saying that an irreducible lattice <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150131.png" /> in a connected semi-simple Lie group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150132.png" /> without compact factors (and with trivial centre) is an [[Arithmetic group|arithmetic group]] if the real rank of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150133.png" /> exceeds one, was conjectured by A. Selberg (for uniform discrete subgroups) and by I.I. Pyatetskii-Shapiro (general case), see also [[#References|[a1]]]. A first important step to the understanding of non-compact subgroups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150134.png" /> of finite co-volume, i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150135.png" /> of finite volume, was the proof by D.A. Kazhdan and G.A. Margulis of the existence of non-trivial unipotent elements in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150136.png" />; this is a related, more special, conjecture of Selberg, cf. [[#References|[a5]]]. In [[#References|[a2]]] it is proved that this theorem does not hold for the groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150137.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150138.png" />.
+
The arithmeticity theorem, mentioned in the main article and saying that an irreducible lattice $\Gamma$ in a connected semi-simple Lie group $G$ without compact factors (and with trivial centre) is an
 
+
[[Arithmetic group|arithmetic group]] if the real rank of $G$ exceeds one, was conjectured by A. Selberg (for uniform discrete subgroups) and by I.I. Pyatetskii-Shapiro (general case), see also
[[Ergodic theory|Ergodic theory]] plays an important role in proving some of the arithmeticity results mentioned in the main article, cf. also [[#References|[a3]]]. One result in the proof of which ergodic arguments play an important role (the multiplicative ergodic theorem) is Margulis' superrigidity theorem, which for groups of real rank <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150139.png" /> generalizes the A. Weil and G.D. Mostow rigidity theorems. It states the following. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150140.png" /> be a simply-connected Lie group of real points of a real simply-connected algebraic group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150141.png" /> and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150142.png" /> have no compact factors. Assume that the real rank of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150143.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150144.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150145.png" /> be a locally compact non-discrete field and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150146.png" /> a linear representation such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150147.png" /> is not relatively compact and such that its Zariski closure is connected. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150148.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150149.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150150.png" /> extends to a rational representation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150151.png" />, cf. [[#References|[a6]]] for a detailed discussion of these results and related matters; cf. also the discussion on strong rigidity in the main article above.
+
[[#References|[a1]]]. A first important step to the understanding of non-compact subgroups $\Gamma$ of finite co-volume, i.e. $G/\Gamma$ of finite volume, was the proof by D.A. Kazhdan and G.A. Margulis of the existence of non-trivial unipotent elements in $\Gamma$; this is a related, more special, conjecture of Selberg, cf.
 +
[[#References|[a5]]]. In
 +
[[#References|[a2]]] it is proved that this theorem does not hold for the groups $\SU(n, 1)$, $n \le 3$.
 +
[[Ergodic theory|Ergodic theory]] plays an important role in proving some of the arithmeticity results mentioned in the main article, cf. also
 +
[[#References|[a3]]]. One result in the proof of which ergodic arguments play an important role (the multiplicative ergodic theorem) is Margulis' superrigidity theorem, which for groups of real rank $\ge 2$ generalizes the A. Weil and G.D. Mostow rigidity theorems. It states the following. Let $G$ be a simply-connected Lie group of real points of a real simply-connected algebraic group $\mathcal{G} \subset \GL_n(\mathbf{R})$ and let $G$ have no compact factors. Assume that the real rank of $G$ is $\ge 2$. Let $F$ be a locally compact non-discrete field and $\rho : \Gamma \to \GL_n(F)$ a linear representation such that $\rho(\Gamma)$ is not relatively compact and such that its Zariski closure is connected. Then $F = \mathbf{R}$ or $\mathbf{C}$ and $\rho$ extends to a rational representation of $\mathcal{G}$, cf.
 +
[[#References|[a6]]] for a detailed discussion of these results and related matters; cf. also the discussion on strong rigidity in the main article above.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> G.A. Margulus, "Arithmeticity of irreducible lattices in semi-simple groups of rank exceeding 1" , MIR (1977) (In Russian) (Appendix to the Russian translation of: M.S. Raghunathan: "On the congruence subgroup problem" Publ. Math. IHES <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d033/d033150/d033150152.png" /> (1976), 107–161) {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> G.D. Mostow, "Existence of nonarithmetic monodromy groups" ''Proc. Nat. Acad. Sc. U.S.A.'' , '''78''' (1981) pp. 5948–5950 {{MR|0773821}} {{ZBL|0551.32024}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> R.J. Zimmer, "Ergodic theory and semisimple groups" , Birkhäuser (1984) {{MR|0776417}} {{ZBL|0571.58015}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> J.E. Humphreys, "Arithmetic groups" , ''Topics in the theory of arithmetic groups'' , Notre Dame Univ. (1982) pp. 73–97 {{MR|0698787}} {{ZBL|0504.22010}} </TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> D.A. Kazhdan, G.A. Margulis, "A proof of Selberg's conjecture" ''Math. USSR-Sb.'' , '''4''' : 1 (1968) pp. 147–152 ''Mat. Sb.'' , '''75''' (1968) pp. 163–168 {{MR|}} {{ZBL|}} </TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> J. Tits, "Travaux de Margulis sur les sous-groupes discrets de groupes de Lie" , ''Sem. Bourbaki 1975/1976'' , '''Exp. 482''' , Springer (1977) pp. 174–190 {{MR|0492073}} {{ZBL|0346.22011}} </TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD>
 +
<TD valign="top"> G.A. Margulus, "Arithmeticity of irreducible lattices in semi-simple groups of rank exceeding 1" , MIR (1977) (In Russian) (Appendix to the Russian translation of: M.S. Raghunathan: "On the congruence subgroup problem" Publ. Math. IHES '''46''' (1976), 107–161) {{MR|}} {{ZBL|}} </TD>
 +
</TR><TR><TD valign="top">[a2]</TD>
 +
<TD valign="top"> G.D. Mostow, "Existence of nonarithmetic monodromy groups" ''Proc. Nat. Acad. Sc. U.S.A.'' , '''78''' (1981) pp. 5948–5950 {{MR|0773821}} {{ZBL|0551.32024}} </TD>
 +
</TR><TR><TD valign="top">[a3]</TD>
 +
<TD valign="top"> R.J. Zimmer, "Ergodic theory and semisimple groups" , Birkhäuser (1984) {{MR|0776417}} {{ZBL|0571.58015}} </TD>
 +
</TR><TR><TD valign="top">[a4]</TD>
 +
<TD valign="top"> J.E. Humphreys, "Arithmetic groups" , ''Topics in the theory of arithmetic groups'' , Notre Dame Univ. (1982) pp. 73–97 {{MR|0698787}} {{ZBL|0504.22010}} </TD>
 +
</TR><TR><TD valign="top">[a5]</TD>
 +
<TD valign="top"> D.A. Kazhdan, G.A. Margulis, "A proof of Selberg's conjecture" ''Math. USSR-Sb.'' , '''4''' : 1 (1968) pp. 147–152 ''Mat. Sb.'' , '''75''' (1968) pp. 163–168 {{MR|}} {{ZBL|}} </TD>
 +
</TR><TR><TD valign="top">[a6]</TD>
 +
<TD valign="top"> J. Tits, "Travaux de Margulis sur les sous-groupes discrets de groupes de Lie" , ''Sem. Bourbaki 1975/1976'' , '''Exp. 482''' , Springer (1977) pp. 174–190 {{MR|0492073}} {{ZBL|0346.22011}} </TD>
 +
</TR></table>

Latest revision as of 04:52, 23 July 2018


$\DeclareMathOperator{\PSL}{PSL}$

A subgroup $\Gamma$ of a topological group $G$ (in particular, a subgroup of a Lie group) which is a discrete subset of the topological space $G$. In locally compact topological groups (in particular, in Lie groups) one distinguishes lattices — i.e. discrete subgroups for which the quotient space $\Gamma\setminus G$ has finite volume in the sense of the measure induced by the left-invariant Haar measure on the group $G$. The concept of lattices includes that of uniform discrete subgroups, for which the quotient space $\Gamma\setminus G$ is compact.

If $K$ is a compact subgroup of a locally compact topological group $G$, a subgroup $\Gamma \subset G$ is discrete if and only if it is a discrete group of transformations of the space $X=G/K$ (in the sense of the action induced by the natural action of the group $G$ on $X$). Here, $\Gamma$ is a lattice (a uniform discrete subgroup) if and only if the quotient space $\Gamma \setminus X$ has finite volume (is compact) in the sense of the measure induced by the $G$-invariant measure on $X$. This makes it possible to utilize geometric methods when studying discrete subgroups of Lie groups.

One of the principal problems in the theory of discrete subgroups of Lie groups is the classification of such subgroups up to commensurability. Two subgroups $\Gamma_1$ and $\Gamma_2$ are said to be commensurable if $\Gamma_1 \cap \Gamma_2$ has finite index both in $\Gamma_1$ and in $\Gamma_2$. If one of two commensurable subgroups of a locally compact topological group is a discrete subgroup (or a lattice, or a uniform discrete subgroup), so is the other.

Up to the middle of the 20th century one basically studied individual classes of discrete subgroups of Lie groups occurring in arithmetic, function theory and physics. Historically, the first non-trivial discrete subgroup — the subgroup $\SL_2(\mathbf{Z})$ of the group $\SL_2(\mathbf{R})$, subsequently named the Kleinian modular group — was in fact studied by J.L. Lagrange and C.F. Gauss in the context of the arithmetic of quadratic forms in two variables. The subgroup $\SL_n(\mathbf{Z})$ of $\SL_n(\mathbf{R})$ is its natural generalization. The study of this group as a discrete group of transformations of the space of positive-definite quadratic forms in $n$ variables formed the subject of reduction theory, developed by A.N. Korkin, E.I. Zolotarev, Ch. Hermite, H. Minkowski, and others in the second half of the nineteenth and in the beginning of the 20th century. A series of arithmetically definable discrete subgroups of classical Lie groups — groups of units of quadratic forms with rational coefficients, groups of units of simple algebras over $\mathbf{Q}$, groups of integral symplectic matrices — were studied by C.L. Siegel in the 1940s. He proved, in particular, that all these groups are lattices in the respective Lie groups.

In the theory of functions of a complex variable the integration of algebraic functions and, more generally, the solution of differential equations with algebraic coefficients, resulted in the study of certain special functions (subsequently named automorphic functions, cf. Automorphic function) which are invariant with respect to various discrete groups consisting of transformations of the form

$$z \mapsto \frac{az+b}{cz+d}, \qquad z \in \mathbf{C}, \qquad \begin{bmatrix} a & b \\ c & d \end{bmatrix} \in \SL_2(\mathbf{R}).$$ Certain discrete subgroups of $\SL_2(\mathbf{R})$ were studied in the mid-19th century by Hermite, R. Dedekind and I.L. Fuchs. They also included the group $\SL_2(\mathbf{Z})$ (though represented differently from the presentation used by Lagrange and Gauss). A wide class of such groups, including the group $\SL_2(\mathbf{Z})$ and certain subgroups of $\SL_2(\mathbf{R})$ commensurable with it, were studied by F. Klein. Almost simultaneously (1881–1882) H. Poincaré gave a geometric description of all discrete groups consisting of transformations of the form (1). He named these groups Fuchsian groups (cf. Fuchsian group).

In the first half of the 20th century studies were made of individual classes of automorphic functions in several variables. These functions were connected with certain arithmetically definable discrete subgroups of the group $\left(\SL_2(\mathbf{R})\right)^k$ (Hilbert's modular functions), $\Sp_{2n}(\mathbf{R})$ (Siegel's modular functions) and other semi-simple Lie groups.

Since the late 19th century, crystallographic studies have centred on the symmetry groups of crystallographic lattices, which are identical with uniform discrete subgroups of the group of motions of three-dimensional Euclidean space. These, together with the related groups of motions of $n$-dimensional Euclidean space (the so-called crystallographic groups, cf. Crystallographic group) were studied in 1911 by L. Bieberbach from the algebraic point of view. He demonstrated, in particular, the theorem according to which any crystallographic group contains a uniform discrete subgroup of parallel translations.

All these studies provided the initial material for the general theory of discrete subgroups of Lie groups, the foundations of which were laid in the 1950s and 1960s.

An exhaustive theory of discrete subgroups of nilpotent Lie groups has been constructed [9]. Its main statements are listed below:

  1. If $H$ is a unipotent algebraic group defined over $\mathbf{Q}$, then the group $H_\mathbf{Z}$ of its integer points is a uniform discrete subgroup in the group $H_\mathbf{R}$ of its real points. (Here $H_\mathbf{R}$ is a simply-connected nilpotent Lie group.)
  2. Any uniform discrete subgroup $\Gamma$ of a simply-connected nilpotent Lie group $G$ is arithmetic in the sense that there exist a unipotent algebraic group $H$ defined over $\mathbf{Q}$ and an isomorphism $\phi: H_\mathbf{R} \to G$ such that the subgroup $\Gamma$ is commensurable with $\phi(H_\mathbf{Z})$.
  3. If $\Gamma_1$, $\Gamma_2$ are uniform discrete subgroups of simply-connected nilpotent Lie groups $G_1$ and $G_2$ respectively, then any isomorphism $\Gamma_1 \to \Gamma_2$ can be uniquely extended to an isomorphism $G_1 \to G_2$.
  4. An abstract group $\Gamma$ is imbeddable as a uniform discrete subgroup in a simply-connected nilpotent Lie group if and only if $\Gamma$ is a finitely-generated torsion-free nilpotent group.

Discrete subgroups of solvable Lie groups have been fairly thoroughly studied, but the results are less complete than those obtained for nilpotent groups. Any lattice in a solvable Lie group is a uniform discrete subgroup. If $\Gamma$ is a lattice in a simply-connected solvable Lie group $G$, then $G$ has a faithful matrix representation in which the elements of $\Gamma$ are represented by integer matrices [13]. This statement may be regarded as a generalization of Mal'tsev's theorem 2) above. The following theorem is the analogue of theorem 4). Any lattice in a simply-connected solvable Lie group is a strictly polycyclic group; conversely, any strictly polycyclic group has a subgroup of finite index which is isomorphic to a lattice in a simply-connected solvable Lie group.

The most precise results in the theory of discrete subgroups of Lie groups concern discrete subgroups of non-solvable and, in particular, semi-simple Lie groups. In [4] the following theorem was demonstrated, which includes, as special cases, Mal'tsev's theorem 1), the Dirichlet theorem on the units of an algebraic number field and Siegel's results (see above) on certain arithmetic discrete subgroups of semi-simple Lie groups. Let $H$ be a linear algebraic group defined over $\mathbf{Q}$. For the subgroup $H_\mathbf{Z}$ to be a lattice in $H_\mathbf{R}$ it is necessary and sufficient for $H$ not to permit rational homomorphisms into the group $\mathbf{C}^*$, defined over $\mathbf{Q}$ (this condition is satisfied, for example, if $H$ is semi-simple or unipotent). For the subgroup $H_\mathbf{Z}$ to be a uniform discrete subgroup in $H_\mathbf{R}$ it is necessary and sufficient, in addition, that all unipotent elements of the group $H_\mathbf{Q}$ lie in $U_\mathbf{Q}$, where $U$ is the unipotent radical of $H$.

The arithmeticity theorem [11] which follows is the analogue of theorem 2) for discrete subgroups of semi-simple Lie groups. Let $\Gamma$ be a lattice in a connected semi-simple Lie group $G$ without compact factors, and let (for the sake of convenience in formulation) the centre of $G$ be trivial. Moreover, let the lattice $\Gamma$ be irreducible in the sense that $G$ cannot be non-trivially decomposed into a direct product $G_1 \times G_2$ so that $\Gamma$ is commensurable with a subgroup of the form $\Gamma_1 \times \Gamma_2$ where $\Gamma_1 \subset G_1$ and $\Gamma_2 \subset G_2$. Then, if the real rank of $G$ exceeds one, the group $\Gamma$ is arithmetic in the sense that there exist a semi-simple algebraic group $H$, defined over $\mathbf{Q}$, and a homomorphism $\phi: H_\mathbf{R}^0 \to G$ (where $H_\mathbf{R}^0$ is the connected component of the unit of the group $H_\mathbf{R}$) such that the kernel of the homomorphism $\phi$ is compact and the subgroup $\Gamma$ is commensurable with $\phi(H_\mathbf{Z})$. The assumption that the real rank of $G$ exceeds one is essential. It is known that the theorem is invalid for the group $\PSL_2(\mathbf{R})$ (the group of motions of the Lobachevskii plane), which on the whole plays an important role in the theory of discrete subgroups of Lie groups, and also for the groups of motions of the three-, four- and five-dimensional Lobachevskii spaces [6], [8].

The strong rigidity theorem which follows is the analogue of theorem 3) for discrete subgroups of semi-simple Lie groups. Let $\Gamma_1$, $\Gamma_2$ be irreducible lattices in connected semi-simple Lie groups $G_1$, $G_2$ without compact factors, and let the centres of $G_1$, $G_2$ be trivial. Then, if $G_1$ and $G_2$ are not isomorphic to $\PSL_2(\mathbf{R})$, any isomorphism $\Gamma_1 \to \Gamma_2$ can be uniquely extended to an isomorphism $G_1 \to G_2$ [10], [14]. Historically, the proof of this theorem was preceded by the proof of the weak rigidity theorem

on the extension of isomorphisms which are sufficiently close to the identity (if $G_1 = G_2$). One consequence of the weak rigidity theorem is the existence of a basis in which the elements of a discrete subgroup are written in the form of algebraic numbers. This fact played an important role in the development of the theory of discrete subgroups of semi-simple Lie groups.

Regarding discrete subgroups of the group $\PSL_2(\mathbf{R})$ see Fuchsian group.

Of the other general theorems about discrete subgroups of semi-simple Lie groups one may mention Borel's density theorem and Wang's maximality theorem. Let $\Gamma$ be a lattice in a connected semi-simple Lie group $G$ which has no compact factors. Then $\Gamma$ is dense in $G$ in the Zariski topology [3], and is contained in only a finite number of lattices in $G$ [17].

The description of lattices in arbitrary Lie groups can be reduced, to some extent, to the description of lattices in semi-simple Lie groups, in view of theorems analogous to the Bieberbach theorem on crystallographic groups mentioned above. One says that a normal subgroup $N$ of a Lie group $G$ has the Bieberbach property if for any lattice $\Gamma$ in $G$ the subgroup $N\Gamma$ is closed (and, in such a case, $N \cap \Gamma$ is automatically a lattice in $N$, while $\Gamma / N\cap \Gamma$ is a lattice in $G/N$). Bieberbach's theorem says that, in the group of motions of Euclidean space, the subgroup of parallel translations has the Bieberbach property. There exists a generalization of this theorem to Lie groups which are extensions of a simply-connected nilpotent Lie group by a compact group [1]. Another theorem of such a type is the following. Let $G$ be a connected Lie group, let $R$ be its radical, let $S$ be a maximal connected semi-simple subgroup, and let $C$ be a maximal connected compact normal subgroup of $S$. Then the subgroup $RC$ has the Bieberbach property in $G$ [2]. It is also known that the Bieberbach property is displayed by the nilpotent radical of a connected solvable Lie group [12] and by the commutator subgroup of a simply-connected nilpotent Lie group [9].

Topological methods (cf. Discrete group of transformations) can be used to prove that any uniform discrete subgroup of a connected Lie group is a finitely-presentable group . In fact, any lattice in a connected Lie group is finitely presentable [17], [18].

References

[1] L. Auslander, "Bieberbach's theorem on space groups and discrete uniform subgroups of Lie groups" Amer. J. Math. , 83 (1961) pp. 276–280 MR123637
[2] L. Auslander, "On radicals of discrete subgroups of Lie groups" Amer. J. Math. , 85 (1963) pp. 145–150 MR0152607 Zbl 0217.37002
[3] A. Borel, "Density properties for certain subgroups of semi-simple groups without compact components" Ann. of Math. , 72 (1960) pp. 179–188 MR0123639 Zbl 0094.24901
[4] A. Borel, Harish-Chandra, "Arithmetic subgroups of algebraic groups" Ann. of Math. , 75 (1962) pp. 485–535 MR0147566 Zbl 0107.14804
[5a] A. Weil, "Discrete subgroups of Lie groups I" Ann. Math. , 72 (1960) pp. 369–384 MR137792 Zbl 0131.26602
[5b] A. Weil, "Discrete subgroups of Lie groups II" Ann. Math. , 75 (1962) pp. 578–602 MR0137793 Zbl 0131.26602
[6] E.B. Vinberg, "Discrete groups generated by reflections in Lobachevskii spaces" Math. USSR-Sb. , 1 : 3 (1967) pp. 429–444 Mat. Sb. , 72 : 3 (1967) pp. 471–488
[7] H. Garland, M.S. Raghunathan, "Fundamental domains for lattices in ($\mathbf{R}$-) rank 1 semisimple Lie groups" Ann. of Math. , 92 (1970) pp. 279–326 MR267041
[8] V.S. Makarov, "A certain class of discrete Lobachevskii space groups with an infinite fundamental region of finite measure" Soviet Math.-Dokl. , 7 (1966) pp. 328–331 Dokl. Akad. Nauk. SSSR , 167 : 1 (1966) pp. 30–33
[9] A.I. Mal'tsev, "On a class of homogeneous spaces" Izv. Akad. Nauk. SSSR Ser. Mat. , 13 : 1 (1949) pp. 9–32 (In Russian) Zbl 0034.01701
[10] G.A. Margulis, "Arithmetic properties of discrete subgroups" Russian Math. Surveys , 29 : 1 (1974) pp. 107–156 Uspekhi Mat. Nauk , 29 : 1 (1974) pp. 49–98 MR0463353 MR0463354 Zbl 0299.22010
[11] G.A. Margulis, "Discrete groups of motions of manifolds of non-positive curvature" R. James (ed.) , Proc. Internat. Congress Mathematicians (Vancouver, 1974) , 2 , Canad. Math. Congress (1975) pp. 21–34 (In Russian) MR492072 Zbl 0336.57037
[12] G.D. Mostow, "Factor spaces of solvable groups" Ann. of Math. , 60 (1954) pp. 1–27 MR0061611 Zbl 0057.26103
[13] G.D. Mostov, "Representative functions on discrete groups and solvable arithmetic subgroups" Amer. J. Math. , 92 (1970) pp. 1–32
[14] G.D. Mostow, "Strong rigidity of locally symmetric spaces" , Princeton Univ. Press (1973) MR0385004 Zbl 0265.53039
[15] M.S. Raghunathan, "Discrete subgroups of Lie groups" , Springer (1972) MR0507234 MR0507236 Zbl 0254.22005
[16] A. Selberg, "On discontinuous groups in higher-dimensional symmetric spaces" , Internat. Coll. function theory , Tata Inst. (1960) pp. 147–164 MR0130324 Zbl 0201.36603
[17] H.-C. Wang, "On a maximality property of subgroups with fundamental domain of finite measure" Amer. J. Math. , 89 (1967) pp. 124–132 Zbl 0152.01002
[18] H.-C. Wang, "Topics on totally discontinuous groups" , Symmetric spaces , M. Dekker (1972) pp. 459–487 MR0414787 Zbl 0232.22018


Comments

The arithmeticity theorem, mentioned in the main article and saying that an irreducible lattice $\Gamma$ in a connected semi-simple Lie group $G$ without compact factors (and with trivial centre) is an arithmetic group if the real rank of $G$ exceeds one, was conjectured by A. Selberg (for uniform discrete subgroups) and by I.I. Pyatetskii-Shapiro (general case), see also [a1]. A first important step to the understanding of non-compact subgroups $\Gamma$ of finite co-volume, i.e. $G/\Gamma$ of finite volume, was the proof by D.A. Kazhdan and G.A. Margulis of the existence of non-trivial unipotent elements in $\Gamma$; this is a related, more special, conjecture of Selberg, cf. [a5]. In [a2] it is proved that this theorem does not hold for the groups $\SU(n, 1)$, $n \le 3$. Ergodic theory plays an important role in proving some of the arithmeticity results mentioned in the main article, cf. also [a3]. One result in the proof of which ergodic arguments play an important role (the multiplicative ergodic theorem) is Margulis' superrigidity theorem, which for groups of real rank $\ge 2$ generalizes the A. Weil and G.D. Mostow rigidity theorems. It states the following. Let $G$ be a simply-connected Lie group of real points of a real simply-connected algebraic group $\mathcal{G} \subset \GL_n(\mathbf{R})$ and let $G$ have no compact factors. Assume that the real rank of $G$ is $\ge 2$. Let $F$ be a locally compact non-discrete field and $\rho : \Gamma \to \GL_n(F)$ a linear representation such that $\rho(\Gamma)$ is not relatively compact and such that its Zariski closure is connected. Then $F = \mathbf{R}$ or $\mathbf{C}$ and $\rho$ extends to a rational representation of $\mathcal{G}$, cf. [a6] for a detailed discussion of these results and related matters; cf. also the discussion on strong rigidity in the main article above.

References

[a1] G.A. Margulus, "Arithmeticity of irreducible lattices in semi-simple groups of rank exceeding 1" , MIR (1977) (In Russian) (Appendix to the Russian translation of: M.S. Raghunathan: "On the congruence subgroup problem" Publ. Math. IHES 46 (1976), 107–161)
[a2] G.D. Mostow, "Existence of nonarithmetic monodromy groups" Proc. Nat. Acad. Sc. U.S.A. , 78 (1981) pp. 5948–5950 MR0773821 Zbl 0551.32024
[a3] R.J. Zimmer, "Ergodic theory and semisimple groups" , Birkhäuser (1984) MR0776417 Zbl 0571.58015
[a4] J.E. Humphreys, "Arithmetic groups" , Topics in the theory of arithmetic groups , Notre Dame Univ. (1982) pp. 73–97 MR0698787 Zbl 0504.22010
[a5] D.A. Kazhdan, G.A. Margulis, "A proof of Selberg's conjecture" Math. USSR-Sb. , 4 : 1 (1968) pp. 147–152 Mat. Sb. , 75 (1968) pp. 163–168
[a6] J. Tits, "Travaux de Margulis sur les sous-groupes discrets de groupes de Lie" , Sem. Bourbaki 1975/1976 , Exp. 482 , Springer (1977) pp. 174–190 MR0492073 Zbl 0346.22011
How to Cite This Entry:
Discrete subgroup. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Discrete_subgroup&oldid=27025
This article was adapted from an original article by E.B. Vinberg (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article