2025-11-30T10:28:18.745802

Brauer groups of certain affine cubic surfaces

Alfaraj
We study the Brauer groups of affine surfaces that are complements of singular hyperplane sections of smooth cubic surfaces over a field $k$ of characteristic $0$. We determine the Brauer group over the algebraic closure as a Galois module for all the possible singular hyperplane sections. For the case when the hyperplane section is geometrically the union of three lines, we give explicit examples where transcendental elements of order $2$ and $3$ exist over $\mathbb{Q}$. We end with an application on the integral Brauer-Manin obstruction to the integral Hasse principle.
academic

Gruppi di Brauer di certe superfici cubiche affini

Informazioni Fondamentali

  • ID Articolo: 2509.16042
  • Titolo: Brauer groups of certain affine cubic surfaces
  • Autore: Abdulmuhsin Alfaraj (University of Bath)
  • Classificazione: math.AG (Geometria Algebrica), math.NT (Teoria dei Numeri)
  • Data di Pubblicazione: Ottobre 2025 (arXiv v2)
  • Link Articolo: https://arxiv.org/abs/2509.16042v2

Riassunto

Questo articolo studia i gruppi di Brauer delle superfici affini ottenute come complementi di sezioni iperpianari singolari in superfici cubiche lisce su campi kk di caratteristica 0. L'autore determina la struttura del gruppo di Brauer sulla chiusura algebrica come modulo di Galois per tutti i possibili casi di sezioni iperpianari singolari. Nel caso in cui la sezione iperpianare sia geometricamente l'unione di tre rette, vengono forniti esempi espliciti di elementi trascendenti di ordine 2 e 3 su Q\mathbb{Q}. Infine, l'articolo presenta applicazioni dell'ostruzione di Brauer-Manin integrale al principio di Hasse integrale.

Contesto di Ricerca e Motivazione

Sfondo del Problema

  1. Significato Aritmetico dei Gruppi di Brauer: Il gruppo di Brauer è un oggetto geometrico che contiene informazioni aritmetiche ricche ed è un invariante birazionale per varietà lisce proprie. Nel 1970, Manin ha utilizzato con successo il gruppo di Brauer per spiegare il fallimento del principio di Hasse, inaugurando lo studio dell'ostruzione di Brauer-Manin.
  2. Sfide Computazionali: La determinazione del gruppo di Brauer, in particolare della sua parte trascendente, è tipicamente un problema difficile. Per varietà non proprie, il problema è ancora più complesso—ci si aspetta che il gruppo di Brauer sia più grande di quello di qualsiasi compattificazione liscia.
  3. Importanza delle Superfici log K3: Le superfici log K3 su campi numerici hanno significato aritmetico particolare. Si congettura che la positività della classe anticanonica logaritmica di una varietà affine controlli l'abbondanza di punti interi. Le superfici log K3 (con classe anticanonica banale) rappresentano il caso limite e hanno importanza cruciale.
  4. Ricerche Precedenti:
    • Colliot-Thélène e Wittenberg hanno studiato famiglie di superfici cubiche diagonali (complementi di curve di genere 1 lisce)
    • Bright e Lyczak hanno fornito limiti uniformi sulla dimensione del gruppo di Brauer dei complementi di divisori anticanonnici lisci in superfici di del Pezzo
    • La superficie di Markoff (unione di tre rette razionali) è stata studiata da Colliot-Thélène et al. e da Loughran-Mitankin

Motivazione della Ricerca

Questo articolo studia superfici che possono essere immerse come complementi di divisori anticanonnici singolari in superfici cubiche lisce, per i seguenti motivi:

  • Queste superfici sono superfici log K3 abbondanti, interessanti dal punto di vista aritmetico
  • Da un punto di vista geometrico, possono avere gruppi di automorfismi infiniti discreti
  • Nel caso della superficie di Markoff, il gruppo degli automorfismi, combinato con l'ostruzione di Brauer-Manin, produce applicazioni significative

Contributi Principali

  1. Teorema di Classificazione Completo: Determina la struttura completa del gruppo di Brauer Br(U)\text{Br}(U) come modulo di Galois Γk=Gal(kˉ/k)\Gamma_k = \text{Gal}(\bar{k}/k) per tutti i possibili casi di sezioni iperpianari singolari (Teorema 1.1)
  2. Esistenza di Elementi Trascendenti di Brauer: Nel caso di tre rette geometriche, fornisce costruzioni esplicite di elementi trascendenti di ordine 2 e 3 su Q\mathbb{Q} (Teorema 1.2)
  3. Applicazione dell'Ostruzione di Brauer-Manin Integrale: Per l'equazione 9x3+y3=z2+39x^3 + y^3 = z^2 + 3, dimostra l'esistenza di un'ostruzione di Brauer-Manin integrale proveniente da un elemento di ordine 3 (Teorema 1.3), rispondendo a una domanda posta da Grechuk su MathOverflow
  4. Metodi Computazionali: Sviluppa un metodo sistematico per il calcolo dei gruppi di Brauer utilizzando sequenze di Gysin, teoremi di purità e coomologia di Galois

Spiegazione Dettagliata dei Metodi

Definizione del Compito

Dato un campo kk di caratteristica 0, una superficie cubica liscia X⊂P3X \subset \mathbb{P}^3 e una sezione iperpianare singolare HH, calcolare la struttura del gruppo di Brauer Br(U)\text{Br}(U) della superficie affine U:=X∖HU := X \setminus H come modulo di Galois.

Quadro Teorico

1. Struttura Stratificata del Gruppo di Brauer

Per una kk-varietà XX, si definiscono:

  • Br0(X)=im[Br(k)→Br(X)]\text{Br}_0(X) = \text{im}[\text{Br}(k) \to \text{Br}(X)] (parte costante)
  • Br1(X)=ker⁡[Br(X)→Br(Xˉ)]\text{Br}_1(X) = \ker[\text{Br}(X) \to \text{Br}(\bar{X})] (gruppo di Brauer algebrico)
  • Bra(X):=Br1(X)/Br0(X)\text{Br}_a(X) := \text{Br}_1(X)/\text{Br}_0(X)
  • Br(X)/Br1(X)\text{Br}(X)/\text{Br}_1(X) (gruppo di Brauer trascendente)

2. Strumenti Tecnici Chiave

Sequenza di Gysin (Lemma 3.3): Per una kk-varietà liscia XX e un sotteschema chiuso liscio ZZ di codimensione cc, esiste una sequenza esatta lunga: 0→H2c−1(X,μn)→H2c−1(X∖Z,μn)→H0(Z,Z/n(−c))→H2c(X,μn)→⋯0 \to H^{2c-1}(X,\mu_n) \to H^{2c-1}(X \setminus Z, \mu_n) \to H^0(Z,\mathbb{Z}/n(-c)) \to H^{2c}(X,\mu_n) \to \cdots

Purità Semilocale (Lemma 3.4): Per un sottoscema chiuso ridotto ZZ di codimensione 1 ovunque (con singolarità di codimensione ≥2\geq 2), vale una sequenza analoga.

Dualità di Poincaré e Teorema di Purità Assoluta (Gabber): Collegano diversi gruppi di coomologia.

Strategia Computazionale

Primo Passo: Gruppo di Brauer Algebrico

Utilizza la sequenza esatta breve (Proposizione 2.5): 0→⨁i=13Z[ℓi]→Pic(X)→Pic(U)→00 \to \bigoplus_{i=1}^3 \mathbb{Z}[\ell_i] \to \text{Pic}(X) \to \text{Pic}(U) \to 0

Calcola Bra(U)≅H1(k,Pic(U))\text{Br}_a(U) \cong H^1(k, \text{Pic}(U)) (Lemma 2.4).

Attraverso il calcolo con Magma di tutte le possibili azioni di Galois, ottiene un numero finito di possibilità (Proposizione 2.6).

Secondo Passo: Gruppo di Brauer Globale

Dalla sequenza di Kummer si ottiene il diagramma commutativo (3.7):

0 @>>> (\text{Pic}X)/n @>>> H^2(X,\mu_n) @>>> (\text{Br}X)[n] @>>> 0\\ @. @VVV @VVV @VVV @.\\ 0 @>>> (\text{Pic}U)/n @>>> H^2(U,\mu_n) @>>> (\text{Br}U)[n] @>>> 0 \end{CD}$$ Punto cruciale: $\text{Br}(U)[n] \cong \text{coker}(\Psi_n)$ (Lemma 3.8). #### Terzo Passo: Calcolo per Casi **Caso 1: Retta + Curva Quadrica Liscia** (Proposizione 3.9) - Se tangenti: $\text{Br}U = 0$ - Se intersecanti in due punti razionali: $\text{Br}U \cong \mathbb{Q}/\mathbb{Z}(-1)$ - Se intersecanti in un punto di grado 2 $k(\sqrt{d})$: $(\text{Br}U)[n] \cong M_d/nM_d(-1)$, dove $M_d = (\text{Ind}_{k(\sqrt{d})/k}\mathbb{Z})/\mathbb{Z}$ **Caso 2: Curva Cubica Geometricamente Irriducibile Singolare** (Proposizione 3.10) - Cuspide: $\text{Br}U = 0$ - Nodo moltiplicativo che si divide: $\text{Br}U \cong \mathbb{Q}/\mathbb{Z}(-1)$ - Nodo moltiplicativo che non si divide: $(\text{Br}U)[n] \cong M_d/nM_d(-1)$ **Caso 3: Tre Rette Geometriche** (Proposizione 3.11) Sia $L$ il campo di splitting minimale. Il calcolo chiave descrive esplicitamente l'applicazione $\phi: H^1(C', \mathbb{Z}/n\mathbb{Z}) \to H^3(X', \mu_n)$. Attraverso il Lemma 3.7 si stabilisce il diagramma commutativo (3.14), utilizzando la formula dei residui (3.15): $$\partial(a,b,c) = (c-b, a-c, b-a)$$ Si ottiene $\ker(\phi) \cong \mathbb{Z}/n\mathbb{Z}(-1)$ come modulo di $\Gamma_L$. Analizzando l'azione di Galois (calcoli espliciti di 3-cicli e 2-cicli), si determina la struttura come modulo di $\Gamma_k$. ### Punti di Innovazione Tecnica 1. **Quadro Unificato**: Incorpora tutti i casi di sezioni iperpianari singolari in un framework computazionale unificato 2. **Azione di Galois Esplicita**: Attraverso formule esplicite della mappa dei residui (3.15), determina precisamente la struttura del modulo di Galois 3. **Uso di Moduli Indotti**: Introduce $M_d = (\text{Ind}_{k(\sqrt{d})/k}\mathbb{Z})/\mathbb{Z}$ per descrivere sinteticamente i casi non divisi 4. **Metodo Costruttivo**: Per gli elementi trascendenti fornisce costruzioni completamente esplicite (Proposizione 4.4) ## Risultati Principali ### Teorema 1.1 (Classificazione Completa del Gruppo di Brauer) Sia $k$ un campo di caratteristica 0, $\Gamma_k := \text{Gal}(\bar{k}/k)$, $X$ una superficie cubica liscia, $H$ una sezione iperpianare, $U := X \setminus H$. **(i) Caso Retta + Curva Quadrica Liscia**: $$\text{Br}U \cong \begin{cases} 0, & \text{se tangenti}\\ \mathbb{Q}/\mathbb{Z}(-1), & \text{se }|\ell(k) \cap C(k)| = 2\\ \varinjlim(M_d/nM_d(-1)), & \text{se }\ell \cap C = \text{Spec}(k(\sqrt{d})) \end{cases}$$ **(ii) Curva Cubica Geometricamente Irriducibile Singolare**: $$\text{Br}U \cong \begin{cases} 0, & \text{se cuspide}\\ \mathbb{Q}/\mathbb{Z}(-1), & \text{se nodo moltiplicativo che si divide}\\ \varinjlim(M_d/nM_d(-1)), & \text{se nodo non diviso} \end{cases}$$ **(iii) Tre Rette**: Sia $L$ il campo di splitting minimale, $d \in k$ il discriminante di $L/k$, $\tilde{L} := L(\sqrt{d})$. $$\text{Br}U \cong \begin{cases} 0, & \text{se intersecanti in punto di Eckardt}\\ \mathbb{Q}/\mathbb{Z}(-1), & \text{se }L=k\text{ e }\cap\ell_i = \emptyset\text{, o }\text{Gal}(L/k) \cong \mathbb{Z}/3\mathbb{Z}\\ \varinjlim(M_d/nM_d(-1)), & \text{se }\text{Gal}(\tilde{L}/k) \cong S_3\text{ o }\text{Gal}(L/k) \cong \mathbb{Z}/2\mathbb{Z} \end{cases}$$ ### Teorema 1.2 (Esistenza di Elementi Trascendenti) Esistono superfici cubiche affini $U$ su $\mathbb{Q}$ (complementi di tre rette geometriche) tali che: - $\mathbb{Z}/2\mathbb{Z} \subset \text{Br}(U)$ e $\mathbb{Z}/2\mathbb{Z} \not\subset \text{Br}_1(U)$ - $\mathbb{Z}/3\mathbb{Z} \subset \text{Br}(U)$ e $\mathbb{Z}/3\mathbb{Z} \not\subset \text{Br}_1(U)$ **Costruzione Esplicita** (Sezione 4.1): **Caso di Ordine 2**: Prendere $f_1 = X, f_2 = Y, f_3 = Z$, con punti scelti come: - $P_1 = [0:1:1], P_4 = [0:4:1]$ (su $\ell_1$) - $P_2 = [9:0:1], P_5 = [16:0:1]$ (su $\ell_2$) - $P_3 = [-25:1:0], P_6 = [-36:1:0]$ (su $\ell_3$) Il generatore è $A_2 = (f_1/f_3, f_2/f_3)$. **Caso di Ordine 3**: Su $L = \mathbb{Q}(\omega)$, prendere: $$f_1 = X + \omega Y + Z, \quad f_2 = X + \omega^2 Y + Z, \quad f_3 = Z$$ Sei punti accuratamente scelti soddisfano le condizioni sui residui, il generatore è: $$A_3 := \text{cor}_{L(T_L)/\mathbb{Q}(T)}\left(\frac{f_1}{f_3}, \frac{f_2}{f_3}\right)_\omega$$ ### Teorema 1.3 (Ostruzione di Brauer-Manin Integrale) Considerare lo $\mathbb{Z}$-schema: $$U: 9x^3 + y^3 = z^2 + 3 \subset \mathbb{A}^3_{\mathbb{Z}}$$ Sia $\omega$ una radice primitiva cubica dell'unità. Allora: 1. $\text{Br}(U_{\mathbb{Q}})/\text{Br}(\mathbb{Q}) \cong \mathbb{Z}/3\mathbb{Z}$ 2. Il generatore è l'algebra ciclica: $$B := \text{cor}_{\mathbb{Q}(U_{\mathbb{Q}})(\omega)/\mathbb{Q}(U_{\mathbb{Q}})}\left(-9, z + \sqrt{-3}\right)_\omega$$ 3. $U(\mathbb{A}_{\mathbb{Z}})^B = \emptyset$ **Punti Chiave della Dimostrazione** (Sezione 5): - Dimostrare che $U(\mathbb{A}_{\mathbb{Z}}) \neq \emptyset$ (verificare l'esistenza di punti locali per tutti i primi) - Per $x_3 = (x,y,z) \in U(\mathbb{Z}_3)$, l'analisi dell'equazione modulo 9 dà $z \equiv \pm 4 \pmod{9}$ - Utilizzare la formula esplicita per algebre cicliche (Colliot-Thélène et al., [3]): - $(ω, 1+aλ+bλ^2+\cdots)_{ω,\mathfrak{p}} = a+a^2+b \in \mathbb{Z}/3\mathbb{Z}$ - $(λ, 1+aλ+bλ^2+cλ^3+\cdots)_{ω,\mathfrak{p}} = (a-a^3)/3+ab-c \in \mathbb{Z}/3\mathbb{Z}$ - Calcolare: $$\text{inv}_{\mathfrak{p}}A(x_3) = \begin{cases} 2 \in \mathbb{Z}/3\mathbb{Z}, & z \equiv -4 \pmod{9}\\ 1 \in \mathbb{Z}/3\mathbb{Z}, & z \equiv 4 \pmod{9} \end{cases}$$ - Quindi $\sum_p \text{inv}_p B(x_p) \neq 0$, cioè $U(\mathbb{A}_{\mathbb{Z}})^B = \emptyset$ ## Dettagli Tecnici ### Calcolo della Coomologia di Galois Per $M_d = (\text{Ind}_{k(\sqrt{d})/k}\mathbb{Z})/\mathbb{Z}$, il Lemma 4.1 fornisce: Se $\sqrt{d} \notin k(\zeta_n)$: $$(M_d/nM_d(-1))^{\Gamma_k} \cong \begin{cases} \mathbb{Z}/2\mathbb{Z}, & n = 2^i\\ 0, & \text{altrimenti} \end{cases}$$ Se $\sqrt{d} \in k(\zeta_n)$ e $[k(\zeta_n):k] = [\mathbb{Q}(\zeta_n):\mathbb{Q}]$: $$(M_d/nM_d(-1))^{\Gamma_k} \cong \begin{cases} \mathbb{Z}/4\mathbb{Z}, & n = 2^i\\ \mathbb{Z}/3\mathbb{Z}, & n = 3^i\\ 0, & \text{altrimenti} \end{cases}$$ **Idea della Dimostrazione**: Trasformare il problema nel calcolo degli invarianti di Galois del modulo Hom $H_n$, utilizzando l'azione esplicita di $G_n = \text{Gal}(k(\zeta_n, \sqrt{d})/k)$. ### Limiti sul Gruppo di Brauer Trascendente Il Teorema 4.2 riassume: Assumendo che $k$ non contenga radici dell'unità non banali, allora $\text{Br}U/\text{Br}_1 U$ è un sottogruppo di: | Caso | Limite Superiore | |------|------------------| | Tangenti/Cuspide/Punto di Eckardt | 0 | | Due punti razionali/Nodo diviso/$L=k$ o $\mathbb{Z}/3\mathbb{Z}$ | $\mathbb{Z}/2\mathbb{Z}$ | | $k(\sqrt{d}) \subset k(\zeta_4)$ | $\mathbb{Z}/4\mathbb{Z}$ | | $k(\sqrt{d}) \subset k(\zeta_3)$ | $\mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$ | | Altro | $\mathbb{Z}/2\mathbb{Z}$ | ## Lavori Correlati ### Contesto Storico 1. **Manin (1970)**: Primo utilizzo del gruppo di Brauer per spiegare il fallimento del principio di Hasse, inaugurando la teoria dell'ostruzione di Brauer-Manin 2. **Colliot-Thélène & Sansuc (1981)**: Sviluppo della teoria del gruppo di Brauer per gruppi algebrici 3. **Colliot-Thélène & Wittenberg (2012)**: Studio dell'ostruzione di Brauer-Manin integrale per superfici cubiche diagonali ### Ricerche Correlate 1. **Bright & Lyczak (2019)**: Limiti uniformi sul gruppo di Brauer dei complementi di superfici di del Pezzo 2. **Colliot-Thélène, Wei & Xu (2020)**: Ostruzione di Brauer-Manin per superfici di Markoff 3. **Loughran & Mitankin (2021)**: Principio di Hasse integrale e approssimazione forte per superfici di Markoff 4. **Harpaz (2017)**: Geometria e aritmetica di superfici log K3 ### Innovazioni di Questo Articolo - **Completezza**: Primo studio sistematico di tutti i casi di sezioni iperpianari singolari - **Esplicitezza**: Costruzioni completamente esplicite di elementi trascendenti - **Applicabilità**: Nuovi esempi di ostruzioni di Brauer-Manin integrali ## Conclusioni e Discussione ### Conclusioni Principali 1. Determinazione completa della struttura del gruppo di Brauer dei complementi di sezioni iperpianari singolari come modulo di Galois 2. Dimostrazione dell'esistenza di elementi trascendenti di ordine 2 e 3 3. Nuove applicazioni dell'ostruzione di Brauer-Manin integrale ### Limitazioni 1. **Restrizione sulla Caratteristica**: Il metodo dipende dall'assunzione di caratteristica 0 (teorema di purità assoluta) 2. **Complessità Computazionale**: Il calcolo del gruppo di Brauer algebrico richiede sistemi di algebra computazionale come Magma 3. **Generalità**: Lo studio si concentra principalmente su superfici cubiche; casi di grado superiore non sono affrontati ### Direzioni Future 1. Generalizzazione ad altri tipi di superfici log K3 2. Studio dell'interazione tra gruppi di automorfismi infiniti e ostruzione di Brauer-Manin 3. Esplorazione di applicazioni del gruppo di Brauer trascendente ad altri problemi aritmetici 4. Sviluppo di metodi computazionali più efficienti ## Valutazione Approfondita ### Punti di Forza 1. **Completezza Teorica**: - Fornisce una classificazione completa di tutti i casi possibili (Teorema 1.1) - Sviluppa sistematicamente una metodologia per il calcolo dei gruppi di Brauer - Il quadro teorico è chiaro e la logica è rigorosa 2. **Profondità Tecnica**: - Combina abilmente sequenze di Gysin, teoremi di purità, coomologia di Galois - I calcoli espliciti dell'azione di Galois (in particolare l'analisi di 3-cicli e 2-cicli) dimostrano tecniche sofisticate - Il calcolo preciso dei residui delle algebre cicliche riflette una profonda competenza 3. **Natura Costruttiva**: - La dimostrazione del Teorema 1.2 fornisce esempi completamente espliciti - Ogni coordinata dei punti è data esplicitamente, con forte verificabilità - La dimostrazione del Teorema 1.3 contiene tutti i dettagli computazionali 4. **Valore Applicativo**: - Risponde a una domanda aperta su MathOverflow - Fornisce nuovi strumenti per la ricerca sul principio di Hasse integrale - I metodi sono generalizzabili ad altre superfici log K3 ### Insufficienze 1. **Dipendenza Computazionale**: - Il calcolo del gruppo di Brauer algebrico dipende da Magma, senza una dimostrazione completamente indipendente - Alcuni calcoli di coomologia di Galois sono piuttosto tecnici, con leggibilità limitata 2. **Generalizzabilità**: - I risultati principali si limitano alle superfici cubiche - L'applicabilità del metodo a superfici log K3 più generali rimane poco chiara 3. **Esempi Limitati**: - Sebbene sia provata l'esistenza di elementi trascendenti, vengono forniti solo pochi esempi espliciti - Manca una comprensione statistica della dimensione "tipica" del gruppo di Brauer trascendente 4. **Portata delle Applicazioni**: - Gli esempi di ostruzione di Brauer-Manin integrale sono piuttosto specifici - Non viene discusso il potenziale di questo metodo in altri problemi diofantini ### Influenza 1. **Contributo Teorico**: - Colma il vuoto nello studio del gruppo di Brauer nei casi di bordo singolari - Fornisce una nuova prospettiva sulla ricerca aritmetica delle superfici log K3 - Le tecniche sviluppate possono essere applicate ad altri oggetti geometrici 2. **Valore Pratico**: - Fornisce nuovi strumenti per determinare l'esistenza di punti interi - Il metodo di costruzione esplicita ha valore di applicazione diretta a problemi concreti - Il quadro computazionale può essere adottato da altri ricercatori 3. **Riproducibilità**: - Tutte le costruzioni sono esplicite e facili da verificare - La logica della dimostrazione dei teoremi principali è chiara e tracciabile - Vengono forniti sufficienti dettagli tecnici per l'apprendimento da parte di altri ### Scenari di Applicazione 1. **Ricerca Teorica**: - Calcolo del gruppo di Brauer di superfici log K3 - Calcolo esplicito della coomologia di Galois - Studio degli invarianti nella geometria birazionale 2. **Applicazioni Aritmetiche**: - Problemi di principio di Hasse e approssimazione forte - Determinazione della risolubilità di equazioni diofantine - Teoria dell'ostruzione nella distribuzione di punti interi 3. **Aspetti Computazionali**: - Fornisce fondamenti algoritmici per sistemi di algebra computazionale - Calcolo del gruppo di Brauer di specifiche superfici cubiche - Costruzione esplicita di algebre cicliche ## Bibliografia (Selezionata) [3] J.-L. Colliot-Thélène, D. Kanevsky, and J.-J. Sansuc, *Arithmétique des surfaces cubiques diagonales*, Lecture Notes in Math., vol. 1290, Springer, 1987. [4] J.-L. Colliot-Thélène, A. Skorobogatov, *The Brauer–Grothendieck Group*, Springer, 2021. [5] J.-L. Colliot-Thélène, D. Wei, and F. Xu, *Brauer-Manin obstruction for Markoff surfaces*, Ann. Sc. Norm. Super. Pisa, 2020. [14] D. Loughran, V. Mitankin, *Integral Hasse principle and strong approximation for Markoff surfaces*, IMRN, 2021. [18] J. S. Milne, *Étale cohomology*, Princeton University Press, 1980. --- **Valutazione Complessiva**: Questo è un articolo di eccellente qualità con profondità tecnica elevata e risultati completi nel campo della geometria algebrica. L'autore studia sistematicamente una classe di oggetti geometrici importante ma precedentemente non completamente compresa, sviluppa metodi computazionali efficaci e fornisce applicazioni aritmetiche significative. Il valore principale dell'articolo risiede nella sua completezza, natura costruttiva e contributi metodologici, che pongono una base solida per ricerche successive.