pith. sign in

arxiv: 2410.01037 · v4 · pith:OA4KZC3Vnew · submitted 2024-10-01 · 🧮 math.RT · math.AG

g-vectors and DT-F-polynomials for Grassmannians

Pith reviewed 2026-05-23 19:54 UTC · model grok-4.3

classification 🧮 math.RT math.AG
keywords Grassmanniancluster algebrag-vectorF-polynomialDonaldson-Thomas transformationFrobenius categoryPlücker coordinateYoung diagram
0
0 comments X

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.

The paper reviews Hom-infinite Frobenius categorification of cluster algebras with coefficients and applies it to Jensen-King-Su's categorification of the Grassmannian. This produces explicit g-vectors for the Plücker coordinates relative to the triangular seed. It also yields expressions for the F-polynomials attached to the Donaldson-Thomas transformation that are indexed by three-dimensional Young diagrams. The work supplies a new proof of a theorem of Daping Weng. A reader would care because g-vectors and F-polynomials govern the mutation behavior and positivity properties of the cluster algebra on the Grassmannian.

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

Figures reproduced from arXiv: 2410.01037 by Bernhard Keller, Sarjick Bakshi.

Figure 1
Figure 1. Figure 1: Example of a module LI For I P Ipk, nq we can associate to each YI the Jensen–King–Su module LI as follows. Let Y T I denote the transpose of the Young diagram YI . Rotate it by 3π{4 in the counter￾clockwise direction. We identify the upper rim of this rotated diagram with the upper rim of the JKS diagram of the module LI associated with I, cf [PITH_FULL_IMAGE:figures/full_fig_p022_1.png] view at source ↗
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.

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 / 0 minor

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)
  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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger records the explicit dependencies stated there. The central claims rest on the correctness of two prior categorification results.

axioms (2)
  • domain assumption Jensen--King--Su's Frobenius categorification of the Grassmannian holds and can be used to compute the stated invariants
    The two applications are direct consequences of this categorification.
  • domain assumption The reviewed Hom-infinite Frobenius categorification of cluster algebras with coefficients is valid
    The paper reviews and then applies this framework to obtain the results.

pith-pipeline@v0.9.0 · 5615 in / 1445 out tokens · 32191 ms · 2026-05-23T19:54:33.124468+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

64 extracted references · 64 canonical work pages · 4 internal anchors

  1. [1]

    6, 2525–2590

    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

  2. [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

  3. [3]

    Sarjick Bakshi and Bernhard Keller, g -vectors and DT-F-polynomials for Grassmannians , arXiv:2410.01037 v1 [math.RT]

  4. [4]

    Algebraic Combin

    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

  5. [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

  6. [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

  7. [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

  8. [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

  9. [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

  10. [10]

    Roger Casals, Eugene Gorsky, Mikhail Gorsky, Ian Le, Linhui Shen, and Jos´ e Simental, Cluster struc- tures on braid varieties , arXiv:2207.11607 (2022)

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [16]

    Fock and Alexander B

    Vladimir V. Fock and Alexander B. Goncharov, Cluster ensembles, quantization and the dilogarithm , Annales scientifiques de l’ENS 42 (2009), no. 6, 865–930

  17. [17]

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

  18. [18]

    , Cluster algebras. II. Finite type classification , Invent. Math. 154 (2003), no. 1, 63–121

  19. [19]

    , Cluster algebras. IV. Coefficients , Compos. Math. 143 (2007), no. 1, 112–164

  20. [20]

    Chris Fraser, Quasi-homomorphisms of cluster algebras , Adv. in Appl. Math. 81 (2016), 40–77

  21. [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

  22. [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

  23. [23]

    Christof Geiß, Bernard Leclerc, and Jan Schr¨ oer, Kac-Moody groups and cluster algebras , Adv. Math. 228 (2011), no. 1, 329–433

  24. [24]

    Integrable Syst

    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

  25. [25]

    Alexander Goncharov and Linhui Shen, Donaldson-Thomas transformations of moduli spaces of G-local systems, Adv. Math. 327 (2018), 225–348

  26. [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

  27. [27]

    Dieter Happel, On the derived category of a finite-dimensional algebra , Comment. Math. Helv. 62 (1987), no. 3, 339–389

  28. [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

  29. [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

  30. [30]

    Osamu Iyama, Higher-dimensional Auslander-Reiten theory on maximal orthogonal subcategories, Adv. Math. 210 (2007), no. 1, 22–50

  31. [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

  32. [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

  33. [33]

    Kashaev and Tomoki Nakanishi, Classical and quantum dilogarithm identities , SIGMA Sym- metry Integrability Geom

    Rinat M. Kashaev and Tomoki Nakanishi, Classical and quantum dilogarithm identities , SIGMA Sym- metry Integrability Geom. Methods Appl. 7 (2011), Paper 102, 29

  34. [34]

    Bernhard Keller, Quiver mutation and combinatorial DT-invariants , corrected version of a submission to FPSAC 2013, arXiv:1709.03143 [math.CO]

  35. [35]

    , Quiver mutation in Java and JavaScript , Interactive Java application available at the author’s home page since 2006

  36. [36]

    1, Handb

    , Derived categories and their uses , Handbook of algebra, Vol. 1, Handb. Algebr., vol. 1, Elsevier/North-Holland, Amsterdam, 1996, pp. 671–701

  37. [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

  38. [38]

    , Cluster algebras and derived categories , Derived categories in algebraic geometry, EMS Ser. Congr. Rep., Eur. Math. Soc., Z¨ urich, 2012, pp. 123–183

  39. [39]

    Math., vol

    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

  40. [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

  41. [41]

    Maxim Kontsevich and Yan Soibelman, Stability structures, motivic Donaldson-Thomas invariants and cluster transformations, arXiv:0811.2435

  42. [42]

    Henning Krause, Krull-Schmidt categories and projective covers, Expo. Math. 33 (2015), no. 4, 535–549

  43. [43]

    Lakshmibai and J

    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

  44. [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

  45. [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

  46. [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

  47. [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

  48. [48]

    Kentaro Nagao, Donaldson-Thomas theory and cluster algebras , Duke Math. J. 162 (2013), no. 7, 1313–1367

  49. [49]

    Tomoki Nakanishi, Dilogarithm identities for conformal field theories and cluster algebras: simply laced case, Nagoya Math. J. 202 (2011), 23–43

  50. [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

  51. [51]

    , Quantum generalized cluster algebras and quantum dilogarithm functions of higher degrees , Teoret. Mat. Fiz. 185 (2015), no. 3, 460–470

  52. [52]

    , Rogers dilogarithms of higher degree and generalized cluster algebras , J. Math. Soc. Japan 70 (2018), no. 4, 1269–1304

  53. [53]

    , Synchronicity phenomenon in cluster patterns , J. Lond. Math. Soc. (2) 103 (2021), no. 3, 1120–1152

  54. [54]

    , Dilogarithm identities in cluster scattering diagrams , Nagoya Math. J. 253 (2024), 1–22

  55. [55]

    Tomoki Nakanishi and Andrei Zelevinsky, On tropical dualities in cluster algebras, 565 (2012), 217–226

  56. [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

  57. [57]

    Pure Appl

    Yann Palu, Grothendieck group and generalized mutation rule for 2-Calabi-Yau triangulated categories , J. Pure Appl. Algebra 213 (2009), no. 7, 1438–1449

  58. [58]

    Alexander Postnikov, Total positivity, Grassmannians, and networks , arXiv preprint math/0609764 (2006)

  59. [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

  60. [60]

    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

  61. [61]

    (N.S.) 21 (2015), no

    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

  62. [62]

    Daping Weng, F-polynomials of Donaldson-Thomas transformations , arXiv:2303.03466

  63. [63]

    , Donaldson-Thomas transformation of double Bruhat cells in semisimple Lie groups , Ann. Sci. ´Ec. Norm. Sup´ er. (4)53 (2020), no. 2

  64. [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...