Cohomological obstructions to equivariant unirationality

Technische Samenvatting: Cohomologische Obstacties voor Equivariante Unirationaliteit

Probleemstelling
Het artikel onderzoekt het probleem van het bepalen of een glad projectief rationaal variëteit $X$ met een generiek vrije reguliere actie van een eindige groep $G$, $G$-unirationeel of projectief $G$-unirationeel is.

• $X$ is $G$-unirationeel als er een dominante $G$-equivariante rationale afbeelding $\mathbb{P}(V) \dashrightarrow X$ bestaat voor een $G$-representatie $V$.
• $X$ is projectief $G$-unirationeel als een dergelijke afbeelding bestaat voor een projectieve representatie van $G$.

Hoewel de aanwezigheid van $k$-rationale punten een standaard obstructie is voor rationaliteit over niet-gesloten velden, en de aanwezigheid van vaste punten voor abelse subgroepen (Conditie A) een noodzakelijke voorwaarde is voor equivariante unirationaliteit, zijn deze obstructies vaak onvoldoende. De auteurs adresseren het gat waar deze "voor de hand liggende" obstructies verdwijnen, maar de variëteit nog steeds kan falen om equivariant unirationeel te zijn.

Methodologie
De auteurs ontwikkelen en passen cohomologische obstructies toe, afgeleid van de actie van $G$ op de Picard-groep $\text{Pic}(X)$. De kernmethodologie berust op de Leray-spectraalsequentie voor de quotient-stack $[X/G]$, die een sequentie van homomorfismen in groepcohomologie oplevert:
$$\text{Pic}(X)^G \xrightarrow{\delta_2} H^2(G, k^\times) \quad \text{en} \quad H^1(G, \text{Pic}(X)) \xrightarrow{\delta_3} H^3(G, k^\times)$$
De afbeeldingen van deze afbeeldingen definiëren de Amitsur-groepen:

• $Am_2(X, G) := \text{Im}(\delta_2)$
• $Am_3(X, G) := \text{Im}(\delta_3)$

Deze groepen zijn stabiele $G$-birationale invarianten. Het artikel stelt vast dat:

1. Als $X$ $G$-unirationeel is, dan is $Am_j(X, H) = 0$ voor alle subgroepen $H \subseteq G$ en $j=2, 3$.
2. Als $X$ projectief $G$-unirationeel is, dan moet $Am_2(X, H)$ cyclisch zijn en $Am_3(X, H) = 0$.

De auteurs relateren deze invarianten aan de Bogomolov-multiplier $B_n(G)$, gedefinieerd als de kern van de restrictie-afbeelding van $H^n(G, k^\times)$ naar de directe som van de cohomologiegroepen van alle abelse subgroepen. Specifiek, indien Conditie (A) geldt, geldt $Am_j(X, G) \subseteq B_j(G)$. De berekening van deze invarianten wordt teruggebracht tot $p$-Sylow-subgroepen en maakt gebruik van de stabilisator-stratificatie van de $G$-actie op $X$.

Belangrijkste Bijdragen en Resultaten
Het artikel biedt een classificatie van generiek vrije reguliere acties op del Pezzo-oppervlakken en Kummer-quartic dubbele solids waarbij deze cohomologische obstructies niet-trivial zijn.

1. Del Pezzo-oppervlakken (Stelling 3):
   De auteurs classificeren paren $(X, G)$ waar $X$ een del Pezzo-oppervlak is en $Am_3(X, H) \neq 0$ voor een $H \subseteq G$.

   • Graad 3 (Cubic Oppervlakken): De enige casus met een niet-triviale obstructie die aan Conditie (A) voldoet, betreft het Fermat-cubic oppervlak met $G$ bevattende $H = C_3^3$. Echter, deze casus faalt voor Conditie (A) voor de volledige groep, hoewel de obstructie persisteert.
   • Graad 2: De auteurs identificeren specifieke acties waarbij Conditie (A) geldt (vaste punten bestaan voor alle abelse subgroepen), maar $Am_3(X, H) \neq 0$.
     • De primaire obstructie komt voort uit acties van de quaternionengroep $Q_8$ (orde 8).
     • Specifiek, voor een del Pezzo-oppervlak van graad 2 gedefinieerd door $w^2 = x_1^4 + x_2^4 + x_3^4 + ax_1^2x_2^2$, levert de actie van $Q_8$ gegenereerd door specifieke involuties en permutaties $Am_3(X, Q_8) \cong \mathbb{Z}/2$ op.
     • Dit resultaat demonstreert dat de analogie van een bekend theorema voor hogere-graads del Pezzo-oppervlakken (waar Conditie (A) unirationaliteit impliceert) faalt voor oppervlakken van graad 2.

2. Kummer-quartic Dubbele Solids (Stelling 4):
   De studie breidt zich uit naar dubbele dekkingen van $\mathbb{P}^3$ ramificeerd in een Kummer-oppervlak (voortkomend uit de Jacobiaan van een genus 2 curve met maximale automorfismen).

   • De auteurs berekenen $Am_3(\tilde{X}, G)$ voor de blow-up $\tilde{X}$ van de 16 knopen.
   • Zij identificeren dat $Am_3(\tilde{X}, H) \neq 0$ dan en slechts dan als $G$ een subgroep bevat die conjugeerd is aan een specifieke $Q_8$-actie.
   • In tegenstelling tot het geval van de oppervlakken, onthult de berekening dat een niet-triviale Brauer-groep van de quotient-stack kan bestaan, zelfs in de afwezigheid van divisoren met niet-triviale generieke stabilisatoren, wat de analyse van hogere-dimensionale strata vereist.

Betekenis en Claims
Het artikel claimt te voorzien in nieuwe cohomologische obstructies die verschillend zijn van de aanwezigheid van vaste punten.

• Subtiliteit van Equivariante Meetkunde: De resultaten benadrukken een "strak verschil" tussen birationale meetkunde over een veld $k$ (waar rationale punten de primaire obstructie zijn) en equivariante meetkunde over de stack $BG$. In de equivariante setting zijn invarianten zoals $Am_3$ "zeer subtiel en informatief".
• Falen van Conditie (A): Het artikel toont expliciet aan dat de aanwezigheid van vaste punten voor alle abelse subgroepen (Conditie A) niet voldoende is om $G$-unirationaliteit of projectieve $G$-unirationaliteit te garanderen voor del Pezzo-oppervlakken van graad 2.
• Rol van $Q_8$: In alle geïdentificeerde tegenvoorbeelden is de quaternionengroep $Q_8$ de bron van de niet-triviale obstructie.
• Conclusie: Variëteiten die deze niet-triviale Amitsur-invarianten vertonen, zijn noch $G$-unirationeel, noch projectief $G$-unirationeel, wat een concrete methode biedt om equivariante unirationaliteit uit te sluiten in gevallen waarin geometrische vaste-punten-criteria worden vervuld.