Strong Weil Degree Divisibility at Higher Levels

Technische Samenvatting: Sterke Weil-graad Deelbaarheid op Hogere Niveaus

Probleemstelling
Het artikel onderzoekt de arithmetische eigenschappen van morfismen van modulaire curven $X_0(N)$ (en tussenliggende curven zoals $X_1(N)$) naar elliptische curven $E'$ in de rationale isogenieklasse van een sterke Weil-curve $E$ met conducteur $M$. Specifiek wordt aandacht besteed aan twee primaire vragen met betrekking tot de relatie tussen de graad van de sterke Weil-parametrisatie $\pi_E: X_0(M) \to E$ en de graden van morfismen $g: X_0(N) \to E'$ waarbij $N$ een veelvoud is van $M$:

1. Deelbaarheid: Deelt $\deg \pi_E$ de $\deg g$? Zo niet, welke expliciete factoren beheersen het falen van de deelbaarheid?
2. Integrale Structuur: Vormen de "oude" homomorfismen geïnduceerd door degeneratiemappen een integrale basis voor de groep van homomorfismen $\text{Hom}_{\mathbb{Q}}(J_0(N), E')$? Zo niet, kunnen de noemers van de coëfficiënten van integrale homomorfismen expliciet worden begrensd?

Hoewel de casus $N=M$ goed begrepen is via de universele eigenschap van optimale quotienten, omvat het gedrag bij hogere niveaus $N > M$ complexe interacties tussen degeneratiemappen, Manin-constanten en de structuur van modulaire Jacobians.

Methodologie
De auteurs maken gebruik van een combinatie van algebraïsche meetkunde, de theorie van modulaire vormen en roosterleer. De kernmethodologie omvat:

• Old-Form Decompositie: Het gebruik van de Atkin–Lehner–Li decompositie om de rationale vectorruimte $\text{Hom}_{\mathbb{Q}}(J_0(N), E') \otimes \mathbb{Q}$ te identificeren met de span van "oude" homomorfismen geïnduceerd door degeneratiemappen $\iota_r: X_0(N) \to X_0(M)$.
• Graad-Pairingen: Het definiëren van een positief-definiete graad-paring op homomorfismen. Dit maakt het mogelijk om de graad van een morfisme uit te drukken als een kwadratische vorm met behulp van de coördinaten van het homomorfisme in de oude basis en een "graadmatrix" $A_{E,N}$.
• Noorder-bounds via Cusp-expansies: Om de noemers van de coëfficiënten in de rationale basis te beheersen, analyseren de auteurs de terugtrekking (pullback) van invariante differentiaalvormen (Néron-differentiaalvormen) onder morfismen. Ze stellen integriteitsvoorwaarden vast door de $q$-expansies te onderzoeken bij twee specifieke cusps: de standaard cusp $\infty$ en de afbeelding daarvan onder de Fricke-involutie $w_N$.
• Descent-argumenten: Voor priemgetallen $\ell$ waar $\ell^2 \mid (N/M)$ gebruiken de auteurs een descent-argument. Ze tonen aan dat degeneratiemappen $\delta_\ell: X_0(N) \to X_0(N/\ell)$ totaal ramificeerd zijn bij $\infty$ (voor $X_0$) of surjectief zijn op fundamentele groepen (voor tussenliggende curven), wat impliceert dat de geïnduceerde afbeelding op Jacobians een geometrisch verbonden kernel heeft. Deze eigenschap zorgt ervoor dat integriteit afdaalt van niveau $N$ naar $N/\ell$.
• Tower-criterium: De auteurs abstraheren deze eigenschappen naar een "tower criterium" (Condities T1–T3) om de resultaten van $X_0$ uit te breiden naar compatibele torens van tussenliggende modulaire curven, inclusclusief $X_1$ en diamond torens.

Belangrijkste Bijdragen en Resultaten

1. Deelbaarheidstheorema (Theorem 1.1):
   Het artikel bewijst dat voor elke niet-constante morfisme $g: X_0(N) \to E'$, de graad van de sterke Weil-parametrisatie de $\deg g$ deelt tot een factor die gecontroleerd wordt door de Manin-constante $c_E$ en het aantal priemfactoren van $N/M$. Specifiek:
   $$\deg \pi_E \mid c_E^{\Omega(N/M)} \deg g$$
   waarbij $\Omega(n)$ het aantal priemfactoren van $n$ is, rekening houdend met multipliciteit.

• Verfijning: De exponent van elke priem $\ell \mid c_E$ kan worden aangescherpt van $\text{ord}_\ell(c_E)\Omega(N/M)$ naar $\text{ord}_\ell(c_E) + \lfloor \text{ord}_\ell(N/M)/2 \rfloor$.
• Onvoorwaardelijke Casus: Indien $c_E = 1$ (wat bekend is te gelden wanneer $M$ vierkantvrij is, of geverifieerd is voor $M < 500.000$), dan deelt $\deg \pi_E \mid \deg g$ onvoorwaardelijk.

2. Integrale Basis en Noemer-theorema (Theorem 1.2):
   De auteurs stellen voorwaarden vast waaronder de oude homomorfismen een $\mathbb{Z}$-basis vormen. Indien de Manin-constante van het samengestelde morfisme $u \circ \pi_E$ gelijk is aan 1 (waarbij $u$ de generator is van $\text{Hom}_{\mathbb{Q}}(E, E')$), dan vormt de verzameling $\{ \Phi_{r,u} : r \mid (N/M) \}$ een $\mathbb{Z}$-basis van $\text{Hom}_{\mathbb{Q}}(J_0(N), E')$.

• Algemene Grens: In het algemene geval worden de noemers van de coëfficiënten van een integrale homomorfisme begrensd door een expliciete integer $D_{u \circ \pi_E}(N/M)$, die afhangt van de priemfactorisatie van $N/M$ en de Manin-constante.
• Graad-spectrum: Wanneer de Manin-constante 1 is, wordt de graad van elke morfisme exact bepaald door de kwadratische vorm $b^T A_{E,N} b$, waarbij $b$ de integer coëfficiëntvector van het homomorfisme is in de oude basis.

3. Uitbreiding naar Tussenliggende Curven (Theorems 5.12–5.19):
   De resultaten worden uitgebreid naar compatibele torens van tussenliggende modulaire curven, inclusief de $X_1$-toren.

• Voor $X_1(N)$ gelden analoge deelbaarheid en basis-resultaten, gestuurd door de Manin–Stevens constante $c_1$.
• Het artikel demonstreert dat het argument van totale ramificatie gebruikt voor $X_0$, vervangen moet worden door een topologisch argument betreffende de surjectiviteit van afbeeldingen op fundamentele groepen voor tussenliggende curven, maar dat de uiteindelijke deelbaarheids- en basisconclusies structureel vergelijkbaar blijven.

Betekenis en Claims
Het artikel claimt een volledige arithmetische beschrijving te bieden van de graden van morfismen van hogere-niveau modulaire curven naar elliptische curven in termen van de minimale niveau-parametrisatie.

• Onvoorwaardelijke Deelbaarheid: Het bevestigt dat de deelbaarheid $\deg \pi_E \mid \deg g$ onvoorwaardelijk is wanneer $c_E = 1$, een conditie die voldaan is voor alle vierkantvrije conducteurs en computationeel geverifieerd voor een groot bereik van conducteurs.
• Structureel Inzicht: Het verheldert de structuur van de integrale Hom-groep, waarbij wordt aangetoond dat "oude" afbeeldingen de volledige lattice genereren tot een gecontroleerde noemer. Dit lost de vraag op of de "oude" lattice verzadigd is.
• Expliciete Grenzen: Het artikel biedt expliciete, berekenbare grenzen voor het falen van integriteit en deelbaarheid, waarbij eerdere schattingen worden verfijnd door de exponent van de Manin-constante factor te reduceren op basis van de multipliciteit van priemfactoren in de niveau-ratio.
• Generaliseerbaarheid: Door een "tower criterium" te formuleren, tonen de auteurs aan dat deze fenomenen niet uniek zijn voor $X_0$, maar intrinsiek zijn aan compatibele families van modulaire curven, inclusief $X_1$.

Het werk steunt op de semistabiele casus van de Manin-constante conjectuur (bewezen door Česnavičius) voor de onvoorwaardelijke resultaten in het vierkantvrije geval, en maakt gebruik van bestaande computationele verificaties (Cremona) voor specifieke conducteurs. Het artikel stelt geen nieuwe toepassingen voor, maar verstevigt de theoretische basis voor het begrijpen van modulaire parametrisaties op hogere niveaus.