The minimum index of a non-congruence subgroup of SL₂ over an arithmetic domain

DOI10.1007/BF02773059MaRDI QIDQ1870907zbMATH OpenOpenAlexFDO

Authors A. W. Mason, Andreas Schweizer

Publication date 6 July 2003

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02773059

zbMATH Keywords

arithmetic Dedekind ringsnon-congruence subgroupssubgroups of finite index

Mathematics Subject Classification ID

Structure of modular groups and generalizations; arithmetic groups (11F06) Subgroup theorems; subgroup growth (20E07) Unimodular groups, congruence subgroups (group-theoretic aspects) (20H05)

Review text

Let \(A\) be an arithmetic Dedekind ring with only finitely many units. Thus, there are 3 possibilities: (1) \(A\) is the rational integers; (2) \(A\) is the ring of integers in an imaginary quadratic extension of the rational numbers; (3) \(A\) is the coordinate ring of an affine curve over a finite field with one point at infinity. Serre proved that there are subgroups of finite index in \(\text{SL}_2(A)\) which are not congruence subgroups. The paper concerns the least index \(\text{ncs}(A)\). It is well-known that \(\text{ncs}(A)=7\) in case (1). Grunewald-Schwermer proved that \(\text{ncs}(A)=2\) in case (2) with 4 exceptions. The present paper proves that \(\text{ncs}(A)=2\) in case (3) with a ``small set of exceptions. The determination of \(\text{ncs}(A)\) on the exceptional set is stated as an open problem.

Recommendations

• THE MINIMUM INDEX OF A NON-CONGRUENCE SUBGROUP OF SL2 OVER AN ARITHMETIC DOMAIN. II: THE RANK ZERO CASES
• On the concept of level for subgroups of \(\text{SL}_2\) over arithmetic rings
• CONGRUENCE AND NON-CONGRUENCE SUBGROUPS OF THE (2,3,7)-GROUP
• scientific article; zbMATH DE number 1419387
• Free quotients of congruence subgroups of Bianchi groups

Cites work

• Algebraic function fields and codes
• Congruence hulls in \(SL_ n\)
• Drinfeld modular curves
• Free quotients of congruence subgroups of \(SL_ 2\) over a coordinate ring
• Groups generated by elements with rational fixed points
• scientific article; zbMATH DE number 3873585 (Why is no real title available?)
• scientific article; zbMATH DE number 3935154 (Why is no real title available?)
• Le problème des groupes de congruence pour \(SL_2\)
• On the concept of level for subgroups of \(\text{SL}_2\) over arithmetic rings
• On the group S L 2 over orders of arithmetic type.
• ON THE GROUPSL₂OVER DEDEKIND RINGS OF ARITHMETIC TYPE
• On the groups \(\mathrm{SL}_ 2(\mathbb{Z}[x])\) and \(\mathrm{SL}_ 2(k[x,y])\)
• Solution of the congruence subgroup problem for \(\text{SL}_ n\) \((n\geq 3)\) and \(\text{Sp}_{2n}\) \((n\geq 2)\)
• The Generalization of Nagao's Theorem to Other Subrings of the Rational Function Field

Cited in

(11)

• On the concept of level for subgroups of \(\text{SL}_2\) over arithmetic rings
• Computing quaternion quotient graphs via representations of orders
• On genera containing non-split Eichler orders over function fields
• Genuine non-congruence subgroups of Drinfeld modular groups
• Nonrational genus zero function fields and the Bruhat-Tits tree
• Normal Subgroups of Level Zero of the Bianchi Groups
• THE MINIMUM INDEX OF A NON-CONGRUENCE SUBGROUP OF SL2 OVER AN ARITHMETIC DOMAIN. II: THE RANK ZERO CASES
• scientific article; zbMATH DE number 1419387 (Why is no real title available?)
• The stabilizers in a Drinfeld modular group of the vertices of its Bruhat-Tits tree: an elementary approach
• Relative homology of arithmetic subgroups of \(\mathrm{SU}(3)\)
• Non-standard automorphisms and non-congruence subgroups of \(\mathrm{SL}_{2}\) over Dedekind domains contained in function fields

This page was built for publication: The minimum index of a non-congruence subgroup of \(\text{SL}_2\) over an arithmetic domain

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1870907)