Linearizability notions in equivariant birational geometry

Technische Samenvatting: Noties van Lineariseerbaarheid in de Equivariante Birationale Geometrie

Probleemstelling
Dit artikel onderzoekt de equivariante birationale geometrie van reguliere acties van eindige groepen $G$ op gladde projectieve variëteiten over een algebraïsch gesloten veld $k$ met karakter nul. Het centrale probleem is het begrijpen van de relatie tussen de lineariseerbaarheid van groepsacties en hun gedrag onder "twisting" via torsors. Specifiek onderzoeken de auteurs de mate waarin globale equivariante eigenschappen (zoals lineariseerbaarheid, rationaliteit en unirationaliteit) van een $G$-variëteit $X$ worden bepaald door de eigenschappen van haar twists $T_X$ over niet-gesloten velden.

Een belangrijke spanning in het vakgebied, zoals opgemerkt in eerder werk door Duncan en Reichstein ([DR15]), is dat hoewel lineariseerbare acties "versaal" zijn (een eigenschap gerelateerd aan de aanwezigheid van rationale punten in twists), niet alle versale acties lineariseerbaar zijn. Dit artikel streeft ernaar om deze eigenschappen te verfijnen door vast te stellen dat veel globale equivariante condities kunnen worden gereduceerd tot het controleren van een enkele, specifieke twist voortvloeiend uit een generiek vrije versale actie, in plaats van het controleren van alle mogelijke torsors.

Methodologie
De auteurs maken gebruik van een combinatie van equivariante birationale geometrie, de theorie van torsors en equivariante intersectietheorie (Chow-groepen).

1. Twisting Constructie: Het kerntechnische instrument is de twisting van een $G$-variëteit $X$ door een $G$-torsor $T = \text{Spec}(L)$ over een uitbreidingsveld $K$. Dit levert een variëteit $T_X$ op over $K$. Het artikel maakt gebruik van de correspondentie tussen $G$-variëteiten over $k$ en variëteiten over niet-gesloten velden via deze constructie.
2. Versaliteit en Generieke Vrijheid: De auteurs maken gebruik van het concept van "versale" $G$-variëteiten (waarbij elke invariante dichte open deelverzameling een $G$-equivariante afbeelding bezit van elke torsor) en "generiek vrije" acties. Ze richten zich op het construeren van een enkele "test" torsor $T_Z$ voortvloeiend uit een generiek vrije versale $G$-variëteit $Z$.
3. Equivariante Chow-groepen en Diagonaal-decompositie: In Sectie 4 introduceren de auteurs het begrip $G$-equivariante integrale decompositie van de diagonaal. Dit houdt in dat de diagonaal-klasse $[\Delta_X]$ in de equivariante Chow-groep $CH^G_n(X \times X)$ wordt geanalyseerd en bepaald wordt of deze kan worden gedecomposeerd in een product van de fundamentele klasse en een nul-cyclus, plus een term die ondersteund wordt op een strikte deelverzameling.
4. Cohomologische Invarianten: De laatste sectie analyseert het gedrag van Amitsur-invarianten en verwaarloosbare cohomologie onder twisting, met behulp van de Leray-spectraalsequentie en eigenschappen van de Brauer-groep.

Belangrijkste Bijdragen en Resultaten

• Reductie naar een Enkele Versale Twist (Theorema's 2.5 & 2.6):
  Het artikel stelt vast dat voor een quasi-projectieve $G$-variëteit $X$, een breed scala aan eigenschappen die gelden voor alle twists $T_X$ (over alle torsors $T$), equivalent zijn aan dezelfde eigenschap die geldt voor een enkele twist $T_Z X$, waarbij $Z$ een willekeurige quasi-projectieve $G$-variëteit is met een generiek vrije versale actie.

  • Theorema 2.5 behandelt eigenschappen zoals de aanwezigheid van rationale punten, unirationaliteit, stabiele rationaliteit en rationaliteit.
  • Theorema 2.6 breidt deze equivalentie uit naar de birationaliteit van twists ($T_X \sim T_Y$).
  • Betekenis: Dit versterkt eerdere resultaten die vereisten dat eigenschappen werden gecontroleerd tegen twists voortvloeiend uit getrouwe lineaire representaties. De auteurs tonen aan dat elke generiek vrije versale actie volstaat als een "universele testgeval".

• Coarse G-Birationaliteit en Lineariseerbaarheid (Sectie 3):
  Gemotiveerd door de reductie-theorema's, definiëren de auteurs coarse G-birationaliteit ($X \sim^c_G Y$) en coarse lineariseerbaarheid (Conditie (CL)).

  • $X$ is coarsely lineariseerbaar als zij coarse G-birataal is aan een projectieve ruimte $P^d$.
  • Dit definieert een hiërarchie: Lineariseerbaarheid (L) $\implies$ Coarse Lineariseerbaarheid (CL) $\implies$ Stabiele Lineariseerbaarheid (SL).
  • De auteurs bieden voorbeelden (bijv. acties van $S_3 \times S_3$ op $P^1 \times P^1$) die aantonen dat (CL) strikt zwakker is dan (L) maar strikt sterker dan (SL) in bepaalde contexten, waarmee een fijnere classificatie wordt geboden van acties die niet lineariseerbaar zijn maar zich onder twisting gedragen als lineariseerbare acties.

• Equivariante Decompositie van de Diagonaal (Sectie 4):
  De auteurs definiëren $G$-equivariante integrale decompositie van de diagonaal (Definitie 4.2).

  • Theorema 4.4 bewijst dat een $G$-variëteit $X$ deze eigenschap bezit dan en slechts dan als haar twist $T_Z X$ (voor een versale $Z$) de standaard (niet-equivariante) integrale decompositie van de diagonaal heeft.
  • Theorema 4.6 verbindt dit met lineariseerbaarheid: Als een glad projectieve $G$-variëteit met een generiek vrije actie stabiel lineariseerbaar is, bezit zij een $G$-equivariante integrale decompositie van de diagonaal.
  • Theorema 4.7 vestigt de specialisatie-eigenschap: als de algemene vezel van een gladde propere familie van $G$-variëteiten een dergelijke decompositie bezit, dan doet de speciale vezel dat ook.

• Cohomologische Obstactels (Sectie 5):
  Het artikel onderzoekt het gedrag van Amitsur-invarianten ($Am_d(X, G)$) en de universele torsor-obstactel onder twisting.

  • Propositie 5.1 stelt dat voor zwak versale acties hogere Amitsur-invarianten verdwijnen.
  • Propositie 5.3 demonstreert dat de twisting-constructie door een versale torsor een isomorfisme induceert op de Amitsur-groep $Am_2(X, G)$.
  • Propositie 5.2 karakteriseert "verwaarloosbare" cohomologische klassen als klassen die verdwijnen wanneer zij worden teruggetrokken via de afbeelding geassocieerd met een enkele versale torsor, wat het thema versterkt dat een enkel versaal object het cohomologische gedrag van de gehele klasse van twists controleert.

Betekenis en Claims
De auteurs claimen dat hun resultaten een versterking vormen van eerdere ontwikkelingen (specifiek die in [DR15] en [GM22]). Waar eerder werk aantoonde dat eigenschappen van alle twists worden geïmpliceerd door eigenschappen van twists voortvloeiend uit getrouwe lineaire representaties, toont dit artikel aan dat de conditie kan worden versoepeld naar elke generiek vrije versale actie.

Het artikel claimt niet het algemene lineariseerbaarheids-probleem op te lossen, maar biedt een robuust kader voor het testen van equivariante birationale eigenschappen. Door "coarse lineariseerbaarheid" te introduceren en dit te koppelen aan de decompositie van de diagonaal, bieden de auteurs nieuwe instrumenten om onderscheid te maken tussen acties die werkelijk lineariseerbaar zijn en die slechts "stabiel" of "coarsely" zo zijn. Het werk overbrugt de kloof tussen equivariante geometrie over algebraisch gesloten velden en de geometrie van variëteiten over niet-gesloten velden, waarbij wordt aangetoond dat de laatste vaak kan worden gereduceerd tot de studie van een enkele, goed gekozen equivariante model.