pith. sign in

arxiv: 2507.15211 · v2 · submitted 2025-07-21 · 🧮 math.CO

Twists, Higher Dimer Covers, and Web Duality for Grassmannian Cluster Algebras

Esther Banaian , Elise Catania , Christian Gaetz , Miranda Moore , Gregg Musiker , Kayla Wright This is my paper

Pith reviewed 2026-05-19 04:31 UTC · model grok-4.3

classification 🧮 math.CO
keywords Grassmannian cluster algebrasweb immanantsweb dualityPlücker coordinatestwisted boundary measurementcluster variablesSL3 websSL4 webs
0
0 comments X

The pith

A twisted higher boundary measurement map using face weights yields Laurent polynomial expansions in Plücker coordinates for twisted web immanants.

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

The paper constructs a twisted version of the higher boundary measurement map by replacing edge weights with face weights. This produces explicit Laurent polynomial expressions in Plücker coordinates for twisted web immanants on Grassmannians. The authors prove that web duality holds for a large collection of SL_3 and SL_4 webs, where immanants coincide with invariants indexed by transposed tableaux. Combining the map with the duality recovers and extends prior formulas for twists of cluster variables. The results also supply computational evidence for conjectures on the classification of low-degree cluster variables.

Core claim

We define a twisted higher boundary measurement map obtained by replacing edge weights with face weights in the Fraser-Lam-Le construction. This map produces Laurent polynomial expansions in Plücker coordinates for twisted web immanants. We show that web duality continues to hold for a large set of SL_3 and SL_4 webs, with the duality corresponding to transposition of the standard Young tableaux that index the basis webs. These results recover and extend formulas for twists of certain cluster variables while providing evidence for conjectures on low Plücker degree cluster variables in the Grassmannian coordinate ring.

What carries the argument

The twisted higher boundary measurement map, which substitutes face weights for edge weights to generate Laurent expansions in Plücker coordinates for twisted web immanants.

If this is right

  • Formulas for twists of certain cluster variables are recovered and extended beyond earlier results.
  • Web duality holds for a substantially larger family of SL_3 and SL_4 webs than previously verified.
  • Computational evidence supports conjectures classifying cluster variables of low Plücker degree in the ring of the Grassmannian Gr(3,n).
  • The duality is consistent with transposition of the Young tableaux indexing the webs.

Where Pith is reading between the lines

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

  • The same face-weight twisting may extend to produce expansions for webs in higher-rank SL_k Grassmannians.
  • Connections to higher dimer covers could supply direct combinatorial rules for reading off the Laurent expansions.
  • Web duality might simplify the search for bases of cluster variables in larger Grassmannians.

Load-bearing premise

The face-weight substitution in the boundary measurement construction produces accurate Laurent polynomial expansions that match the twisted web immanants.

What would settle it

Explicit computation of the map on a specific untested SL_4 web in Gr(4,7) to check whether the resulting Laurent polynomial equals the web invariant of the transposed tableau.

Figures

Figures reproduced from arXiv: 2507.15211 by Christian Gaetz, Elise Catania, Esther Banaian, Gregg Musiker, Kayla Wright, Miranda Moore.

Figure 1
Figure 1. Figure 1: A top cell plabic graph of type (3, 12). 2.1. Grassmannian cluster algebras. Let [n] := {1, 2, . . . , n}. For 0 ≤ k ≤ n, let [n] k  denote the set of subsets of [n] of size k. Each element of the Grassmannian Gr(k, n) is represented by a full-rank k × n matrix M, modulo the left action of SLk. For each k-subset I ∈ [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: A dual semistandard SL5 web W of degree λ, a semistandard SL5 web X of degree λ, and the unclasped web X, where λ = (3, 2, 1, 2, 1, 2, 1, 1, 1, 1) ∈ N 10 . define a basis element ES ∈ Nn i=1 Vλi (C r ) as follows. Let siℓ denote the ℓth element of set S(i), with each set S(i) sorted in increasing order. Then, we define ES := (es11 ∧ · · · ∧ es1λ1 ) ⊗ (es21 ∧ · · · ∧ es2λ2 ) ⊗ · · · ⊗ (esn1 ∧ · · · ∧ esnλn … view at source ↗
Figure 3
Figure 3. Figure 3: The unique consistent labelings LW ∈ A(SW ; W) and LX ∈ A(SX; X) (see Example 2.7). For each edge e, the subset L(e) ⊂ [5] is denoted by the subset of colors appearing on that edge. Example 2.7. Let W and X be the dual semistandard and semistandard SL5 webs from [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: The wrench relation for SL3 tensor invariants in the FP sign convention. For extensive lists of relations between SLr tensor diagrams, we refer the reader to [7] (r = 3) and [11] (r = 4). 2.4. Web bases and tableaux. While Wλ(C r ) and C[Gr( c r, n)]λ are spanned by web invariants, the sets of webs invariants satisfy certain relations [15, 4] and therefore are not bases. A web basis is a subset of the web … view at source ↗
Figure 5
Figure 5. Figure 5: (Top): Two 4-dimer covers on the plabic graph G for C[Gr(3 c , 12)]; (Bottom): The 4-weblike subgraphs equivalent to these choices of 4-dimer covers. that expands via SL4 skein relations to include W28, the dual of X28, in its support. In this case, in each expansion, W28 appears with coefficient 1. Note that the 4-weblike subgraph on the right has forbidden squares in its move equivalence class which allo… view at source ↗
Figure 6
Figure 6. Figure 6: The arborization algorithm applied to claspings of webs X29 and X32. Example 5.1 highlights two interesting features to the process of arborization. First, we see that in order to reach a tree, it was necessary to have a non-planar diagram. Moreover, even though X29 and X32 have internal cycles, the arborizing steps “pushed” these cycles onto the boundary. Therefore, when computing all arborizable clasps o… view at source ↗
Figure 7
Figure 7. Figure 7: Two examples of the bijection in the proof of Proposition 5.7, between webs X ∈ T std 3,12 (left), binary trees B (center), and ordered pairs of 4-ary trees Q (right). Proposition 5.7. For r ≥ 1, we have T std 3,3r,r =  4r − 3 r − 1  2 3r − 1 . 9 8This is consistent with the fact that C[Gr(3 c , n)] is of finite type for n ≤ 8, and in these cases there are no cluster variables of Pl¨ucker degree 4. 9This… view at source ↗
read the original abstract

We study a twisted version of Fraser, Lam, and Le's higher boundary measurement map, using face weights instead of edge weights, thereby providing Laurent polynomial expansions, in Pl\"ucker coordinates, for twisted web immanants for Grassmannians. In some small cases, Fraser, Lam, and Le observe a phenomenon they call "web duality'', where web immanants coincide with web invariants, and they conjecture that this duality corresponds to transposing the standard Young tableaux that index basis webs. We show that this duality continues to hold for a large set of $\text{SL}_3$ and $\text{SL}_4$ webs. Combining this with our twisted higher boundary measurement map, we recover and extend formulas of Elkin-Musiker-Wright for twists of certain cluster variables. We also provide evidence supporting conjectures of Fomin-Pylyavskyy as well as one by Cheung-Dechant-He-Heyes-Hirst-Li concerning classification of cluster variables of low Pl\"ucker degree in $\mathbb{C}[\text{Gr}(3,n)]$.

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

2 major / 3 minor

Summary. The paper introduces a twisted version of the higher boundary measurement map from Fraser, Lam, and Le, utilizing face weights in place of edge weights to derive Laurent polynomial expansions in Plücker coordinates for twisted web immanants associated to Grassmannians. It demonstrates that web duality holds for a large collection of SL_3 and SL_4 webs, and leverages this to recover and extend formulas of Elkin-Musiker-Wright for twists of certain cluster variables. The work also supplies supporting evidence for conjectures by Fomin-Pylyavskyy and by Cheung-Dechant-He-Heyes-Hirst-Li on the classification of low Plücker degree cluster variables in the coordinate ring of Gr(3,n).

Significance. Should the results be confirmed, this manuscript offers valuable combinatorial insights into Grassmannian cluster algebras by linking twisted dimer models with web invariants and duality phenomena. The explicit recoveries of prior formulas and the computational evidence for open conjectures represent concrete progress in the field. The approach of using face weights provides a new perspective that could facilitate further explorations of higher-rank cases and general web structures.

major comments (2)
  1. [Section 3] The twisted higher boundary measurement map (defined via face-weight substitution in the Fraser-Lam-Le construction): the manuscript asserts that this yields Laurent polynomials in Plücker coordinates for twisted web immanants on general Grassmannians, yet provides only explicit verifications for small SL_3 and SL_4 cases; no general cancellation argument or degree bound is given to guarantee non-negative exponents in the denominator variables for arbitrary webs.
  2. [Section 5] The web duality verification for the collection of SL_4 webs: while explicit checks confirm duality holds and corresponds to transposing the indexing tableaux in these cases, the argument is case-by-case and would benefit from an inductive or conceptual framework to support extension beyond the verified set.
minor comments (3)
  1. The abstract refers to 'a large set' of SL_3 and SL_4 webs without specifying the precise count or selection criteria; adding this detail in the introduction or duality section would improve clarity.
  2. Notation for the twisted immanants and the face-weight map could be introduced with a dedicated preliminary subsection to ease reading when the main results are stated.
  3. Ensure citations to Elkin-Musiker-Wright and Fraser-Lam-Le point to the exact statements being recovered or extended.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for their positive evaluation of our work and their detailed feedback on Sections 3 and 5. We provide point-by-point responses to the major comments below.

read point-by-point responses

  1. Referee: [Section 3] The twisted higher boundary measurement map (defined via face-weight substitution in the Fraser-Lam-Le construction): the manuscript asserts that this yields Laurent polynomials in Plücker coordinates for twisted web immanants on general Grassmannians, yet provides only explicit verifications for small SL_3 and SL_4 cases; no general cancellation argument or degree bound is given to guarantee non-negative exponents in the denominator variables for arbitrary webs.

    Authors: We agree that a general proof of the Laurent property via cancellation would be desirable. Our approach relies on substituting face weights into the established higher boundary measurement map, and we have confirmed the resulting expressions are Laurent polynomials through direct computation for the SL_3 and SL_4 webs appearing in our duality statements. We will revise the manuscript to make explicit that the Laurent property is verified in these cases rather than claimed for all possible webs, and we note that extending this to a general argument remains an open question. revision: partial

  2. Referee: [Section 5] The web duality verification for the collection of SL_4 webs: while explicit checks confirm duality holds and corresponds to transposing the indexing tableaux in these cases, the argument is case-by-case and would benefit from an inductive or conceptual framework to support extension beyond the verified set.

    Authors: The verification in Section 5 is indeed carried out on a case-by-case basis for the specific collection of SL_4 webs we examine. These explicit checks suffice for our purposes of recovering the Elkin-Musiker-Wright formulas and providing evidence for the conjectures of Fomin-Pylyavskyy and Cheung et al. While a conceptual or inductive framework would allow broader extension, developing such a framework is beyond the current scope of the paper. revision: no

standing simulated objections not resolved
  • A general proof of the Laurent property for the twisted higher boundary measurement map on arbitrary Grassmannians.

Circularity Check

0 steps flagged

No circularity: new twisted map and duality verifications are independent of inputs

full rationale

The paper defines a twisted higher boundary measurement map by substituting face weights into the existing Fraser-Lam-Le construction and then checks web duality on explicit SL_3 and SL_4 examples. These steps introduce new objects and perform direct verifications rather than reducing any claimed result to a fitted parameter, self-defined quantity, or load-bearing self-citation. Recovery of Elkin-Musiker-Wright formulas is presented as an application of the new map, not as the justification for the map itself. No equation or derivation in the provided text equates a prediction to its own input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard background from cluster algebra theory and Plucker coordinate rings; no free parameters are fitted, no new entities are postulated, and the axioms invoked are those of the ambient algebraic combinatorics.

axioms (1)
  • standard math Established properties of Plucker coordinates, cluster algebra structures on Grassmannians, and the definition of web immanants from prior literature.
    The constructions and duality statements presuppose the standard setup of Grassmannian cluster algebras and web bases as developed in the cited works.

pith-pipeline@v0.9.0 · 5730 in / 1428 out tokens · 39817 ms · 2026-05-19T04:31:41.979009+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

26 extracted references · 26 canonical work pages

  1. [1]

    Twists, r-dimer covers, and web duality

    Esther Banaian, Elise Catania, Christian Gaetz, Miranda Moore, Gregg Musiker, and Kayla Wright. Twists, r-dimer covers, and web duality. S´ eminaire Lotharingien de Combinatoire, 2025

    work page 2025

  2. [2]

    Leading terms of SL 3 web invariants

    V´ eronique Bazier-Matte, Guillaume Douville, Alexander Garver, Rebecca Patrias, Hugh Thomas, and Emine Yıldırım. Leading terms of SL 3 web invariants. Int. Math. Res. Not. IMRN , (3):1714–1733, 2022

    work page 2022

  3. [3]

    Cluster algebras iii: Upper bounds and double bruhat cells

    Arkady Berenstein, Sergey Fomin, and Andrei Zelevinsky. Cluster algebras iii: Upper bounds and double bruhat cells. Duke Math. J. , 126(1):1–52, 2005

    work page 2005

  4. [4]

    Webs and quantum skew Howe duality

    Sabin Cautis, Joel Kamnitzer, and Scott Morrison. Webs and quantum skew Howe duality. Math. Ann., 360(1-2):351–390, 2014

    work page 2014

  5. [5]

    Clustering cluster algebras with clusters

    Man-Wai Cheung, Pierre-Philippe Dechant, Yang-Hui He, Elli Heyes, Edward Hirst, and Jian-Rong Li. Clustering cluster algebras with clusters. Adv. Theor. Math. Phys. , 27(3), 2023

    work page 2023

  6. [6]

    Twists of Gr(3 , n) cluster variables as double and triple dimer partition functions

    Moriah Elkin, Gregg Musiker, and Kayla Wright. Twists of Gr(3 , n) cluster variables as double and triple dimer partition functions. Algebraic Combinatorics, 7(5):1347–1404, 2024

    work page 2024

  7. [7]

    Tensor diagrams and cluster algebras

    Sergey Fomin and Pavlo Pylyavskyy. Tensor diagrams and cluster algebras. Adv. Math., 300:717–787, 2016

    work page 2016

  8. [8]

    Cluster algebras

    Sergey Fomin and Andrei Zelevinsky. Cluster algebras. i. foundations. J. Amer. Math. Soc. , 15:497–529, 2002

    work page 2002

  9. [9]

    Webs and canonical bases in degree two

    Chris Fraser. Webs and canonical bases in degree two. Comb. Theory, 3(3):Paper No. 11, 26, 2023

    work page 2023

  10. [10]

    From dimers to webs

    Chris Fraser, Thomas Lam, and Ian Le. From dimers to webs. Trans. Amer. Math. Soc., 371(9):6087–6124, 2019

    work page 2019

  11. [11]

    Christian Gaetz, Oliver Pechenik, Stephan Pfannerer, Jessica Striker, and Joshua P. Swanson. Rotation-invariant web bases from hourglass plabic graphs, 2023

    work page 2023

  12. [12]

    Christian Gaetz, Oliver Pechenik, Stephan Pfannerer, Jessica Striker, and Joshua P. Swanson. Promotion permutations for tableaux. Comb. Theory, 4(2):Paper No. 15, 56, 2024

    work page 2024

  13. [13]

    Web bases in degree two from hourglass plabic graphs

    Christian Gaetz, Oliver Pechenik, Stephan Pfannerer, Jessica Striker, and Joshua P Swanson. Web bases in degree two from hourglass plabic graphs. International Mathematics Research Notices, 2025(13):rnaf189, 07 2025

    work page 2025

  14. [14]

    Web bases for sl(3) are not dual canonical

    Mikhail Khovanov and Greg Kuperberg. Web bases for sl(3) are not dual canonical. Pacific J. Math. , 188(1):129–153, 1999

    work page 1999

  15. [15]

    Spiders for rank 2 lie algebras

    Greg Kuperberg. Spiders for rank 2 lie algebras. Commun. Math. Phys. , 180:109–151, 1996

    work page 1996

  16. [16]

    Dimers, webs, and positroids

    Thomas Lam. Dimers, webs, and positroids. J. Lond. Math. Soc. , 92(3):633–656, 2015

    work page 2015

  17. [17]

    Twists of pl¨ ucker coordinates as dimer partition functions

    Bethany R Marsh and Jeanne S Scott. Twists of pl¨ ucker coordinates as dimer partition functions. Comm. Math. Phys. , 341(3):821–884, 2016

    work page 2016

  18. [18]

    The twist for positroid varieties

    Greg Muller and David E Speyer. The twist for positroid varieties. Proc. London Math. Soc., 115(5):1014–1071, 2017

    work page 2017

  19. [19]

    Tableau evacuation and webs

    Rebecca Patrias and Oliver Pechenik. Tableau evacuation and webs. Proc. Amer. Math. Soc. Ser. B, 10(30):341–352, 2023

    work page 2023

  20. [20]

    Promotion and cyclic sieving via webs

    T Kyle Petersen, Pavlo Pylyavskyy, and Brendon Rhoades. Promotion and cyclic sieving via webs. J. Algebraic Combin. , 30:19–41, 2009

    work page 2009

  21. [21]

    Total positivity, grassmannians, and networks, 2006

    Alexander Postnikov. Total positivity, grassmannians, and networks, 2006

    work page 2006

  22. [22]

    Matching polytopes, toric geometry, and the totally non-negative Grassmannian

    Alexander Postnikov, David Speyer, and Lauren Williams. Matching polytopes, toric geometry, and the totally non-negative Grassmannian. J. Algebraic Combin., 30(2):173–191, 2009

    work page 2009

  23. [23]

    J. Scott. Grassmannians and cluster algebras. Proc. London Math. Soc., 92(2):345–380, 2006

    work page 2006

  24. [24]

    Sarah J. Selkirk. On a generalisation of k-Dyck paths. Master’s thesis, Stellenbosch University, 2019

    work page 2019

  25. [25]

    SageMath, the Sage Mathematics Software System (Version 10.6) , 2025

    The Sage Developers. SageMath, the Sage Mathematics Software System (Version 10.6) , 2025

    work page 2025

  26. [26]

    A simple bijection between standard 3 ×n tableaux and irreducible webs for sl3

    Julianna Tymoczko. A simple bijection between standard 3 ×n tableaux and irreducible webs for sl3. J. Algebraic Combin., 35:611–632, 2012. TWISTS, HIGHER DIMER COVERS, AND WEB DUALITY FOR GRASSMANNIAN CLUSTER ALGEBRAS 29 (Banaian) Department of Mathematics, University of California, Riverside, CA Email address: estherbanaian@gmail.com (Catania) School of ...

    work page 2012