su(2) refined chern-simons theory in genus twoart/data/poster-heckealg.pdf · 2016-05-14 ·...

SU(2) Refined Chern-Simons Theory in Genus TwoSemeon ArthamonovRutgers, The State University of New Jerseysemeon.artamonov@rutgers.eduBased on joint paper with Sh. Shakirov (arXiv:1504.02620)

Abstract

We show that the action of the modular group of genus two surface on theHilbert space of SU(2) Chern-Simons Topological Quantum Field Theory ad-mits a unique one parameter deformation (refinement). On the level of char-acters this deformation corresponds to passage from Schur functions to Mac-donald polynomials. This generalizes the genus one construction suggested byM. Aganagic and Sh. Shakirov.

Introduction

Observables in topological quantum Chern-Simons theory correspond to link in-variants known as SU(N) colored Jones polynomials [Wit89]. One of the mostefficient way of computing these polynomials was suggested by Reshetikhin andTuraev [RT90] using modular tensor categories. The key role in the underlyingModular Tensor Category is played by the action of the SL(2, Z) - modular groupof a torus:

i j

s̃ij =

i

θi =

Matrix s along with a matrix of balancing isomorphism tij = δijθi defines a projec-tive representation of SL(2,Z) [MS90, Lyu95] — mapping class group of a torus

(st)3 ∝ s2 ∝ 1,

Review of Refined Chern-Simons Theory in genus one

It was suggested by Aganagic and Shakirov [AS11] that this SL(2, Z)-action admitsa one parameter deformation - refinement which on the level of characters corre-sponds to passage from Schur functions to Macdonald polynomials. This allowsone to compute refined Jones polynomials of torus knots which agree with refinedJones polynomials defined by Cherednik.

Below we recall the key formulas for the SU(2) case. Denote

q = e2πik+2β , t = qβ = e

2πiβk+2β .

Define one-parameter deformation Sij(β), Sij(1) = sij and Tij(β), Tij(1) = tij as

Tij =q−j2/4t−j/2δij,

Sij =S00 q−ij/2g−1i Mi(t

1/2, t−1/2)Mj(t1/2qi, t−1/2).

Here

gi =

i−1∏m=0

[i−m][m + 2β]

[i−m + β − 1][m + β + 1], [n] =

qn/2 − q−n/2

q1/2 − q−1/2.

and Mj is an A1 Macdonald polynomial:

Mj(x1, x2) =

j∑l=0

xj−l1 xl2

l−1∏i=0

[j − i][i + β]

[j − i + β − 1][i + 1].

Proposition 1. [AS11] S and T provide a projective representation of SL(2,Z)

(ST )3 ∝ S2 ∝ 1.

Using Verlinde formula one can write down the deformation of the structure con-stants of the Grothendieck ring of the underlying MTC:

Nijk =

k∑l=0

SilSjlSklglS0l

.

Fourier Duality for 6j-symbol and deformation

The square of the quantum sl2 6j-symbol satisfy the Fourier duality [Bar03, NRF07]:{j12 j13 j23j34 j24 j14

}2

q

=

k∑i12,i13,i23,i14,i24,i34=0

∏a<b

sjab,iab

{i34 i24 i14i12 i13 i23

}2

q

(1)

Proposition 2. [AS15] Solution for the following system of linear equations is unique atleast up to k 6 8{{

j12 j13 j23j34 j24 j14

}}q,t

=

K∑i12,i13,i23,i14,i24,i34=0

∏a<b

Sjab,iab

{{i34 i24 i14i12 i13 i23

}}q,t

with Sij — refined Foruier duality matrix.Having enough solutions for the fixedK one can reconstruct the full rational func-

tion in q and t.Example 3. {{

1 1 22 2 1

}}q,t

=t3/2(1− t)(1− qt)3(1− q2t2)(1 + t5)(1− q)3(1− qt2)2

Using recursion for knot operators one gets explicit conjectural formulas for theMacdonald deformation of the square of the 6j-symbol.

Mapping Class group action

For g = 2 we have the following basis [MV94, BHMV95]

j1 j2 j3

0 6 j1, j2, j3 6 k, ∀ distinct a, b, c ja + jb > jc,

ja + jb + jc ≡ 0 mod 2, ja + jb + jc 6 2k.

Proposition 4. [AS15] Let

〈i1, i2, i3| Aα |j1, j2, j3〉 =T−1jαδi1j1 δi2j2 δi3j3, α = 1, 2, 3

〈i1, i2, i3| B1 |j1, j2, j3〉 =δi3j3di1di2Ni1i2i3

K∑s=0

Ts ds

{{i3 i2 i1s j1 j2

}}q,t

〈i1, i2, i3| B2 |j1, j2, j3〉 =δi1j1di2di3Ni1i2i3

K∑s=0

Ts ds

{{i3 i2 i1j2 j3 s

}}q,t

Then, A1, A2, A3, B1, B2 define a representation of mapping class group of genus 2 surfaceat least for k 6 8.

Explicit conjectural formulas for general k are given in [AS15]. One should expectpropositions above to hold for k > 9 as well.

Refined Jones polynomials

The operators of insertion the unknot have the following form

〈i1, i2, i3|O(1)j |j1, j2, j3〉 =δi1j1 gj

di2di3Ni1i2i3

{{i3 i2 i1j2 j3 j

}}q,t

〈i1, i2, i3|O(2)j |j1, j2, j3〉 =δi2j2 gj

di1di3Ni1i2i3

{{i3 i2 i1j1 j j3

}}q,t

〈i1, i2, i3|O(3)j |j1, j2, j3〉 =δi3j3 gj

di1di2Ni1i2i3

{{i3 i2 i1j j1 j2

}}q,t

Mapping class group action allows one to express any genus two knot K inser-tion operator Oj(K) in terms of the corresponding operator for the unknot Oj. Thecorresponding knot invariants are then given by

Zj(K) =⟨0, 0, 0|A1B1A2B2A3UOjU−1|0, 0, 0

⟩.

Example 5 (Figure eight knot).

Oj(41) = UO(2)j U

−1, U = A−12 A−13 B2A

−11 B1.

This gives a refinement of Jones polynomial for the figure eight knot:

P41 = 1− t + tq − t2q + t3q

References[AS11] Mina Aganagic and Shamil Shakirov. Knot homology from refined Chern-Simons theory. arXiv preprint

arXiv:1105.5117, 2011.[AS15] Semeon Arthamonov and Shamil Shakirov. Refined Chern-Simons theory in genus two. arXiv preprint

arXiv:1504.02620, 2015.[Bar03] John W Barrett. Geometrical measurements in three-dimensional quantum gravity. International Journal of

Modern Physics A, 18:97–113, 2003.[BHMV95] Christian Blanchet, Nathan Habegger, Gregor Masbaum, and Pierre Vogel. Topological Quantum Field The-

ories derived from the Kauffman bracket. Topology, 34(4):883–927, 1995.[Lyu95] Volodymyr Lyubashenko. Modular transformations for tensor categories. Journal of Pure and Applied Algebra,

98(3):279–327, 1995.[MS90] Gregory Moore and Nathan Seiberg. Lectures on RCFT. In Physics, Geometry and Topology, pages 263–361.

Springer, 1990.[MV94] Gregor Masbaum and Pierre Vogel. 3-valent graphs and the Kauffman bracket. Pacific J. Math, 164(2):361–

381, 1994.[NRF07] K Noui, P Roche, and L Freidel. 6j symbols duality relations. Journal of Mathematical Physics, 48:113512, 2007.[RT90] N. Reshetikhin and V. Turaev. Ribbon graphs and their invaraints derived from quantum groups. Communi-

cations in Mathematical Physics, 127(1):1–26, 1990.[Wit89] Edward Witten. Quantum field theory and the jones polynomial. Communications in Mathematical Physics,

121(3):351–399, 1989.