pith. sign in

arxiv: 2606.07493 · v2 · pith:HHED4FSYnew · submitted 2026-06-05 · 🧮 math.RT · math.CO· math.RA

A Comparison of cluster algebra structures arising from i-boxes and Demazure weaves

JiSun Huh , Woo-Seok Jung , Myungho Kim , Euiyong Park This is my paper

Pith reviewed 2026-06-27 20:05 UTC · model grok-4.3

classification 🧮 math.RT math.COmath.RA
keywords cluster algebraDemazure weavei-boxbraid varietyadmissible chainPBW vectormonoidal categorificationADE type
0
0 comments X

The pith

An algebra isomorphism equates the cluster structure from i-box chains to the coordinate ring of a braid variety via Demazure weaves.

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

The paper proves an algebra isomorphism between the localized bosonic extension equipped with a seed from an admissible chain of i-boxes and the coordinate ring of the braid variety equipped with a seed from a Demazure weave. The isomorphism is compatible with both seeds and maps PBW vectors to the indexed coordinates. The authors achieve this by constructing an explicit Demazure weave for each admissible chain associated to an expression of the positive braid element. This unifies two cluster algebra models linked to positive elements in the braid group of finite ADE type and yields applications to signed words and monoidal categorification.

Core claim

For a positive element b in the braid group of finite ADE type, given an expression i and admissible chain C, an explicit Demazure weave W_Δ(C) can be constructed such that the map φ_i from the localized bosonic extension ~A_C(b) to C[X(Δ i)] is an algebra isomorphism compatible with the seeds from C and W_Δ(C), and it sends each PBW vector p_i,k to the coordinate z_k indexed by the letters of i.

What carries the argument

The explicit Demazure weave W_Δ(C) constructed from each admissible chain C of i-boxes, which induces the seed-compatible isomorphism φ_i sending PBW vectors to braid variety coordinates.

Load-bearing premise

An explicit Demazure weave W_Δ(C) can be constructed for every admissible chain C associated with the expression i such that the initial seeds from C and from W_Δ(C) are compatible under the isomorphism.

What would settle it

An admissible chain C for which the constructed Demazure weave fails to produce initial seeds compatible with the claimed isomorphism, or for which the map φ_i is not an algebra isomorphism or does not send the PBW vectors to the indexed coordinates.

Figures

Figures reproduced from arXiv: 2606.07493 by Euiyong Park, JiSun Huh, MyungHo Kim, Woo-Seok Jung.

Figure 1
Figure 1. Figure 1: Three types of vertices in weaves, where j is adjacent to i in the Dynkin diagram of g while k is not. Let i ∈ Seq(b) for b ∈ Br+ and let j ∈ Seq(δ(b)). As horizontal slices of a weave W : i → j can be viewed as expression sequences of elements in Br+ , one can understand that a weave W represents a history of the weave moves applied to i at the top. Note that the weave moves are compatible with the Demazu… view at source ↗
Figure 2
Figure 2. Figure 2: illustrates the weave WB ∆(C) with its Lusztig cycles and its associated quiver Q(WB ∆(C)). The quiver Q(WB ∆(C)) coincides with the opposite quiver Q(C) op of Q(C) in Example 3.3 (ii). 2 1 1 2 1 3 2 1 1 2 2 1 1 2 3 4 6 2 5 1 4 6 5 [PITH_FULL_IMAGE:figures/full_fig_p028_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Transformations of the ˜z-variables at 6-valent and 4-valent ver￾tices under the condition u = 1. We now have the main theorem of this subsection. Theorem 7.6. Let C be an admissible chain of i-boxes associated with i ∈ Seq(b) and let ck be a movable box. For any ∆ ∈ Seq(∆), we have Q [PITH_FULL_IMAGE:figures/full_fig_p033_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: A weave WT ∆(C) in Example 7.8. 8. Connection to signed words In this section, we review the connection between i-boxes and signed words studied in [3], and obtain an explicit connection among i-boxes, weaves and signed words through the isomorphism given in Theorem 7.7. Let g be a simple Lie algebra associated with a Cartan matrix C = (ci,j )i,j∈I of finite ADE type. A signed word is a sequence of pairs h… view at source ↗
read the original abstract

We compare two cluster algebras related to a positive element $\mathtt{b}$ in the braid group of finite $ADE$ type. One is the localized bosonic extension ${\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})$ equipped with an initial seed arising from an admissible chain $\mathfrak{C}$ of $i$-boxes, which is deeply connected to monoidal categorification. The other is the coordinate ring $\mathbb{C}[X({\underline{\Delta}} {\boldsymbol{i}})]$ of the braid variety $X({\underline{\Delta}} {\boldsymbol{i}})$ equipped with an initial seed arising from a Demazure weave $\mathfrak{W}$, where ${\boldsymbol{i}}$ and ${\underline{\Delta}}$ are expression sequences of $\mathtt{b}$ and the half twist $\Delta$, respectively. We explicitly construct a Demazure weave $\mathfrak{W}_{{\underline{\Delta}}}(\mathfrak{C})$ for each admissible chain $\mathfrak{C}$ associated with ${\boldsymbol{i}}$, and prove that there exists an algebra isomorphism $\varphi_{{\boldsymbol{i}}}\colon {\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})\to\mathfrak{C}[X({\underline{\Delta}} {\boldsymbol{i}})]$ which is compatible with the two seeds arising from $\mathfrak{C}$ and $\mathfrak{W}_{{\underline{\Delta}}}(\mathfrak{C})$. Moreover, the isomorphism $\varphi_{{\boldsymbol{i}}}$ sends the PBW vectors ${\overline{\mathsf{p}}}_{{\boldsymbol{i}},k} \in {\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})$ to the coordinates $z_k \in \mathfrak{C}[X({\underline{\Delta}} {\boldsymbol{i}})]$ indexed by the letters of ${\boldsymbol{i}}$. As applications, we investigate a connection between Demazure weaves and signed words via the $i$-boxes and interpret the isomorphism $\varphi_{{\boldsymbol{i}}}$ from the viewpoint of monoidal categorification using Hernandez--Leclerc categories.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript compares two cluster algebra structures associated to a positive element b in the braid group of finite ADE type. One structure is the localized bosonic extension ~A_C(b) equipped with an initial seed from an admissible chain C of i-boxes. The other is the coordinate ring C[X(Δ i)] equipped with an initial seed from a Demazure weave W. The paper explicitly constructs a Demazure weave W_Δ(C) for every admissible chain C associated to an expression i of b, and proves the existence of an algebra isomorphism φ_i : ~A_C(b) → C[X(Δ i)] that is compatible with the two seeds and sends the PBW vectors p_i,k to the coordinates z_k indexed by the letters of i. Applications to signed words via i-boxes and to monoidal categorification in Hernandez-Leclerc categories are discussed.

Significance. If the stated isomorphism and explicit construction hold, the work supplies a direct, seed-preserving bridge between the i-box approach (tied to monoidal categorification) and the Demazure-weave approach (tied to braid varieties). The explicit mapping of PBW basis elements to geometric coordinates is a concrete strength that could allow transfer of results between the two settings. The construction for every admissible chain addresses a natural compatibility question in the theory of cluster structures on positive braids.

minor comments (2)
  1. [Introduction] The introduction and abstract introduce multiple specialized notations (i-boxes, admissible chains C, Demazure weaves W_Δ(C), PBW vectors p_i,k, half-twist Δ) in rapid succession; a short table or diagram clarifying the correspondence between these objects would improve readability.
  2. The statement of the main isomorphism (in the abstract and presumably §3 or §4) uses the symbol φ_i without an immediate reminder of its domain and codomain; repeating the full arrow notation at the first use in the body would aid navigation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive recommendation to accept. The referee's summary accurately reflects the main contributions of the paper.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper presents an explicit construction of the Demazure weave W_Δ(C) for each admissible chain C and proves the algebra isomorphism φ_i is seed-compatible while mapping PBW vectors to indexed coordinates z_k. No load-bearing step reduces by definition or by self-citation chain to its own inputs; the central claim rests on a direct mathematical construction and proof rather than fitted parameters, self-definitional relations, or uniqueness theorems imported from overlapping prior work. The derivation is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract only provides no explicit free parameters, invented entities, or non-standard axioms; relies on standard background in cluster algebras, braid groups, and monoidal categorification.

axioms (1)
  • standard math Standard properties of cluster algebras, braid groups of finite ADE type, and monoidal categorification via Hernandez-Leclerc categories hold.
    Invoked implicitly as the setting for the two constructions being compared.

pith-pipeline@v0.9.1-grok · 5907 in / 1238 out tokens · 24149 ms · 2026-06-27T20:05:50.201867+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

24 extracted references · 1 linked inside Pith

  1. [1]

    Roger Casals, Pavel Galashin, Mikhail Gorsky, Linhui Shen, Melissa Sherman-Bennett, and Jos´ e Si- mental,Comparing cluster algebras on braid varieties, arXiv 2508.03816 (2025). 42 J. HUH, W.-S. JUNG, M. KIM, AND E. PARK

    arXiv 2025

  2. [2]

    2, 369–479

    Roger Casals, Eugene Gorsky, Mikhail Gorsky, Ian Le, Linhui Shen, and Jos´ e Simental,Cluster struc- tures on braid varieties, Journal of the American Mathematical Society38(2025), no. 2, 369–479

    2025

  3. [3]

    Math.342 (2026), no

    Alessandro Contu, Fan Qin, and Qiaoling Wei,Fromi-boxes to signed words, Pacific J. Math.342 (2026), no. 1, 63–78. MR 5049283

    2026

  4. [4]

    Sergey Fomin and Andrei Zelevinsky,Cluster algebras. I. Foundations, J. Amer. Math. Soc.15(2002), no. 2, 497–529. MR 1887642

    2002

  5. [5]

    Math.243(2026), no

    Pavel Galashin, Thomas Lam, and Melissa Sherman-Bennett,Braid variety cluster structures, II: general type, Invent. Math.243(2026), no. 3, 1079–1127. MR 5008161

    2026

  6. [6]

    Pavel Galashin, Thomas Lam, Melissa Sherman-Bennett, and David Speyer,Braid variety cluster structures, I: 3D plabic graphs, arXiv 2210.04778 (2022)

    arXiv 2022

  7. [7]

    Mark Gross, Paul Hacking, Sean Keel, and Maxim Kontsevich,Canonical bases for cluster algebras, J. Amer. Math. Soc.31(2018), no. 2, 497–608. MR 3758151

    2018

  8. [8]

    David Hernandez and Bernard Leclerc,Cluster algebras and quantum affine algebras, Duke Math. J. 154(2010), no. 2, 265–341. MR 2682185

    2010

  9. [9]

    Reine Angew

    ,Quantum Grothendieck rings and derived Hall algebras, J. Reine Angew. Math.701(2015), 77–126. MR 3331727

    2015

  10. [10]

    ,A cluster algebra approach toq-characters of Kirillov-Reshetikhin modules, J. Eur. Math. Soc. (JEMS)18(2016), no. 5, 1113–1159. MR 3500832

    2016

  11. [11]

    Il-Seung Jang, Kyu-Hwan Lee, and Se-jin Oh,Braid group action on quantum virtual grothendieck ring through constructing presentations, arXiv preprint (2023), arXiv:2305.19471, 2023

    arXiv 2023

  12. [12]

    ,Quantization of virtual Grothendieck rings and their structure including quantum cluster al- gebras, Comm. Math. Phys.405(2024), no. 7, Paper No. 173, 83. MR 4773249

    2024

  13. [13]

    Math.485(2026), Paper No

    Masaki Kashiwara and Myungho Kim,Exchange matrices of I-boxes, Adv. Math.485(2026), Paper No. 110711, 67. MR 4993404

    2026

  14. [14]

    3, 13–18

    Masaki Kashiwara, Myungho Kim, Se-jin Oh, and Euiyong Park,Braid group action on the mod- ule category of quantum affine algebras, Proceedings of the Japan Academy, Series A, Mathematical Sciences97(2021), no. 3, 13–18

    2021

  15. [15]

    1, 168–210

    ,Simply laced root systems arising from quantum affine algebras, Compositio Mathematica158 (2022), no. 1, 168–210

    2022

  16. [16]

    ,Braid symmetries on bosonic extensions, arXiv 2408.07312 (2024)

    arXiv 2024

  17. [17]

    Math.236(2024), no

    ,Monoidal categorification and quantum affine algebras II, Invent. Math.236(2024), no. 2, 837–924. MR 4728243

    2024

  18. [18]

    ,Global bases for Bosonic extensions of quantum unipotent coordinate rings, Proc. Lond. Math. Soc. (3)131(2025), no. 2, Paper No. e70076, 39. MR 4947282

    2025

  19. [19]

    ,Monoidal categorification and quantum affine algebras III, arXiv 2509.14552 (2025)

    arXiv 2025

  20. [20]

    110, Birkh¨ auser Boston, Inc., Boston, MA, 1993

    George Lusztig,Introduction to quantum groups, Progress in Mathematics, vol. 110, Birkh¨ auser Boston, Inc., Boston, MA, 1993. MR 1227098

    1993

  21. [21]

    Se-jin Oh and Euiyong Park,PBW theory for bosonic extensions of quantum groups, Int. Math. Res. Not. IMRN (2025), no. 6, Paper No. rnaf049, 33. MR 4881016 i-BOXES AND DEMAZURE WEA VES 43

    2025

  22. [22]

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

    arXiv 2024

  23. [23]

    ,Based cluster algebras of infinite rank, arXiv:2409.02881v4 (2024)

    Pith/arXiv arXiv 2024

  24. [24]

    Sigma 9(2021), Paper No

    Linhui Shen and Daping Weng,Cluster structures on double Bott-Samelson cells, Forum Math. Sigma 9(2021), Paper No. e66, 89. MR 4321011 (J. Huh)Department of Mathematics, University of Seoul, Seoul 02504, Republic of Ko- rea Email address:hyunyjia@yonsei.ac.kr (W.-S. Jung)Department of Mathematics, University of Seoul, Seoul 02504, Republic of Korea Email ...

    2021