Congruence subgroup

(Redirected from Theta subgroup)

In mathematics, a congruence subgroup of a matrix group with integer entries is a subgroup defined by congruence conditions on the entries. A very simple example is the subgroup of invertible 2 × 2 integer matrices of determinant 1 in which the off-diagonal entries are even. More generally, the notion of congruence subgroup can be defined for arithmetic subgroups of algebraic groups; that is, those for which we have a notion of 'integral structure' and can define reduction maps modulo an integer.

The existence of congruence subgroups in an arithmetic group provides it with a wealth of subgroups, in particular it shows that the group is residually finite. An important question regarding the algebraic structure of arithmetic groups is the congruence subgroup problem, which asks whether all subgroups of finite index are essentially congruence subgroups.

Congruence subgroups of 2 × 2 matrices are fundamental objects in the classical theory of modular forms; the modern theory of automorphic forms makes a similar use of congruence subgroups in more general arithmetic groups.

Congruence subgroups of the modular group

edit

The simplest interesting setting in which congruence subgroups can be studied is that of the modular group  .[1]

Principal congruence subgroups

edit

If   is an integer there is a homomorphism   induced by the reduction modulo   morphism  . The principal congruence subgroup of level   in   is the kernel of  , and it is usually denoted  . Explicitly it is described as follows:

 

This definition immediately implies that   is a normal subgroup of finite index in  . The strong approximation theorem (in this case an easy consequence of the Chinese remainder theorem) implies that   is surjective, so that the quotient   is isomorphic to  . Computing the order of this finite group yields the following formula for the index:

 

where the product is taken over all prime numbers dividing  .

If   then the restriction of   to any finite subgroup of   is injective. This implies the following result:

If   then the principal congruence subgroups   are torsion-free.

The group   contains   and is not torsion-free. On the other hand, its image in   is torsion-free, and the quotient of the hyperbolic plane by this subgroup is a sphere with three cusps.

Definition of a congruence subgroup

edit

A subgroup   in   is called a congruence subgroup if there exists   such that   contains the principal congruence subgroup  . The level   of   is then the smallest such  .

From this definition it follows that:

  • Congruence subgroups are of finite index in  ;
  • The congruence subgroups of level   are in one-to-one correspondence with the subgroups of  .

Examples

edit

The subgroup  , sometimes called the Hecke congruence subgroup of level  , is defined as the preimage by   of the group of upper triangular matrices. That is,

 

The index is given by the formula:

 

where the product is taken over all prime numbers dividing  . If   is prime then   is in natural bijection with the projective line over the finite field  , and explicit representatives for the (left or right) cosets of   in   are the following matrices:

 

The subgroups   are never torsion-free as they always contain the matrix  . There are infinitely many   such that the image of   in   also contains torsion elements.

The subgroup   is the preimage of the subgroup of unipotent matrices:

 

Their indices are given by the formula:

 

The theta subgroup   is the congruence subgroup of   defined as the preimage of the cyclic group of order two generated by  . It is of index 3 and is explicitly described by:[2]

 

These subgroups satisfy the following inclusions:  , as well as  .

Properties of congruence subgroups

edit

The congruence subgroups of the modular group and the associated Riemann surfaces are distinguished by some particularly nice geometric and topological properties. Here is a sample:

  • There are only finitely many congruence covers of the modular surface that have genus zero;[3]
  • (Selberg's 3/16 theorem) If   is a nonconstant eigenfunction of the Laplace-Beltrami operator on a congruence cover of the modular surface with eigenvalue   then  .

There is also a collection of distinguished operators called Hecke operators on smooth functions on congruence covers, which commute with each other and with the Laplace–Beltrami operator and are diagonalisable in each eigenspace of the latter. Their common eigenfunctions are a fundamental example of automorphic forms. Other automorphic forms associated to these congruence subgroups are the holomorphic modular forms, which can be interpreted as cohomology classes on the associated Riemann surfaces via the Eichler-Shimura isomorphism.

Normalisers of Hecke congruence subgroups

edit

The normalizer   of   in   has been investigated; one result from the 1970s, due to Jean-Pierre Serre, Andrew Ogg and John G. Thompson is that the corresponding modular curve (the Riemann surface resulting from taking the quotient of the hyperbolic plane by  ) has genus zero (i.e., the modular curve is a Riemann sphere) if and only if   is 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59, or 71. When Ogg later heard about the monster group, he noticed that these were precisely the prime factors of the size of  , he wrote up a paper offering a bottle of Jack Daniel's whiskey to anyone who could explain this fact – this was a starting point for the theory of monstrous moonshine, which explains deep connections between modular function theory and the monster group.

In arithmetic groups

edit

Arithmetic groups

edit

The notion of an arithmetic group is a vast generalisation based upon the fundamental example of  . In general, to give a definition one needs a semisimple algebraic group   defined over   and a faithful representation  , also defined over  , from   into  ; then an arithmetic group in   is any group   that is of finite index in the stabiliser of a finite-index sub-lattice in  .

Congruence subgroups

edit

Let   be an arithmetic group: for simplicity it is better to suppose that  . As in the case of   there are reduction morphisms  . We can define a principal congruence subgroup of   to be the kernel of   (which may a priori depend on the representation  ), and a congruence subgroup of   to be any subgroup that contains a principal congruence subgroup (a notion that does not depend on a representation). They are subgroups of finite index that correspond to the subgroups of the finite groups  , and the level is defined.

Examples

edit

The principal congruence subgroups of   are the subgroups   given by:

 

the congruence subgroups then correspond to the subgroups of  .

Another example of arithmetic group is given by the groups   where   is the ring of integers in a number field, for example  . Then if   is a prime ideal dividing a rational prime   the subgroups   that is the kernel of the reduction map mod   is a congruence subgroup since it contains the principal congruence subgroup defined by reduction modulo  .

Yet another arithmetic group is the Siegel modular groups  , defined by:

 

Note that if   then  . The theta subgroup   of   is the set of all   such that both   and   have even diagonal entries.[4]

Property (τ)

edit

The family of congruence subgroups in a given arithmetic group   always has property (τ) of Lubotzky–Zimmer.[5] This can be taken to mean that the Cheeger constant of the family of their Schreier coset graphs (with respect to a fixed generating set for  ) is uniformly bounded away from zero, in other words they are a family of expander graphs. There is also a representation-theoretical interpretation: if   is a lattice in a Lie group   then property (τ) is equivalent to the non-trivial unitary representations of   occurring in the spaces   being bounded away from the trivial representation (in the Fell topology on the unitary dual of  ). Property (τ) is a weakening of Kazhdan's property (T) which implies that the family of all finite-index subgroups has property (τ).

In S-arithmetic groups

edit

If   is a  -group and   is a finite set of primes, an  -arithmetic subgroup of   is defined as an arithmetic subgroup but using   instead of  . The fundamental example is  .

Let   be an  -arithmetic group in an algebraic group  . If   is an integer not divisible by any prime in  , then all primes   are invertible modulo   and it follows that there is a morphism  . Thus it is possible to define congruence subgroups in  , whose level is always coprime to all primes in  .

The congruence subgroup problem

edit

Finite-index subgroups in SL2(Z)

edit

Congruence subgroups in   are finite-index subgroups: it is natural to ask whether they account for all finite-index subgroups in  . The answer is a resounding "no". This fact was already known to Felix Klein and there are many ways to exhibit many non-congruence finite-index subgroups. For example:

  1. The simple group in the composition series of a quotient  , where   is a normal congruence subgroup, must be a simple group of Lie type (or cyclic), in fact one of the groups   for a prime  . But for every   there are finite-index subgroups   such that   is isomorphic to the alternating group   (for example   surjects on any group with two generators, in particular on all alternating groups, and the kernels of these morphisms give an example). These groups thus must be non-congruence.
  2. There is a surjection  ; for   large enough the kernel of   must be non-congruence (one way to see this is that the Cheeger constant of the Schreier graph goes to 0; there is also a simple algebraic proof in the spirit of the previous item).
  3. The number   of congruence subgroups in   of index   satisfies  . On the other hand, the number   of finite index subgroups of index   in   satisfies  , so most subgroups of finite index must be non-congruence.[6]

Congruence kernel

edit

One can ask the same question for any arithmetic group as for the modular group:

Naïve congruence subgroup problem: Given an arithmetic group, are all of its finite-index subgroups congruence subgroups?

This problem can have a positive solution: its origin is in the work of Hyman Bass, Jean-Pierre Serre and John Milnor, and Jens Mennicke who proved that, in contrast to the case of  , when   all finite-index subgroups in   are congruence subgroups. The solution by Bass–Milnor–Serre involved an aspect of algebraic number theory linked to K-theory.[7] On the other hand, the work of Serre on   over number fields shows that in some cases the answer to the naïve question is "no" while a slight relaxation of the problem has a positive answer.[8]

This new problem is better stated in terms of certain compact topological groups associated to an arithmetic group  . There is a topology on   for which a base of neighbourhoods of the trivial subgroup is the set of subgroups of finite index (the profinite topology); and there is another topology defined in the same way using only congruence subgroups. The profinite topology gives rise to a completion   of  , while the "congruence" topology gives rise to another completion  . Both are profinite groups and there is a natural surjective morphism   (intuitively, there are fewer conditions for a Cauchy sequence to comply with in the congruence topology than in the profinite topology).[9][10] The congruence kernel   is the kernel of this morphism, and the congruence subgroup problem stated above amounts to whether   is trivial. The weakening of the conclusion then leads to the following problem.

Congruence subgroup problem: Is the congruence kernel   finite?

When the problem has a positive solution one says that   has the congruence subgroup property. A conjecture generally attributed to Serre states that an irreducible arithmetic lattice in a semisimple Lie group   has the congruence subgroup property if and only if the real rank of   is at least 2; for example, lattices in   should always have the property.

Negative solutions

edit

Serre's conjecture states that a lattice in a Lie group of rank one should not have the congruence subgroup property. There are three families of such groups: the orthogonal groups  , the unitary groups   and the groups   (the isometry groups of a sesquilinear form over the Hamilton quaternions), plus the exceptional group   (see List of simple Lie groups). The current status of the congruence subgroup problem is as follows:

  • It is known to have a negative solution (confirming the conjecture) for all groups   with  . The proof uses the same argument as 2. in the case of  : in the general case it is much harder to construct a surjection to  , the proof is not at all uniform for all cases and fails for some lattices in dimension 7 due to the phenomenon of triality.[11][12] In dimensions 2 and 3 and for some lattices in higher dimensions argument 1 and 3 also apply.
  • It is known for many lattices in  , but not all (again using a generalisation of argument 2).[13]
  • It is completely open in all remaining cases.

Positive solutions

edit

In many situations where the congruence subgroup problem is expected to have a positive solution it has been proven that this is indeed the case. Here is a list of algebraic groups such that the congruence subgroup property is known to hold for the associated arithmetic lattices, in case the rank of the associated Lie group (or more generally the sum of the rank of the real and  -adic factors in the case of  -arithmetic groups) is at least 2:[14]

  • Any non-anisotropic group (this includes the cases dealt with by Bass–Milnor–Serre, as well as   is  , and many others);
  • Any group of type not   (for example all anisotropic forms of symplectic or orthogonal groups of real rank  );
  • Unitary groups of hermitian forms.

The cases of inner and outer forms of type   are still open. The algebraic groups in the case of inner forms of type   are those associated to the unit groups in central simple division algebras; for example the congruence subgroup property is not known for lattices in   or   with compact quotient.[15]

Congruence groups and adèle groups

edit

The ring of adeles   is the restricted product of all completions of  , i.e.

 

where the product is over the set   of all primes,   is the field of p-adic numbers and an element   belongs to the restricted product if and only if for almost all primes  ,   belongs to the subring   of p-adic integers.

Given any algebraic group   over   the adelic algebraic group   is well-defined. It can be endowed with a canonical topology, which in the case where   is a linear algebraic group is the topology as a subset of  . The finite adèles   are the restricted product of all non-archimedean completions (all p-adic fields).

If   is an arithmetic group then its congruence subgroups are characterised by the following property:   is a congruence subgroup if and only if its closure   is a compact-open subgroup (compactness is automatic) and  . In general the group   is equal to the congruence closure of   in  , and the congruence topology on   is the induced topology as a subgroup of  , in particular the congruence completion   is its closure in that group. These remarks are also valid for  -arithmetic subgroups, replacing the ring of finite adèles with the restricted product over all primes not in  .

More generally one can define what it means for a subgroup   to be a congruence subgroup without explicit reference to a fixed arithmetic subgroup, by asking that it be equal to its congruence closure  . Thus it becomes possible to study all congruence subgroups at once by looking at the discrete subgroup  . This is especially convenient in the theory of automorphic forms: for example all modern treatments of the Arthur–Selberg trace formula are done in this adélic setting.

Notes

edit
  1. ^ The modular group is usually defined to be the quotient  , here we will rather use   to make things simpler, but the theory is almost the same.
  2. ^ Eichler, Martin (1966). Introduction to the Theory of Algebraic Numbers and Functions. Academic Press. pp. 36–39.
  3. ^ Long, Darren D.; Maclachlan, Colin; Reid, Alan (2006). "Arithmetic Fuchsian groups of genus zero". Pure and Applied Math Quarterly 2. Special issue to celebrate the 60th birthday of Professor J. H. Coates (2): 569–599. doi:10.4310/PAMQ.2006.v2.n2.a9.
  4. ^ Richter, Olav (2000). "Theta functions of indefinite quadratic forms over real number fields". Proceedings of the American Mathematical Society. 128 (3): 701–708. doi:10.1090/s0002-9939-99-05619-1.
  5. ^ Clozel, Laurent (2003). "Démonstration de la Conjecture τ". Invent. Math. (in French). 151 (2): 297–328. Bibcode:2003InMat.151..297C. doi:10.1007/s00222-002-0253-8. S2CID 124409226.
  6. ^ Lubotzky & Segal 2003, Chapters 6–7.
  7. ^ Bass, H.; Milnor, John Willard; Serre, Jean-Pierre (1967), "Solution of the congruence subgroup problem for SLn (n ≥ 3) and Sp2n (n ≥ 2)", Publications Mathématiques de l'IHÉS, 33 (33): 59–137, doi:10.1007/BF02684586, ISSN 1618-1913, MR 0244257, S2CID 123107965 (Erratum)
  8. ^ Serre, Jean-Pierre (1970). "Le problème des sous-groupes de congruence pour SL2". Annals of Mathematics. Second Series (in French). 92: 489–527. doi:10.2307/1970630. JSTOR 1970630.
  9. ^ Platonov & Rapinchuk 1994, Proposition 9.10.
  10. ^ Sury 2003, Section 3.7.
  11. ^ Lubotzky & Segal 2003, Theorem 7.2.
  12. ^ Agol, Ian (2013). "The Virtual Haken Conjecture". Documenta Math. 18: 1045–1087. doi:10.4171/dm/421. S2CID 255586740.
  13. ^ Kazhdan, David (1977). "Some applications of the Weil representation". Journal d'Analyse Mathématique. 32: 235–248. doi:10.1007/bf02803582. S2CID 119982784.
  14. ^ Platonov & Rapinchuk 1994, p. 568.
  15. ^ Raghunatan, M.S. (2004). "The congruence subgroup problem". Proc. Indian Acad. Sci. Math. Sci. 114 (4): 299–308. doi:10.1007/BF02829437. S2CID 18414386.

References

edit
  • Lubotzky, Alexander; Segal, Dan (2003). Subgroup growth. Birkhäuser. ISBN 3-7643-6989-2.
  • Platonov, Vladimir; Rapinchuk, Andrei (1994). Algebraic groups and number theory. (Translated from the 1991 Russian original by Rachel Rowen.). Pure and Applied Mathematics. Vol. 139. Boston, MA: Academic Press, Inc. ISBN 0-12-558180-7. MR 1278263.
  • Sury, B. (2003). The congruence subgroup problem. Hindustan book agency. ISBN 81-85931-38-0.