Explicit Brauer-Manin obstructions on plane quartics

Technische Samenvatting: Expliciete Brauer-Manin-obstakels op vlakke quartici

Probleemstelling
Het artikel behandelt het probleem van het bepalen of een gladde vlakke quartische kromme $X$ over een getallichaam $k$ rationale punten ($X(k) \neq \emptyset$) of divisoren van specifieke graden (namelijk graad 1 of 2) bezit, met name in gevallen waarin de kromme lokaal overal oplosbaar is (d.w.z. $X(k_v) \neq \emptyset$ voor alle voltooingen $k_v$). Hoewel het Hasse-principe vaak faalt voor dergelijke krommen vanwege Brauer-Manin-obstakels, werden eerdere computationele methoden voor het opsporen van deze obstakels via 2-dekking-afdaling beperkt door de vereiste om de volledige $S$-eenheidsgroep van de relevante étale-algebra's te berekenen. Deze berekening is vaak onuitvoerbaar voor algebra's van hoge graad, zoals de algebra van graad 28 die geassocieerd is met de bitangenten van een vlakke quarticus.

Methodologie
De auteurs ontwikkelen een praktisch algoritme om obstakels voor rationale punten en divisoren op te sporen zonder dat volledige bepaling van $S$-eenheidsgroepen vereist is. De methode steunt op 2-dekking-afdaling en de theorie van Brauer-Manin-obstakels, gegeneraliseerd vanuit eerder werk over hyperelliptische krommen.

1. Étale-algebra's en pairing: De aanpak maakt gebruik van de 28 bitangenten van de vlakke quarticus $X$, die een étale $k$-algebra $L$ van graad 28 definiëren. De auteurs construeren een bilineaire pairing $\langle \cdot, \cdot \rangle_S$ tussen lokale beelden van de kromme en een ondergroep van $S$-eenheden in $L$ met kwadratische norm. Deze pairing is afgeleid van Hilbert-symbolen en legt beperkingen op aan het beeld van de localisatiemap.
2. Gedeeltelijke $S$-eenheidsinformatie: Een belangrijke innovatie is dat het algoritme niet de volledige $S$-eenheidsgroep $(L^\times/L^{\times 2})_S$ vereist. In plaats daarvan volstaat het om een ondergroep te berekenen die gegenereerd wordt door expliciete $S$-eenheden (verkregen via relatiematrixen uit een deelverzameling van priemgetallen) die groot genoeg is om het beeld van de localisatiemap te beperken. De methode maakt gebruik van de exactheid van een rij die de restrictiemap en de pairing omvat, om aan te tonen dat als het beeld van de localisatiemap de lokale beelden van de kromme bij priemgetallen in $S$ vermijdt, er geen globale punten bestaan.
3. Algoritmische implementatie: Het algoritme (Algoritme 3.4) berekent een verzameling $V_{B,S}(Y)$, die de doorsnede voorstelt van het orthogonale complement van een ondergroep $B \subset (L^\times/L^{\times 2})_{S, N=1}$ en het product van lokale beelden $\prod_{v \in S} C_f(Y(k_v))$. Als deze verzameling leeg is, concluderen de auteurs dat $Y(k)$ leeg is.
4. Generalisatie: De methode wordt gegeneraliseerd naar willekeurige gladde projectieve krommen van genus $g \geq 2$. Voor hyperelliptische krommen sluit het aan bij bestaande afdalingsmethoden; voor niet-hyperelliptische krommen maakt het gebruik van het schema van oneven theta-karakteristieken (of bitangenten voor quartici) om de afdalingsopzet te definiëren.

Belangrijkste bijdragen

• Ondubbelzinnige resultaten zonder volledige eenheidsgroepen: De belangrijkste bijdrage is een methode om ondubbelzinnige resultaten te verkrijgen betreffende het niet-bestaan van rationale punten of divisoren zonder de volledige $S$-eenheidsgroep van de étale-algebra te berekenen. Dit verlaagt significant de computationele drempel voor krommen waarbij de graad van de algebra hoog is (bijvoorbeeld graad 28 voor vlakke quartici).
• Indexbepaling: Het artikel biedt een kader om de index van een vlakke quarticus te bepalen (de grootste gemene deler van de graden van gesloten punten). Specifiek kan het bewijzen dat een kromme index 2 of 4 heeft, zelfs wanneer de maximale lokale index strikt kleiner is (bijvoorbeeld lokale index 1 of 2), door het niet-bestaan van rationale divisoren van graad 1 of 2 aan te tonen.
• Vereenvoudigd correctheidsbewijs: De auteurs presenteren een vereenvoudigd correctheidsbewijs voor het afdalingsalgoritme in vergelijking met eerdere werken, waarbij wordt teruggegrepen op Hilbert-reciprociteit en Poitou-Tate-dualiteit.
• Optimalisatie van lokale berekeningen: Het artikel beschrijft technieken om de voor berekening vereiste verzameling priemgetallen $S$ te reduceren, met name door priemgetallen te identificeren waar het lokale beeld ongeramd is (bijvoorbeeld priemgetallen met oneven Tamagawa-getallen), waardoor kostbare berekeningen van lokale beelden worden vermeden.

Resultaten en voorbeelden
De auteurs hebben het algoritme geïmplementeerd in Magma en toegepast op verschillende datasets:

• Herziening van een conditioneel voorbeeld: Ze hebben een kromme uit eerdere literatuur opnieuw onderzocht ($x^4 + y^4 + x^2yz + 2xyz^2 - y^2z^2 + z^4 = 0$), waarvan eerder bekend was dat deze geen rationale punten had, maar alleen conditioneel op de Algemene Riemann-hypothese (GRH). Met hun methode bewezen ze onvoorwaardelijk dat $X(\mathbb{Q}) = \emptyset$, waardoor de noodzaak om de klasgroep van een getallichaam van graad 28 te berekenen met een Minkowski-grens die $10^{22}$ overschrijdt, werd vermeden.
• Database-analyse: Door de methode toe te passen op een database van 82.241 gladde vlakke quartici over $\mathbb{Q}$ met kleine discriminant, identificeerden ze 135 krommen die tegenvoorbeelden zijn van het Hasse-principe (overal lokaal oplosbaar maar globaal leeg). Voor meer dan 90% van de lokaal oplosbare krommen in de database die geen voor de hand liggende rationale punten hadden, slaagde de methode erin een obstakel te vinden.
• Voorbeelden met index 2 en 4: De auteurs leverden expliciete voorbeelden van krommen met globale index 2 of 4 waarbij de maximale lokale index respectievelijk 1 of 2 was. Bijvoorbeeld, ze bewezen dat een specifieke kromme index 4 heeft, ondanks het feit dat de lokale index overal 2 was, door het niet-bestaan van rationale divisoren van graad 2 aan te tonen.

Betekenis en claims
Het artikel stelt dat de aanpak "de toepasbaarheid ten opzichte van eerdere 2-dekking-afdalingsmethoden aanzienlijk verbetert" door de knelpunt van het berekenen van volledige $S$-eenheidsgroepen te verwijderen. De auteurs benadrukken dat de methode praktisch is en met succes is toegepast op krommen waarvoor eerdere technieken computationeel onuitvoerbaar waren.

Het artikel stelt expliciet dat het berekende obstakel equivalent is aan het eindige abelse afdalingsobstakel en het Brauer-Manin-obstakel voor voldoende grote verzamelingen $S$ (Corollarium 6.7). De auteurs zijn echter bescheiden wat betreft de uitbreiding van hun computationele voordelen tot het begrenzen van de rang van de Jacobiaanse; zij merken op dat hoewel hun methode een deelverzameling van de Selmer-set berekent, het bepalen van de grootte van de kern (en dus de rang) nog steeds volledige informatie vereist over de klas- en eenheidsgroepen van $L$, wat hun methode niet biedt.

Het werk toont aan dat expliciete Brauer-Manin-obstakels effectief kunnen worden berekend voor vlakke quartici, gevallen van het Hasse-principe kan oplossen en indices kan bepalen die voorheen buiten bereik lagen voor ondubbelzinnige bewijzen.