representations of the kau man bracket skein algebra of a ... · kau↵man bracket skein algebra of...
TRANSCRIPT
![Page 1: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/1.jpg)
Representations of the Kau↵man Bracket SkeinAlgebra of a Surface
IAS Member’s SeminarNovember 20, 2017
Helen Wongvon Neumann fellow
![Page 2: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/2.jpg)
Quantum topology
In the early 1980s, the Jones polynomial for knots and links in3-space was introduced. Witten followed quickly with anamplification of the Jones polynomial to 3-dimensional manifolds.
Straightaway, these quantum invariants solved some long-standingproblems in low-dimensional topology. However, their definition isseemingly unrelated to any of the classically known topological andgeometric constructions. To this day there is still no good answerto the question:
What topological or geometric properties do the Jones and Wittenquantum invariants measure?
![Page 3: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/3.jpg)
Quantum topology
The Kau↵man bracket skein algebra of a surface has emerged as alikely point of connection. In particular, it
• generalizes the (Kau↵man bracket formulation of) Jones’polynomial invariant for links
• features in the Topological Quantum Field Theory descriptionof Witten’s 3-manifold invariant
• relates to hyperbolic geometry of surface, particularly theSL2C-character variety
![Page 4: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/4.jpg)
Plan for talk
1. Intro to the Kau↵man bracket skein algebra Sqp⌃q.
2. How Sqp⌃q is related to SL2C-character variety.
3. Representations of Sqp⌃q.
This talk describes joint work with Francis Bonahon.
![Page 5: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/5.jpg)
The Kau↵man bracket for links in S3
The Kau↵man bracket xKy is an invariant of isotopy classes offramed links in S
3. The Jones polynomial can be seen as amodification of it for unframed, oriented links.
Choose a variable q “ e
2⇡i~P C ´ t0u and a square root q
12 .
The Kau↵man bracket of a framed link K in the 3–sphere S
3
is evaluated from a diagram using the relations:
x y “ q
12x y ` q
´ 12x y
x y “ p´q ´ q
´1qx y.
Convention: Link diagrams are drawn with framing perpendicular to the
blackboard.
![Page 6: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/6.jpg)
The Kau↵man bracket for links in S3
The Kau↵man bracket xKy is an invariant of isotopy classes offramed links in S
3. The Jones polynomial can be seen as amodification of it for unframed, oriented links.
Choose a variable q “ e
2⇡i~P C ´ t0u and a square root q
12 .
The Kau↵man bracket of a framed link K in the 3–sphere S
3
is evaluated from a diagram using the relations:
x y “ q
12x y ` q
´ 12x y
x y “ p´q ´ q
´1qx y.
Convention: Link diagrams are drawn with framing perpendicular to the
blackboard.
![Page 7: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/7.jpg)
The Kau↵man bracket for links in S3
The Kau↵man bracket xKy is an invariant of isotopy classes offramed links in S
3. The Jones polynomial can be seen as amodification of it for unframed, oriented links.
Choose a variable q “ e
2⇡i~P C ´ t0u and a square root q
12 .
The Kau↵man bracket of a framed link K in the 3–sphere S
3
is evaluated from a diagram using the relations:
x y “ q
12x y ` q
´ 12x y
x y “ p´q ´ q
´1qx y.
Convention: Link diagrams are drawn with framing perpendicular to the
blackboard.
![Page 8: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/8.jpg)
The Kau↵man bracket for links in S3
The Kau↵man bracket xKy is an invariant of isotopy classes offramed links in S
3. The Jones polynomial can be seen as amodification of it for unframed, oriented links.
Choose a variable q “ e
2⇡i~P C ´ t0u and a square root q
12 .
The Kau↵man bracket of a framed link K in the 3–sphere S
3
is evaluated from a diagram using the relations:
x y “ q
12x y ` q
´ 12x y
x y “ p´q ´ q
´1qx y.
Convention: Link diagrams are drawn with framing perpendicular to the
blackboard.
![Page 9: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/9.jpg)
The Kau↵man bracket for links in S3
The Kau↵man bracket xKy is an invariant of isotopy classes offramed links in S
3. The Jones polynomial can be seen as amodification of it for unframed, oriented links.
Choose a variable q “ e
2⇡i~P C ´ t0u and a square root q
12 .
The Kau↵man bracket of a framed link K in the 3–sphere S
3
is evaluated from a diagram using the relations:
x y “ q
12x y ` q
´ 12x y
x y “ p´q ´ q
´1qx y.
Convention: Link diagrams are drawn with framing perpendicular to the
blackboard.
![Page 10: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/10.jpg)
Example
x y “ q
12x y ` q
´ 12x y
![Page 11: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/11.jpg)
Example
x y “ q
12x y ` q
´ 12x y
“ q
12p´q ´ q
´1q
2` q
´ 12p´q ´ q
´1q
![Page 12: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/12.jpg)
Example
x y “ q
12x y ` q
´ 12x y
“ q
12p´q ´ q
´1q
2` q
´ 12p´q ´ q
´1q
“ ´q
32p´q ´ q
´1q,
![Page 13: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/13.jpg)
Example
x y “ q
12x y ` q
´ 12x y
“ q
12p´q ´ q
´1q
2` q
´ 12p´q ´ q
´1q
“ ´q
32p´q ´ q
´1q,
x y “ ´q ´ q
´1.
![Page 14: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/14.jpg)
Example
x y “ q
12x y ` q
´ 12x y
“ q
12p´q ´ q
´1q
2` q
´ 12p´q ´ q
´1q
“ ´q
32p´q ´ q
´1q,
x y “ ´q ´ q
´1.
This shows that (as framed links) ‰ .
![Page 15: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/15.jpg)
Example
x y “ q
12x y ` q
´ 12x y
“ q
12p´q ´ q
´1q
2` q
´ 12p´q ´ q
´1q
“ ´q
32p´q ´ q
´1q,
x y “ ´q ´ q
´1.
This shows that (as framed links) ‰ .
Observation: The Kau↵man bracket can be written as a linearcombination of diagrams without crossings, which bound disks inS
3. This implies xKy P Zrq
12 , q´ 1
2s.
![Page 16: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/16.jpg)
Kau↵man bracket in S3 is multiplicative
Observation:
x y “ x y ¨ x y
![Page 17: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/17.jpg)
Kau↵man bracket in S3 is multiplicative
Observation:
x y “ x y ¨ x y
“
x y
![Page 18: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/18.jpg)
Kau↵man bracket in S3 is multiplicative
Observation:
x y “ x y ¨ x y
“
x y
Juxtaposition/superposition defines a (commutative) multiplicationof the Kau↵man bracket in S
3:
xK1y ¨ xK2y “ xK1 “next to” K2y “ xK1 “over” K2y
.
![Page 19: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/19.jpg)
The Kau↵man bracket skein algebra of S3
We consider the structure of the Kau↵man bracket of all possibleframed links in S
3.
Choose a variable q “ e
2⇡i~P C ´ t0u and a square root q
12 .
Define SqpS
3q to be the Zrq
12 , q´ 1
2s-module consisting of linear
combinations of framed links K in S
3, subject to the relations:
x y “ q
12x y ` q
´ 12x y
x y “ p´q ´ q
´1qx y,
with multiplication by juxtaposition/superposition of framed links.
![Page 20: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/20.jpg)
The Kau↵man bracket skein algebra of S3
We consider the structure of the Kau↵man bracket of all possibleframed links in S
3.
Choose a variable q “ e
2⇡i~P C ´ t0u and a square root q
12 .
Define SqpS
3q to be the Zrq
12 , q´ 1
2s-module consisting of linear
combinations of framed links K in S
3, subject to the relations:
x y “ q
12x y ` q
´ 12x y
x y “ p´q ´ q
´1qx y,
with multiplication by juxtaposition/superposition of framed links.
![Page 21: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/21.jpg)
The Kau↵man bracket skein algebra of S3
We consider the structure of the Kau↵man bracket of all possibleframed links in S
3.
Choose a variable q “ e
2⇡i~P C ´ t0u and a square root q
12 .
Define SqpS
3q to be the Zrq
12 , q´ 1
2s-module consisting of linear
combinations of framed links K in S
3,
subject to the relations:
x y “ q
12x y ` q
´ 12x y
x y “ p´q ´ q
´1qx y,
with multiplication by juxtaposition/superposition of framed links.
![Page 22: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/22.jpg)
The Kau↵man bracket skein algebra of S3
We consider the structure of the Kau↵man bracket of all possibleframed links in S
3.
Choose a variable q “ e
2⇡i~P C ´ t0u and a square root q
12 .
Define SqpS
3q to be the Zrq
12 , q´ 1
2s-module consisting of linear
combinations of framed links K in S
3, subject to the relations:
x y “ q
12x y ` q
´ 12x y
x y “ p´q ´ q
´1qx y,
with multiplication by juxtaposition/superposition of framed links.
![Page 23: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/23.jpg)
The Kau↵man bracket skein algebra of S3
We consider the structure of the Kau↵man bracket of all possibleframed links in S
3.
Choose a variable q “ e
2⇡i~P C ´ t0u and a square root q
12 .
Define SqpS
3q to be the Zrq
12 , q´ 1
2s-module consisting of linear
combinations of framed links K in S
3, subject to the relations:
x y “ q
12x y ` q
´ 12x y
x y “ p´q ´ q
´1qx y,
with multiplication by juxtaposition/superposition of framed links.
![Page 24: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/24.jpg)
Generalization to oriented 3-manifolds
We consider the structure of the Kau↵man bracket of all possibleframed links in an oriented 3-manifold M.
Choose a variable q “ e
2⇡i~P C ´ t0u and a square root q
12 .
Define SqpMq to be the Zrq
12 , q´ 1
2s-module consisting of linear
combinations of framed links K in M, subject to the relations:
x y “ q
12x y ` q
´ 12x y
x y “ p´q ´ q
´1qx y.
with multiplication by juxtaposition/superposition of framed links.
![Page 25: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/25.jpg)
Generalization to oriented 3-manifolds
We consider the structure of the Kau↵man bracket of all possibleframed links in an oriented 3-manifold M.
Choose a variable q “ e
2⇡i~P C ´ t0u and a square root q
12 .
Define SqpMq to be the Zrq
12 , q´ 1
2s-module consisting of linear
combinations of framed links K in M, subject to the relations:
x y “ q
12x y ` q
´ 12x y
x y “ p´q ´ q
´1qx y.
with multiplication by juxtaposition/superposition of framed links.
![Page 26: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/26.jpg)
Kau↵man bracket skein algebra of a surface
Special case: M “ ⌃ ˆ r0, 1s and ⌃ is an oriented, compactsurface with finitely many punctures.
Choose a variable q “ e
2⇡i~P C ´ t0u and a square root q
12 .
Define Sqp⌃q to be the Zrq
12 , q´ 1
2s-module consisting of linear
combinations of framed links K in M, subject to the relations:
x y “ q
12x y ` q
´ 12x y
x y “ p´q ´ q
´1qx y.
with multiplication by superposition of framed links.
![Page 27: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/27.jpg)
Kau↵man bracket skein algebra of a surface
Special case: M “ ⌃ ˆ r0, 1s and ⌃ is an oriented, compactsurface with finitely many punctures.
Choose a variable q “ e
2⇡i~P C ´ t0u and a square root q
12 .
Define Sqp⌃q to be the Zrq
12 , q´ 1
2s-module consisting of linear
combinations of framed links K in M, subject to the relations:
x y “ q
12x y ` q
´ 12x y
x y “ p´q ´ q
´1qx y.
with multiplication by superposition of framed links.
![Page 28: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/28.jpg)
Kau↵man bracket skein algebra of a surface
Special case: M “ ⌃ ˆ r0, 1s and ⌃ is an oriented, compactsurface with finitely many punctures.
Choose a variable q “ e
2⇡i~P C ´ t0u and a square root q
12 .
Define Sqp⌃q to be the Zrq
12 , q´ 1
2s-module consisting of linear
combinations of framed links K in M, subject to the relations:
x y “ q
12x y ` q
´ 12x y
x y “ p´q ´ q
´1qx y.
with multiplication by superposition of framed links.
![Page 29: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/29.jpg)
Example
•D loops not bounding disks ùñ many generators of Sq
p⌃q.
x y “ q
12x y ` q
´ 12x y
![Page 30: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/30.jpg)
Example
•D loops not bounding disks ùñ many generators of Sq
p⌃q.
x y “ q
12x y ` q
´ 12x y
•‰ ùñ multiplication is not commutative.
x y ¨ x y “ x y
‰
x y ¨ x y “ x y
![Page 31: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/31.jpg)
Kau↵man bracket skein algebra of a surface
Remarks
• Every 3-manifold can be decomposed into two handlebodiesalong a closed surface.
• In Witten’s TQFT for qN “ 1,
⌃ fi›Ñ V
qp⌃q
V
qp⌃q is a finite dim. quotient of Sq
pMq, where BM “ ⌃.The action Sq
p⌃q ü SqpMq provides an irreducible repn
⇢Witten : Sqp⌃q ›Ñ EndpV
qp⌃qq
![Page 32: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/32.jpg)
Kau↵man bracket skein algebra of a surface
Remarks
• Every 3-manifold can be decomposed into two handlebodiesalong a closed surface.
• In Witten’s TQFT for qN “ 1,
⌃ fi›Ñ V
qp⌃q
V
qp⌃q is a finite dim. quotient of Sq
pMq, where BM “ ⌃.The action Sq
p⌃q ü SqpMq provides an irreducible repn
⇢Witten : Sqp⌃q ›Ñ EndpV
qp⌃qq
![Page 33: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/33.jpg)
Kau↵man bracket skein algebra of a surface
Remarks
• Every 3-manifold can be decomposed into two handlebodiesalong a closed surface.
• In Witten’s TQFT for qN “ 1,
⌃ fi›Ñ V
qp⌃q
V
qp⌃q is a finite dim. quotient of Sq
pMq, where BM “ ⌃.The action Sq
p⌃q ü SqpMq provides an irreducible repn
⇢Witten : Sqp⌃q ›Ñ EndpV
qp⌃qq
![Page 34: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/34.jpg)
Algebraic Properties of Sqp⌃q
1. Sqp⌃q is not commutative, except when:
• ⌃ is a 2-sphere with 0, 1, or 2 punctures, disk with 1 or 2
punctures, or annulus
•q “ 1, when q
12
“ q
´ 12and “ ˘ ˘ “ .
2. Z pSqp⌃qq contains puncture loops.
3. (Przytycki, Turaev, 1990) Sqp⌃q is (usually) infinitely generated
as a module, by framed links whose projection to ⌃ has no
crossings.
4. (Bullock, 1999) Sqp⌃q is finitely generated as an algebra.
![Page 35: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/35.jpg)
Algebraic Properties of Sqp⌃q
1. Sqp⌃q is not commutative, except when:
• ⌃ is a 2-sphere with 0, 1, or 2 punctures, disk with 1 or 2
punctures, or annulus
•q “ 1, when q
12
“ q
´ 12and “ ˘ ˘ “ .
2. Z pSqp⌃qq contains puncture loops.
3. (Przytycki, Turaev, 1990) Sqp⌃q is (usually) infinitely generated
as a module, by framed links whose projection to ⌃ has no
crossings.
4. (Bullock, 1999) Sqp⌃q is finitely generated as an algebra.
![Page 36: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/36.jpg)
Algebraic Properties of Sqp⌃q
1. Sqp⌃q is not commutative, except when:
• ⌃ is a 2-sphere with 0, 1, or 2 punctures, disk with 1 or 2
punctures, or annulus
•q “ 1, when q
12
“ q
´ 12and “ ˘ ˘ “ .
2. Z pSqp⌃qq contains puncture loops.
3. (Przytycki, Turaev, 1990) Sqp⌃q is (usually) infinitely generated
as a module, by framed links whose projection to ⌃ has no
crossings.
4. (Bullock, 1999) Sqp⌃q is finitely generated as an algebra.
![Page 37: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/37.jpg)
Algebraic Properties of Sqp⌃q
1. Sqp⌃q is not commutative, except when:
• ⌃ is a 2-sphere with 0, 1, or 2 punctures, disk with 1 or 2
punctures, or annulus
•q “ 1, when q
12
“ q
´ 12and “ ˘ ˘ “ .
2. Z pSqp⌃qq contains puncture loops.
3. (Przytycki, Turaev, 1990) Sqp⌃q is (usually) infinitely generated
as a module, by framed links whose projection to ⌃ has no
crossings.
4. (Bullock, 1999) Sqp⌃q is finitely generated as an algebra.
![Page 38: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/38.jpg)
Algebraic Properties of Sqp⌃q (very recently proved)
1. (Przytycki-Sikora, Le, Bonahon-W.) Sqp⌃q has no zero divisors.
2. (Przytycki-Sikora) Sqp⌃q is Noetherian.
3. (Frohman-Kania-Bartoszynska-Le) Sqp⌃q is almost Azyumaya.
4. (Bonahon-W., Le, Frohman-Kania-Bartozynska-Le)
Its center Z pSqp⌃qq is determined.
![Page 39: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/39.jpg)
Part II
How Sqp⌃q is related to hyperbolic geometry
![Page 40: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/40.jpg)
Hyperbolic geometry
Let ⌃ be a surface with finite topological type.
Its Teichmuller space T p⌃q consists of isotopy classes of completehyperbolic metrics on ⌃ with finite area.
Every metric m P T p⌃q corresponds to a monodromyrepresentation rm : ⇡1p⌃q Ñ Isom
`pH2
q “ PSL2pRq, up toconjugation.
![Page 41: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/41.jpg)
Hyperbolic geometry
Let ⌃ be a surface with finite topological type.
Its Teichmuller space T p⌃q consists of isotopy classes of completehyperbolic metrics on ⌃ with finite area.
image from geom.uiuc.edu
Every metric m P T p⌃q corresponds to a monodromyrepresentation rm : ⇡1p⌃q Ñ Isom
`pH2
q “ PSL2pRq, up toconjugation.
![Page 42: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/42.jpg)
Hyperbolic geometry
Hence consider
RSL2R “ tr : ⇡1p⌃q Ñ SL2Ru{{SL2R.
Notice that we lifted PSL2R to SL2R
![Page 43: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/43.jpg)
Hyperbolic geometry
Hence consider
RSL2R “ tr : ⇡1p⌃q Ñ SL2Ru{{SL2R.
Notice that we lifted PSL2R to SL2R
![Page 44: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/44.jpg)
Hyperbolic geometry
Hence consider
RSL2C “ tr : ⇡1p⌃q Ñ SL2Cu{{SL2C.
Notice that we lifted PSL2R to SL2R and complexify to SL2C.
The SL2C-character variety RSL2Cp⌃q is an algebraic variety thatcontains a copy of Teichmuller space T p⌃q as a real subvariety.
Note that rr1s “ rr2s if and only if trace ˝ r1 “ trace ˝ r2.
![Page 45: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/45.jpg)
Hyperbolic geometry
Hence consider
RSL2C “ tr : ⇡1p⌃q Ñ SL2Cu{{SL2C.
Notice that we lifted PSL2R to SL2R and complexify to SL2C.
The SL2C-character variety RSL2Cp⌃q is an algebraic variety thatcontains a copy of Teichmuller space T p⌃q as a real subvariety.
Note that rr1s “ rr2s if and only if trace ˝ r1 “ trace ˝ r2.
![Page 46: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/46.jpg)
Hyperbolic geometry
![Page 47: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/47.jpg)
Trace functions
For every loop K in ⌃, define the trace function
TrK : RSL2Cp⌃q Ñ C by TrK prq “ ´traceprprK sqq.
The trace functions generate the function algebra CrRSL2Cp⌃qs
(consisting of all regular functions RSL2Cp⌃q Ñ C).
Important observation: The trace functions TrK satisfy theKau↵man bracket skein relation when q
12
“ ´1,
“ p´1q ` p´1q
“ .
from identity TrpMqTrpNq “ TrpMNq ` TrpMN
´1q in SL2C.
![Page 48: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/48.jpg)
Trace functions
For every loop K in ⌃, define the trace function
TrK : RSL2Cp⌃q Ñ C by TrK prq “ ´traceprprK sqq.
The trace functions generate the function algebra CrRSL2Cp⌃qs
(consisting of all regular functions RSL2Cp⌃q Ñ C).
Important observation: The trace functions TrK satisfy theKau↵man bracket skein relation when q
12
“ ´1,
“ p´1q ` p´1q
“ .
from identity TrpMqTrpNq “ TrpMNq ` TrpMN
´1q in SL2C.
![Page 49: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/49.jpg)
Trace functions
For every loop K in ⌃, define the trace function
TrK : RSL2Cp⌃q Ñ C by TrK prq “ ´traceprprK sqq.
The trace functions generate the function algebra CrRSL2Cp⌃qs
(consisting of all regular functions RSL2Cp⌃q Ñ C).
Important observation: The trace functions TrK satisfy theKau↵man bracket skein relation when q
12
“ ´1,
“ p´1q ` p´1q
“ .
from identity TrpMqTrpNq “ TrpMNq ` TrpMN
´1q in SL2C.
![Page 50: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/50.jpg)
Trace functions
For every loop K in ⌃, define the trace function
TrK : RSL2Cp⌃q Ñ C by TrK prq “ ´traceprprK sqq.
The trace functions generate the function algebra CrRSL2Cp⌃qs
(consisting of all regular functions RSL2Cp⌃q Ñ C).
Important observation: The trace functions TrK satisfy theKau↵man bracket skein relation when q
12
“ ´1,
“ p´1q ` p´1q
“ .
from identity TrpMqTrpNq “ TrpMNq ` TrpMN
´1q in SL2C.
![Page 51: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/51.jpg)
Trace functions
For every loop K in ⌃, define the trace function
TrK : RSL2Cp⌃q Ñ C by TrK prq “ ´traceprprK sqq.
The trace functions generate the function algebra CrRSL2Cp⌃qs
(consisting of all regular functions RSL2Cp⌃q Ñ C).
Important observation: The trace functions TrK satisfy theKau↵man bracket skein relation when q
12
“ ´1,
“ p´1q ` p´1q “ .
from identity TrpMqTrpNq “ TrpMNq ` TrpMN
´1q in SL2C.
![Page 52: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/52.jpg)
Skein algebras and hyperbolic geometry
Theorem (. . . , Bullock-Frohman-Kania-Bartoszynska, Przytycki-Sikora)
For q
12
“ ´1, there is an isomorphism between the skein algebra
S1p⌃q and the function algebra CrRSL2Cp⌃qs given by
rK s
P
S1p⌃q –Ñ
TrK
P
CrRSL2Cp⌃qs.
Alternatively, there is an isomorphism
t⇢ : S1p⌃q Ñ Cu –Ñ RSL2Cp⌃q.
Notice that S1p⌃q and CrRSL2Cp⌃qs are commutative.
Can we think of Sqp⌃q as a non-commutative version of them?
. . . Yes!
![Page 53: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/53.jpg)
Skein algebras and hyperbolic geometry
Theorem (. . . , Bullock-Frohman-Kania-Bartoszynska, Przytycki-Sikora)
For q
12
“ ´1, there is an isomorphism between the skein algebra
S1p⌃q and the function algebra CrRSL2Cp⌃qs given by
rK s
P
S1p⌃q –Ñ
TrK
P
CrRSL2Cp⌃qs.
Alternatively, there is an isomorphism
t⇢ : S1p⌃q Ñ Cu –Ñ RSL2Cp⌃q.
Notice that S1p⌃q and CrRSL2Cp⌃qs are commutative.
Can we think of Sqp⌃q as a non-commutative version of them?
. . . Yes!
![Page 54: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/54.jpg)
Skein algebras and hyperbolic geometry
Theorem (. . . , Bullock-Frohman-Kania-Bartoszynska, Przytycki-Sikora)
For q
12
“ ´1, there is an isomorphism between the skein algebra
S1p⌃q and the function algebra CrRSL2Cp⌃qs given by
rK s
P
S1p⌃q –Ñ
TrK
P
CrRSL2Cp⌃qs.
Alternatively, there is an isomorphism
t⇢ : S1p⌃q Ñ Cu –Ñ RSL2Cp⌃q.
Notice that S1p⌃q and CrRSL2Cp⌃qs are commutative.
Can we think of Sqp⌃q as a non-commutative version of them?
. . . Yes!
![Page 55: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/55.jpg)
Skein algebras and hyperbolic geometry
Theorem (. . . , Bullock-Frohman-Kania-Bartoszynska, Przytycki-Sikora)
For q
12
“ ´1, there is an isomorphism between the skein algebra
S1p⌃q and the function algebra CrRSL2Cp⌃qs given by
rK s
P
S1p⌃q –Ñ
TrK
P
CrRSL2Cp⌃qs.
Alternatively, there is an isomorphism
t⇢ : S1p⌃q Ñ Cu –Ñ RSL2Cp⌃q.
Notice that S1p⌃q and CrRSL2Cp⌃qs are commutative.
Can we think of Sqp⌃q as a non-commutative version of them?
. . . Yes!
![Page 56: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/56.jpg)
Skein algebras and hyperbolic geometry
Theorem (. . . , Bullock-Frohman-Kania-Bartoszynska, Przytycki-Sikora)
For q
12
“ ´1, there is an isomorphism between the skein algebra
S1p⌃q and the function algebra CrRSL2Cp⌃qs given by
rK s
P
S1p⌃q –Ñ
TrK
P
CrRSL2Cp⌃qs.
Alternatively, there is an isomorphism
t⇢ : S1p⌃q Ñ Cu –Ñ RSL2Cp⌃q.
Notice that S1p⌃q and CrRSL2Cp⌃qs are commutative.
Can we think of Sqp⌃q as a non-commutative version of them?
. . . Yes!
![Page 57: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/57.jpg)
Skein algebras and hyperbolic geometry
Turaev noticed that the commutator in Sqp⌃q has the form
rK srLs ´ rLsrK s “ ´
“ pq
12
´ q
´ 12q ´ pq
12
´ q
´ 12q
.
And when q “ e
2⇡i~,
rK srLs ´ rLsrK s “ 2⇡i~ p
tTrK ,TrLu
q ` higher order terms in ~
where t , u is the Weil-Petersson-Atiyah-Bott-Goldman Poissonbracket, using computations of Goldman.
![Page 58: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/58.jpg)
Skein algebras and hyperbolic geometry
Turaev noticed that the commutator in Sqp⌃q has the form
rK srLs ´ rLsrK s “ ´
“ pq
12
´ q
´ 12q ´ pq
12
´ q
´ 12q
.
And when q “ e
2⇡i~,
rK srLs ´ rLsrK s “ 2⇡i~ p
tTrK ,TrLu
q ` higher order terms in ~
where t , u is the Weil-Petersson-Atiyah-Bott-Goldman Poissonbracket, using computations of Goldman.
![Page 59: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/59.jpg)
Skein algebras and hyperbolic geometry
Turaev noticed that the commutator in Sqp⌃q has the form
rK srLs ´ rLsrK s “ ´
“ pq
12
´ q
´ 12q ´ pq
12
´ q
´ 12q
.
And when q “ e
2⇡i~,
rK srLs ´ rLsrK s “ 2⇡i~ p
tTrK ,TrLu
q ` higher order terms in ~
where t , u is the Weil-Petersson-Atiyah-Bott-Goldman Poissonbracket, using computations of Goldman.
![Page 60: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/60.jpg)
Skein algebras and hyperbolic geometry
Turaev noticed that the commutator in Sqp⌃q has the form
rK srLs ´ rLsrK s “ ´
“ pq
12
´ q
´ 12q ´ pq
12
´ q
´ 12q
.
And when q “ e
2⇡i~,
rK srLs ´ rLsrK s “ 2⇡i~ p tTrK ,TrLu q ` higher order terms in ~
where t , u is the Weil-Petersson-Atiyah-Bott-Goldman Poissonbracket, using computations of Goldman.
![Page 61: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/61.jpg)
Skein algebra is quantization of Teichmuller space
Theorem (Turaev )
Sqp⌃q is a quantization of RSL2Cp⌃q with respect to the
Weil-Petersson Poisson structure.
Alternatively,
⇢ : Sqp⌃q Ñ C P RSL2Cp⌃q
⇢ : Sqp⌃q Ñ EndpCd
q P quantization of RSL2Cp⌃q
Often, we say: Sqp⌃q is a quantization of Teichmuller space T p⌃q.
There’s another quantization of Teichmuller space, related toquantum cluster algebras. (Chekhov-Fock, Kashaev, Bonahon et al.)
![Page 62: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/62.jpg)
Skein algebra is quantization of Teichmuller space
Theorem (Turaev )
Sqp⌃q is a quantization of RSL2Cp⌃q with respect to the
Weil-Petersson Poisson structure.
Alternatively,
⇢ : Sqp⌃q Ñ C P RSL2Cp⌃q
⇢ : Sqp⌃q Ñ EndpCd
q P quantization of RSL2Cp⌃q
Often, we say: Sqp⌃q is a quantization of Teichmuller space T p⌃q.
There’s another quantization of Teichmuller space, related toquantum cluster algebras. (Chekhov-Fock, Kashaev, Bonahon et al.)
![Page 63: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/63.jpg)
Skein algebra is quantization of Teichmuller space
Theorem (Turaev )
Sqp⌃q is a quantization of RSL2Cp⌃q with respect to the
Weil-Petersson Poisson structure.
Alternatively,
⇢ : Sqp⌃q Ñ C P RSL2Cp⌃q
⇢ : Sqp⌃q Ñ EndpCd
q P quantization of RSL2Cp⌃q
Often, we say: Sqp⌃q is a quantization of Teichmuller space T p⌃q.
There’s another quantization of Teichmuller space, related toquantum cluster algebras. (Chekhov-Fock, Kashaev, Bonahon et al.)
![Page 64: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/64.jpg)
Skein algebra is quantization of Teichmuller space
Theorem (Turaev )
Sqp⌃q is a quantization of RSL2Cp⌃q with respect to the
Weil-Petersson Poisson structure.
Alternatively,
⇢ : Sqp⌃q Ñ C P RSL2Cp⌃q
⇢ : Sqp⌃q Ñ EndpCd
q P quantization of RSL2Cp⌃q
Often, we say: Sqp⌃q is a quantization of Teichmuller space T p⌃q.
There’s another quantization of Teichmuller space, related toquantum cluster algebras. (Chekhov-Fock, Kashaev, Bonahon et al.)
![Page 65: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/65.jpg)
Another quantization of Teichmuller space
Suppose ⌃ has at least one puncture, with ideal triangulation �.The shear parameters xi prq P R along edges �1, . . .�n completelydescribe a hyperbolic metric r P RSL2Cp⌃q.
Xi
The trace functions TrK are polynomials in x
˘ 12
i .So the function algebra CrRSL2Cp⌃qs is also generated by
commutative shear parameters x˘ 1
21 , . . . , x
˘ 12
n .
![Page 66: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/66.jpg)
Another quantization of Teichmuller space
Suppose ⌃ has at least one puncture, with ideal triangulation �.The shear parameters xi prq P R along edges �1, . . .�n completelydescribe a hyperbolic metric r P RSL2Cp⌃q.
Xi
The trace functions TrK are polynomials in x
˘ 12
i .So the function algebra CrRSL2Cp⌃qs is also generated by
commutative shear parameters x˘ 1
21 , . . . , x
˘ 12
n .
![Page 67: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/67.jpg)
Another quantization of Teichmuller space
Following the theory of quantum cluster algebras, Chekhov-Fockdefine the quantum Teichmuller space T q
p⌃q to be the algebragenerated by non-commutative shear parameters Z˘1
1 , . . . ,Z˘1n
•ZiZj “ q
˘1ZjZi if the ith and jth edges share a triangle,
ZiZj “ ZjZi otherwise
• relations for independence from choice of ideal triangulation
Theorem (Bonahon-W. )
There exists an injective map Sqp⌃q ãÑ T q
p⌃q
which is compatible with Sqp⌃q as a quantization of RSL2Cp⌃q
with respect to the Weil-Petersson Poisson structure.
Great because multiplication in T qp⌃q is easier to manipulate.
Not great because the map is complicated.
![Page 68: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/68.jpg)
Another quantization of Teichmuller space
Following the theory of quantum cluster algebras, Chekhov-Fockdefine the quantum Teichmuller space T q
p⌃q to be the algebragenerated by non-commutative shear parameters Z˘1
1 , . . . ,Z˘1n
•ZiZj “ q
˘1ZjZi if the ith and jth edges share a triangle,
ZiZj “ ZjZi otherwise
• relations for independence from choice of ideal triangulation
Theorem (Bonahon-W. )
There exists an injective map Sqp⌃q ãÑ T q
p⌃q
which is compatible with Sqp⌃q as a quantization of RSL2Cp⌃q
with respect to the Weil-Petersson Poisson structure.
Great because multiplication in T qp⌃q is easier to manipulate.
Not great because the map is complicated.
![Page 69: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/69.jpg)
Another quantization of Teichmuller space
Following the theory of quantum cluster algebras, Chekhov-Fockdefine the quantum Teichmuller space T q
p⌃q to be the algebragenerated by non-commutative shear parameters Z˘1
1 , . . . ,Z˘1n
•ZiZj “ q
˘1ZjZi if the ith and jth edges share a triangle,
ZiZj “ ZjZi otherwise
• relations for independence from choice of ideal triangulation
Theorem (Bonahon-W. )
There exists an injective map Sqp⌃q ãÑ T q
p⌃q
which is compatible with Sqp⌃q as a quantization of RSL2Cp⌃q
with respect to the Weil-Petersson Poisson structure.
Great because multiplication in T qp⌃q is easier to manipulate.
Not great because the map is complicated.
![Page 70: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/70.jpg)
Summary of Part II
• The Kau↵man bracket skein algebra of a surface is thequantization of Teichmuller space (really, CrRSL2Cp⌃qs) inmultiple ways.
• In one
⇢ : Sqp⌃q Ñ C P RSL2Cp⌃q
⇢ : Sqp⌃q Ñ EndpCd
q P quantization of RSL2Cp⌃q
• AlsoSq
p⌃q ãÑ T qp⌃q
![Page 71: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/71.jpg)
Summary of Part II
• The Kau↵man bracket skein algebra of a surface is thequantization of Teichmuller space (really, CrRSL2Cp⌃qs) inmultiple ways.
• In one
⇢ : Sqp⌃q Ñ C P RSL2Cp⌃q
⇢ : Sqp⌃q Ñ EndpCd
q P quantization of RSL2Cp⌃q
What are these repns?
• AlsoSq
p⌃q ãÑ T qp⌃q
![Page 72: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/72.jpg)
Part III
Representations of Sqp⌃q
![Page 73: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/73.jpg)
Theorem (Bonahon-W.)
Let q be a N-root of 1, with N odd.
Let ⌃ be a surface with finite topological type.
1. Every irreducible representation ⇢ of Sqp⌃q uniquely
determines
•puncture invariants pi P C for every puncture of ⌃
•classical shadow r P RSL2Cp⌃q
2. For every compatible tpiu and r P RSL2Cp⌃q, there exists an
irreducible representation ⇢ of Sqp⌃q with those invariants.
We’ll sketch the methods of construction, starting with a revisit tothe algebraic structure of Sq
p⌃q. This will involve Chebyshevpolynomials.
![Page 74: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/74.jpg)
Remarks on Theorem
irred representation⇢ : Sq
p⌃q Ñ EndpCnq
1´1?–Ñ
puncture invs pi P C andclassical shadow r P RSL2Cp⌃q
•D two irrepns of Sq
p⌃q (⇢Witten and ⇢Thm) whose classicalshadow is the trivial character r : ⇡1p⌃q Ñ tp
1 00 1 qu.
• Breaking news: In July preprint, Frohman,Kania-Bartoszynska, and Le prove 1-1 for a Zariski dense,open subset of RSL2Cp⌃q.
![Page 75: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/75.jpg)
Remarks on Theorem
irred representation⇢ : Sq
p⌃q Ñ EndpCnq
1´1?–Ñ
puncture invs pi P C andclassical shadow r P RSL2Cp⌃q
•D two irrepns of Sq
p⌃q (⇢Witten and ⇢Thm) whose classicalshadow is the trivial character r : ⇡1p⌃q Ñ tp
1 00 1 qu.
• Breaking news: In July preprint, Frohman,Kania-Bartoszynska, and Le prove 1-1 for a Zariski dense,open subset of RSL2Cp⌃q.
![Page 76: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/76.jpg)
Remarks on Theorem
irred representation⇢ : Sq
p⌃q Ñ EndpCnq
1´1?–Ñ
puncture invs pi P C andclassical shadow r P RSL2Cp⌃q
•D two irrepns of Sq
p⌃q (⇢Witten and ⇢Thm) whose classicalshadow is the trivial character r : ⇡1p⌃q Ñ tp
1 00 1 qu.
• Breaking news: In July preprint, Frohman,Kania-Bartoszynska, and Le prove 1-1 for a Zariski dense,open subset of RSL2Cp⌃q.
![Page 77: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/77.jpg)
Chebyshev polynomials
Let Tnpxq be the Chebyshev polynomials of the first kind, definedrecursively as follows:
T0pxq “ 2T1pxq “ x
T2pxq “ x
2´ 2
T3pxq “ x
3´ 3x
...Tnpxq “ xTn´1pxq ´ Tn´2pxq.
Note:
• cospn✓q “
12Tnp2 cos ✓q
• TrpMnq “ TnpTrpMq q for all M P SL2pCq.
• Witten’s TQFT uses the Chebyshevs of the second kind.
![Page 78: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/78.jpg)
Chebyshev polynomials
Let Tnpxq be the Chebyshev polynomials of the first kind, definedrecursively as follows:
T0pxq “ 2T1pxq “ x
T2pxq “ x
2´ 2
T3pxq “ x
3´ 3x
...Tnpxq “ xTn´1pxq ´ Tn´2pxq.
Note:
• cospn✓q “
12Tnp2 cos ✓q
• TrpMnq “ TnpTrpMq q for all M P SL2pCq.
• Witten’s TQFT uses the Chebyshevs of the second kind.
![Page 79: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/79.jpg)
Chebyshev polynomials
Let Tnpxq be the Chebyshev polynomials of the first kind, definedrecursively as follows:
T0pxq “ 2T1pxq “ x
T2pxq “ x
2´ 2
T3pxq “ x
3´ 3x
...Tnpxq “ xTn´1pxq ´ Tn´2pxq.
Note:
• cospn✓q “
12Tnp2 cos ✓q
• TrpMnq “ TnpTrpMq q for all M P SL2pCq.
• Witten’s TQFT uses the Chebyshevs of the second kind.
![Page 80: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/80.jpg)
Chebyshev polynomials
Let Tnpxq be the Chebyshev polynomials of the first kind, definedrecursively as follows:
T0pxq “ 2T1pxq “ x
T2pxq “ x
2´ 2
T3pxq “ x
3´ 3x
...Tnpxq “ xTn´1pxq ´ Tn´2pxq.
Note:
• cospn✓q “
12Tnp2 cos ✓q
• TrpMnq “ TnpTrpMq q for all M P SL2pCq.
• Witten’s TQFT uses the Chebyshevs of the second kind.
![Page 81: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/81.jpg)
Threading skeins by Chebyshev polynomials
![Page 82: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/82.jpg)
Threading skeins by Chebyshev polynomials
• Example: rK s “ x y and T3 “ x
3´ 3x ,
![Page 83: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/83.jpg)
Threading skeins by Chebyshev polynomials
• Example: rK s “ x y and T3 “ x
3´ 3x ,
rK
T3s “
T3
![Page 84: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/84.jpg)
Threading skeins by Chebyshev polynomials
• Example: rK s “ x y and T3 “ x
3´ 3x ,
rK
T3s “
T3“ ´ 3 .
![Page 85: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/85.jpg)
Threading skeins by Chebyshev polynomials
• Example: rK s “ x y and T3 “ x
3´ 3x ,
rK
T3s “
T3“ ´ 3 .
• Observe: For a framed link K with n crossings, the Kau↵manbracket rK s has 2n resolutions, whereas rK
TNs has Op2n
2q
resolutions.
![Page 86: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/86.jpg)
Threading skeins by Chebyshev polynomials
Theorem (Bonahon-W. )
Let q be a N-root of 1, with N odd. Framed links threaded by TN
in Sqp⌃q:
1. “
rK
TNs are in the center.
2. “ p´1q ` p´1q .
rK
TNs satisfy the skein relation, q
12
“ ´1.
Proof: Inject Sqp⌃q ãÑ T q
p⌃q. There are many “miraculouscancellations” when checking identities in the quantumTeichmuller space T q
p⌃q. (See also Le’s skein-theoretic proof.)
![Page 87: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/87.jpg)
Threading skeins by Chebyshev polynomials
Theorem (Bonahon-W. )
Let q be a N-root of 1, with N odd. Framed links threaded by TN
in Sqp⌃q:
1.TN
“
TN
rK
TNs are in the center.
2. “ p´1q ` p´1q .
rK
TNs satisfy the skein relation, q
12
“ ´1.
Proof: Inject Sqp⌃q ãÑ T q
p⌃q. There are many “miraculouscancellations” when checking identities in the quantumTeichmuller space T q
p⌃q. (See also Le’s skein-theoretic proof.)
![Page 88: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/88.jpg)
Threading skeins by Chebyshev polynomials
Theorem (Bonahon-W. )
Let q be a N-root of 1, with N odd. Framed links threaded by TN
in Sqp⌃q:
1.TN
“
TN
rK
TNs are in the center.
2.TN
TN“ p´1q
TN
TN` p´1q
TN
TN.
rK
TNs satisfy the skein relation, q
12
“ ´1.
Proof: Inject Sqp⌃q ãÑ T q
p⌃q. There are many “miraculouscancellations” when checking identities in the quantumTeichmuller space T q
p⌃q. (See also Le’s skein-theoretic proof.)
![Page 89: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/89.jpg)
Threading skeins by Chebyshev polynomials
Theorem (Bonahon-W. )
Let q be a N-root of 1, with N odd. Framed links threaded by TN
in Sqp⌃q:
1.TN
“
TNrK
TNs are in the center.
2.TN
TN“ p´1q
TN
TN` p´1q
TN
TN.
rK
TNs satisfy the skein relation, q
12
“ ´1.
Proof: Inject Sqp⌃q ãÑ T q
p⌃q. There are many “miraculouscancellations” when checking identities in the quantumTeichmuller space T q
p⌃q. (See also Le’s skein-theoretic proof.)
![Page 90: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/90.jpg)
Threading skeins by Chebyshev polynomials
Theorem (Bonahon-W. )
Let q be a N-root of 1, with N odd. Framed links threaded by TN
in Sqp⌃q:
1.TN
“
TNrK
TNs are in the center.
2.TN
TN“ p´1q
TN
TN` p´1q
TN
TN.
rK
TNs satisfy the skein relation, q
12
“ ´1.
Proof: Inject Sqp⌃q ãÑ T q
p⌃q. There are many “miraculouscancellations” when checking identities in the quantumTeichmuller space T q
p⌃q.
(See also Le’s skein-theoretic proof.)
![Page 91: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/91.jpg)
Threading skeins by Chebyshev polynomials
Theorem (Bonahon-W. )
Let q be a N-root of 1, with N odd. Framed links threaded by TN
in Sqp⌃q:
1.TN
“
TNrK
TNs are in the center.
2.TN
TN“ p´1q
TN
TN` p´1q
TN
TN.
rK
TNs satisfy the skein relation, q
12
“ ´1.
Proof: Inject Sqp⌃q ãÑ T q
p⌃q. There are many “miraculouscancellations” when checking identities in the quantumTeichmuller space T q
p⌃q. (See also Le’s skein-theoretic proof.)
![Page 92: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/92.jpg)
Sketch Proof of Theorem
Theorem (Bonahon-W.)
Let q be a N-root of 1, with N odd.
Let ⌃ be a surface with finite topological type.
1. Every irreducible representation of Sqp⌃q uniquely determines
•puncture invariants pi P C for every puncture of ⌃
•classical shadow r P RSL2Cp⌃q
2. For compatible pi P C and r P RSL2Cp⌃q, there exists an
irreducible representation of Sqp⌃q with those invariants.
![Page 93: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/93.jpg)
Sketch proof of Theorem, part 1
Suppose ⇢ : Sqp⌃q Ñ EndpCd
q is irreducible.
• The i-th puncture loop rPi s is central.
Schur’s Lemma ñ ⇢ : rPi s fi›Ñ pi ¨ Id for pi P C puncture invs.
• A threaded link rK
TNs P Sq
p⌃q is central. “
Schur’s Lemma ñ ⇢ : rK
TNs fi›Ñ ⇢̂prK sq ¨ Id for ⇢̂pK q P C.
rK
TNs satisfy the skein relation “ ´ ´ . So
⇢̂ : S1p⌃q ›Ñ C –Ñ r P RSL2Cp⌃q
classical shadow
from the isomorphism between Sqp⌃q and CrRSL2Cp⌃qs.
![Page 94: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/94.jpg)
Sketch proof of Theorem, part 1
Suppose ⇢ : Sqp⌃q Ñ EndpCd
q is irreducible.
• The i-th puncture loop rPi s is central.
Schur’s Lemma ñ ⇢ : rPi s fi›Ñ pi ¨ Id for pi P C puncture invs.
• A threaded link rK
TNs P Sq
p⌃q is central. “
Schur’s Lemma ñ ⇢ : rK
TNs fi›Ñ ⇢̂prK sq ¨ Id for ⇢̂pK q P C.
rK
TNs satisfy the skein relation “ ´ ´ . So
⇢̂ : S1p⌃q ›Ñ C –Ñ r P RSL2Cp⌃q
classical shadow
from the isomorphism between Sqp⌃q and CrRSL2Cp⌃qs.
![Page 95: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/95.jpg)
Sketch proof of Theorem, part 1
Suppose ⇢ : Sqp⌃q Ñ EndpCd
q is irreducible.
• The i-th puncture loop rPi s is central.
Schur’s Lemma ñ ⇢ : rPi s fi›Ñ pi ¨ Id for pi P C puncture invs.
• A threaded link rK
TNs P Sq
p⌃q is central. TN“ TN
Schur’s Lemma ñ ⇢ : rK
TNs fi›Ñ ⇢̂prK sq ¨ Id for ⇢̂pK q P C.
rK
TNs satisfy the skein relation “ ´ ´ . So
⇢̂ : S1p⌃q ›Ñ C –Ñ r P RSL2Cp⌃q
classical shadow
from the isomorphism between Sqp⌃q and CrRSL2Cp⌃qs.
![Page 96: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/96.jpg)
Sketch proof of Theorem, part 1
Suppose ⇢ : Sqp⌃q Ñ EndpCd
q is irreducible.
• The i-th puncture loop rPi s is central.
Schur’s Lemma ñ ⇢ : rPi s fi›Ñ pi ¨ Id for pi P C puncture invs.
• A threaded link rK
TNs P Sq
p⌃q is central. TN“ TN
Schur’s Lemma ñ ⇢ : rK
TNs fi›Ñ ⇢̂prK sq ¨ Id for ⇢̂pK q P C.
rK
TNs satisfy the skein relation TN
TN“ ´
TN
TN´
TN
TN.
So
⇢̂ : S1p⌃q ›Ñ C –Ñ r P RSL2Cp⌃q
classical shadow
from the isomorphism between Sqp⌃q and CrRSL2Cp⌃qs.
![Page 97: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/97.jpg)
Sketch proof of Theorem, part 1
Suppose ⇢ : Sqp⌃q Ñ EndpCd
q is irreducible.
• The i-th puncture loop rPi s is central.
Schur’s Lemma ñ ⇢ : rPi s fi›Ñ pi ¨ Id for pi P C puncture invs.
• A threaded link rK
TNs P Sq
p⌃q is central. TN“ TN
Schur’s Lemma ñ ⇢ : rK
TNs fi›Ñ ⇢̂prK sq ¨ Id for ⇢̂pK q P C.
rK
TNs satisfy the skein relation TN
TN“ ´
TN
TN´
TN
TN. So
⇢̂ : S1p⌃q ›Ñ C
–Ñ r P RSL2Cp⌃q
classical shadow
from the isomorphism between Sqp⌃q and CrRSL2Cp⌃qs.
![Page 98: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/98.jpg)
Sketch proof of Theorem, part 1
Suppose ⇢ : Sqp⌃q Ñ EndpCd
q is irreducible.
• The i-th puncture loop rPi s is central.
Schur’s Lemma ñ ⇢ : rPi s fi›Ñ pi ¨ Id for pi P C puncture invs.
• A threaded link rK
TNs P Sq
p⌃q is central. TN“ TN
Schur’s Lemma ñ ⇢ : rK
TNs fi›Ñ ⇢̂prK sq ¨ Id for ⇢̂pK q P C.
rK
TNs satisfy the skein relation TN
TN“ ´
TN
TN´
TN
TN. So
⇢̂ : S1p⌃q ›Ñ C –Ñ r P RSL2Cp⌃q
classical shadow
from the isomorphism between Sqp⌃q and CrRSL2Cp⌃qs.
![Page 99: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/99.jpg)
Sketch proof of Theorem, part 2
Suppose we are given compatible puncture invariants pi P C andclassical shadow r P RSL2Cp⌃q.
Recall that for ⌃ with at least one puncture, the quantumTeichmuller space T q
p⌃q is the algebra generated by Z
˘11 , . . . ,Z˘1
n
with ZiZj “ q
˘1ZjZi if the ith and jth edges share a triangle.
Bonahon-Liu construct all representations of T qp⌃q, which are
classified by compatible numbers pi P C and r P RSL2Cp⌃q.
When ⌃ has at least one puncture, compose
⇢ : Sqp⌃q ãÑ T q
p⌃q
pi ,r›››Ñ EndpCd
q.
When ⌃ has no punctures, drill punctures and show there is aninvariant subspace that is blind to punctures.
![Page 100: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/100.jpg)
Further remarks
• In 2016 preprint, Frohman-Kania-Bartoszynska describeanother method of constructing representations when ⌃ hasat least one puncture, which matches our construction forgeneric characters by July 2017 preprint ofFrohman-Kania-Bartoszynska-Le.
• Sqp⌃q ãÑ T q
p⌃q is used to prove many of the algebraicproperties mentioned earlier (e.g., no zero divisors,determination of center).
• How can we use it to more closely tie together the Jones andWitten quantum invariants with hyperbolic geometry?
![Page 101: Representations of the Kau man Bracket Skein Algebra of a ... · Kau↵man bracket skein algebra of a surface Special case: M “ ⌃ ˆr0, 1s and⌃is an oriented, compact surface](https://reader035.vdocuments.us/reader035/viewer/2022070803/5f03373c7e708231d4081bf5/html5/thumbnails/101.jpg)
Thanks!