Kauffman bracket skein algebra of the 4-holed disk

Haimiao Chen

REVIEW 4 major objections 6 minor 18 references

Kauffman bracket skein algebra of the 4-holed disk

T0 review · 4 major / 6 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read The 4-holed disk skein algebra has an explicit monomial basis and a finite presentation, proved by transferring the problem to the SL(2,C)-character variety of the rank-4 free group.

desk verdict Integral monomial basis for the 4-holed disk skein algebra, with one genuine gap in the cited Gröbner basis input. read the letter →

arxiv 2411.15829 v2 pith:BS3XJIQM submitted 2024-11-24 math.GT math.QA

Haimiao Chen This is my paper · ORCID

classification math.GTmath.QA MSC 57K1657K31

keywords Kauffmanbracketskeinalgebramonomialbasispresentation4-holeddiskSL(2C)-charactervarietyfreegroupofrank4modulequantizationGr\"obner

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

This paper proves that the Kauffman bracket skein algebra of the 4-holed disk (the genus-zero surface with five boundary components) has an explicit monomial basis over $\mathbb{Z}[q^{\pm 1/2}]$: every element is uniquely a polynomial in the four arcs $t_{12},t_{23},t_{34},t_{14}$ with coefficients drawn from a small explicit list of 'heavy' generators. It also gives a finite presentation for the algebra, so all relations among the 15 standard arc generators are consequences of three concrete families of relations. The proof routes the problem through the $\mathrm{SL}(2,\mathbb{C})$-character variety of the free group on four generators, where a normal-form basis is obtained first and then pulled back to the skein algebra. This matters because the 4-holed disk is the first surface beyond the previously understood small ones for which such a complete normal form is given, and the normal form is designed for explicit algebraic computation.

What carries the argument

The central mechanism is the reduction order $\|u\|=(|u|,|\dot u|,|\ddot u|)$, where $|u|$ counts total curve length, $\dot u$ keeps factors of length at least two, and $\ddot u$ keeps only the heavy generators. Under this order the relations of $H$ make every non-normal monomial strictly simpler after replacement, so induction on $\|u\|$ drives each monomial into the span of the claimed basis; the same induction, run backwards on the character-variety side, supplies the linear independence. The character-variety half uses a Gr\"obner basis for the ideal $J$ of $\mathrm{GL}(2,\mathbb{C})$-invariant relations: the leading monomial of every element of $J$ is divisible by one of a short list (Lemma 3.2), which forces the invariant ring to be free over the polynomial ring in the light variables.

What would settle it

Find a nonzero element of the ideal $J$ whose leading monomial is not divisible by any leading monomial in the patched Gr\"obner basis; alternatively compute the Hilbert series of $S_4$ and compare it with the generating series of the claimed basis $C$, since any mismatch would expose a hidden relation or a missing generator.

Watch

Extended reading notes

Core claim

At the centre is Theorem 1.3: as a $\mathbb{Z}[q^{\pm 1/2}][t_1,t_2,t_3,t_4]$-module, the skein algebra $S_4$ is freely generated by $t_{12}^{j_1}t_{23}^{j_2}t_{34}^{j_3}t_{14}^{j_4}a$ with $j_1,\dots,j_4\ge 0$ and $a$ ranging over a finite set $A$ made of $1$, the outer curve $t_0$, the triple arcs $t_{123},t_{124},t_{134},t_{234}$, and powers of $t_{13},t_{24}$ multiplied by selected elements. Theorem 1.4 completes the picture by listing the generators (the 15 arcs connecting holes to the outer boundary) and a finite set of defining relations: central elements, commutator relations that move one arc past another at the cost of powers of $q^2$ and simpler terms, and reduction relations that replace obstructions such as $t_{13}t_{24}$ and $t_{123}^2$ by linear combinations of simpler monomials. The proof of freeness goes through the $\mathrm{SL}(2,\mathbb{C})$-character variety of $\mathbb{F}_4$: Theorem 3.3 proves that the trace ring $T_4$ is a free module over a polynomial subring, Theorem 3.4 transfers this to the character-variety coordinate ring, and Lemma 4.1 transfers linear independence back to the skein algebra using the surjective map from skein modules to character varieties and torsion-freeness of the skein module.

Load-bearing premise

The proof assumes that the Gr\"obner-basis theorem it imports remains true after the undefined variable symbols in its original statement are filled in with the new definitions; the paper makes the statement meaningful but does not prove that the leading-monomial divisibility property survives, and the whole module-basis construction rests on that.

Editorial extensions

If this is right

Every element of $S_4$ has a unique normal form, so products and linear relations in the algebra can be decided by a deterministic reduction process.
The presentation answers the structure problem for the genus-zero, five-boundary surface over the integral ring $\mathbb{Z}[q^{\pm 1/2}]$, not just over a field of rational functions.
Because the basis is explicit, skein modules of 3-manifolds obtained by attaching 2-handles to a genus-4 handlebody can be computed by reducing boundary skeins to normal form.
The character-variety normal form (Theorem 3.4) is independently useful as an explicit basis for the coordinate ring of the $\mathrm{SL}(2,\mathbb{C})$-character variety of the free group of rank 4.

Reading between the lines

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

The same reduction-order-plus-character-variety strategy is likely to produce explicit bases and presentations for skein algebras of other surfaces with fundamental group free of rank 4, such as the one-holed torus with three boundary components or the twice-punctured genus-two surface, which the author signals as the next targets.
If the normal form is efficient, it gives a ready-made algorithm for computing skein-theoretic invariants, for instance for knot exteriors obtained by Dehn filling on the 4-holed disk boundary, bypassing the multicurve bases that are hard to manipulate.
A fully self-contained proof of the patched Gr\"obner-basis property would remove the single fragile step and make the paper's basis theorem independent of any external statement.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Two things to know. First, this paper proves what it says: an integral version (over Z[q^{±1/2}]) of the presentation of the Kauffman bracket skein algebra of the 4-holed disk, plus a monomial basis. The presentation itself was already known over C(q^{1/4}) in Cooke–Lacabanne and over rings with (q+q^{-1}) inverted in the author's earlier work; the genuinely new content is the extension to the full integral ring without inverting alpha, and the explicit basis. Second, the proof is mostly self-contained and the skein-theoretic parts are checkable. The main soft spot is not in the skein relations but in the character variety input: the paper imports a Gröbner basis theorem from Domokos–Drensky [11] after patching undefined variables, without proving that the patch preserves the Gröbner basis property. That is a legitimate concern and should be fixed, though it is likely a minor repair.

What the paper does well. The complexity measure for monomials (the triple (|u|,|u dot|,|u double dot|)) makes the spanning proof quite transparent. The reduction relations are verified by explicit diagrams, and the induction on the measure seems to cover all cases. The freeness argument via the character variety is clever: it avoids the heavy rewriting machinery used in [8]. Theorem 3.4, the freeness of the character variety over the polynomial ring Q, is a useful result on its own.

Soft spots. The Gröbner basis patch in Remark 3.1 is the biggest issue. The author defines z_{ij} for all i,j and z_{ijk} with alternating signs, but does not show that the leading monomials of the Gröbner basis remain the same under these conventions. The reader's concern here is on point. I would ask the author to include a short verification or a reference that covers the exact statement. The other flagged step—the "invertible linear map" from ε(C) to B—is less troubling than it looks. Under ε, every t_{i1...ir} maps to its negative, so ε sends each element of C to ± the corresponding element of B. The map is diagonal, not merely triangular, and the appeal to (6) is unnecessary. The stress-test note's worry about terms like t13^k t234 does not arise because the map is between the same sets of monomials. The author should still write this down, since the current sentence is too terse.

Who this is for: anyone computing skein modules of 3-manifolds over handlebodies, or working with quantization of character varieties. The paper is a solid computational contribution. I'd send it to a good journal and have a referee check the Gröbner basis input; after that repair, it should be acceptable.

Recommendation: seriously engage with it. The integral basis is a real advance over the earlier results.

Referee Report

4 major / 6 minor

Summary. The paper studies the Kauffman bracket skein algebra S4 of the 4-holed disk (equivalently the 5-holed sphere) over the integral coefficient ring Z[q^{±1/2}]. The main results are a monomial basis for S4 as a module over the polynomial subring generated by t1,t2,t3,t4 (Theorem 1.3) and a finite presentation with three families of relations (Theorem 1.4). The proof strategy is two-step: first verify all listed skein relations by elementary curve manipulations; then prove a structural theorem for the SL(2,C)-character variety of the rank-4 free group using the Gröbner basis theorem of Domokos and Drensky, and finally transfer the resulting basis to the skein algebra through Bullock's map q^{1/2} ↦ -1. The paper also contains a reduction argument showing every monomial in the skein algebra can be brought into the proposed normal form using only the explicit relations.

Significance. If the gaps in the written proof are repaired, this is a valuable contribution: it provides an explicit monomial basis over the original integral coefficient ring and a finite presentation for the skein algebra of the 4-holed disk, answering a case of the Bullock–Przytycki problem. The character-variety theorem for the rank-4 free group is also of independent interest, and the skein-theoretic verification of the relations is explicit and checkable. The paper honestly acknowledges overlap with the presentation of Cooke and Lacabanne while offering a more elementary proof over a larger coefficient ring. The main limitations are in the rigor of the charactervariety arguments, not in the overall strategy.

major comments (4)

[§3, Theorem 3.3 and Remark 3.1] The proof relies on [11, Theorem 3.1] after extending z_{ij} and z_{ijk} to all indices according to symmetry and alternating conventions. Since the original theorem is stated in [11] with symbols that were not defined for all index sets, the reader cannot verify that the patched statement is exactly the theorem proved there. This is load-bearing: Lemma 3.2 and the reduction steps in Theorem 3.3 all depend on the Gröbner basis property of Gr. Please state the precise patched theorem with the extended variables and either prove it or give an exact reference indicating where the corresponding statement with symmetric/alternating variables is established.
[§3, Theorem 3.4] The sentence 'Observe that C[X(F4)] is also a subring of T4; in other words, C[X(F4)] is a direct summand of T4' is not justified. A quotient ring is not automatically a subring, and the passage from the R-basis E of T4 in Theorem 3.3 to the Q-basis A of C[X(F4)] is not an immediate corollary. One needs an explicit splitting of the restriction map from GL(2,C)-invariants to SL(2,C)-characters, or an identification such as T4 ≅ C[X(F4)] ⊗_C C[d1,d2,d3,d4] with the determinant variables. Without this, the freeness of C[X(F4)] over Q and the basis A are not established.
[§3, Step 3 of Theorem 3.3 (Eq. (33) and following)] The conclusion 'Hence no monomial in v is divisible by z13^2 z24^2. This forces v=0' is not justified by the preceding text. From θ_{1234}^{1234} | v alone it does not follow that v contains a monomial divisible by z13^2 z24^2; one must use the additional fact that z13^2 z24^2 is the unique monomial of θ_{1234}^{1234} of maximal total degree in the variables z13,z24 and argue by taking the highest-degree homogeneous component in those variables. Please supply this argument explicitly, since this step is essential for the R-linear independence of E.
[§4, proof of Theorem 1.3] The statement that 'ε(C) is related to B via an invertible linear map' is not demonstrated. In fact, since ε sends each generator t_{i1...ir} to -t_{i1...ir}, the set ε(C) is obtained from the basis B of Theorem 3.4 by multiplying each element by a nonzero scalar; the map is a diagonal sign change, and relation (6) is not needed. This should be stated explicitly, because Lemma 4.1 requires verifying that ε(C) is C-linearly independent. The current wording leaves an unnecessary gap in a load-bearing step.

minor comments (6)

[§1, Notation 1.2] The convention 'Denote q^{-1} by q, denote q^{-1/2} by q^{1/2}' is confusing. Please spell out the relation between the formal parameter in the skein relation and the symbol q used in the final statements, e.g. by writing q = Q^{-2} for a new parameter Q.
[§2, Figure 4 and related] Several curves such as t_{1232}, t_{1242}, t_{12342}, t_{1214}, t_{2343} appear in the text and figures without a formal definition. They are understandable from the figures, but a sentence explaining the notation for curves with repeated indices would aid readability.
[§3, partial order on H] The partial order defined on H = ∪_{k=2}^4 H_k is used only for H_4 and H_3 in the statement of the Gröbner basis; this is fine, but the definition of z_{ijk}=0 for repeated indices should be recalled when computing leading monomials such as L(ζ^1_c(234)).
[§4, Lemma 4.2] In the proof of Lemma 4.2, the notation t_{13}t_{24} ≡ t_{24}t_{13} ≡ αt_0 could be misunderstood as equality after a rotation; it would help to state explicitly that the two congruences are obtained by rotating relation (6).
[References] Reference [8] is listed as 'to appear in Ann. Inst. Fourier'; if the current volume or page numbers are known, they should be updated. Reference [7] is mentioned in the introduction as an application but is not otherwise discussed; a brief sentence would help.
[Throughout] There are minor typographical issues with accents (e.g., 'Gröbner') and some inline LaTeX artifacts in the arXiv version; these should be cleaned in the final manuscript.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the monomial basis and presentation derive from explicit skein relations plus external Groebner-basis/character-variety theorems; the cited prior work is not used as an input.

full rationale

The paper's central claims are Theorem 1.3 (monomial basis) and Theorem 1.4 (presentation). The proof has two independent components. First, spanning: Section 2 verifies every relation in H directly from Kauffman bracket skein relations, mirror images, and embeddings of S3 into S4, and the induction in the proof of Theorem 1.3 uses only those relations to transform monomials into C. Second, linear independence: Lemma 4.1 transfers a basis from the SL(2,C)-character variety of F4 to the skein algebra by specializing q^{1/2} to -1. The character-variety basis is Theorem 3.4, whose proof rests on Theorem 3.3, proved from the Groebner basis theorem of Domokos and Drensky ([11, Thm 3.1]) and Drensky's presentation ([10, Thm 2.3]). These are external, parameter-free results, not results of this paper. The author's own prior work ([6], [7]) is cited only for context or as an application of Theorem 1.3 and is not load-bearing. The acknowledged overlap with Cooke-Lacabanne [8] is a comparison, not a premise. The assertion that ϵ(C) is related to B by an invertible linear map using relation (6) is under-explained and might be a proof gap, but a missing verification is not a circular reduction: relation (6) was proved earlier in the paper from skein moves. Similarly, Remark 3.1's patch of undefined symbols from [11] is a correctness issue about an external theorem, not a self-referential argument. No parameter is fitted to data and then renamed a prediction; no set is defined in terms of the target basis; no uniqueness claim is imported from the author's own prior work. Therefore the derivation chain is not circular.

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

The paper introduces no free parameters and no invented entities. It rests on standard external results: freeness of surface skein modules, the Domokos-Drensky Groebner basis for GL(2,C) invariants, Bullock's homomorphism from skein algebra to character variety, and Przytycki's embedding and mirror facts. The only non-standard input is the author's patch to the Groebner basis theorem.

assumptions (5)

standard math Z[q^{±1/2}] skein module of a surface with nonempty boundary is free and hence torsion-free (Przytycki, Theorem 2.3(b)).
Invoked in Lemma 4.1 to apply the basis criterion; documented external theorem.
ad hoc to paper The Groebner basis theorem of Domokos and Drensky for the ideal J of GL(2,C) invariants is valid after the author's notational patch.
Remark 3.1 acknowledges undefined variables in [11]; the paper introduces z_{ij}, z_{ijk} for all indices so the statement makes sense, but does not reprove the theorem.
standard math The coordinate ring of the SL(2,C)-character variety of F4 is the subring of T4 determined by s_ii = (1/2)t_i^2 - 2, and T4 ≅ P/J with pi surjective (Drensky [10], Ashley-Burelle-Lawton [1]).
Used in Theorem 3.4 to pass from the free module T4 to the character variety basis.
standard math The map ε from the skein algebra to the character variety, obtained by setting q^{1/2} = -1, is a well-defined surjective ring homomorphism (Bullock [3]).
Used in Lemma 4.1 to detect linear independence via the character variety.
standard math Embeddings of Σ_{0,4} into Σ_{0,5} induce algebra homomorphisms on skein algebras, and the mirror map τ* acts as an automorphism (Przytycki [18]).
Used throughout Section 2 to produce relations in S4 from known relations in S3.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Kauffman bracket skein algebra of the 4-holed disk." pith.science (2026). https://pith.science/paper/BS3XJIQM

@misc{pith2026241115829,
  author       = {Pith},
  title        = {Pith review of: Kauffman bracket skein algebra of the 4-holed disk},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BS3XJIQM}},
  note         = {Machine review of arXiv:2411.15829}
}

abstract

We give a monomial basis for the Kauffman bracket skein algebra of the $4$-holed disk, and find a presentation. This is based on an insight into the ${\rm SL}(2,\mathbb{C})$-character variety of the rank $4$ free group.

Figures

Figures reproduced from arXiv: 2411.15829 by the authors.

**Figure 2.** From left to right: t1, t34 t24, t134, t0 = t1234. For 1 ≤ i1 < · · · < ir ≤ 4, let ti1···ir be a simple curve intersecting zj once exactly for j ∈ {i1, . . . , ir}; see [PITH_FULL_IMAGE:figures/full_fig_p002_2.png] view at source ↗

**Figure 3.** Left: zi is oriented outward. Middle: t1232 = t3212. Right: t2434 = t3424 [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗

Figures from the paper (6 more)

**Figure 4.** Figure 4: First row (from left to right): Σ0,4, t1, t23, t123. Second row: using skein relations to expand t12t23. Display Σ0,4 and introduce some elements of S3 in the first row of [PITH_FULL_IMAGE:figures/full_fig_p005_4.png]

**Figure 5.** Figure 5: Computing t1232 t13 in S3. As shown in [PITH_FULL_IMAGE:figures/full_fig_p006_5.png]

**Figure 6.** Figure 6: First row (from left to right): ι1–ι4. Second row: ι5–ι8. We shall use (ι1)∗(16) to denote the relation in S4 induced from (16) by the morphism (ι1)∗ : S3 → S4, and so on. Note that (ι1)∗(15) has the same expression as (15). As is easy to see, (1) = (ι1)∗(16), (2) = (ι…

**Figure 7.** Figure 7: Computing t13t24. 7 [PITH_FULL_IMAGE:figures/full_fig_p007_7.png]

**Figure 8.** Figure 8: Computing t24t134. It can also be deduced from (15) using some embedding Σ0,4 ,→ Σ0,5. Here for clarity, we deduce it directly. Proof of (10)–(13). As is not difficult to verify, (ι6)∗(15), (ι7)∗(15), (ι8)∗(15) respectively read t123t234 = qt123432 + qt14 + t23t0 + t1…

**Figure 9.** Figure 9: Computing t23t12434. Rotating (ι1)∗(15) by π/2 and taking the mirror image yields t1214 = qt12t14 − q 2 t24 − qt2t4 − qt1t124; rotating (ι1)∗(15) by −π/2 yields t2343 = qt23t34 − q 2 t24 − qt2t4 − qt3t234. 9 [PITH_FULL_IMAGE:figures/full_fig_p009_9.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 17 canonical work pages

[11]

Domokos and V

M. Domokos and V. Drensky, Gr¨ obner bases for the rings of special orthogonal and 2 × 2 matrix invariants, J. Algebra 243 (2001), no. 2, 706–716

work page 2001
[8]

Cooke and A

J. Cooke and A. Lacabanne, Higher rank Askey-Wilson algebras as skein algebras, to appear in Ann. Inst. Fourier

work page
[1]

Ashley, J.-P

C. Ashley, J.-P. Burelle and S. Lawton, Rank 1 character varieties of finitely presented groups, Geom. Dedicata 192 (2018), 1–19

work page 2018
[2]

Aranda and N

J.R. Aranda and N. Ferguson, Generating sets for the Kauffman skein module of a family of Seifert fibered spaces, New York J. Math. 28 (2022), 44–68

work page 2022
[3]

Bullock, Rings of SL 2(C)-characters and the Kauffman bracket skein module

D. Bullock, Rings of SL 2(C)-characters and the Kauffman bracket skein module. Comment. Math. Helv. 72 (1997), 521–542

work page 1997
[4]

Bullock, A finite set of generators for the Kauffman bracket skein algebra, Math

D. Bullock, A finite set of generators for the Kauffman bracket skein algebra, Math. Z. 231 (1999), 91–101

work page 1999
[5]

Bullock and J.H

D. Bullock and J.H. Przytycki. Multiplicative structure of Kauffman bracket skein module quantizations, Proc. Amer. Math. Soc. 128 (2000), no. 3, 923–931. 17

work page 2000
[6]

Presentations of Kauffman bracket skein algebras of planar surfaces

H.-M. Chen, Presentation of Kauffman bracket skein algebras of planar surfaces, arXiv: 2401.00898

work page Pith review arXiv

Show all 18 references

[7]

Chen, Kauffman bracket skein module of the (3 , 3, 3, 3)-pretzel link exterior, arXiv: 2502.16234

H.-M. Chen, Kauffman bracket skein module of the (3 , 3, 3, 3)-pretzel link exterior, arXiv: 2502.16234

arXiv
[9]

Detcherry and M

R. Detcherry and M. Wolff, A basis for the Kauffman skein module of the product of a surface and a circle, Algebr. Geom. Topol. 21 (2021), no. 6, 2959–2993

2021
[10]

Drensky, Defining relations for the algebra of invariants of 2 × 2 matrices, Algebra Represent

V. Drensky, Defining relations for the algebra of invariants of 2 × 2 matrices, Algebra Represent. Theor. 6 (2003), 193–214

2003
[12]

Kirby, Problems in low-dimensional topology , AMS/IP Stud

R. Kirby, Problems in low-dimensional topology , AMS/IP Stud. Adv. Math., 2.2, Geometric topology (Athens, GA, 1993), 35–473, Amer. Math. Soc., Providence, RI, 1997

1993
[13]

Lˆ e, The colored Jones polynomial and the A-polynomial of knots, Adv

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

2006
[14]

Lˆ e and A.T

T.T.Q. Lˆ e and A.T. Tran, The Kauffman bracket skein module of two- bridge links, Proc. Amer. Math. Soc. 142 (2014), no. 3, 1045–1056

2014
[15]

Liang, S.-J

M. Liang, S.-J. Shi and X. Wang, On the Kauffman bracket skein mod- ule of a class of small Seifert manifolds, arXiv: 2409.09438

arXiv
[16]

March´ e, The skein module of torus knots,Quantum Topol

J. March´ e, The skein module of torus knots,Quantum Topol. 1 (2010), no. 4, 413–421

2010
[17]

Ohtsuki, Problems on invariants of knots and 3-manifolds , with an introduction by J

T. Ohtsuki, Problems on invariants of knots and 3-manifolds , with an introduction by J. Roberts. Geom. Topol. Monogr., 4, Invariants of knots and 3-manifolds (Kyoto, 2001), i–iv, 377–572, Geom. Topol. Publ., Coven- try, 2002

2001
[18]

Przytycki, Fundamentals of Kauffman bracket skein modules,Kobe Math

J.H. Przytycki, Fundamentals of Kauffman bracket skein modules,Kobe Math. J. 16 (1999), 45–66. Haimiao Chen (orcid: 0000-0001-8194-1264) chenhm@math.pku.edu.cn Department of Mathematics, Beijing Technology and Business University, Liangxiang Higher Education Park, Fangshan Dis...

1999

Pith tools

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

[1] [11]

Domokos and V

M. Domokos and V. Drensky, Gr¨ obner bases for the rings of special orthogonal and 2 × 2 matrix invariants, J. Algebra 243 (2001), no. 2, 706–716

work page 2001

[2] [8]

Cooke and A

J. Cooke and A. Lacabanne, Higher rank Askey-Wilson algebras as skein algebras, to appear in Ann. Inst. Fourier

work page

[3] [1]

Ashley, J.-P

C. Ashley, J.-P. Burelle and S. Lawton, Rank 1 character varieties of finitely presented groups, Geom. Dedicata 192 (2018), 1–19

work page 2018

[4] [2]

Aranda and N

J.R. Aranda and N. Ferguson, Generating sets for the Kauffman skein module of a family of Seifert fibered spaces, New York J. Math. 28 (2022), 44–68

work page 2022

[5] [3]

Bullock, Rings of SL 2(C)-characters and the Kauffman bracket skein module

D. Bullock, Rings of SL 2(C)-characters and the Kauffman bracket skein module. Comment. Math. Helv. 72 (1997), 521–542

work page 1997

[6] [4]

Bullock, A finite set of generators for the Kauffman bracket skein algebra, Math

D. Bullock, A finite set of generators for the Kauffman bracket skein algebra, Math. Z. 231 (1999), 91–101

work page 1999

[7] [5]

Bullock and J.H

D. Bullock and J.H. Przytycki. Multiplicative structure of Kauffman bracket skein module quantizations, Proc. Amer. Math. Soc. 128 (2000), no. 3, 923–931. 17

work page 2000

[8] [6]

Presentations of Kauffman bracket skein algebras of planar surfaces

H.-M. Chen, Presentation of Kauffman bracket skein algebras of planar surfaces, arXiv: 2401.00898

work page Pith review arXiv