pith. sign in

arxiv: 2408.04753 · v2 · pith:EXSPKKYNnew · submitted 2024-08-08 · 🧮 math.RT · math.QA

Auslander algebras, flag combinatorics and quantum flag varieties

Bernt Tore Jensen , Xiuping Su This is my paper

Pith reviewed 2026-05-25 08:23 UTC · model grok-4.3

classification 🧮 math.RT math.QA
keywords Auslander algebraflag varietycluster algebraquantum cluster algebracategorificationFrobenius categoryquantum minorspartial flags
0
0 comments X

The pith

A module subcategory over the Auslander algebra of truncated polynomials categorifies the cluster structure on partial flag varieties and shows their quantum coordinate rings are quantum cluster algebras.

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

The paper constructs, for each subset J, a subcategory F_Δ(J) of good modules over the Auslander algebra D of C[t]/(t^n) and equips it with an exact structure E. Under this structure the category is Frobenius stably 2-Calabi-Yau and carries a cluster structure whose tilting objects match the combinatorics of the partial flag variety Fl(J). This supplies an additive categorification of the cluster algebra on the coordinate ring C[Fl(J)]. The same category detects weak and strong separation via vanishing of ext^1 and Ext^1, interprets the quasi-commutation relations among quantum minors, and shows that flips correspond to mutations. Building on the interval case together with earlier results on the open cell, the authors conclude that the quantum coordinate ring C_q[Fl(J)] is a quantum cluster algebra over C[q^{1/2}, q^{-1/2}].

Core claim

The exact category (F_Δ(J), E) is Frobenius stably 2-Calabi-Yau and admits a cluster structure consisting of cluster tilting objects. This yields an additive categorification of the cluster structure on C[Fl(J)]. Extension groups in the category detect weak and strong separation of subsets, the quasi-commutation rules of quantum minors receive a categorical interpretation, and flips and geometric exchanges correspond to mutations of tilting objects. When J is an interval every (quantum) minor is reachable by mutation. Using the interval result together with the quantum coordinate ring of the open cell and its integral form, C_q[Fl(J)] is therefore a quantum cluster algebra over C[q^{1/2}, q−

What carries the argument

The exact structure E on the subcategory F_Δ(J) of good D-modules, which renders the category Frobenius stably 2-Calabi-Yau and supplies cluster tilting objects whose combinatorics reproduce those of Fl(J).

If this is right

  • Weak separation of two subsets of [1,n-1] is equivalent to vanishing of ext^1 between the corresponding objects in (F_Δ(J), E).
  • Strong separation is equivalent to vanishing of Ext^1 between the corresponding objects.
  • Quasi-commutation relations among quantum minors are realized by the extension groups in the category.
  • Flips and geometric exchanges on the flag variety correspond to mutations of cluster tilting objects in F_Δ(J).
  • When J is an interval every minor and every quantum minor lies in the mutation orbit of the initial cluster.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same module category may be used to test other combinatorial properties of flags by computing extension groups.
  • Reachability of all minors when J is an interval supplies an explicit generation statement for the cluster algebra that can be checked by direct computation of mutations.
  • The construction links the integral form of the quantum coordinate ring to the stable category of the Frobenius category.

Load-bearing premise

The constructed subcategory F_Δ(J) equipped with the exact structure E is Frobenius stably 2-Calabi-Yau and admits a cluster structure consisting of cluster tilting objects whose combinatorics match those of the flag variety.

What would settle it

An explicit pair of weakly separated subsets whose ext^1 group is nonzero under E, or a quantum minor in C_q[Fl(J)] for interval J that lies outside the mutation orbit of the initial seed.

read the original abstract

Let $D$ be the Auslander algebra of $\mathbb{C}[t]/(t^n)$, which is quasi-hereditary, and $\mathcal{F}_\Delta$ the subcategory of good $D$-modules. For any $\mathsf{J}\subseteq[1, n-1]$, we construct a subcategory $\mathcal{F}_\Delta(\mathsf{J})$ of $\mathcal{F}_\Delta$ with an exact structure $\mathcal{E}$. We show that under $\mathcal{E}$, $\mathcal{F}_\Delta(\mathsf{J})$ is Frobenius stably 2-Calabi-Yau and admits a cluster structure consisting of cluster tilting objects. This then leads to an additive categorification of the cluster structure on the coordinate ring $\mathbb{C}[\operatorname{Fl}(\mathsf{J})]$ of the (partial) flag variety $\operatorname{Fl}(\mathsf{J})$. We further apply $\mathcal{F}_\Delta(\mathsf{J})$ to study flag combinatorics and the quantum cluster structure on the flag variety $\operatorname{Fl}(\mathsf{J})$. We show that weak and strong separation can be detected by the extension groups $\operatorname{ext}^1(-, -)$ under $\mathcal{E}$ and the extension groups $\operatorname{Ext}^1(-,-)$, respectively. We give a interpretation of the quasi-commutation rules of quantum minors and identify when the product of two quantum minors is invariant under the bar involution. The combinatorial operations of flips and geometric exchanges correspond to certain mutations of cluster tilting objects in $\mathcal{F}_\Delta(\mathsf{J})$. We then deduce that any (quantum) minor is reachable, when $\mathsf{J}$ is an interval. Building on our result for the interval case, Geiss-Leclerc-Schr\"{o}er's result on the quantum coordinate ring for the open cell of $\operatorname{Fl}(\mathsf{J})$ and Kang-Kashiwara-Kim-Oh's enhancement of that to the integral form, we prove that $\mathbb{C}_q[\operatorname{Fl}(\mathsf{J})]$ is a quantum cluster algebra over $\mathbb{C}[q^{\frac{1}{2}},q^{-\frac{1}{2}}]$.

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

1 major / 2 minor

Summary. The manuscript constructs a subcategory F_Δ(J) of good modules over the Auslander algebra D of C[t]/(t^n) for arbitrary J subset [1,n-1], equips it with an exact structure E, and proves that (F_Δ(J), E) is Frobenius stably 2-Calabi-Yau and admits a cluster structure via cluster tilting objects whose combinatorics (including ext^1 detection of weak/strong separation and mutation-flip correspondence) match those of the partial flag variety Fl(J). This yields an additive categorification of the cluster structure on C[Fl(J)]. The construction is further applied to flag combinatorics, quasi-commutation rules of quantum minors, and the bar involution. Reachability of every (quantum) minor is shown when J is an interval. For general J the authors invoke Geiss-Leclerc-Schröer on the quantum coordinate ring of the open cell and Kang-Kashiwara-Kim-Oh on the integral form to conclude that C_q[Fl(J)] is a quantum cluster algebra over C[q^{1/2}, q^{-1/2}].

Significance. If the central claims hold, the work supplies a new Auslander-algebra categorification of cluster structures on (partial) flag varieties that simultaneously handles arbitrary J and links representation-theoretic Ext groups to combinatorial separation and quantum minor relations. The explicit correspondence between mutations and geometric exchanges, together with the reduction of the general quantum-cluster claim to the interval case plus two external results, would be a concrete advance in the interface of representation theory and quantum cluster algebras.

major comments (1)
  1. [Abstract and quantum cluster algebra deduction] Abstract (final paragraph) and the section deducing the quantum cluster algebra structure: the claim that C_q[Fl(J)] is a quantum cluster algebra for general J is obtained by combining the interval-case reachability result with GLS (open cell) and KKKO (integral form). No explicit verification is supplied that the cluster variables arising from the cluster tilting objects in F_Δ(J) coincide with the quantum minors, or that the exchange relations in the categorification match the q-deformed Plücker relations, when J is not an interval. This compatibility is load-bearing for the general statement.
minor comments (2)
  1. [Introduction / §2] The notation for the exact structure E and the subcategory F_Δ(J) should be introduced with a short diagram or table summarizing the objects and morphisms for a small n and non-interval J.
  2. [Introduction] Several citations to prior work on Auslander algebras and flag varieties appear only in the introduction; a dedicated comparison subsection would help readers locate the precise novelty relative to existing categorifications.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback on our manuscript. We address the major comment point by point below.

read point-by-point responses

  1. Referee: [Abstract and quantum cluster algebra deduction] Abstract (final paragraph) and the section deducing the quantum cluster algebra structure: the claim that C_q[Fl(J)] is a quantum cluster algebra for general J is obtained by combining the interval-case reachability result with GLS (open cell) and KKKO (integral form). No explicit verification is supplied that the cluster variables arising from the cluster tilting objects in F_Δ(J) coincide with the quantum minors, or that the exchange relations in the categorification match the q-deformed Plücker relations, when J is not an interval. This compatibility is load-bearing for the general statement.

    Authors: We thank the referee for this observation. The explicit identification of cluster variables from our tilting objects with quantum minors, together with the matching of exchange relations to the q-deformed Plücker relations, is established directly in the interval case (via the reachability result for every minor). For general J the argument proceeds by reduction to the open cell: Geiss-Leclerc-Schröer already establish that the quantum coordinate ring of the open cell is a quantum cluster algebra whose cluster variables are precisely the quantum minors and whose exchange relations are the q-deformed Plücker relations; Kang-Kashiwara-Kim-Oh then lift this to the integral form. Because the open cell is dense in Fl(J) and the cluster structure on the full coordinate ring is determined by its restriction to the open cell, the compatibility verified for intervals transfers to arbitrary J through these two external results. The categorification itself (Frobenius stably 2-Calabi-Yau structure and cluster tilting objects) is constructed uniformly for any J and supplies the additive categorification of the classical cluster structure; the quantum statement for general J is obtained by combining the interval-case verification with the cited theorems. To make the logical flow fully transparent we will insert a short clarifying paragraph in the relevant section spelling out this reduction. We therefore regard the general claim as correctly supported, but agree that an explicit remark will improve readability. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation chains independent categorification to external results

full rationale

The paper first constructs F_Δ(J) with exact structure E and proves it is Frobenius stably 2-CY with cluster-tilting objects whose combinatorics match Fl(J), independently of the quantum claim. It then uses this to detect separations via ext^1, interpret quasi-commutation, and show mutations correspond to flips, all within the categorification. Reachability of every minor is deduced only for interval J as a direct consequence of the cluster structure in F_Δ(J). The general-J quantum cluster algebra statement is obtained by adjoining two external results (GLS on the open cell and KKKO on the integral form) to the interval case; no step reduces by definition, by fitted parameter, or by self-citation chain to its own input. The interval sub-result is a proper lemma inside the paper, not a circular dependency.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review yields no concrete free parameters, axioms, or invented entities; the construction of F_Δ(J) and E is presented as new but its precise assumptions are not detailed.

pith-pipeline@v0.9.0 · 5926 in / 1239 out tokens · 28922 ms · 2026-05-25T08:23:40.637513+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

42 extracted references · 42 canonical work pages

  1. [1]

    and Zelevinsky A., Cluster algebras III: Upper bounds and double Bruhat cells, Duke

    Berenstein A., Fomin S. and Zelevinsky A., Cluster algebras III: Upper bounds and double Bruhat cells, Duke. Math. J. 126 (2005), 1-52

    work page 2005

  2. [2]

    and Zelevinsky A., Quantum cluster algebras , Adv

    Berenstein A. and Zelevinsky A., Quantum cluster algebras , Adv. Math. 195 (2005) 405-455

    work page 2005

  3. [3]

    and Scott J., Cluster structures for 2-Calabi–Yau categories and unipotent groups, Compos

    Buan A.B., Iyama O., Reiten I. and Scott J., Cluster structures for 2-Calabi–Yau categories and unipotent groups, Compos. Math. 145 (2009), 1035-1079

    work page 2009

  4. [4]

    Crawley-Boevey W., On the exceptional fibres of Kleinian singularities , Amer. J. Math. 122 (2000), 1027-1037

    work page 2000

  5. [5]

    and Chapoton F., Cluster algebras as Hall algebras of quiver representation s, Com- ment

    Caldero P. and Chapoton F., Cluster algebras as Hall algebras of quiver representation s, Com- ment. Math. Helv. 81 (2006), 595-616

    work page 2006

  6. [6]

    Br¨ ustle, T., Hille, L., Ringel, C. M. and R¨ ohrle, G., The ∆-filtered modules without self- extensions for the Auslander algebra of k[T ]/⟨T n⟩, Alg. and Repr. Theory 2 (1999), 295-312

    work page 1999

  7. [7]

    and Koshevoy G., Combined tilings and separated set-systems , Selcta Math., 23 (2017), 1175-1203

    Danilov V., Karzanov A. and Koshevoy G., Combined tilings and separated set-systems , Selcta Math., 23 (2017), 1175-1203. AUSLANDER ALGEBRAS, FLAG COMBINATORICS AND QUANTUM FLAG V A RIETIES 71

    work page 2017

  8. [8]

    and Koshevoy G., On maximal weakly separated set-systems , J

    Danilov V., Karzanov A. and Koshevoy G., On maximal weakly separated set-systems , J. Alg. Comb. 32 (2010), 497-531

    work page 2010

  9. [9]

    and Iyama O., Lifting preprojective algebras to orders and categorifyin g partial flag varieties, Alg

    Demonet L. and Iyama O., Lifting preprojective algebras to orders and categorifyin g partial flag varieties, Alg. and Nr. Theory 10 (2016), 1527-1579

    work page 2016

  10. [10]

    and Ringel, C

    Dlab, V. and Ringel, C. M., Quasi-hereditary algebras, Illinois J. Math. 33 (1989), 280-291

    work page 1989

  11. [11]

    M., The module theoretical approach to quasi-hereditary algeb ras

    Dlab and V., Ringel, C. M., The module theoretical approach to quasi-hereditary algeb ras. Rep- resentations of Algebras and Related Topics. L. M. S. lect. n ot. ser. 168

    work page

  12. [12]

    Dr¨ axler, P., Reiten I., Smalo S., Keller B., Exact categories and vector space categories , Tran. A. M. S. 351, 647-682

    work page

  13. [13]

    Fioresi, Quantum deformation of the flag variety , Comm

    R. Fioresi, Quantum deformation of the flag variety , Comm. in Alg. 27 (1999), 5669-5685

    work page 1999

  14. [14]

    and Takhtadzhyan L., Quantization of Lie groups and Lie algebras , Leningrad Math

    Faddeev L., Reshetikhin N. and Takhtadzhyan L., Quantization of Lie groups and Lie algebras , Leningrad Math. J. 1 (1990), 193-225

    work page 1990

  15. [15]

    and Zelevinsky A., Cluster algebras I: Foundations , J

    Fomin S. and Zelevinsky A., Cluster algebras I: Foundations , J. A. M. S. 15 (2002), 497-529

    work page 2002

  16. [16]

    Fu and Keller B., On cluster algebras with coefficients and 2-Calabi–Yau categ ories, Trans

    Q. Fu and Keller B., On cluster algebras with coefficients and 2-Calabi–Yau categ ories, Trans. A. M. S. Vol 362 (2010) 859-895

    work page 2010

  17. [17]

    Geiss C., Leclerc B., and Schr¨ oer J., Rigid modules over preprojective algebras , Invent. Math. 165 (2006), 589-632

    work page 2006

  18. [18]

    de l’Institut Fourier 58 (2008), 825-876

    Geiss C., Leclerc B., and Schr¨ oer J., Partial flag varieties and preprojective algebras , Ann. de l’Institut Fourier 58 (2008), 825-876

    work page 2008

  19. [19]

    Geiss C., Leclerc B., and Schr¨ oer J., Kac-Moody groups and cluster algebras , Adv. Math. 228 (2011), 329-433

    work page 2011

  20. [20]

    Geiss C., Leclerc B., and Schr¨ oer J., Generic basis for cluster algebras and the Chamber Ansatz , J. A. M. S., 25 (2012), 21-76

    work page 2012

  21. [21]

    19 (2013), 337-397

    Geiss C., Leclerc B., and Schr¨ oer J., Cluster structures on quantum coordinate rings , Selecta Math. 19 (2013), 337-397

    work page 2013

  22. [22]

    Geiss C., Leclerc B., and Schr¨ oer J., Quantum cluster algbras and their specialisations , J. Alg. 558 (2020), 411-422

    work page 2020

  23. [23]

    Goodearl K. R. and Yakimov M. T., Integral quantum cluster structures , Duk. Math. J., 170 (2021), 1137-1199

    work page 2021

  24. [24]

    and Launois S., Graded quantum cluster algebras and an application to quant um Grassmannians, Proc

    Grabowski J. and Launois S., Graded quantum cluster algebras and an application to quant um Grassmannians, Proc. L.M.S. 109 (2014), 697-732

    work page 2014

  25. [25]

    and Vossieck, D., The quasi-hereditary algebra associated to the radical bim odule over a hereditary algebra , Colloq

    Hille, L. and Vossieck, D., The quasi-hereditary algebra associated to the radical bim odule over a hereditary algebra , Colloq. Math., 98 (2003), 201-211

    work page 2003

  26. [26]

    Iyama O., Higher dimensional Auslander correspondence , Adv. in Math. 210 (2007), 51-82. arXiv:math.RT/0411631

    work page arXiv 2007

  27. [27]

    and Malikov F., Rings of skew polynomials and Gel’fand-Kirillov conjectur e for quan- tum groups , Comm

    Iohara K. and Malikov F., Rings of skew polynomials and Gel’fand-Kirillov conjectur e for quan- tum groups , Comm. Math. Phys. 164 (1994), 217-237

    work page 1994

  28. [28]

    T., King A

    Jensen B. T., King A. and Su X., A categorification of Grassmannian cluster algebras , Proc. L. M. S. 113 (2016), 185-212

    work page 2016

  29. [29]

    and Su X., Categorification and the quantum Grassmannian , Adv

    Jensen B.T., King A. and Su X., Categorification and the quantum Grassmannian , Adv. Math. 406 (2022)

    work page 2022

  30. [30]

    Jensen, B. T. and Su, X., Adjoint action of automorphism groups on radical endomorph isms, generic equivalence and Dynkin quivers , Alg. and Rep. Theory, 17 (2014), 1095-1136

    work page 2014

  31. [31]

    Monoidal categorification of cluster algebras , J

    Kang S., Kashiwara M., Kim M., Oh S. Monoidal categorification of cluster algebras , J. A. M. S., 31 (2018), 349-426

    work page 2018

  32. [32]

    and Yang D., it Frobenius ca tegories, Gorenstein algebras and rational surface singularities, Comp

    Kalck M., Iyama O., Wemyss M. and Yang D., it Frobenius ca tegories, Gorenstein algebras and rational surface singularities, Comp. Math., 151(2015), 5 02-534

    work page 2015

  33. [33]

    Kimuar K., Quantum unipotent subgroup and dual canonical basis , Kyoto J. Math. 52 (2012), 277-331

    work page 2012

  34. [34]

    and Reshetikhin N., Quantum deformations of Flag and Schubert schemes , C

    Lakshmibai V. and Reshetikhin N., Quantum deformations of Flag and Schubert schemes , C. R. Acad. Sci. Paris Ser. I Math. 313 (1991), no. 3, 121-126

    work page 1991

  35. [35]

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

    work page 2016

  36. [36]

    and Zelevinsky A., Quasicommuting families of quantum Pl¨ ucker coordinates , Kir- illov’s Seminar on Representation Theory, A

    Leclerc B. and Zelevinsky A., Quasicommuting families of quantum Pl¨ ucker coordinates , Kir- illov’s Seminar on Representation Theory, A. M. S. Transl. S er. 2 181 (1998) 85-108

    work page 1998

  37. [37]

    and Speyer D.E., Weak seperation and plabic graphs , Proc

    Oh S., Postnikov A. and Speyer D.E., Weak seperation and plabic graphs , Proc. L.M.S. 110 (2015), 721-754. 72 BERNT TORE JENSEN AND XIUPING SU

    work page 2015

  38. [38]

    Palu Y., Cluster characters for 2-Calabi–Yau triangulated categor ies, Ann. Inst. Fourier 58 (2008), 2221-2248

    work page 2008

  39. [39]

    L.M.S 92 (2006), 345-380

    Scott J., Grassmannians and cluster algebras , Proc. L.M.S 92 (2006), 345-380

    work page 2006

  40. [40]

    and Willams L., Newton–Okoukov bodies, cluster duality and mirror symmetr y for Grassmannians, Duke Math

    Rietsch K. and Willams L., Newton–Okoukov bodies, cluster duality and mirror symmetr y for Grassmannians, Duke Math. J. 168 (2019) 3437-3527

    work page 2019

  41. [41]

    Ringel C. M. and Zhang P., From submodule categories to preprojective algebras , Math. Zeit., 278 (2014), 55-73

    work page 2014

  42. [42]

    and Towber J., Quantum deformation of flag schemes and Grassmann schemes I

    Taft E. and Towber J., Quantum deformation of flag schemes and Grassmann schemes I. A q-deformation of the shape-algebra for GLn, J. Alg. 142 (1991), 1-36. BTJ: Department of Mathematical Sciences, Norwegian Univers ity of Science and Technology, Gjøvik, Teknologvn. 22, 2815 Gjøvik, Norway Email address : bernt.jensen@ntnu.no XS: Mathematical Sciences, Uni...

    work page 1991