Cyclotomic quiver Hecke algebras corresponding to minuscule representations

Euiyong Park

REVIEW 3 major objections 4 minor 18 references

Cyclotomic quiver Hecke algebras corresponding to minuscule representations

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

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

Pith's one-line read For every minuscule representation of finite type, the corresponding cyclotomic quiver Hecke algebra is given an explicit basis; in type $B_n$ the basis is indexed by pairs of shifted standard tableaux.

desk verdict Plausible new type-B basis for cyclotomic quiver Hecke algebras, but the main proof leaves simplicity of the constructed module unproved. read the letter →

arxiv 1909.00313 v3 pith:HR6KVPTJ submitted 2019-09-01 math.RT math.CO

Euiyong Park This is my paper · ORCID

classification math.RTmath.CO MSC 16G1017B3705E10

keywords categorificationcyclotomicquiverHeckealgebrasminusculerepresentationsquantumgroupsshiftedYoungtableauxcrystalbaseshomogeneousextremalweights

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 give, for each minuscule representation of a finite-type quantum group, an explicit linear basis of the associated cyclotomic quiver Hecke algebra at every extremal weight. For the simply-laced types $A_n$, $D_n$, $E_6$, $E_7$ and for $C_n$, the basis is described through paths in the crystal graph; the new case is type $B_n$, where the basis is indexed by pairs of shifted standard Young tableaux of a strict partition. These algebras categorify irreducible highest weight modules—their Grothendieck groups recover the modules—so an explicit basis turns the categorical structure into concrete linear algebra: dimensions become sums of squares of tableau numbers, and induction and restriction can be read off from the crystal. The proof works by constructing a simple module $S(b)$ combinatorially and identifying the algebra with its endomorphism ring.

What carries the argument

The load-bearing object is the shifted-tableau module $S(b)$. Here a strict partition $\lambda=(\lambda_1>\lambda_2>\cdots>0)$ with $\lambda_1\le n$ is converted into a weight $\Lambda_1-\sum_{b\in\lambda}\alpha_{\mathrm{res}(b)}$, and Lemma 3.2 proves that this gives a bijection from the set $P_n$ of such partitions to the crystal $B(\Lambda_1)$. Standard tableaux of shape $\lambda_b$, identified in Remark 3.3 with paths on the crystal from the highest weight to $b$, then span $S(b)$; the residue of the box filled with $k$ records the $k$-th label in the path. The proof that the actions (3.3) satisfy the quiver Hecke relations is what makes $S(b)$ homogeneous, and the identification $R^{\Lambda_1}(\xi)\cong\mathrm{End}_k(S(b))$ converts the spanning set of matrix units $c_{T,S}$ into a basis.

What would settle it

For type $B_2$, take the strict partition $\lambda_b=(2,1)$, for which the claimed basis of $R^{\Lambda_1}(\Lambda_1-2\alpha_1-\alpha_2)$ has four elements. Compute this algebra directly from the quiver Hecke presentation: if the four elements $c_{T,S}$ are linearly dependent, or if the endomorphism ring of $S(b)$ has dimension different from $4$, then Theorem 3.4(4) is false.

Watch

Extended reading notes

Core claim

On its own terms, the paper establishes that if $\Lambda_i$ is a minuscule weight, $b$ is a vertex of the crystal $B(\Lambda_i)$, and $\xi=\mathrm{wt}(b)$, then the cyclotomic quiver Hecke algebra $R^{\Lambda_i}(\xi)$ has an explicit basis. The novel case is type $B_n$: for $\Lambda_1$, strict partitions $\lambda$ with $\lambda_1\le n$ are put in bijection with the Weyl orbit $W\cdot\Lambda_1$ by the weight map $\lambda\mapsto\Lambda_1-\sum_{b\in\lambda}\alpha_{\mathrm{res}(b)}$, with $\mathrm{res}(i,j)=j-i+1$. The module $S(b)=\bigoplus_{T\in ST(\lambda_b)}kT$ carries the quiver Hecke actions $e(\nu)T=\delta_{\nu,\mathrm{res}(T)}T$, $x_iT=0$, and $\tau_jT=s_jT$ when $s_jT$ is standard (and $0$ otherwise); the paper proves these actions satisfy the defining relations, so $S(b)$ is a homogeneous $R^{\Lambda_1}(\xi)$-module. Because every weight in a minuscule crystal is extremal, $R^{\Lambda_1}(\xi)$ is simple and hence isomorphic to $\mathrm{End}_k(S(b))$, so the elements $c_{T,S}=e(\mathrm{res}(T))\tau_{w_{T,S}}e(\mathrm{res}(S))$ for $T,S\in ST(\lambda_b)$ form a $k$-basis. A corollary is that $R^{\Lambda_1}_{B_n}(m)\cong R^{\Lambda_1}_{D_{n+1}}(m)\cong R^{\Lambda_2}_{D_{n+1}}(m)$ for $n\ge2$ and $m\ge0$.

Load-bearing premise

The load-bearing premise is that the explicitly defined tableau module $S(b)$ is genuinely simple and is the unique simple head of the induced module; the paper checks the defining relations directly but relies on a head-and-dimension argument for irreducibility, so if that module had a proper submodule the basis claim would not follow.

Editorial extensions

If this is right

Dimensions at each weight become tableau numbers: for type $B_n$, $\dim R^{\Lambda_1}(\xi)=|ST(\lambda_b)|^2$, and at level $m$ the total dimension is $\sum_{\lambda\in P_n,\,|\lambda|=m}|ST(\lambda)|^2$.
The isomorphisms $R^{\Lambda_1}_{B_n}(m)\cong R^{\Lambda_1}_{D_{n+1}}(m)\cong R^{\Lambda_2}_{D_{n+1}}(m)$ identify the cyclotomic algebras of types $B_n$ and $D_{n+1}$ at minuscule weights, so their module categories and representation types coincide.
Induction and restriction follow the crystal: $\mathrm{Ind}^{m+1}_m S(b)\cong\bigoplus_{\widetilde{f}_i b\ne0}S(\widetilde{f}_i b)$ and $\mathrm{Res}^m_{m-1}S(b)\cong\bigoplus_{\widetilde{e}_i b\ne0}S(\widetilde{e}_i b)$.
Combined with the ADE and $C_n$ cases, every finite-type minuscule representation ($A_n$, $B_n$, $C_n$, $D_n$, $E_6$, $E_7$) now has an explicit basis for the corresponding cyclotomic quiver Hecke algebra.

Reading between the lines

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

The pair-of-tableaux indexing is the usual footprint of a cellular basis; one check the paper does not perform is whether the $c_{T,S}$ form cells for $R^{\Lambda_1}_{B_n}(m)$, which would yield explicit primitive idempotents.
Remark 3.1 describes the residues as a limit of the level-two residues of [1], which suggests the shifted-tableau construction could deform to higher-level cyclotomic algebras, where extremal simplicity no longer holds but a similar combinatorial module may still exist.
A testable extension is to compute the graded dimension of $R^{\Lambda_1}_{B_n}(m)$ from the homogeneous basis and compare it with the $q$-analogue $\sum_{\lambda}\sum_{T\in ST(\lambda)}q^{d(T)}$; matching a known Poincaré series would confirm that the homogeneous grading is the natural one.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Dear colleague,

Quick take: this paper constructs an explicit basis for the cyclotomic quiver Hecke algebra R^{Λ_1}(ξ) of type B_n indexed by pairs of shifted standard tableaux, and derives isomorphisms between B_n and D_{n+1} blocks. The ADE and C statements are mostly repackaging of Kleshchev–Ram's homogeneous representations and Stembridge's minuscule-element results, with C_n essentially trivial. The genuinely new piece is the type B_n shifted-tableau module S(b) and the bijection between strict partitions and the spin crystal. That part is a real contribution, worth refereeing.

What the paper does well: the combinatorial setup is clean, the residue-pattern verification of the KLR relations is painstaking, and the corollary on B_n ≅ D_{n+1} blocks is a nice consequence.

Where it falls short: the proof that S(b) is simple is not there. Theorem 3.4(1) checks the defining relations, which only shows S(b) is a module. The intended proof of simplicity sits in part (2), which uses a head argument. There are two problems. First, a surjection M ↠ Q only gives dim(eQ) ≤ dim(eM)=1, not equality; the paper asserts equality for every quotient without justification. Second, even if M has a unique simple head H, a quotient S(b) of M need not be isomorphic to H — it could have a nontrivial radical. Since part (4) invokes simplicity to identify R^{Λ_1}(ξ) with End_k(S(b)) and thereby obtain the basis, the main basis theorem is not established by the written argument.

I'm not saying the result is false. The construction is plausible and the shifted-tableau combinatorics strongly suggests the module is irreducible. But the current text gives a referee no way to verify the load-bearing step. The fix might be straightforward — show the e-weight vector generates S(b) and use the shuffle lemma to show any nonzero submodule intersects that weight space — but it has to be written.

Net: this is a serious paper with a gap. A good referee should not desk-reject it; it should go to review with a request for a complete simplicity argument. If the gap is fixable, the basis theorem and the B_n/D_{n+1} isomorphisms are solid, publishable results.

Best.

Referee Report

3 major / 4 minor

Summary. The paper studies cyclotomic quiver Hecke algebras R^Λ(ξ) attached to minuscule representations of finite type. In the ADE cases, the author constructs a module S(b) indexed by crystal paths and, using Kleshchev–Ram's homogeneous representation theory plus Stembridge's results on minuscule elements, proves that R^Λ(ξ) has a basis indexed by pairs of such paths. For type C_n, the author asserts that the relevant cyclotomic algebra is isomorphic to the ground field. The main new contribution is type B_n: using the set of standard tableaux of strict partitions, the author defines a module S(b) over R^{Λ_1}(ξ), claims it is a homogeneous simple module, and derives a basis indexed by pairs of shifted standard tableaux. The paper also derives algebra isomorphisms between the type B_n and type D_{n+1} cyclotomic algebras and gives a dimension formula in terms of shifted tableaux.

Significance. If established, the result would give a clean, combinatorial description of the cyclotomic quiver Hecke algebras in the minuscule cases, connecting them to shifted Young tableaux and fully commutative elements. The B_n construction is the main novelty, and the claimed isomorphisms with D_{n+1} are interesting. The ADE part appears to be a straightforward application of known results, and the C_n part is simple if the module verification succeeds. However, the proof of the key simplicity statement for the B_n modules is incomplete, so the main theorem is not yet justified.

major comments (3)

[3.2, Theorem 3.4(1)] Theorem 3.4(1) asserts that S(b) is a homogeneous simple R^{Λ_1}(ξ)-module, but the proof verifies only that the KLR defining relations hold on S(b); this establishes that S(b) is an R-module, not that it is irreducible. No argument is given to show that S(b) has no nonzero proper submodules. Since the subsequent identification of R^{Λ_1}(ξ) with End_k(S(b)) in the proof of Theorem 3.4(4) uses Proposition 2.5 and therefore requires S(b) to be absolutely simple, the basis C(b) is not justified by the written proof.
[3.2, Theorem 3.4(2)] The head argument in the proof of Theorem 3.4(2) contains two gaps. First, from dim eM = 1 with M = S(λ_ℓ)∘...∘S(λ_1), the natural surjection M ↠ Q gives only dim eQ ≤ dim eM, not equality; the proof does not show that the one-dimensional space eM is not contained in the kernel of any proper quotient. Second, even if M has a unique simple head H, a quotient of M need not be isomorphic to H; S(b) could have a nonzero radical. To conclude S(b) ≃ hd(M), the proof must show that S(b) is semisimple or that dim S(b) = dim H, and neither is shown.
[3.2, Corollary 3.5] Corollary 3.5 asserts algebra isomorphisms R^{Λ_1}_{B_n}(m) ≃ R^{Λ_1}_{D_{n+1}}(m) and consequently a dimension formula. The proof relies on the assertion that the B_n-module S(b) is simple and that the B_n and D_{n+1} modules are isomorphic; since the simplicity of S(b) is not established (see comments on Theorem 3.4(1),(2)), the isomorphisms of Corollary 3.5 are not proven.

minor comments (4)

[1.2, (1.2)] The Dynkin diagrams for B_n and C_n number the minuscule node at the left end for B_n and at the right end for C_n, which is the reverse of the Bourbaki convention; please add an explicit remark specifying the numbering convention used, as otherwise readers will think the classification of minuscule weights is misstated.
[3.2, Theorem 3.4(3)] The step 'we have E_i^Λ S(b) ≃ S(\tilde e_i b) by considering their characters' is too terse; since the simplicity of S(b) is not established, a direct identification of the restricted module with the module associated to \tilde e_i b by deleting the box containing the largest entry would be more convincing.
[3.2, Theorem 3.4(1)] The sentence in the proof of Theorem 3.4(1) stating that if k has square roots one may assume a_{i,j}=1 and b_{i,j}=-1 is not used in the verification of the defining relations; the argument works with the general coefficients as written, so this sentence appears superfluous and should be clarified or removed.
[Various] There are several typographical errors: 'represent A tions' in the abstract, 'Lamma 2.20' in the proof of Theorem 3.4(2), and a garbled crystal diagram in Section 2.3; these should be corrected.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the basis is constructed from crystal/tableau combinatorics, and the cited simplicity theorem is an independent published input rather than a re-encoding of the target basis.

full rationale

The claimed basis is not fitted or defined in terms of the target algebra. For ADE/C types, Theorem 2.9 and Proposition 2.11 rely on Kleshchev-Ram homogeneous representations and Stembridge's minuscule-element results, which are external. The simplicity of R^Lambda(xi) is quoted from [1, Corollary 4.7] and [14, Lemma 1.11]; although both citations include the present author, the cited theorem is a published, parameter-free statement about simplicity of cyclotomic algebras at extremal weights. It does not assert the pair-of-tableaux basis and is not derived from it, so it is real evidence rather than a circular re-import. For type B_n, Theorem 3.4 defines S(b) by an explicit shifted-tableau action and verifies the KLR relations; the endomorphism-ring step would follow if S(b) were known to be simple. The proof of simplicity via the head argument in Theorem 3.4(2) contains a real gap: a surjection M to Q gives only dim(eQ) <= dim(eM) = 1, not equality, and a quotient of a module with unique simple head need not be that head. This is a correctness/rigor issue, not a circular reduction: the simplicity claim is not used as its own input, and the basis C(b) is not defined from the algebra being analyzed. There is also no fitted parameter later renamed as a prediction. Thus, under the circularity standard, the derivation is self-contained modulo independent external theorems, with the stated proof gap noted as a separate concern.

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

The central claim does not rest on fitted numbers or ad hoc parameters. The only external inputs are standard KLR and crystal theorems and published simplicity results. The new combinatorial module S(b) is not an invented entity but a construction inside the existing KLR framework. Listed axioms are cited, not reproved; the most domain-specific is the use of the B-infinity Fock space to identify shifted tableaux with crystal paths.

assumptions (5)

standard math For a dominant integral weight Lambda and an extremal weight xi = wLambda, the cyclotomic quiver Hecke algebra R^Lambda(xi) is simple (Proposition 2.4, cited from [1, Cor 4.7] and [14, Lemma 1.11]).
Used in Theorems 2.9 and 3.4 and Proposition 2.11 to identify R^Lambda(xi) with End_k(S(b)); not reproved in the paper.
standard math Every irreducible module over a quiver Hecke algebra is absolutely irreducible (Proposition 2.5, cited from [15, Cor 3.19]).
Combined with Proposition 2.4 to conclude that R^Lambda(xi) is isomorphic to the full matrix algebra End_k(S(b)).
standard math For simply-laced types, a subset of words satisfying the homogeneity condition (2.2) carries a simple module ([17, Theorem 3.4]), and reduced expressions of minuscule elements satisfy this condition (Stembridge [19, Prop 2.5]).
This is the engine behind Theorem 2.9 for ADE types.
domain assumption The shifted standard tableaux of shape lambda_b are in bijection with crystal paths P(b) on B(Lambda_1) via the B-infinity Fock space realization of [9] (Remark 3.3).
Used to identify characters and crystal operators in Theorem 3.4(3); only a sketch is provided.
standard math The shuffle lemma [15, Lemma 2.20] and biadjointness of F_i^Lambda and E_i^Lambda [13, Theorem 3.5] hold for the induction and restriction functors.
Used in Theorem 3.4(2)-(3) and Corollary 3.5.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Cyclotomic quiver Hecke algebras corresponding to minuscule representations." pith.science (2026). https://pith.science/paper/HR6KVPTJ

@misc{pith2026190900313,
  author       = {Pith},
  title        = {Pith review of: Cyclotomic quiver Hecke algebras corresponding to minuscule representations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HR6KVPTJ}},
  note         = {Machine review of arXiv:1909.00313}
}

read the original abstract

In the paper, we give an explicit basis of the cyclotomic quiver Hecke algebra corresponding to a minuscule representation of finite type.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 17 canonical work pages

[1]

Ariki and E

S. Ariki and E. Park, Representation type of ﬁnite quiver Hecke algebras of type A(2) 2ℓ , J. Algebra 397 (2014), 457–488

work page 2014
[2]

Ariki, K

S. Ariki, K. Iijima, and E. Park, Representation type of ﬁnite quiver Hecke algebras of type A(1) ℓ for arbitrary parameters Int. Math. Res. Not. IMRN (2015), no. 15, 6070–6135

work page 2015
[3]

Bourbaki, Lie groups and Lie algebras Chapters 79

N. Bourbaki, Lie groups and Lie algebras Chapters 79. Translated from the 1975 and 1982 French originals by Andrew Pressley. Elements of Mathematics (Berlin). Spri nger-Verlag, Berlin, 2005. xii+434 pp

work page 1975
[4]

Brundan and A

J. Brundan and A. Kleshchev, Blocks of cyclotomic Hecke algebras and Khovanov-Lauda alg ebras, Invent. Math. 178 (2009), 451–484

work page 2009
[5]

Feinberg, K.-H

G. Feinberg, K.-H. Lee, Fully commutative elements of type D and homogeneous representations of KLR- algebras, J. Comb. 6 (2015), no. 4, 535–557. 6. , Homogeneous representations of type A KLR-algebras and Dyc k paths , S´ em. Lothar. Combin. 75 ([2015–2018]), Art. B75b, 19 pp

work page 2015
[7]

Geck and G

M. Geck and G. Pfeiﬀer, Characters of ﬁnite Coxeter groups and Iwahori-Hecke algeb ras, London Mathe- matical Society Monographs. New Series, 21. The Clarendon Press, Oxford University Press, New York, 2000

work page 2000
[8]

Hong and S.-J

J. Hong and S.-J. Kang, Introduction to Quantum Groups and Crystal Bases , Graduate Studies in Math- ematics, 42. American Mathematical Society, Providence, RI, 2002

work page 2002
[9]

Jimbo and T

M. Jimbo and T. Miwa, Solitons and inﬁnite-dimensional Lie algebras , Publ. Res. Inst. Math. Sci. 19 (1983), no. 3, 943–1001

work page 1983

Show all 18 references

[10]

Kang and M

S.-J. Kang and M. Kashiwara, Categoriﬁcation of Highest Weight Modules via Khovanov-La uda-Rouquier Algebras, Invent. Math. 190 (2012), no. 3, 699-742

2012
[11]

Kashiwara, Crystalizing the q-analogue of universal enveloping algeb ras, Comm

M. Kashiwara, Crystalizing the q-analogue of universal enveloping algeb ras, Comm. Math. Phys. 133 (1990), no. 2, 249–260

1990
[12]

, On crystal bases of the Q-analogue of universal enveloping algebras , Duke. Math. J. 63 (1991), no. 2, 465516

1991
[13]

, Biadjointness in cyclotomic Khovanov-Lauda-Rouquier alg ebras, Publ. Res. Inst. Math. Sci. 48 (2012), no. 3, 501–524

2012
[14]

Kashiwara, M

M. Kashiwara, M. Kim, S.-j. Oh and E. Park, Monoidal categories associated with strata of ﬂag manifold s, Adv. Math. 328 (2018), 959–1009

2018
[15]

Khovanov and A

M. Khovanov and A. D. Lauda, A diagrammatic approach to categoriﬁcation of quantum grou ps I , Repre- sent. Theory 13 (2009), 309-347

2009
[16]

, A diagrammatic approach to categoriﬁcation of quantum grou ps II , Trans. Amer. Math. Soc. 363 (2011), no. 5, 2685-2700

2011
[17]

Kleshchev and A

A. Kleshchev and A. Ram, Homogeneous representations of Khovanov-Lauda algebras , J. Eur. Math. Soc. (JEMS) 12 (2010), no. 5, 1293–1306

2010
[18]

Rouquier, 2 Kac-Moody algebras , arXiv:0812.5023 (2008)

R. Rouquier, 2 Kac-Moody algebras , arXiv:0812.5023 (2008)

2008 arXiv
[19]

J. R. Stembridge, Minuscule elements of Weyl groups , J. Algebra 235 (2001), no. 2, 722–743. Department of Mathematics, University of Seoul, Seoul 0250 4, Korea E-mail address : epark@uos.ac.kr

2001

Pith tools

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

[1] [1]

Ariki and E

S. Ariki and E. Park, Representation type of ﬁnite quiver Hecke algebras of type A(2) 2ℓ , J. Algebra 397 (2014), 457–488

work page 2014

[2] [2]

Ariki, K

S. Ariki, K. Iijima, and E. Park, Representation type of ﬁnite quiver Hecke algebras of type A(1) ℓ for arbitrary parameters Int. Math. Res. Not. IMRN (2015), no. 15, 6070–6135

work page 2015

[3] [3]

Bourbaki, Lie groups and Lie algebras Chapters 79

N. Bourbaki, Lie groups and Lie algebras Chapters 79. Translated from the 1975 and 1982 French originals by Andrew Pressley. Elements of Mathematics (Berlin). Spri nger-Verlag, Berlin, 2005. xii+434 pp

work page 1975

[4] [4]

Brundan and A

J. Brundan and A. Kleshchev, Blocks of cyclotomic Hecke algebras and Khovanov-Lauda alg ebras, Invent. Math. 178 (2009), 451–484

work page 2009

[5] [5]

Feinberg, K.-H

G. Feinberg, K.-H. Lee, Fully commutative elements of type D and homogeneous representations of KLR- algebras, J. Comb. 6 (2015), no. 4, 535–557. 6. , Homogeneous representations of type A KLR-algebras and Dyc k paths , S´ em. Lothar. Combin. 75 ([2015–2018]), Art. B75b, 19 pp

work page 2015

[6] [7]

Geck and G

M. Geck and G. Pfeiﬀer, Characters of ﬁnite Coxeter groups and Iwahori-Hecke algeb ras, London Mathe- matical Society Monographs. New Series, 21. The Clarendon Press, Oxford University Press, New York, 2000

work page 2000

[7] [8]

Hong and S.-J

J. Hong and S.-J. Kang, Introduction to Quantum Groups and Crystal Bases , Graduate Studies in Math- ematics, 42. American Mathematical Society, Providence, RI, 2002

work page 2002

[8] [9]

Jimbo and T

M. Jimbo and T. Miwa, Solitons and inﬁnite-dimensional Lie algebras , Publ. Res. Inst. Math. Sci. 19 (1983), no. 3, 943–1001

work page 1983