Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Tensor ideals of abelian type and quantum groups

T0 review · 3 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read A new classification identifies the tensor ideals of abelian type in quantum-group tilting categories with nilpotent orbits of the Lie algebra, after assuming a naturality conjecture about support.

desk verdict Strong framework and a plausible conditional classification, but the unconditional prime-ideal theorem rests on a degree-bound proof that looks shaky as written. read the letter →

arxiv 2511.08859 v3 pith:LKIPQTP5 submitted 2025-11-12 math.QA math.RT

Kevin Coulembier , Pavel Etingof , Victor Ostrik This is my paper · ORCID
classification math.QAmath.RT MSC 17B3718M1020G4214L30
keywords tensoridealsabeliantypetiltingmodulesquantumgroupsatrootsofunitynilpotentorbitsKazhdan-LusztigpolynomialssupportvarietiesDufloinvolutions
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 aims to classify which tensor ideals in the tilting module category of a quantum group at a root of unity arise as kernels of functors to abelian tensor categories. It proves unconditionally that every prime tensor ideal is one of the maximal ideals attached to a nilpotent orbit, and it shows that, under a naturality conjecture on how supports behave under Levi restriction, these are exactly the tensor ideals of abelian type. This gives a geometric dictionary: tensor ideals that can be realized by abelian quotients correspond one-to-one with nilpotent orbits. A reader should care because this turns an algebraic classification problem about categories into a geometry problem about orbits, and it lays groundwork for constructing new abelian tensor categories, such as higher Verlinde categories, from quantum groups.

What carries the argument

The load-bearing object is the tensor ideal I_O^max, the maximal tensor ideal whose objects are those tilting modules whose support variety is contained in the closure of a nilpotent orbit O. The paper proves these are prime via a radical-power vanishing theorem (Lemma 5.2.2), which says that the Jacobson radical of TiltU_ζ(g) satisfies R^M = 0 for M = dim N + 1. That vanishing is proved using a non-negatively graded lift of the principal block, where morphisms in positive degree form the radical, plus a theorem (4.4.3) that antispherical Kazhdan–Lusztig polynomials have degree at most the length of the longest Weyl element. The naturality conjecture (5.3.3) is the additional input that make

What would settle it

One could attempt to find a tilting module T in TiltU_ζ(g) for a simple Lie algebra of type B or G, and a Levi subalgebra l, such that supp(Res T) is strictly smaller than N(l) ∩ supp(T); that would disprove Proposition 5.3.1(2) and hence the naturality conjecture, blocking the conditional classification of abelian-type ideals. A direct computational check could be done for small rank and small ℓ using known character formulas for tilting modules.

Watch

Extended reading notes

Core claim

The central claim is that for the category TiltU_ζ(g) of tilting modules for a quantum group at a root of unity, there is a canonical bijection (conditional on the naturality conjecture) between tensor ideals of abelian type and nilpotent orbits in g. Even without that conjecture, the paper proves that the prime tensor ideals are exactly the ideals I_O = I_O^max attached to nilpotent orbits O, so that every kernel of a tensor functor to an abelian tensor category must be one of these orbit ideals. The proof relies on showing that the radical of the category vanishes in high powers, using a new degree bound for antispherical Kazhdan–Lusztig polynomials, which reduces the classification to the

Load-bearing premise

The unconditional prime-ideal classification rests on Lemma 5.2.2, which claims that the radical of TiltU_ζ(g) vanishes after M = dim N + 1 compositions; this follows from the degree bound for antispherical Kazhdan–Lusztig polynomials (Theorem 4.4.3), so if that bound fails, the classification of prime tensor ideals may collapse.

Editorial extensions

If this is right

  • If the naturality conjecture holds, the tensor ideals of abelian type in TiltU_ζ(g) are precisely I_O for O a nilpotent orbit, and each such ideal admits an abelian envelope that defines a new abelian tensor category.
  • The unconditional part shows that any tensor functor from TiltU_ζ(g) to a tensor category has kernel equal to I_O for a unique nilpotent orbit O, providing a geometric description of all possible abelian quotients.
  • The same methods classify tensor ideals of abelian type in Rep(C_p^n) and in TiltSL_3 in positive characteristic, where every prime ideal is of abelian type and abelian envelopes are explicitly identified as Verlinde categories.
  • The appendix proves several of Lusztig's Duflo-involution conjectures (P1, P2, P3, P5, P6, P13) for arbitrary Coxeter groups in the equal-parameter case without assuming boundedness, by recasting Duflo involutions in general rigid monoidal categories.
  • For rank-2 quantum groups (sl_3, so_5, G_2), the full lattice of tensor ideals is described, showing that the classification of all tensor ideals is far more complex than the prime or abelian-type ones, with infinitely many incomparable ideals in type B_2 and G_2.

Reading between the lines

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

  • The unconditional prime-ideal classification suggests that even if the naturality conjecture fails for some non-type-A case, the discrepancy will be visible in the abelian-type labels: two distinct orbits might collapse to the same abelian tensor ideal, or some prime ideal might fail to be of abelian type, giving a new invariant of quantum groups.
  • The degree bound on antispherical Kazhdan–Lusztig polynomials is likely to have independent combinatorial consequences: it implies a uniform bound on the degrees of certain parabolic Kazhdan–Lusztig polynomials, which could be tested computationally for small affine Weyl groups beyond type A.
  • The connection between Duflo involutions in monoidal categories and tensor ideals indicates that a-function and cell data could be used to read off the minimal tensor ideals in more general categories, such as the p-canonical (modular) Soergel categories mentioned in Example A.5.4.
  • If the naturality conjecture is true, then the abelian envelopes of TiltU_ζ(g)/I_O provide a family of tensor categories that generalize the Verlinde categories Ver_ζ(g) and could serve as building blocks for classifying symmetric tensor categories of moderate growth in positive characteristic.
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

3 major / 4 minor

Summary. The paper develops a general framework for tensor ideals of abelian type in rigid monoidal categories and applies it to the tilting category TiltU_ζ(g) for a quantum group at a root of unity. The main results are: (1) an unconditional classification of prime tensor ideals in TiltU_ζ(g) as the ideals I_O = I_O^max attached to nilpotent orbits O ∈ N/G (Theorem 5.2.1); (2) a conditional classification of all tensor ideals of abelian type, assuming the naturality-of-support conjecture (Theorem 5.4.3), and valid unconditionally in type A; and (3) a collection of general structural results on tensor ideals, abelian envelopes, and prime/faithfully prime ideals, with applications to finite groups, the oriented Brauer category, and reductive groups in positive characteristic. The appendix develops a theory of Duflo involutions in rigid monoidal categories and uses it to prove several of Lusztig's P1–P15 conjectures for arbitrary Coxeter groups in the equal-parameter case without the boundedness hypothesis.

Significance. If the technical gaps noted below are repaired, this would be a substantial contribution. The bijection between prime tensor ideals in TiltU_ζ(g) and nilpotent orbits is a natural and important geometric classification, and the conditional statement connecting tensor ideals of abelian type to nilpotent orbits gives a concrete route toward abelian envelopes of quantum-group tilting categories. The general framework of §2–§3, especially Theorem 2.3.2 and Proposition 2.3.3, is elegant and likely to be reused. The appendix's derivation of Duflo properties without Lusztig's boundedness assumption is a significant independent result. The finite-group classifications and the SL_3 positive-characteristic result are also valuable checkable instances of the general philosophy.

major comments (3)
  1. [§4.4.3, Theorem 4.4.3] This theorem is the load-bearing step for Lemma 5.2.2 and hence for the unconditional prime-ideal classification Theorem 5.2.1. The proof as written is not correct. The quoted relation from [So1, Theorem 5.1], m_{y,x} = v^{ℓ(w0)} n_{y,hat{x}}, implies deg m_{y,x} = ℓ(w0) + deg n_{y,hat{x}} for non-zero n_{y,hat{x}}, which is a lower bound on deg m_{y,x}, not the asserted upper bound deg m_{y,x} ≤ ℓ(w0). If the intended relation is the opposite v-power, the conclusion still does not follow without an additional bound on n. The subsequent inversion identity and contradiction argument only work once an actual upper bound on all m_{y,z} is established. Please supply the correct relation from [So1], prove the claimed boundedness of m directly, or give a complete citation for the degree bound on antispherical Kazhdan–Lusztig polynomials. Without this, Lemma 5.2.2 and Theorem 5.2.1 are not rigo
  2. [§5.2.2, Lemma 5.2.2] The reduction from arbitrary blocks to the principal block uses properties of translation functors that are stated without adequate proof or citation. Specifically, it is asserted that θ_out is faithful and sends the radical into the radical, and that θ_out of a self-map of an indecomposable tilting module is an isomorphism only if the original map is an isomorphism. These facts are plausible from known tilting-module theory, but they are not demonstrated here, and the proof only refers to '[An1, Proposition 5.6]' and '[An3, Proposition 5.2]' for special cases. Since Lemma 5.2.2 must hold for every block for Theorem 5.2.1, please expand this argument or provide precise references for the general statement.
  3. [§4.5.2, Proposition 4.5.2] The grading formula is used to identify the radical of the principal block with positive-degree morphisms. The proof invokes '[So1, Conjecture 7.1]' at the start, which is a conjecture, before switching to a 'rigorous argument' via [SVV]. Please state explicitly which parts of the proof of Proposition 4.5.2 are unconditional and which, if any, rely on a conjecture. If the intended claim is that the grading identity is fully proved by the cited references, that should be made clear; if part of the argument remains conditional, this affects Lemma 5.2.2.
minor comments (4)
  1. [§5.2.2, Lemma 5.2.2] There is a typo in the definition of M: 'M=2 dim ℓ(w0)+1' should be 'M=2ℓ(w0)+1'. The equality with dim N + 1 is correct after this correction.
  2. [§4.4.3] In the proof of Theorem 4.4.3, the operation x ↦ hat{x} is used but not defined in the paper. Please give a definition or a precise reference, since the relation m_{y,x}=v^{ℓ(w0)} n_{y,hat{x}} and the phrase 'for x in the image of hat{⋅}' need this to be checkable.
  3. [§5.1.1, Proposition 5.1.1] The notation I_O is used for a thick tensor ideal in part (3) and then reused for the maximal tensor ideal I_O^max in Theorem 5.2.1 and later. This is potentially confusing; please use a distinct notation (e.g., ar I_O or I_O^{thick}) at least at first occurrence.
  4. [§A.4.2] The formula (A.2) is stated without explaining why h_{z,x} are the same Kazhdan–Lusztig polynomials as in §4.4.1, especially because §A.4 uses the Soergel bimodule category while §4.4 uses the Hecke algebra. A short clarification would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central classification is derived from external Kazhdan-Lusztig degree bounds and an independent thick-ideal classification, not from its own conclusion.

full rationale

The paper's derivation chain is not circular. The unconditional prime-ideal classification (Theorem 5.2.1) is obtained by combining Theorem 2.3.2, Proposition 5.1.1(3), and Lemma 5.2.2; the last is a vanishing statement proved from the degree bound on antispherical Kazhdan-Lusztig polynomials (Theorem 4.4.3), whose proof relies on published work of Soergel. None of these inputs assumes the classification being proved. The thick-ideal classification used as input comes from Ostrik's 1997 paper and BKN, an independent, externally checkable result, not from the present paper's conclusion. The naturality conjecture (5.3.3) is explicitly unproved and is used only as a hypothesis for the conditional Theorem 5.4.3; it is not derived from or equivalent to the conclusion. The abelian-type assertions are established by constructing abelian envelopes (Theorems 2.4.1 and 5.4.1), not by defining the relevant ideals to be kernels by fiat. The skepticism about Theorem 4.4.3 concerns the correctness or completeness of a mathematical proof, not circularity: a gap there would undermine Lemma 5.2.2 and hence Theorem 5.2.1, but it would not make the argument reduce to its own inputs. The paper contains many self-citations, but they are to prior published work with independent content and are not used to import a uniqueness theorem or ansatz that would force the conclusion. No fitted parameter is renamed as a prediction, and no central claim is equivalent by construction to its assumptions.

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

No new entities or free parameters. The axioms are (a) the explicit naturality conjecture (flagged), (b) the degree bound on antispherical KL polynomials (new but proved using prior deep theorems), and (c) the standard imported results (abelian envelopes, graded lifts, Soergel categorification). The paper is honest about the conditional nature of the main theorem.

assumptions (3)
  • domain assumption There is no fitted data: the main theorem is conditional on Conjecture 5.3.3 (naturality of support for tilting modules w.r.t. Levi subalgebras), proven in type A (Thm 5.3.2). If this conjecture is false for general g, the bijection between abelian-type tensor ideals and nilpotent orbits may fail; t
    Conjecture 5.3.3 is explicitly stated as unresolved outside type A; it is the load-bearing hypothesis for the main classification, but the paper does not assume it silently.
  • domain assumption Degree bound: antispherical Kazhdan–Lusztig polynomials n_{y,x} for W^+ have degree ≤ ℓ(w0) = dim n^+ (Theorem 4.4.3). The proof relies on [So1] inversion formulas for spherical KL polynomials and ultimately [EW1] Hodge theory of Soergel bimodules; the argument is sketched but not fully explicit.
    This is a new theorem in the paper, but its proof depends on deep external results; it is load-bearing for Lemma 5.2.2 and hence for the unconditional prime ideal classification.
  • domain assumption No new axioms beyond standard mathematics and the standing commutativity/finiteness of the monoidal categories: the machinery of abelian envelopes from [Co3, Co4], the local abelian envelope classification, and the existence of graded lifts of Tilt^0 U_ζ(g) from [SVV, ABG] are imported.
    The paper explicitly uses results of [Co4], [SVV], [ABG], [So1], [EW1], [Os1], [Os2] without re-proving them; these are prior theorems, not ad hoc assumptions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Tensor ideals of abelian type and quantum groups." pith.science (2026). https://pith.science/paper/LKIPQTP5

@misc{pith2026251108859,
  author       = {Pith},
  title        = {Pith review of: Tensor ideals of abelian type and quantum groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LKIPQTP5}},
  note         = {Machine review of arXiv:2511.08859}
}
read the original abstract

We initiate a study of tensor ideals in linear rigid monoidal categories that are kernels of linear monoidal functors to abelian monoidal categories. We develop general methods and apply them to the category of tilting modules over quantum groups as well as to some representation categories of finite groups. In an appendix on Duflo involutions in monoidal categories, we make a connection between Duflo involutions in the affine Weyl group and tensor ideals for quantum groups, and prove some of Lusztig's conjectures for arbitrary Coxeter groups, at equal parameters, without invoking the boundedness hypothesis.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. A special class of prime ideals for infinite symmetric group algebras

    math.RT 2025-07 unverdicted novelty 7.0 of 10

    T-prime ideals in kS∞ form a semiring, equal in characteristic zero to P_{m,n}, and their annihilator map is injective for Ver_p and Ver_4.

Reference graph

Works this paper leans on

60 extracted references · 5 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Achar, W

    P.N. Achar, W. Hardesty, S. Riche: On the Humphreys conjecture on support varieties of tilting modules. Transform. Groups 24 (2019), no. 3, 597--A657

    2019

  2. [2]

    Andersen: Tensor products of quantized tilting modules

    H.H. Andersen: Tensor products of quantized tilting modules. Comm. Math. Phys. 149 (1992), no. 1, 149--159

    1992

  3. [3]

    Andersen: Cells in affine Weyl groups and tilting modules

    H.H. Andersen: Cells in affine Weyl groups and tilting modules. Representation theory of algebraic groups and quantum groups, 1--16. Adv. Stud. Pure Math., 40 Mathematical Society of Japan, Tokyo, 2004

    2004

  4. [4]

    Andersen: A sum formula for tilting filtrations

    H.H. Andersen: A sum formula for tilting filtrations. J. Pure Appl. Algebra 152 (2000), no. 1-3, 17--40

    2000

  5. [5]

    Andersen, P

    H.H. Andersen, P. Polo, K.X. Wen: Representations of quantum algebras. Invent. Math. 104 (1991), no.1, 1--59

    1991

  6. [6]

    André, B

    Y. André, B. Kahn: Nilpotence, radicaux et structures monoïdales. With an appendix by Peter O'Sullivan Rend. Sem. Mat. Univ. Padova 108 (2002), 107--291

    2002

  7. [7]

    Arkhipov, R

    S. Arkhipov, R. Bezrukavnikov, V. Ginzburg: Quantum groups, the loop Grassmannian, and the Springer resolution. J. Amer. Math. Soc. 17 (2004), no. 3, 595--678

    2004

  8. [8]

    Barrett, B.W

    J.W. Barrett, B.W. Westbury: Spherical categories. Adv. Math. 143 (1999), no. 2, 357--375

    1999

Show all 60 references
  1. [9]

    Bendel,D.K

    C.P. Bendel,D.K. Nakano, B.J. Parshall, C. Pillen: Cohomology for quantum groups via the geometry of the nullcone. Mem. Amer. Math. Soc. 229 (2014), no. 1077

    2014

  2. [10]

    Benson, P

    D. Benson, P. Etingof, V. Ostrik: New incompressible symmetric tensor categories in positive characteristic. Duke Math. J. 172 (2023), no. 1, 105--200

    2023

  3. [11]

    Bezrukavnikov: Cohomology of tilting modules over quantum groups and t-structures on derived categories of coherent sheaves

    R. Bezrukavnikov: Cohomology of tilting modules over quantum groups and t-structures on derived categories of coherent sheaves. Invent. Math. 166 (2006), no.2, 327--357

    2006

  4. [12]

    Boe, J.R

    B.D. Boe, J.R. Kujawa, D.K. Nakano: Tensor Triangular Geometry for Quantum Groups. arXiv:1702.01289

    arXiv

  5. [13]

    L. Chen, Y. Fu: An Extension of the Kazhdan-Lusztig Equivalence

  6. [14]

    Chen, H.S

    X. Chen, H.S. Hu: The boundedness of Lusztig's a-function for Coxeter groups of finite rank. arXiv:2503.06432

  7. [15]

    Collingwood, W.M

    D.H. Collingwood, W.M. McGovern: Nilpotent orbits in semisimple Lie algebras. Van Nostrand Reinhold Math. Ser., New York, 1993

    1993

  8. [16]

    Coulembier: Tensor ideals, Deligne categories and invariant theory

    K. Coulembier: Tensor ideals, Deligne categories and invariant theory. Selecta Math. (N.S.) 24 (2018), no. 5, 4659--4710

    2018

  9. [17]

    Coulembier: Monoidal abelian envelopes

    K. Coulembier: Monoidal abelian envelopes. Compos. Math. 157 (2021), no. 7, 1584--1609

    2021

  10. [18]

    Coulembier: Additive Grothendieck pretopologies and presentations of tensor categories

    K. Coulembier: Additive Grothendieck pretopologies and presentations of tensor categories. Appl. Categ. Structures 31 (2023), no. 3, Paper No. 23, 41 pp

    2023

  11. [19]

    Coulembier: Homological kernels of monoidal functors

    K. Coulembier: Homological kernels of monoidal functors. Selecta Math. (N.S.) 29 (2023), no. 2, Paper No. 24, 46 pp

    2023

  12. [20]

    Coulembier: A special class of prime ideals for infinite symmetric group algebras

    K. Coulembier: A special class of prime ideals for infinite symmetric group algebras. arXiv:2507.03309

    arXiv

  13. [21]

    Coulembier, P

    K. Coulembier, P. Etingof, V. Ostrik: On Frobenius exact symmetric tensor categories. With an appendix by A. Kleshchev. Ann. of Math. (2) 197 (2023), no. 3, 1235--1279

    2023

  14. [22]

    Coulembier, P

    K. Coulembier, P. Etingof, V. Ostrik: Asymptotic properties of tensor powers in symmetric tensor categories. Pure Appl. Math. Q. 20 (2024), no.3, 1141--1179

    2024

  15. [23]

    Coulembier, P

    K. Coulembier, P. Etingof, V. Ostrik, B. Pauwels:

  16. [24]

    Coulembier and J

    K. Coulembier and J. Flake: Towards higher Frobenius functors for symmetric tensor categories. arXiv:2405.19506

    arXiv

  17. [25]

    Deligne: Cat\'egories tannakiennes

    P. Deligne: Cat\'egories tannakiennes. The Grothendieck Festschrift, Vol. II, 111--195, Progr. Math., 87, Birkh\"auser Boston, Boston, MA, 1990

    1990

  18. [26]

    Décoppet: Higher Verlinde Categories: The Mixed Case

    T.D. Décoppet: Higher Verlinde Categories: The Mixed Case. arXiv:2407.20211

    arXiv

  19. [27]

    Deligne: La catégorie des représentations du groupe symétrique S_t , lorsque t n'est pas un entier naturel

    P. Deligne: La catégorie des représentations du groupe symétrique S_t , lorsque t n'est pas un entier naturel. Algebraic groups and homogeneous spaces, 209--273. Tata Inst. Fund. Res. Stud. Math., 19 Published for the Tata Institute of Fundamental Research, Mumbai, 2007

    2007

  20. [28]

    Donkin: On tilting modules for algebraic groups

    S. Donkin: On tilting modules for algebraic groups. Math. Z. 212 (1993), no. 1, 39--60

    1993

  21. [29]

    Drinfeld, S

    V. Drinfeld, S. Gelaki, D. Nikshych, V. Ostrik: On braided fusion categories. I. Selecta Math. (N.S.) 16 (2010), no. 1, 1--119

    2010

  22. [30]

    Elias, M

    B. Elias, M. Khovanov: Diagrammatics for Soergel categories. Int. J. Math. Math. Sci. 2010

    2010

  23. [31]

    Elias, G

    B. Elias, G. Williamson: The Hodge theory of Soergel bimodules. Ann. of Math. (2) 180 (2014), no. 3, 1089--1136

    2014

  24. [32]

    B. Elias,G. Williamson: Soergel calculus. Represent. Theory 20 (2016), 295--374

    2016

  25. [33]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych, V. Ostrik: Tensor categories. Math. Surveys Monogr., 205 American Mathematical Society, Providence, RI, 2015

    2015

  26. [34]

    Etingof, V

    P. Etingof, V. Ostrik: On semisimplification of tensor categories. Representation theory and algebraic geometry, 3--35. Trends Math. Birkhäuser/Springer, Cham, 2022

    2022

  27. [35]

    Ginzburg, S

    V. Ginzburg, S. Kumar: Cohomology of quantum groups at roots of unity. Duke Math. J. 69 (1993), no. 1, 179--198

    1993

  28. [36]

    Guilhot, J

    J. Guilhot, J. Parkinson: A proof of Lusztig's conjectures for affine type G2 with arbitrary parameters. Proc. Lond. Math. Soc. (3) 118 (2019), no. 5, 1188--1244

    2019

  29. [37]

    Hardesty: On support varieties and the Humphreys conjecture in type A

    W.D. Hardesty: On support varieties and the Humphreys conjecture in type A. Adv. Math. 329 (2018), 392--421

    2018

  30. [38]

    Heidersdorf, H

    T. Heidersdorf, H. Wenzl: Generalized negligible morphisms and their tensor ideals. Selecta Math. (N.S.) 28 (2022), no. 2, Paper No. 31

    2022

  31. [39]

    Henriques, J

    A. Henriques, J. Kamnitzer: Crystals and coboundary categories. Duke Math. J. 132 (2006), no. 2, 191--216

    2006

  32. [40]

    Jensen, G

    L.T. Jensen, G. Williamson: The p -canonical basis for Hecke algebras. Categorification and higher representation theory, 333–361. Contemp. Math., 683 American Mathematical Society, Providence, RI, 2017

    2017

  33. [41]

    Kashiwara,T

    M. Kashiwara,T. Tanisaki: Parabolic Kazhdan-Lusztig polynomials and Schubert varieties. J. Algebra 249 (2002), no. 2, 306--325

    2002

  34. [42]

    Kazhdan, G

    D. Kazhdan, G. Lusztig: Tensor structures arising from affine Lie algebras, I--IV, J. Amer. Math. Soc. 6--7 (1993--1994) 905--947, 949--1011, 335--381, 383--453

    1993

  35. [43]

    Lusztig: Cells in affine Weyl groups

    G. Lusztig: Cells in affine Weyl groups. IV. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 36 (1989), no. 2, 297--328

    1989

  36. [44]

    Lusztig: Monodromic systems on affine flag manifolds

    G. Lusztig: Monodromic systems on affine flag manifolds. Proc. Roy. Soc. London Ser. A 445 (1994), no. 1923, 231--246

    1994

  37. [45]

    Lusztig: Hecke algebras with unequal parameters

    G. Lusztig: Hecke algebras with unequal parameters. CRM Monogr. Ser., 18 American Mathematical Society, Providence, RI, 2003

    2003

  38. [46]

    Lusztig, N.H

    G. Lusztig, N.H. Xi: Canonical left cells in affine Weyl groups. Adv. in Math. 72 (1988), no. 2, 284--288

    1988

  39. [47]

    Mazorchuk, V

    V. Mazorchuk, V. Miemietz: Cell 2-representations of finitary 2-categories. Compos. Math. 147 (2011), no. 5, 1519--1545

    2011

  40. [48]

    Mazorchuk, V

    V. Mazorchuk, V. Miemietz: Additive versus abelian 2-representations of fiat 2-categories. Mosc. Math. J. 14 (2014), no. 3, 595--615, 642

    2014

  41. [49]

    Mazorchuk, S

    V. Mazorchuk, S. Ovsienko: A pairing in homology and the category of linear complexes of tilting modules for a quasi-hereditary algebra, J. Math. Kyoto Univ. 45 (2005) 711--741

    2005

  42. [50]

    Newton: Higher Verlinde categories for simple algebraic groups

    J. Newton: Higher Verlinde categories for simple algebraic groups. In preparation

  43. [51]

    Ostrik: Tensor ideals in the category of tilting modules

    V. Ostrik: Tensor ideals in the category of tilting modules. Transform. Groups 2 (1997), no.3, 279--287

    1997

  44. [52]

    Ostrik: Cohomological supports for quantum groups

    V. Ostrik: Cohomological supports for quantum groups. Funct. Anal. Appl. 32 (1998), no.4, 237--246

    1998

  45. [53]

    O'Sullivan: Super Tannakian hulls

    P. O'Sullivan: Super Tannakian hulls. arXiv:2012.15703

    2012 arXiv

  46. [54]

    Riche, G

    S. Riche, G. Williamson: Tilting modules and the p-canonical basis. Astérisque No. 397 (2018)

    2018

  47. [55]

    P. Shan, M. Varagnolo, E. Vasserot: Koszul duality of affine Kac-Moody algebras and cyclotomic rational double affine Hecke algebras. Adv. Math. 262 (2014), 370--435

    2014

  48. [56]

    Soergel: Kazhdan-Lusztig polynomials and a combinatoric for tilting modules

    W. Soergel: Kazhdan-Lusztig polynomials and a combinatoric for tilting modules. Represent. Theory 1 (1997), 83--114

    1997

  49. [57]

    Soergel: Character formulas for tilting modules over Kac-Moody algebras

    W. Soergel: Character formulas for tilting modules over Kac-Moody algebras. Represent. Theory 2 (1998), 432--448

    1998

  50. [58]

    Soergel: Kazhdan-Lusztig-Polynome und unzerlegbare Bimoduln über Polynomringen

    W. Soergel: Kazhdan-Lusztig-Polynome und unzerlegbare Bimoduln über Polynomringen. J. Inst. Math. Jussieu 6 (2007), no. 3, 501--525

    2007

  51. [59]

    Stroiński: Identity in the presence of adjunction

    M. Stroiński: Identity in the presence of adjunction. International Mathematics Research Notices, Volume 2024, Issue 18, 12711--12745

    2024

  52. [60]

    Stroppel: Untersuchungen zu den parabolischen Kazhdan-Lusztig-Polynomen f\"ur affine Weyl-Gruppen

    C. Stroppel: Untersuchungen zu den parabolischen Kazhdan-Lusztig-Polynomen f\"ur affine Weyl-Gruppen. Masters Thesis. available at https://www.math.uni-bonn.de/ag/stroppel/arbeit\_Stroppel.pdf

Pith tools

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