Coordinates for {rm SL}₃-web basis elements in closed surfaces
Pith reviewed 2026-05-15 20:37 UTC · model grok-4.3
The pith
Non-elliptic web diagrams that basis the SL_3-skein algebra on closed surfaces receive explicit integer coordinates in a submonoid of Z to the power 16g-16.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors construct explicit coordinates that assign to each non-elliptic web diagram on the closed surface Σ_g a point in a submonoid of Z^d, where d coincides with the dimension of the SL_3 character variety of Σ_g. For surfaces of genus g ≥ 2 this dimension is 16g − 16, while for the torus it is 4. This parametrization is presented as a direct combinatorial description of the basis elements.
What carries the argument
The explicit coordinate assignment from non-elliptic SL_3-web diagrams to vectors in a submonoid of Z^d, which parametrizes the diagrams while matching the dimension of the corresponding character variety.
If this is right
- Basis elements of the skein algebra become indexable by integer tuples inside the submonoid.
- Multiplication in the algebra may reduce to vector addition or monoid operations on the coordinates.
- Explicit calculations inside the quantized character variety become possible for arbitrary genus using coordinate arithmetic.
- The torus case reduces to a concrete four-dimensional monoid parametrization.
- The construction supplies a uniform combinatorial model that aligns diagram combinatorics with the representation variety of SL_3.
Where Pith is reading between the lines
- The coordinates could be used to introduce a partial order or positivity notion on the basis that is not visible from diagrams alone.
- The same coordinate system might extend to give a presentation of the skein algebra by generators and relations written directly in the monoid.
- One could test whether the coordinate map preserves the skein relations under a small number of explicit moves on low-genus surfaces.
- If the map is functorial, it would induce a coordinate description of the algebra for any 3-manifold obtained by surgery on the surface.
Load-bearing premise
The set of non-elliptic web diagrams is assumed to form a basis for the SL_3-skein algebra of the closed surface.
What would settle it
Two distinct non-elliptic web diagrams receiving identical coordinate tuples, or a spanning set of such diagrams whose coordinates lie in a lattice of rank different from 16g-16, would falsify the parametrization.
read the original abstract
The ${\rm SL}_3$-skein algebra of a closed surface $\Sigma_g$ is a quantization of the ${\rm SL}_3$ character variety of $\Sigma_g$, where $g$ denotes the genus of the surface. This algebra admits a basis consisting of non-elliptic web diagrams in $\Sigma_g$. In this paper, we introduce explicit coordinates for non-elliptic web diagrams on $\Sigma_g$, yielding a parametrization by a submonoid of $\mathbb Z^{d}$. Here $d = 16g - 16$ for $g \ge 2$ and $d = 4$ in the torus case $g = 1$, coinciding with the dimension of the corresponding character variety.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to construct explicit coordinates for non-elliptic web diagrams on closed surfaces Σ_g that embed the set of such diagrams into a submonoid of Z^d, with d = 16g-16 for g ≥ 2 and d = 4 for g = 1. This dimension is asserted to coincide with that of the SL_3 character variety of Σ_g. The SL_3-skein algebra is described as a quantization of the character variety, with non-elliptic webs forming a basis (invoked as standard background).
Significance. If the coordinate construction is faithful and explicit as claimed, the result supplies a concrete combinatorial model for the basis of the skein algebra, directly linking its structure to the dimension of the character variety. This could enable explicit computations and further study of the quantization map. The dimension match is a positive indicator of consistency with known representation-theoretic facts.
major comments (2)
- [§3] The abstract and introduction assert that the coordinates realize an embedding into a submonoid of Z^d with the stated dimension, but no explicit formulas, algorithm, or verification for a sample web diagram appear in the provided text. Please add a concrete example in §3 or §4 showing how the coordinates are computed from a given non-elliptic web and confirm they are independent of diagram choices.
- [§4, Theorem 4.2] The faithfulness of the coordinate map (i.e., that distinct non-elliptic webs receive distinct tuples) is central to the parametrization claim. The manuscript should contain a proof or reference to a prior result establishing injectivity; if this is new, it must be proved in full rather than asserted.
minor comments (2)
- [§2] Notation for the coordinate functions (e.g., the precise definition of the 16g-16 components) should be introduced with a displayed equation rather than inline text.
- [§5] The torus case (g=1, d=4) is treated separately; a short table comparing the coordinate values for the standard basis webs on the torus would improve readability.
Simulated Author's Rebuttal
We are grateful to the referee for their thorough review and valuable feedback. The comments have helped us improve the clarity of the manuscript. Below, we address each major comment in detail. We have made the requested additions to provide explicit examples and a complete proof of injectivity.
read point-by-point responses
-
Referee: [§3] The abstract and introduction assert that the coordinates realize an embedding into a submonoid of Z^d with the stated dimension, but no explicit formulas, algorithm, or verification for a sample web diagram appear in the provided text. Please add a concrete example in §3 or §4 showing how the coordinates are computed from a given non-elliptic web and confirm they are independent of diagram choices.
Authors: We thank the referee for pointing this out. Although the definitions of the coordinates are given in Section 3 via intersection numbers with a fixed pants decomposition and additional curves, we acknowledge that an illustrative example is missing. In the revised version, we have inserted a new Example 3.5 in §3. This example computes the coordinates step-by-step for a specific non-elliptic SL_3-web on Σ_2 consisting of three loops meeting at a trivalent vertex. The computation involves determining the number of intersections with each of the 16g-16 = 16 curves in the coordinate system and assigning integer values accordingly. We also prove independence from diagram choices by demonstrating that the coordinates are unchanged under the web relations (using the fact that the web is non-elliptic, which prevents cancellations that could alter the counts). revision: yes
-
Referee: [§4, Theorem 4.2] The faithfulness of the coordinate map (i.e., that distinct non-elliptic webs receive distinct tuples) is central to the parametrization claim. The manuscript should contain a proof or reference to a prior result establishing injectivity; if this is new, it must be proved in full rather than asserted.
Authors: The referee is correct that injectivity is key to the parametrization. In the submitted manuscript, Theorem 4.2 asserts the injectivity of the coordinate map, but the proof was only sketched. We have now provided a complete proof in the revised §4. The proof proceeds in two steps: (1) We show that the coordinates determine the algebraic intersection numbers with a generating set of curves on the surface. (2) Using the non-elliptic condition, we reconstruct the web diagram uniquely from these intersection data, following a combinatorial argument similar to those used for SL_2 webs but adapted to the SL_3 case with trivalent vertices. Since this construction is new, no prior reference is available, and the full proof is now included. revision: yes
Circularity Check
No significant circularity; explicit coordinate construction is independent
full rationale
The paper constructs explicit coordinates on the set of non-elliptic web diagrams (taken as a basis via standard background in SL_3-skein literature) and maps them into a submonoid of Z^d whose rank matches the known dimension of the SL_3 character variety. No load-bearing step reduces the coordinate map to a fitted parameter, self-citation chain, or definitional tautology; the parametrization is presented as a direct, faithful embedding defined on the assumed basis set. The derivation is therefore self-contained as an independent construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Non-elliptic web diagrams form a basis for the SL_3-skein algebra of a closed surface Σ_g.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The coordinate map κ: B_Σg → Nr × Nr × Zr × Zr × ZP × ZP ... Im κ = Θ (submonoid defined by positivity and congruence conditions mod 3,2,6)
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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.