Pith. sign in

REVIEW 2 major objections 3 minor 46 references

Tame local Betti geometric Langlands

T0 review · 2 major / 3 minor · reviewed 2026-08-10 · 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 the tame local Betti geometric Langlands correspondence, showing that two sheaf categories attached to any complex reductive group are equivalent as monoidal ∞-categories.

desk verdict A serious proof of a major conjecture, but the key step inherits an unstated module-compatibility from the authors' companion paper, so referee attention should focus there. read the letter →

arxiv 2501.14157 v1 pith:B5VDDMYZ submitted 2025-01-24 math.RT math.AG

Gurbir Dhillon , Jeremy Taylor This is my paper · ORCID
classification math.RTmath.AG MSC 14D2422E5714F0520C08
keywords tamelocalBettigeometricLanglandsuniversalaffineHeckecategoryIwahori–Whittakernilpotentsingularsupportind-coherentsheavesmonoidalequivalenceWakimotoSteinbergstack
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

The paper proves that two categorically defined objects attached to a complex reductive group $G$ are monoidally equivalent: the category $\mathrm{IndCoh}_G(\widetilde{G}\times_G \widetilde{G})$ of ind-coherent sheaves on the Steinberg stack of the Grothendieck–Springer resolution, and the category $\mathrm{Shv}_{\mathrm{nilp}}(\widetilde{I}\backslash LG/\widetilde{I})$ of Betti sheaves with nilpotent singular support on the universal monodromic Hecke stack. This is the tame local Betti geometric Langlands correspondence conjectured in [BZN07] and developed further in [BZN18]. Because both categories are monoidal under convolution, the equivalence identifies the two realizations of the universal affine Hecke category, the categorical analogue of the affine Hecke algebra. Restricting to unipotent monodromy recovers the unipotent theorem of [B16], now by a new argument. The proof lifts the classical function-theoretic strategy of [KL87] to the categorical level, matching the tautological spectral module with the Iwahori–Whittaker automorphic module.

What carries the argument

The central object is the universal affine Hecke category, realized on the spectral side as $\mathrm{IndCoh}_G(\widetilde{G}\times_G \widetilde{G})$ and on the automorphic side as $\mathrm{Shv}_{\mathrm{nilp}}(\widetilde{I}\backslash LG/\widetilde{I})$. The proof's engine is the matching of two module categories: the tautological module $\mathrm{QCoh}_G(\widetilde{G})$ on the spectral side and the Iwahori–Whittaker category on the automorphic side. The load-bearing identifications $\mathrm{QCoh}_G(\widetilde{G}) \simeq \mathrm{Shv}_{\mathrm{nilp}}(\widetilde{I},\chi\backslash LG/\widetilde{I})$ and $\mathrm{QCoh}_G(G) \simeq \mathrm{Shv}_{\mathrm{nilp}}(\widetilde{I},\chi\backslash LG/\widetilde{I},\chi)$ are taken from the authors' earlier work [DT24] and are not reproven here. From these, the commuting actions of the bi-Whittaker category produce a monoidal functor between the two realizations, and a t-structure analysis with the translation sheaves (Wakimoto sheaves) and the finiteness of the finite Weyl group shows the functor is an equivalence up to renormalization.

What would settle it

Compute the bi-Whittaker category of sheaves on the loop group for $\mathrm{SL}_2$ and compare it with $\mathrm{QCoh}_{\check{G}}(\check{G})$ under the equivalence claimed in [DT24]; a mismatch would invalidate the main theorem, which depends directly on that input.

Watch

Extended reading notes

Core claim

The central discovery is that the universal affine Hecke category has a single monoidal incarnation even after the monodromy is allowed to vary tamely around the punctures, not just in the unipotent case where several models agree. The paper establishes the equivalence $\mathrm{IndCoh}_G(\widetilde{G}\times_G \widetilde{G}) \simeq \mathrm{Shv}_{\mathrm{nilp}}(\widetilde{I}\backslash LG/\widetilde{I})$ as monoidal $\infty$-categories. The proof constructs a monoidal functor $\iota^!$ from the automorphic side to the spectral side using the commuting actions of the bi-Whittaker category on the Iwahori–Whittaker category, and then identifies this functor's kernel with the infinitely connective objects via a t-structure analysis. Passing to the Verdier quotient and then to compact objects yields an equivalence that extends by ind-completion to the full statement. In particular, the theorem gives a new proof of the unipotent case of [B16] as a specialization.

Load-bearing premise

The two theorems taken from the authors' earlier work [DT24]—the universal monodromic equivalence between coherent sheaves on $\widetilde{G}$ and the Iwahori–Whittaker category, and the bi-Whittaker equivalence for $\mathrm{QCoh}_G(G)$—are load-bearing and are not reproven here; if either is wrong, the main equivalence collapses.

Editorial extensions

If this is right

  • Specializing the main equivalence to unipotent monodromy recovers the fundamental theorem of [B16] on two geometric realizations of the affine Hecke algebra.
  • The monoidal equivalence implies an equivalence of (∞,2)-categories $\mathrm{2}\text{-}\mathrm{IndCoh}_{\mathrm{nilp}}(G/G) \simeq \mathrm{Shv}_{\mathrm{nilp}}(\widetilde{I}\backslash LG/\widetilde{I})\text{-mod}$, so the tame Hecke action on arbitrary moduli stacks is the same in both realizations.
  • Base-changing to the formal completion of the invariant-theory quotient at its closed points yields the restricted-variation version of the correspondence and confirms the conjecture stated as [B16, Conjecture 58] over the complex numbers.
  • The proof offers a new path to the unipotent theorem, using higher algebra in place of the ad hoc tilting-sheaf models of [B16].

Reading between the lines

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

  • The same module-matching strategy, if supplied with the corresponding universal monodromic equivalences, could prove the tamely ramified de Rham local correspondence; the authors explicitly expect this approach to be useful there.
  • The t-boundedness control uses only the finite Weyl group, so the correspondence holds uniformly across all root systems without case-by-case verification; this structural uniformity is not stated as a separate theorem but follows from the proof.
  • Because the equivalence identifies the Drinfeld center of the automorphic Hecke category with the center of the spectral category, the theorem offers a new way to compute endofunctors and central actions of the affine Hecke category that might inform categorical representation theory beyond geometric Langlands.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper proves a monoidal equivalence between the spectral category IndCoh_G(~G ×_G ~G) and the automorphic category Shv_nilp(Ĩ\LG/Ĩ), thereby settling the tamely ramified local Betti geometric Langlands correspondence conjectured by Ben-Zvi–Nadler, and specializing to Bezrukavnikov's unipotent theorem. The proof constructs a monoidal functor from the automorphic Hecke category to the spectral side via Iwahori–Whittaker modules, identifies its kernel with the infinitely connective objects, and then passes to compact objects via pseudocompactness arguments. The argument is a detailed reduction to two main theorems from the authors' previous work [DT24].

Significance. If correct, this is a major result in geometric representation theory: it proves a conjecture of Ben-Zvi–Nadler and provides a new route to Bezrukavnikov's affine Hecke category equivalence. The paper is well structured, with modular t-boundedness lemmas and an explicit strategy that avoids older triangulated-level complications. However, the proof is not self-contained and depends heavily on [DT24]; one compatibility statement needed for the main construction is not stated or proved, and one perversity assertion is used without support. These issues are local and fixable, but they are load-bearing.

major comments (2)
  1. [Section 3.1.1, Proposition 3.1.2, Eq. (8)] The passage from the target of (8) to End_{QCoh_G(G)}(QCoh_G(~G))^rev is not justified by Theorems 2.5.4 and 2.5.5 as stated. Theorem 2.5.4(2) gives an equivalence of plain categories χH ≃ QCoh_G(~G), and Theorem 2.5.5 gives a monoidal equivalence QCoh_G(G) ≃ χHχ; however, identifying endomorphism categories requires the additional compatibility that the tautological action of χHχ on χH corresponds, under these equivalences, to the action of QCoh_G(G) on QCoh_G(~G) by pullback along ~G→G. This compatibility is not stated in the recollections of Section 2.5 nor proved in Section 3.1, and it is not a formal consequence of the two recalled equivalences. Since the construction of ι! and all subsequent arguments depend on this step, I ask for an explicit compatibility lemma with a proof or a precise citation to the relevant statement in [DT24].
  2. [Lemma 3.3.4] In the proof of left exactness of F, the object χδ ⋆ Z_V ⋆ W_λ is asserted to be perverse for V ∈ Rep(G)^♥ and λ ∈ Λ, and this assertion is used to conclude Hom_{χH}(χδ ⋆ Z_V ⋆ W_λ, ξ) ≥ 0 for ξ ≥ 0. No proof or reference is given for this perversity statement. It is load-bearing for Lemma 3.3.4, which in turn is essential for the 'if' direction of Theorem 3.3.2. The authors should either prove this perversity here or cite the precise result in [DT24] (or a standard reference) that implies it.
minor comments (3)
  1. [Remark 1.2.6] The claimed equivalence of (∞,2)-categories is stated without a formal proof, and the text explicitly says the deduction is omitted. Since the abstract and introduction describe the paper as proving the full tame local Betti correspondence, I recommend clarifying that Theorem 1.2.5 is the proved statement and that the 2-categorical enhancement is conditional on the development of the referenced foundations.
  2. [Section 2.3.3] The sentence 'Moreover, the object π_{w,!}(k[d_w]) is a compact generator of the category ... and left convolution with it 1 yields a t-exact equivalence' contains a stray '1' and is hard to parse; please rephrase.
  3. [Section 2.5.3, Theorem 2.5.4] In Theorem 2.5.4(1), the map QCoh_G(G)→QCoh_G(~G) through which the composite factors is not explicitly described; for the reader's convenience, please state that it is the pullback along ~G→G.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction: the target equivalence is derived from distinct module-category equivalences in [DT24] plus new monoidal, t-structure, and pseudocompactness arguments; the same-author reliance is a dependency, not a circularity.

full rationale

Theorem 1.2.5 is not assumed as an input. The proof constructs the functor of Proposition 3.1.2 from the tautological module actions of H, then rewrites the target endomorphism category using two recalled results from [DT24]: Theorem 2.5.4(2) identifies χH with QCoh_G(~G), and Theorem 2.5.5 identifies χHχ with QCoh_G(G). Neither of these recalled statements is the target monoidal equivalence IndCoh_G(~G ×_G ~G) ≃ Shv_nilp(Ĩ\LG/Ĩ); rather, they identify module categories on which the two convolution monoidal categories act. The actual target equivalence is then obtained through new work in Sections 3.2–3.4: proving that ι! is an equivalence after quotienting by infinitely connective objects (Theorem 3.3.2), the t-bounded equivalence of Corollary 3.3.7, and the pseudocompactness/compact-object comparison of Proposition 3.4.2. The reliance on [DT24] is a dependency on prior same-author work, but it is not circular: the cited statements are parameter-free and do not include the target theorem. The skeptical concern about the compatibility of the module structures under the two recalled equivalences is a potential gap or correctness risk, not a circularity; nothing in the paper defines QCoh_G(G) or χHχ in terms of the target category, and the claim does not reduce to a fitted or postulated value. Remark 1.2.6 explicitly omits a formal deduction for the 2-categorical consequence; this is an acknowledged limitation, not a circular step. Overall the derivation chain has independent content, so the only burden is mild self-citation from using [DT24] without reproving it here.

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

No free parameters or invented entities. The central claim depends on standard infinity-categorical and derived algebraic geometry formalism, on the fixed reductive group setup, and on two load-bearing theorems from the authors' previous paper [DT24]. The latter are cited rather than reproven.

assumptions (5)
  • standard math The formalism of k-linear stable presentable infinity-categories and the Lurie tensor product.
    Invoked throughout Section 2.1 as the foundational language for all categories and functors.
  • domain assumption G is a split pinned connected reductive group over a characteristic zero field k, with Borel B and Langlands dual G.
    Fixed in Section 1.2.2 and 1.2.3; the entire statement of Theorem 1.2.5 depends on this setup.
  • domain assumption Theorem 2.5.4 of [DT24]: the universal monodromic Arkhipov-Bezrukavnikov equivalence QCoh_G(~G) = Shv_nilp(Ibar,chi\LG/Ibar).
    Cited as established in the authors' previous paper and used in Section 3.1 to construct the monoidal functor.
  • domain assumption Theorem 2.5.5 of [DT24]: the bi-Whittaker equivalence QCoh_G(G) = chiH_chi.
    Cited as established in the authors' previous paper and used to rewrite the target category in Section 3.1.
  • domain assumption The existence of the theory of 2-IndCoh with singular supports, due to Arinkin, with no written reference available.
    Remark 1.2.6 states the authors are unaware of a written reference for this theory and therefore omit the formal deduction of the 2-categorical consequence.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Tame local Betti geometric Langlands." pith.science (2026). https://pith.science/paper/B5VDDMYZ

@misc{pith2026250114157,
  author       = {Pith},
  title        = {Pith review of: Tame local Betti geometric Langlands},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/B5VDDMYZ}},
  note         = {Machine review of arXiv:2501.14157}
}
read the original abstract

We prove a monoidal equivalence between spectral and automorphic realizations of the universal affine Hecke category, thereby proving the tamely ramified local Betti geometric Langlands correspondence, as conjectured by Ben-Zvi--Nadler [BZN07, BZN18]. Specializing to the case of unipotent monodromy, this provides another argument for a fundamental theorem of Bezrukavnikov [B16].

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

46 extracted references · 7 canonical work pages

  1. [1]

    Perverse sheaves on affine flags and Langlands dual group

    Arkhipov, Sergey, and Roman Bezrukavnikov. Perverse sheaves on affine flags and Langlands dual group. Israel Journal of Mathematics 170 (2009): 135-183

    2009

  2. [2]

    Perverse coherent sheaves

    Arinkin, Dmitry, and Roman Bezrukavnikov. Perverse coherent sheaves. (2009)

    2009

  3. [3]

    On the p-adic theory of local models

    Anschütz, Johannes, Ian Gleason, João Lourenço, and Timo Richarz. On the p-adic theory of local models. arXiv:2201.01234 (2022)

    arXiv 2022

  4. [4]

    Gaitsgory's central functor and the Arkhipov-Bezrukavnikov equivalence in mixed characteristic

    Anschütz, Johannes, João Lourenço, Zhiyou Wu, and Jize Yu. Gaitsgory's central functor and the Arkhipov-Bezrukavnikov equivalence in mixed characteristic. arXiv:2311.04043 (2023)

    arXiv 2023

  5. [5]

    Central sheaves on affine flag varieties

    Achar, Pramod, and Simon Riche. Central sheaves on affine flag varieties. Book in preparation, (2024)

    2024

  6. [6]

    On tensor categories attached to cells in affine Weyl groups

    Bezrukavnikov, Roman. On tensor categories attached to cells in affine Weyl groups. Representation theory of algebraic groups and quantum groups 40 (2004): 69-90

    2004

  7. [7]

    Perverse sheaves on affine flags and nilpotent cone of the Langlands dual group

    Bezrukavnikov, Roman. Perverse sheaves on affine flags and nilpotent cone of the Langlands dual group. Israel Journal of Mathematics. 170, 185–206 (2009)

    2009

  8. [8]

    On two geometric realizations of an affine Hecke algebra

    Bezrukavnikov, Roman. On two geometric realizations of an affine Hecke algebra. Publications mathématiques de l'IHÉS 123 (2016): 1-67

    2016

Show all 46 references
  1. [9]

    Equivariant Satake category and Kostant-Whittaker reduction

    Bezrukavnikov, Roman, and Michael Finkelberg. Equivariant Satake category and Kostant-Whittaker reduction. Mosc. Math. J. 8 (2008), no. 1, 39–72, 183

    2008

  2. [10]

    On tensor categories attached to cells in affine Weyl groups, III

    Bezrukavnikov, Roman, Michael Finkelberg, and Victor Ostrik. On tensor categories attached to cells in affine Weyl groups, III. Israel Journal of Mathematics 170 (2009): 207-234

    2009

  3. [11]

    Localization of modules for a semisimple Lie algebra in prime characteristic

    Bezrukavnikov, Roman, Ivan Mirković, and Dmitriy Rumynin. Localization of modules for a semisimple Lie algebra in prime characteristic. Annals of Mathematics (2008): 945-991

    2008

  4. [12]

    Integral transforms and Drinfeld centers in derived algebraic geometry

    Ben-Zvi, David, Francis, John, and Nadler, David. Integral transforms and Drinfeld centers in derived algebraic geometry. Journal of the American Mathematical Society 23.4 (2010): 909-966

    2010

  5. [13]

    Morita equivalence for convolution categories: appendix to arXiv:0805.0157, arXiv:1209.0193 (2012)

    Ben-Zvi, David, Francis, John, and Nadler, David. Morita equivalence for convolution categories: appendix to arXiv:0805.0157, arXiv:1209.0193 (2012)

    2012 arXiv

  6. [14]

    Highest Weights for Categorical Representations

    Ben-Zvi, David, Sam Gunningham, and Hendrik Orem. Highest Weights for Categorical Representations. International Mathematics Research Notices 2020, Issue 24, (2020): 9988–10004

    2020

  7. [15]

    Loop spaces and Langlands parameters, arXiv:0706.0322 (2007)

    Ben-Zvi, David, and David Nadler. Loop spaces and Langlands parameters, arXiv:0706.0322 (2007)

    2007 arXiv

  8. [16]

    Betti geometric Langlands

    Ben-Zvi, David, and David Nadler. Betti geometric Langlands. Algebraic geometry: Salt Lake City 2015 97 (2018): 3-41

    2018

  9. [17]

    A topological approach to Soergel theory

    Bezrukavnikov, Roman, and Simon Riche. A topological approach to Soergel theory. Representation Theory and Algebraic Geometry: A Conference Celebrating the Birthdays of Sasha Beilinson and Victor Ginzburg, (2021): 267-343

    2021

  10. [18]

    Modular affine Hecke category and regular centralizer

    Bezrukavnikov, Roman, and Simon Riche. Modular affine Hecke category and regular centralizer. (2022)

    2022

  11. [19]

    On two modular geometric realizations of an affine Hecke algebra, arXiv:2402.08281 (2024)

    Bezrukavnikov, Roman and Simon Riche. On two modular geometric realizations of an affine Hecke algebra, arXiv:2402.08281 (2024)

    2024 arXiv

  12. [20]

    Modular affine Hecke category and regular unipotent centralizer, I

    Bezrukavnikov, Roman, Simon Riche, and Laura Rider. Modular affine Hecke category and regular unipotent centralizer, I. arXiv:2005.05583 (2020)

    2020 arXiv

  13. [21]

    On Koszul duality for Kac-Moody groups

    Bezrukavnikov, Roman, and Zhiwei Yun. On Koszul duality for Kac-Moody groups. Representation Theory of the American Mathematical Society 17.1 (2013): 1-98

    2013

  14. [22]

    Hyperbolic localization of intersection cohomology

    Braden, Tom. Hyperbolic localization of intersection cohomology. Transformation groups 8 (2003): 209-216

    2003

  15. [23]

    A Langlands dual realization of coherent sheaves on the nilpotent cone, arXiv:2310.10539 (2023)

    Chen, Harrison and Gurbir Dhillon. A Langlands dual realization of coherent sheaves on the nilpotent cone, arXiv:2310.10539 (2023)

    2023 arXiv

  16. [24]

    Langlands duality on the Beilinson--Drinfeld Grassmannian, arXiv:2310.19734 (2023)

    Campbell, Justin and Sam Raskin. Langlands duality on the Beilinson--Drinfeld Grassmannian, arXiv:2310.19734 (2023)

    2023 arXiv

  17. [25]

    Endoscopy for affine Hecke categories (2024)

    Dhillon, Gurbir, Yau Wing Li, Zhiwei Yun, and Xinwen Zhu. Endoscopy for affine Hecke categories (2024)

    2024

  18. [26]

    The universal monodromic Arkhipov--Bezrukavnikov equivalence, (2024)

    Dhillon, Gurbir and Jeremy Taylor. The universal monodromic Arkhipov--Bezrukavnikov equivalence, (2024)

    2024

  19. [27]

    Universal Koszul duality for Kac--Moody groups, arXiv:2408.14716, (2024)

    Eberhardt, Jens and Arnaud Eteve. Universal Koszul duality for Kac--Moody groups, arXiv:2408.14716, (2024)

    2024 arXiv

  20. [28]

    Conjugacy classes in semisimple algebraic groups

    Humphreys, James E. Conjugacy classes in semisimple algebraic groups. No. 43. American Mathematical Soc., 1995

    1995

  21. [29]

    Construction of central elements in the affine Hecke algebra via nearby cycles

    Gaitsgory, Dennis. Construction of central elements in the affine Hecke algebra via nearby cycles. Invent. math, (2001): 253-280

    2001

  22. [30]

    Braiding compatibilities

    Gaitsgory, Dennis. Braiding compatibilities. Representation theory of algebraic groups and quantum groups. Vol. 40. Mathematical Society of Japan, 2004. 91-101

    2004

  23. [31]

    The local and global versions of the Whittaker category

    Gaitsgory, Dennis. The local and global versions of the Whittaker category. (2018)

    2018

  24. [32]

    A study in derived algebraic geometry: Volume I: correspondences and duality

    Gaitsgory, Dennis, and Nick Rozenblyum. A study in derived algebraic geometry: Volume I: correspondences and duality. Vol. 221. American Mathematical Society, 2019

    2019

  25. [33]

    Tilting sheaves for real groups and Koszul duality

    Ionov, Andrei, and Zhiwei Yun. Tilting sheaves for real groups and Koszul duality. arXiv:2301.05409 (2023)

    2023

  26. [34]

    Representations of algebraic groups

    Jantzen, Jens Carsten. Representations of algebraic groups. American Mathematical Society, 2003

    2003

  27. [35]

    Proof of the Deligne-Langlands conjecture for Hecke algebras

    Kazhdan, David, and George Lusztig. Proof of the Deligne-Langlands conjecture for Hecke algebras. Inventiones mathematicae 87 (1987): 153-215

    1987

  28. [36]

    Frobenius splitting of cotangent bundles of flag varieties

    Kumar, Shrawan, Niels Lauritzen, and Jesper Funch Thomsen. Frobenius splitting of cotangent bundles of flag varieties. Inventiones mathematicae 136.3 (1999): 603-621

    1999

  29. [37]

    Sheaves on Manifolds, volume 292 of Grundlehren der mathematischen Wissenschaften

    Kashiwara, Masaki, and Pierre Schapira. Sheaves on Manifolds, volume 292 of Grundlehren der mathematischen Wissenschaften. Springer, 1990

    1990

  30. [38]

    Singularities, character formulas, and a q-analog of weight multiplicities

    Lusztig, George. Singularities, character formulas, and a q-analog of weight multiplicities. Astérisque 101.102 (1983): 208-229

    1983

  31. [39]

    Functions on the commuting stack via Langlands duality

    Li, Penghui, David Nadler, and Zhiwei Yun. Functions on the commuting stack via Langlands duality. Annals of Mathematics 200 (2024): 609-748

    2024

  32. [40]

    Endoscopy for Hecke categories, character sheaves and representations

    Lusztig, George, and Zhiwei Yun. Endoscopy for Hecke categories, character sheaves and representations. Forum of Mathematics, Pi. Vol. 8. Cambridge University Press, 2020

    2020

  33. [41]

    The Whittaker Functional Is a Shifted Microstalk

    Nadler, David and Jeremy Taylor. The Whittaker Functional Is a Shifted Microstalk. Transformation Groups (2024)

    2024

  34. [42]

    The connection between the K-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel

    Neeman, Amnon. The connection between the K-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel. Annales scientifiques de l'Ecole normale supérieure. Vol. 25. No. 5. 1992

    1992

  35. [43]

    Regular elements of semi-simple algebraic groups

    Steinberg, Robert. Regular elements of semi-simple algebraic groups. Publications Mathématiques de l'IHÉS 25 (1965): 49-80

    1965

  36. [44]

    Projective modules over Laurent polynomial rings

    Swan, Richard. Projective modules over Laurent polynomial rings. Transactions of the American Mathematical Society 237 (1978): 111-120

    1978

  37. [45]

    Higher algebraic K-theory of schemes and of derived categories

    Thomason, Robert, and Thomas Trobaugh. Higher algebraic K-theory of schemes and of derived categories. The Grothendieck Festschrift (1990): 347-435

    1990

  38. [46]

    Universal monodromic tilting sheaves

    Taylor, Jeremy. Universal monodromic tilting sheaves. arxiv:2305.03033 (2023)

    2023 arXiv

Pith tools

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