Modular curve

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 Qn). 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 for some positive integer N, which is defined to be

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 called a modular curve, and 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* = HQ ∪ {∞}. 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). 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), X0(N), and X1(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 A5 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 X0(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 X0(N) and X1(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 X0(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.

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 − 2g 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, plural Hauptmoduln).

The spaces X1(n) have genus zero for n = 1, ..., 10 and n = 12. Since each of these curves is defined over Q and has a Q-rational point, it follows that there are infinitely many rational points on each such curve, and hence infinitely many 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.

X0(N) of genus one

The modular curves are of genus one if and only if equals one of the 12 values listed in the following table.[2] As elliptic curves over , they have minimal, integral Weierstrass models . This is, and the absolute value of the discriminant is minimal among all integral Weierstrass models for the same curve. The following table contains the unique reduced, minimal, integral Weierstrass models, which means and .[3] The last column of this table refers to the home page of the respective elliptic modular curve on The L-functions and modular forms database (LMFDB).

of genus 1
LMFDB
11 [0, -1, 1, -10, -20] link
14 [1, 0, 1, 4, -6] link
15 [1, 1, 1, -10, -10] link
17 [1, -1, 1, -1, -14] link
19 [0, 1, 1, -9, -15] link
20 [0, 1, 0, 4, 4] link
21 [1, 0, 0, -4, -1] link
24 [0, -1, 0, -4, 4] link
27 [0, 0, 1, 0, -7] link
32 [0, 0, 0, 4, 0] link
36 [0, 0, 0, 0, 1] link
49 [1, -1, 0, -2, -1] link

Relation with the Monster group

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 supersingular primes in moonshine theory, i.e. 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.[4]

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

References

  1. ^ Serre, Jean-Pierre (1977), Cours d'arithmétique, Le Mathématicien, vol. 2 (2nd ed.), Presses Universitaires de France
  2. ^ Birch, Bryan; Kuyk, Willem, eds. (1975). Modular functions of one variable IV. Lecture Notes in Mathematics. Vol. 476. Berlin, Heidelberg: Springer-Verlag. p. 79. ISBN 3-540-07392-2.
  3. ^ Ligozat, Gerard (1975). "Courbes modulaires de genre 1" (PDF). Bulletin de la Société Mathématique de France. 43: 44–45. Retrieved 2022-11-06.
  4. ^ Ogg (1974)

Read other articles:

Departamento de Recursos Naturales y Ambientales de Puerto Rico LocalizaciónPaís Estados UnidosInformación generalJurisdicción Puerto RicoTipo DepartamentoSede Edificio Cruz A. Matos, San Juan (Puerto Rico)OrganizaciónDirección Rafael A. Machargo MaldonadoEmpleados 1,096HistoriaFundación 20 de junio de 1972http://drna.pr.gov/[editar datos en Wikidata]  El Departamento de Recursos Naturales y Ambientales (DRNA) es un departamento ejecutivo del gobierno de Puerto Rico enca...

NA-111 Nankana Sahib-IConstituencyfor the National Assembly of PakistanRegionSangla Hill TehsilShah Kot TehsilNankana Sahib Tehsil (partly) of Nankana Sahib DistrictElectorate411,484Current constituencyMember(s)VacantCreated fromNA-135 Nankana Sahib-I-cum-SheikhupuraNA-136 Nankana Sahib-II-cum-SheikhupuraNA-137 Nankana Sahib-III NA-111 Nankana Sahib-I (این اے-111، ننکانہ صاحب-١) is a constituency for the National Assembly of Pakistan.[1] Area During the delimitation o...

هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (أبريل 2019) توماس ر. كاين (بالإنجليزية: Thomas R. Kane)‏  معلومات شخصية الميلاد 23 مارس 1924  فيينا  الوفاة 16 فبراير 2019 (94 سنة) [1]  ستانفرد، كاليفورنيا  مواطنة الولاي

「グルジア」はこの項目へ転送されています。その他の用法については「グルジア (曖昧さ回避)」をご覧ください。 ジョージア საქართველო (国旗) (国章) 国の標語:ძალა ერთობაშია(ジョージア語: 力は団結にあり) 国歌:თავისუფლება(グルジア語)タヴィスプレバ(自由) 公用語 ジョージア語 首都 トビリシ 最大の都市 �...

2021 MMA event UFC 264: Poirier vs. McGregor 3The poster for UFC 264: Poirier vs. McGregor 3InformationPromotionUltimate Fighting ChampionshipDateJuly 10, 2021 (2021-07-10)VenueT-Mobile ArenaCityParadise, Nevada, United StatesAttendance20,062[1]Total gate$15,759,800[1]Buyrate1,800,000[2]Event chronology UFC Fight Night: Gane vs. Volkov UFC 264: Poirier vs. McGregor 3 UFC on ESPN: Makhachev vs. Moisés UFC 264: Poirier vs. McGregor 3 was a mixed martial a...

This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Palais des Sports de Marseille – news · newspapers · books · scholar · JSTOR (October 2012) (Learn how and when to remove this template message) Palais des Sports de MarseilleLocationMarseille, Bouches-du-Rhône, Provence-Alpes-Côte d'Azur FranceOwnerCity of MarseilleOperatorCi...

Logo owned by Nike to promote the Air Jordan brand For other uses, see Jumpman (disambiguation). This article is about the logo called Jumpman. For the character formerly known as Jumpman, see Mario. The Jumpman logo, used by Nike to promote its Air Jordan brand of shoes, among other merchandise This article is part of a series aboutMichael Jordan Career Career achievements The Shot Game 6 of the 1998 NBA Finals 1982 NCAA Championship Game Air Jordan (Jumpman) Jordan Rules Family James R. Jor...

British rock band Siouxsie and the BansheesThe band in 1979, left to right: Kenny Morris, Siouxsie Sioux, John McKay and Steven SeverinBackground informationAlso known asJanet and the IcebergsOriginLondon, EnglandGenres Post-punk alternative rock new wave gothic rock alternative pop Years active1976–1996, 2002Labels Polydor Geffen Sanctuary Past members Siouxsie Sioux Steven Severin Marco Pirroni Sid Vicious Kenny Morris Peter Fenton John McKay Budgie Robert Smith John McGeoch John Valentin...

Pitching role in baseball Sergio Romo served as an opener in 2018. In baseball, an opening pitcher, more frequently referred to as an opener, is a pitcher who specializes in getting the first outs in a game, before being replaced by a long reliever or a pitcher who would typically be a starting pitcher. Pitchers employed in the role of opener have usually been relief pitchers by trade. The strategy was frequently employed in Major League Baseball (MLB) by the Tampa Bay Rays during the 2018 se...

Basiliek van de Martelaren van Oeganda Plaats Munyonyo Denominatie Rooms-katholiek Coördinaten 0° 14′ NB, 32° 37′ OL Gebouwd in 2015 - 2016 Kerkprovincie Aartsbisdom Kampala Portaal    Christendom De Basiliek van de Martelaren van Oeganda (Engels: Basilica of the Uganda Martyrs) is een basilica minor in Munyonyo, in het zuiden van de Oegandese hoofdstad Kampala. De basiliek is gewijd aan de martelaren van Oeganda. Interieur van de basiliek Munyonyo is de plaats w...

2018 Chinese television series NegotiatorAlso known asNegotiationGenreWorkplaceRomanceWritten byFei HuijunLi XiaoliangDirected byLiu YizhiStarringYang MiHuang ZitaoCountry of originChinaOriginal languageMandarinNo. of seasons1No. of episodes43 (TV), 41 (DVD)ProductionProduction locationsShanghaiNew YorkHawaiiRunning time45 minsProduction companiesCroton MediaJay Walk StudioLe.comT.H EntertainmentOriginal releaseNetworkHunan TVReleaseFebruary 4 (2018-02-04) –March 3, 2018 (201...

Canadian singer and actor For other people named Thomas Jackson, see Thomas Jackson (disambiguation). Tom JacksonCCJackson in 2012BornThomas Dale Jackson (1948-10-27) 27 October 1948 (age 75)One Arrow First Nation, Saskatchewan, CanadaOccupation(s)Actor, singerYears active1985–present Thomas Dale Jackson, CC (born 27 October 1948) is a Canadian actor and singer. He created and starred in an annual series of Christmas concerts called the Huron Carole for 18 years. He was the Chance...

Passport of the Republic of Ghana issued to Ghanaian citizens Ghanaian PassportFront cover of a contemporary Ghanaian passportIdentification pageTypePassportIssued by GhanaPurposeIdentity documentEligibilityGhanaian citizenshipExpiration10 years[1]CostGH₵640 (US$110[2])[3] Ghanaian passports are issued exclusively by the Ministry of Foreign Affairs and Regional Integration to Ghanaians granted citizenship in accordance with the Ghanaian nationality law. There ar...

Alexandra Moreno Piraquive Cónsul de Notaría, Supervivencias y Tarjeta Consular Actualmente en el cargo Desde el 14 de mayo de 2019Consulado Nueva York Senadora de la República de Colombia 20 de julio de 2002-20 de julio de 2014Comisión Segunda Fundadora de la Fundación Red 23 de abril de 2005-presenteSucesor En funciones Presidenta del Movimiento MIRA 1 de enero de 2004-31 de enero de 2008Predecesor Carlos Alberto BaenaSucesor Carlos Alberto Baena Información personalNacimiento 23 de a...

Voce principale: Associazione Calcio Femminile Aurora Bergamo. U.S. Aurora Mombretto 1972Stagione 1982Sport calcio Squadra Aurora Mombretto Allenatore Vincenzo Ponzo Presidente Serie A13º posto, retrocessa in Serie B. Coppa Italia???. 1981 1983 Si invita a seguire il modello di voce Questa voce raccoglie le informazioni riguardanti la società calcistica femminile Unione Sportiva Aurora Mombretto 1972 nelle competizioni ufficiali della stagione 1982. Indice 1 Stagione 2 Rosa 3 Note 4 Bi...

Private university located in San Rafael, California For other colleges with the same name, see Dominican College (disambiguation). Dominican University of CaliforniaFormer namesDominican College (1890–1931)Dominican College of San Rafael (1931–2000)MottoVeritas Fax Ardens (Latin)Motto in EnglishTruth is a Flaming TorchTypePrivate universityEstablished1890; 133 years ago (1890)FounderDominican Congregation of the Most Holy NameAcademic affiliationsCICCONAHECNAICUEnd...

李干杰 中国共产党中央政治局委员现任就任日期2022年10月23日 总书记习近平 中国共产党中央委员会组织部部长现任就任日期2023年4月 总书记习近平前任陈希 中国共产党山东省委员会书记任期2021年9月30日—2022年12月29日 前任刘家义继任林武 山东省人民政府省长任期2020年7月21日—2021年9月30日 前任龚正继任周乃翔 中华人民共和国生态环境部部长任期2018年3月19日—2020年4月29�...

Paghimo ni bot Lsjbot. Mayna pubescens Hulga sa Pagkapuo Nameligrong mapuo  (IUCN 3.1)[1] Siyentipikinhong Pagklasipikar Kaginharian: Plantae Kabahig: Tracheophyta Kahutong: Magnoliopsida Kahanay: Malpighiales Kabanay: Achariaceae Kahenera: 'Mayna' Espesye: ''Mayna pubescens'' Siyentipikinhong Ngalan Mayna pubescens(Triana & Karsten) Warburg Kaliwatan sa tanom nga bulak ang Mayna pubescens.[2] Una ning gihulagway ni José Jéronimo Triana ug Karsten, ug gihatagan sa e...

Pandemi COVID-19 di Uttar PradeshPeta distrik dengan kasus terkonfirmasiPenyakitCOVID-19Galur virusSARS-CoV-2LokasiUttar Pradesh, IndiaKasus pertamaGhaziabadTanggal kemunculan4 Maret 2020(4 tahun, 4 bulan, 1 minggu dan 5 hari)AsalChinaKasus terkonfirmasi45.163 (17 Juli 2020)Kasus dirawat23.174Kasus sembuh21.127 (9 Juli 2020)Kematian862 (9 Juli 2020)Tingkat kematian1.91%Wilayah terdampakSeluruh distrikSitus web resmihttps://www.mohfw.gov.in/ https://www.covid19india.org/ Pa...

Battle between Iraqi Kurdish forces and ISIL in IraqThis article is about a battle between ISIL and Iraq in 2015. For other uses, see Battle of Kirkuk. Battle of Kirkuk (2015)Part of the War in IraqLocation in IraqDate30 January – 1 February 2015 (2 days)LocationKirkuk, IraqResult Status quo ante bellumBelligerents  Kurdistan Region[1] Airstrikes: CJTF-OIR Islamic State of Iraq and the LevantCommanders and leaders Masoud Barzani(President of Iraqi Kurdistan) Major General ...