Pith. sign in

REVIEW 7 minor 46 references

Center of Kostant algebra

T0 review · 0 major / 7 minor · reviewed 2026-08-04 · deepseek-v4-flash

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

Pith's one-line read The center of every Kostant algebra is exactly the subalgebra generated by two copies of the Harish-Chandra center, with spectrum a graph of weight shifts.

desk verdict A clean, honest specialization of Muić–Savin that gives the center of Kostant algebras explicitly; the value is in the concrete spectrum and the sl2 example, not in a new theorem. read the letter →

arxiv 2509.20159 v2 pith:VXYBZ2FI submitted 2025-09-24 math.RT

Tamás Hausel This is my paper · ORCID
classification math.RT MSC 17B1017B3522E46
keywords KostantalgebrafilteredmediumHarish-ChandracenterVermamodulesprincipalseriesHitchinsystemLanglandsdualityweightgraph
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

For a semisimple complex Lie algebra and a finite-dimensional irreducible representation V_μ, the Kostant algebra R_μ(g) is the algebra of g-invariant operators on U(g)⊗End(V_μ). This paper proves that its center is generated by the Harish-Chandra center Z(g) together with its diagonal image δ(Z(g)), and that the spectrum of this center is the set of pairs ([λ],[λ+μ_i]) where μ_i runs over the weights of V_μ. So the center, and with it the pattern of tensor products of Verma modules with V_μ, can be read directly from the weight set. The proof transfers a known center computation for Harish-Chandra modules to the complex Lie algebra case, and the paper works out an explicit sl_2 example and relates the result to principal series representations and Langlands duality.

What carries the argument

The diagonal embedding δ:U(g)→U(g)⊗End(V_μ), δ(x)=x⊗1+1⊗π_μ(x), cuts out R_μ(g) as the commutant of δ(U(g)). The proof's key machinery is the filtered medium algebra Z_μ(g)=⟨Z(g)⊗δ(Z(g))⟩ and its comparison with the Harish-Chandra center via the Iwasawa decomposition of the complexified Lie algebra g_C. This identifies R_μ(g) with a Hecke algebra quotient, embeds Z_μ(g) into C[h*⊕h*]^{W•×W•}, and pins the image to functions on the union of affine hyperplanes λ↦(λ,λ+μ_i). The same identification transfers the known computation of the center of the Harish-Chandra category to this setting.

What would settle it

Take g=sl_3 and μ the 8-dimensional adjoint representation, whose zero weight has multiplicity two. Compute the center of R_μ directly from the definition—solving for g-invariants in U(g)⊗End(V_μ) in low filtered degrees—and compare with the predicted algebra Z_μ generated by Z(g) and δ(Z(g)). A single central element outside Z_μ, or a spectrum point not of the form ([λ],[λ+μ_i]), would refute the theorem.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.2: for every dominant weight μ, the filtered medium algebra Z_μ(g)—the subalgebra of R_μ(g) generated by Z(g) and δ(Z(g))—coincides with the full center Z(R_μ(g)). Moreover, the spectrum of this center is explicitly {([λ]_•,[λ+μ_i]_•) : λ∈h*, μ_i∈S_μ} inside Spec(Z(g))×Spec(Z(g)). In other words, all central elements arise from two commuting copies of the Harish-Chandra center, and they are exactly the functions that vanish on the graph of weight shifts. As a consequence, for a fixed infinitesimal character λ, the fiber R_{μ,χ}(g) is the endomorphism algebra of M_λ⊗V_μ in category O, so the theorem makes the set of infinitesimal characters appearing in such ten

Load-bearing premise

The argument rests on Lemma 1.4, which identifies the Kostant algebra R_μ(g) with a Hecke algebra quotient built from the Iwasawa decomposition of g_C and the Chevalley anti-involution; if this identification is not an isomorphism, the computed center belongs to a different algebra and the theorem does not describe R_μ(g).

Editorial extensions

If this is right

  • The center of R_μ(g) is generated by Z(g) and δ(Z(g)); to know it one only needs the weight set of V_μ.
  • For a fixed central character χ, the fiber R_{μ,χ}(g) is End_O(M_λ⊗V_μ), so the spectrum lists the infinitesimal characters in M_λ⊗V_μ; for dominant λ this yields the decomposition into Verma modules and projective indecomposables.
  • The center of the Harish-Chandra category for a complex semisimple Lie group is the inverse limit of these centers, giving a full description as W•-invariant functions on the union of weight graphs.
  • Passing to the associated graded, the center of the corresponding Kirillov algebra contains the graded medium algebra, and the sl_2 example gives an explicit model of the SL_2 Hitchin system as intersecting parabolas.
  • Principal series representations with Hom(V_μ,X)≠0 are parameterized by points of Spec(Z_μ), connecting the result to the complex place of the local Langlands program.

Reading between the lines

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

  • The theorem reduces center computation to a finite set of weight lines, suggesting an algorithmic route: fix generators of Z(g), impose the vanishing conditions Q(λ,λ+μ_i)=0, and eliminate; the sl_2 example indicates the output can be a principal ideal, and one could test whether complete-intersection presentations persist in higher rank.
  • Combined with the known criterion that R_μ is commutative exactly when V_μ is weight-multiplicity-free, the spectrum gives a quick test: in that case the filtered medium algebra should exhaust R_μ, and the graph must carry enough functions to separate all invariant operators.
  • The link to Langlands duality is conjectural; if medium algebras model the mirror of the universal bundle on the Hitchin section, then Theorem 1.2 supplies the filtered version of that support. A concrete next step would be to compute Spec(Z_μ) for minuscule μ in type A and compare it with the upward-flow locus used in the motivativing mirror-symmetry construction.
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

0 major / 7 minor

Summary. The paper studies Kostant's strongly commuting algebra R_μ(g) = (U(g) ⊗ End(V_μ))^g and its center. It defines the filtered medium algebra Z_μ(g), generated over Z(g) by δ(Z(g)), and proves in Theorem 1.2 that Z_μ(g) = Z(R_μ(g)) and that Spec(Z_μ(g)) is the reduced subscheme with C-points {([λ]_•, [λ+μ_i]_•) : λ ∈ h*, μ_i ∈ S_μ}. The proof follows Muić–Savin [MS08]: via the Iwasawa decomposition and the Chevalley anti-involution, the Kostant algebra R_{μ*}(g) is identified with the Hecke algebra of [MS08]; then the Duflo–Joseph theorem, Lepowsky's kernel identification, Kostant's freeness theorem, and Bernstein–Gelfand's principal-series results give the injection and surjection. The paper also gives an associated-graded statement, a fully worked out sl2 example, and a speculative section relating the algebras to Langlands duality and Hitchin systems.

Significance. The main theorem gives an explicit description of the center of every Kostant algebra, with direct consequences for tensor products of Verma modules and for principal series representations. The result is largely a specialization of [MS08], but the bridge to Kostant algebras via Lemma 1.4 is a useful and nontrivial contribution, and the explicit spectrum statement is new in this form. The sl2 example is concrete and independently checkable. The proof is honest about its external dependencies, and the paper does not rely on its own prior work for the central claim; the self-citations are motivational rather than load-bearing. If the result is correct, it should be useful both in representation theory and in the geometric/Langlands context sketched in Section 4.

minor comments (7)
  1. [§1, proof of Theorem 1.2, (1.24)] The surjectivity of the restriction map (1.24) is load-bearing and is asserted without proof. It is true: eV_μ is a finite union of affine hyperplanes, hence closed, and the quotient map h*×h* → h*/W• × h*/W• is finite, so the image of eV_μ is closed; therefore C[h*/W• × h*/W•] surjects onto C[eV_μ]^{W•×W•}. The paper should state this one-line justification.
  2. [§1, Lemma 1.4] In the second equality of (1.16), the surjectivity of π: U(g_C)^k → (U(g_C) ⊗_{U(k)} End(V_μ))^k uses exactness of taking k-invariants on locally finite modules. This is standard but should be mentioned, since it is the step that identifies the Hecke algebra with the Kostant algebra.
  3. [§1, Theorem 1.2] The theorem is stated for R_μ(g), but the proof is written for R_{μ*}(g) via Lemma 1.4. Since μ ↦ μ* is a bijection this is harmless, but an explicit sentence saying that one applies the result to the dual weight would improve readability.
  4. [Throughout] Typographical and notation issues: 'Theorem 1.2.1' should be 'Theorem 1.2(1)'; 'discrimant locus' → 'discriminant locus'; 'infitesimal characters' → 'infinitesimal characters'; 'incidently' → 'incidentally'; 'Bialinicky-Birula' → 'Białynicki-Birula'.
  5. [§3] The passage to Rozhkovskaya's coordinates involves an unspecified rescaling of M1 and C2; the relation between the explicit factors displayed before and after the rescaling (which differ by factor 2 in some terms) should be stated explicitly.
  6. [§2] The notation M_μ(g) for the graded medium algebra conflicts visually with the Verma module notation M_λ used elsewhere. A different symbol, e.g. M_μ^{gr}(g), would avoid confusion.
  7. [§1, Lemma 1.1] In the dimension count (1.6), the equality dim((U_χ ⊗ End(V_μ))^g) = Σ_λ (m_μ^λ)^2 is asserted as 'straightforward'. It would be helpful to spell out the use of the decomposition U(g) ≅ Z(g) ⊗ H(g) and the decomposition of H(g) into simple g-modules.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central theorem is derived from external benchmarks (Muić–Savin, Bernstein–Gelfand, Duflo, Higson, Lepowsky), with self-citations only motivational.

full rationale

The paper's main claim, Theorem 1.2, identifies the filtered medium algebra Z_mu(g) with the center of the Kostant algebra R_mu(g). This is not true by definition: Z_mu(g) is explicitly introduced as the Z(g)-subalgebra generated by Z(g) and delta(Z(g)), and the proof that this subalgebra exhausts the center is imported from Muić–Savin's center computation for Hecke algebras, via Lemma 1.4 and Proposition 1.6. Lemma 1.4, identified by the reader as the weakest assumption, is itself derived from Lepowsky, Higson, Dixmier, and Wallach, not from the author's prior work. The self-citations (HH22, Hau23, Hau24a, Hau24b) appear only in the introduction and Section 4 as motivation and context; none of them supplies a load-bearing step in the proof of the center computation. There is no fitted parameter renamed as a prediction, no uniqueness theorem imported from the authors' own prior work, and no ansatz smuggled in via self-citation. The remark that Corollary 1.9 is [MS08, Theorem 2] specialised to the complex Lie algebra case is an honest acknowledgement that the result is a transfer of a known external theorem, not a circular reuse of the paper's own output. Overall, the derivation chain is self-contained with respect to the stated external results, and no circular step can be exhibited.

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

The central claim rests on standard results from enveloping algebra theory and the representation theory of real reductive groups: the Duflo-Joseph theorem, Kostant's freeness theorem, and crucially the Muic-Savin computation of centers of Hecke algebras, which this note specialises to the complex case via Higson's identification. No new entities are introduced.

assumptions (5)
  • standard math Duflo-Joseph theorem: U_{chi_lambda} is isomorphic to Hom_fin(M_lambda, M_lambda)
    Used in (1.9) to identify the fiber of the Kostant algebra with the endomorphism algebra of M_lambda tensor V_mu.
  • standard math Kostant freeness: U(g) is a free Z(g)-module
    Used in Lemma 1.1 (equation 1.7) to compute dimensions of the fiber R_mu_chi(g).
  • domain assumption Muic-Savin theorem on centers of Hecke algebras for quasi-split real groups, specialised to complex Lie groups
    The main proof follows MS08; the paper directly uses their results and methods to compute the center of the Hecke algebra corresponding to the Kostant algebra.
  • standard math Bernstein-Gelfand [BG80] Theorems 2.5 and 6.7 on tensor products and linkage
    Used in Proposition 1.6 and Remark 1.3 to identify the spectrum and the ideal I_mu.
  • domain assumption Higson's identification [Hig11, Prop 2.13] of Kostant algebras with Hecke algebras
    This is the bridge between Kostant algebras and MS08's Hecke algebras, formalised in Lemma 1.4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Center of Kostant algebra." pith.science (2026). https://pith.science/paper/VXYBZ2FI

@misc{pith2026250920159,
  author       = {Pith},
  title        = {Pith review of: Center of Kostant algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VXYBZ2FI}},
  note         = {Machine review of arXiv:2509.20159}
}
read the original abstract

In this note, following Mui\'c-Savin, we compute the center of Kostant algebra, introduced by Kostant in 1975 as strongly commuting algebra. We explain how it encodes information on tensor products between a finite-dimensional and a Verma module, and about the structure of principal series representations via the work of Bernstein-Gelfand. We also discuss conjectured relationships to Langlands duality.

Figures

Figures reproduced from arXiv: 2509.20159 by the authors.

Figure 1
Figure 1. The parameter space V 5ϖ1 [PITH_FULL_IMAGE:figures/full_fig_p013_1.png] view at source ↗
Figure 2
Figure 2. Spec(Z 5ϖ1 (sl2)). From [PITH_FULL_IMAGE:figures/full_fig_p013_2.png] view at source ↗
Figure 3
Figure 3. Spec(Z 5ϖ1 (sl2)) [PITH_FULL_IMAGE:figures/full_fig_p015_3.png] view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: Spec(M5ϖ1 (sl2)). parabolas correspond to finite-dimensional irreducible representations of sl2 × sl2, while the other point at the resolution of the intersection corresponds to an infinite-dimensional simple principal series representation which contains this finite-d…
Figure 5
Figure 5. Figure 5: Spec(Z(sl2 × sl2, sl2) −). 4 Conjectural relationships with Langlands duality The study of big and medium algebras [Hau24a] was motivated by mirror symmetry consid￾erations in [HH22, Hau23, Hau22, Hau24b]. In the semi-classical limit [DP12] the geometric Langlands corr…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

46 extracted references · 1 linked inside Pith

  1. [1]

    A. A. Beilinson and V. G. Drinfeld. Quantization of Hitchin 's fibration and Langlands program. In Algebraic and geometric methods in mathematical physics. Proceedings of the 1st Ukrainian-French-Romanian summer school, Kaciveli, Ukraine, September 1-14, 1993 , pages 3--7. Dordrecht: Kluwer Academic Publishers, 1996

    1993

  2. [2]

    J. N. Bernstein and S. I. Gelfand. Tensor products of finite- and infinite-dimensional representations of semisimple Lie algebras. Compos. Math. , 41:245--285, 1980

    1980

  3. [3]

    Champetier and P

    C. Champetier and P. Delorme. Sur les repr\'esentations des groupes de d\'eplacements de C artan. J. Functional Analysis , 43(2):258--279, 1981

    1981

  4. [4]

    J. Dixmier. Enveloping algebras , volume 11 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 1996. Revised reprint of the 1977 translation

    1996

  5. [5]

    Donagi and T

    R. Donagi and T. Pantev. Langlands duality for H itchin systems. Invent. Math. , 189(3):653--735, 2012

    2012

  6. [6]

    M. Duflo. Caract\`eres des groupes et des alg\`ebres de L ie r\' e solubles. Ann. Sci. \' E cole Norm. Sup. (4) , 3:23--74, 1970

    1970

  7. [7]

    P. Etingof. https://amathr.org/books/books_etingof_2/ Representations of Lie groups , volume 5 of AMR Book Series . Association for Mathematical Research, 2024

    2024

  8. [8]

    D. Fang. On F ourier- M ukai transforms of upward flows for H itchin systems, 2025. arXiv:2504.04309 https://arxiv.org/abs/2504.04309

    arXiv 2025

Show all 46 references
  1. [9]

    Feigin and E

    B. Feigin and E. Frenkel. Affine K ac- M oody algebras at the critical level and G elfand- D ikii algebras. In Infinite analysis, P art A , B ( K yoto, 1991) , volume 16 of Adv. Ser. Math. Phys. , pages 197--215. World Sci. Publ., River Edge, NJ, 1992

    1991

  2. [10]

    Feigin, E

    B. Feigin, E. Frenkel, and V. Toledano Laredo. Gaudin models with irregular singularities. Adv. Math. , 223(3):873--948, 2010

    2010

  3. [11]

    Gr \"o chenig, D

    M. Gr \"o chenig, D. Wyss, and P. Ziegler. Geometric stabilisation via p -adic integration. J. Amer. Math. Soc. , 33(3):807--873, 2020

    2020

  4. [12]

    Gr \"o chenig, D

    M. Gr \"o chenig, D. Wyss, and P. Ziegler. Mirror symmetry for moduli spaces of H iggs bundles via p-adic integration. Invent. Math. , 221(2):505--596, 2020

    2020

  5. [13]

    T. Hausel. Global topology of the H itchin system . In Handbook of moduli. V ol. II , volume 25 of Adv. Lect. Math. (ALM) , pages 29--69. Int. Press, Somerville, MA, 2013

    2013

  6. [14]

    T. Hausel. Enhanced mirror symmetry for Langlands dual Hitchin systems https://www.youtube.com/watch?v=j6aahkHsVU4. (talk at International Congress of Mathematicians ), 2022

    2022

  7. [15]

    T. Hausel. Enhanced mirror symmetry for L anglands dual H itchin systems . In I CM --- I nternational C ongress of M athematicians. V ol. 3. S ections 1--4 , pages 2228--2249. EMS Press, Berlin, [2023] 2023

    2023

  8. [16]

    T. Hausel. Commutative avatars of representations of semisimple L ie groups. Proc. Natl. Acad. Sci. USA , 121(38), 2024

    2024

  9. [17]

    T. Hausel. Mirror symmetry and big algebras https://hausel.pages.ist.ac.at/749-2/. (minicourse at 2nd Simons Summer Math Workshop, Simons Center for Geometry and Physics, Stony Brook, July 2024 ), 2024

    2024

  10. [18]

    Representations of semisimple L ie groups

    Harish-Chandra. Representations of semisimple L ie groups. II . Trans. Amer. Math. Soc. , 76:26--65, 1954

    1954

  11. [19]

    Hausel and N

    T. Hausel and N. J. Hitchin. Very stable H iggs bundles, equivariant multiplicity and mirror symmetry . Invent. Math. , 228(2):893--989, May 2022

    2022

  12. [20]

    N. Higson. On the analogy between complex semisimple groups and their C artan motion groups. In Noncommutative geometry and global analysis , volume 546 of Contemp. Math. , pages 137--170. Amer. Math. Soc., Providence, RI, 2011

    2011

  13. [21]

    N. Hitchin. Stable bundles and integrable systems. Duke Math. J. , 54:91--114, 1987

    1987

  14. [22]

    N. Hitchin. Lie groups and Teichm \"u ller space. Topology , 31(3):449--473, 1992

    1992

  15. [23]

    Hausel and J

    T. Hausel and J. L\"owit. Equivariant K -theory and quantum category O . (in preparation), 2025

    2025

  16. [24]

    Hausel and M

    T. Hausel and M. Thaddeus. Mirror symmetry, L anglands duality, and the H itchin system . Invent. Math. , 153(1):197--229, 2003

    2003

  17. [25]

    J. E. Humphreys. Representations of semisimple Lie algebras in the BGG category \( O\) , volume 94 of Grad. Stud. Math. Providence, RI: American Mathematical Society (AMS), 2008

    2008

  18. [26]

    J. C. Jantzen. Einh\"ullende A lgebren halbeinfacher L ie- A lgebren , volume 3 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)] . Springer-Verlag, Berlin, 1983

    1983

  19. [27]

    A. Joseph. Modules for relative Y angians (family algebras) and K azhdan- L usztig polynomials. Transform. Groups , 19(1):105--129, 2014

    2014

  20. [28]

    A. A. Kirillov. Family algebras. Electron. Res. Announc. Amer. Math. Soc. , 6:7--20, 2000

    2000

  21. [29]

    B. Kostant. Lie group representations on polynomial rings. Amer. J. Math. , 85:327--404, 1963

    1963

  22. [30]

    B. Kostant. On the tensor product of a finite and an infinite dimensional representation. J. Funct. Anal. , 20:257--285, 1975

    1975

  23. [31]

    Knapp, A and D

    W. Knapp, A and D. A. Vogan, Jr. Cohomological induction and unitary representations , volume 45 of Princeton Mathematical Series . Princeton University Press, Princeton, NJ, 1995

    1995

  24. [32]

    G. Laumon. Correspondance de L anglands g\'eom\'etrique pour les corps de fonctions. Duke Math. J. , 54(2):309--359, 1987

    1987

  25. [33]

    G. Laumon. Un analogue global du cône nilpotent . Duke Mathematical Journal , 57(2):647 -- 671, 1988

    1988

  26. [34]

    Lepowsky

    J. Lepowsky. Algebraic results on representations of semisimple L ie groups. Trans. Amer. Math. Soc. , 176:1--44, 1973

    1973

  27. [35]

    Lepowsky and G

    J. Lepowsky and G. W. McCollum. On the determination of irreducible modules by restriction to a subalgebra. Trans. Amer. Math. Soc. , 176:45--57, 1973

    1973

  28. [36]

    Laumon and B

    G. Laumon and B. C. Ng\^o. Le lemme fondamental pour les groupes unitaires. Ann. of Math. (2) , 168(2):477--573, 2008

    2008

  29. [37]

    Mui\'c and G

    G. Mui\'c and G. Savin. The center of the category of ( g ,K) -modules. Trans. Amer. Math. Soc. , 360(6):3071--3092, 2008

    2008

  30. [38]

    Maulik and J

    D. Maulik and J. Shen. Endoscopic decompositions and the H ausel- T haddeus conjecture. Forum Math. Pi , 9:Paper No. e8, 49, 2021

    2021

  31. [39]

    B. C. Ng \^ o . Le lemme fondamental pour les alg\`ebres de L ie. Publ. Math. Inst. Hautes \'Etudes Sci. , 111:1--169, 2010

    2010

  32. [40]

    M. S. Narasimhan and S. Ramanan. Geometry of H ecke cycles. I . In C. P . R amanujam---a tribute , volume 8 of Tata Inst. Fundam. Res. Stud. Math. , pages 291--345. Springer, Berlin-New York, 1978

    1978

  33. [41]

    K. R. Parthasarathy, R. Ranga Rao, and V. S. Varadarajan. Representations of complex semi-simple L ie groups and L ie algebras. Ann. of Math. (2) , 85:383--429, 1967

    1967

  34. [42]

    Rozhkovskaya

    N. Rozhkovskaya. Commutativity of quantum family algebras. Lett. Math. Phys. , 63(2):87--103, 2003

    2003

  35. [43]

    Strominger, S.-T

    A. Strominger, S.-T. Yau, and E. Zaslow. Mirror symmetry is T -duality. Nuclear Phys. B , 479(1-2):243--259, 1996

    1996

  36. [44]

    Sun and Y

    B. Sun and Y. Zhao. Descriptions of strongly multiplicity free representations for simple L ie algebras. J. Algebra , 644:655--689, 2024

    2024

  37. [45]

    J. Troost. Models for modules: the story of \( O\) . J. Phys. A, Math. Theor. , 45(41):18, 2012. Id/No 415202

    2012

  38. [46]

    N. R. Wallach. Real reductive groups. I , volume 132 of Pure and Applied Mathematics . Academic Press, Inc., Boston, MA, 1988

    1988

Pith tools

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