The Grothendieck-Serre conjecture over valuation rings. (English) Zbl 1541.14065
Summary: In this article, we establish the Grothendieck-Serre conjecture over valuation rings: for a reductive group scheme \(G\) over a valuation ring \(V\) with fraction field \(K\), a \(G\)-torsor over \(V\) is trivial if it is trivial over \(K\). This result is predicted by the original Grothendieck-Serre conjecture and the resolution of singularities. The novelty of our proof lies in overcoming subtleties brought by general nondiscrete valuation rings. By using flasque resolutions and inducting with local cohomology, we prove a non-Noetherian counterpart of Colliot-Thélène-Sansuc’s case of tori. Then, taking advantage of techniques in algebraization, we obtain the passage to the Henselian rank-one case. Finally, we induct on Levi subgroups and use the integrality of rational points of anisotropic groups to reduce to the semisimple anisotropic case, in which we appeal to properties of parahoric subgroups in Bruhat-Tits theory to conclude. In the last section, by using extension properties of reflexive sheaves on formal power series over valuation rings and patching of torsors, we prove a variant of Nisnevich’s purity conjecture.
MSC:
| 14L15 | Group schemes |
| 14B15 | Local cohomology and algebraic geometry |
| 14M17 | Homogeneous spaces and generalizations |
| 14L30 | Group actions on varieties or schemes (quotients) |
| 14F17 | Vanishing theorems in algebraic geometry |
Keywords:
torsor; étale cohomology; Grothendieck-Serre conjecture; principal bundle; homogeneous space; group scheme; valuation ringReferences:
| [1] | Abhyankar, S., Local uniformization on algebraic surfaces over ground fields of characteristic \(p\ne 0\), Ann. of Math. (2)63 (1956), 491-526. · Zbl 0108.16803 |
| [2] | Abhyankar, S. S., Resolution of singularities of embedded algebraic surfaces, (Academic Press, New York-London, 1966). · Zbl 0147.20504 |
| [3] | Alper, J., Adequate moduli spaces and geometrically reductive group schemes, Algebr. Geom. 1 (2014), 489-531. · Zbl 1322.14026 |
| [4] | Barnes, D. W., On Cartan subalgebras of Lie algebras, Math. Z. 101 (1967), 350-355. · Zbl 0166.04103 |
| [5] | Bhatt, B. and Mathew, A., The \(\operatorname{arc} \)-topology, Duke Math. J. 170 (2021), 1899-1988. · Zbl 1478.14036 |
| [6] | Bosch, S., Lütkebohmert, W. and Raynaud, M., Néron models, (Springer, Berlin, 1990). · Zbl 0705.14001 |
| [7] | Bourbaki, N., Commutative algebra, in Elements of mathematics (Springer, Berlin, 1998), chs 1-7, translated from the French, reprint of the 1989 English translation. |
| [8] | Bouthier, A. and Česnavičius, K., Torsors on loop groups and the Hitchin fibration, Ann. Sci. Éc. Norm. Supér. 55 (2022), 791-864. · Zbl 1510.14030 |
| [9] | Bruhat, F. and Tits, J., Groupes réductifs sur un corps local. II. Schémas en groupes. Existence d’une donnée radicielle valuée, Inst. Hautes Études Sci. Publ. Math. 60 (1984), 197-376. · Zbl 0597.14041 |
| [10] | Česnavičius, K., Topology on cohomology of local fields, Forum Math. Sigma3 (2015), e16, 55, MR3482265. · Zbl 1396.11133 |
| [11] | Česnavičius, K., Grothendieck-Serre in the quasi-split unramified case, Forum Math. Pi10 (2022), 30. · Zbl 1492.14081 |
| [12] | Česnavičius, K., Problems about torsors over regular rings, Acta Math. Vietnam. 47 (2022), 39-107. · Zbl 1495.14074 |
| [13] | Choi, M. D., Lam, T. Y., Reznick, B. and Rosenberg, A., Sums of squares in some integral domains, J. Algebra65 (1980), 234-256. · Zbl 0433.10010 |
| [14] | Colliot-Thélène, J.-L. and Sansuc, J.-J., Cohomologie des groupes de type multiplicatif sur les schémas réguliers, C. R. Acad. Sci. Paris Sér. A-B287 (1978), A449-A452. · Zbl 0399.14011 |
| [15] | Colliot-Thélène, J.-L. and Sansuc, J.-J., Principal homogeneous spaces under flasque tori: applications, J. Algebra106 (1987), 148-205; MR878473. · Zbl 0597.14014 |
| [16] | Conrad, B., Weil and Grothendieck approaches to adelic points, Enseign. Math. (2)58 (2012), 61-97. · Zbl 1316.14002 |
| [17] | Conrad, B., Reductive group schemes, in Autour des schémas en groupes: École d’été “Schémas en groupes”, Group Schemes, A celebration of SGA3, vol. I (Société Mathématique de France, Paris, 2014), 93-444. · Zbl 1349.14151 |
| [18] | Cossart, V. and Piltant, O., Resolution of singularities of threefolds in positive characteristic. I. Reduction to local uniformization on Artin-Schreier and purely inseparable coverings, J. Algebra320 (2008), 1051-1082. · Zbl 1159.14009 |
| [19] | Cossart, V. and Piltant, O., Resolution of singularities of threefolds in positive characteristic. II, J. Algebra321 (2009), 1836-1976. · Zbl 1173.14012 |
| [20] | Cutkosky, S. D., Resolution of singularities for 3-folds in positive characteristic, Amer. J. Math. 131 (2009), 59-127. · Zbl 1170.14011 |
| [21] | Grothendieck, A. and Dieudonné, J., Éléments de géométrie algébrique. I. Le langage des schémas, Inst. Hautes Études Sci. Publ. Math. 4 (1960), 228; MR0217083 (36 #177a). · Zbl 0118.36206 |
| [22] | Grothendieck, A. and Dieudonné, J., Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. II, Inst. Hautes Études Sci. Publ. Math. 24 (1965), 231; MR0199181 (33 #7330) (French). · Zbl 0135.39701 |
| [23] | Grothendieck, A. and Dieudonné, J. A. E., Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas IV, Inst. Hautes Études Sci. Publ. Math. 32 (1967), 361; MR0238860 (39 #220) (French). · Zbl 0153.22301 |
| [24] | Engler, A. J. and Prestel, A., Valued fields, (Springer, Berlin, 2005). · Zbl 1128.12009 |
| [25] | Fedorov, R., On the purity conjecture of Nisnevich for torsors under reductive group schemes, Preprint (2021), arXiv:2109.10332. |
| [26] | Fedorov, R., On the Grothendieck-Serre conjecture on principal bundles in mixed characteristic, Trans. Amer. Math. Soc. 375 (2022), 559-586. · Zbl 1490.14079 |
| [27] | Fedorov, R. and Panin, I., A proof of the Grothendieck-Serre conjecture on principal bundles over regular local rings containing infinite fields, Publ. Math. Inst. Hautes Études Sci. 122 (2015), 169-193; MR3415067. · Zbl 1330.14077 |
| [28] | Florence, M. and Gille, P., Residues on affine Grassmannians, J. Reine Angew. Math. 776 (2021), 119-150. · Zbl 1478.14070 |
| [29] | Fujiwara, K. and Kato, F., Foundations of rigid geometry. I, (European Mathematical Society (EMS), Zürich, 2018). · Zbl 1400.14001 |
| [30] | Gabber, O., Some theorems in Azumaya algebras, in Groupe de Brauer, Lecture Notes in Mathematics, vol. 844 (Springer, 1981), 129-209. · Zbl 0472.14013 |
| [31] | Gabber, O., Gille, P. and Moret-Bailly, L., Fibrés principaux sur les corps valués henséliens, Algebr. Geom. 1 (2014), 573-612; MR3296806. · Zbl 1322.14068 |
| [32] | Gabber, O. and Ramero, L., Foundations for almost ring theory, Preprint (2018), arXiv:math/0409584. · Zbl 1045.13002 |
| [33] | Giraud, J., Cohomologie non abélienne, (Springer, Cham, 1971). · Zbl 0226.14011 |
| [34] | Grothendieck, A., Torsion homologique et sections rationnelles, in Anneaux de Chow et applications, Séminaire Claude Chevalley (2e année), vol. 3 (Secrétariat Mathématique, École Normale Supérieure, Paris, 1958), Exp. no. 5, 1-29. · Zbl 0098.13101 |
| [35] | Grothendieck, A., Le groupe de Brauer. II. Théorie cohomologique, in Dix exposés sur la cohomologie des schémas (North-Holland, Amsterdam; Masson, Paris, 1968), 67-87. · Zbl 0192.57801 |
| [36] | Guo, N. and Liu, F., Grothendieck-Serre for constant reductive group schemes, Preprint (2023), arXiv:2301.12460. |
| [37] | Guo, N. and Panin, I., On the Grothendieck-Serre conjecture for projective smooth schemes over a DVR, Preprint (2023), arXiv:2302.02842. |
| [38] | Harder, G., Eine Bemerkung zum schwachen Approximationssatz, Arch. Math. (Basel)19 (1968), 465-471. · Zbl 0205.25104 |
| [39] | Huber, R., Étale cohomology of rigid analytic varieties and adic spaces, (Friedrich Vieweg & Sohn, Braunschweig, 1996). · Zbl 0868.14010 |
| [40] | Maculan, M., Maximality of hyperspecial compact subgroups avoiding Bruhat-Tits theory, Ann. Inst. Fourier (Grenoble)67 (2017), 1-21. · Zbl 1483.20083 |
| [41] | Milne, J. S., Étale cohomology, (Princeton University Press, Princeton, NJ, 1980). · Zbl 0433.14012 |
| [42] | Moret-Bailly, L., Problèmes de Skolem sur les champs algébriques, Compos. Math. 125 (2001), 1-30. · Zbl 1106.11022 |
| [43] | Nagata, M., Finitely generated rings over a valuation ring, J. Math. Kyoto Univ. 5 (1966), 163-169. · Zbl 0163.03402 |
| [44] | Nisnevich, Y. 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. 309 (1989), 651-655; MR1054270. · Zbl 0687.14039 |
| [45] | Panin, I., Proof of the Grothendieck-Serre conjecture on principal bundles over regular local rings containing a field, Izv. Ross. Akad. Nauk Ser. Mat. 84 (2020), 169-186. · Zbl 1458.14024 |
| [46] | Panin, I. and Stavrova, A., On the Gille theorem for the relative projective line: I, Preprint (2023), arXiv:2304.09465. |
| [47] | Panin, I. and Stavrova, A., On the Gille theorem for the relative projective line: II, Preprint (2023), arXiv:2305.16627. |
| [48] | Perez-Garcia, C. and Schikhof, W. H., Locally convex spaces over non-Archimedean valued fields, (Cambridge University Press, Cambridge, 2010). · Zbl 1193.46001 |
| [49] | Prasad, G., Elementary proof of a theorem of Bruhat-Tits-Rousseau and of a theorem of Tits, Bull. Soc. Math. France110 (1982), 197-202. · Zbl 0492.20029 |
| [50] | Quillen, D., Projective modules over polynomial rings, Invent. Math. 36 (1976), 167-171. · Zbl 0337.13011 |
| [51] | Rousseau, G., Immeubles des groupes réducitifs sur les corps locaux (U.E.R. Mathématique, Université Paris XI, Orsay, 1977). Thèse de doctorat, Publications Mathématiques d’Orsay, No. 221-77.68. · Zbl 0412.22006 |
| [52] | Scholze, P., Perfectoid spaces, Publ. Math. Inst. Hautes Études Sci. 116 (2012), 245-313. · Zbl 1263.14022 |
| [53] | Serre, J.-P., Espaces fibrés algébriques, in Anneaux de Chow et applications, Séminaire Claude Chevalley (2e année), vol. 3 (Secrétariat Mathématique, École Normale Supérieure, Paris, 1958), Exp. no. 1, 1-37. · Zbl 0098.13101 |
| [54] | Serre, J.-P., Galois cohomology, Springer Monographs in Mathematics (Springer, 2002); MR1867431 (2002i:12004). · Zbl 1004.12003 |
| [55] | Revêtements étales et groupe fondamental (SGA 1), Documents Mathématiques (Paris) [Mathematical Documents (Paris)], 3, Séminaire de géométrie algébrique du Bois Marie 1960-61. [Algebraic Geometry Seminar of Bois Marie 1960-61]; Directed by A. Grothendieck; With two papers by M. Raynaud; Updated and annotated reprint of the 1971 original [Lecture Notes in Mathematics, 224, Springer, Berlin; MR0354651 (50 #7129)] (Société Mathématique de France, Paris, 2003); MR2017446 (2004g:14017). · Zbl 1039.14001 |
| [56] | Schémas en groupes. II: Groupes de type multiplicatif, et structure des schémas en groupes généraux. Séminaire de Géométrie Algébrique du Bois Marie 1962/64 (SGA 3). Dirigé par M. Demazure et A. Grothendieck. Lecture Notes in Mathematics, vol. 152 (Springer, Berlin-New York, 1970); MR0274459 (43 #223b). · Zbl 0209.24201 |
| [57] | Gille, P. and Polo, P. (eds.), Schémas en groupes (SGA 3). Tome III. Structure des schémas en groupes réductifs. Documents Mathématiques (Paris) [Mathematical Documents (Paris)], 8, Séminaire de Géométrie Algébrique du Bois Marie 1962-64. [Algebraic Geometry Seminar of Bois Marie 1962-64]; A seminar directed by M. Demazure and A. Grothendieck with the collaboration of M. Artin, J.-E. Bertin, P. Gabriel, M. Raynaud and J-P. Serre; Revised and annotated edition of the 1970 French original; MR2867622. |
| [58] | Théorie des topos et cohomologie étale des schémas. Tome 2, Lecture Notes in Mathematics, vol. 270, Séminaire de Géométrie Algébrique du Bois-Marie 1963-1964 (SGA 4); Dirigé par M. Artin, A. Grothendieck et J. L. Verdier. Avec la collaboration de N. Bourbaki, P. Deligne et B. Saint-Donat; MR0354653 (50 #7131). |
| [59] | The Stacks Project Authors, Stacks Project (2018), https://stacks.math.columbia.edu. |
| [60] | Temkin, M., Inseparable local uniformization, J. Algebra373 (2013), 65-119. · Zbl 1276.14021 |
| [61] | Temkin, M., Tame distillation and desingularization by \(p\)-alterations, Ann. of Math. (2)186 (2017), 97-126. · Zbl 1370.14015 |
| [62] | Zariski, O., Local uniformization on algebraic varieties, Ann. of Math. (2)41 (1940), 852-896. · JFM 66.1327.02 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
