Monoidal Categories associated with Kac-Moody Open Richardson Varieties in Symmetric Type

Yingjin Bi

REVIEW 1 major objections 5 minor 18 references

Monoidal Categories associated with Kac-Moody Open Richardson Varieties in Symmetric Type

T0 review · 1 major / 5 minor · reviewed 2026-07-04 · glm-5.2

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

Pith's one-line read Cluster monomials match simple modules on Richardson varieties

desk verdict Paper connects cluster algebra structures on Kac-Moody open Richardson varieties with monoidal categorification via quiver Hecke algebras. The main correspondence between cluster monomials and simple modules in C_{w,v} is new and significant. The proof strategy is sound but has compressed arguments in the finite-type categorification theorem that need careful verification. read the letter →

arxiv 2606.05184 v1 pith:PXMVRETV submitted 2026-04-24 math.RT math.QA

Yingjin Bi This is my paper · ORCID

classification math.RTmath.QA

keywords openrichardsonclustermathscrvarietiescoordinatemonoidalring

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves that for a symmetric Kac-Moody group, the coordinate ring of an open Richardson variety carries a cluster algebra whose cluster monomials are exactly the isomorphism classes of simple modules in a certain monoidal category of quiver Hecke algebra representations. The central mechanism is a factorization theorem: each cluster variable in the initial seed appears as a multiplicity-one factor of a determinantial module, and the T-system identity for quantum minors reduces these factorizations to Laurent monomials. An inductive argument along the leftmost subexpression of v inside a reduced expression of w propagates this factorization through successive mutations. In finite type, the Grothendieck ring of the localized category gives a full monoidal categorification of the quantum cluster algebra, and Leclerc's seed is shown to coincide with Menard's seed.

What carries the argument

The T-system identity for quantum minors (Proposition 4.2), the leftmost subexpression construction, determinantial modules M(w_lambda, v_lambda) in quiver Hecke algebra categories, and the mutation sequence from the word seed s(w) to the subword seed s(v,w).

What would settle it

Find a pair (v, w) in symmetric Kac-Moody type where the Bruhat-order comparison w_{p_l-1} > v_l fails, so that the quantum minor D(w_{p_l-1} varpi_i / v_l varpi_i) does not vanish and the T-system does not reduce to a Laurent monomial, breaking the inductive factorization.

Watch

Extended reading notes

Core claim

The key result is a bijection between cluster variables in the initial seed s(v,w) and certain determinantial modules, established by tracking how the leftmost subexpression of v inside a reduced expression of w interacts with the T-system identity for quantum minors. The T-system, a 2x2 minor identity, collapses to a Laurent monomial expression because a Bruhat-order comparison forces one quantum minor to vanish. This factorization property is then propagated inductively through mutation sequences, showing that every cluster monomial in the quantum cluster algebra is realized by a simple module in the category C_{w,v}, and that the Grothendieck ring contains the full cluster algebra.

Load-bearing premise

The proof depends on a Bruhat-order comparison forcing a specific quantum minor to vanish, which reduces the T-system identity to a Laurent monomial. If this vanishing fails for some configuration in infinite type, the inductive factorization argument breaks down.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The main result is genuinely new: a correspondence between cluster monomials in the coordinate ring of a Kac-Moody open Richardson variety and simple modules in the KKOP category C_{w,v}, in symmetric type. The unification of Leclerc's seeds with Ménard's seeds in finite type is a clean bonus. The paper does a real service by identifying the prime factors of quantum minors in this setting, which was open for infinite type. The proof strategy — induction on ℓ(v) using T-system identities, strong commutativity of determinantial modules, and exclusion via Lemma 5.6 — is coherent and builds honestly on the KKOP and KKKO frameworks. Theorem 4.3 (vanishing of the off-diagonal quantum minor via the leftmost subexpression property) is the key technical lemma and the argument there is correct: the Bruhat-order comparison is clean. The strong commutativity results in Section 4 are properly attributed to KKKO18 and KKOP18. The factorization analysis via the families T_{l,k} and the bijection Φ is well-organized. The stress-test concern about Theorem 5.16 has merit. The injection argument (5.10) asserts that each Y_l ○ M_a is simple, but this is only justified if Y_l strongly commutes with M_a — and M_a is an arbitrary simple in C_{w,v_{l-1}}, not a cluster variable. The paper states this without proof. In finite type the set of simples is finite and one can likely work around this, but the argument as written has a gap. The reverse inclusion (surjectivity) is attributed to Theorem 5.13 plus Lemma 5.15 (A_q = U_q), which is reasonable: Theorem 5.13 does show all cluster variables lie in C_{w,v} via the mutation-preservation argument, and strong commutativity of mutated seeds is inherited from C_w. So cluster monomials being simple follows. But the compression here is real — an expert referee will need to check the mutation step carefully. The reader's concern about the T-system applicability (Prop 4.2 from GLS13) is less worrying: the vanishing argument in Theorem 4.3 is self-contained and correct. This paper is for geometric representation theorists working on cluster structures and categorification. It deserves a serious referee who can verify the injection argument in Theorem 5.16 and ask for expanded details there. The core ideas are sound; the presentation needs work in one section.

Referee Report

1 major / 5 minor

Summary. The paper studies the factorization properties of generalized minors in the coordinate rings of Kac-Moody open Richardson varieties in symmetric type. The author connects the cluster algebra structure on these varieties (constructed by Bao-Ye and Menard) with the monoidal categorification framework of Kashiwara-Kim-Oh-Park. The main results (Theorems 1.1 and 1.2) establish that cluster variables in the initial seed s(v,w) correspond to simple determinantial modules in the category C_{w,v}, and that every cluster monomial is realized as a simple module. In finite type, the author proves that Leclerc's seed coincides with Menard's seed, and that the localized category provides a monoidal categorification of the quantum cluster algebra.

Significance. The paper makes a substantial contribution to the program of categorifying cluster structures on Richardson varieties. The main results are strong: establishing a bijection between cluster variables and simple modules in the Kac-Moody setting, and proving a full monoidal categorification in finite type. The author successfully leverages the T-system identities from [GLS13] and the strong commutativity results from [KKKO18] to overcome the central difficulty of identifying cluster variables with simple modules. The proof that Leclerc's and Menard's seeds coincide in finite type is a clean resolution of a known conjecture. The argument is intricate and builds carefully on prior work by KKOP, GLS, KKKO, and BY.

major comments (1)

Theorem 5.16, proof of (5.9): The surjectivity argument for the equality K(tilde{C}_{w,v_l}) = U_q(v_l, w) is incomplete. The injection (5.10) K(C_{w,v_l}) -> K(C_{w,v_{l-1}})/([Y_l]-1) is established, and the reverse inclusion A_q(v_l,w) subset K(tilde{C}_{w,v_l}) is attributed to Theorems 5.13 and 5.14 combined with Lemma 5.15 (A_q = U_q). However, Theorem 5.13 proves that cluster variables of the initial seed lie in C_{w,v} and that mutation preserves this property. It does not explicitly prove that every cluster monomial in A_q(s(v,w)) corresponds to a simple module in C_{w,v}. The mutation argument in Theorem 5.13 shows that mutated cluster variables lie in C_{w,v} as factors of modules in C_{w,v}, but showing that every cluster monomial corresponds to a simple module requires additional argumentation (e.g., via the monoidal categorification framework of [KKKO18] applied within C_{w

minor comments (5)

Section 4.1.2 heading: 'clustre structure' should be 'cluster structure'.
Section 5.1 heading: 'Subcateogry' should be 'Subcategory'.
Definition 4.15: 'by we call S is generated by T' has a grammatical error; suggest 'we say S is generated by T'.
Theorem 5.11, Step 2: the displayed formula near the bottom of page 37 contains rendering artifacts (strange characters in the set notation). This should be cleaned up.
Section 4.1.1: 'clustre structure' appears in the section title; should be 'cluster structure'.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the substantive comment regarding Theorem 5.16. We address the concern below.

read point-by-point responses

Referee: Theorem 5.16, proof of (5.9): The surjectivity argument for the equality K(tilde{C}_{w,v_l}) = U_q(v_l, w) is incomplete. The injection (5.10) is established, and the reverse inclusion A_q(v_l,w) subset K(tilde{C}_{w,v_l}) is attributed to Theorems 5.13 and 5.14 combined with Lemma 5.15. However, Theorem 5.13 proves that cluster variables of the initial seed lie in C_{w,v} and that mutation preserves this property. It does not explicitly prove that every cluster monomial in A_q(s(v,w)) corresponds to a simple module in C_{w,v}. The mutation argument shows that mutated cluster variables lie in C_{w,v} as factors of modules in C_{w,v}, but showing that every cluster monomial corresponds to a simple module requires additional argumentation (e.g., via the monoidal categorification framework of [KKKO18] applied within C_{w,v}).

Authors: We thank the referee for this precise observation. We agree that Theorem 5.13 as stated proves that cluster variables of A_q(s(v,w)) lie in C_{w,v}, but does not explicitly establish that every cluster monomial corresponds to a simple module in C_{w,v}. We will revise the manuscript to close this gap. The argument is as follows. By Theorem 5.4 (KKKO18), the category C_w provides a monoidal categorification of A_q(n(w)), which in particular implies that cluster variables in C_w mutually strongly commute and that cluster monomials correspond to self-dual simple modules in C_w. Since C_{w,v} is a full monoidal subcategory of C_w (Proposition 5.2), the strong commutativity of cluster variables is inherited: if two simple modules strongly commute in C_w and both lie in C_{w,v}, their convolution product remains simple and lies in C_{w,v}. Theorem 5.13 establishes that all cluster variables of s(v,w) (including those obtained by mutation) lie in C_{w,v}. Therefore, any cluster monomial — being a product of strongly commuting cluster variables — corresponds to a simple module in C_{w,v}. We will add this argument explicitly after the proof of Theorem 5.13. We note that this addition does not affect the proof of Theorem 5.16 itself: the inclusion A_q(v_l,w) subset K(tilde{C}_{w,v_l}) used in the proof of (5.9) only requires that cluster variables lie in C_{w,v} (which Theorem 5.13 proves) and that C_{w,v} is closed under convolution (Proposition 5.2). The surjectivity argument for K(tilde{C}_{w,v_l}) = U_q(v_l,w) is therefore complete as written. The additional argument concerns the stronger statement in Theorem 1.2 that cluster monomials are realized as simple modules, which we will now justify explicitly. revision: partial

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity; central derivation is self-contained against external benchmarks

full rationale

The paper's main results (Theorems 1.1, 1.2, 5.11, 5.13, 5.16) are derived through a genuine mathematical argument: the T-system identity (Proposition 4.2, cited from [GLS13]) is applied to specific pairs of quantum minors, a Bruhat-order vanishing argument (Theorem 4.3, Step 1) reduces it to a Laurent monomial expression, and then an inductive mutation argument (Theorem 5.11) matches categorical mutations with cluster algebra mutations. The key cited results — [GLS13] for the T-system, [KKOP18]/[KKOP23] for the category C_{w,v} and its properties, [KKKO18] for monoidal categorification, [BY25] for the upper cluster structure, [KL09] for the Grothendieck ring isomorphism — are all external to the present author and have independent proofs. The surjectivity argument in Theorem 5.16 does rely on combining Theorem 5.13 (A_q ⊂ K) with Lemma 5.15 (A_q = U_q) and the injection (5.10), and the reverse inclusion is established via the induction hypothesis rather than circularly assumed. The proof of Theorem 5.13 shows mutation preserves membership in C_{w,v} by using the exchange relation and Lemma 5.9 (factor closure), which is a substantive argument, not a definitional reduction. No step was found where a 'prediction' or 'result' reduces by construction to a fitted input or a self-citation chain. The self-citations present (e.g., Lemma 2.6 proving v_k = v'_k) are internally proven within the paper itself. The one minor concern is that Lemma 5.15 (A_q = U_q) cites [Qin24, Theorem 7.3] and [CGGLSS25, Section 10] for the key equality, but these are external sources. Score 2 reflects the presence of several load-bearing external citations whose validity is assumed but not independently verified here, which is normal mathematical practice and not circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 2 invented entities

The paper introduces no free parameters (pure mathematics). The axioms are all either cited external theorems with independent proofs or lemmas proved within the paper. The invented entities (the map Φ and the families T_{l,k}) are combinatorial constructions built from existing data, not new physical or mathematical objects postulated to make the theory work.

assumptions (6)

standard math The T-system identity for quantum minors (Proposition 4.2, from [GLS13, Prop 5.4])
Used throughout Section 4 to derive factorization properties of quantum minors. This is a cited external result with independent proof.
standard math The isomorphism K(R-gmod) ≅ A_q(n) sending self-dual simples to dual canonical basis elements (Theorem 4.7, from [KL09])
Used to identify determinantial modules with quantum minors. Cited external theorem.
standard math The category C_{w,v} is stable under subquotients, extensions, convolution products, and grading shifts (Proposition 5.2, from [KKOP18])
Used to ensure that mutation operations stay within C_{w,v}. Cited external result.
standard math The upper cluster algebra structure on C[B_{v,w}] with initial seed s(v,w) (Theorem 3.2, from [BY25])
Provides the cluster algebra side of the correspondence. Cited external result.
domain assumption If L = M○N ∈ C_w, then M ∈ C_w; if L ∈ C*_{,v}, then N ∈ C*_{,v} (Lemma 5.3)
Proved in the paper (Lemma 5.3) but used as a structural axiom throughout the factorization arguments in Section 5.
domain assumption A_q(v,w) = U_q(v,w) (Lemma 5.15, using [Qin24, Theorem 7.3])
Used in Theorem 5.16 to conclude K(tilde{C}_{w,v}) = A_q(v,w). The proof relies on identifying s(v,w) with the right inductive seed from [CGGLSS25].

invented entities (2)

The bijection Φ: J → [r]∖{p_1,...,p_m} independent evidence
purpose: Maps cluster variable indices to determinantial module indices
Constructed explicitly from the leftmost subexpression combinatorics (equation 2.10). Not postulated; derived from existing data.
The families T_{l,k} of determinantial modules independent evidence
purpose: Track which modules correspond to cluster variables at each mutation step
Defined from existing determinantial modules (Definition 4.12). The strong commutativity and d-value properties are proved, not assumed.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Monoidal Categories associated with Kac-Moody Open Richardson Varieties in Symmetric Type." pith.science (2026). https://pith.science/paper/PXMVRETV

@misc{pith2026260605184,
  author       = {Pith},
  title        = {Pith review of: Monoidal Categories associated with Kac-Moody Open Richardson Varieties in Symmetric Type},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PXMVRETV}},
  note         = {Machine review of arXiv:2606.05184}
}

abstract

In the present paper, we study the factorization properties of the generalized minors $ \Delta(w_{\leq k}\Lambda,\, v_{\leq k}\Lambda), $ introduced by Fomin--Zelevinsky, in the coordinate rings of Kac--Moody open Richardson varieties. By analyzing their simple factors in the monoidal category $\mathscr{C}_{w,v}$, we connect the cluster algebra structure of these varieties with the categorical framework developed by Kashiwara--Kim--Oh--Park. In particular, we prove that cluster monomials in the coordinate ring of a Kac--Moody open Richardson variety correspond to isomorphism classes of simple modules in $\mathscr{C}_{w,v}$. As a consequence, we show that the Grothendieck ring $K(\mathscr{C}_{w,v})$ contains the cluster algebra structure on the coordinate ring constructed by Bao--Ye. In finite type, we further prove that Leclerc's seeds coincide with M\'enard's seeds for open Richardson varieties, and that the category $\widetilde{\mathscr{C}}_{w,v}$ provides a monoidal categorification of the cluster structure on the open Richardson variety.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

[1]

Huanchen Bao and Jeff Yu Ye, Upper cluster structure on Kac--Moody Richardson varieties, arXiv:2506.10382, 2025

work page arXiv 2025
[2]

Roger Casals, Eugene Gorsky, Mikhail Gorsky, Ian Le, Linhui Shen, and Jos\'e Simental, Cluster structures on braid varieties, J. Amer. Math. Soc. 38 (2025), no. 2, 369--479

work page 2025
[3]

Pavel Galashin, Thomas Lam, and Melissa Sherman-Bennett, Braid variety cluster structures, II: General type, Invent. Math. (2025), 1--49

work page 2025
[4]

(N.S.) 19 (2013), no

Christof Gei , Bernard Leclerc, and Jan Schr\"oer, Cluster structures on quantum coordinate rings, Selecta Math. (N.S.) 19 (2013), no. 2, 337--397

work page 2013
[5]

Grace Ingermanson, Cluster algebras of open Richardson varieties, Dissertation, 2019

work page 2019
[6]

Seok-Jin Kang, Masaki Kashiwara, and Myungho Kim, Symmetric quiver Hecke algebras and R -matrices of quantum affine algebras, Invent. Math. 211 (2018), no. 2, 591--685

work page 2018
[7]

Seok-Jin Kang, Masaki Kashiwara, Myungho Kim, and Se-jin Oh, Monoidal categorification of cluster algebras, J. Amer. Math. Soc. 31 (2018), no. 2, 349--426

work page 2018
[8]

Masaki Kashiwara, Global crystal bases of quantum groups, Duke Math. J. 69 (1993), 455--485

work page 1993

Show all 18 references

[9]

Masaki Kashiwara and Myungho Kim, Laurent phenomenon and simple modules of quiver Hecke algebras, Compos. Math. 155 (2019), no. 12, 2263--2295

2019
[10]

Masaki Kashiwara, Myungho Kim, Se-jin Oh, and Euiyong Park, Monoidal categories associated with strata of flag manifolds, Adv. Math. 328 (2018), 959--1009

2018
[11]

Masaki Kashiwara, Myungho Kim, Se-jin Oh, and Euiyong Park, Localizations for quiver Hecke algebras II, Proc. Lond. Math. Soc. 127 (2023), no. 4, 1134--1184

2023
[12]

Lauda, A diagrammatic approach to categorification of quantum groups I, Represent

Mikhail Khovanov and Aaron D. Lauda, A diagrammatic approach to categorification of quantum groups I, Represent. Theory 13 (2009), no. 14, 309--347

2009
[13]

Bernard Leclerc, Cluster structures on strata of flag varieties, Adv. Math. 300 (2016), 190--228

2016
[14]

auser Classics, Birkh\

George Lusztig, Introduction to quantum groups, Modern Birkh\"auser Classics, Birkh\"auser/Springer, New York, 2010

2010
[15]

\'Etienne M\'enard, Cluster algebras associated with open Richardson varieties: an algorithm to compute initial seeds, arXiv:2201.10292, 2022

2022
[16]

Fan Qin, Analogs of the dual canonical bases for cluster algebras from Lie theory, arXiv:2407.02480, 2024

2024
[17]

Khrystyna Serhiyenko and Melissa Sherman-Bennett, Leclerc's conjecture on a cluster structure for type A Richardson varieties, Adv. Math. 447 (2024), 109698

2024
[18]

Peter Tingley and Ben Webster, Mirkovi\'c--Vilonen polytopes and Khovanov--Lauda--Rouquier algebras, Compos. Math. 152 (2016), no. 8, 1648--1696

2016

Pith tools

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

[1] [1]

Huanchen Bao and Jeff Yu Ye, Upper cluster structure on Kac--Moody Richardson varieties, arXiv:2506.10382, 2025

work page arXiv 2025

[2] [2]

Roger Casals, Eugene Gorsky, Mikhail Gorsky, Ian Le, Linhui Shen, and Jos\'e Simental, Cluster structures on braid varieties, J. Amer. Math. Soc. 38 (2025), no. 2, 369--479

work page 2025

[3] [3]

Pavel Galashin, Thomas Lam, and Melissa Sherman-Bennett, Braid variety cluster structures, II: General type, Invent. Math. (2025), 1--49

work page 2025

[4] [4]

(N.S.) 19 (2013), no

Christof Gei , Bernard Leclerc, and Jan Schr\"oer, Cluster structures on quantum coordinate rings, Selecta Math. (N.S.) 19 (2013), no. 2, 337--397

work page 2013

[5] [5]

Grace Ingermanson, Cluster algebras of open Richardson varieties, Dissertation, 2019

work page 2019

[6] [6]

Seok-Jin Kang, Masaki Kashiwara, and Myungho Kim, Symmetric quiver Hecke algebras and R -matrices of quantum affine algebras, Invent. Math. 211 (2018), no. 2, 591--685

work page 2018

[7] [7]

Seok-Jin Kang, Masaki Kashiwara, Myungho Kim, and Se-jin Oh, Monoidal categorification of cluster algebras, J. Amer. Math. Soc. 31 (2018), no. 2, 349--426

work page 2018

[8] [8]

Masaki Kashiwara, Global crystal bases of quantum groups, Duke Math. J. 69 (1993), 455--485

work page 1993