The equations of general Hassett maximal cubic fourfolds

Technische Samenvatting: De Vergelijkingen van Algemene Hassett-Maximale Kubicke Viervoudigen

Probleemstelling
Kubische viervoudigen nemen een centrale positie in de moderne algebraïsche meetkunde in vanwege hun complexe Hodge-theorie en het onopgeloste rationaliteitsprobleem. Een kubische viervoudige $X \subset \mathbb{P}^5$ wordt "specifiek" genoemd als de rang van zijn algebraïsche cohomologielattice $A(X)$ ten minste 2 is. Hassett heeft vastgesteld dat de locatie van specifieke kubische viervoudigen een unie vormt van irreducibele divisors $C_d$, geïndexeerd door een discriminant $d$ die behoort tot de Hassett-deelverzameling $\mathcal{H} = \{n \in \mathbb{N}_{\ge 8} : n \equiv 0, 2 \pmod 6\}$.

De doorsnede van al deze Hassett-divisors, aangeduid als $Z = \bigcap_{d \in \mathcal{H}} C_d$, vertegenwoordigt kubische viervoudigen met maximaal rijke geometrische structuren, termed "Hassett-maximaal". In eerdere werken hebben de auteurs (Gal en Nuer) vastgesteld dat de dimensie van $Z$ 16 is en dat elke irreducibele component van $Z$ overeenkomt met een moduli-ruimte $C_M$ van $M$-polariseerbare viervoudigen, waarbij $M$ een positief-definiete lattice is van minimale rang (rang 4) die $\mathcal{H}$ primitief representeert. De expliciete geometrische relatie tussen de lattice $M$ en de definiërende vergelijkingen van deze viervoudigen bleef echter onduidelijk. Het primaire doel van deze notitie is het construeren van een expliciete familie van kubische polynomen waarvan de nulpuntenloci een 16-dimensionale irreducibele component van $Z$ vormen, waardoor een concrete geometrische beschrijving wordt geboden van algemene Hassett-maximale kubische viervoudigen.

Methodologie
De auteurs maken gebruik van een combinatie van geometrische constructie, lattice-theorie en arithmetische methoden om hun doelen te bereiken:

1. Geometrische Constructie via Vlakkenarrangementen:
   Door een fundamenteel resultaat van Voisin betreffende de doorsnede van vlakken in kubische viervoudigen te benutten, definiëren de auteurs een gespecialiseerde familie $\mathcal{N}$ van kubische viervoudigen die vier vlakken ($P_1, P_2, P_3, P_4$) bevatten met een specifiek incidentieprofiel:

   • $P_1 \cap P_2$ en $P_1 \cap P_3$ zijn lijnen.
   • $P_2 \cap P_3$ is een punt.
   • $P_1 \cap P_4 = \emptyset$.

   Met behulp van de incidentierelaties leiden de auteurs de definiërende idealen voor deze vlakken af in termen van lineaire vormen. Door de doorsnede van deze idealen te analyseren, construeren ze een specifieke familie van kubische polynomen $F$ die op alle vier vlakken verdwijnen. Dit leidt tot een expliciete algebraïsche vorm voor $F$ die parameters $a, b \in \mathbb{C}$ bevat.

2. Dimensionale Analyse:
   De auteurs analyseren de parameterruimte van dergelijke vlakkenarrangementen modulo de actie van $PGL(6, \mathbb{C})$. Door de dimensie van de incidentie-correspondentie tussen vlakkenarrangementen en kubische viervoudigen te berekenen, tonen ze aan dat de resulterende familie $\mathcal{N}$ een dimensie van 16 heeft, wat overeenkomt met de bekende dimensie van de Hassett-maximale locatie $Z$.

3. Arithmetische Verificatie via ADC-vormen:
   Om te bewijzen dat deze geconstrueerde familie $\mathcal{N}$ inderdaad de volledige Hassett-maximale locatie bestrijkt (d.w.z. dat het primitieve beeld van de bijbehorende lattice de volledige Hassett-deelverzameling $\mathcal{H}$ overspant), analyseren de auteurs de bijbehorende rang-4 lattice $L(M)$. Ze reduceren het probleem tot het aantonen dat een specifieke positief-definiete kwadratische vorm $F$ elk geheel getal in $\mathcal{H}$ primitief representeert.

   Dit vereist het bewijzen dat de vorm $F$ (en gerelateerde ternaire vormen) de ADC-eigenschap bezit (Elk geheel getal dat representeerbaar is door een rationaal vector is ook representeerbaar door een geheel vector). De auteurs:

   • Stellen vast dat de ternaire vormen $Q_3(x, y, z) = x^2 + y^2 + 3z^2$ en $G(x, y, z) = x^2 + 3y^2 + 3z^2$ ADC-vormen zijn.
   • Gebruiken een gegeneraliseerd geometrisch dalingsargument (het uitbreiden van de Davenport-Cassels-methode via torus-partitionering) om de ADC-eigenschap voor niet-Euclidische vormen te bevestigen.
   • Gebruiken de stelling van Hasse-Minkowski en lokaal-globale principes om aan te tonen dat het beeld van de vorm alle benodigde resten modulo specifieke gehele getallen bestrijkt, waardoor wordt gegarandeerd dat elk element in $\mathcal{H}$ primitief wordt gerepresenteerd.

Belangrijkste Bijdragen en Resultaten

• Expliciete Vergelijkingen: Het artikel biedt de eerste expliciete constructie van een familie van kubische viervoudigen die Hassett-maximaal zijn. Het algemene lid van deze familie is isomorf met de nulpuntenlocus van een homogene kubische polynoom $F$ die behoort tot de doorsnede van vier specifieke idealen:
  $$F \in (x, y, z) \cap (x, y, u) \cap (x, z, v) \cap (v - by, u - az, w)$$
  waarbij $x, y, z, u, v, w$ lineaire vormen zijn en $a, b \in \mathbb{C}$ constanten zijn.
• Dimensionale Bevestiging: De auteurs bewijzen dat de locatie $\mathcal{N}$ die door deze vergelijkingen wordt gedefinieerd, een dimensie van 16 heeft, wat bevestigt dat deze een irreducibele component vormt van de Hassett-maximale locatie $Z$.
• Lattice-Maximaliteit: Door de ADC-eigenschap voor de bijbehorende kwadratische vormen te bewijzen, tonen de auteurs aan dat het primitieve beeld van de lattice $L(M)$ die aan deze viervoudigen is gekoppeld, exact de Hassett-deelverzameling $\mathcal{H}$ is. Dit bevestigt dat de geconstrueerde familie inderdaad "Hassett-maximaal" is, wat betekent dat deze viervoudigen liggen in de doorsnede van alle Hassett-divisors $C_d$.
• Arithmetisch Hulpmiddel: Het artikel draagt een verfijnd geometrisch dalingsargument bij (Bijlage A) om de ADC-eigenschap te bevestigen voor specifieke niet-Euclidische ternaire vormen, een technisch resultaat dat wordt gebruikt om de kloof te overbruggen tussen de lattice-constructie en de arithmetische eigenschappen van de Hassett-deelverzameling.

Betekenis
Het artikel claimt de "ondoorzichtige" relatie tussen de abstracte lattice $M$ en de concrete geometrie van Hassett-maximale kubische viervoudigen op te lossen. Door expliciete polynoomvergelijkingen te bieden, verplaatsen de auteurs het onderzoek naar deze maximale objecten van een louter theoretisch existentie-resultaat naar een concreet, berekenbaar kader. Het werk bevestigt dat de 16-dimensionale familie van kubische viervoudigen die wordt gedefinieerd door de doorsnede van specifieke vlakidealen niet alleen de juiste dimensie heeft, maar ook arithmetisch compleet is met betrekking tot de Hassett-deelverzameling, waardoor een algemene component van de Hassett-maximale locatie volledig wordt gekarakteriseerd.