Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Modular curve
Summary
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 of rational numbers Q or a cyclotomic field Q(ζn). The latter fact and its generalizations are of fundamental importance in number theory.
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(Γ).
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
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 P1(C).
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood