Purity and quasi-split torsors over Prüfer bases
[Pureté et torseurs quasi-déployés sur les bases de Prüfer]
Guo, Ning1 ; Liu, Fei2
1St. Petersburg branch of V. A. Steklov Mathematical Institute, Fontanka 27, 191023 St. Petersburg, Russia
2Department of Mathematics, Southern University of Science and Technology, Shenzhen, China
Journal de l’École polytechnique — Mathématiques, Tome 11 (2024), pp. 187-246

We establish an analogue of the Zariski–Nagata purity theorem for finite étale covers on smooth schemes over Prüfer rings by demonstrating Auslander’s flatness criterion in this non-Noetherian context. We derive an Auslander–Buchsbaum formula for general local rings, which provides a useful tool for studying the algebraic structures involved in our work. Through the analysis of reflexive sheaves, we prove various purity theorems for torsors under certain group algebraic spaces, such as the reductive ones. Specifically, using results from [EGA IV 4 ] on parafactoriality on smooth schemes over normal bases, we prove the purity for cohomology groups of multiplicative type groups at this level of generality. Subsequently, we leverage the aforementioned purity results to resolve the Grothendieck–Serre conjecture for torsors under a quasi-split reductive group scheme over schemes smooth over Prüfer rings. Along the way, we also prove a version of the Nisnevich purity conjecture for quasi-split reductive group schemes in our Prüferian context, inspired by the recent work of Česnavičius [Čes22b].

Nous établissons un analogue du théorème de pureté de Zariski–Nagata pour les revêtements étales sur les schémas lisses sur les anneaux de Prüfer en démontrant le critère de platitude d’Auslander dans ce contexte non noethérien. Nous dérivons une formule d’Auslander–Buchsbaum pour les anneaux locaux généraux, qui fournit un outil utile pour étudier les structures algébriques impliquées dans notre travail. Grâce à l’analyse des faisceaux réflexifs, nous prouvons divers théorèmes de pureté pour les torseurs sous certains espaces algébriques en groupes, notamment ceux qui sont réductifs. En particulier, en utilisant des résultats de [EGA IV 4 ] sur la parafactorialité sur les schémas lisses sur des bases normales, nous prouvons la pureté pour les groupes de cohomologie des groupes de type multiplicatif à ce niveau de généralité. Ensuite, nous utilisons les résultats de pureté susmentionnés pour résoudre la conjecture de Grothendieck–Serre pour les torseurs sous un schéma en groupes réductifs quasi-déployés sur des schémas lisses sur des anneaux de Prüfer. Nous prouvons également une version de la conjecture de pureté de Nisnevich pour les schémas en groupes réductifs quasi-déployés dans notre contexte prüferien, inspirée par les travaux récents de Česnavičius [Čes22b].

Reçu le :
Accepté le :
Publié le :
DOI : 10.5802/jep.253
Classification : 14F22, 14F20, 14G22, 16K50
Keywords: Purity, Zariski–Nagata, Auslander–Buchsbaum, Grothendieck–Serre, vector bundles, principal bundles, Prüfer rings, torsors, homogeneous spaces, group schemes, valuation rings
Mots-clés : Pureté, Zariski-Nagata, Auslander-Buchsbaum, Grothendieck-Serre, fibré vectoriel, fibre principal, anneau de Prüfer, torseur, espace homogène, schéma en groupes, anneau de valuation

Guo, Ning  1   ; Liu, Fei  2

1 St. Petersburg branch of V. A. Steklov Mathematical Institute, Fontanka 27, 191023 St. Petersburg, Russia
2 Department of Mathematics, Southern University of Science and Technology, Shenzhen, China
Licence : CC-BY 4.0
Droits d'auteur : Les auteurs conservent leurs droits
@article{JEP_2024__11__187_0,
     author = {Guo, Ning and Liu, Fei},
     title = {Purity and quasi-split torsors over {Pr\"ufer~bases}},
     journal = {Journal de l{\textquoteright}\'Ecole polytechnique {\textemdash} Math\'ematiques},
     pages = {187--246},
     year = {2024},
     publisher = {Ecole polytechnique},
     volume = {11},
     doi = {10.5802/jep.253},
     mrnumber = {4695964},
     zbl = {07811892},
     language = {en},
     url = {https://www.numdam.org/articles/10.5802/jep.253/}
}
TY  - JOUR
AU  - Guo, Ning
AU  - Liu, Fei
TI  - Purity and quasi-split torsors over Prüfer bases
JO  - Journal de l’École polytechnique — Mathématiques
PY  - 2024
SP  - 187
EP  - 246
VL  - 11
PB  - Ecole polytechnique
UR  - https://www.numdam.org/articles/10.5802/jep.253/
DO  - 10.5802/jep.253
LA  - en
ID  - JEP_2024__11__187_0
ER  - 
%0 Journal Article
%A Guo, Ning
%A Liu, Fei
%T Purity and quasi-split torsors over Prüfer bases
%J Journal de l’École polytechnique — Mathématiques
%D 2024
%P 187-246
%V 11
%I Ecole polytechnique
%U https://www.numdam.org/articles/10.5802/jep.253/
%R 10.5802/jep.253
%G en
%F JEP_2024__11__187_0
Guo, Ning; Liu, Fei. Purity and quasi-split torsors over Prüfer bases. Journal de l’École polytechnique — Mathématiques, Tome 11 (2024), pp. 187-246. doi: 10.5802/jep.253

[AB57] Auslander, Maurice; Buchsbaum, David A. Homological dimension in local rings, Trans. Amer. Math. Soc., Volume 85 (1957), pp. 390-405 | DOI | MR | Zbl

[Alp14] Alper, Jarod Adequate moduli spaces and geometrically reductive group schemes, Algebraic Geom., Volume 1 (2014) no. 4, pp. 489-531 | DOI | Zbl | MR

[Aus62] Auslander, M. On the purity of the branch locus, Amer. J. Math., Volume 84 (1962), pp. 116-125 | DOI | MR | Zbl

[Ber71] Bertin, José Anneaux cohérents réguliers, C. R. Acad. Sci. Paris Sér. A-B, Volume 273 (1971), pp. 590-591 | MR | Zbl

[Ber72] Bertin, José Anneaux cohérents de dimension homologique finie, Colloque Algebre commut. (Rennes 1972) (Publ. Sem. Math.), Volume 16, Univ. Rennes, 1972 (12 p.) | MR | Numdam | Zbl

[Bou98] Bourbaki, Nicolas Commutative algebra. Chapters 1–7, Elements of Mathematics, Springer-Verlag, Berlin, 1998 | MR

[BR83] Bhatwadekar, S. M.; Rao, R. A. On a question of Quillen, Trans. Amer. Math. Soc., Volume 279 (1983), pp. 801-810 | DOI | MR | Zbl

[BS15] Bhatt, Bhargav; Scholze, Peter The pro-étale topology for schemes, De la géométrie algébrique aux formes automorphes (I) (Astérisque), Volume 369, Société Mathématique de France, Paris, 2015, pp. 99-201 | Zbl

[BČ22] Bouthier, Alexis; Česnavičius, Kęstutis Torsors on loop groups and the Hitchin fibration, Ann. Sci. École Norm. Sup. (4), Volume 55 (2022) no. 3, p. 791–864 | DOI | Zbl | MR

[CTS79] Colliot-Thélène, Jean-Louis; Sansuc, Jean-Jacques Fibrés quadratiques et composantes connexes réelles, Math. Ann., Volume 244 (1979) no. 2, pp. 105-134 | DOI | Zbl | MR

[EGA I] Grothendieck, Alexander; Dieudonné, Jean Éléments de géométrie algébrique. I. Le langage des schémas, Publ. Math. Inst. Hautes Études Sci., Volume 4 (1960), pp. 5-228 | MR

[EGA IV 2 ] Grothendieck, Alexander; Dieudonné, Jean Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. II, Publ. Math. Inst. Hautes Études Sci., Volume 24 (1965), pp. 5-231 | Zbl | MR

[EGA IV 3 ] Grothendieck, Alexander; Dieudonné, Jean Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. III, Publ. Math. Inst. Hautes Études Sci., Volume 28 (1966), pp. 5-255 | Zbl | MR

[EGA IV 4 ] Grothendieck, Alexander; Dieudonné, Jean Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas IV, Publ. Math. Inst. Hautes Études Sci., Volume 32 (1967), pp. 5-361 | Zbl | MR

[Fed21] Fedorov, Roman On the purity conjecture of Nisnevich for torsors under reductive group schemes, 2021 | arXiv

[Fed22] Fedorov, Roman On the Grothendieck-Serre conjecture on principal bundles in mixed characteristic, Trans. Amer. Math. Soc., Volume 375 (2022) no. 1, pp. 559-586 | DOI | MR | Zbl

[Gab81] Gabber, Ofer Some theorems on Azumaya algebras, Groupe de Brauer, (Les Plans-sur-Bex 1980) (Lect. Notes in Math.), Volume 844, Springer, 1981, pp. 129-209 | DOI | MR | Zbl

[Gil22] Gille, Philippe When is a reductive group scheme linear?, Michigan Math. J., Volume 72 (2022), pp. 439-448 | DOI | MR | Zbl

[GL23] Guo, Ning; Liu, Fei Grothendieck–Serre for constant reductive group schemes, 2023 | arXiv

[Gla89] Glaz, Sarah Commutative coherent rings, Lect. Notes in Math., 1371, Springer-Verlag, Berlin, 1989 | DOI | MR

[GR18] Gabber, Ofer; Ramero, Lorenzo Foundations for almost ring theory, 2018 | arXiv | arXiv | MR

[Guo24] Guo, Ning The Grothendieck–Serre conjecture over valuation rings, Compositio Math., Volume 160 (2024) no. 2, pp. 317-355 | DOI | Zbl | MR

[KM76] Knudsen, Finn; Mumford, David The projectivity of the moduli space of stable curves. I: Preliminaries on “det” and “Div”, Math. Scand., Volume 39 (1976), pp. 19-55 | MR | Zbl | DOI

[Kna03] Knaf, Hagen Regular curves over Prüfer domains, Valuation theory and its applications. Vol. II (Saskatoon, 1999), American Mathematical Society, Providence, RI, 2003, pp. 89-106 | MR | Zbl

[Kna08] Knaf, Hagen Regular local algebras over valuation domains: weak dimension and regular sequences, J. Algebra Appl., Volume 7 (2008) no. 5, pp. 575-591 | DOI | MR | Zbl

[Mar16] Marrama, Andrea A purity theorem for torsors, ALGANT master thesis (2016)

[MB22] Moret-Bailly, Laurent A construction of weakly unramified extensions of a valuation ring, Rend. Sem. Mat. Univ. Padova, Volume 147 (2022), pp. 139-151 | DOI | Zbl | MR

[Nag59] Nagata, Masayoshi On the purity of branch loci in regular local rings, Illinois J. Math., Volume 3 (1959), pp. 328-333 | MR | Zbl

[Nag66] Nagata, Masayoshi Finitely generated rings over a valuation ring, J. Math. Kyoto Univ., Volume 5 (1966), pp. 163-169 | Zbl | DOI | MR

[Nis89] Nisnevich, Yevsey A. Rationally trivial principal homogeneous spaces, purity and arithmetic of reductive group schemes over extensions of two-dimensional regular local rings, C. R. Acad. Sci. Paris Sér. I Math., Volume 309 (1989) no. 10, pp. 651-655 | Zbl | MR

[Pan18] Panin, Ivan On Grothendieck-Serre conjecture concerning principal bundles, Proc. I.C.M. (Rio de Janeiro, 2018). Vol. II, World Sci. Publ., Hackensack, NJ, 2018, pp. 201-221 | Zbl

[Pop02] Popescu, Dorin On a question of Quillen, Bull. Math. Soc. Sci. Math. Roumanie (N.S.), Volume 45 (2002) no. 3-4, pp. 209-212 | MR | Zbl

[Que71] Quentel, Yann Sur le théorème d’Auslander-Buchsbaum, C. R. Acad. Sci. Paris Sér. A-B, Volume 273 (1971), pp. 880-881 | MR | Zbl

[RG71] Raynaud, Michel; Gruson, Laurent Critères de platitude et de projectivité. Techniques de ”platification” d’un module, Invent. Math., Volume 13 (1971), pp. 1-89 | DOI | Zbl | MR

[Sam64] Samuel, Pierre Anneaux gradués factoriels et modules réflexifs, Bull. Soc. math. France, Volume 92 (1964), pp. 237-249 | Numdam | Zbl | DOI | MR

[Ser56] Serre, Jean-Pierre Sur la dimension homologique des anneaux et des modules noethériens, Proc. Int. Symp. Algebraic Number Theory 1955), 1956, pp. 175-189 | Zbl | MR

[SGA 4 II ] Artin, M.; Grothendieck, A.; Verdier, J.-L. Théorie des topos et cohomologie étale des schémas. Tome 2, Lect. Notes in Math., 270, Springer-Verlag, 1972

[SGA 2 new ] Grothendieck, Alexander Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux (SGA 2), Documents Math., 4, Société Mathématique de France, Paris, 2005 (Revised and annotated edition of the 1968 original) | MR

[SGA 3 IIInew ] Demazure, M.; Grothendieck, A. Schémas en groupes (SGA 3). Tome III. Structure des schémas en groupes réductifs, Documents Math., 8, Société Mathématique de France, Paris, 2011 (Revised and annotated edition of the 1970 original)

[Stacks] The Stacks Project Authors The Stacks Project, 2019 (https://stacks.math.columbia.edu)

[Zaf78] Zafrullah, Muhammad On finite conductor domains, Manuscripta Math., Volume 24 (1978), pp. 191-204 | DOI | MR | Zbl

[Zar58] Zariski, Oscar On the purity of the branch locus of algebraic functions, Proc. Nat. Acad. Sci. U.S.A., Volume 44 (1958), pp. 791-796 | DOI | MR | Zbl

[Čes22a] Česnavičius, Kęstutis Grothendieck–Serre in the quasi-split unramified case, Forum Math. Pi, Volume 10 (2022), e9, 30 pages | DOI | MR | Zbl

[Čes22b] Česnavičius, Kęstutis Torsors on the complement of a smooth divisor, 2022 (Available at https://www.imo.universite-paris-saclay.fr/~cesnavicius/torsors-complement.pdf)

[ČS24] Česnavičius, Kęstutis; Scholze, Peter Purity for flat cohomology, Ann. of Math. (2), Volume 199 (2024) no. 1, pp. 51-180 | DOI | MR | Zbl

Cité par Sources :