Pith. sign in

REVIEW 4 major objections 5 minor 63 references

Constant case of the Grothendieck-Serre conjecture in mixed characteristic

T0 review · 4 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The constant case of the Grothendieck–Serre conjecture holds in mixed characteristic: a principal G-bundle over a geometrically regular local algebra is trivial once it is trivial over the fraction field.

desk verdict Major claimed proof, credible but incomplete as written: load-bearing external self-citations must be verified. read the letter →

arxiv 2412.11723 v2 pith:4KR7IPGY submitted 2024-12-16 math.AG

I.Panin , A.Stavrova This is my paper · ORCID
classification math.AG MSC 14F2014L1514B25
keywords Grothendieck–SerreconjectureprincipalG-bundlesreductivegroupschemesmixedcharacteristicdiscretevaluationringgeometricpresentationlemmaelementarydistinguishedsquaresZariskilocaltriviality
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves the constant case of the Grothendieck–Serre conjecture in mixed characteristic. Concretely: if $D$ is a discrete valuation ring of mixed characteristic, $G$ is a reductive group scheme over $D$, $R$ is a geometrically regular local $D$-algebra, and a principal $G$-bundle over $\mathrm{Spec}\,R$ becomes trivial over the fraction field of $R$, then the bundle is already trivial over $\mathrm{Spec}\,R$. The qualifier 'constant' means that $G$ itself is extended from $D$, not chosen freshly over $R$. The result matters because the conjecture was previously known over fields and in several arithmetic settings, while the mixed-characteristic constant case had remained open. As a by-product the paper establishes a DVR-version of the geometric presentation lemma, and that lemma is the technical engine of the proof.

What carries the argument

The central mechanism is a geometric presentation lemma over a DVR (Theorem 3.5, the DVR-version of the Lindel–Ojanguren–Gabber lemma). Starting with a smooth affine $V$-scheme $X$, a codimension-one closed subset $Z$ through a closed point $x$ of the closed fibre, and the local scheme $W=\mathrm{Spec}\,\mathcal{O}_{\mathbb{A}^n_V,y}$ at a closed point $y$ of the affine space fibre, it produces an elementary distinguished square, with $"\tau^*(g)=0" = X'\cap Z$ as Cartier divisors. This square is what makes the descent work: a bundle trivial off $Z$ can be pulled back, trivialized on the principal open $W_g$, and then reassembled to a bundle over $W$; pulling back along $\tau$ and using $\tau(x)=y$ transfers triviality to a Zariski neighborhood of $x$. The construction of the square goes through a finite morphism $\bar\pi:\bar X\to\mathbb{P}^{n,w}_V$ to a weighted projective space, built from sections that pass through $x^{(2)}$ and through prescribed finite subsets of the closed fibre.

What would settle it

Exhibit a mixed-characteristic DVR $D$, a reductive $D$-group scheme $G$, and a geometrically regular local $D$-algebra $R$ carrying a principal $G$-bundle that is trivial over the fraction field of $R$ but not Zariski locally trivial. A smaller counterexample would be an open subscheme $P^{\circ,n}_V\subset\mathbb{P}^n_V$ of the form allowed in Theorem 1.7 with a $G$-bundle trivial at the generic point but not Zariski locally trivial, or a divisor $Z$ through a closed point $x$ of the closed fibre for which the conclusion of Theorem 1.8 fails.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: for a DVR $D$ of mixed characteristic, any reductive $D$-group scheme $G$, any geometrically regular local $D$-algebra $R$, and any principal $G$-bundle $E$ over $\mathrm{Spec}\,R$, if $E$ is trivial over the fraction field $K$ of $R$, then $E$ is trivial. The proof splits into two cases according to whether the closed fibre of $X=\mathrm{Spec}\,R$ is empty. In the nonempty case the authors choose a closed subset $Z$ of pure codimension one away from which the bundle is trivial, and then reduce the remaining local question to a statement about bundles on open subschemes of projective space over $V=\mathrm{Spec}\,D$. That statement, Theorem 1.7, says that a bundle on such an open subscheme that is trivial at the generic point is Zariski locally trivial; it is proved directly when the residue field of $D$ is infinite and via an imported 'nice triples' result when the residue field is finite. The proof is completed by transferring Zariski-local triviality back through an elementary distinguished square to a neighborhood of each closed point of $Z$.

Load-bearing premise

The finite-residue-field half of the proof depends on two results taken from other preprints: a geometric 'nice triples' statement (Theorem 1.8) that supplies a monic-polynomial slice through a divisor, and a statement that bundles on the projective line over a local scheme are Zariski locally trivial. If either of those imported results is wrong, or if the nice-triples statement does not apply to the divisor produced by the standard triviality theorem, the proof of the main theorem collapses.

Editorial extensions

If this is right

  • For every constant reductive group scheme over a mixed-characteristic DVR, rationally trivial principal bundles over geometrically regular local algebras are Zariski locally trivial.
  • The DVR-version of the geometric presentation lemma becomes available as a tool for other torsor and motivic questions in mixed characteristic.
  • The extension theorem (Theorem 1.6) and the generic-triviality theorem (Theorem 1.7) together give a general way to pass from affine space to projective space when studying generically trivial bundles.
  • Since the proof covers both infinite and finite residue fields, the conjecture is settled uniformly whenever the imported 'nice triples' and projective-line statements hold.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural next test is whether the same presentation lemma holds when $X$ is only regular rather than smooth over $D$; if it does, the method would likely reach a broader class of bases than DVRs.
  • The paper's dependence on two imported statements is itself a roadmap: anyone proving those statements for a more general class of schemes would automatically extend the main theorem.
  • The weighted-projective-space construction used to build the presentation square may be reusable for other local-to-global problems, since it converts a divisorial neighborhood problem into a finite flat morphism problem.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The paper claims Theorem 1.1: for a mixed-characteristic DVR D, a reductive D-group scheme G, and a geometrically regular local D-algebra R containing D, every principal G-bundle over Spec R that is trivial over the fraction field is trivial. This is the 'constant case' of the Grothendieck–Serre conjecture in mixed characteristic. The proof strategy is: reduce by Popescu descent to the case where R is D-smooth, use a theorem of Guo to cut out a divisor of codimension one away from which the bundle is trivial, then prove a DVR version of the Lindel–Ojanguren–Gabber presentation lemma (Theorem 3.5) that produces an elementary distinguished square from a local scheme W of A^n_V. The bundle is then extended over an open subscheme P^{°,n}_V via Theorem 1.6, and Theorem 1.7 is invoked to conclude Zariski local triviality. The paper also develops a substantial geometric presentation lemma for smooth schemes over a DVR in Section 4. The central argument is coherent, but it relies at two load-bearing points on results imported from other papers, [P3] and [PSt2], which are not proved here and whose hypotheses are only partially stated.

Significance. If the external inputs are valid, the paper establishes the constant case of the Grothendieck–Serre conjecture in mixed characteristic, a notable open problem. The presentation lemma of Section 4 is a new tool with independent interest, and the overall reduction strategy is well structured. The paper is not fully self-contained: the finite-residue-field case depends on Theorem 1.8 imported from [P3], and both residue-field cases of Theorem 1.7 depend on the relative Gille theorem from [PSt2]. Those are same-author preprints not reproduced here. The internal proof of Theorem 3.5 is detailed, but it also leaves one verification to the reader in Lemma 4.4 and contains an unproved moving/transversality assertion in the proof of Theorem 1.6. If the missing statements and verifications are supplied or precisely referenced, the result would be a significant advance.

major comments (4)
  1. [Proof of Theorem 1.7, infinite residue-field case] After diagram (4), the proof concludes that the G-bundle σ^*(E°) over P^1_S is Zariski locally trivial solely by citing [PSt2, Corollary 1.14], because its restriction to ∞×S is trivial. This is a nontrivial relative Gille-type theorem over S = Spec O_{A^{n-1}_V,q(x)}, a mixed-characteristic local ring that does not contain a field. The manuscript does not state the theorem, its precise hypotheses, or any proof. If the cited result requires, for example, that the base contain a field or have infinite residue field, or that G be quasi-split, the argument breaks at exactly the point where generic triviality on P^{°,n}_V is converted into Zariski local triviality at a closed point. The authors must include the full statement of [PSt2, Theorem 1.12 and Corollary 1.14] and either prove them or give a complete reference with verified hypotheses.
  2. [Proof of Theorem 1.7, finite residue-field case] The finite-field case uses two imported results without proof. First, Theorem 1.8 is stated but not proved; it is taken wholesale from [P3, Theorem 1.4]. Second, the conclusion that ar E_t|_{0×U} is trivial is obtained from [PSt2, Theorem 1.12]. The divisor Z produced by Nisnevich's theorem must satisfy the hypotheses of Theorem 1.8, and the manuscript does not verify that the open subscheme X = P^{°,n}_V and the divisor Z meet all the requirements of [P3]. Since this is the only route to local triviality in the finite-field case, the main theorem is not established independently of these external results. The authors should either reproduce the proofs of Theorem 1.8 and the relevant parts of [PSt2] or state their hypotheses in full and confirm they apply to the present divisors.
  3. [Proof of Theorem 1.6] After invoking Nisnevich's theorem, the proof says: 'Replacing Y with a divisor Y_ext in P^n_V, containing Y we may and will suppose that x ∉ Y_ext, P^{n-1}_V ⊂ Y_ext and for each irreducible component Z_i of the divisor Z the point x is in Z_i.' This is an unproved moving/transversality assertion. The subsequent decomposition Y_ext ∩ Z = M ∪ Γ_v with M satisfying condition (*) depends on it, and that decomposition is needed to construct the open subset P^{°,n}_V and the bundle E°. A proof or a precise citation for this moving step should be provided.
  4. [Lemma 4.4 and its proof] The proof of Lemma 4.4 ends with 'We left to the reader to check that for for these X' and \tilde{X} the assertions (1) to (7) are true.' This is an omitted verification in a lemma that is load-bearing for Proposition 4.11 and hence for Theorem 3.5. In particular, assertions (5)–(7) concern dimensions of ar X_v − \tilde X_v and smoothness of the components \tilde X_{v,j}; these are not immediate formalities. The omitted argument should be supplied.
minor comments (5)
  1. [Throughout] There are numerous typos and spacing errors, including 'DV R' in the abstract, 'neiborhood', 'inclusin', 'enjoing', and 'subjects the condition' instead of 'satisfies the condition'. These should be corrected.
  2. [Proof of Theorem 1.7, infinite residue-field case] The notation 'V ⊂ H' for a V-point of H is confusing because V already denotes Spec D. A separate symbol, e.g. s: V → H, would avoid ambiguity.
  3. [Diagrams (3) and (4)] The commutative diagrams are difficult to read because of the arrow labels and line breaks. They should be typeset using a proper commutative-diagram environment.
  4. [Proof of Lemma 4.4] The sentence 'one has dim(\bar X_{v,i}∩\bar X_{v,i'}) < n' would be clearer as '≤ n−1', since the strict inequality is already implied by equidimensionality of the closed fibre.
  5. [Proof of Theorem 1.6, citation [C-T/S]] The citation [C-T/S, Thm. 6.13] is given for the bijection H^1_et(W,G) → H^1_et(W−S,G). The listed paper is about quadratic fibrations; please confirm that this is the intended reference and state the theorem being cited.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation is present: Theorem 1.1 is not assumed in the proof, and the key reductions are genuine implications; however, two load-bearing inputs in the proof of Theorem 1.7 are same-author citations not reproduced in the manuscript.

full rationale

The proof of Theorem 1.1 reduces to Theorem 1.6, Theorem 1.7, and Theorem 3.5, and Theorem 3.5 is proved in detail in Section 4. Nothing in the paper defines Theorem 1.1 in terms of itself, nor does any fitted parameter reappear as a prediction. The only concerns are self-citations: the proof of Theorem 1.7 invokes [PSt2, Thm. 1.12 and Cor. 1.14] in both the infinite and finite residue field cases, and the finite case also imports Theorem 1.8 from the same first author's [P3, Thm. 1.4]. These are same-author, non-reproduced results that are genuinely load-bearing for establishing Zariski local triviality on the relative projective line. The skeptic's worry that these citations might hide a dependency on the target result is a correctness/verifiability concern, not a demonstrated circularity: the text does not equate the cited statements with the main theorem or show that one of them is the main theorem by construction. Independent external anchors such as [C-T/S, Thm. 6.13], [NG, Thm. 1], [FP, Thm. 1.1], and [Po] carry major parts of the argument. Thus the derivation chain is not circular, though the reliance on unverified same-author citations prevents a score of 0.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

This is a pure existence proof in arithmetic geometry. It introduces no fitted parameters and no new mathematical entities. The epistemic cost is the chain of external theorems, including two same-author arXiv-only results ([P3] and [PSt2]) that are not proved in the text and are load-bearing for the main theorem.

assumptions (7)
  • standard math Popescu's theorem: a geometrically regular local D-algebra is a filtered colimit of smooth D-algebras, so it suffices to prove the smooth case.
    Used in the proof of Theorem 1.1 to reduce from geometrically regular to D-smooth integral domain.
  • standard math Nisnevich's theorem: a generically trivial G-bundle on a smooth affine scheme admits a divisor away from which it is trivial.
    Used repeatedly in the proofs of Theorems 1.6 and 1.7 to create the divisor Z.
  • standard math Colliot-Thelene-Sansuc, [C-T/S, Thm 6.13]: H^1_et(W,G) -> H^1_et(W-S,G) is bijective for a semilocal W and a codimension two closed S.
    Used in the proof of Theorem 1.6 to extend the bundle across codimension two points S.
  • standard math Gille-type theorem for the relative projective line over a DVR, [PSt2, Thm 1.12 and Cor 1.14].
    Used in the infinite and finite field cases of Theorem 1.7 to conclude Zariski local triviality of bundles on P^1_S that are trivial at infinity; this is a self-cited arXiv preprint.
  • standard math Nice triples theorem in the DVR context, [P3, Theorem 1.4], stated as Theorem 1.8.
    Used only in the finite residue field case of Theorem 1.7; proof is not included in this preprint.
  • standard math Fedorov-Panin and Guo results: [FP, Theorem 1.1] for rings containing an infinite field and [NG, Theorem 1] for existence of a codimension one Z with E|X-Z trivial.
    Used in the proof of Theorem 1.1 to handle the empty closed fibre, the generic fibre, and the reduction to Z.
  • standard math Poonen's Bertini lemma, Serre vanishing, miracle flatness, and Cohen structure theorem.
    Used in Steps 3-5 of the proof of Theorem 3.5 to construct the finite morphism to weighted projective space and the elementary distinguished square.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Constant case of the Grothendieck-Serre conjecture in mixed characteristic." pith.science (2026). https://pith.science/paper/4KR7IPGY

@misc{pith2026241211723,
  author       = {Pith},
  title        = {Pith review of: Constant case of the Grothendieck-Serre conjecture in mixed characteristic},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4KR7IPGY}},
  note         = {Machine review of arXiv:2412.11723}
}
read the original abstract

Let D be a DVR of mixed characteristic. Let G be a reductive D-group scheme. Then the Grothendieck-Serre conjecture is true for the D-group scheme G and any geometrically regular local D-algebra R. Also we prove a version of Lindel-Ojanguren-Gabber's geometric presentation lemma in the DVR context.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

63 extracted references · 63 canonical work pages

  1. [1]

    Introduction to Grothendieck duality theory, Lect

    Altman A., Kleiman S. Introduction to Grothendieck duality theory, Lect. Notes Math., vol. 146, Springer-Verlag, Berlin-New York, 1970

    work page 1970

  2. [2]

    Comparaison avec la cohomologie classique: cas d'un pr\'esch\'ema lisse, in Th\'eorie des topos et cohomologie \'etale des sch\'emas (SGA 4)

    Artin, M. Comparaison avec la cohomologie classique: cas d'un pr\'esch\'ema lisse, in Th\'eorie des topos et cohomologie \'etale des sch\'emas (SGA 4). Tome 3. Lect. Notes Math., vol. 305, Exp. XI, Springer-Verlag, Berlin-New York, 1973

    work page 1973

  3. [3]

    Grothendieck--Serre in the quasi-split unramified case

    C esnavi c ius K. Grothendieck--Serre in the quasi-split unramified case. Forum of Mathematics, Pi (2022), Vol. 10:e9, 1--30

    work page 2022

  4. [4]

    Fibre\' e s quadratiques et composantes connexes r\' e elles

    Colliot-Th\'el\`ene J.-L., Sansuc J.-J. Fibre\' e s quadratiques et composantes connexes r\' e elles. Mathematische Annalen, 244, Issiu 2, 105--134 (1979)

    work page 1979

  5. [5]

    Principal Homogeneous Spaces under Flasque Tori: Applications

    Colliot-Th\'el\`ene J.-L., Sansuc J.-J. Principal Homogeneous Spaces under Flasque Tori: Applications. Joural of Algebra, (1987), 106, 148--205

    work page 1987

  6. [6]

    Espaces Principaux Homog\`enes Localement Triviaux

    Colliot-Th\'el\`ene J.-L., Ojanguren M. Espaces Principaux Homog\`enes Localement Triviaux. Publ. Math. IH\'ES 75 (1992), no. 2, 97--122

    work page 1992

  7. [7]

    Projective modules over central separable algebras, Canad

    DeMeyer F.R. Projective modules over central separable algebras, Canad. J. Math. 21 (1969), 39--43

    work page 1969

  8. [8]

    A proof of Grothendieck--Serre conjecture on principal bundles over a semilocal regular ring containing an infinite field

    Fedorov R., Panin I. A proof of Grothendieck--Serre conjecture on principal bundles over a semilocal regular ring containing an infinite field. Publ. Math. Inst. Hautes Etudes Sci., Vol. 122, 2015, pp. 169--193

    work page 2015

Show all 63 references
  1. [9]

    On the Grothendieck--Serre conjecture on principal bundles in mixed characteristic

    Fedorov R. On the Grothendieck--Serre conjecture on principal bundles in mixed characteristic. Trans. Amer. Math. Soc. 375 (2022), 559--586

    2022

  2. [10]

    On the Grothendieck--Serre Conjecture about principal bundles and its generalizations

    Fedorov R. On the Grothendieck--Serre Conjecture about principal bundles and its generalizations. Algebra Number Theory, Vol. 16 (2022), No. 2, 447--465

    2022

  3. [11]

    On the Gersten conjecture for hermitian Witt groups

    Gille S., Panin I. On the Gersten conjecture for hermitian Witt groups. Mathematische Annalen, Vol. 389 (2024), 1187--1224

    2024

  4. [12]

    The relative form of Gersten's conjecture over a discrete valuation ring: the smooth case, J

    Gillet H., Levine M. The relative form of Gersten's conjecture over a discrete valuation ring: the smooth case, J. Pure Appl. Algebra, 1987 (1), 46, 59--71

    1987

  5. [13]

    Torsion homologique et section rationnelles, in Anneaux de Chow et applications , S\' e minaire Chevalley, 2-e ann\' e e, Secr\' e tariat math\' e matique, Paris, 1958

    Grothendieck, A. Torsion homologique et section rationnelles, in Anneaux de Chow et applications , S\' e minaire Chevalley, 2-e ann\' e e, Secr\' e tariat math\' e matique, Paris, 1958

    1958

  6. [14]

    Le group de Brauer II, in Dix expos\' e s sur la cohomologique de sch\' e mas , Amsterdam, North-Holland, 1968

    Grothendieck, A. Le group de Brauer II, in Dix expos\' e s sur la cohomologique de sch\' e mas , Amsterdam, North-Holland, 1968

    1968

  7. [15]

    The Grothendieck--Serre conjecture over semi-local Dedekind rings

    Guo, N. The Grothendieck--Serre conjecture over semi-local Dedekind rings. Transformation Groups (2022), 27 (3), 897--917

    2022

  8. [16]

    A presentation theorem for smooth projective schemes over discrete valuation rings, arXiv:2302.02818 (2023)

    Guo, N., Panin, I. A presentation theorem for smooth projective schemes over discrete valuation rings, arXiv:2302.02818 (2023)

    2023 arXiv

  9. [17]

    Weak elementary fibrations, arXiv:2302.02837v1 (2023), to appear in St

    Guo N., Panin I. Weak elementary fibrations, arXiv:2302.02837v1 (2023), to appear in St. Petersburg Math. J

    2023 arXiv

  10. [18]

    On the Grothendieck--Serre conjecture for projective smooth schemes over a DVR

    Guo N., Panin I. On the Grothendieck--Serre conjecture for projective smooth schemes over a DVR. arxiv:2302.02842v1 (2023)

    2023 arXiv

  11. [19]

    Quadratic and Hermitian forms over rings

    Knus, M.-A. Quadratic and Hermitian forms over rings. Springer-Verlag, Berlin, 1991

    1991

  12. [20]

    On the Bass---Quillen conjecture concerning projective modules over polynomial rings

    Lindel, H. On the Bass---Quillen conjecture concerning projective modules over polynomial rings . Invent. Math. 65 (1981), 319--323

    1981

  13. [21]

    A^1 -homotopy theory of schemes

    Morel F., Voevodsky V. A^1 -homotopy theory of schemes. Publ. Math. IH\'ES, 90 (1999), 45--143

    1999

  14. [22]

    Espaces homog\` e nes principaux rationnellement triviaux et arithm\' e tique des sch\' e mas en groupes r\' e ductifs sur les anneaux de Dedekind

    Nisnevich Ye. Espaces homog\` e nes principaux rationnellement triviaux et arithm\' e tique des sch\' e mas en groupes r\' e ductifs sur les anneaux de Dedekind. C. R. Acad. Sci. Paris S\' e r. I Math. 299.1 (1984), pp. 5--8

    1984

  15. [23]

    A splitting theorem for quadratic forms

    Ojanguren M. A splitting theorem for quadratic forms. Comment. Math. Helv. 57.1 (1982), pp. 145--157

    1982

  16. [24]

    Unit\' e s repr\' e sent\' e es par des formes quadratiques ou par des normes r\' e duites

    Ojanguren M. Unit\' e s repr\' e sent\' e es par des formes quadratiques ou par des normes r\' e duites. Algebraic K-theory, Part II (Oberwolfach, 1980). Vol. 967. Lecture Notes in Math. Springer, Berlin-New York, 1982, 291--299

    1980

  17. [25]

    Rationally trivial hermitian spaces are locally trivial, Math

    Ojanguren M., Panin I. Rationally trivial hermitian spaces are locally trivial, Math. Z. 237 (2001), 181--198

    2001

  18. [26]

    On Grothendieck---Serre's conjecture concerning principal G -bundles over reductive group schemes: I, Compositio Math

    Panin, I.; Stavrova, A.; Vavilov, N. On Grothendieck---Serre's conjecture concerning principal G -bundles over reductive group schemes: I, Compositio Math. 151 (2015), 535--567

    2015

  19. [27]

    Proof of GrothendieckSerre conjecture on principal bundles over regular local rings containing a finite field, preprint (2015)

    Panin, I. Proof of GrothendieckSerre conjecture on principal bundles over regular local rings containing a finite field, preprint (2015). \\ https://www.math.uni-bielefeld.de/lag/man/559.pdf

    2015

  20. [28]

    Nice triples and moving lemmas for motivic spaces

    Panin, I. Nice triples and moving lemmas for motivic spaces. Izvestiya: Mathematics, 2019, Volume 83, Issue 4, Pages 796--829

    2019

  21. [29]

    Proof of the Grothendieck--Serre conjecture on principal bundles over regular local rings containing a field

    Panin, I. Proof of the Grothendieck--Serre conjecture on principal bundles over regular local rings containing a field. Izvestiya: Mathematics, 2020, 84:4, 780--795

    2020

  22. [30]

    On Grothendieck--Serre conjecture concerning principal bundles, Proceedings of the International Congress of Mathematicians, vol

    Panin, I. On Grothendieck--Serre conjecture concerning principal bundles, Proceedings of the International Congress of Mathematicians, vol. 2 (Rio de Janeiro 2018), World Sci. Publ., Hackensack, NJ 2018, pp. 201--221

    2018

  23. [32]

    Nice triples in the DVR context

    Panin, I. Nice triples in the DVR context. Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) Vol. 538, 2024, 129--144

    2024

  24. [33]

    A., Stavrova A

    Panin I. A., Stavrova A. K. On the Grothendieck--Serre conjecture concerning principal G-bundles over semi-local Dedekind domains. Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) Vol.443, 2016, 133--146

    2016

  25. [35]

    On a conjecture of Grothendieck concerning Azumaya algebras, St

    Panin, I.; Suslin, A. On a conjecture of Grothendieck concerning Azumaya algebras, St. Petersburg Math. J., 9, no.4, 851--858 (1998)

    1998

  26. [36]

    Bertini theorems over finite fields

    Poonen, B. Bertini theorems over finite fields. Annals of Mathematics, 160 (2004), 1099 -1127

    2004

  27. [37]

    General N\'eron desingularization and approximation

    Popescu, D. General N\'eron desingularization and approximation. Nagoya Math. J. 104 (1986), 85--115

    1986

  28. [38]

    Higher K-theory-I, Lect

    Quillen, D. Higher K-theory-I, Lect. Notes Math. 341 (1973), 85--147

    1973

  29. [39]

    Espaces fibr\' e s alg\' e briques, in Anneaux de Chow et applications , S\' e minaire Chevalley, 2-e ann\' e e, Secr\' e tariat math\' e matique, Paris, 1958

    Serre, J.-P. Espaces fibr\' e s alg\' e briques, in Anneaux de Chow et applications , S\' e minaire Chevalley, 2-e ann\' e e, Secr\' e tariat math\' e matique, Paris, 1958

    1958

  30. [40]

    Swan, R. G. N\'eron---Popescu desingularization, Algebra and Geometry (Taipei, 1995), Lect. Algebra Geom. 2, Internat. Press, Cambridge, MA, 1998, 135--192

    1995

  31. [41]

    Grothendieck--Serre in the quasi-split unramified case, preprint (2021)

    Cesnavicius K. Grothendieck--Serre in the quasi-split unramified case, preprint (2021). Available at https: //arxiv.org/abs/2009.05299v2

    2021 arXiv

  32. [42]

    Espaces Principaux Homog\`enes Localement Triviaux, Publ

    Colliot-Th\'el\`ene J.-L., Ojanguren M. Espaces Principaux Homog\`enes Localement Triviaux, Publ. Math. IH\'ES 75 (1992), no. 2, 97--122

    1992

  33. [43]

    A proof of Grothendieck--Serre conjecture on principal bundles over a semilocal regular ring containing an infinite field, Publ

    Fedorov R., Panin I. A proof of Grothendieck--Serre conjecture on principal bundles over a semilocal regular ring containing an infinite field, Publ. Math. Inst. Hautes Etudes Sci., Vol. 122, 2015, pp. 169--193

    2015

  34. [44]

    On the Grothendieck--Serre conjecture on principal bundles in mixed characteristic, Trans

    Fedorov R. On the Grothendieck--Serre conjecture on principal bundles in mixed characteristic, Trans. Amer. Math. Soc., to appear (2021), arXiv:1501.04224v3

    2021 arXiv

  35. [45]

    On the Grothendieck--Serre Conjecture about principal bundles and its generalizations, Algebra Number Theory, to appear (2021), arXiv:1810.11844v2

    Fedorov R. On the Grothendieck--Serre Conjecture about principal bundles and its generalizations, Algebra Number Theory, to appear (2021), arXiv:1810.11844v2

    2021 arXiv

  36. [46]

    On the Gersten conjecture for hermitian Witt groups, arXiv:2201.10715v1

    Gille S., Panin I. On the Gersten conjecture for hermitian Witt groups, arXiv:2201.10715v1

    arXiv

  37. [47]

    A PRESENTATION THEOREM FOR SMOOTH PROJECTIVE SCHEMES OVER DISCRETE VALUATION RINGS, preprint 2023

    Guo, N., Panin, I. A PRESENTATION THEOREM FOR SMOOTH PROJECTIVE SCHEMES OVER DISCRETE VALUATION RINGS, preprint 2023

    2023

  38. [48]

    Weak elementary fibrations; arxiv:230202837v1 (2023)

    Guo N., Panin I. Weak elementary fibrations; arxiv:230202837v1 (2023)

    2023

  39. [49]

    The relative form of Gersten's conjecture over a discrete valuation ring: the smooth case, J

    Gillet H., Levine M. The relative form of Gersten's conjecture over a discrete valuation ring: the smooth case, J. Pure Appl. Algebra, 1987, (1), 46, 59--71

    1987

  40. [50]

    Le group de Brauer II, in Dix expos\' e s sur la cohomologique de sch\' e mas , Amsterdam,North-Holland, 1968

    Grothendieck, A. Le group de Brauer II, in Dix expos\' e s sur la cohomologique de sch\' e mas , Amsterdam,North-Holland, 1968

    1968

  41. [51]

    Quadratic and Hermitian forms over rings, Springer-Verlag, Berlin, 1991

    Knus, M.-A. Quadratic and Hermitian forms over rings, Springer-Verlag, Berlin, 1991

    1991

  42. [52]

    Lindel, On the Bass---Quillen conjecture concerning projective modules over polynomial rings , Invent

    H. Lindel, On the Bass---Quillen conjecture concerning projective modules over polynomial rings , Invent. Math. 65 (1981), 319--323

    1981

  43. [53]

    A^1 -homotopy theory of schemes, Publ

    Morel F., Voevodsky V. A^1 -homotopy theory of schemes, Publ. Math. IH\'ES, 90 (1999), 45--143

    1999

  44. [54]

    Espaces homog\` e nes principaux rationnellement triviaux et arithm\' e tique des sch\' e mas en groupes r\' e ductifs sur les anneaux de Dedekind"

    Nisnevich Ye. Espaces homog\` e nes principaux rationnellement triviaux et arithm\' e tique des sch\' e mas en groupes r\' e ductifs sur les anneaux de Dedekind". C. R. Acad. Sci. Paris S\' e r. I Math. 299.1 (1984), pp. 5--8

    1984

  45. [55]

    The Grothendieck--Serre conjecture over semi-local Dedekind rings Transformation rings, 2020, to appear, arXiv:1902.02315v2

    Guo, N. The Grothendieck--Serre conjecture over semi-local Dedekind rings Transformation rings, 2020, to appear, arXiv:1902.02315v2

    2020 arXiv

  46. [56]

    Nice triples and moving lemmas for motivic spaces, Izv

    Panin, I. Nice triples and moving lemmas for motivic spaces, Izv. RAS,

  47. [57]

    Proof of the Grothendieck--Serre conjecture on principal bundles over regular local rings containing a field, Izvestiya: Mathematics, 2020, 84:4, 780--795

    Panin, I. Proof of the Grothendieck--Serre conjecture on principal bundles over regular local rings containing a field, Izvestiya: Mathematics, 2020, 84:4, 780--795

    2020

  48. [58]

    Moving lemmas in mixed characteristic and applications, arXiv: 2202.00896v1

    Panin, I. Moving lemmas in mixed characteristic and applications, arXiv: 2202.00896v1

    arXiv

  49. [59]

    Nice triples in the DVR context, Preprint (2024), November

    Panin, I. Nice triples in the DVR context, Preprint (2024), November

    2024

  50. [60]

    I. A. Panin and A. K. Stavrova On the Grothendieck--Serre conjecture concerning principal G-bundles over semi-local Dedekind domains. Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) Vol.443, 2016, 133--146. arXiv: 1512.00354

    2016 arXiv

  51. [61]

    I. A. Panin and A. K. Stavrova On the Gille theorem for the relative projective line, arxiv: 2305.16627v2

    arXiv

  52. [62]

    On a conjecture of Grothendieck concerning Azumaya algebras, St.Petersburg Math

    Panin, I.; Suslin, A. On a conjecture of Grothendieck concerning Azumaya algebras, St.Petersburg Math. J., 9, no.4, 851--858 (1998)

    1998

  53. [63]

    Poonen, B., Bertini theorems over finite fields, Annals of Mathematics, 160 (2004), 1099 -1127

    2004

  54. [64]

    General N\'eron desingularization and approximation, Nagoya Math

    Popescu, D. General N\'eron desingularization and approximation, Nagoya Math. J. 104 (1986), 85--115

    1986

  55. [65]

    N\'eron---Popescu desingularization, Algebra and Geometry (Taipei, 1995), Lect

    Swan, R.G. N\'eron---Popescu desingularization, Algebra and Geometry (Taipei, 1995), Lect. Algebra Geom. 2, Internat. Press, Cambridge, MA, 1998, 135--192

    1995

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.