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

Groupes de Brauer de certaines surfaces cubiques affines

Informations fondamentales

  • ID de l'article: 2509.16042
  • Titre: Brauer groups of certain affine cubic surfaces
  • Auteur: Abdulmuhsin Alfaraj (University of Bath)
  • Classification: math.AG (géométrie algébrique), math.NT (théorie des nombres)
  • Date de publication: Octobre 2025 (arXiv v2)
  • Lien de l'article: https://arxiv.org/abs/2509.16042v2

Résumé

Cet article étudie les groupes de Brauer des surfaces affines obtenues comme complémentaires de sections hyperplanes singulières dans les surfaces cubiques lisses sur un corps kk de caractéristique 0. L'auteur détermine la structure du groupe de Brauer sur la clôture algébrique en tant que module de Galois pour tous les cas possibles de sections hyperplanes singulières. Pour le cas où la section hyperplane est géométriquement l'union de trois droites, des exemples explicites d'éléments transcendants d'ordre 2 et 3 sur Q\mathbb{Q} sont fournis. L'article conclut par des applications de l'obstruction de Brauer-Manin entière au principe de Hasse entier.

Contexte et motivation de la recherche

Contexte du problème

  1. Signification arithmétique du groupe de Brauer: Le groupe de Brauer est un objet géométrique contenant des informations arithmétiques riches et constitue un invariant birationnel pour les variétés lisses propres. En 1970, Manin a utilisé avec succès le groupe de Brauer pour expliquer l'échec du principe de Hasse, inaugurant l'étude de l'obstruction de Brauer-Manin.
  2. Défis computationnels: La détermination du groupe de Brauer, en particulier sa partie transcendante, est généralement un problème difficile. Pour les variétés non propres, le problème est plus complexe — on s'attend à ce que le groupe de Brauer soit plus grand que celui de toute compactification lisse.
  3. Importance des surfaces log K3: Les surfaces log K3 sur les corps de nombres ont une signification arithmétique particulière. Une conjecture affirme que la positivité de la classe anticanonique logarithmique d'une variété affine contrôle l'abondance des points entiers. Les surfaces log K3 (classe anticanonique triviale) constituent le cas limite, d'une importance cruciale.
  4. Recherches antérieures:
    • Colliot-Thélène et Wittenberg ont étudié les familles de surfaces cubiques diagonales (complémentaires de courbes de genre 1 lisses)
    • Bright et Lyczak ont donné des bornes uniformes sur la taille du groupe de Brauer des complémentaires de diviseurs anticanoniques lisses dans les surfaces de del Pezzo
    • La surface de Markoff (union de trois droites rationnelles) a été étudiée par Colliot-Thélène et al., ainsi que par Loughran-Mitankin

Motivation de la recherche

Cet article étudie les surfaces qui peuvent être plongées comme complémentaires de diviseurs anticanoniques singuliers dans des surfaces cubiques lisses, pour les raisons suivantes:

  • Ces surfaces sont des surfaces log K3 abondantes, arithmétiquement intéressantes
  • D'un point de vue géométrique, elles peuvent posséder un groupe d'automorphismes infini discret
  • Dans le cas de la surface de Markoff, le groupe d'automorphismes combiné avec l'obstruction de Brauer-Manin produit des applications

Contributions principales

  1. Théorème de classification complet: Détermination de la structure complète du groupe de Brauer Br(U)\text{Br}(U) en tant que module de Galois Γk=Gal(kˉ/k)\Gamma_k = \text{Gal}(\bar{k}/k) pour tous les cas possibles de sections hyperplanes singulières (Théorème 1.1)
  2. Existence d'éléments transcendants du groupe de Brauer: Pour le cas de trois droites géométriques, construction explicite d'éléments transcendants d'ordre 2 et 3 sur Q\mathbb{Q} (Théorème 1.2)
  3. Application de l'obstruction de Brauer-Manin entière: Pour l'équation 9x3+y3=z2+39x^3 + y^3 = z^2 + 3, preuve de l'existence d'une obstruction de Brauer-Manin entière provenant d'un élément d'ordre 3 (Théorème 1.3), répondant à une question posée par Grechuk sur MathOverflow
  4. Méthodes de calcul: Développement d'une méthode systématique utilisant les suites de Gysin, les théorèmes de pureté et la cohomologie galoisienne pour calculer les groupes de Brauer

Explication détaillée des méthodes

Définition de la tâche

Étant donné une surface cubique lisse X⊂P3X \subset \mathbb{P}^3 et une section hyperplane singulière HH sur un corps kk de caractéristique 0, calculer la structure du groupe de Brauer Br(U)\text{Br}(U) de la surface affine U:=X∖HU := X \setminus H en tant que module de Galois.

Cadre théorique

1. Structure stratifiée du groupe de Brauer

Pour une kk-variété XX, on définit:

  • Br0(X)=im[Br(k)→Br(X)]\text{Br}_0(X) = \text{im}[\text{Br}(k) \to \text{Br}(X)] (partie constante)
  • Br1(X)=ker⁡[Br(X)→Br(Xˉ)]\text{Br}_1(X) = \ker[\text{Br}(X) \to \text{Br}(\bar{X})] (groupe de Brauer algébrique)
  • 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) (groupe de Brauer transcendant)

2. Outils techniques clés

Suite de Gysin (Lemme 3.3): Pour une kk-variété lisse XX et un sous-schéma fermé lisse ZZ de codimension cc, il existe une suite exacte longue: 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

Semi-pureté (Lemme 3.4): Pour un sous-schéma fermé réduit ZZ de codimension 1 partout (avec singularités de codimension ≥2\geq 2), il existe une suite analogue.

Dualité de Poincaré et Théorème de pureté absolue (Gabber): Reliant les différents groupes de cohomologie.

Stratégie de calcul

Première étape: Groupe de Brauer algébrique

Utilisation de la suite exacte courte (Proposition 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

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

Par calcul avec Magma de toutes les actions de Galois possibles, on obtient un nombre fini de possibilités (Proposition 2.6).

Deuxième étape: Groupe de Brauer global

À partir de la suite de Kummer, on obtient un diagramme commutatif (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}$$ Point clé: $\text{Br}(U)[n] \cong \text{coker}(\Psi_n)$ (Lemme 3.8). #### Troisième étape: Calcul par cas **Cas 1: Droite + courbe quadratique lisse** (Proposition 3.9) - Si tangente: $\text{Br}U = 0$ - Si intersection en deux points rationnels: $\text{Br}U \cong \mathbb{Q}/\mathbb{Z}(-1)$ - Si intersection en un point de degré 2 $k(\sqrt{d})$: $(\text{Br}U)[n] \cong M_d/nM_d(-1)$, où $M_d = (\text{Ind}_{k(\sqrt{d})/k}\mathbb{Z})/\mathbb{Z}$ **Cas 2: Courbe cubique singulière géométriquement irréductible** (Proposition 3.10) - Cusp: $\text{Br}U = 0$ - Nœud multiplicatif décomposé: $\text{Br}U \cong \mathbb{Q}/\mathbb{Z}(-1)$ - Nœud multiplicatif non décomposé: $(\text{Br}U)[n] \cong M_d/nM_d(-1)$ **Cas 3: Trois droites géométriques** (Proposition 3.11) Soit $L$ le corps de décomposition minimal. Calcul explicite de l'application $\phi: H^1(C', \mathbb{Z}/n\mathbb{Z}) \to H^3(X', \mu_n)$. Par établissement du diagramme commutatif (3.14), utilisation de la formule des résidus (3.15): $$\partial(a,b,c) = (c-b, a-c, b-a)$$ On obtient $\ker(\phi) \cong \mathbb{Z}/n\mathbb{Z}(-1)$ en tant que $\Gamma_L$-module. Par analyse de l'action de Galois (calculs explicites des 3-cycles et 2-cycles), on détermine la structure en tant que $\Gamma_k$-module. ### Points d'innovation technique 1. **Cadre unifié**: Intégration de tous les cas de sections hyperplanes singulières dans un cadre de calcul unifié 2. **Action de Galois explicite**: Par les formules explicites de l'application des résidus (3.15), détermination précise de la structure du module de Galois 3. **Utilisation de modules induits**: Introduction de $M_d = (\text{Ind}_{k(\sqrt{d})/k}\mathbb{Z})/\mathbb{Z}$ pour décrire succinctement les cas non décomposés 4. **Approche constructive**: Construction complètement explicite des éléments transcendants (Proposition 4.4) ## Résultats principaux ### Théorème 1.1 (Classification complète du groupe de Brauer) Soit $k$ un corps de caractéristique 0, $\Gamma_k := \text{Gal}(\bar{k}/k)$, $X$ une surface cubique lisse, $H$ une section hyperplane, $U := X \setminus H$. **(i) Cas droite + courbe quadratique lisse**: $$\text{Br}U \cong \begin{cases} 0, & \text{si tangente}\\ \mathbb{Q}/\mathbb{Z}(-1), & \text{si }|\ell(k) \cap C(k)| = 2\\ \varinjlim(M_d/nM_d(-1)), & \text{si }\ell \cap C = \text{Spec}(k(\sqrt{d})) \end{cases}$$ **(ii) Courbe cubique singulière géométriquement irréductible**: $$\text{Br}U \cong \begin{cases} 0, & \text{si cusp}\\ \mathbb{Q}/\mathbb{Z}(-1), & \text{si nœud multiplicatif décomposé}\\ \varinjlim(M_d/nM_d(-1)), & \text{si nœud non décomposé} \end{cases}$$ **(iii) Trois droites**: Soit $L$ le corps de décomposition minimal, $d \in k$ le discriminant de $L/k$, $\tilde{L} := L(\sqrt{d})$. $$\text{Br}U \cong \begin{cases} 0, & \text{si point d'Eckard}\\ \mathbb{Q}/\mathbb{Z}(-1), & \text{si }L=k\text{ et }\cap\ell_i = \emptyset\text{, ou }\text{Gal}(L/k) \cong \mathbb{Z}/3\mathbb{Z}\\ \varinjlim(M_d/nM_d(-1)), & \text{si }\text{Gal}(\tilde{L}/k) \cong S_3\text{ ou }\text{Gal}(L/k) \cong \mathbb{Z}/2\mathbb{Z} \end{cases}$$ ### Théorème 1.2 (Existence d'éléments transcendants) Il existe une surface cubique affine $U$ sur $\mathbb{Q}$ (complémentaire de trois droites géométriques) telle que: - $\mathbb{Z}/2\mathbb{Z} \subset \text{Br}(U)$ et $\mathbb{Z}/2\mathbb{Z} \not\subset \text{Br}_1(U)$ - $\mathbb{Z}/3\mathbb{Z} \subset \text{Br}(U)$ et $\mathbb{Z}/3\mathbb{Z} \not\subset \text{Br}_1(U)$ **Construction explicite** (Section 4.1): **Cas d'ordre 2**: Prendre $f_1 = X, f_2 = Y, f_3 = Z$, avec les points: - $P_1 = [0:1:1], P_4 = [0:4:1]$ (sur $\ell_1$) - $P_2 = [9:0:1], P_5 = [16:0:1]$ (sur $\ell_2$) - $P_3 = [-25:1:0], P_6 = [-36:1:0]$ (sur $\ell_3$) Le générateur est $A_2 = (f_1/f_3, f_2/f_3)$. **Cas d'ordre 3**: Sur $L = \mathbb{Q}(\omega)$, prendre: $$f_1 = X + \omega Y + Z, \quad f_2 = X + \omega^2 Y + Z, \quad f_3 = Z$$ Avec un choix soigné de six points satisfaisant les conditions de résidus, le générateur est: $$A_3 := \text{cor}_{L(T_L)/\mathbb{Q}(T)}\left(\frac{f_1}{f_3}, \frac{f_2}{f_3}\right)_\omega$$ ### Théorème 1.3 (Obstruction de Brauer-Manin entière) Considérer le $\mathbb{Z}$-schéma: $$U: 9x^3 + y^3 = z^2 + 3 \subset \mathbb{A}^3_{\mathbb{Z}}$$ Soit $\omega$ une racine primitive cubique de l'unité. Alors: 1. $\text{Br}(U_{\mathbb{Q}})/\text{Br}(\mathbb{Q}) \cong \mathbb{Z}/3\mathbb{Z}$ 2. Le générateur est l'algèbre cyclique: $$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$ **Points clés de la preuve** (Section 5): - Preuve que $U(\mathbb{A}_{\mathbb{Z}}) \neq \emptyset$ (vérification de l'existence de points locaux pour tous les nombres premiers) - Pour $x_3 = (x,y,z) \in U(\mathbb{Z}_3)$, analyse modulo 9 de l'équation donne $z \equiv \pm 4 \pmod{9}$ - Utilisation de la formule explicite pour les algèbres cycliques (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}$ - Calcul donnant: $$\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}$$ - Par conséquent $\sum_p \text{inv}_p B(x_p) \neq 0$, c'est-à-dire $U(\mathbb{A}_{\mathbb{Z}})^B = \emptyset$ ## Détails techniques ### Calcul de la cohomologie galoisienne Pour $M_d = (\text{Ind}_{k(\sqrt{d})/k}\mathbb{Z})/\mathbb{Z}$, le Lemme 4.1 donne: Si $\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{sinon} \end{cases}$$ Si $\sqrt{d} \in k(\zeta_n)$ et $[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{sinon} \end{cases}$$ **Esquisse de preuve**: Transformation du problème en calcul des invariants de Galois du module Hom $H_n$, utilisation de l'action explicite de $G_n = \text{Gal}(k(\zeta_n, \sqrt{d})/k)$. ### Bornes du groupe de Brauer transcendant Le Théorème 4.2 résume: En supposant que $k$ ne contient pas de racines de l'unité non triviales, alors $\text{Br}U/\text{Br}_1 U$ est un sous-groupe des groupes suivants: | Cas | Borne supérieure | |------|------| | Tangente/Cusp/Point d'Eckard | 0 | | Deux points rationnels/Nœud décomposé/$L=k$ ou $\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}$ | | Autre | $\mathbb{Z}/2\mathbb{Z}$ | ## Travaux connexes ### Contexte historique 1. **Manin (1970)**: Première utilisation du groupe de Brauer pour expliquer l'échec du principe de Hasse, inaugurant la théorie de l'obstruction de Brauer-Manin 2. **Colliot-Thélène & Sansuc (1981)**: Développement de la théorie du groupe de Brauer des groupes algébriques 3. **Colliot-Thélène & Wittenberg (2012)**: Étude de l'obstruction de Brauer-Manin entière pour les surfaces cubiques diagonales ### Recherches connexes 1. **Bright & Lyczak (2019)**: Bornes uniformes sur le groupe de Brauer des complémentaires de surfaces de del Pezzo 2. **Colliot-Thélène, Wei & Xu (2020)**: Obstruction de Brauer-Manin pour les surfaces de Markoff 3. **Loughran & Mitankin (2021)**: Principe de Hasse entier et forte approximation pour les surfaces de Markoff 4. **Harpaz (2017)**: Géométrie et arithmétique des surfaces log K3 ### Innovations de cet article - **Complétude**: Première étude systématique de tous les cas de sections hyperplanes singulières - **Explicité**: Construction complètement explicite des éléments transcendants - **Applicabilité**: Nouveaux exemples d'obstructions de Brauer-Manin entière ## Conclusion et discussion ### Conclusions principales 1. Détermination complète de la structure du groupe de Brauer des complémentaires de sections hyperplanes singulières en tant que module de Galois 2. Preuve de l'existence d'éléments transcendants d'ordre 2 et 3 3. Nouvelles applications de l'obstruction de Brauer-Manin entière ### Limitations 1. **Restriction de caractéristique**: La méthode dépend de l'hypothèse de caractéristique 0 (théorème de pureté absolue) 2. **Complexité computationnelle**: Le calcul du groupe de Brauer algébrique nécessite des systèmes d'algèbre informatique comme Magma 3. **Généralité**: Résultats principalement concernant les surfaces cubiques, cas de degrés plus élevés non traités ### Directions futures 1. Généralisation à d'autres types de surfaces log K3 2. Étude de l'interaction entre les groupes d'automorphismes infinis et l'obstruction de Brauer-Manin 3. Exploration des applications du groupe de Brauer transcendant à d'autres problèmes arithmétiques 4. Développement de méthodes de calcul plus efficaces ## Évaluation approfondie ### Points forts 1. **Complétude théorique**: - Classification complète pour tous les cas possibles (Théorème 1.1) - Développement systématique de la méthodologie de calcul du groupe de Brauer - Cadre théorique clair et logique rigoureuse 2. **Profondeur technique**: - Combinaison ingénieuse des suites de Gysin, théorèmes de pureté et cohomologie galoisienne - Calculs explicites de l'action de Galois (en particulier analyse des 3-cycles et 2-cycles) démontrant une technique sophistiquée - Calculs précis des résidus des algèbres cycliques reflétant une profonde expertise 3. **Caractère constructif**: - La preuve du Théorème 1.2 fournit des exemples complètement explicites - Toutes les coordonnées des points sont données explicitement, forte vérifiabilité - La preuve du Théorème 1.3 contient tous les détails de calcul 4. **Valeur applicative**: - Réponse à une question ouverte posée sur MathOverflow - Nouveaux outils pour la recherche sur le principe de Hasse entier - Les méthodes sont généralisables à d'autres surfaces log K3 ### Insuffisances 1. **Dépendance computationnelle**: - Le calcul du groupe de Brauer algébrique dépend de Magma, sans preuve complètement indépendante - Certains calculs de cohomologie galoisienne sont très techniques, lisibilité limitée 2. **Généralité**: - Résultats principaux limités aux surfaces cubiques - Applicabilité de la méthode aux surfaces log K3 plus générales peu claire 3. **Exemples limités**: - Bien que l'existence d'éléments transcendants soit prouvée, seuls quelques exemples explicites sont donnés - Manque de compréhension statistique de la "taille typique" du groupe de Brauer transcendant 4. **Portée des applications**: - Les exemples d'obstruction de Brauer-Manin entière sont plutôt spécialisés - Potentiel de la méthode dans d'autres problèmes diophantiens non discuté ### Impact 1. **Contribution théorique**: - Comble une lacune dans l'étude du groupe de Brauer pour les cas limites singuliers - Fournit une nouvelle perspective pour la recherche arithmétique sur les surfaces log K3 - Les techniques développées s'appliquent à d'autres objets géométriques 2. **Valeur pratique**: - Nouvel outil pour juger l'existence de points entiers - Les méthodes de construction explicite ont une valeur d'application directe aux problèmes concrets - Le cadre de calcul peut être adopté par d'autres chercheurs 3. **Reproductibilité**: - Toutes les constructions sont explicites, faciles à vérifier - La logique de preuve des théorèmes principaux est claire et traçable - Détails techniques suffisants pour l'apprentissage par d'autres ### Domaines d'application 1. **Recherche théorique**: - Calcul du groupe de Brauer des surfaces log K3 - Calculs explicites de cohomologie galoisienne - Étude des invariants en géométrie birationnelle 2. **Applications arithmétiques**: - Problèmes de principe de Hasse et forte approximation - Jugement de la résolubilité des équations diophantiennes - Théorie des obstructions pour la distribution des points entiers 3. **Aspects computationnels**: - Base algorithmique pour les systèmes d'algèbre informatique - Calcul du groupe de Brauer de surfaces cubiques concrètes - Construction explicite d'algèbres cycliques ## Références (sélection) [3] J.-L. Colliot-Thélène, D. Kanevsky, et 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, et 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. --- **Évaluation globale**: Cet article est une excellente contribution en géométrie algébrique, combinant profondeur technique, résultats complets et applications significatives. L'auteur étudie systématiquement une classe d'objets géométriques importants mais précédemment non complètement compris, développe des méthodes de calcul efficaces et fournit des applications arithmétiques pertinentes. La valeur principale de l'article réside dans sa complétude, son caractère constructif et ses contributions méthodologiques, jetant les bases pour des recherches ultérieures.