Cohomological Obstructions for Varieties over $p$-adic Function Fields

Technische Samenvatting: Cohomologische Obstacties voor Variëteiten over $p$-adische Functievelden

Probleemstelling
Het artikel behandelt de aritmetica van gladde integrale variëteiten gedefinieerd over $p$-adische functievelden (functievelden van gladde projectieve curven over $p$-adische velden). Specifiek wordt onderzoek gedaan naar de obstructies voor het lokaal-globaal principe en zwakke benadering. Hoewel de Brauer–Manin-obstructie goed begrepen is over getalvelden, streeft dit artikel naar het vestigen van een systematische obstructietheorie over $p$-adische functievelden. Een centrale vraag is het identificeren van de "fijnste" obstructie voortvloeiend uit aritmetische dualiteiten en bepalen of de onveranderde (unramified) cohomologische obstructie een sterkere beperking biedt dan de klassieke Manin-obstructie (gedefinieerd via $H^3_{\text{ét}}$) of descent-obstructies.

Methodologie
De auteur maakt gebruik van een combinatie van étale cohomologie, motieve complexen en aritmetische dualiteitstheorieën.

1. Cohomologisch Kader: De studie maakt gebruik van de étale sheaf $\mathbb{Q}/\mathbb{Z}(2)$ en motieve complexen $\mathbb{Z}(2)$. Het artikel definieert obstructies via paarlingen tussen adelische punten $X(\mathbb{A})$ en cohomologiegroepen, specifiek $H^3_{\text{ét}}(X, \mathbb{Q}/\mathbb{Z}(2))$ (Manin-obstructie) en de onveranderde cohomologiegroep $H^3_{\text{nr}}(X, \mathbb{Q}/\mathbb{Z}(2))$.
2. Functorieel Benadering: Obstructies worden geconstrueerd met behulp van contravariante functoren van de categorie van $K$-schema's naar verzamelingen, waarbij de afbeelding van adelische punten onder evaluatiemappen wordt vergeleken met lokaal-globaal compatibiliteitsvoorwaarden.
3. Spectrale Sequenties: De Čech-spectraalsequentie en de Hochschild–Serre-spectraalsequentie worden gebruikt om cohomologiegroepen te berekenen voor specifieke geometrische constructies, met name voor quotienten van affiene ruimten door groepswerkingen.
4. Cohomologische Invarianten: Het artikel maakt gebruik van de theorie van cohomologische invarianten (specifiek de Rost-invariant) om onveranderde cohomologiegroepen te identificeren met groepen van invarianten voor semi-simpele, enkelvoudig samenhangende groepen.
5. Aritmetische Dualiteiten: De analyse steunt op Poitou–Tate-sequenties en lokale invarianten (isomorfismen tussen $H^3(K_v, \Lambda)$ en $\mathbb{Q}/\mathbb{Z}$) om exacte sequenties en dualiteitsparingen vast te stellen.

Belangrijkste Bijdragen en Resultaten

• Vergelijking van Obstructies (Stelling 1.1):
  Het artikel stelt een hiërarchie vast tussen cohomologische obstructies. Het bewijst dat voor een gladde integrale $K$-variëteit $X$ en een commutatieve lineaire algebraïsche $K$-groep $M$:

  • De onveranderde obstructie is fijner dan de Manin-obstructie: $X(\mathbb{A})^{H^3_{\text{nr}}} \subseteq X(\mathbb{A})^{H^3_{\text{ét}}}$.
  • De onveranderde obstructie is fijner dan obstructies voortvloeiend uit elk element $\alpha \in H^i_{\text{ét}}(X, M)$ voor $i \ge 1$.
  • Voor een eindige $M$ is de onveranderde obstructie fijner dan obstructies van onveranderde cohomologieklassen.
  • Het artikel demonstreert dat de onveranderde obstructie samenvalt met de obstructie gedefinieerd door $H^4_{\text{ét}}(X, \mathbb{Z}(2))$ via motieve complexen.

• Bestaan van een Strikt Sterkere Onveranderde Obstructie (Stelling 1.2):
  De auteur construeert een expliciet voorbeeld van een variëteit $X = Y/G$ (waarbij $G$ een semi-simpele, enkelvoudig samenhangende groep is die vrij werkt op een open deel van een affiene ruimte), zodanig dat:

  • De Manin-obstructie triviaal is ($X(\mathbb{A})^{H^3_{\text{ét}}} = X(\mathbb{A})$).
  • De onveranderde obstructie niet-triviaal is ($X(\mathbb{A})^{H^3_{\text{nr}}} \subsetneq X(\mathbb{A})$).
    Dit resultaat berust op de eigenschappen van de Rost-invariant $R$ en het bestaan van plaatsen $v$ waar $H^1(K_v, G) \neq 1$ maar de Rost-kern triviaal is.

• Relatie met Descent-obstructies (Stelling 1.3):
  Het artikel vergelijkt de onveranderde obstructie met de descent-obstructie. Het bewijst dat voor een lineaire $K$-groep $G$ ingebed in $SL_n$, het volgende equivalent is:

  • De onveranderde obstructie op het quotient $X = SL_n/G$ valt samen met de verzameling adelische punten gegenereerd door $SL_n(\mathbb{A})$ en rationale punten $X(K)$.
  • Voor elke gladde integrale variëteit $Z$ en elke $G$-torsor $f: Y \to Z$, is de onveranderde obstructie bevat in de descent-obstructie ($Z(\mathbb{A})^{H^3_{\text{nr}}} \subseteq Z(\mathbb{A})_f$).
    Het bewijs maakt gebruik van gecontracteerde producten en het isomorfisme van onveranderde cohomologie onder torsor-twists.

Betekenis en Claims
Het artikel claimt een systematisch begrip te bieden van de obstructietheorie over $p$-adische functievelden, analoog aan ontwikkelingen over getalvelden.

• Verfijning van Obstructies: Het identificeert de onveranderde obstructie als de fijnste obstructie onder de obstructies voortvloeiend uit aritmetische dualiteiten en Brauer-groepen in deze context.
• Tegenvoorbeeld: Het lost de vraag op of de onveranderde obstructie strikt sterker is dan de Manin-obstructie door een concreet tegenvoorbeeld te leveren waarbij de Manin-obstructie faalt om een falen van het lokaal-globaal principe te detecteren, terwijl de onveranderde obstructie dat wel doet.
• Motief-verbinding: Het verheldert de relatie tussen verschillende cohomologische graden ($H^3_{\text{nr}}$ vs. $H^4_{\text{ét}}$) via motieve complexen, waarbij wordt aangetoond dat ze dezelfde obstructieset definiëren.
• Beperkingen: Het artikel merkt bescheiden op dat een volledige vergelijking met de algemene descent-obstructie momenteel beperkt wordt door het gebrek aan een geschikte generalisatie van de Kottwitz-exacte sequentie voor $p$-adische functievelden.

Het werk bouwt voort op en breidt eerdere studies van Harari, Scheiderer, Szamuely, Tian en anderen uit met betrekking tot lokaal-globale principes voor reductieve groepen, en verbindt met de conjecturen van Colliot-Thélène over zwakke benadering.