Refined Humbert invariants and subvarieties of $\Ac_2(\C)$: the rank 3 case

Technische Samenvatting: Verfijnde Humbert-invarianten en Subvariëteiten van $\mathcal{A}_2(\mathbb{C})$: Het Rang 3 Geval

Probleemstelling
Het artikel onderzoekt de geometrie van de Humbert-locus $H(q)$ binnen de moduli-ruimte $\mathcal{A}_2(\mathbb{C})$ van principaal gepolariseerde abelse oppervlakken. Specifiek behandelt het de casus waarbij $q$ een ternaire (rang 3) integrale kwadratische vorm is. De Humbert-locus $H(q)$ wordt gedefinieerd als de verzameling principaal gepolariseerde abelse oppervlakken $(A, \lambda)$ zodanig dat de verfijnde Humbert-invariant $q(A, \lambda)$ de kwadratische vorm $q$ primitief representeert. Terwijl het rang 1 geval (klassieke Humbert-oppervlakken $H_\Delta$) en diverse rang 2 intersecties uitgebreid zijn bestudeerd, was een volledige geometrische karakterisering van de rang 3 locus in $\mathcal{A}_2(\mathbb{C})$ voorheen niet vastgesteld. De centrale vraag is het beschrijven van de structuur en kardinaliteit van $H(q)$ wanneer deze niet leeg is.

Methodologie
De auteurs maken gebruik van een synthese van arithmetische meetkunde, de theorie van complexe multiplicatie (CM) en de algebraïsche structuur van endomorfisme-ringen.

1. Structurele Reductie: Door gebruik te maken van de classificatie van Albert en resultaten van Shioda en Mitani, stellen de auteurs vast dat indien $H(q) \neq \emptyset$ voor een rang 3 vorm $q$, elk oppervlak $(A, \lambda) \in H(q)$ isogeny-equivalent is aan een product van twee CM-elliptische krommen, $A \simeq E_1 \times E_2$, die dezelfde CM-veld $K = \mathbb{Q}(\sqrt{d})$ delen.
2. Galois-conjugaatheid (Propositie 2.1): Het bewijs begint met het aantonen dat indien twee oppervlakken $(A, \lambda)$ en $(A', \lambda')$ dezelfde verfijnde Humbert-invariant delen, hun onderliggende abelse variëteiten $A$ en $A'$ Galois-conjugaat moeten zijn. Dit wordt bereikt door de equivalentie van de geassocieerde binaire kwadratische vormen die de isogenieën tussen de CM-factoren beschrijven te analyseren, wat wordt gekoppeld aan ideaalklassen in de endomorfisme-ring via de Artin-afbeelding.
3. Rooster en Matrixrepresentatie: De auteurs modelleren de Néron-Severi groep $NS(A)$ expliciet als een rooster van "getordeerde" Hermitische matrices, aangeduid als $Hermtwist_2(\mathcal{O})$, waarbij $\mathcal{O}$ de maximale orde van $K$ is. De verfijnde Humbert-invariant komt overeen met de determinant op dit rooster.
4. Groepstheoretische Analyse: Het probleem wordt gereduceerd tot het classificeren van principaal gepolarisaties op een vaste $A$ die aan de invariant-voorwaarde voldoen. Dit omvat het analyseren van de quotientgroep $G_A / H_A$, waarbij $G_A$ de groep van isometrieën van $(NS(A), q_A)$ is die de ample kegel behouden, en $H_A$ het beeld is van de geometrische automorfisme-groep $\text{Aut}(A)$.
5. Getordeerde Inhoud: Een nieuw instrument, de "getordeerde inhoud" (twisted content) van een matrix $M \in GL_2(K)$, wordt geïntroduceerd om de werking van isometrieën op het rooster te karakteriseren. Dit stelt de auteurs in staat om expliciete representanten voor de coset-leden van $G_A / H_A$ te construeren en deze te relateren aan de 2-torsie-subgroep van de ideaalklasse-groep, $\text{Cl}(\mathcal{O})[2]$.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.2 (Hoofdkonclusie): De auteurs bewijzen dat indien $q$ een ternaire kwadratische vorm is met discriminant $-16d$ (waarbij $d < 0$ een fundamentele discriminant is) en $H(q) \neq \emptyset$, dan $H(q)$ precies bestaat uit de $\text{Gal}(\bar{K}/K)$-baan van een enkel principaal gepolariseerd abels oppervlak $(E_1 \times E_2, \lambda)$. Hierbij zijn $E_1$ en $E_2$ elliptische krommen met CM door de maximale orde $\mathcal{O}$ van het imaginaire kwadratische veld $K = \mathbb{Q}(\sqrt{d})$.
• Classificatie van Polarisaties: Het artikel vestigt een bijjectie tussen de verzameling isomorfieklassen van principaal gepolariseerde abelse oppervlakken op $A$ met een gegeven verfijnde Humbert-invariant en de verzameling $G_A / H_A$.
• Kardinaliteit en Structuur: Er wordt bewezen dat $\#(G_A / H_A) = 2 \cdot \#\text{Cl}(\mathcal{O})[2]$. De auteurs construeren expliciete representanten voor deze coset-leden met behulp van matrices afgeleid van ideaalklassen in $\text{Cl}(\mathcal{O})[2]$ en een involutie $\tau$.
• Geometrische Interpretatie: De werking van de $\text{Cl}(\mathcal{O})[2]$-component op de polarisaties wordt geometrisch geïnterpreteerd als de pullback van de polarisatie op een Galois-conjugaat oppervlak. De werking van de $\mathbb{Z}/2\mathbb{Z}$-component (gegenereerd door $\tau$) wordt getoond triviaal te zijn in termen van het produceren van nieuwe isomorfieklassen van polarisaties.
• Experimentele Verificatie: De auteurs merken op dat hun theoretische resultaten experimenteel zijn bevestigd voor fundamentele discriminanten tot $d = -199$ met behulp van bestaande code en resultaten van Narayanan (2024).

Betekenis
Dit artikel biedt de eerste geometrische karakterisering van de rang 3 Humbert-locus in $\mathcal{A}_2(\mathbb{C})$. Het demonstreert dat, in tegenstelling tot potentieel complexe moduli-beschrijvingen, deze loci eindige verzamelingen zijn van Galois-conjugaten van specifieke CM-producten. Het werk overbrugt de kloof tussen de algebraïsche eigenschappen van verfijnde Humbert-invarianten en de arithmetica van CM-elliptische krommen. Door de "getordeerde inhoud" te introduceren en de werking van de isometrie-groep op het Néron-Severi-rooster expliciet te beschrijven, bieden de auteurs een concreet kader voor het manipuleren van deze loci. De resultaten verfijnen het begrip van hoe intersecties van Humbert-oppervlakken zich gedragen in het rang 3 geval, waarbij zij aantonen dat deze worden beheerst door de 2-torsie van de class group van het onderliggende imaginaire kwadratische veld. De auteurs erkennen dat hoewel de voorwaarde op de maximale orde in Stelling 1.2 met verder werk versoepeld kan worden, het huidige kader de geometrische beschrijving voor het geval van de maximale orde succesvol heeft opgelost.