# Difference between revisions of "Modular curve"

(→References: better) |
en>Gutworth (→Examples: fix definition of \Gamma_1) |
||

(2 intermediate revisions by 2 users not shown) | |||

Line 1: | Line 1: | ||

− | In [[number theory]] and [[algebraic geometry]], a '''modular curve''' ''Y''(Γ) is a [[Riemann surface]], or the corresponding [[algebraic curve]], constructed as a [[Quotient by a group action|quotient]] of the complex [[upper half-plane]] ''H'' by the [[group action|action]] of a [[congruence subgroup]] Γ of the [[modular group]] of integral 2×2 matrices SL(2, '''Z'''). The term modular curve can also be used to refer to the '''compactified modular curves''' ''X''(Γ) which are [[compactification (mathematics)|compactification]]s obtained by adding finitely many points (called the '''cusps of Γ''') to this quotient (via an action on the '''extended complex upper-half plane'''). The points of a modular curve [[moduli problem|parametrize]] isomorphism classes of [[elliptic curve]]s, together with some additional structure depending on the group Γ. This interpretation allows one to give a purely algebraic definition of modular curves, without reference to complex numbers, and, moreover, prove that modular curves are [[field of definition|defined]] either over the field '''Q''' of [[rational number]]s, or a [[cyclotomic field]]. The latter fact and its generalizations are of fundamental importance in number theory. | + | In [[number theory]] and [[algebraic geometry]], a '''modular curve''' ''Y''(Γ) is a [[Riemann surface]], or the corresponding [[algebraic curve]], constructed as a [[Quotient by a group action|quotient]] of the complex [[upper half-plane]] '''H''' by the [[group action|action]] of a [[congruence subgroup]] Γ of the [[modular group]] of integral 2×2 matrices SL(2, '''Z'''). The term modular curve can also be used to refer to the '''compactified modular curves''' ''X''(Γ) which are [[compactification (mathematics)|compactification]]s obtained by adding finitely many points (called the '''cusps of Γ''') to this quotient (via an action on the '''extended complex upper-half plane'''). The points of a modular curve [[moduli problem|parametrize]] isomorphism classes of [[elliptic curve]]s, together with some additional structure depending on the group Γ. This interpretation allows one to give a purely algebraic definition of modular curves, without reference to complex numbers, and, moreover, prove that modular curves are [[field of definition|defined]] either over the field '''Q''' of [[rational number]]s, or a [[cyclotomic field]]. The latter fact and its generalizations are of fundamental importance in number theory. |

== Analytic definition == | == Analytic definition == | ||

+ | The modular group SL(2, '''Z''') acts on the upper half-plane by [[fractional linear transformation]]s. The analytic definition of a modular curve involves a choice of a congruence subgroup Γ of SL(2, '''Z'''), i.e. a subgroup containing the [[principal congruence subgroup|principal congruence subgroup of level ''N'']] Γ(''N''), for some positive integer ''N'', where | ||

− | |||

:<math>\Gamma(N)=\left\{ | :<math>\Gamma(N)=\left\{ | ||

\begin{pmatrix} | \begin{pmatrix} | ||

a & b\\ | a & b\\ | ||

c & d\\ | c & d\\ | ||

− | \end{pmatrix}:a,d\ | + | \end{pmatrix} : \ a, d \equiv \pm 1 \mod N \text{ and } b, c \equiv0 \mod N \right\}.</math> |

− | \right\}.</math> | + | |

− | The minimal such ''N'' is called the '''level of Γ'''. A [[complex structure]] can be put on the quotient Γ\''H'' to obtain a [[noncompact]] Riemann surface commonly denoted ''Y''(Γ). | + | The minimal such ''N'' is called the '''level of Γ'''. A [[Complex manifold|complex structure]] can be put on the quotient Γ\'''H''' to obtain a [[noncompact]] Riemann surface commonly denoted ''Y''(Γ). |

=== Compactified modular curves === | === Compactified modular curves === | ||

+ | A common compactification of ''Y''(Γ) is obtained by adding finitely many points called the cusps of Γ. Specifically, this is done by considering the action of Γ on the '''extended complex upper-half plane''' '''H'''* = {{nowrap|'''H''' ∪ '''Q''' ∪ {∞}}}. We introduce a topology on '''H'''* by taking as a basis: | ||

+ | * any open subset of '''H''', | ||

+ | * for all ''r'' > 0, the set <math>\{\infty\}\cup\{\tau\in \mathbf{H} \mid\text{Im}(\tau)>r\}</math> | ||

+ | * for all [[coprime integers]] ''a'', ''c'' and all ''r'' > 0, the image of <math>\{\infty\}\cup\{\tau\in \mathbf{H} \mid\text{Im}(\tau)>r\}</math> under the action of | ||

+ | ::<math>\begin{pmatrix}a & -m\\c & n\end{pmatrix}</math> | ||

+ | :where ''m'', ''n'' are integers such that ''an'' + ''cm'' = 1. | ||

− | + | This turns '''H'''* into a topological space which is a subset of the [[Riemann sphere]] '''P'''<sup>1</sup>('''C'''). The group Γ acts on the subset {{nowrap|'''Q''' ∪ {∞}}}, breaking it up into finitely many [[Orbit (group theory)|orbits]] called the '''cusps of Γ'''. If Γ acts transitively on {{nowrap|'''Q''' ∪ {∞}}}, the space Γ\'''H'''* becomes the [[Alexandroff compactification]] of Γ\'''H'''. Once again, a complex structure can be put on the quotient Γ\'''H'''* turning it into a Riemann surface denoted ''X''(Γ) which is now [[Compact space|compact]]. This space is a compactification of ''Y''(Γ).<ref>{{citation|last=Serre|first= Jean-Pierre|title=Cours d'arithmétique|edition=2nd|series= Le Mathématicien|volume= 2|publisher= Presses Universitaires de France|year= 1977}}</ref> | |

− | |||

− | * | ||

− | |||

− | |||

− | |||

== Examples == | == Examples == | ||

The most common examples are the curves ''X''(''N''), ''X''<sub>0</sub>(''N''), and ''X''<sub>1</sub>(''N'') associated with the subgroups Γ(''N''), Γ<sub>0</sub>(''N''), and Γ<sub>1</sub>(''N''). | The most common examples are the curves ''X''(''N''), ''X''<sub>0</sub>(''N''), and ''X''<sub>1</sub>(''N'') associated with the subgroups Γ(''N''), Γ<sub>0</sub>(''N''), and Γ<sub>1</sub>(''N''). | ||

− | The modular curve ''X''(5) has genus 0: it is the Riemann sphere with 12 cusps located at the vertices of a regular [[icosahedron]]. The covering ''X''(5) → ''X''(1) is realized by the action of the [[icosahedral symmetry|icosahedral group]] on the Riemann sphere. This group is a simple group of order 60 isomorphic to ''A''<sub>5</sub> and PSL(2,5). | + | The modular curve ''X''(5) has genus 0: it is the Riemann sphere with 12 cusps located at the vertices of a regular [[icosahedron]]. The covering ''X''(5) → ''X''(1) is realized by the action of the [[icosahedral symmetry|icosahedral group]] on the Riemann sphere. This group is a simple group of order 60 isomorphic to ''A''<sub>5</sub> and PSL(2, 5). |

+ | |||

+ | The modular curve ''X''(7) is the [[Klein quartic]] of genus 3 with 24 cusps. It can be interpreted as a surface with three handles tiled by 24 heptagons, with a cusp at the center of each face. These tilings can be understood via [[dessins d'enfants]] and [[Belyi function]]s – the cusps are the points lying over ∞ (red dots), while the vertices and centers of the edges (black and white dots) are the points lying over 0 and 1. The Galois group of the covering ''X''(7) → ''X''(1) is a simple group of order 168 isomorphic to [[PSL(2,7)|PSL(2, 7)]]. | ||

+ | |||

+ | There is an explicit classical model for ''X''<sub>0</sub>(''N''), the [[classical modular curve]]; this is sometimes called ''the'' modular curve. The definition of Γ(''N'') can be restated as follows: it is the subgroup of the modular group which is the kernel of the reduction [[Modular arithmetic|modulo]] ''N''. Then Γ<sub>0</sub>(''N'') is the larger subgroup of matrices which are upper triangular modulo ''N'': | ||

− | + | :<math>\left \{ \begin{pmatrix} a & b \\ c & d\end{pmatrix} : \ c\equiv 0 \mod N \right \},</math> | |

− | + | and Γ<sub>1</sub>(''N'') is the intermediate group defined by: | |

− | \begin{ | + | |

− | \end{ | + | :<math>\left \{ \begin{pmatrix} a & b \\ c & d\end{pmatrix} : \ a\equiv d\equiv 1\mod N, c\equiv 0 \mod N \right \}.</math> |

These curves have a direct interpretation as [[moduli space]]s for [[elliptic curve]]s with ''level structure'' and for this reason they play an important role in [[arithmetic geometry]]. The level ''N'' modular curve ''X''(''N'') is the moduli space for elliptic curves with a basis for the ''N''-[[torsion (algebra)|torsion]]. For ''X''<sub>0</sub>(''N'') and ''X''<sub>1</sub>(''N''), the level structure is, respectively, a cyclic subgroup of order ''N'' and a point of order ''N''. These curves have been studied in great detail, and in particular, it is known that ''X''<sub>0</sub>(''N'') can be defined over '''Q'''. | These curves have a direct interpretation as [[moduli space]]s for [[elliptic curve]]s with ''level structure'' and for this reason they play an important role in [[arithmetic geometry]]. The level ''N'' modular curve ''X''(''N'') is the moduli space for elliptic curves with a basis for the ''N''-[[torsion (algebra)|torsion]]. For ''X''<sub>0</sub>(''N'') and ''X''<sub>1</sub>(''N''), the level structure is, respectively, a cyclic subgroup of order ''N'' and a point of order ''N''. These curves have been studied in great detail, and in particular, it is known that ''X''<sub>0</sub>(''N'') can be defined over '''Q'''. | ||

Line 36: | Line 41: | ||

The equations defining modular curves are the best-known examples of [[modular equation]]s. The "best models" can be very different from those taken directly from [[elliptic function]] theory. [[Hecke operator]]s may be studied geometrically, as [[Correspondence (mathematics)|correspondence]]s connecting pairs of modular curves. | The equations defining modular curves are the best-known examples of [[modular equation]]s. The "best models" can be very different from those taken directly from [[elliptic function]] theory. [[Hecke operator]]s may be studied geometrically, as [[Correspondence (mathematics)|correspondence]]s connecting pairs of modular curves. | ||

− | '''Remark''': quotients of ''H'' that ''are'' compact do occur for [[Fuchsian group]]s Γ other than subgroups of the modular group; a class of them constructed from [[quaternion algebra]]s is also of interest in number theory. | + | '''Remark''': quotients of '''H''' that ''are'' compact do occur for [[Fuchsian group]]s Γ other than subgroups of the modular group; a class of them constructed from [[quaternion algebra]]s is also of interest in number theory. |

== Genus == | == Genus == | ||

− | + | The covering ''X''(''N'') → ''X''(1) is Galois, with Galois group SL(2, ''N'')/{1, −1}, which is equal to PSL(2, ''N'') if ''N'' is prime. Applying the [[Riemann–Hurwitz formula]] and [[Gauss–Bonnet theorem]], one can calculate the genus of ''X''(''N''). For a [[prime number|prime]] level ''p'' ≥ 5, | |

− | The covering ''X''(''N'') → ''X''( | ||

:<math>-\pi\chi(X(p)) = |G|\cdot D,</math> | :<math>-\pi\chi(X(p)) = |G|\cdot D,</math> | ||

− | where | + | where χ = 2 − 2''g'' is the [[Euler characteristic]], |''G''| = (''p''+1)''p''(''p''−1)/2 is the order of the group PSL(2, ''p''), and ''D'' = π − π/2 − π/3 − π/''p'' is the [[defect (geometry)|angular defect]] of the spherical (2,3,''p'') triangle. This results in a formula |

− | :<math>g = (p+2)(p-3)(p-5) | + | :<math>g = \tfrac{1}{24}(p+2)(p-3)(p-5).</math> |

− | Thus ''X''(5) has genus 0, ''X''(7) has genus 3, and ''X''(11) has genus 26. For ''p'' | + | Thus ''X''(5) has genus 0, ''X''(7) has genus 3, and ''X''(11) has genus 26. For ''p'' = 2 or 3, one must additionally take into account the ramification, that is, the presence of order ''p'' elements in PSL(2, '''Z'''), and the fact that PSL(2, 2) has order 6, rather than 3. There is a more complicated formula for the genus of the modular curve ''X''(''N'') of any level ''N'' that involves divisors of ''N''. |

===Genus zero=== | ===Genus zero=== | ||

− | In general a '''modular function field''' is a [[Function field of an algebraic variety|function field]] of a modular curve (or, occasionally, of some other [[moduli space]] that turns out to be an [[irreducible variety]]). [[Genus (mathematics)|Genus]] zero means such a function field has a single [[transcendental function]] as generator: for example the [[J-invariant|j-function]] generates the function field of ''X''(1) = PSL(2,'''Z''')\''H''. The traditional name for such a generator, which is unique up to a [[Möbius transformation]] and can be appropriately normalized, is a '''Hauptmodul''' ('''main''' or '''principal modular function'''). | + | In general a '''modular function field''' is a [[Function field of an algebraic variety|function field]] of a modular curve (or, occasionally, of some other [[moduli space]] that turns out to be an [[irreducible variety]]). [[Genus (mathematics)|Genus]] zero means such a function field has a single [[transcendental function]] as generator: for example the [[J-invariant|j-function]] generates the function field of ''X''(1) = PSL(2, '''Z''')\'''H'''. The traditional name for such a generator, which is unique up to a [[Möbius transformation]] and can be appropriately normalized, is a '''Hauptmodul''' ('''main''' or '''principal modular function'''). |

− | The spaces ''X''<sub>1</sub>(''n'') have genus zero for | + | The spaces ''X''<sub>1</sub>(''n'') have genus zero for ''n'' = 1, ..., 10 and ''n'' = 12. Since these curves are defined over '''Q''', it follows that there are infinitely many rational points on each such curve, and hence infinitely elliptic curves defined over '''Q''' with ''n''-torsion for these values of ''n''. The converse statement, that only these values of ''n'' can occur, is [[Mazur's torsion theorem]]. |

== Relation with the Monster group == | == Relation with the Monster group == | ||

{{Unreferenced section|date=August 2009}} | {{Unreferenced section|date=August 2009}} | ||

− | Modular curves of genus 0, which are quite rare, turned out to be of major importance in relation with the [[monstrous moonshine]] conjectures. First several coefficients of ''q''-expansions of | + | Modular curves of genus 0, which are quite rare, turned out to be of major importance in relation with the [[monstrous moonshine]] conjectures. First several coefficients of ''q''-expansions of their Hauptmoduln were computed already in the 19th century, but it came as a shock that the same large integers show up as dimensions of representations of the largest sporadic simple group Monster. |

− | Another connection is that the modular curve corresponding to the [[normalizer]] Γ<sub>0</sub>(''p'')<sup>+</sup> of [[modular group Gamma0| | + | Another connection is that the modular curve corresponding to the [[normalizer]] Γ<sub>0</sub>(''p'')<sup>+</sup> of [[modular group Gamma0|Γ<sub>0</sub>]](''p'') in SL(2, '''R''') has genus zero if and only if ''p'' is 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59 or 71, and these are precisely the prime factors of the order of the [[monster group]]. The result about Γ<sub>0</sub>(''p'')<sup>+</sup> is due to [[Jean-Pierre Serre]], [[Andrew Ogg]] and [[John G. Thompson]] in the 1970s, and the subsequent observation relating it to the monster group is due to Ogg, who wrote up a paper offering a bottle of [[Jack Daniel's]] whiskey to anyone who could explain this fact, which was a starting point for the theory of monstrous moonshine. |

The relation runs very deep and as demonstrated by [[Richard Borcherds]], it also involves [[generalized Kac–Moody algebra]]s. Work in this area underlined the importance of [[modular function|modular ''functions'']] that are meromorphic and can have poles at the cusps, as opposed to [[modular form|modular ''forms'']], that are holomorphic everywhere, including the cusps, and had been the main objects of study for the better part of the 20th century. | The relation runs very deep and as demonstrated by [[Richard Borcherds]], it also involves [[generalized Kac–Moody algebra]]s. Work in this area underlined the importance of [[modular function|modular ''functions'']] that are meromorphic and can have poles at the cusps, as opposed to [[modular form|modular ''forms'']], that are holomorphic everywhere, including the cusps, and had been the main objects of study for the better part of the 20th century. | ||

== See also == | == See also == | ||

− | |||

*[[Manin–Drinfeld theorem]] | *[[Manin–Drinfeld theorem]] | ||

*[[Modularity theorem]] | *[[Modularity theorem]] | ||

Line 90: | Line 93: | ||

| isbn = 1-4020-0609-8 | | isbn = 1-4020-0609-8 | ||

| chapter = Modular curve | | chapter = Modular curve | ||

+ | | authorlink2 = A.N. Parshin | ||

| first1 = A.A. | last1 = Panchishkin | | first1 = A.A. | last1 = Panchishkin | ||

| first2 = A.N. | last2 = Parshin | | first2 = A.N. | last2 = Parshin | ||

Line 97: | Line 101: | ||

[[Category:Algebraic curves]] | [[Category:Algebraic curves]] | ||

[[Category:Modular forms]] | [[Category:Modular forms]] | ||

− | + | [[Category:Riemann surfaces]] | |

− | [[ | ||

− | |||

− | |||

− |

## Latest revision as of 19:47, 19 November 2014

In number theory and algebraic geometry, a **modular curve** *Y*(Γ) is a Riemann surface, or the corresponding algebraic curve, constructed as a quotient of the complex upper half-plane **H** by the action of a congruence subgroup Γ of the modular group of integral 2×2 matrices SL(2, **Z**). The term modular curve can also be used to refer to the **compactified modular curves** *X*(Γ) which are compactifications obtained by adding finitely many points (called the **cusps of Γ**) to this quotient (via an action on the **extended complex upper-half plane**). The points of a modular curve parametrize isomorphism classes of elliptic curves, together with some additional structure depending on the group Γ. This interpretation allows one to give a purely algebraic definition of modular curves, without reference to complex numbers, and, moreover, prove that modular curves are defined either over the field **Q** of rational numbers, or a cyclotomic field. The latter fact and its generalizations are of fundamental importance in number theory.

## Analytic definition

The modular group SL(2, **Z**) acts on the upper half-plane by fractional linear transformations. The analytic definition of a modular curve involves a choice of a congruence subgroup Γ of SL(2, **Z**), i.e. a subgroup containing the principal congruence subgroup of level *N* Γ(*N*), for some positive integer *N*, where

The minimal such *N* is called the **level of Γ**. A complex structure can be put on the quotient Γ\**H** to obtain a noncompact Riemann surface commonly denoted *Y*(Γ).

### Compactified modular curves

A common compactification of *Y*(Γ) is obtained by adding finitely many points called the cusps of Γ. Specifically, this is done by considering the action of Γ on the **extended complex upper-half plane** **H*** = **H** ∪ **Q** ∪ {∞}. We introduce a topology on **H*** by taking as a basis:

- any open subset of
**H**, - for all
*r*> 0, the set - for all coprime integers
*a*,*c*and all*r*> 0, the image of under the action of

This turns **H*** into a topological space which is a subset of the Riemann sphere **P**^{1}(**C**). The group Γ acts on the subset **Q** ∪ {∞}, breaking it up into finitely many orbits called the **cusps of Γ**. If Γ acts transitively on **Q** ∪ {∞}, the space Γ\**H*** becomes the Alexandroff compactification of Γ\**H**. Once again, a complex structure can be put on the quotient Γ\**H*** turning it into a Riemann surface denoted *X*(Γ) which is now compact. This space is a compactification of *Y*(Γ).^{[1]}

## Examples

The most common examples are the curves *X*(*N*), *X*_{0}(*N*), and *X*_{1}(*N*) associated with the subgroups Γ(*N*), Γ_{0}(*N*), and Γ_{1}(*N*).

The modular curve *X*(5) has genus 0: it is the Riemann sphere with 12 cusps located at the vertices of a regular icosahedron. The covering *X*(5) → *X*(1) is realized by the action of the icosahedral group on the Riemann sphere. This group is a simple group of order 60 isomorphic to *A*_{5} and PSL(2, 5).

The modular curve *X*(7) is the Klein quartic of genus 3 with 24 cusps. It can be interpreted as a surface with three handles tiled by 24 heptagons, with a cusp at the center of each face. These tilings can be understood via dessins d'enfants and Belyi functions – the cusps are the points lying over ∞ (red dots), while the vertices and centers of the edges (black and white dots) are the points lying over 0 and 1. The Galois group of the covering *X*(7) → *X*(1) is a simple group of order 168 isomorphic to PSL(2, 7).

There is an explicit classical model for *X*_{0}(*N*), the classical modular curve; this is sometimes called *the* modular curve. The definition of Γ(*N*) can be restated as follows: it is the subgroup of the modular group which is the kernel of the reduction modulo *N*. Then Γ_{0}(*N*) is the larger subgroup of matrices which are upper triangular modulo *N*:

and Γ_{1}(*N*) is the intermediate group defined by:

These curves have a direct interpretation as moduli spaces for elliptic curves with *level structure* and for this reason they play an important role in arithmetic geometry. The level *N* modular curve *X*(*N*) is the moduli space for elliptic curves with a basis for the *N*-torsion. For *X*_{0}(*N*) and *X*_{1}(*N*), the level structure is, respectively, a cyclic subgroup of order *N* and a point of order *N*. These curves have been studied in great detail, and in particular, it is known that *X*_{0}(*N*) can be defined over **Q**.

The equations defining modular curves are the best-known examples of modular equations. The "best models" can be very different from those taken directly from elliptic function theory. Hecke operators may be studied geometrically, as correspondences connecting pairs of modular curves.

**Remark**: quotients of **H** that *are* compact do occur for Fuchsian groups Γ other than subgroups of the modular group; a class of them constructed from quaternion algebras is also of interest in number theory.

## Genus

The covering *X*(*N*) → *X*(1) is Galois, with Galois group SL(2, *N*)/{1, −1}, which is equal to PSL(2, *N*) if *N* is prime. Applying the Riemann–Hurwitz formula and Gauss–Bonnet theorem, one can calculate the genus of *X*(*N*). For a prime level *p* ≥ 5,

where χ = 2 − 2*g* is the Euler characteristic, |*G*| = (*p*+1)*p*(*p*−1)/2 is the order of the group PSL(2, *p*), and *D* = π − π/2 − π/3 − π/*p* is the angular defect of the spherical (2,3,*p*) triangle. This results in a formula

Thus *X*(5) has genus 0, *X*(7) has genus 3, and *X*(11) has genus 26. For *p* = 2 or 3, one must additionally take into account the ramification, that is, the presence of order *p* elements in PSL(2, **Z**), and the fact that PSL(2, 2) has order 6, rather than 3. There is a more complicated formula for the genus of the modular curve *X*(*N*) of any level *N* that involves divisors of *N*.

### Genus zero

In general a **modular function field** is a function field of a modular curve (or, occasionally, of some other moduli space that turns out to be an irreducible variety). Genus zero means such a function field has a single transcendental function as generator: for example the j-function generates the function field of *X*(1) = PSL(2, **Z**)\**H**. The traditional name for such a generator, which is unique up to a Möbius transformation and can be appropriately normalized, is a **Hauptmodul** (**main** or **principal modular function**).

The spaces *X*_{1}(*n*) have genus zero for *n* = 1, ..., 10 and *n* = 12. Since these curves are defined over **Q**, it follows that there are infinitely many rational points on each such curve, and hence infinitely elliptic curves defined over **Q** with *n*-torsion for these values of *n*. The converse statement, that only these values of *n* can occur, is Mazur's torsion theorem.

## Relation with the Monster group

{{ safesubst:#invoke:Unsubst||$N=Unreferenced section |date=__DATE__ |$B=
{{ safesubst:#invoke:Unsubst||$N=Unreferenced |date=__DATE__ |$B=
{{#invoke:Message box|ambox}}
}}
}}
Modular curves of genus 0, which are quite rare, turned out to be of major importance in relation with the monstrous moonshine conjectures. First several coefficients of *q*-expansions of their Hauptmoduln were computed already in the 19th century, but it came as a shock that the same large integers show up as dimensions of representations of the largest sporadic simple group Monster.

Another connection is that the modular curve corresponding to the normalizer Γ_{0}(*p*)^{+} of Γ_{0}(*p*) in SL(2, **R**) has genus zero if and only if *p* is 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59 or 71, and these are precisely the prime factors of the order of the monster group. The result about Γ_{0}(*p*)^{+} is due to Jean-Pierre Serre, Andrew Ogg and John G. Thompson in the 1970s, and the subsequent observation relating it to the monster group is due to Ogg, who wrote up a paper offering a bottle of Jack Daniel's whiskey to anyone who could explain this fact, which was a starting point for the theory of monstrous moonshine.

The relation runs very deep and as demonstrated by Richard Borcherds, it also involves generalized Kac–Moody algebras. Work in this area underlined the importance of modular *functions* that are meromorphic and can have poles at the cusps, as opposed to modular *forms*, that are holomorphic everywhere, including the cusps, and had been the main objects of study for the better part of the 20th century.

## See also

- Manin–Drinfeld theorem
- Modularity theorem
- Shimura variety, a generalization of modular curves to higher dimensions

## References

- ↑ {{#invoke:citation/CS1|citation |CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }}

- {{#invoke:citation/CS1|citation

|CitationClass=citation }} Template:Refend