REVIEW 2 major objections 5 minor 20 references
Leading term strandings for webs
T0 review · 2 major / 5 minor · reviewed 2026-08-28 · deepseek-v4-flash
Pith's one-line read Every open strand in a leading-term stranding of an sl_n web runs clockwise, and this constraint builds full web bases from row-strict tableaux.
desk verdict A genuinely new non-recursive web basis construction with a clean leading-term criterion, but two proof gaps—Lemma 49(3) and the edge-flip correspondence in Section 5—need fixing before the paper is fully convincing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the stranding: a collection of colored oriented curves on a web, each curve contributing one monomial to the web vector, with local validity encoded by alternating-sign binary labels on edges. Two mechanisms carry the proofs. The first is the reversal argument: reversing an open $(i,j)$-strand preserves validity (Lemma 14), and because every stranding contributes with nonzero coefficient, any counterclockwise open strand would produce a strictly smaller monomial, forcing the leading-term stranding to be clockwise. The second is depth: each face has an integral depth from the web's dual graph and a strand depth counting enclosing strands, and Lemma 19 shows strand depth never exceeds integral depth; for the constructed webs these depths coincide, which lets the proof track the $(1,n)$-strands as nested clockwise arcs and drive the infinite-descent contradiction in Theorem 56. The construction from tableau to web passes through a colored noncrossing matching, whose arcs become the simple strands of the web.
What would settle it
Enumerate all valid strandings of the small $\mathfrak{sl}_4$ webs in Example 58 and compare their monomials lexicographically; finding a monomial smaller than that of the constructed stranding $S_T$ would refute Theorem 56, as would exhibiting any web whose leading-term stranding has a counterclockwise open strand.
Extended reading notes
Core claim
The central claim is that leading-term strandings are rare and readable enough to be used as a tool for constructing and certifying web bases. Lemma 30 and Theorem 33 prove that, in any leading-term stranding, every open strand is clockwise; reversing a counterclockwise strand would make the monomial lexicographically smaller while remaining a valid stranding, and the nonzero-coefficient theorem rules out cancellation. Corollary 35 turns this into a triangularity criterion: a set of webs whose leading-term strandings realize every row-strict tableau as boundary data is a web basis. Theorem 56 shows that Construction 42 realizes every row-strict tableau, producing a web whose constructed stranding is leading and whose tableau is the original $T$; hence the resulting webs form a web basis, a non-recursive counterpart of the previously known recursive $\mathfrak{sl}_n$ web bases. For $\mathfrak{sl}_3$, Theorem 62 identifies the leading-term stranding of a web with no flat vertices as the unique stranding in which strand depths equal integral face depths, and Corollary 69 proves strand-reversal connects any two valid strandings.
Load-bearing premise
The whole argument leans on the framework result that every valid stranding contributes its own monomial with nonzero coefficient to the web vector; if that result were wrong, none of the leading-term comparisons by strand reversal would force a contradiction.
Editorial extensions
If this is right
- A valid stranding with any counterclockwise open strand is automatically not a leading-term stranding, so the clockwise condition is a fast necessary test.
- The tableau construction gives a non-recursive way to produce a full web basis for every boundary weight vector of $\mathfrak{sl}_n$; at $n=3$ it recovers the nonelliptic web basis.
- For $\mathfrak{sl}_3$ webs without flat vertices, the leading term can be read from face depths alone, so leading terms are computable from the dual graph without enumerating strandings.
- For every $\mathfrak{sl}_3$ web, a leading-term stranding is reachable from any starting stranding by strand reversals, since the reversal graph is connected; the paper leaves open an algorithmic way to find that sequence.
- The construction's flexibility in choosing matchings means the same tableau can produce distinct webs with the same leading term but different full web vectors, as Example 58 illustrates.
Reading between the lines
- Remark 34 leaves open whether 'all clockwise open strands, including induced $(i,j)$-strands' is sufficient for being a leading-term stranding; if it is, leading-term strandings could be recognized by a purely local scan, making web-basis membership a graph-certification problem.
- The extra isotopy freedom in choosing the colored noncrossing matching may be enough to satisfy rotation-invariance for the resulting bases; one could test whether some choice of matchings yields bases invariant under boundary rotation for all $n$.
- The edge-Kempe proof of transitivity for $\mathfrak{sl}_3$ suggests a route for $n\ge 4$: if valid strandings of $\mathfrak{sl}_n$ webs correspond to edge-colorings of an auxiliary planar graph, the same double-cover argument might settle whether strand reversal is transitive for all $n$.
- For webs with flat vertices, the depth-selection theorem fails exactly where three adjacent faces share one depth; a small local modification that breaks flatness could turn the depth rule into a heuristic, and strand reversals could then fix the residue, yielding a testable algorithm for $\mathfrak{sl}_3$ leading terms.
Formalized claims in Lean
-
Claim #1: The central claim is that leading-term strandings are rare and readable enough to be used as a tool for constructing and certifying web bases. Lemma 30 and Theorem 33 prove that, in any leading-term stranding, every open strand is clockwise; reversing a counterclockwise strand would make the monomial lexicographically smaller while remaining a valid stranding, and the nonzero-coefficient theorem r
/-- @claim 1 The central claim is that leading-term strandings are rare and readable enough to be used as a tool for constructing and certifying web bases. Lemma 30 and Theorem 33 prove that, in any leading-term stranding, every open strand is clockwise; reversing a counterclockwise strand would make the monomial lexicographically smaller while remaining a valid stranding, and the nonzero-coefficient theorem r -/ def central_claim : Prop :=
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies leading term strandings for sl_n webs: curve systems on webs that record the leading monomial of the web's invariant vector with respect to a lexicographic order. The main results are: (1) every open strand of a leading term stranding is clockwise, which implies that the tableau recording the stranding's boundary data is row-strict and yields a sufficient condition for a set of webs to be a web basis; (2) for each row-strict tableau, an explicit non-recursive construction of a web with a prescribed leading term stranding, giving a web basis indexed by row-strict tableaux; (3) for simple sl_3 webs (no flat vertices), the integral depth of faces determines a unique leading term stranding; and (4) for any sl_3 web, any two valid strandings are related by a sequence of strand reversals, obtained via an edge-Kempe equivalence argument. The paper is clearly written and the constructions are explicit and combinatorial.
Significance. If the results are correct, the paper provides a substantial advance: it gives a non-recursive construction of web bases for general sl_n, generalizing the sl_3 constructions of Tymoczko and Russell, and it gives a simple structural criterion for detecting web bases. The clockwise-strand theorem (Lemma 30) and the depth-based stranding for simple sl_3 webs are elegant and likely to be useful. The proofs are mostly self-contained and do not involve parameter fitting or circular reductions; the main external input is the strandings framework of Russell-Tymoczko [13]. The central web-basis theorem (Theorem 56 and Corollary 57) is concrete and checkable, and the sl_3 results extend the class of webs for which leading terms are explicitly known. The main weaknesses are a compressed proof of a load-bearing lemma and an under-specified reduction in Section 5, both of which appear fixable.
major comments (2)
- [§4.2, Lemma 49(3)] The proof of Lemma 49(3) is incomplete at a load-bearing point. The sentence "By Lemma 48, there are no edges of G_T inside it" does not follow from Lemma 48 as stated: Lemma 48 only constrains the local depth profile at the endpoints of a single interior edge and does not rule out edges or vertices in the interior region enclosed by an innermost closed (1,n)-strand. The subsequent dichotomy (the strand contains a trunk edge, or every vertex is a crossing) also omits the possibility that the closed strand encloses a small tree of same-depth edges. This matters because Corollary 50 and the monotone head-descent in Theorem 56 both require every (1,n)-strand of S_T to be open. Please supply a complete proof; for example, one can first derive from Lemma 48 that every interior vertex of G_T has its three incident face depths equal to {d-1,d,d+1}, and then show that a closed (1,n)-strand would enclose a region with a face of maximal depth whose neighbours have no larger depth, contradicting that three-consecutive-values property. Alternatively, give a direct planar argument.
- [§5, paragraph after Lemma 60] The reduction "By the edge flip relation, we may assume that all sl_3 web edges have weight 1" is used to prove Theorem 62 and Corollary 69 for arbitrary sl_3 webs, but the paper does not state how strandings and strand reversals transfer between G and the edge-flipped web G^{φ(E)}. Lemma 60 only asserts equality of web vectors; it does not by itself provide a bijection between Str(G) and Str(G^{φ(E)}). Without such a bijection, the conclusions of Theorem 62 and Corollary 69 are established only for webs in which every edge has weight 1. Please add an explicit statement of the stranding bijection (for instance, complementing the binary label on every flipped edge) and verify that it intertwines strand reversal, or restrict the statements of the theorems.
minor comments (5)
- [§4.2, Lemma 48] The phrase "separating faces of depth d" is ambiguous: it should say explicitly whether the two faces on either side of e have depths d-1 and d+1, or d and d+1, or something else. This ambiguity is especially relevant to the repair of Lemma 49(3).
- [§5.2, Proposition 68] In the gluing construction of H', the bipartition of the reflected copy should be explicitly chosen to be swapped, so that each pair of glued boundary vertices lies in opposite bipartition classes; the current proof asserts this without saying how the bipartition is chosen.
- [§5.2, Corollary 69] The translation between strandings of a weight-1 sl_3 web and proper edge-3-colorings should be made explicit, stating which binary label corresponds to which color and how each (i,j)-strand is exactly an edge-Kempe chain for the corresponding pair of colors. The parenthetical "red and blue together" is confusing as written.
- [§1, Introduction] The introduction claims that for n=3 the construction returns exactly Kuperberg's nonelliptic web basis and that the webs produced by Fontaine's algorithm form a proper subset of the constructed webs. These claims are not proven in the body; Example 58 illustrates only one case. Please either add a proof or soften the statements.
- [Abstract and §1] The phrase "non-recursive construction of Fontaine's sl_n web bases" may be misleading, since the constructed webs generally differ from Fontaine's (as Example 58 shows). Consider rephrasing to "a non-recursive construction of web bases of the Fontaine type" or explicitly clarifying the relationship.
Circularity Check
No significant circularity: web-basis construction is derived from an external stranding framework and explicit lexicographic arguments, not from fitted inputs or self-referential definitions.
full rationale
The paper's main derivation chain—Construction 36/42 producing G_T and S_T, the structural redrawing in Lemma 49/Corollary 50, and Theorem 56 proving S_T is a leading term stranding by a lexicographic descent—does not reduce any conclusion to its own inputs. No parameter is fitted to data, and no quantity called a prediction is imported from a fit; the web basis is obtained by triangularity from the independent dimension theorem |Inv_n(k)|=|RST_n(k)| (Theorem 22, citing Howe). The leading-term claim is proved by comparing S_T with an arbitrary leading term stranding S_star and deriving an infinite descent of disagreements, rather than by defining the leading term to be the stranding. The only notable self-adjacent dependency is the strandings formalism of [13] (Russell is a co-author): Theorems 10, 25, 27, and Lemma 60 are used as black boxes. These are parameter-free statements about general webs and strandings, not statements about the particular web basis being constructed, so they function as independent support for the present argument rather than as a circular reduction. The skeptic's concern about Lemma 49(3)—that its proof is compressed and the 'no edges inside' claim is asserted rather than fully derived—is a proof-completeness risk, not circularity: a failure of that lemma would be an incorrect derivation step, not a conclusion equivalent to its input by construction. Accordingly, the circularity score is 1, reflecting the shared-author preprint dependency while finding no circular step.
Assumptions & free parameters
assumptions (7)
- standard math Theorem 10 of [13]: valid strandings are in bijection with valid binary labelings.
- standard math Theorem 51 of [13]: every stranding contributes its monomial with nonzero coefficient to the web vector.
- standard math Howe's dimension formula: dim Inv_n(k) = |RST_n(k)| (Theorem 22).
- standard math Belcastro-Haas theorem: any two proper edge-3-colorings of a planar bipartite cubic graph are edge-Kempe equivalent (Theorem 67).
- standard math Edge flip relation f^up(G) = f^up(G^{phi(E)}) (Lemma 60 from [13]).
- domain assumption The paper works with untagged sl_n webs only.
- domain assumption In Section 5 all sl_3 edges are assumed weight 1 after edge flips.
Cite this review
Pith. "Pith review of Leading term strandings for webs." pith.science (2026). https://pith.science/paper/MG2E2QR2
@misc{pith2026260827425,
author = {Pith},
title = {Pith review of: Leading term strandings for webs},
year = {2026},
howpublished = {\url{https://pith.science/paper/MG2E2QR2}},
note = {Machine review of arXiv:2608.27425}
}
abstract
A web is a plane graph encoding an invariant vector in a tensor product of fundamental representations of a quantum group. A stranding of an $\mathfrak{sl}_n$ web is a system of colored oriented curves recording one monomial of the vector it encodes. This article focuses on identifying and constructing leading term strandings, those recording the leading term of a web's vector with respect to a lexicographic order on monomials. We show that every open strand of a leading term stranding is clockwise, which constrains the boundary data of such strandings enough to yield a sufficient criterion for a set of webs to form a web basis. From a row-strict tableau, we construct a web with a prescribed leading term, and the resulting webs form a web basis, giving a non-recursive construction of Fontaine's $\mathfrak{sl}_n$ web bases. For $\mathfrak{sl}_3$ webs with no flat vertices, we identify a leading term stranding using the depths of the faces of the web. Finally, we show a leading term stranding for any $\mathfrak{sl}_3$ web can be reached from an arbitrary stranding via a sequence of operations called strand reversals.
Figures
Figures from the paper (11 more)
Reference graph
Works this paper leans on
-
[13]
Strandingsl n webs.Preprint, 2025
Heather Russell and Julianna Tymoczko. Strandingsl n webs.Preprint, 2025
work page 2025
-
[1]
Leading Terms of SL3 Web Invariants.International Mathematics Research Notices, 06 2020
V´ eronique Bazier-Matte, Guillaume Douville, Alexander Garver, Rebecca Patrias, Hugh Thomas, and Emine Yıldırım. Leading Terms of SL3 Web Invariants.International Mathematics Research Notices, 06 2020. rnaa110
work page 2020
-
[2]
Counting edge-Kempe-equivalence classes for 3-edge-colored cubic graphs
Sarah-Marie Belcastro and Ruth Haas. Counting edge-Kempe-equivalence classes for 3-edge-colored cubic graphs. Discrete Mathematics, 325:77–84, 2014
work page 2014
-
[3]
Webs and quantum skew Howe duality.Mathematische Annalen, 360(1-2):351–390, 2014
Sabin Cautis, Joel Kamnitzer, and Scott Morrison. Webs and quantum skew Howe duality.Mathematische Annalen, 360(1-2):351–390, 2014
work page 2014
-
[4]
Light ladders and clasp conjectures, 2015
Ben Elias. Light ladders and clasp conjectures, 2015. Preprint, 69 pages. 26 BO, BURNS, CHEN, MARSHO, MARTIN, MA WN, MOHREN, RUSSELL, SALES, AND WONG
work page 2015
-
[5]
Bruce Fontaine.Bases for invariant spaces and geometric representation theory. ProQuest LLC, Ann Arbor, MI,
-
[6]
Generating basis webs forsl n.Adv
Bruce Fontaine. Generating basis webs forsl n.Adv. in Math., 229(5):2792–2817, 2012
work page 2012
-
[7]
Christian Gaetz, Oliver Pechenik, Stephan Pfannerer, Jessica Striker, and Joshua P. Swanson. Rotation-invariant web bases from hourglass plabic graphs.Invent. Math., 243(2):703–804, 2026
work page 2026
Show all 20 references
-
[8]
Parametrizing the top-dimensional cells of 3-block springer fibers via web graphs.In Preparation
Emily Hafken, Veronica Lang, Orit Tashman, and Julianna Tymoczko. Parametrizing the top-dimensional cells of 3-block springer fibers via web graphs.In Preparation
-
[9]
Perspectives on invariant theory: Schur duality, multiplicity-free actions and beyond
Roger Howe. Perspectives on invariant theory: Schur duality, multiplicity-free actions and beyond. InThe Schur lectures (1992) (Tel Aviv), volume 8 ofIsrael Math. Conf. Proc., pages 1–182. Bar-Ilan Univ., Ramat Gan, 1995
1992
-
[10]
Web bases for sl(3) are not dual canonical.Pacific J
Mikhail Khovanov and Greg Kuperberg. Web bases for sl(3) are not dual canonical.Pacific J. Math., 188(1):129– 153, 1999
1999
-
[11]
Spiders for rank 2 Lie algebras.Comm
Greg Kuperberg. Spiders for rank 2 Lie algebras.Comm. Math. Phys., 180(1):109–151, 1996
1996
-
[12]
Kyle Petersen, Pavlo Pylyavskyy, and Brendon Rhoades
T. Kyle Petersen, Pavlo Pylyavskyy, and Brendon Rhoades. Promotion and cyclic sieving via webs.J. Algebraic Combin., 30(1):19–41, 2009
2009
-
[14]
Heather M. Russell. An explicit bijection between semistandard tableaux and non-ellipticsl 3 webs.J. Algebraic Combin., 38(4):851–862, 2013
2013
-
[15]
The transition matrix between the Specht andsl 3 web bases is uni- triangular with respect to shadow containment.International Mathematics Research Notices, 12 2020
Heather M Russell and Julianna Tymoczko. The transition matrix between the Specht andsl 3 web bases is uni- triangular with respect to shadow containment.International Mathematics Research Notices, 12 2020. rnaa290
2020
-
[16]
Russell and Julianna S
Heather M. Russell and Julianna S. Tymoczko. The transition matrix between the Specht and web bases is unipotent with additional vanishing entries.Int. Math. Res. Not. IMRN, (5):1479–1502, 2019
2019
-
[17]
HNV Temperley and EH Lieb. Relations between the ‘percolation’ and ‘colouring’ problem and other graph- theoretical problems associated with regular planar lattices: some exact results for the ‘percolation’ problem. Proceedings of the Royal Society of London. A. Mathematical a...
1971
-
[18]
A simple bijection between standard 3×ntableaux and irreducible webs forsl 3.Journal of Algebraic Combinatorics, 35:611–632, 2012
Julianna Tymoczko. A simple bijection between standard 3×ntableaux and irreducible webs forsl 3.Journal of Algebraic Combinatorics, 35:611–632, 2012. 10.1007/s10801-011-0317-1
2012 doi
-
[19]
Westbury
Bruce W. Westbury. Web bases for the general linear groups.J. Algebraic Combin., 35(1):93–107, 2012. University of Richmond, Jepson Hall, Richmond V A 23173 Email address:michael.bo@richmond.edu University of Richmond, Jepson Hall, Richmond V A 23173 Email address:madelyn.burn...
2012
-
[2012]
Thesis (Ph.D.)–University of Toronto (Canada)
Reviewed August 28, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.