Torsors on loop groups and the Hitchin fibration

Alexis Bouthier; Kestutis Cesnavicius

Torsors on loop groups and the Hitchin fibration

T0 review · 0 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read The paper proves that the product formula for the Hitchin fibration, previously known only over the anisotropic locus, holds over the entire generically regular semisimple locus, by reducing it to a vanishing theorem for torsors over loop…

desk verdict A solid, well-written proof of Ngo's product formula over the generically regular semisimple locus, with real supporting results in algebraization and the Chevalley isomorphism; the main caveat is the characteristic/die-invertibility hypotheses. read the letter →

arxiv 1908.07480 v4 pith:EFFNJCMJ submitted 2019-08-20 math.AG math.NTmath.RT

Alexis Bouthier , Kestutis Cesnavicius This is my paper · ORCID

classification math.AGmath.NTmath.RT MSC 14M1713F4513J0513J1514D2314D2422E67

keywords HitchinfibrationproductformulaloopgroupsaffineSpringerfiberstorsorsChevalleyisomorphismHenselianpairsKostantsection

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

At the center of the paper is a proof that the product formula for the Hitchin fibration — previously known only over the anisotropic locus — holds over the larger generically regular semisimple locus $A^\heartsuit$. The decisive step is a vanishing theorem: for a seminormal, strictly Henselian, local ring $R$ and a torus over $R((t))$ splitting over a finite étale Galois cover of degree invertible in $R$, every torsor is trivial. The vanishing is deduced from a formula for the Picard group of $R((t))$, together with relative purity and the Beauville–Laszlo glueing that assembles affine Springer fibers into Hitchin fibers. Along the way the paper supplies general algebraization and approximation results for torsors, new proofs of the Elkik approximation theorem and of the Chevalley isomorphism, and improved geometry of the Chevalley morphism. If the claims are right, the product formula — and with it the comparison between affine Springer fibers and Hitchin fibers — works in exactly the range of generically regular semisimple points used in applications.

What carries the argument

The load-bearing mechanism is the vanishing theorem for torsors over loop groups, Theorem 3.2.4: for a seminormal, strictly Henselian, local ring $R$ and an $R((t))$-torus $T$ that splits over a finite étale Galois cover whose degree is invertible in $R$, one has $H^1(R((t)),T)=0$. It is obtained from the formula $\mathrm{Pic}(R((t)))\cong \mathrm{Pic}(R[t^{-1}])\oplus H^1_{\mathrm{et}}(R,\mathbb{Z})$ (Theorem 3.1.7), from seminormality forcing $\mathrm{Pic}(R[t^{-1}])\cong \mathrm{Pic}(R)$, and from relative purity reducing the vanishing to the case $T=\mathbb{G}_m$. This vanishing is what makes the $\mathcal{J}_a$-torsors over the punctured formal discs $R((t_v))$ trivial, so that a Hitchin torsor over the curve can be glued from affine Springer fiber data at the finitely many missing points. Around it the paper builds algebraization and approximation results for torsors, a new proof of the Chevalley isomorphism $\mathfrak{t}/W\cong \mathfrak{g}//G$ for root-smooth reductive groups, and a Kostant-section conjugacy statement.

What would settle it

Compute $H^1(R((t)), T)$ for a seminormal, strictly Henselian, local ring $R$ whose residue field has characteristic $p$, letting $T$ be an $R((t))$-torus split by $R((t^{1/d}))$ with $d$ a prime different from $p$; a nonzero class would refute Theorem 3.2.4, and by the gluing argument of Theorem 4.3.8 it would also produce a point of $A^\heartsuit$ over which the product formula morphism is not an equivalence on $R$-points.

Watch

Extended reading notes

Core claim

The central result is Theorem 4.3.8: for a quasi-split reductive group $G$ over a proper smooth curve $X$ over an algebraically closed field $k$, a $\mathbb{G}_m$-torsor $L$, and a point $a$ in the generically regular semisimple locus $A^\heartsuit_{L^{\otimes 2}}(k)$, the product formula morphism $$\prod_{v\in X_k\setminus U_a} $M^{{\mathrm{red}}$}_{$L^{{\otimes 2}}$,a,v} \$times^{{\prod P^{\mathrm{red}}$}_{a,v}} \mathcal{P}_a \to M_{$L^{{\otimes 2}}$,a}$$ is a universal homeomorphism and induces an equivalence on groupoids of $R$-points for every seminormal, strictly Henselian, local $k$-algebra $R$. In particular the product formula for the Hitchin fibration holds over $A^\heartsuit$, extending the anisotropic-locus result. The proof passes through the vanishing $H^1(R((t)),T)=0$ for tame isotrivial tori over the Laurent series ring, which the authors deduce from a general formula for $\mathrm{Pic}(R((t)))$; this is what lets the Beauville–Laszlo glueing of local affine Springer data produce a global Hitchin torsor.

Load-bearing premise

The claim rests on the vanishing of $H^1(R((t)), T)$ for tori $T$ over the formal Laurent series ring of a seminormal, strictly Henselian, local ring $R$, provided the torus splits over a cover whose degree is invertible in $R$; the whole product formula inherits these restrictions, so if a single torus torsor of this kind is nontrivial the gluing construction breaks.

Editorial extensions

If this is right

Over the generically regular semisimple locus, the Hitchin fiber is universally homeomorphic to the contracted product of the reduced affine Springer fibers with the Picard stack $\mathcal{P}_a$, so the two objects carry the same topological information after arbitrary base change.
For a seminormal, strictly Henselian, local $k$-algebra $R$, the product formula is an equivalence of groupoids of $R$-points: a Hitchin torsor over $X_R$ is exactly assembled from local data on the punctured formal discs plus a global twist by a $\mathcal{J}_a$-torsor.
Over the algebraic closure of a finite field, an anisotropic point $a$ with finite $\pi_0(\mathcal{P}_a)$ makes the product formula morphism finite and representable by schemes, giving a finite description of the Hitchin fiber in that case.
For a reductive group whose Weyl group order is invertible in $R$, every regular semisimple section of $\mathfrak{g}$ over $R((t))$ is conjugate to its Kostant-section companion model, by Theorem 4.2.14.
The Chevalley isomorphism $\mathfrak{t}/W\to \mathfrak{g}//G$ holds for root-smooth reductive groups over arbitrary base schemes, and the Chevalley morphism is smooth on the regular locus under the weaker assumption that residue characteristics are not torsion primes.

Reading between the lines

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

The same Cauchy-net algebraization scheme could be used to compare other moduli problems over Henselian Laurent series rings and their completions, such as local systems or Higgs bundles, whenever the functor is invariant under Henselian pairs and commutes with filtered direct limits.
The proof isolates the vanishing of loop-group torus torsors as the only arithmetic input; extending the product formula to bases where the Weyl group order is not invertible would require a new vanishing theorem of the same shape, which the present method does not supply.
Because the comparison is proved on seminormal strictly Henselian local rings, one can test whether the universal homeomorphism part of Theorem 4.3.8 also holds for arbitrary reduced local $k$-algebras; the paper only establishes the $R$-point equivalence under the seminormal hypothesis, so this is a concrete strengthening to try.

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.

Desk Editor's Note

read the letter

The main thing you should know: this paper proves the product formula for the Hitchin fibration over the generically regular semisimple locus A^heart, which Ngo only proved over the anisotropic locus and which Yun, Oblomkov–Yun, and others used without proof. That alone makes it a significant within-field contribution. The proof strategy is clear: reduce the product formula to a vanishing statement H^1(R((t)), T) = 0 for tori over loop groups, then prove that vanishing from a general formula for Pic(R((t))) plus relative purity. I checked the key steps — Theorem 3.2.4, Lemma 4.3.7, and the application at punctured formal neighborhoods — and the logic is coherent. The stress-test note is right: no load-bearing gap found.

What's genuinely new beyond the main theorem: the Cauchy-net proof of Elkik–Gabber–Ramero approximation with non-Noetherian versions, the short proof of the Chevalley isomorphism under root-smoothness, and the improved geometry of the Chevalley morphism. These are real and useful independent of the product formula. The citation pattern is fine: the authors cite their own technical lemmas (e.g., Ces17 in Proposition 4.1.9) but nothing load-bearing is outsourced to themselves. The paper does rely on some unpublished Gabber material (the Pic formula, some approximation ideas), but this is explicitly acknowledged and the arguments are largely re-proved here.

Soft spots: the result is restricted to bases where the Weyl group order is invertible and where the relevant local rings are seminormal and strictly Henselian. That means mixed characteristic and bad-characteristic cases are not covered. This is not a flaw—it is stated honestly—but it does limit the scope of the theorem. Also, the proof of Lemma 4.3.7 uses normality to promote R-point equivalences to universal homeomorphisms; the theorem's seminormal hypothesis is satisfied by normal rings, so no issue, but the gap between the two is a bit delicate. The paper is long and somewhat breathless; a reader who only wants the product formula can skip to Sections 3–4.3, as the authors say, but the supporting sections are worth the attention for the tools they provide.

Who should read it: anyone working on the geometric Langlands program, affine Springer fibers, or the arithmetic of loop groups. It deserves a serious referee — the argument is intricate, the payoff is real, and the result will be cited as the standard reference for the product formula over A^heart.

Referee Report

0 major / 3 minor

Summary. The paper proves a product formula for the Hitchin fibration over the generically regular semisimple locus, extending Ngô's product formula from the anisotropic locus. The main result is Theorem 4.3.8: for a quasi-split reductive group G over a smooth proper curve X over a scheme S, with a Gm-torsor L and an algebraically closed S-field k in which the order of the Weyl group is invertible, the product formula morphism (4.3.8.1) is a universal homeomorphism and induces equivalences on R-points for every seminormal, strictly Henselian, local k-algebra R. The proof rests on the vanishing theorem 3.2.4 for torsors under tame isotrivial tori over R((t)), which is deduced from the Pic formula of Theorem 3.1.7, together with Beauville–Laszlo glueing and the stack-theoretic criterion of Lemma 4.3.7. The paper also develops substantial auxiliary material: a Cauchy-net proof of Elkik approximation, algebraization results for torsors, invariance under Henselian pairs, a new proof of the Chevalley isomorphism, and improved hypotheses for the Kostant section and the universal centralizer.

Significance. If the main theorem is correct, it confirms a long-standing expectation stated by Ngô and already used in the literature, for instance in work of Yun and Oblomkov–Yun. The paper is notable for combining a short conceptual route to the product formula with detailed, fully referenced proofs of the supporting results. The central vanishing theorem is proved in the text from the Pic formula, rather than imported as a black box, and the use of Beauville–Laszlo glueing and of the stack-theoretic criterion in Lemma 4.3.7 is coherent. The auxiliary results on algebraization, Elkik approximation, and the Chevalley isomorphism are broadly useful and appear to improve on existing hypotheses. The hypotheses of the main theorem are stated precisely, and the restriction to seminormal, strictly Henselian local rings and to invertibility of the order of the Weyl group is explicit and is not concealed.

minor comments (3)

[§3.2, Theorem 3.2.4] The parenthetical 'for instance, a T that splits over some W -torsor over R((t)) for a finite group W whose order is invertible in R' uses W, a symbol later reserved for the Weyl group; a different letter, for instance Γ, would avoid a collision.
[§4.1, proof of Proposition 4.1.9] The proof invokes the 'Z-fibral criterion' [Čes17, 3.3.1] without recalling its statement; since this criterion is used to justify a base-change property of the quotient, adding a one-sentence reminder would improve readability.
[§§2–3, displays] Several displayed equivalences, such as (1.3.1) and (3.1.7.1), typeset the justification of an isomorphism over the arrow, for instance placing '2.1.23' above an isomorphism sign; this is a presentational distraction and could be clarified by placing justifications after the display or in the surrounding text.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the vanishing theorem and the product formula are proved in-text, and the few self-citations are technical, non-load-bearing criteria.

full rationale

The central derivation is not circular. Theorem 3.2.4, the key vanishing H^1(R((t)), T)=0 for seminormal strictly Henselian local R and tame isotrivial tori, is proved in the text from Corollary 3.1.5, the trace map, and Proposition 3.2.2; Corollary 3.1.5 is itself derived from the Picard formula in Theorem 3.1.7 together with Swan's seminormality criterion. Although the Picard formula is credited to Gabber's letter [Gab19], Theorem 3.1.7 supplies a proof, so the vanishing does not reduce to an unproved input. In Theorem 4.3.8, Theorem 3.2.4 is used only to kill J_a-torsors over the punctured formal neighborhoods R((t_v)); Proposition 4.2.13 proves the needed isotriviality of J_a, and neither of these statements is a rephrasing of the theorem's R-point equivalence or universal homeomorphism conclusion. The self-citations that occur, notably [Ces17, 3.3.1] in Proposition 4.1.9 and [Ces17, 3.2.2(b)] in Theorem 4.3.8(b), are general fibral or representability criteria from the second author's earlier work; they are used to propagate known properties and are not fitted parameters, nor are they equivalent to the product formula. No prediction is renamed as an input, and no equation reduces by construction to an earlier equation of the paper. The score is 1 only to register the presence of these auxiliary self-citations; they are not load-bearing for the main theorem.

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

The paper introduces no fitted parameters and no new objects beyond standard mathematical constructs; its contributions are theorems about existing objects. The axioms are standard results in algebraic geometry and arithmetic geometry cited from the literature, plus the general background of ZFC. The main vanishing result is proved in the paper, not assumed.

assumptions (4)

standard math Standard ZFC and algebraic geometry background (EGA, SGA), including Popescu's smoothing theorem, cohomological purity, Abhyankar's lemma, and the étale local structure of reductive groups.
These are invoked throughout, e.g., in Lemma 2.1.3 and the proof of Theorem 2.1.7; they are standard in the literature and not introduced ad hoc by this paper.
domain assumption Purity for flat cohomology (de Jong's result on the Brauer group and Cesnavicius–Scholze purity) is used to identify Brauer groups and support cohomology.
Used in the proof of Theorem 2.3.3 to identify Br(U) with H^2_{et}(U,G_m)_{tors} and in the étale cohomology arguments; these are background results in arithmetic geometry, cited from [dJ02] and [ČS20].
domain assumption Tannaka duality for algebraic stacks (Hall–Rydh, Bhatt–Halpern-Leistner) supplies the necessary lifting for torsors.
Used in Proposition 2.1.4 and Theorem 2.1.7 to establish the invariance of H^1 under Henselian pairs; this is an external result cited from [HR19] and [BHL17].
standard math The Grothendieck alteration and the classification of reductive groups over general bases (SGA 3) are taken as standard.
Used throughout §4 to study the Chevalley morphism and the Hitchin fibration.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Torsors on loop groups and the Hitchin fibration." pith.science (2026). https://pith.science/paper/EFFNJCMJ

@misc{pith2026190807480,
  author       = {Pith},
  title        = {Pith review of: Torsors on loop groups and the Hitchin fibration},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EFFNJCMJ}},
  note         = {Machine review of arXiv:1908.07480}
}

abstract

In his proof of the fundamental lemma, Ng\^o established the product formula for the Hitchin fibration over the anisotropic locus. One expects this formula over the larger generically regular semisimple locus, and we confirm this by deducing the relevant vanishing statement for torsors over loop groups $R((t))$ from a general formula for $\mathrm{Pic}(R((t)))$. In the build up to the product formula, we present general algebraization, approximation, and invariance under Henselian pairs results for torsors, give short new proofs for the Elkik approximation theorem and the Chevalley isomorphism $\mathfrak{g}//G \cong \mathfrak{t}/W$, and improve results on the geometry of the Chevalley morphism $\mathfrak{g} \rightarrow \mathfrak{g}//G$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 19 canonical work pages

[1]

Adler, Jessica Fintzen, and Sandeep Varma , On Kostant sections and topological nilpotence , J

[AFV18] Jeﬀrey D. Adler, Jessica Fintzen, and Sandeep Varma , On Kostant sections and topological nilpotence , J. Lond. Math. Soc. (2) 97 (2018), no. 2, 325–351. [AM69] M. F. Atiyah and I. G. Macdonald, Introduction to commutative algebra , Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont.,

work page 2018
[2]

4, Société Mathématique de France, Paris, 2005 (French)

, Documents Mathématiques (Paris) [Mathematical Document s (Paris)], vol. 4, Société Mathématique de France, Paris, 2005 (French). Sémi naire de Géométrie Algébrique du Bois Marie, 1962; Augmenté d’un exposé de Michèle Raynaud. [With an exposé by Michèle Raynaud]; With a preface and edited by Yves Laszlo; Revised reprint of the 19 68 French original. [SGA...

work page 1966
[3]

A Series of Modern Surveys in Mathem atics [Results in Mathematics and Related Areas

Folge. A Series of Modern Surveys in Mathem atics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Math ematics], vol. 39, Springer-Verlag, Berlin, 2000 (French). [Mat89] Hideyuki Matsumura, Commutative ring theory, 2nd ed., Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge,

work page 2000
[12]

Die Grundlehren der mathematischen Wissenschaften, Band

[Gir71] Jean Giraud, Cohomologie non abélienne , Springer-Verlag, Berlin, 1971 (French). Die Grundlehren der mathematischen Wissenschaften, Band

work page 1971
[20]

Séminaire de géométrie algébrique du Bois Marie 1960–61

, Documents Mathématiques (Paris) [Mathematical Documents (Paris)], 3, Société Mathématique de France, Par is, 2003 (French). Séminaire de géométrie algébrique du Bois Marie 1960–61. [Algebraic Geometry Semi nar of Bois Marie 1960-61]; Directed by A. Grothendieck; With two papers by M. Raynaud; Updated an d annotated reprint of the 1971 original [Lecture ...

work page 2003
[52]

7, 1633–1675

[HR19] Jack Hall and David Rydh, Coherent Tannaka duality and algebraicity of Hom-stacks , Algebra Number Theory 13 (2019), no. 7, 1633–1675. [Hub96] Roland Huber, Étale cohomology of rigid analytic varieties and adic space s, Aspects of Mathematics, E30, Friedr. Vieweg & Sohn, Braunschweig,

work page 2019
[55]

9, 2001–2089

[Čes17] Kęstutis Česnavičius, A modular description of X0pnq, Algebra Number Theory 11 (2017), no. 9, 2001–2089. [Čes19] , Purity for the Brauer group , Duke Math. J. 168 (2019), no. 8, 1461–1486. [Con12] Brian Conrad, Weil and Grothendieck approaches to adelic points , Enseign. Math. (2) 58 (2012), no. 1- 2, 61–97. [CR10] Pierre-Emmanuel Chaput and Matth...

arXiv 2017
[228]

[EGA II] , Éléments de géométrie algébrique. II. Étude globale élémen taire de quelques classes de mor- phismes, Inst. Hautes Études Sci. Publ. Math. 8 (1961), 222 (French). [EGA IV 1] , Éléments de géométrie algébrique. IV. Étude locale des sché mas et des morphismes de schémas. I, Inst. Hautes Études Sci. Publ. Math. 20 (1964), 259 (French). [EGA IV 2] ...

work page 1961

Show all 21 references

[255]

[EGA IV 4] , É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 (French). [Elk73] Renée Elkik, Solutions d’équations à coeﬃcients dans un anneau hensélie n, Ann. Sci. École Norm. ...

1967
[612]

[BL95] Arnaud Beauville and Yves Laszlo, Un lemme de descente , C. R. Acad. Sci. Paris Sér. I Math. 320 (1995), no. 3, 335–340 (French, with English and French summ aries). [BLR90] Siegfried Bosch, Werner Lütkebohmert, and Michel R aynaud, Néron models , Ergebnisse der Mathe- ...

1995
[1969]

Beilinson and V

[BD19] A. Beilinson and V. Drinfeld, Quantization of Hitchin ’s inte- grable system and Hecke eigensheaves , preprint (2019). Accessed at https://www.math.uchicago.edu/~mitya/langlands/hitchin/BD-hitchin.pdf on May 8,

2019
[1980]

Pure Appl

[Nak18] Kei Nakazato, Counter-examples to non-noetherian Elkik’s approximatio n theorem, J. Pure Appl. Al- gebra 222 (2018), no. 12, 4151–4160. [Ngô06] Bao Châu Ngô, Fibration de Hitchin et endoscopie , Invent. Math. 164 (2006), no. 2, 399–453 (French, with English summary). [...

2018
[1990]

A vailable at http://arxiv.org/abs/1807.04725v3

[BM20] Bhargav Bhatt and Akhil Mathew, The arc-topology , preprint (2020). A vailable at http://arxiv.org/abs/1807.04725v3. [Bor91] Armand Borel, Linear algebraic groups , 2nd ed., Graduate Texts in Mathematics, vol. 126, Springer - Verlag, New York,

2020 arXiv
[1991]

Algèbre , chap

[BouA] Nicolas Bourbaki, Éléments de mathématique. Algèbre , chap. I-III, Hermann (1970); chap. IV-VII, Masson (1981); chap. VIII-X, Springer (2007,

1970
[1996]

Séminaire à l’École Polytechnique 2006–2008

[ILO14] Luc Illusie, Yves Laszlo, and Fabrice Orgogozo (eds .), Travaux de Gabber sur l’uniformisation locale et la cohomologie étale des schémas quasi-excellents , Société Mathématique de France, Paris, 2014 (French). Séminaire à l’École Polytechnique 2006–2008. [S eminar of ...

2014
[2002]

[Ses77] C

Tra nslated from the French by Patrick Ion and revised by the author. [Ses77] C. S. Seshadri, Geometric reductivity over arbitrary base , Advances in Math. 26 (1977), no. 3, 225–274. [SGA 1 new] Revêtements étales et groupe fondamental (SGA

1977
[2003]

A vailable at https://arxiv.org/abs/math/0409584v13

[GR18] , Foundations for almost ring theory , preprint, arXiv version 13 (2018). A vailable at https://arxiv.org/abs/math/0409584v13. [Gre69] Silvio Greco, Henselization of a ring with respect to an ideal , Trans. Amer. Math. Soc. 144 (1969), 43–65. [Gro68a] Alexander Grothend...

2018 arXiv
[2006]

[Lee15] Ting-Yu Lee, Adjoint quotients of reductive groups , Autour des schémas en groupes. Vol. III, Panor. Synthèses, vol. 47, Soc. Math. France, Paris, 2015, pp. 131– 145 (English, with English and French summaries). [Let05] Emmanuel Letellier, Fourier transforms of invaria...

2015
[2007]

[BouTG] , Éléments de mathématique

(French). [BouTG] , Éléments de mathématique. Topologie generale , chap. I-IV, Hermann (1971); chap. V-X, Her- mann (1974) (French). [BR83] S. M. Bhatwadekar and R. A. Rao, On a question of Quillen , Trans. Amer. Math. Soc. 279 (1983), no. 2, 801–810. [Čes15] Kęstutis Česnavič...

1971
[2012]

[Bou78] Jean-François Boutot, Schéma de Picard local, Lecture Notes in Mathematics, vol

(French ). [Bou78] Jean-François Boutot, Schéma de Picard local, Lecture Notes in Mathematics, vol. 632, Springer, Berlin, 1978 (French). [BouAC] Nicolas Bourbaki, Éléments de mathématique. Algèbre commutative , chap. I-VII, Hermann (1961, 1964, 1965); chap. VIII-X, Springer (2006,

1978
[2019]

58 [BHL17] Bhargav Bhatt and Daniel Halpern-Leistner, Tannaka duality revisited , Adv

18The only purpose of the ﬁnite ﬁeld assumption is to be able to a pply results from [ Ngô10], especially, [ Ngô10, 4.15.1]. 58 [BHL17] Bhargav Bhatt and Daniel Halpern-Leistner, Tannaka duality revisited , Adv. Math. 316 (2017), 576–

2017

Pith tools

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

[1] [1]

Adler, Jessica Fintzen, and Sandeep Varma , On Kostant sections and topological nilpotence , J

[AFV18] Jeﬀrey D. Adler, Jessica Fintzen, and Sandeep Varma , On Kostant sections and topological nilpotence , J. Lond. Math. Soc. (2) 97 (2018), no. 2, 325–351. [AM69] M. F. Atiyah and I. G. Macdonald, Introduction to commutative algebra , Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont.,

work page 2018

[2] [2]

4, Société Mathématique de France, Paris, 2005 (French)

, Documents Mathématiques (Paris) [Mathematical Document s (Paris)], vol. 4, Société Mathématique de France, Paris, 2005 (French). Sémi naire de Géométrie Algébrique du Bois Marie, 1962; Augmenté d’un exposé de Michèle Raynaud. [With an exposé by Michèle Raynaud]; With a preface and edited by Yves Laszlo; Revised reprint of the 19 68 French original. [SGA...

work page 1966

[3] [3]

A Series of Modern Surveys in Mathem atics [Results in Mathematics and Related Areas

Folge. A Series of Modern Surveys in Mathem atics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Math ematics], vol. 39, Springer-Verlag, Berlin, 2000 (French). [Mat89] Hideyuki Matsumura, Commutative ring theory, 2nd ed., Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge,

work page 2000

[4] [12]

Die Grundlehren der mathematischen Wissenschaften, Band

[Gir71] Jean Giraud, Cohomologie non abélienne , Springer-Verlag, Berlin, 1971 (French). Die Grundlehren der mathematischen Wissenschaften, Band

work page 1971

[5] [20]

Séminaire de géométrie algébrique du Bois Marie 1960–61

, Documents Mathématiques (Paris) [Mathematical Documents (Paris)], 3, Société Mathématique de France, Par is, 2003 (French). Séminaire de géométrie algébrique du Bois Marie 1960–61. [Algebraic Geometry Semi nar of Bois Marie 1960-61]; Directed by A. Grothendieck; With two papers by M. Raynaud; Updated an d annotated reprint of the 1971 original [Lecture ...

work page 2003

[6] [52]

7, 1633–1675

[HR19] Jack Hall and David Rydh, Coherent Tannaka duality and algebraicity of Hom-stacks , Algebra Number Theory 13 (2019), no. 7, 1633–1675. [Hub96] Roland Huber, Étale cohomology of rigid analytic varieties and adic space s, Aspects of Mathematics, E30, Friedr. Vieweg & Sohn, Braunschweig,

work page 2019

[7] [55]

9, 2001–2089

[Čes17] Kęstutis Česnavičius, A modular description of X0pnq, Algebra Number Theory 11 (2017), no. 9, 2001–2089. [Čes19] , Purity for the Brauer group , Duke Math. J. 168 (2019), no. 8, 1461–1486. [Con12] Brian Conrad, Weil and Grothendieck approaches to adelic points , Enseign. Math. (2) 58 (2012), no. 1- 2, 61–97. [CR10] Pierre-Emmanuel Chaput and Matth...

arXiv 2017

[8] [228]

[EGA II] , Éléments de géométrie algébrique. II. Étude globale élémen taire de quelques classes de mor- phismes, Inst. Hautes Études Sci. Publ. Math. 8 (1961), 222 (French). [EGA IV 1] , Éléments de géométrie algébrique. IV. Étude locale des sché mas et des morphismes de schémas. I, Inst. Hautes Études Sci. Publ. Math. 20 (1964), 259 (French). [EGA IV 2] ...

work page 1961