Pith. sign in

REVIEW 3 major objections 5 minor 2 cited by

A refinement of the coherence conjecture of Pappas and Rapoport

T0 review · 3 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 This paper refines the coherence conjecture by upgrading its equality of dimensions to an isomorphism of representations of the canonical Levi subgroup, and derives an isomorphism of affine Demazure modules as a consequence.

desk verdict Real upgrade of Zhu's theorem, but the proof of Theorem 3.5 has an unproved flatness step that is load-bearing. read the letter →

arxiv 2412.15062 v2 pith:CDTBL75C submitted 2024-12-19 math.AG math.RT

Jiuzu Hong , Huanhuan Yu This is my paper · ORCID
classification math.AGmath.RT MSC 14M1514L1517B67
keywords coherenceconjectureaffineGrassmannianpartialflagvarietyparahoricgroupschemesDemazuremodulesequivariantlinebundlesglobalSchubertvarietiesLiealgebras
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 coherence conjecture asserts that the space of global sections of a line bundle over a Schubert variety in the affine Grassmannian has the same dimension as the space of sections of a related line bundle over a union of Schubert varieties in a partial affine flag variety. This paper upgrades that equality of numbers to an actual isomorphism of representations: in characteristic zero, the two section spaces are isomorphic as modules over the canonical Levi subgroup, and under mild characteristic assumptions the torus action is already equivariant. In representation-theoretic terms, the affine Demazure module $D(c,\mu)$, twisted by the one-dimensional character $\mathbb{C}_\lambda$, is isomorphic to the sum $\sum_{w\in W^\tau} D^\tau(\Lambda, w(\mu))$ of twisted affine Demazure modules. The paper also shows that every line bundle on the global affine Grassmannian of the ramified parahoric group scheme carries a unique equivariant structure under the global jet group scheme, strengthening the foundations for the comparison.

What carries the argument

The central mechanism is a parahoric Bruhat–Tits group scheme over $\mathbb{P}^1$ ramified at 0, whose global affine Grassmannian has generic fiber the ordinary affine Grassmannian and special fiber the partial affine flag variety. The paper constructs a line bundle on this global Grassmannian by descent from the moduli stack of $\mathcal{G}$-bundles, so that it specializes to $\mathcal{L}(\Lambda)_\kappa$ at 0 and to $\mathcal{L}^c$ at a generic point, and then equips it with an equivariant structure under the negative loop group; restricting to the canonical Levi subgroup gives the same action on every fiber. The equivariant realization of parahoric group schemes as $\sigma$-fixed points provides the canonical Levi subgroup and the subgroup $G_\vartheta$, and a central-extension splitting criterion extends the equivariant structure from a generic open subset to the whole base curve. In characteristic zero, complete reducibility of the torus turns the fiberwise identifications into an isomorphism of representations of $G'_\vartheta$.

What would settle it

A concrete check is to compute the $T^{\tau'}$-weight multiplicities of both sides of the isomorphism in a small example, such as $G=SL_2$ with $Y=\{1\}$ and $\mu=\check{\alpha}$, in a prime characteristic $p$ satisfying $p\nmid a_Y$; if the dimensions coincide but the characters differ, the specialization isomorphism (Equation (38)) is false. Equivalently, computing $H^1$ of the line bundle over the global Schubert variety at the special fiber and finding a nonzero class would falsify the flatness of the direct image on which the module comparison rests.

Watch

Extended reading notes

Core claim

The paper's central claim is that the coherence conjecture's dimension identity is the shadow of an equivariant isomorphism: for a dominant coweight $\mu$ and a line bundle $\mathcal{L}(\Lambda)_\kappa$ of central charge $c$ on the relevant component of the partial affine flag variety, there is an isomorphism of $G'_\vartheta$-representations $H^0(A_Y(\mu), \mathcal{L}(\Lambda)_\kappa) \simeq H^0(Gr_{G,\mu}, \mathcal{L}^c) \otimes k_{-\lambda}$ in characteristic zero, and of $T^{\tau'}$-modules under the mild assumptions $p \nmid a_Y$ and $p \nmid |X_*(T)/\check{Q}|$, where $G'_\vartheta$ is the preimage in the simply connected cover of the centralizer of a rational interior point $\vartheta$ of the facet. Equivalently, the paper proves the affine Demazure module isomorphism $D(c,\mu) \otimes \mathbb{C}_\lambda \simeq \sum_{w\in W^\tau} D^\tau(\Lambda, w(\mu))$ as modules over $\mathfrak{g}_\lambda$, the Lie algebra of $G_\vartheta$. The equality of dimensions proved earlier is therefore upgraded to a genuine identification of representations, matching the Levi subgroup action on the two sides, and this is what produces the Demazure-module consequence.

Load-bearing premise

The load-bearing premise is that the direct image of the line bundle over the global Schubert variety is flat over the base curve, with all higher direct images vanishing, so that the section spaces over the two fibers are isomorphic as modules under specialization; the paper asserts this flatness rather than proving the needed base-change theorem, and the reduction to non-simply-connected groups also assumes an analogue of a lemma from the authors' earlier work.

Editorial extensions

If this is right

  • In characteristic zero, $H^0(A_Y(\mu), \mathcal{L}(\Lambda)_\kappa) \simeq H^0(Gr_{G,\mu}, \mathcal{L}^c) \otimes k_{-\lambda}$ as $G'_\vartheta$-modules, and under mild characteristic assumptions as $T^{\tau'}$-modules.
  • The affine Demazure modules satisfy $D(c,\mu) \otimes \mathbb{C}_\lambda \simeq \sum_{w\in W^\tau} D^\tau(\Lambda, w(\mu))$ as $\mathfrak{g}_\lambda$-modules, so the coherence conjecture's character identity is a consequence of an actual module isomorphism.
  • Every line bundle on the global affine Grassmannian $\mathrm{Gr}_{\mathcal{G}}$ and its restriction to a global Schubert variety admits a unique equivariant structure under the global jet group scheme, so line bundles on $\mathrm{Gr}_{\mathcal{G}}$ are classified by their restrictions to the special fiber.
  • The irreducible components of $A_Y(\mu)$ are exactly the Schubert varieties $\mathrm{Fl}_{Y,\eta}$ for $\eta$ in the set $S_{Y,\mu}$ of $\breve{Y}$-dominant elements in the $W^\tau$-orbit of $\mu$.
  • The comparison is valid for non-simply-connected groups and for twisted loop groups, not only for the simply-connected untwisted case.

Reading between the lines

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

  • A natural extension would be to ask whether the equivariant isomorphism lifts to a derived equivalence between the pushforwards of the two line bundles over the global Schubert variety; the paper's flatness premise would then be replaced by a full base-change theorem.
  • The uniqueness of the global jet group equivariant structure suggests that equivariant Picard groups and equivariant $K$-theory of partial affine flag varieties can be computed from the special fiber, paralleling standard localization formulas; the authors mention $K$-theory as future work.
  • One might test whether the Demazure-module isomorphism admits an integral or $q$-deformed version, since both sides carry natural standard monomial bases; the paper proves it in characteristic zero over algebraically closed fields.
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

3 major / 5 minor

Summary. The paper refines Zhu's proof of the Pappas--Rapoport coherence conjecture from a dimension equality to an isomorphism of representations. The main geometric comparison, Theorem 3.5, asserts that for a dominant coweight μ and an ample line bundle L(Λ)_κ on the relevant component of the partial affine flag variety, H⁰(A_Y(μ),L(Λ)_κ) is isomorphic as a T'τ-module to H⁰(Gr_{G,μ},L^c)⊗k_{-λ}, and, in characteristic zero, as a G'_ϑ-module. The proof is built on a parahoric Bruhat--Tits group scheme ℤ over the projective line ramified at 0, Faltings-style equivariant structures on line bundles, and transport of equivariance through the global affine Grassmannian. Section 4 claims a canonical L^+G-equivariant structure on any line bundle over a global Schubert variety, and Section 5 translates the comparison into an isomorphism of affine Demazure modules D(c,μ)⊗C_λ ≅ ∑_{w∈Wτ}D_τ(Λ,w(μ)), with explicit examples in the appendix.

Significance. The claimed result is a genuine strengthening of a theorem with substantial arithmetic impact. If Eq. (38) and the surrounding base-change assertions are justified, the upgrade from a dimension equality to an equivariant isomorphism is meaningful, and the Demazure-module consequence in Theorem 5.5 is new and clearly formulated, with helpful examples. The paper also contributes independent constructions: the equivariant realization of parahoric group schemes beyond the simply-connected case (Theorem 2.4), the canonical Levi subgroup description (Corollary 2.10), and the uniqueness theorem for L^+G-equivariant structures (Theorem 4.6). The latter result is presented with a clean fppf central-extension argument. However, the central proof currently relies on an unproved flatness assertion for a direct image sheaf, and the reduction to general G is supported by an unproved analogue of a lemma from the authors' earlier work. Those gaps are load-bearing rather than cosmetic.

major comments (3)
  1. [§3.4, Eq. (38)] The proof of Theorem 3.5 asserts, without proof, that H⁰(Gr^μ_{G,C}, L_ξ) is a T'τ-module and flat over C. This does not follow from Theorem 3.22, which only says that the total space Gr^μ_{G,C} is flat over C, together with Lemma 3.24, which supplies a T'τ × C-equivariant structure on L_ξ. Flatness of the direct image is a base-change statement: one needs, for example, vanishing of R^iπ_*L_ξ for i>0 and constancy of h⁰(Gr^μ_{G,a}, L_ξ|_a) on fibers. Complete reducibility of T'τ only converts such flatness into a fiberwise weight-space isomorphism; it cannot supply the missing base-change input. Since Eq. (38) is the hinge of the proof of Theorem 3.5, this gap must be repaired by a proof or a precise reference.
  2. [§3.4, reduction to general G] When the proof passes from simply-connected G to a general simple group, it invokes the statement 'By a similar proof as in [HY, Lemma 5.16], there is an isomorphism Gr_{G',C} ≅ Gr_{G,C}[o]' but does not prove it or give a reference for the analogous lemma. This isomorphism is used to define L_ξ for non-simply-connected G, to identify restrictions to the fiber over 0, and to compare equivariant structures. The non-simply-connected case of Theorem 3.5 is therefore not supported unless this missing lemma is supplied.
  3. [§4.2, Proposition 4.4] In the injectivity part of Proposition 4.4, the proof states that since Gr_G is ind-projective over Ā¹ and each fiber has one-dimensional global sections, π_*(L) is a locally free sheaf of rank one on Ā¹. This is not immediate for an ind-scheme; one needs to work with the filtration by finite-type Schubert varieties and justify that the relevant direct image sheaf is defined and that base change to each fiber behaves as claimed. Since Proposition 4.4 is used in the uniqueness part of Theorem 4.6, this point needs clarification.
minor comments (5)
  1. [Abstract] The abstract contains a typo: 'coherence conjcture' should read 'coherence conjecture'.
  2. [§2.2, Definition 2.1] The subgroups U_{α,ℓ} are used in Definition 2.1 before the cases with 2α∈R are defined in the following paragraph; moving that explanation before Definition 2.1 would improve readability.
  3. [§3.1, Eq. (19)] The element n_μ defined in Eq. (19) depends a priori on a choice of lift μ of μ̄; the text should state explicitly that the construction is independent of this choice or fix a convention for the lift.
  4. [§3.4, proof of Theorem 3.5] The phrase 'flat over C' for H⁰(Gr^μ_{G,C},L_ξ) should specify the scheme structure and the direct image functor being used; as written it is not clear whether the claim is about a coherent sheaf on C or about a vector space with a T'τ-action.
  5. [Appendix A] The examples in Appendix A refer to 'Figure 1a', 'Figure 2b', and similar diagrams that are not reproduced in the text; adding a short description of the weight diagrams would make the examples more self-contained.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; the representation-theoretic upgrade is derived from Zhu's external coherence theorem plus independent geometric equivariance constructions.

full rationale

The central isomorphism of Theorem 3.5 is not assumed or fitted. It is obtained by combining Zhu's dimension equality ([Zh1], cited as Theorem 3.22) with equivariant geometric inputs: the P−_Y-equivariant structure on line bundles over partial affine flag varieties (Proposition 3.12), descent to Bun_G (Proposition 3.17), the L−G-equivariant structure on the pulled-back line bundle (Theorem 3.20), and the T′τ×C-equivariant structure on the relevant line bundle (Lemma 3.24). The final weight adjustment and the characteristic-zero upgrade are standard representation-theoretic consequences of matching torus characters under semisimplicity. The paper does rely on previous work by the same authors, notably [DH1] for the equivariant construction of parahoric group schemes and [HY, Lemma 5.16] for the reduction to the simply-connected cover. These are published geometric results with independent foundations and are not restatements of the target theorem; they do not import the conclusion of Theorem 3.5. The terse assertion in Section 3.4 that H0(Gr^µ_{G,C},Lξ) is flat over C is a genuine proof gap if it is meant to follow only from Theorem 3.22 and Lemma 3.24; flatness of the direct image requires additional base-change or vanishing input. This is a correctness risk, not a circularity, because the flatness statement is not a fitted parameter and is not by construction identical to the theorem; it is a missing technical justification in an otherwise non-circular derivation chain. No step renames a known result or smuggles an ansatz through self-citation, and Theorem 5.5 is a genuine algebraic reformulation of the geometric isomorphism via the external theorems of Kumar-Mathieu and Littelmann.

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

The central claim rests on several imported theorems (Zhu, Faltings, Kumar-Mathieu) and on an unproved flatness/base-change assertion in the main proof. No ad hoc parameters or new entities are introduced.

assumptions (5)
  • domain assumption Zhu's theorem: Gr^μ_{G,C} is flat over C with fibers A_Y(μ) at 0 and Gr_{G,μ} elsewhere.
    Imported from [Zh1, Theorem 3]; the paper builds directly on this result without reproving it.
  • domain assumption Kumar-Mathieu theorem: H^0(Schubert variety, line bundle)^∨ is an affine Demazure module.
    Imported from [Ku1] and [Ma]; used in Theorem 5.6 and in the proof of Theorem 5.5.
  • domain assumption Faltings' theorem: line bundles of central charge 1 on the affine Grassmannian have a unique G(O)-equivariant structure.
    Imported from [Fa, Theorem 7]; used in Proposition 3.14 and in the proof of Theorem 3.5.
  • domain assumption Analogue of [HY, Lemma 5.16]: Gr_{G',C} ≃ Gr_{G,C}[o] for general simple G.
    The paper states 'By a similar proof' in Section 3.4, without giving details.
  • ad hoc to paper Flatness of H^0(Gr^μ_{G,C}, Lξ) over C and base-change compatibility of fibers.
    Asserted in the proof of Theorem 3.5 (Section 3.4) without derivation; it is the key step that turns dimension equality into fiberwise representation isomorphism.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A refinement of the coherence conjecture of Pappas and Rapoport." pith.science (2026). https://pith.science/paper/CDTBL75C

@misc{pith2026241215062,
  author       = {Pith},
  title        = {Pith review of: A refinement of the coherence conjecture of Pappas and Rapoport},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CDTBL75C}},
  note         = {Machine review of arXiv:2412.15062}
}
abstract

The coherence conjecture of Pappas and Rapoport, proved by Zhu, asserts the equality of dimensions for the global sections of a line bundle over a spherical Schubert variety in the affine Grassmannian and those of another line bundle over a certain union of Schubert varieties in a partial affine flag variety. In this paper, we enhance this equality of dimensions to an isomorphism of representations, which leads to interesting consequences in the setting of affine Demazure modules. Zhu's proof of coherence conjcture and our comparison theorem are established by introducing a parahoric Bruhat-Tits group scheme $\mathcal{G}$ over the affine line that is ramified at $0$. We further strengthen this comparison by equipping any line bundle on the global affine Grassmannian of $\mathcal{G}$ with a unique equivariant structure under the global jet group scheme of $\mathcal{G}$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Global positroid varieties

    math.AG 2025-09 conditional novelty 7.0 of 10

    Global positroid varieties are flat families whose general fiber is a classical positroid variety and whose special fiber is a union of affine Richardson varieties.

  2. Type A algebraic coherence conjecture of Pappas and Rapoport

    math.RT 2025-04 unverdicted novelty 6.0 of 10

    Formulates a type A algebraic construction linking Demazure modules to address the algebraic reformulation of the Pappas-Rapoport coherence conjecture, extending to affine Kostant-Kumar modules in general cases.

Reference graph

Works this paper leans on

33 extracted references · 31 canonical work pages · cited by 2 Pith papers

  1. [1]

    Transformation Groups volume 27, pages1189–1221 (2022)

    M.\,Besson and J.\,Hong, A combinatorial study of affine Schubert varieties in affine Grassmannian . Transformation Groups volume 27, pages1189–1221 (2022)

    work page 2022

  2. [2]

    Smooth locus of twisted affine Schubert varieties and twisted affine Demazure modules

    M.\,Besson and J.\,Hong, Smooth locus of twisted affine Schubert varieties and twisted affine Demazure modules . arXiv:2010.11357

    work page Pith review arXiv 2010

  3. [3]

    A.\,Borel, Linear Algebraic Groups, 2nd. Enl. Ed., Springer-Verlag, New York, 1991

    work page 1991

  4. [4]

    Chapters 4-6, Springer-Verlag Berlin Heidelberg 2002

    N.\,Bourbaki Lie Groups and Lie Algebras . Chapters 4-6, Springer-Verlag Berlin Heidelberg 2002

    work page 2002

  5. [5]

    Bruhat and J

    F. Bruhat and J. Tits, Groupes r\'eductifs sur un corps local. II. Sch\'emas en groupes. Existence d'une donn\'ee radicielle valu\'ee. Inst. Hautes E\'tudes Sci. Publ. Math., (60):197–376, 1984

    work page 1984

  6. [6]

    Journal f\"ur die reine und angewandte Mathematik, vol

    J.-L.\,Colliot-Th\'el\`ene, R\'esolutions flasques des groupes lin\'eaires connexes . Journal f\"ur die reine und angewandte Mathematik, vol. 2008, no. 618, 2008, pp. 77-133

    work page 2008

  7. [7]

    Masson/North Holland, 1970

    M.\,Demazure and P.\,Gabriel, Groupes Alg\'ebriques I . Masson/North Holland, 1970

    work page 1970

  8. [8]

    Proceedings of the London Mathematical Society, Volume127, Issue2, August 2023, Pages 261-294

    C.\,Damiolini and J.\,Hong, Local types of ( , G) -bundles and parahoric group scheme. Proceedings of the London Mathematical Society, Volume127, Issue2, August 2023, Pages 261-294

    work page 2023

Show all 33 references
  1. [9]

    arXiv:2412.08826

    C.\,Damiolini and J.\,Hong, Line bundles on the moduli stack of parahoric bundles . arXiv:2412.08826

  2. [10]

    G.\,Faltings, Algebraic loop groups and moduli spaces of bundles . J. Eur. Math. Soc. (JEMS) 5 (2003), no. 1, 41-68

    2003

  3. [11]

    Graduate Texts in Mathematics, No

    R.\,Hartshorne, Algebraic geometry . Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York-Heidelberg, 1977

    1977

  4. [12]

    Heinloth, Uniformization of G-bundles

    J. Heinloth, Uniformization of G-bundles . Math. Annalen, 347(3): 499-528, 2010

    2010

  5. [13]

    Compos.Math.159,2191– 2259 (2023)

    J.\,Hong and S.\,Kumar, Conformal blocks for Galois covers of algebraic curves . Compos.Math.159,2191– 2259 (2023)

    2023

  6. [14]

    J.\,Hong and S.\,Kumar, Twisted conformal blocks and their dimension . Math. Z. 306, 76 (2024)

    2024

  7. [15]

    T.\,J.\,Haines and T.\,Richarz, The test function conjecture for parahoric local mod- els. J. Amer. Math. Soc. 34 (2021), 135-218

    2021

  8. [16]

    Advances in Mathematics, Volume 285, Pages 629-657, 2015

    J.\,Hong and L.\,Shen Tensor invariants, saturation problems and Dynkin automorphisms . Advances in Mathematics, Volume 285, Pages 629-657, 2015

    2015

  9. [17]

    arXiv:2209.07347

    J.\,Hong and H.\,Yu, Beilinson-Drinfeld Schubert varieties of parahoric group schemes and twisted global Demazure modules . arXiv:2209.07347. To appear in Selecta Mathematica

    arXiv

  10. [18]

    Third edition

    V.\,Kac, Infinite-dimensional Lie algebras. Third edition . Cambridge University Press, Cambridge, 1990

    1990

  11. [19]

    S.\,Kato, Frobenius Splitting of Thick Flag Manifolds of Kac–Moody Algebras, International Mathematics Research Notices, Volume 2020, Issue 17, September 2020, Pages 5401–5427

    2020

  12. [20]

    Kumar, Demazure character formula in arbitrary Kac-Moody setting

    S. Kumar, Demazure character formula in arbitrary Kac-Moody setting . Invent. Math. 89 (1987), 395–423

    1987

  13. [21]

    Progress in Mathematics Vol

    S.\,Kumar, Kac-Moody Groups, their Flag Varieties and Representation Theory . Progress in Mathematics Vol. 214, Birkhauser (2002)

    2002

  14. [22]

    V.\,Lakshmibai, P.\,Littelmann, and P.\,Magyar, Standard Monomial Theory and applications In Representation theories and algebraic geometry, pp. 319-364. Dordrecht: Springer Netherlands, 1998

    1998

  15. [23]

    P.\,Littelmann, Contracting Modules and Standard Monomial Theory for Symmetrizable Kac-Moody Algebras J. Amer. Math. Soc. 11 (1998), 551-567

    1998

  16. [24]

    Mathieu, Formules de caract\`eres pour les alg\`ebres de Kac-Moody g\'en\'erales Ast\'erisque 159-160 (1988)

    O. Mathieu, Formules de caract\`eres pour les alg\`ebres de Kac-Moody g\'en\'erales Ast\'erisque 159-160 (1988)

    1988

  17. [25]

    Russian Mathematical Surveys, 2023, Volume 78, Issue 4, Pages 794-796

    V.\,L.\,Popov, Picard group of connected affine algebraic group . Russian Mathematical Surveys, 2023, Volume 78, Issue 4, Pages 794-796. arXiv:2302.13374

    2023 arXiv

  18. [26]

    G.\,Pappas and M.\,Rapoport, Twisted loop groups and their affine flag varieties . Adv. Math. 219 (2008), no. 1, 118-198

    2008

  19. [27]

    Second edition

    T.A.\,Springer, Linear algebraic groups. Second edition . Progress in Mathematics, 9. Birkhäuser Boston, Inc., Boston, MA, 1998

    1998

  20. [28]

    https://stacks.math.columbia.edu

    The Stacks project authors, The Stacks project . https://stacks.math.columbia.edu

  21. [29]

    R.\,Steinberg, Endomorphisms of Linear Algebraic Groups , Memoirs of the American MathematicalSociety, vol. 80. American Mathematical Society, Providence (1968)

    1968

  22. [30]

    B.\,Veisfeiler and I.\,Dolgacev, Unipotent group schemes over integral rings . Izv. Akad. Nauk SSSR Ser. Mat. Tom 38 (1974), No. 4

    1974

  23. [31]

    X.\,Zhu, On the coherence conjecture of Pappas and Rapoport . Ann. of Math. (2) 180 (2014), no. 1, 1-85

    2014

  24. [32]

    X.\,Zhu, The geometric Satake correspondence for ramified groups . Ann. Sci. \'Ec. Norm. Sup\'er. (4) 48 (2015), no. 2, 409-451

    2015

  25. [33]

    Geometry of moduli spaces and representation theory, 59-154, IAS/Park City Math

    X.\,Zhu, An introduction to affine Grassmannians and the geometric Satake equivalence . Geometry of moduli spaces and representation theory, 59-154, IAS/Park City Math. Ser., 24, Amer. Math. Soc., Providence, RI, 2017

    2017

Pith tools

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