Pith. sign in

REVIEW 3 major objections 4 minor 19 references

Lower and Upper Bounds for Positive Bases of Skein Algebras

T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read On the closed torus, only the type-one Chebyshev sequence gives a positive skein basis; for other surfaces, every positive normalized sequence lies between the two Chebyshev families.

desk verdict Torus uniqueness is a genuine classification result and the sandwich bounds are new; the proofs hold up except for one compressed section that a referee should ask to expand. read the letter →

arxiv 1908.05775 v1 pith:IBCNO2FA submitted 2019-08-15 math.GT

Thang T. Q. Lê , Dylan P. Thurston , Tao Yu This is my paper · ORCID
classification math.GT MSC 57N1057M25
keywords KauffmanbracketskeinalgebrapositivebasisChebyshevpolynomialsnormalizedpolynomialsequencesurfacecluster
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Skein algebras, built from curves on a surface modulo a quantum bracket relation, sit at the center of a positivity conjecture for cluster algebras. The paper asks which normalized polynomial sequences generate positive bases, meaning bases whose multiplication coefficients are nonnegative. It proves a sandwich theorem: any positive normalized sequence must lie between the type-one Chebyshev sequence $(\hat T_n)$ and the type-two Chebyshev sequence $(S_n)$, for surfaces of genus at least 1 or with at least 4 punctures over $\mathbb{Z}[q^{\pm1}]$. On the closed torus the conclusion is much sharper: the sequence $(\hat T_n)$ is the only one that gives a positive basis. A reader should care because this pins down the exact degree of freedom left for positive bases and explains why the seemingly natural $S_n$ basis fails on the torus.

What carries the argument

The central object is the twisted basis $B_P(\Sigma)$, formed by replacing each component of a simple multicurve $\gamma=\prod \gamma_i^{n_i}$ by $P_{n_i}(\gamma_i)$. The proof uses the partial order $(P_n)\leq (Q_n)$ on normalized sequences and reduces every surface to one of three model surfaces: the closed torus $\Sigma_{1,0}$, the once-punctured torus $\Sigma_{1,1}$, and the four-punctured sphere $\Sigma_{0,4}$. On these models, explicit multiplication formulas, including the torus product formula and recursive identities such as $T_{n,1}T_{0,1}=q^n T_{n,2}+q^{-n}T_{n,0}+\cdots$, provide the control needed to compare an arbitrary $P_n$ with $S_n$ and to force equality with $\hat T_n$ on the torus.

What would settle it

Take a normalized sequence with $P_2(x)\neq \hat T_2(x)$ on the closed torus, for instance $(S_n)$, and expand $P_1((1,0))P_1((0,1))$ in the associated basis $B_P$ using the torus product formula; if any coefficient falls outside $\mathbb{Z}_+[q^{\pm1}]$, that sequence is not positive. A single positive sequence on the torus with $P_2\neq \hat T_2$ would disprove the uniqueness claim, and the expansion is a direct check.

Watch

Extended reading notes

Core claim

Theorem 1 states that a normalized sequence $(P_n)$ with integer coefficients that is positive on a surface of genus at least 1 or with at least 4 punctures satisfies $(\hat T_n)\leq (P_n)\leq (S_n)$, where the inequality means each entry is a nonnegative linear combination of earlier Chebyshev entries. Theorem 2 strengthens the torus case: over $\mathbb{Z}$ or $\mathbb{Z}[q^{\pm1}]$, the sequence $(P_n)$ is positive exactly when $(P_n)=(\hat T_n)$. The proof shows that positivity of the twisted basis forces $P_1(x)=x$ and then forces each expansion coefficient of $P_n$ relative to the Chebyshev basis to lie in the positive cone; the explicit torus product formula turns this into the uniqueness of $(\hat T_n)$.

Load-bearing premise

The reduction to the three model surfaces assumes that positivity of a basis on a larger surface descends to every strictly embedded basic subsurface, so that if the model cases fail, the general case fails; this descent is stated rather than proved in detail.

Editorial extensions

If this is right

  • The lower bound $(P_n)\geq (\hat T_n)$ now holds for all surfaces of genus at least 1 or with at least 4 punctures, extending the earlier genus-at-least-1 result to the genus-zero case.
  • The upper bound $(P_n)\leq (S_n)$ applies to the same family of surfaces, so no positive normalized sequence can exceed the type-two Chebyshev basis in the coefficient order.
  • On the closed torus the classification is complete: $(\hat T_n)$ is the only normalized sequence producing a positive basis.
  • The type-two sequence $(S_n)$ is therefore not positive on the torus, and the paper's conjecture that both $(\hat T_n)$ and $(S_n)$ are positive on surfaces of negative Euler characteristic remains open.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • My inference: the strict-embedding reduction means the three model surfaces are the only places where positivity can fail; any surface containing one of them as a strict subsurface inherits the same bounds, so the search for positive bases can be focused on the three models.
  • My inference: the torus uniqueness suggests a broader rigidity principle, namely that any positive canonical basis in a skein algebra, even one not twisted by a single polynomial sequence, will have to reproduce the type-one Chebyshev behavior on every embedded torus.
  • A testable extension would be to check whether the sandwich $(P_n)\leq (S_n)$ persists for coefficient rings other than $\mathbb{Z}[q^{\pm1}]$ or for bases not generated by one polynomial sequence; the paper does not address these cases.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper proves two theorems about positive bases of Kauffman bracket skein algebras of surfaces. Theorem 1 shows that if a normalized polynomial sequence (P_n) with integer coefficients is positive on a surface of genus at least one or with at least four punctures over R = Z[q^{±1}], then the sequence is sandwiched between the normalized Chebyshev polynomials of type one, (T-hat_n), and type two, (S_n). Theorem 2 shows that on the closed torus, the only normalized sequence giving a positive basis is (T-hat_n). The proofs are organized by reducing to three basic surfaces: the closed torus, the once-punctured torus, and the four-punctured sphere. The lower bound is proved in Section 4 using explicit skein resolutions, and the upper bound is proved in Section 5 using product formulas for Chebyshev-type elements on the basic surfaces.

Significance. If the results hold, they provide a sharp constraint on the possible positive bases of skein algebras, strengthening the Fock-Goncharov/Thurston positivity program and giving a surprising uniqueness statement for the torus. The paper contains explicit, parameter-free derivations: the lower bound uses a direct resolution of ab into b_1, b_{-1}, and peripheral products, and the upper bounds use stated product lemmas and the Frohman-Gelca formula for the torus. The theorems are concrete and falsifiable, and the main claims are supported by direct computations rather than by fitting parameters. The proofs are largely self-contained, though some computational steps are compressed.

major comments (3)
  1. [Section 2.5] The reduction to the three basic surfaces is stated as 'This can be seen as follows' and then argued by strict embeddings, but the descent of positivity is not proved in detail. For a strict embedding ι: Σ → Σ', one needs that ι_*(B_P(Σ)) ⊆ B_P(Σ') and that the algebra embedding ι_* preserves positive expansions, so that positivity of B_P(Σ') implies positivity of B_P(Σ). The containment holds because ι is injective on multicurves, but the preservation of the twisted basis under the product expansion is implicit. Since Theorem 1 covers all surfaces with genus ≥ 1 or p ≥ 4, this reduction is load-bearing; the authors should state and prove the descent lemma explicitly.
  2. [Lemma 5.3] In the proof of Lemma 5.3 for the once-punctured torus, the induction step concludes 'the last equality can be directly verified using the expression of G_n'. This hides the crucial cancellation that produces q^{-n}S_n((1,0)) from the combination of q^{-n}T_{n,0} and the contributions of G_n and A_n. Since the upper bound in Theorem 2.6 for Σ_{1,1} relies on identifying the lowest q-degree term as exactly q^{-n}S_n((1,0)), any off-by-one in the indices or exponents of G_n would break the theorem. The authors should display the verification of the induction step, or at least provide an explicit expansion for small n (e.g., n = 2 and n = 3) and a closed-form verification of the G_{n+1} equality.
  3. [Lemma 5.5] The proof of Lemma 5.5 for the four-punctured sphere ends with 'After a routine reduction, the product S_{n,1}S_{0,1} has the desired form.' This is not a proof: the claimed separation of the q^{-2n}S_{n,0} term from the sums g_n and h_n is exactly the content needed to obtain the upper bound (P_n) ≤ (S_n) in Theorem 2.6 for Σ_{0,4}. The authors should provide the full computation, specifying how the terms in g_n and h_n combine, and verify the q-degree bounds. Without this, the upper-bound theorem is only as secure as an unshown calculation.
minor comments (4)
  1. [Abstract] In the first sentence, 'the if a sequence' should be 'if a sequence'.
  2. [Section 5.1] In the torus proof, the sentence 'For n > 2, (n,2)_T is either P_1((n,2)) or P_2((n/2,1))' is correct but terse; a short explanation that this follows from the parity of n and the already-proved fact P_2 = T_2 would improve readability.
  3. [References] The reference [FrG] lists 'F. Charles, and R. Gelca' but the correct authors are C. Frohman and R. Gelca; the title and journal are correct, but the author names should be fixed.
  4. [Lemma 5.2] In the proof of Lemma 5.2, the phrase 'apply (n-1)/2 Dehn twists along (1,0) to the equation above' should specify the effect of the Dehn twist on the indices; while the action is standard, writing the resulting index shift would remove ambiguity.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the derivation uses independent published product formulas and direct skein-theoretic inductions.

full rationale

I find no circular step. The genus at least 1 lower bound is cited from the earlier paper [Le] (Section 4: 'The case when Σ has genus at least 1 is already proved in [Le]'); this is a self-citation, but it is an independent, published result whose assumptions do not include the present upper-bound or uniqueness conclusions. The torus uniqueness proof (Theorem 2.5) combines that lower bound with the external Frohman–Gelca structure constants ('The structure constants ... were computed by Frohman and Gelca [FrG]') and derives P2=T2 and then (Pn)≤(T-hat_n) directly from positivity of BP; no fitted parameter is later renamed a prediction. The upper-bound theorem reduces to three basic surfaces by strict embeddings, and the punctured-torus and four-punctured-sphere computations rely on Lemma 5.1, cited as 'essentially a reformulation of Proposition 3.1 in [Le]', plus induction lemmas (5.2–5.5) whose hypotheses concern intersection patterns of explicit curves, not the theorem's conclusion (Pn)≤(Sn). The only potentially weak points are computational: Lemma 5.3's q-degree cancellation and Lemma 5.5's 'routine reduction' are not fully displayed. Those are rigor or exposition gaps, not circular reductions. Hence the circularity score is 0.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters or invented entities. The central proofs depend on standard skein-algebra theorems and two results from [Le], the latter being self-citations but published, peer-reviewed theorems with proofs. The new upper-bound and torus-uniqueness claims are derived from explicit product computations, not from assuming the target result.

assumptions (4)
  • standard math Przytycki basis theorem: the isotopy classes of simple multicurves form a free R-basis of the skein algebra S(Sigma;R).
    Used to define the twisted bases BP and to justify strict-embedding reductions; cited as Theorem 2.1 in Section 2.3.
  • standard math Frohman-Gelca product formula on the torus: (r,s)_T (u,v)_T = q^{rv-us}(r+u,s+v)_T + q^{-(rv-us)}(r-u,s-v)_T.
    Used in Section 5.1 to show the T-hat basis is positive and to compute products P1((n,1))P1((0,1)) in the torus rigidity proof.
  • standard math Le's lower bound: a positive normalized sequence on a surface of genus at least 1 satisfies (Pn) >= (T-hat).
    Theorem 2.4(a) for genus >= 1 is cited from [Le], a peer-reviewed paper by the first author; it supplies the lower bound used in the torus and punctured-torus proofs.
  • standard math Lemma 5.1 product formula for curves on the once-punctured torus intersecting once, reduced to Proposition 3.1 of [Le].
    Used to derive Lemmas 5.2 and 5.3 for the punctured-torus upper bound.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Lower and Upper Bounds for Positive Bases of Skein Algebras." pith.science (2026). https://pith.science/paper/IBCNO2FA

@misc{pith2026190805775,
  author       = {Pith},
  title        = {Pith review of: Lower and Upper Bounds for Positive Bases of Skein Algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IBCNO2FA}},
  note         = {Machine review of arXiv:1908.05775}
}
abstract

We show that the if a sequence of normalized polynomials gives rise to a positive basis of the skein algebra of a surface, then it is sandwiched between the two types of Chebyshev polynomials. For the closed torus, we show that the normalized sequence of Chebyshev polynomials of type one $(\hat{T}_n)$ is the only one which gives a positive basis.

Figures

Figures reproduced from arXiv: 1908.05775 by the authors.

Figure 1
Figure 1. Defining relations for S (M) the difference is. The framings on the diagrams are vertical, i.e. pointing out to the reader. The skein relations were introduced by Kauffman [Kau]. For Σ = Σg,p, the oriented surface with genus g and p punctures, let S (Σ; R) := S (Σ × (−1, 1); R), which has a product structure given by stacking. More precisely, the product of two framed links L and K in S (Σ; R) is given by the union … view at source ↗
Figure 2
Figure 2. The involution of the torus More concretely, represent Σ0,4 as in Figure 3a. Choose the curves a and b, and number the punctures as in the figure. The curve surrounding puncture i is denoted by γi . To obtain the (r, s) curve on Σ0,4, take |r| parallel copies of a and |s| parallel copies of b, and resolve each intersection such that one would turn left from a to b if rs > 0 and turn right if rs < 0. Thus a = (1, 0),… view at source ↗
Figure 3
Figure 3. Curves on Σ0,4 For Σ0,4, the mapping class group is (Z/2)2 ⋊ P SL2(Z). The mapping classes that fix puncture 4 forms a subgroup isomorphic to P SL2(Z) = SL2(Z)/{±1}. The action of this subgroup on (r, s) curves is the projective linear action. 4. Lower Bound, Proof of Theorem 2.4 Note that Theorem 2.4 about lower bounds does not assume R = Z[q ±1 ] [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: Four resolutions of ab By resolving both crossings between a and b as in [PITH_FULL_IMAGE:figures/full_fig_p007_4.png]
Figure 5
Figure 5. Figure 5: = q 2 + + + q −2 [PITH_FULL_IMAGE:figures/full_fig_p009_5.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 17 canonical work pages

  1. [1]

    Bonahon and H

    F. Bonahon and H. Wong, Quantum traces for representations of surface groups in SL_2( C ) , Geom. Topol. 15 (2011), No. 3, 1569--1615

    work page 2011

  2. [2]

    S. Y. Cho, H. Kim, H. Kim, and D. Oh, Laurent positivity of quantized canonical bases for quantum cluster varieties from surfaces , to appear in Communications in Mathematical Physics. Preprint arXiv:1710.06217

    arXiv

  3. [3]

    Fock and A

    V. Fock and A. Goncharov, Moduli spaces of local systems and higher Teichm\"uller theory , Publ. Math. Inst. Hautes \'Etudes Sci. No. 103 (2006), 1--211

    work page 2006

  4. [4]

    Fomin, M

    S. Fomin, M. Shapiro, and D. Thurston, Cluster algebras and triangulated surfaces. I. Cluster complexes , Acta Math. 201 (2008), 83--146

    work page 2008

  5. [5]

    Charles, and R

    F. Charles, and R. Gelca, Skein modules and the noncommutative torus, Transactions of the American Mathematical Society 352 (2000), No. 10, 4877--4888

    work page 2000

  6. [6]

    Kauffman, States models and the Jones polynomial , Topology 26 (1987), 395--407

    L. Kauffman, States models and the Jones polynomial , Topology 26 (1987), 395--407

    work page 1987

  7. [7]

    T. T. Q. L\^e, The colored Jones polynomial and the A-polynomial of knots , Adv. Math. 207 (2006), no. 2, 782--804

    work page 2006

  8. [8]

    T. T. Q. L\^e, On Kauffman bracket skein modules at roots of unity , Algebr. Geom. Topol. 15 (2015), 1093--1117

    work page 2015

Show all 19 references
  1. [9]

    T. T. Q. L\^e, Quantum Teichmuller spaces and quantum trace map , preprint arXiv:1511.06054, 2015

    2015 arXiv

  2. [10]

    T. T. Q. L\^e, On positivity of Kauffman bracket skein algebras of surfaces , International Mathematics Research Notices (2018), no. 5, 1314--1328

    2018

  3. [11]

    Lee and Schiffler, Positivity for cluster algebras , 182 (2015), 73--125

    K. Lee and Schiffler, Positivity for cluster algebras , 182 (2015), 73--125

    2015

  4. [12]

    Luo, Simple loops on surfaces and their intersection numbers , Journal of Differential Geometry 85 (2010), no

    F. Luo, Simple loops on surfaces and their intersection numbers , Journal of Differential Geometry 85 (2010), no. 1, 73--116

    2010

  5. [13]

    Musiker, R

    G. Musiker, R. Schiffler, and L. Williams, Bases for cluster algebras from surfaces , Compos. Math. 149 (2013), 217--263

    2013

  6. [14]

    Przytycki, Fundamentals of Kauffman bracket skein modules , Kobe J

    J. Przytycki, Fundamentals of Kauffman bracket skein modules , Kobe J. Math. 16 (1999) 45--66

    1999

  7. [15]

    Przytycki and A

    J. Przytycki and A. Sikora, On the skein algebras and Sl_2( C) -character varieties , Topology 39 (2000), 115--148

    2000

  8. [16]

    Queffelec and P

    H. Queffelec and P. Wedrich, Khovanov homology and categorification of skein modules . Prepirnt arXiv:1806.03416, 2018

    2018 arXiv

  9. [17]

    Thurston, Positive basis for surface skein algebras , Proc

    D. Thurston, Positive basis for surface skein algebras , Proc. Natl. Acad. Sci. USA 111 (2014), 9725--9732

    2014

  10. [18]

    Turaev, Skein quantization of Poisson algebras of loops on surfaces , Ann

    V. Turaev, Skein quantization of Poisson algebras of loops on surfaces , Ann. Sci. Sc. Norm. Sup. (4) 24 (1991), No. 6, 635--704

    1991

  11. [19]

    Turaev, Conway and Kauffman modules of a solid torus , J

    V. Turaev, Conway and Kauffman modules of a solid torus , J. Soviet. Math. 52 (1990), 2799--2805

    1990

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.