Dichotomy for the p-primary Brauer-Manin obstruction in characteristic p

Technische Samenvatting: Dichotomie voor de $p$-primaire Brauer–Manin-obstructionie in karakteristiek $p$

Probleemstelling
Het artikel onderzoekt het gedrag van de Brauer–Manin-obstructionie voor gladde, projectieve, geometrisch integrale variëteiten $X$ over een globale functieveld $k$ van karakteristiek $p > 0$. Specifiek wordt de vraag behandeld welke plaatsen $v$ van $k$ "potentieel relevant" zijn voor de $p$-primaire Brauer–Manin-obstructionie. Een plaats $v$ is potentieel relevant als er een eindige uitbreiding $L/k$, een plaats $w$ van $L$ boven $v$, en een element $A \in \text{Br}(X_L)$ bestaat zodanig dat de evaluatieafbeelding $\text{ev}_A: X(L_w) \to \text{Br}(L_w)$ niet-constant is.

Deze onderzoeksvraag wordt gemotiveerd door recente resultaten in het getallenveldgeval (Bright en Newton; Ambrosi, Newton en Pagano), die laten zien dat als $H^0(X, \Omega^2) \neq 0$, bijna elke plaats potentieel relevant is. De auteurs zoeken te bepalen of een analoge dichotomie bestaat in positieve karakteristiek, in het bijzonder met betrekking tot de rol van het unipotente deel van de Brauer-groep.

Wiskundig Kader en Methodologie
De analyse steunt op de structuur van de $p$-primaire torsiegroep van de geometrische Brauer-groep, $\text{Br}(X_{\bar{k}})[p^\infty]$. Volgens Milne en Serre kan de quoët van deze groep door haar deelbare subgroep worden geïdentificeerd met de $\bar{k}$-punten van een quasi-algebraïsche groep $G_X$. Deze groep $G_X$ is een uitbreiding van een eindige étale groep $D_X$ door een gladde samenhangende unipotente groep $U_X$. De auteurs definiëren $U_X$ als de unipotente Brauer-groep van $X$.

De methodologie combineert twee primaire technische instrumenten:

1. Representeerbaarheid van de vlakke Cohomologie: Het artikel maakt gebruik van de generieke representeerbaarheidsresultaten van Bragg en Olsson [BO] voor vlakke cohomologie-sheaves $R^q\pi_*\mu_{p^n}$ geassocieerd met een "spreading out" $\pi: \mathcal{X} \to C$ van de variëteit $X$.
2. Evaluatie-filtratie: Voor het geval $U_X \neq 0$, maken de auteurs gebruik van recente resultaten door Krishna en Majumder [KM] betreffende Kato's filtratie op de lokale Brauer-groep in evenkarakteristiek $p$. Deze filtratie maakt de karakterisering mogelijk van elementen in de Brauer-groep die niet-constante evaluatieafbeeldingen opleveren.

De bewijzen omvatten de constructie van gladde modellen $\pi: \mathcal{X} \to C$ over een kromme $C$ met functieveld $k$ en de analyse van het gedrag van de sheaves $R^2\pi_*\mu_{p^n}$ en $R^3\pi_*\mu_{p^n}$ over $C$. De dimensie van $U_X$ is gerelateerd aan de hellingen (slopes) van de kristallijne cohomologie-groepen van $X_{\bar{k}}$.

Belangrijkste Bijdragen en Resultaten
Het centrale resultaat is een dichotomie gebaseerd op de verdwijning van de unipotente Brauer-groep $U_X$:

• Stelling A (i): Als $U_X = 0$ en het Picard-schema van $X$ $p$-torsievrij is, dan zijn slechts eindig veel plaatsen van $k$ potentieel relevant voor de $p$-primaire Brauer–Manin-obstructionie. In dit geval is de verzameling van potentieel relevante plaatsen bevat in de verzameling van plaatsen waar een specifieke gladde "spreading out" $\pi: \mathcal{X} \to C$ niet de eigenschap heeft dat $R^2\pi_*\mu_p$ een eindige vlakke groepschema is en $R^3\pi_*\mu_p$ een affiene groepschema is.
• Stelling A (ii): Als $U_X \neq 0$, dan zijn bijna alle plaatsen van $k$ potentieel relevant voor de $p$-primaire Brauer–Manin-obstructionie. Het bewijs toont aan dat voor elke plaats $v$ in de ondersteuning van een geschikte model, men een Brauer-klasse kan construeren waarvan de evaluatieafbeelding niet-constant is door de niet-trivialiteit van de unipotente groepschema $R^2\pi_*\mu_p$ uit te buiten.

Corollaria en Speciale Gevallen:

• Corolarium B: Door de $p$-primaire resultaten te combineren met bekende $\ell$-primaire resultaten ($\ell \neq p$), zijn als $U_X = 0$ en het Picard-schema torsievrij is, slechts eindig veel plaatsen relevant voor de volledige Brauer–Manin-obstructionie.
• Constante Variëteiten (Stelling C): Als $X$ gedefinieerd is over een eindig veld $\mathbb{F}$ (dat wil zeggen, $X$ is een constante variëteit over $k$):
  • Als $U_X = 0$ en het Picard-schema torsievrij is, is de Brauer–Manin-paring identiek nul.
  • Als $U_X \neq 0$, is elke plaats van $k$ potentieel relevant.
• Geometrisch $p$-torsievrije Brauer-groep (Propositie 4.1): Als $\text{Br}(X_{\bar{k}})[p^\infty] = 0$ (wat impliceert dat $U_X=0$), is elke plaats waar $X$ goede reductie heeft niet potentieel relevant. Het artikel levert voorbeelden van niet-isotriviale K3-oppervlakken die aan deze voorwaarden voldoen, wat aantoont dat dit geval onderscheidend is van het constante variëteitengeval.

Betekenis en Claims
Het artikel claimt een fundamentele dichotomie vast te stellen in het gedrag van de Brauer–Manin-obstructionie in positieve karakteristiek, gedreven door de aanwezigheid of afwezigheid van de unipotente Brauer-groep.

• Wanneer $U_X = 0$, is de obstructionie "klein" in de zin dat slechts een eindige verzameling plaatsen de Hasse-principe kan obstrueren via het $p$-primaire deel.
• Wanneer $U_X \neq 0$, is de obstructionie "groot", in de zin dat bijna alle plaatsen potentieel relevant zijn.

De auteurs merken op dat hoewel de existentie van de kromme $C$ die vereist is voor de bewijzen door Bragg–Olsson gegarandeerd is, de precieze bepaling van de uitzonderlijke verzameling van plaatsen over het algemeen moeilijk expliciet te maken is, behalve in specifieke gevallen zoals constante variëteiten of die met goede reductie. Het werk breidt het begrip van de Brauer–Manin-obstructionie uit van getallenvelden naar globale functievelden, waarbij het de onderscheidende rol van unipotente fenomenen in karakteristiek $p$ benadrukt.