$E_6$-local systems from cubic threefolds

1. Probleemstelling en Context

Het artikel adresseert een fundamentele vraag in de meetkundige Galois-theorie en de theorie van motivische local systemen. De vraag, oorspronkelijk opgeworpen door Serre, is of elke eenvoudige uitzonderlijke groep (zoals $G_2, E_6, E_7, E_8, F_4$) gerealiseerd kan worden als de algebraïsche monodromiegroep van een lokaal systeem van meetkundige oorsprong op een gladde complexe variëteit.

Hoewel er reeds constructies bestaan voor $G_2, E_7, E_8$ en $F_4$ (vaak via rigide local systemen op $\mathbb{P}^1 \setminus \{0,1,\infty\}$ of cohomologie van Shimura-variëteiten), bleef het geval voor de uitzonderlijke groep $E_6$ een open probleem. Bestaande constructies leverden vaak alleen klassieke groepen op of waren niet expliciet van meetkundige oorsprong in de zin van een familie van gladde variëteiten.

Het doel van dit artikel is om deze lacune op te vullen door een expliciete constructie van oneindig veel onderling verschillende local systemen te geven waarvan de algebraïsche monodromiegroep precies $E_6$ is.

2. Methodologie en Constructie

De auteurs construeren de local systemen uit de middelhohe cohomologie van een specifieke familie van algebraïsche variëteiten. De aanpak verloopt in de volgende stappen:

• De Geometrische Set-up:

  • Beschouw een familie $\mathcal{Y} \to S$ van gladde kubische drie-variëteiten (cubic threefolds).
  • Associeer hieraan de familie van Fano-oppervlakken $\mathcal{F} \to S$, waarbij de vezel $\mathcal{F}_s$ het oppervlak is dat de lijnen op de kubische drie-variëteit $Y_s$ parametrisert.
  • Kies een unitair lokaal systeem $L$ van rang 1 op $\mathcal{F}$ met eindige orde $n$.
  • Construeer het local systeem $V := R^2\pi_* L$ op de basis $S$. De vezels zijn $H^2(\mathcal{F}_s, L)$.

• De Reconstructie-techniek (Hoofdstuk 2):

  • De kern van de bewijsvoering is een reconstructiemethode die eigenschappen van het lineaire bundel $L$ op de vezel $\mathcal{F}$ afleidt uit het Higgs-veld van de bijbehorende variatie van Hodge-structuren.
  • Ze analyseren de afgeleide van de periodenkaart (period map) en gebruiken de koppeling (cup product) in de cohomologie van het Fano-oppervlak.
  • Een cruciaal resultaat is dat als de lineaire bundel $L \otimes \omega_{\mathcal{F}}$ globaal gegenereerd is, het lokale systeem $L$ (en dus de structuur van $V$) uniek gereconstrueerd kan worden uit de tweede afgeleide van de periodenkaart, beperkt tot een specifieke divisor $B$ (de "locus van lijnen van het tweede type").

• Analyse van de Monodromie (Hoofdstuk 4):

  • Het bewijs dat de monodromiegroep $M^\circ$ gelijk is aan $E_6$ verloopt in twee fasen:
    1. Inclusie: Gebruikmakend van resultaten van Lawrence en Sawin en Krämer, wordt aangetoond dat $M^\circ$ een ondergroep is van de Tannaka-groep die geassocieerd is met convolutie van perverse sheaves op het Albanese-variëteit van $\mathcal{F}$. Deze Tannaka-groep is bekend als $E_6$ (actierend via de 27-dimensionale irreducibele representatie).
    2. Gelijkheid: Om te bewijzen dat de inclusie strikt is (d.w.z. dat $M^\circ$ niet een echte ondergroep is), gebruiken de auteurs een contradictieargument. Ze tonen aan dat als $M^\circ$ een maximale semisimpele ondergroep van $E_6$ zou zijn, dit zou leiden tot een schending van de eigenschappen van $V$ (zoals zelf-dualiteit of de rang van irreducibele summanden).
  • Specifiek wordt aangetoond dat $V$ niet zelf-dueel is (voor $n > 2$) en dat het een unieke irreducibele summand van rang $\ge 13$ bevat. Deze eigenschappen sluiten alle maximale ondergroepen van $E_6$ (zoals $F_4$, $C_4$, $D_5$, etc.) uit.

3. Belangrijkste Resultaten

• Hoofdstelling (The Main Theorem):
  Er bestaat een geheel getal $n_0 > 2$ zodanig dat voor elke versale familie van gladde kubische drie-variëteiten en elk lokaal systeem $L$ van eindige orde $n \ge n_0$:

  1. De verbonden component van de algebraïsche monodromiegroep van $V = R^2\pi_* L$ is isomorf met de uitzonderlijke groep $E_6$.
  2. De representatie op de vezel is isomorf met een van de twee 27-dimensionale irreducibele representaties van $E_6$.
  3. Het invariant trace-veld is $\mathbb{Q}(\zeta_n)$.

• Uniciteit en Distinctie:

  • Als twee local systemen $V_1$ en $V_2$ (geconstrueerd uit $L_1$ en $L_2$) isomorf zijn, dan moeten de onderliggende lineaire bundels $L_1$ en $L_2$ op de vezels ook isomorf zijn.
  • De geconstrueerde local systemen zijn onderling niet-equivalent voor verschillende waarden van $n$ (tenzij de cyclotomische velden gelijk zijn), wat betekent dat de auteurs oneindig veel verschillende local systemen van meetkundige oorsprong met monodromie $E_6$ produceren.

• Technische Lemmata:

  • Theorema 3.1: Voor een generiek element in $\text{Pic}^0(\mathcal{F})$ is de lineaire bundel $L \otimes \omega_{\mathcal{F}}$ globaal gegenereerd.
  • Theorema 3.2: De rang van de door de cup-product geïnduceerde afbeelding $\mu: \text{Sym}^2 H^1(\mathcal{F}, T\mathcal{F}) \to H^2(\mathcal{F}, \wedge^2 T\mathcal{F})$ is 50 voor een generieke kubische drie-variëteit. De kern van de duale afbeelding correspondeert met de divisor van lijnen van het tweede type.

4. Significatie en Impact

1. Oplossing van een Open Probleem: Dit artikel sluit de laatste ontbrekende schakel in de realisatie van alle eenvoudige uitzonderlijke groepen als algebraïsche monodromiegroepen van local systemen van meetkundige oorsprong.
2. Motieven: Door specialisatie van deze local systemen, verkrijgen de auteurs oneindig veel motiven met Galois-groep $E_6$. Dit bevestigt de verwachting dat $E_6$-motieven bestaan, maar levert nu expliciete, niet-Shimura-achtige voorbeelden op.
3. Geometrische Interpretatie: Het werk legt een diep verband tussen de uitzonderlijke symmetrie van $E_6$ en de specifieke meetkunde van kubische drie-variëteiten (via hun Fano-oppervlakken van lijnen). Het toont aan hoe de "uitzonderlijke" aard van de groep $E_6$ direct voortvloeit uit de reconstructie van de meetkunde van lijnen op deze variëteiten.
4. Methodologische Vooruitgang: De ontwikkelde reconstructietechniek, die de relatie tussen Higgs-velden, periodenkaarten en lineaire bundels op hogere-dimensionale variëteiten uitbuit, biedt een krachtig nieuw instrument voor het bestuderen van monodromie in complexe meetkunde, verder dan de eerder bekende gevallen van krommen.

Kortom, dit werk levert een expliciete, meetkundige constructie van $E_6$-local systemen en bevestigt dat de uitzonderlijke groepen volledig bereikbaar zijn binnen de context van de meetkundige Galois-theorie.