On the Finiteness of Isolated $j$-invariants for $X_1(N)$

Technische Samenvatting: Over de eindigheid van geïsoleerde $j$-invarianten voor $X_1(N)$

Probleemstelling
De classificatie van rationale punten op modulaire curven $X_1(N)$ is een centraal probleem in de arithmetische meetkunde. Terwijl punten die behoren tot oneindige geparametriseerde families (zoals die voortvloeien uit afbeeldingen naar $\mathbb{P}^1$ of abelse variëteiten) goed begrepen zijn, vormen "geïsoleerde" punten—punten die niet behoren tot dergelijke families—een significante obstructie voor een volledige classificatie van punten van een vaste graad. Dit artikel richt zich specifiek op de collectie van geïsoleerde $j$-invarianten voor $X_1(N)$, gedefinieerd als de $j$-waarden van geïsoleerde punten op $X_1(N)$ die worden afgebeeld op de $j$-lijn $X_1(1) \cong \mathbb{P}^1$.

De primaire vraag die wordt behandeld is Vraag 1 (van Bourdon et al. [10]): Zijn er slechts eindig veel geïsoleerde $j$-invarianten van elke vaste graad? Hoewel de Merel-uniformiteitsstelling garandeert dat er eindig veel geïsoleerde punten van een vaste graad zijn op elke specifieke $X_1(N)$, impliceert dit niet direct de eindigheid van geïsoleerde $j$-invarianten naarmate $N$ varieert. Dit artikel onderzoekt de relatie tussen deze vraag en andere uniformiteitsvermoedens in het vakgebied en stelt nieuwe eindelijkheidsresultaten vast, met name voor elliptische curven met rationale $j$-invarianten.

Methodologie
Het artikel maakt gebruik van een combinatie van moduli-theorie, Galois-representatieanalyse en geometrische grenzen op modulaire curven.

1. Interactie tussen hypothesen: De auteur stelt logische implicaties vast tussen vier belangrijke hypothesen betreffende de uniformiteit van elliptische curven over getallenlichamen van vaste graad $d$:

   • Hypothese 1: Gegeneraliseerde Serre-uniformiteit (surjectiviteit van $p$-adische Galois-representaties voor grote $p$).
   • Hypothese 2: Eindigheid van geïsoleerde $j$-invarianten van graad $d$.
   • Hypothese 3: Niet-CM isogenie-grenzen (eindigheid van niet-cuspidale, niet-CM punten van graad $d$ op $X_0(N)$ voor grote $N$).
   • Hypothese 4: Verfijnde polynomiale grenzen op torsiegroei.
     Het artikel bewijst dat Hypothese 1 Hypothese 2 impliceert, en cruciaal is dat Hypothese 2 zowel Hypothese 3 als Hypothese 4 impliceert. Dit positioneert Vraag 1 als een verfijning van de isogenie- en torsie-grenzen die de volledige kracht van de gegeneraliseerde Serre-uniformiteit mist.

2. Galois-representatie en verstrengeling: Om de rationale casus ($d=1$) aan te pakken, analyseert het artikel de afbeelding van de mod $p$ en $p$-adische Galois-representaties $\rho_{E,p}$ en $\rho_{E,p^\infty}$. Het maakt gebruik van classificatieresultaten voor deze afbeeldingen (bijv. Mazur, Serre, Bilu, Parent, Rebolledo, Lemos) om de graad van punten op $X_1(N)$ te bepalen. Een belangrijk technisch instrument is de analyse van "verstrengeling" (entanglement) tussen torsievelden van verschillende priemgetallen. De auteur leidt nieuwe ondergrenzen af voor de graad van punten op $X_1(N)$ door de ramificatie en de bijdrage van priemgetallen te controleren waar de afbeelding niet surjectief is (specifiek niet-gesplitte Cartan-subgroepen).

3. Gonality en isolatie: Het artikel maakt gebruik van ondergrenzen op de gonality van modulaire curven (Abramovich) en de relatie tussen de graad van een punt en de genus van de curve. Als de graad van een punt de genus (of specifieke gonality-grenzen) overschrijdt, kan het punt niet geïsoleerd zijn.

Belangrijkste Bijdragen en Resultaten

• Implicaties tussen hypothesen (Theorema 9): Het artikel bewijst formeel dat de eindigheid van geïsoleerde $j$-invarianten (Hypothese 2) een voldoende voorwaarde is om zowel de eindigheid van niet-CM punten op $X_0(N)$ voor grote niveaus (Hypothese 3) als polynomiale grenzen op torsiegroei (Hypothese 4) vast te stellen.
• Eindigheid voor rationale $j$-invarianten (Theorema 3): Het belangrijkste onvoorwaardelijke resultaat stelt vast dat er slechts eindig veel rationale geïsoleerde $j$-invarianten zijn geassocieerd met modulaire curven van de vorm $X_1(p^a q^b)$, waarbij $p$ en $q$ priemgetallen zijn. Dit wordt bereikt door te combineren met:
  • Het werk van Lemos [39, 40] over de structuur van Galois-afbeeldingen voor niet-surjectieve priemgetallen.
  • Ramificatieresultaten van Smith [58] (Lemma 3) om de graad van punten te begrenzen wanneer de afbeelding een niet-gesplitte Cartan-subgroep is.
  • Een nieuwe ondergrens op de graad van punten (Corollary 1) die eerdere resultaten van de auteur en Genao [11] verbetert.
    Het bewijs toont aan dat voor voldoende grote priemgetallen de graad van elk punt op $X_1(p^a q^b)$ met een rationale $j$-invariant de genus van de curve overschrijdt, waardoor het punt niet-geïsoleerd is.
• Verscherpte torsiegrenzen (Theorema 4): Voor niet-CM elliptische curven $E/F$ met $j(E) \in \mathbb{Q}$, bewijst het artikel dat voor elke $\epsilon > 0$, er een constante $C_\epsilon$ bestaat waarvoor geldt:
  $$\exp E(F)_{\text{tors}} \leq C_\epsilon \cdot [F:\mathbb{Q}]^{1/2 + \epsilon}$$
  $$\#E(F)_{\text{tors}} \leq C_\epsilon \cdot [F:\mathbb{Q}]^{1 + \epsilon}$$
  Dit verbetert de exponent van de graad-grens met een wortelfactor vergeleken met eerdere resultaten [11, 18]. De exponent $1/2$ voor de exponent van de torsiegroep wordt als bijna optimaal beschouwd.
• Experimentele Data en Classificatie: Het artikel biedt een uitgebreide tabel van bekende niet-CM geïsoleerde $j$-invarianten van graad $\leq 10$, waarbij de isolatie wordt gerechtvaardigd via Jacobian rank-berekeningen en gonality-grenzen.

Betekenis en Claims
Het artikel claimt dat Vraag 1 dient als een cruciale "verfijning" van de bredere uniformiteitsproblemen in het veld. Door vast te stellen dat de eindigheid van geïsoleerde $j$-invarianten sterke grenzen oplegt aan isogenieën en torsie, suggereert het werk dat het aanvallen van de eindigheid van deze specifieke punten een levensvatbare weg is naar het oplossen van bredere vermoedens.

De resultaten voor rationale $j$-invarianten vormen een belangrijke stap naar een volledige classificatie, aangezien zij de mogelijkheid van oneindige families van geïsoleerde $j$-invarianten voor curven met niveaus van de vorm $p^a q^b elimineren. De auteur merkt op dat hoewel de huidige controle op "verstrengeling" (de interactie tussen torsievelden van verschillende priemgetallen) onvoldoende is om Hypothese 2 onvoorwaardelijk te bewijzen voor alle rationale$j$-invarianten, experimentele data suggereren dat het probleem toegankelijk kan zijn via formele immersie-argumenten, vooral omdat de relevante "verstrengelingsmodulaire curven" vaak niet-triviale rank 0 quotienten bezitten, in tegen tegenstelling tot de vezelproducten van standaard modulaire curven.

Het artikel concludeert dat hoewel de volledige eindigheid van geïsoleerde $j$-invarianten nog steeds openstaat, de hier ontwikkelde methoden de bekende torsiegrenzen voor rationale $j$-invarianten succesvol hebben aangescherpt en het logische landschap verhelderen dat deze uniformiteitsproblemen verbindt.