logo Journal de l'École Polytechnique
Purity and quasi-split torsors over Prüfer bases
[Pureté et torseurs quasi-déployés sur les bases de Prüfer]
Ning Guo1 ; Fei Liu2
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
Journal de l’École polytechnique — Mathématiques, Tome 11 (2024), pp. 187-246.

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].

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].

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
Mot 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
Ning Guo 1 ; Fei Liu 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 = {Ning Guo and Fei Liu},
     title = {Purity and quasi-split torsors over {Pr\"ufer~bases}},
     journal = {Journal de l{\textquoteright}\'Ecole polytechnique {\textemdash} Math\'ematiques},
     pages = {187--246},
     publisher = {\'Ecole polytechnique},
     volume = {11},
     year = {2024},
     doi = {10.5802/jep.253},
     language = {en},
     url = {https://jep.centre-mersenne.org/articles/10.5802/jep.253/}
}
TY  - JOUR
AU  - Ning Guo
AU  - Fei Liu
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  - École polytechnique
UR  - https://jep.centre-mersenne.org/articles/10.5802/jep.253/
DO  - 10.5802/jep.253
LA  - en
ID  - JEP_2024__11__187_0
ER  - 
%0 Journal Article
%A Ning Guo
%A Fei Liu
%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 École polytechnique
%U https://jep.centre-mersenne.org/articles/10.5802/jep.253/
%R 10.5802/jep.253
%G en
%F JEP_2024__11__187_0
Ning Guo; Fei Liu. 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. https://jep.centre-mersenne.org/articles/10.5802/jep.253/

[AB57] M. Auslander & D. A. Buchsbaum - “Homological dimension in local rings”, Trans. Amer. Math. Soc. 85 (1957), p. 390-405 | DOI | MR | Zbl

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

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

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

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

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

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

[BS15] B. Bhatt & P. Scholze - “The pro-étale topology for schemes”, in De la géométrie algébrique aux formes automorphes (I), Astérisque, vol. 369, Société Mathématique de France, Paris, 2015, p. 99-201 | Zbl

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

[CTS79] J.-L. Colliot-Thélène & J.-J. Sansuc - “Fibrés quadratiques et composantes connexes réelles”, Math. Ann. 244 (1979) no. 2, p. 105-134 | DOI | Zbl

[EGA I] A. Grothendieck & J. Dieudonné - “Éléments de géométrie algébrique. I. Le langage des schémas”, Publ. Math. Inst. Hautes Études Sci. 4 (1960), p. 5-228

[EGA IV 2 ] A. Grothendieck & J. Dieudonné - “É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. 24 (1965), p. 5-231 | Zbl

[EGA IV 3 ] A. Grothendieck & J. Dieudonné - “É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. 28 (1966), p. 5-255 | Zbl

[EGA IV 4 ] A. Grothendieck & J. Dieudonné - “É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. 32 (1967), p. 5-361 | Zbl

[Fed21] R. Fedorov - “On the purity conjecture of Nisnevich for torsors under reductive group schemes”, 2021 | arXiv

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

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

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

[GL23] N. Guo & F. Liu - “Grothendieck–Serre for constant reductive group schemes”, 2023 | arXiv

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

[GR18] O. Gabber & L. Ramero - “Foundations for almost ring theory”, 2018 | arXiv

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

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

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

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

[Mar16] A. Marrama - A purity theorem for torsors, ALGANT master thesis, 2016

[MB22] L. Moret-Bailly - “A construction of weakly unramified extensions of a valuation ring”, Rend. Sem. Mat. Univ. Padova 147 (2022), p. 139-151 | DOI | Zbl

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

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

[Nis89] Y. A. Nisnevich - “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. 309 (1989) no. 10, p. 651-655 | MR | Zbl

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

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

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

[RG71] M. Raynaud & L. Gruson - “Critères de platitude et de projectivité. Techniques de ”platification” d’un module”, Invent. Math. 13 (1971), p. 1-89 | DOI | Zbl

[Sam64] P. Samuel - “Anneaux gradués factoriels et modules réflexifs”, Bull. Soc. math. France 92 (1964), p. 237-249 | DOI | Numdam | Zbl

[Ser56] J.-P. Serre - “Sur la dimension homologique des anneaux et des modules noethériens”, Proc. Int. Symp. Algebraic Number Theory 1955), 1956, p. 175-189 | Zbl

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

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

[SGA 3 IIInew ] M. Demazure & A. Grothendieck - Schémas en groupes (SGA 3). Tome III. Structure des schémas en groupes réductifs, Documents Math., vol. 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] M. Zafrullah - “On finite conductor domains”, Manuscripta Math. 24 (1978), p. 191-204 | DOI | MR | Zbl

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

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

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

[ČS24] K. Česnavičius & P. Scholze - “Purity for flat cohomology”, Ann. of Math. (2) 199 (2024) no. 1, p. 51-180 | DOI | MR | Zbl

Cité par Sources :