g-vectors and DT-F-polynomials for Grassmannians
Pith reviewed 2026-05-23 19:54 UTC · model grok-4.3
The pith
The g-vectors of Plücker coordinates with respect to the triangular initial seed are determined via Frobenius categorification, and the F-polynomials for the Donaldson-Thomas transformation are expressed in terms of 3-dimensional Young 3D
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using the Hom-infinite Frobenius categorification of cluster algebras with coefficients, applied to Jensen-King-Su's Frobenius categorification of the Grassmannian, the g-vectors of the Plücker coordinates are determined with respect to the triangular initial seed, and the F-polynomials associated with the Donaldson-Thomas transformation are expressed in terms of 3-dimensional Young diagrams, providing a new proof for a theorem of Daping Weng.
What carries the argument
Hom-infinite Frobenius categorification of cluster algebras with coefficients, which converts the g-vectors and F-polynomials into data coming from the stable category of the Grassmannian categorification.
Load-bearing premise
Jensen-King-Su's Frobenius categorification of the Grassmannian is valid and the Hom-infinite categorification applies directly to produce the stated g-vectors and F-polynomials.
What would settle it
Direct computation of the g-vector of a specific Plücker coordinate such as p_{1,2,3} in Gr(3,6) from the exchange matrix of the triangular seed, compared against the value predicted by the categorification.
Figures
read the original abstract
We review $\mathrm{Hom}$-infinite Frobenius categorification of cluster algebras with coefficients and use it to give two applications of Jensen--King--Su's Frobenius categorification of the Grassmannian: 1) we determine the $g$-vectors of the Pl\"ucker coordinates with respect to the triangular initial seed and 2) we express the $F$-polynomials associated with the Donaldson--Thomas transformation in terms of $3$-dimensional Young diagrams thus providing a new proof for a theorem of Daping Weng.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript reviews Hom-infinite Frobenius categorification of cluster algebras with coefficients and applies it to Jensen--King--Su's Frobenius categorification of the Grassmannian. It determines the g-vectors of the Plücker coordinates with respect to the triangular initial seed and expresses the F-polynomials associated with the Donaldson--Thomas transformation in terms of 3-dimensional Young diagrams, providing a new proof for a theorem of Daping Weng.
Significance. If the transfer of hypotheses is rigorously justified, the results supply explicit combinatorial formulas for g-vectors and DT F-polynomials on Grassmannians via categorification, together with an alternative proof of Weng's theorem. This strengthens links between Frobenius categories and cluster invariants and may enable further combinatorial applications.
major comments (1)
- [Review of general framework and applications] The central claims rest on invoking the general Hom-infinite Frobenius categorification theorem on the Jensen--King--Su category. The manuscript reviews the general framework but does not contain an explicit checklist confirming each hypothesis (Hom-infinite property, existence of enough projectives/injectives, compatibility of the Frobenius structure with the cluster algebra with coefficients, and the precise form of the initial seed) holds verbatim for the Grassmannian case. This verification is load-bearing for the stated g-vectors and the identification of F-polynomials with 3D diagrams.
Simulated Author's Rebuttal
We thank the referee for the constructive report and for identifying a point that will improve the clarity of our application of the general framework. We address the major comment below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: [Review of general framework and applications] The central claims rest on invoking the general Hom-infinite Frobenius categorification theorem on the Jensen--King--Su category. The manuscript reviews the general framework but does not contain an explicit checklist confirming each hypothesis (Hom-infinite property, existence of enough projectives/injectives, compatibility of the Frobenius structure with the cluster algebra with coefficients, and the precise form of the initial seed) holds verbatim for the Grassmannian case. This verification is load-bearing for the stated g-vectors and the identification of F-polynomials with 3D diagrams.
Authors: We agree that an explicit checklist would strengthen the exposition and make the transfer of hypotheses fully transparent. In the revised manuscript we will add a new subsection (placed immediately after the review of the general framework) that systematically verifies each listed hypothesis for the Jensen--King--Su category, citing the relevant statements and proofs from Jensen--King--Su together with the precise form of the triangular initial seed used in our applications. revision: yes
Circularity Check
Application of reviewed general categorification theorems to Grassmannian yields independent g-vector and F-polynomial results
full rationale
The paper reviews the Hom-infinite Frobenius categorification framework and invokes Jensen--King--Su's separate categorification of the Grassmannian to derive the g-vectors of Plücker coordinates and the expression of DT F-polynomials via 3D Young diagrams. These steps constitute applications of external theorems rather than self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations that collapse the claimed results to their inputs by construction. No equations or definitions in the provided abstract or context exhibit the enumerated circularity patterns; the derivation chain remains self-contained against the cited external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Jensen--King--Su's Frobenius categorification of the Grassmannian holds and can be used to compute the stated invariants
- domain assumption The reviewed Hom-infinite Frobenius categorification of cluster algebras with coefficients is valid
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
we express the F-polynomials associated with the Donaldson–Thomas transformation in terms of 3-dimensional Young diagrams
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Claire Amiot, Cluster categories for algebras of global dimension 2 and quivers with potential , Annales de l’institut Fourier 59 (2009), no. 6, 2525–2590
work page 2009
-
[2]
g-VECTORS AND DT -F -POLYNOMIALS 35
Ibrahim Assem, Andrzej Skowronski, and Daniel Simson, Elements of the representation theory of associative algebras: Techniques of representation theory, London Mathematical Society Student Texts, Cambridge University Press, 2006. g-VECTORS AND DT -F -POLYNOMIALS 35
work page 2006
-
[3]
Sarjick Bakshi and Bernhard Keller, g -vectors and DT-F-polynomials for Grassmannians , arXiv:2410.01037 v1 [math.RT]
work page internal anchor Pith review Pith/arXiv arXiv
-
[4]
Karin Baur and Dusko Bogdanic, Extensions between Cohen-Macaulay modules of Grassmannian cluster categories, J. Algebraic Combin. 45 (2017), no. 4, 965–1000. MR 3641974
work page 2017
-
[5]
Bia l ynicki Birula, Some theorems on actions of algebraic groups , Ann
A. Bia l ynicki Birula, Some theorems on actions of algebraic groups , Ann. of Math. (2) 98 (1973), 480–497
work page 1973
-
[6]
Lakshmibai, Singular loci of Schubert varieties , Progress in Mathematics, vol
Sara Billey and V. Lakshmibai, Singular loci of Schubert varieties , Progress in Mathematics, vol. 182, Birkh¨ auser Boston, Inc., Boston, MA, 2000
work page 2000
-
[7]
Thomas Br¨ ustle, Gr´ egoire Dupont, and Matthieu P´ erotin,On maximal green sequences , Int. Math. Res. Not. IMRN (2014), no. 16, 4547–4586
work page 2014
-
[8]
A. B. Buan, O. Iyama, I. Reiten, and J. Scott, Cluster structures for 2-Calabi-Yau categories and unipotent groups, Compos. Math. 145 (2009), no. 4, 1035–1079
work page 2009
-
[9]
Philippe Caldero and Fr´ ed´ eric Chapoton,Cluster algebras as Hall algebras of quiver representations , Comment. Math. Helv. 81 (2006), no. 3, 595–616
work page 2006
- [10]
-
[11]
˙Ilke C ¸ anak¸ cı, Alastair King, and Matthew Pressland,Perfect matching modules, dimer partition func- tions and cluster characters , Adv. Math. 443 (2024), Paper No. 109570, 64
work page 2024
-
[12]
Giovanni Cerulli Irelli, Bernhard Keller, Daniel Labardini-Fragoso, and Pierre-Guy Plamondon, Linear independence of cluster monomials for skew-symmetric cluster algebras , Compos. Math. 149 (2013), no. 10, 1753–1764
work page 2013
-
[13]
Holland, Noncommutative deformations of Kleinian singulari- ties, Duke Math
William Crawley-Boevey and Martin P. Holland, Noncommutative deformations of Kleinian singulari- ties, Duke Math. J. 92 (1998), no. 3, 605–635
work page 1998
-
[14]
Raika Dehy and Bernhard Keller, On the combinatorics of rigid objects in 2-Calabi-Yau categories , Int. Math. Res. Not. IMRN (2008), no. 11, Art. ID rnn029, 17
work page 2008
-
[15]
Harm Derksen, Jerzy Weyman, and Andrei Zelevinsky, Quivers with potentials and their representations II: Applications to cluster algebras , J. Amer. Math. Soc. 23 (2010), 749–790
work page 2010
-
[16]
Vladimir V. Fock and Alexander B. Goncharov, Cluster ensembles, quantization and the dilogarithm , Annales scientifiques de l’ENS 42 (2009), no. 6, 865–930
work page 2009
-
[17]
Sergey Fomin and Andrei Zelevinsky, Cluster algebras. I. Foundations , J. Amer. Math. Soc. 15 (2002), no. 2, 497–529
work page 2002
-
[18]
, Cluster algebras. II. Finite type classification , Invent. Math. 154 (2003), no. 1, 63–121
work page 2003
-
[19]
, Cluster algebras. IV. Coefficients , Compos. Math. 143 (2007), no. 1, 112–164
work page 2007
-
[20]
Chris Fraser, Quasi-homomorphisms of cluster algebras , Adv. in Appl. Math. 81 (2016), 40–77
work page 2016
-
[21]
Changjian Fu and Bernhard Keller, On cluster algebras with coefficients and 2-Calabi-Yau categories , Trans. Amer. Math. Soc. 362 (2010), no. 2, 859–895
work page 2010
-
[22]
Christof Geiss, Bernard Leclerc, and Jan Schr¨ oer,Partial flag varieties and preprojective algebras, Ann. Inst. Fourier (Grenoble) 58 (2008), no. 3, 825–876
work page 2008
-
[23]
Christof Geiß, Bernard Leclerc, and Jan Schr¨ oer, Kac-Moody groups and cluster algebras , Adv. Math. 228 (2011), no. 1, 329–433
work page 2011
-
[24]
Michael Gekhtman, Tomoki Nakanishi, and Dylan Rupel, Hamiltonian and Lagrangian formalisms of mutations in cluster algebras and application to dilogarithm identities , J. Integrable Syst. 2 (2017), no. 1, xyx005, 35 pp
work page 2017
-
[25]
Alexander Goncharov and Linhui Shen, Donaldson-Thomas transformations of moduli spaces of G-local systems, Adv. Math. 327 (2018), 225–348
work page 2018
-
[26]
Mark Gross, Paul Hacking, Sean Keel, and Maxim Kontsevich, Canonical bases for cluster algebras , J. Amer. Math. Soc. 31 (2018), no. 2, 497–608
work page 2018
-
[27]
Dieter Happel, On the derived category of a finite-dimensional algebra , Comment. Math. Helv. 62 (1987), no. 3, 339–389
work page 1987
-
[28]
Rei Inoue, Osamu Iyama, Bernhard Keller, Atsuo Kuniba, and Tomoki Nakanishi, Periodicities of T- systems and Y-systems, dilogarithm identities, and cluster algebras I: type Br, Publ. Res. Inst. Math. Sci. 49 (2013), no. 1, 1–42
work page 2013
-
[29]
, Periodicities of T-systems and Y-systems, dilogarithm identities, and cluster algebras II: types Cr, F4, and G2, Publ. Res. Inst. Math. Sci. 49 (2013), no. 1, 43–85
work page 2013
-
[30]
Osamu Iyama, Higher-dimensional Auslander-Reiten theory on maximal orthogonal subcategories, Adv. Math. 210 (2007), no. 1, 22–50
work page 2007
-
[31]
Bernt Tore Jensen, Alastair King, and Xiuping Su, Categorification and the quantum Grassmannian , Adv. Math. 406 (2022), Paper No. 108577, 29. 36 SARJICK BAKSHI AND BERNHARD KELLER
work page 2022
-
[32]
King, and Xiuping Su, A categorification of Grassmannian cluster algebras, Proc
Bernt Tore Jensen, Alastair D. King, and Xiuping Su, A categorification of Grassmannian cluster algebras, Proc. Lond. Math. Soc. (3) 113 (2016), no. 2, 185–212
work page 2016
-
[33]
Rinat M. Kashaev and Tomoki Nakanishi, Classical and quantum dilogarithm identities , SIGMA Sym- metry Integrability Geom. Methods Appl. 7 (2011), Paper 102, 29
work page 2011
-
[34]
Bernhard Keller, Quiver mutation and combinatorial DT-invariants , corrected version of a submission to FPSAC 2013, arXiv:1709.03143 [math.CO]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[35]
, Quiver mutation in Java and JavaScript , Interactive Java application available at the author’s home page since 2006
work page 2006
- [36]
-
[37]
, On cluster theory and quantum dilogarithm identities , Representations of algebras and related topics, EMS Ser. Congr. Rep., Eur. Math. Soc., Z¨ urich, 2011, pp. 85–116
work page 2011
-
[38]
, Cluster algebras and derived categories , Derived categories in algebraic geometry, EMS Ser. Congr. Rep., Eur. Math. Soc., Z¨ urich, 2012, pp. 123–183
work page 2012
-
[39]
Bernhard Keller and Laurent Demonet, A survey on maximal green sequences , Representation theory and beyond, Contemp. Math., vol. 758, Amer. Math. Soc., Providence, RI, 2020, pp. 267–286
work page 2020
-
[40]
Bernhard Keller and Idun Reiten, Acyclic Calabi-Yau categories , Compos. Math. 144 (2008), no. 5, 1332–1348, With an appendix by Michel Van den Bergh
work page 2008
-
[41]
Maxim Kontsevich and Yan Soibelman, Stability structures, motivic Donaldson-Thomas invariants and cluster transformations, arXiv:0811.2435
work page internal anchor Pith review Pith/arXiv arXiv
-
[42]
Henning Krause, Krull-Schmidt categories and projective covers, Expo. Math. 33 (2015), no. 4, 535–549
work page 2015
-
[43]
V. Lakshmibai and J. Weyman, Multiplicities of points on a Schubert variety in a minuscule G{P , Adv. Math. 84 (1990), no. 2, 179–208
work page 1990
-
[44]
Raghavan, Standard monomial theory, Encyclopae- dia of Mathematical Sciences, vol
Venkatramani Lakshmibai and Komaranapuram N. Raghavan, Standard monomial theory, Encyclopae- dia of Mathematical Sciences, vol. 137, Springer-Verlag, Berlin, 2008, Invariant theoretic approach, Invariant Theory and Algebraic Transformation Groups, 8
work page 2008
-
[45]
R. J. Marsh and J. S. Scott, Twists of Pl¨ ucker coordinates as dimer partition functions, Comm. Math. Phys. 341 (2016), no. 3, 821–884. MR 3452273
work page 2016
-
[46]
Greg Muller, The existence of a maximal green sequence is not invariant under quiver mutation , Elec- tron. J. Combin. 23 (2016), no. 2, Paper 2.47, 23
work page 2016
-
[47]
Speyer, The twist for positroid varieties , Proc
Greg Muller and David E. Speyer, The twist for positroid varieties , Proc. Lond. Math. Soc. (3) 115 (2017), no. 5, 1014–1071. MR 3733558
work page 2017
-
[48]
Kentaro Nagao, Donaldson-Thomas theory and cluster algebras , Duke Math. J. 162 (2013), no. 7, 1313–1367
work page 2013
-
[49]
Tomoki Nakanishi, Dilogarithm identities for conformal field theories and cluster algebras: simply laced case, Nagoya Math. J. 202 (2011), 23–43
work page 2011
-
[50]
, Periodicities in cluster algebras and dilogarithm identities , Representations of algebras and related topics, EMS Ser. Congr. Rep., Eur. Math. Soc., Z¨ urich, 2011, pp. 407–443
work page 2011
-
[51]
, Quantum generalized cluster algebras and quantum dilogarithm functions of higher degrees , Teoret. Mat. Fiz. 185 (2015), no. 3, 460–470
work page 2015
-
[52]
, Rogers dilogarithms of higher degree and generalized cluster algebras , J. Math. Soc. Japan 70 (2018), no. 4, 1269–1304
work page 2018
-
[53]
, Synchronicity phenomenon in cluster patterns , J. Lond. Math. Soc. (2) 103 (2021), no. 3, 1120–1152
work page 2021
-
[54]
, Dilogarithm identities in cluster scattering diagrams , Nagoya Math. J. 253 (2024), 1–22
work page 2024
-
[55]
Tomoki Nakanishi and Andrei Zelevinsky, On tropical dualities in cluster algebras, 565 (2012), 217–226
work page 2012
-
[56]
Speyer, Weak separation and plabic graphs , Proc
Suho Oh, Alexander Postnikov, and David E. Speyer, Weak separation and plabic graphs , Proc. Lond. Math. Soc. (3) 110 (2015), no. 3, 721–754
work page 2015
- [57]
-
[58]
Alexander Postnikov, Total positivity, Grassmannians, and networks , arXiv preprint math/0609764 (2006)
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[59]
Scott, Grassmannians and cluster algebras , Proc
Joshua S. Scott, Grassmannians and cluster algebras , Proc. London Math. Soc. (3) 92 (2006), no. 2, 345–380
work page 2006
-
[60]
Linhui Shen and Daping Weng, Cluster structures on double Bott-Samelson cells , Forum Math. Sigma 9 (2021), Paper No. e66, 89
work page 2021
-
[61]
Michel Van den Bergh, Calabi-Yau algebras and superpotentials, Selecta Math. (N.S.) 21 (2015), no. 2, 555–603. g-VECTORS AND DT -F -POLYNOMIALS 37
work page 2015
- [62]
-
[63]
, Donaldson-Thomas transformation of double Bruhat cells in semisimple Lie groups , Ann. Sci. ´Ec. Norm. Sup´ er. (4)53 (2020), no. 2
work page 2020
-
[64]
, Donaldson-Thomas transformation of Grassmannian , Adv. Math. 383 (2021), Paper No. 107721, 58. Department of Mathematics and Statistics, Indian Institute of Technology Kanpur, 208 016, India. Email address: sarjick91@gmail.com Universit´e Paris Cit´e and Sorbonne Universit ´e, CNRS, IMJ-PRG, F-75013 Paris, France Email address: bernhard.keller@imj-prg.f...
work page 2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.