This Is Scott's BIBTEX File. References

Home , Alexei Kitaev, Barry Mazur, Issai Schur, Robion Kirby, Selman Akbulut

This is Scott’s BIBTEX ﬁle.

References [1] I. R. Aitchison and J. H. Rubinstein. Fibered knots and involutions on homotopy spheres. In Four-manifold theory (Durham, N.H., 1982), volume 35 of Contemp. Math., pages 1–74. Amer. Math. Soc., Providence, RI, 1984. MR780575. [2] Selman Akbulut. The Dolgachev surface, 2008. arXiv:0805.1524. [3] Selman Akbulut. Cappell-Shaneson homotopy spheres are standard, 2009. arXiv:0907.0136. [4] Selman Akbulut and Robion Kirby. A potential smooth counterexample in dimension 4 to the Poincaréconjecture, the Schoenflies conjecture, and the Andrews-Curtis conjecture. Topology, 24(4):375–390, 1985. MR816520 DOI:10.1016/0040-9383(85)90010-2. [5] A. Alexeevski and S. Natanzon. Noncommutative two-dimensional topological field theories and Hurwitz numbers for real algebraic curves. Selecta Math. (N.S.), 12(3-4):307–377, 2006. MR2305607,arXiv:math.GT/0202164. [6] Henning Haahr Andersen. Tensor products of quantized tilting modules. Comm. Math. Phys., 149(1):149–159, 1992. MR1182414 euclid.cmp/1104251142. [7] D. W. Anderson. Chain functors and homology theories. In Symposium on Algebraic Topol- ogy (Battelle Seattle Res. Center, Seattle, Wash., 1971), pages 1–12. Lecture Notes in Math., Vol. 249. Springer, Berlin, 1971. MR0339132. [8] Marta Asaeda. Galois groups and an obstruction to principal graphs of subfactors. Internat. J. Math., 18(2):191–202, 2007. MR2307421 DOI:10.1142/S0129167X07003996 arXiv:math.OA/ 0605318. [9] Marta Asaeda√ and Uffe Haagerup.√ Exotic subfactors of finite depth with Jones in- dices (5 + 13)/2 and (5 + 17)/2. Comm. Math. Phys., 202(1):1–63, 1999. MR1686551 DOI:10.1007/s002200050574 arXiv:math.OA/9803044. [10] Marta Asaeda and Seidai Yasuda. On Haagerup’s list of potential principal graphs of subfactors, 2009. MR2472028 DOI:10.1007/s00220-008-0588-0 arXiv:0711.4144. [11] Marta Asaeda and Seidai Yasuda. On Haagerup’s list of potential principal graphs of subfactors. Comm. Math. Phys., 286(3):1141–1157, 2009. MR2472028 DOI:10.1007/s00220-008-0588-0 arXiv:0711.4144. [12] Michael Atiyah. Topological quantum field theories. Inst. Hautes Etudes´ Sci. Publ. Math., (68):175–186 (1989), 1988. MR1001453. [13] Benjamin Audoux and Thomas Fiedler. A Jones polynomial for braid-like isotopies of ori- ented links and its categorification. Algebr. Geom. Topol., 5:1535–1553, 2005. arXiv:math. GT/0503080 MR2186108. [14] John Baez. lecture notes from the quantum gravity seminar (winter 2001, track 1, weeks 16 and 17), 2001. Online. [15] John C. Baez and James Dolan. Higher-dimensional algebra and topological quantum field theory. J. Math. Phys., 36(11):6073–6105, 1995. MR1355899 arXiv:q-alg/9503002 DOI:10.1063/1.531236. [16] F. Alexander Bais and Peter G. Bouwknegt. A classification of subgroup truncations of the bosonic string. Nuclear Phys. B, 279(3-4):561–570, 1987. DOI:10.1016/0550-3213(87)90010-1. [17] F.A. Bais and J.K. Slingerland. Condensate induced transitions between topologically or- dered phases, 2008. arXiv:0808.0627. [18] Bojko Bakalov and Alexander Kirillov, Jr. Lectures on tensor categories and modular functors, volume 21 of University Lecture Series. American Mathematical Society, Providence, RI, 2001. MR1797619. [19] Dror Bar-Natan. On the Vassiliev knot invariants. Topology, 34(2):423–472, 1995. MR1318886. [20] Dror Bar-Natan. On Khovanov’s categorification of the Jones polynomial. Algebr. Geom. Topol., 2:337–370, 2002. MR1917056 arXiv:math.QA/0201043 DOI:10.2140/agt.2002.2.337. [21] Dror Bar-Natan. Khovanov homology for knots and links with up to 11 crossings. In Ad- vances in topological quantum field theory, volume 179 of NATO Sci. Ser. II Math. Phys. Chem., pages 167–241. Kluwer Acad. Publ., Dordrecht, 2004. MR2147420. [22] Dror Bar-Natan. Khovanov’s homology for tangles and cobordisms. Geom. Topol., 9:1443– 1499, 2005. arXiv:math.GT/0410495 MR2174270 DOI:10.2140/gt.2005.9.1443. 1 2

[23] Dror Bar-Natan. Fast Khovanov homology computations. J. Knot Theory Ramifications, 16(3):243–255, 2007. arXiv:math.GT/0606318 MR2320156. [24] Dror Bar-Natan and Scott Morrison. The Karoubi envelope and Lee’s degeneration of Khovanov homology. Algebr. Geom. Topol., 6:1459–1469, 2006. arXiv:math.GT/0606542 MR2253455. [25] Dror Bar-Natan and Scott Morrison. The Karoubi envelope and Lee’s degeneration of Kho- vanov homology, 2006. arXiv:math.GT/0606542 MR2253455. [26] John W. Barrett and Bruce W. Westbury. Spherical categories. Adv. Math., 143(2):357–375, 1999. MR1686423 arXiv:hep-th/9310164 DOI:10.1006/aima.1998.1800. [27] Arthur Bartels, Chris Douglas, and AndréHenriques. Local field theory and local fermions, may 2008. Topology seminar lecture by Chris Douglas, MIT. [28] Bruce Bartlett. Categorical aspects of topological quantum field theories, 2005. arXiv:math. QA/0512103. [29] Anna Beliakova and Christian Blanchet. Modular categories of types B, C and D. Com- ment. Math. Helv., 76(3):467–500, 2001. MR1854694 DOI:10.1007/PL00000385 arXiv:math. QA/0006227. [30] Anna Beliakova and Christian Blanchet. Skein construction of idempotents in Birman-Murakami-Wenzl algebras. Math. Ann., 321(2):347–373, 2001. MR1866492 DOI:10.1007/s002080100233 arXiv:math.QA/0006143. [31] Anna Beliakova and Stephan Wehrli. Categorification of the colored Jones polynomial and Rasmussen invariant of links. Canad. J. Math., 60(6):1240–1266, 2008. MR2462446 arXiv:math.QA/0510382. [32] Stephen Bigelow. Skein theory for the ADE planar algebras, 2009. arXiv:math.QA/0903. 0144. [33] Stephen Bigelow. Skein theory for the ADE planar algebras, 2009. arXiv:math.QA/0903. 0144. [34] Stephen Bigelow, Scott Morrison, Emily Peters, and Noah Snyder. Constructing the extended haagerup planar algebra, 2009. arXiv:0909.4099, to appear Acta Mathematica. [35] Jocelyne Bion-Nadal. An example of a subfactor of the hyperfinite II1 factor whose principal graph invariant is the Coxeter graph E6. In Current topics in operator algebras (Nara, 1990), pages 104–113. World Sci. Publ., River Edge, NJ, 1991. MR1193933. [36] Dietmar Bisch. An example of an irreducible subfactor of the hyperfinite II1 factor with rational, noninteger index. J. Reine Angew. Math., 455:21–34, 1994. arXiv:MR1293872. [37] Dietmar Bisch. Bimodules, higher relative commutants and the fusion algebra associated to a subfactor. In Operator algebras and their applications (Waterloo, ON, 1994/1995), volume 13 of Fields Inst. Commun., pages 13–63. Amer. Math. Soc., Providence, RI, 1997. MR1424954 (preview at google books). [38] Dietmar Bisch. Principal graphs of subfactors with small Jones index. Math. Ann., 311(2):223–231, 1998. MR1625762 DOI:http://dx.doi.org/10.1007/s002080050185. [39] Dietmar Bisch. Subfactors and planar algebras. In Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002), pages 775–785, Beijing, 2002. Higher Ed. Press. MR1957084 arXiv:math.OA/0304340. [40] Dietmar Bisch, Paramita Das, and Shamindra Kumar Ghosh. The planar algebra of group- type subfactors, 2008. arXiv:0807.4134. [41] Dietmar Bisch and Uffe Haagerup. Composition of subfactors: new examples of infinite depth subfactors. Ann. Sci. Ecole´ Norm. Sup. (4), 29(3):329–383, 1996. MR1386923. [42] Dietmar Bisch and Vaughan Jones. Algebras associated to intermediate subfactors. Invent. Math., 128(1):89–157, 1997. MR1437496. [43] Dietmar Bisch and Vaughan F. R. Jones. Singly generated planar algebras of small dimension. Duke Math. J., 101(1):41–75, 2000. MR1733737. [44] Dietmar Bisch, Remus Nicoara, and Sorin Popa. Continuous families of hyperfinite subfactors with the same standard invariant. Internat. J. Math., 18(3):255–267, 2007. MR2314611 arXiv:math.OA/0604460 DOI:10.1142/S0129167X07004011. [45] Christian Blanchet. Hecke algebras, modular categories and 3-manifolds quantum invariants. Topology, 39(1):193–223, 2000. MR1710999 DOI:10.1016/S0040-9383(98)00066-4. [46] J. M. Boardman and R. M. Vogt. Homotopy-everything H-spaces. Bull. Amer. Math. Soc., 74:1117–1122, 1968. MR0236922 DOI:10.1090/S0002-9904-1968-12070-1. 3

[47] J. M. Boardman and R. M. Vogt. Homotopy invariant algebraic structures on topological spaces. Lecture Notes in Mathematics, Vol. 347. Springer-Verlag, Berlin, 1973. MR0420609. [48] N. Bourbaki. Eléments´ de mathématique. Fasc. XXXIV. Groupes et algèbres de Lie. Chapitre IV: Groupes de Coxeter et systèmesde Tits. Chapitre V: Groupes engendréspar des réflexions.Chapitre VI: systèmesde racines. ActualitésScientifiques et Industrielles, No. 1337. Hermann, Paris, 1968. MR0240238 (preview at google books). [49] Richard Brauer. On algebras which are connected with the semisimple continuous groups. Ann. of Math. (2), 38(4):857–872, 1937. MR1503378 DOI:10.2307/1968843. [50] William P. Brown. An algebra related to the orthogonal group. Michigan Math. J., 3:1–22, 1955. MR0072122 euclid.mmj/1031710528. n [51] William P. Brown. The semisimplicity of ωf . Ann. of Math. (2), 63:324–335, 1956. MR0075931 DOI:10.2307/1969613. [52] Alain Bruguières.Catégoriesprémodulaires, modularisations et invariants des variétésde dimension 3. Math. Ann., 316(2):215–236, 2000. MR1741269 DOI:10.1007/s002080050011. [53] Doug Bullock, Charles Frohman, and Joanna Kania-Bartoszyńska. Skein homology. Canad. Math. Bull., 41(2):140–144, 1998. arXiv:q-alg/9701019 MR1624157. [54] Frank Calegari, Scott Morrison, and Noah Snyder. Cyclotomic integers, fusion categories, and subfactors. With an appendix by Victor Ostrik. To appear in Communications in Math- ematical Physics. arXiv:1004.0665. [55] Sylvain E. Cappell and Julius L. Shaneson. There exist inequivalent knots with the same complement. Ann. of Math. (2), 103(2):349–353, 1976. MR0413117 DOI:10.2307/1970942. [56] Carmen Livia Caprau. sl(2) tangle homology with a parameter and singular cobordisms, 2008. MR2443094 arXiv:math/0707.3051 DOI:10.2140/agt.2008.8.729. [57] Carmen Livia Caprau. sl(2) tangle homology with a parameter and singular cobordisms. Algebr. Geom. Topol., 8(2):729–756, 2008. MR2443094 arXiv:math/0707.3051 DOI:10.2140/agt.2008.8.729. [58] J. Scott Carter, Joachim H. Rieger, and Masahico Saito. A combinatorial description of knotted surfaces and their isotopies. Adv. Math., 127(1):1–51, 1997. MR1445361. [59] J. Scott Carter and Masahico Saito. Reidemeister moves for surface isotopies and their inter- pretation as moves to movies. J. Knot Theory Ramifications, 2(3):251–284, 1993. MR1238875. [60] John W. S. Cassels. On a conjecture of R. M. Robinson about sums of roots of unity. J. Reine Angew. Math., 238:112–131, 1969. MR0246852. [61] Renzo Cavlieri. A topological quantum field theory of intersection numbers for moduli spaces of admissible curves, 2005. Online. [62] Vyjayanthi Chari and Andrew Pressley. A guide to quantum groups. Cambridge University Press, Cambridge, 1995. MR1358358 (preview at google books). [63] David Clark. personal communication. [64] David Clark, Scott Morrison, and Kevin Walker. Fixing the functoriality of khovanov homology, 2009. DOI:10.2140/gt.2009.13.1499 arXiv:math.GT/0701339. [65] David Clark, Scott Morrison, and Kevin Walker. Fixing the functoriality of khovanov homology. Geometry and Topology, 13:1499–1582, 2009. DOI:10.2140/gt.2009.13.1499 arXiv:math.GT/0701339. [66] J. H. Conway and A. J. Jones. Trigonometric Diophantine equations (On vanishing sums of roots of unity). Acta Arith., 30(3):229–240, 1976. MR0422149. [67] A. Coste and T. Gannon. Remarks on Galois symmetry in rational conformal field theories. Phys. Lett. B, 323(3-4):316–321, 1994. MR1266785 DOI:10.1016/0370-2693(94)91226-2. [68] Paramita Das. Weak Hopf C∗-algebras and depth two subfactors. J. Funct. Anal., 214(1):74– 105, 2004. MR2079886 DOI:10.1016/j.jfa.2004.02.010. [69] Paramita Das and Vijay Kodiyalam. Planar algebras and the Ocneanu- Szymański theorem. Proc. Amer. Math. Soc., 133(9):2751–2759, 2005. MR2146224 DOI:10.1090/S0002-9939-05-07789-0. [70] Jan de Boer and Jacob Goeree. Markov traces and II1 factors in conformal field theory. Comm. Math. Phys., 139(2):267–304, 1991. MR1120140 euclid.cmp/1104203304. [71] P. Deligne. La catégoriedes représentations du groupe symétrique St, lorsque t n’est pas un entier naturel. In Algebraic groups and homogeneous spaces, Tata Inst. Fund. Res. Stud. Math., pages 209–273. Tata Inst. Fund. Res., Mumbai, 2007. MR2348906 Available at http: //www.math.ias.edu/files/deligne/Symetrique.pdf. 4

[72] Philippe Di Francesco, Pierre Mathieu, and David Sénéchal. Conformal field theory. Grad- uate Texts in Contemporary Physics. Springer-Verlag, New York, 1997. MR1424041. [73] Robbert Dijkgraaf, Cumrun Vafa, Erik Verlinde, and Herman Verlinde. The operator algebra of orbifold models. Comm. Math. Phys., 123(3):485–526, 1989. MR1003430. [74] Robbert Dijkgraaf and Edward Witten. Topological gauge theories and group cohomology. Comm. Math. Phys., 129(2):393–429, 1990. MR1048699. [75] Richard Dipper, Stephen Doty, and Jun Hu. Brauer algebras, symplectic Schur algebras and Schur-Weyl duality. Trans. Amer. Math. Soc., 360(1):189–213, 2008. MR2342000 DOI:10.1090/S0002-9947-07-04179-7. [76] Sergio Doplicher and John E. Roberts. A new duality theory for compact groups. Invent. Math., 98(1):157–218, 1989. MR1010160 DOI:10.1007/BF01388849. [77] Stephen Doty and Jun Hu. Schur-Weyl duality for orthogonal groups, 2007. arXiv:0712. 0944. [78] Chris Douglas and Chris Schommer-Pries. Three-dimensional local field theory, may 2008. Topology seminar lecture by Chris Douglas, Stanford. [79] V. G. Drinfel0d. Quasi-Hopf algebras. Algebra i Analiz, 1(6):114–148, 1989. MR1047964. [80] Vladimir Drinfeld, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik. Group-theoretical properties of nilpotent modular categories, 2007. arXiv:0704.0195. [81] Vladimir Drinfeld, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik. On braided fusion categories i, 2009. arXiv:0906.0620. [82] Nathan Dunfield. The jones polynomial and volume. http://www.math.uiuc.edu/~nmd/ preprints/misc/dylan/index.html. [83] Andrew Elliott. State cycles, quasipositive modification, and constructing H-thick knots in Khovanov homology. arXiv:0901.4039. [84] Pavel Etingof, Shlomo Gelaki, and Viktor Ostrik. Classification of fusion categories of dimension pq. Int. Math. Res. Not., (57):3041–3056, 2004. MR2098028 arXiv:math.QA/0304194. [85] Pavel Etingof and David Kazhdan. Quantization of Lie bialgebras. I. Selecta Math. (N.S.), 2(1):1–41, 1996. MR1403351. [86] Pavel Etingof and David Kazhdan. Quantization of Lie bialgebras. II. Selecta Math. (N.S.), 4(2):213–231, 233–269, 1998. arXiv:q-alg/9701038 MR1669953. [87] Pavel Etingof and David Kazhdan. Quantization of Lie bialgebras. IV. The coinvariant construction and the quantum KZ equations. Selecta Math. (N.S.), 6(1):79–104, 2000. MR1771217. [88] Pavel Etingof and David Kazhdan. Quantization of Lie bialgebras. V. Quantum vertex operator algebras. Selecta Math. (N.S.), 6(1):105–130, 2000. MR1771218. [89] Pavel Etingof and Michael Khovanov. Representations of tensor categories and Dynkin diagrams. Internat. Math. Res. Notices, (5):235–247, 1995. MR1333750 DOI:10.1155/S1073792895000183 arXiv:hep-th/9408078. [90] Pavel Etingof, Dmitri Nikshych, and Victor Ostrik. Weakly group-theoretical and solvable fusion categories, 2008. arXiv:0809.3031. [91] Pavel Etingof, Dmitri Nikshych, and Viktor Ostrik. On fusion categories. Ann. of Math. (2), 162(2):581–642, 2005. MR2183279 DOI:10.4007/annals.2005.162.581 arXiv:math.QA/ 0203060. [92] Pavel Etingof and Viktor Ostrik. Module categories over representations of SLq(2) and graphs. Math. Res. Lett., 11(1):103–114, 2004. MR2046203 arXiv:math.QA/0302130. [93] David E. Evans and Mathew Pugh. a2-Planar Algebras I, 2009. arXiv:0906.4225. [94] Paul Fendley and Vyacheslav Krushkal. Tutte chromatic identities from the Temperley- Lieb algebra. Geom. Topol., 13(2):709–741, 2009. MR2469528 DOI:10.2140/gt.2009.13.709 arXiv:0711.0016. [95] Daniel S. Freed and Frank Quinn. Chern-Simons theory with finite gauge group. Comm. Math. Phys., 156(3):435–472, 1993. MR1240583,arXiv:hep-th/9111004. [96] Michael H. Freedman, Alexei Kitaev, Michael J. Larsen, and Zhenghan Wang. Topologi- cal quantum computation. Bull. Amer. Math. Soc. (N.S.), 40(1):31–38 (electronic), 2003. Mathematical challenges of the 21st century (Los Angeles, CA, 2000). MR1943131. [97] Igor B. Frenkel and Mikhail G. Khovanov. Canonical bases in tensor products and graphical calculus for Uq(sl2). Duke Math. J., 87(3):409–480, 1997. MR1446615. 5

[98] P. Freyd, D. Yetter, J. Hoste, W. B. R. Lickorish, K. Millett, and A. Ocneanu. A new polynomial invariant of knots and links. Bull. Amer. Math. Soc. (N.S.), 12(2):239–246, 1985. MR776477. [99] Peter Freyd. Abelian categories. An introduction to the theory of functors. Harper’s Series in Modern Mathematics. Harper & Row Publishers, New York, 1964. MR0166240. [100] Georg Frobenius and Issai Schur. Uber die reellen darstellungen der endlichen gruppen. Sitzungsberichte der königlichpreussischen Akademie der Wissenschaften, pages 186–208, 1906. [101] J. Fuchs, A. Ch. Ganchev, K. Szlachányi, and P. Vecsernyés. S4 symmetry of 6j symbols and Frobenius-Schur indicators in rigid monoidal C∗ categories. J. Math. Phys., 40(1):408–426, 1999. arXiv:physics/9803038, MR1657800. [102] M. Fukuma, S. Hosono, and H. Kawai. Lattice topological field theory in two dimensions. Comm. Math. Phys., 161(1):157–175, 1994. MR1266073, arXiv:hep-th/9212154. [103] David Gabai. Foliations and the topology of 3-manifolds. J. Differential Geom., 18(3):445– 503, 1983. MR723813 euclid.jdg/1214437784. [104] David Gabai. Foliations and the topology of 3-manifolds. II. J. Differential Geom., 26(3):461–478, 1987. MR910017 euclid.jdg/1214441487. [105] David Gabai. Foliations and the topology of 3-manifolds. III. J. Differential Geom., 26(3):479–536, 1987. MR910018 euclid.jdg/1214441488. [106] Sergei I. Gelfand and Yuri I. Manin. Methods of homological algebra. Springer-Verlag, Berlin, 1996. Translated from the 1988 Russian original MR1438306 (preview at google books). [107] E. Getzler. Batalin-Vilkovisky algebras and two-dimensional topological field theories. Comm. Math. Phys., 159(2):265–285, 1994. MR1256989 1104254599. [108] E. Getzler and J. D. S. Jones. Operads, homotopy algebra, and iterated integrals for double loop spaces, 1994. arXiv:hep-th/9403055. [109] GrégoryGinot. Higher order Hochschild cohomology. C. R. Math. Acad. Sci. Paris, 346(1- 2):5–10, 2008. MR2383113 DOI:10.1016/j.crma.2007.11.010. [110] Herman Gluck. The embedding of two-spheres in the four-sphere. Trans. Amer. Math. Soc., 104:308–333, 1962. MR0146807 DOI:10.2307/1993581. [111] Chris Godsil and Gordon Royle. Algebraic graph theory, volume 207 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2001. MR1829620. [112] Robert E. Gompf. Stable diffeomorphism of compact 4-manifolds. Topology Appl., 18(2- 3):115–120, 1984. MR769285 DOI:10.1016/0166-8641(84)90004-X. [113] Robert E. Gompf. Killing the Akbulut-Kirby 4-sphere, with relevance to the Andrews-Curtis and Schoenflies problems. Topology, 30(1):97–115, 1991. MR1081936 DOI:10.1016/0040-9383(91)90036-4. [114] Robert E. Gompf. On Cappell-Shaneson 4-spheres. Topology Appl., 38(2):123–136, 1991. MR1094545 DOI:10.1016/0166-8641(91)90079-2. [115] Robert E. Gompf. More Cappell-Shaneson spheres are standard, 2009. arXiv:0908.1914. [116] Robert E. Gompf and Martin Scharlemann. Fibered knots and property 2R, II, 2009. arXiv:0908.2795. [117] Robert E. Gompf and Martin Scharlemann. Fibered knots and property 2R, II, 2009. arXiv:0908.2795. [118] Robert E. Gompf and AndrásI. Stipsicz. 4-manifolds and Kirby calculus, volume 20 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 1999. MR1707327 (preview at google books). [119] Frederick M. Goodman, Pierre de la Harpe, and Vaughan F. R. Jones. Coxeter graphs and towers of algebras, volume 14 of Mathematical Sciences Research Institute Publications. Springer-Verlag, New York, 1989. MR999799. [120] Frederick M. Goodman and Hans Wenzl. Littlewood-Richardson coefficients for Hecke algebras at roots of unity. Adv. Math., 82(2):244–265, 1990. MR1063959 DOI:10.1016/0001-8708(90)90090-A. [121] Frederick M. Goodman and Hans Wenzl. Ideals in the temperley lieb category, 2002. arXiv:math/0206301. [122] C. McA. Gordon. Knots in the 4-sphere. Comment. Math. Helv., 51(4):585–596, 1976. MR0440561 DOI:10.1007/BF02568175. [123] John J. Graham and Gus I. Lehrer. The representation theory of affine Temperley-Lieb algebras. Enseign. Math. (2), 44(3-4):173–218, 1998. MR1659204. 6

[124] Jeremey Green. JavaKh. http://katlas.math.toronto.edu/wiki/Khovanov_Homology. [125] M. Gromov. Pseudoholomorphic curves in symplectic manifolds. Invent. Math., 82(2):307– 347, 1985. MR809718 DOI:10.1007/BF01388806. [126] Benedict H. Gross, Eriko Hironaka, and Curtis T. McMullen. Cyclotomic factors of Coxeter polynomials. J. Number Theory, 129(5):1034–1043, 2009. MR2516970. [127] Alice Guionnet, Vaughan F. R. Jones, and Dimitri Shlyakhtenko. Random matrices, free probability, planar algebras and subfactors. arXiv:0712.2904. √ [128] Uffe Haagerup. Principal graphs of subfactors in the index range 4 < [M : N] < 3 + 2. In Subfactors (Kyuzeso, 1993), pages 1–38. World Sci. Publ., River Edge, NJ, 1994. MR1317352 available at http://tqft.net/other-papers/subfactors/haagerup.pdf. [129] PhùngHôHai. Tannaka-Krein duality for Hopf algebroids, 2008. MR2448024 arXiv:0206113 DOI:10.1007/s11856-008-1047-5. [130] PhùngHôHai. Tannaka-Krein duality for Hopf algebroids. Israel J. Math., 167:193–225, 2008. MR2448024 arXiv:0206113 DOI:10.1007/s11856-008-1047-5. [131] Takahiro Hayashi. A canonical Tannaka duality for finite semiisimple tensor categories, 1999. arXiv:9904073. [132] Matthew Hedden and Philip Ording. The Ozsváth-Szabó and Rasmussen concor- dance invariants are not equal. Amer. J. Math., 130(2):441–453, 2008. MR2405163 DOI:10.1353/ajm.2008.0017 arXiv:math.GT/0512348. [133] AndréHenriques and Joel Kamnitzer. Crystals and coboundary categories. Duke Math. J., 132(2):191–216, 2006. MR2219257 arXiv:math/0406478. [134] Seung-Moon Hong, Eric Rowell, and Zhenghan Wang. On exotic modular tensor categories. Commun. Contemp. Math., 10(suppl. 1):1049–1074, 2008. MR2468378 DOI:10.1142/S0219199708003162 arXiv:0710.5761. [135] Kei Ikeda. Numerical evidence for flatness of Haagerup’s connections. J. Math. Sci. Univ. Tokyo, 5(2):257–272, 1998. MR1633929 available at http://tqft.net/other-papers/ subfactors/ikeda.pdf. [136] H. Iwaniec. On the error term in the linear sieve. Acta Arith., 19:1–30, 1971. MR0296043. [137] Masaki Izumi. Application of fusion rules to classification of subfactors. Publ. Res. Inst. Math. Sci., 27(6):953–994, 1991. MR1145672 DOI:10.2977/prims/1195169007. [138] Masaki Izumi. On flatness of the Coxeter graph E8. Pacific J. Math., 166(2):305–327, 1994. MR1313457 euclid.pjm/1102621140. [139] Masaki Izumi. The structure of sectors associated with Longo-Rehren inclusions. II. Exam- ples. Rev. Math. Phys., 13(5):603–674, 2001. MR1832764 DOI:10.1142/S0129055X01000818. [140] Nathan Jacobson. Basic algebra. II. W. H. Freeman and Company, New York, second edition, 1989. MR1009787. [141] Magnus Jacobsson. An invariant of link cobordisms from Khovanov homology. Algebr. Geom. Topol., 4:1211–1251, 2004. arXiv:math.GT/0206303 MR2113903. [142] Magnus Jacobsson. An invariant of link cobordisms from Khovanov homology. In Algebr. Geom. Topol. [?], pages 1211–1251. arXiv:math.GT/0206303 MR2113903. [143] Ernst Jacobsthal. Uber¨ Sequenzen ganzer Zahlen, von denen keine zu n teilerfremd ist. I, II, III. Norke Vid. Selsk. Forh. Trondheim, 33:117–124, 125–131, 132–139 (1961), 1961. MR0125047. [144] Jens Carsten Jantzen. Lectures on quantum groups, 1996. MR1359532 (preview at google books). [145] Jens Carsten Jantzen. Lectures on Quantum Groups, volume 6 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 1996. MR1359532 (preview at google books). [146] A. J. Jones. Sums of three roots of unity. Proc. Cambridge Philos. Soc., 64:673–682, 1968. MR0224587. [147] V. Jones and V. S. Sunder. Introduction to subfactors, volume 234 of London Mathemati- cal Society Lecture Note Series. Cambridge University Press, Cambridge, 1997. MR1473221 (preview at google books). [148] V. F. R. Jones. Hecke algebra representations of braid groups and link polynomials. Ann. of Math. (2), 126(2):335–388, 1987. MR908150 DOI:10.2307/1971403. [149] Vaughan F. R. Jones. Classification of subfactors of index less than 5, part 3: quadratic tangles and quadruple points. In preparation. [150] Vaughan F. R. Jones. Planar algebras, I. arXiv:math.QA/9909027. 7

[151] Vaughan F. R. Jones. Index for subfactors. Invent. Math., 72(1):1–25, 1983. MR696688 DOI:10.1007/BF01389127. [152] Vaughan F. R. Jones. A polynomial invariant for knots via von Neumann algebras. Bull. Amer. Math. Soc. (N.S.), 12(1):103–111, 1985. MR766964. [153] Vaughan F. R. Jones. Subfactors and knots, volume 80 of CBMS Regional Conference Se- ries in Mathematics. Published for the Conference Board of the Mathematical Sciences, Washington, DC, 1991. MR1134131. [154] Vaughan F. R. Jones. The planar algebra of a bipartite graph. In Knots in Hellas ’98 (Delphi), volume 24 of Ser. Knots Everything, pages 94–117. World Sci. Publ., River Edge, NJ, 2000. MR1865703 (preview at google books). [155] Vaughan F. R. Jones. The annular structure of subfactors. In Essays on geometry and related topics, Vol. 1, 2, volume 38 of Monogr. Enseign. Math., pages 401–463. Enseignement Math., Geneva, 2001. MR1929335. [156] Vaughan F. R. Jones. Book review of “quantum symmetries on operator algebras”, by d. evans and y. kawahigashi, 2001. http://www.ams.org/bull/2001-38-03/ S0273-0979-01-00906-5/S0273-0979-01-00906-5.pdf. [157] Vaughan F. R. Jones. Quadratic tangles in planar algebras, 2003. arXiv:1007.1158. [158] Vaughan F. R. Jones. Quadratic tangles in planar algebras, 2003. arXiv:1007.1158. [159] Vaughan F. R. Jones. Two subfactors and the algebraic decomposition of bimodules over ii1 factors., 2008. pre-print available at http://math.berkeley.edu/~vfr. [160] Vaughan F. R. Jones and Sarah A. Reznikoff. Hilbert space representations of the annular Temperley-Lieb algebra. Pacific J. Math., 228(2):219–249, 2006. MR2274519 DOI:10.2140/pjm.2006.228.219. [161] Vaughan F. R. Jones, Dimitri Shlyakhtenko, and Kevin Walker. An orthogonal approach to the subfactor of a planar algebra. arXiv:0807.4146. [162] AndréJoyal and Ross Street. The geometry of tensor calculus. I. Adv. Math., 88(1):55–112, 1991. MR1113284. [163] AndréJoyal and Ross Street. An introduction to Tannaka duality and quantum groups. In Category theory (Como, 1990), volume 1488 of Lecture Notes in Math., pages 413– 492. Springer, Berlin, 1991. MR1173027 available at http://www.maths.mq.edu.au/~street/ CT90Como.pdf. [164] Alexander Kirillov Jr. and Benjamin Balsam. Turaev-viro invariants as an extended tqft. arXiv:1004.1533. [165] Joel Kamnitzer and Peter Tingley. The crystal commutor and drinfeld’s unitarized r-matrix, 2007. arXiv:0707.2248. [166] Hans-Joachim Kanold. Uber¨ eine zahlentheoretische Funktion von Jacobsthal. Math. Ann., 170:314–326, 1967. MR0209247. [167] V. Karimipour and A. Mostafazadeh. Lattice topological field theory on nonorientable surfaces. J. Math. Phys., 38(1):49–66, 1997. MR1424641, arXiv:hep-th/9508041. [168] M. Kashiwara. On crystal bases of the Q-analogue of universal enveloping algebras. Duke Math. J., 63(2):465–516, 1991. MR1115118. [169] The knot atlas. http://katlas.org/. [170] Louis H. Kauffman. An invariant of regular isotopy. Trans. Amer. Math. Soc., 318(2):417– 471, 1990. MR958895 DOI:10.2307/2001315. [171] Louis H. Kauffman and SóstenesL. Lins. Temperley-Lieb recoupling theory and invariants of 3-manifolds, volume 134 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 1994. MR1280463. [172] Yasuyuki Kawahigashi. Classification of paragroup actions in subfactors. Publ. Res. Inst. Math. Sci., 31(3):481–517, 1995. MR1355948. [173] Yasuyuki Kawahigashi. On flatness of Ocneanu’s connections on the Dynkin diagrams and classification of subfactors. J. Funct. Anal., 127(1):63–107, 1995. MR1308617 DOI:10.1006/jfan.1995.1003. [174] David Kazhdan and Hans Wenzl. Reconstructing monoidal categories. In I. M. Gel0fand Seminar, volume 16 of Adv. Soviet Math., pages 111–136. Amer. Math. Soc., Providence, RI, 1993. MR1237835 (preview at google books). [175] Bernhard Keller. Introduction to A-infinity algebras and modules. Homology Homotopy Appl., 3(1):1–35 (electronic), 2001. MR1854636 arXiv:math.RA/9910179. 8

[176] Mikhail Khovanov. A categorification of the Jones polynomial. Duke Math. J., 101(3):359– 426, 2000. MR1740682 DOI:10.1215/S0012-7094-00-10131-7 arXiv:math.QA/9908171. [177] Mikhail Khovanov. A functor-valued invariant of tangles. Algebr. Geom. Topol., 2:665–741, 2002. MR1928174 arXiv:math.GT/0103190. [178] Mikhail Khovanov. Patterns in knot cohomology. I. Experiment. Math., 12(3):365–374, 2003. MR2034399 euclid.em/1087329238 arXiv:math.QA/0201306. [179] Mikhail Khovanov. sl(3) link homology. Algebr. Geom. Topol., 4:1045–1081, 2004. arXiv:math.QA/0304375 MR2100691 DOI:10.2140/agt.2004.4.1045. [180] Mikhail Khovanov. Categorifications of the colored Jones polynomial. J. Knot Theory Ramifications, 14(1):111–130, 2005. MR2124557 arXiv:math.QA/0302060 DOI:10.1142/S0218216505003750. [181] Mikhail Khovanov. An invariant of tangle cobordisms. Trans. Amer. Math. Soc., 358(1):315– 327, 2006. arXiv:math.GT/0207264 MR2171235. [182] Mikhail Khovanov. Link homology and Frobenius extensions. Fund. Math., 190:179–190, 2006. MR2232858 arXiv:math.QA/0411447. [183] Mikhail Khovanov and Greg Kuperberg. Web bases for sl(3) are not dual canonical. Pacific J. Math., 188(1):129–153, 1999. arXiv:q-alg/9712046 MR1680395. [184] Mikhail Khovanov and Lev Rozansky. Matrix factorizations and link homology, 2008. MR2391017 arXiv:math.QA/0401268 DOI:10.4064/fm199-1-1. [185] Mikhail Khovanov and Lev Rozansky. Matrix factorizations and link homology. Fund. Math., 199(1):1–91, 2008. MR2391017 arXiv:math.QA/0401268 DOI:10.4064/fm199-1-1. [186] Mikhail Khovanov and Lev Rozansky. Matrix factorizations and link homology. II, 2008. MR2421131 arXiv:math.QA/0505056 DOI:10.2140/gt.2008.12.1387. [187] Mikhail Khovanov and Lev Rozansky. Matrix factorizations and link homology. II. Geom. Topol., 12(3):1387–1425, 2008. MR2421131 arXiv:math.QA/0505056 DOI:10.2140/gt.2008.12.1387. [188] Dongseok Kim. Graphical calculus on representations of quantum lie algebras, 2003. Ph. D. thesis, University of California, Davis arXiv:math.QA/0310143. [189] Dongseok Kim. Jones-Wenzl idempotents for rank 2 simple Lie algebras. Osaka J. Math., 44(3):691–722, 2007. MR2360947 arXiv:math/0602504 euclid.ojm/1189717429. [190] Robion Kirby. A calculus for framed links in S3. Invent. Math., 45(1):35–56, 1978. MR0467753 DOI:10.1007/BF01406222. [191] Robion Kirby and Paul Melvin. The 3-manifold invariants of Witten and Reshetikhin-Turaev for sl(2, C). Invent. Math., 105(3):473–545, 1991. MR1117149 DOI:10.1007/BF01232277. [192] A. N. Kirillov and N. Reshetikhin. q-Weyl group and a multiplicative formula for universal R-matrices. Comm. Math. Phys., 134(2):421–431, 1990. MR1081014. [193] A. N. Kirillov and N. Yu. Reshetikhin. Representations of the algebra Uq(sl(2)), q- orthogonal polynomials and invariants of links. In Infinite-dimensional Lie algebras and groups (Luminy-Marseille, 1988), volume 7 of Adv. Ser. Math. Phys., pages 285–339. World Sci. Publ., Teaneck, NJ, 1989. MR1026957. [194] Alexander Kirillov, Jr. and Viktor Ostrik. On a q-analogue of the McKay correspondence and the ADE classification of sl2 conformal field theories. Adv. Math., 171(2):183–227, 2002. MR1936496 arXiv:math.QA/0101219 DOI:10.1006/aima.2002.2072. [195] A. Yu. Kitaev. Quantum computations: algorithms and error correction. Uspekhi Mat. Nauk, 52(6(318)):53–112, 1997. MR1611329. [196] Vijay Kodiyalam, Zeph Landau, and V. S. Sunder. The planar algebra associated to a Kac algebra. Proc. Indian Acad. Sci. Math. Sci., 113(1):15–51, 2003. MR1971553. [197] Vijay Kodiyalam and V. S. Sunder. From subfactor planar algebras to subfactors. arXiv:0807.3704. [198] Vijay Kodiyalam and V. S. Sunder. Topological quantum field theories from subfactors, volume 423 of Chapman & Hall/CRC Research Notes in Mathematics. Chapman & Hall/CRC, Boca Raton, FL, 2001. MR1870810. [199] Vijay Kodiyalam and V. S. Sunder. The planar algebra of a semisimple and cosemisimple Hopf algebra. Proc. Indian Acad. Sci. Math. Sci., 116(4):443–458, 2006. arXiv:math.QA/ 0506153 MR2346882 DOI:10.1007/BF02829702. [200] Toshitake Kohno and Toshie Takata. Symmetry of Witten’s 3-manifold invariants for sl(n, C). J. Knot Theory Ramifications, 2(2):149–169, 1993. MR1227008 DOI:10.1142/S0218216593000106. 9

[201] Toshitake Kohno and Toshie Takata. Level-rank duality of Witten’s 3-manifold invariants. In Progress in algebraic combinatorics (Fukuoka, 1993), volume 24 of Adv. Stud. Pure Math., pages 243–264. Math. Soc. Japan, Tokyo, 1996. MR1414470 available at http://tqft.net/ papers/KohnoTakata. [202] Maxim Kontsevich. Operads and motives in deformation quantization. Lett. Math. Phys., 48(1):35–72, 1999. MR1718044 DOI:10.1023/A:1007555725247 arXiv:math.QA/9904055. [203] Maxim Kontsevich and Yan Soibelman. Deformations of algebras over operads and the Deligne conjecture. In Conférence MoshéFlato 1999, Vol. I (Dijon), volume 21 of Math. Phys. Stud., pages 255–307. Kluwer Acad. Publ., Dordrecht, 2000. MR1805894 arXiv:math. QA/0001151. [204] L. Kronecker. Zwei Sätzeüber Gleichungen mit ganzzahligen Coefficienten. J. Reine Angew. Math., 53:173–175, 1857. an:053.1389cj. [205] Greg Kuperberg. Involutory Hopf algebras and 3-manifold invariants. Internat. J. Math., 2(1):41–66, 1991. [206] Greg Kuperberg. The quantum G2 link invariant. Internat. J. Math., 5(1):61–85, 1994. MR1265145 DOI:10.1142/S0129167X94000048 arXiv:math.QA/9201302. [207] Greg Kuperberg. Spiders for rank 2 Lie algebras. Comm. Math. Phys., 180(1):109–151, 1996. MR1403861 arXiv:q-alg/9712003 euclid.cmp/1104287237. [208] Greg Kuperberg. Finite, connected, semisimple, rigid tensor categories are linear. Math. Res. Lett., 10(4):411–421, 2003. MR1995781,arXiv:0209256. [209] Aaron D. Lauda and Hendryk Pfeiffer. State sum construction of two-dimensional open- closed topological quantum field theories. J. Knot Theory Ramifications, 16(9):1121–1163, 2007. [210] Aaron D. Lauda and Hendryk Pfeiffer. Open-closed tqfts extend khovanov homology from links to tangles. Journal of Knot Theory and Its Ramifications, 18:87, 2009. arXiv:math. GT/0606331. [211] Thang T. Q. Le. Integrality and symmetry of quantum link invariants. Duke Math. J., 102(2):273–306, 2000. MR1749439 DOI:10.1215/S0012-7094-00-10224-4. [212] Eun Soo Lee. An endomorphism of the Khovanov invariant. Adv. Math., 197(2):554–586, 2005. MR2173845 DOI:10.1016/j.aim.2004.10.015 arXiv:math.GT/0210213. [213] Gus Lehrer and Ruibin Zhang. Strongly multiplicity free modules for Lie algebras and quantum groups. J. Algebra, 306(1):138–174, 2006. MR2271576 DOI:10.1016/j.jalgebra.2006.03.043. [214] Tom Leinster. Higher operads, higher categories, volume 298 of London Mathematical So- ciety Lecture Note Series. Cambridge University Press, Cambridge, 2004. MR2094071. [215] S. Z. Levendorski˘ıand Ya. S. So˘ıbel0man. The quantum Weyl group and a multiplicative formula for the R-matrix of a simple Lie algebra. Funktsional. Anal. i Prilozhen., 25(2):73– 76, 1991. MR1142216. [216] W. B. R. Lickorish. Polynomials for links. Bull. London Math. Soc., 20(6):558–588, 1988. MR980759 DOI:10.1112/blms/20.6.558. [217] W. B. R. Lickorish. Some link-polynomial relations. Math. Proc. Cambridge Philos. Soc., 105(1):103–107, 1989. MR966143 DOI:10.1017/S0305004100001390. [218] V. Linchenko and S. Montgomery. A Frobenius-Schur theorem for Hopf algebras. Algebr. Represent. Theory, 3(4):347–355, 2000. MR1808131,arXiv:math/0004097. [219] Jean-Louis Loday. Cyclic homology, volume 301 of Grundlehren der Mathematischen Wis- senschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, second edition, 1998. MR1600246 (preview at google books). [220] J. H. Loxton. On the maximum modulus of cyclotomic integers. Acta Arith., 22:69–85, 1972. MR0309896. [221] Jacob Lurie. Derived Algebraic Geometry I: Stable Infinity Categories. arXiv:math/0608228. [222] Jacob Lurie. Derived Algebraic Geometry II: Noncommutative Algebra. arXiv:math/ 0702299. [223] Jacob Lurie. Derived Algebraic Geometry III: Commutative Algebra. arXiv:math/0703204. [224] Jacob Lurie. Derived Algebraic Geometry IV: Deformation Theory. arXiv:0709.3091. [225] Jacob Lurie. Derived Algebraic Geometry V: Structured Spaces. arXiv:0905.0459. [226] Jacob Lurie. Derived Algebraic Geometry VI: Ek Algebras. arXiv:0911.0018. [227] Jacob Lurie. On the classification of topological field theories, 2009. arXiv:0905.0465. 10

[228] G. Lusztig. Quivers, perverse sheaves, and quantized enveloping algebras. J. Amer. Math. Soc., 4(2):365–421, 1991. MR1088333 DOI:10.2307/2939279. [229] George Lusztig. Introduction to quantum groups, volume 110 of Progress in Mathematics. BirkhäuserBoston Inc., Boston, MA, 1993. MR1227098. [230] Marco Mackaay. Spherical 2-categories and 4-manifold invariants. Adv. Math., 143(2):288– 348, 1999. MR1686421 arXiv:math.QA/9805030 DOI:10.1006/aima.1998.1798. [231] Marco Mackaay, Marko Stosic, and Pedro Vaz. SL(N) link homology using foams and the Kapustin-Li formula. arXiv:0708.2228. [232] Marco Mackaay and Pedro Vaz. The universal sl3-link homology, 2007. MR2336253 arXiv:math.GT/0603307. [233] Marco Mackaay and Pedro Vaz. The universal sl3-link homology. Algebr. Geom. Topol., 7:1135–1169, 2007. MR2336253 arXiv:math.GT/0603307. [234] J. P. May. The geometry of iterated loop spaces. Springer-Verlag, Berlin, 1972. Lectures Notes in Mathematics, Vol. 271 MR0420610 available online. [235] Barry Mazur. What is ... a motive? Notices Amer. Math. Soc., 51(10):1214–1216, 2004. MR2104916. [236] James E. McClure and Jeffrey H. Smith. Operads and cosimplicial objects: an introduction. In Axiomatic, enriched and motivic homotopy theory, volume 131 of NATO Sci. Ser. II Math. Phys. Chem., pages 133–171. Kluwer Acad. Publ., Dordrecht, 2004. MR2061854 arXiv:math.QA/0402117. [237] James McKee and Chris Smyth. Salem numbers, Pisot numbers, Mahler measure, and graphs. Experiment. Math., 14(2):211–229, 2005. MR2169524 euclid.em/1128100133. [238] A. D. Mednyh. Determination of the number of nonequivalent coverings over a compact Riemann surface. Dokl. Akad. Nauk SSSR, 239(2):269–271, 1978. [239] Paul Melvin. Blowing-up and blowing-down in 4-manifolds. PhD thesis, Uni- versity of California, Berkeley, 1977. available at http://proquest.umi.com/ pqdweb?did=756489531&sid=1&Fmt=6&clientId=1566&RQT=309&VName=PQD or http: //tqft.net/other-papers/melvin-thesis.pdf. [240] Scott Morrison. A formula for the Jones-Wenzl projections. Unpublished, available at http: //tqft.net/math/JonesWenzlProjections.pdf. [241] Scott Morrison. QuantumGroups‘, a mathematica package, 2006. http://katlas.org/wiki/ QuantumGroups‘. [242] Scott Morrison. A Diagrammatic Category for the Representation Theory of Uq (sln). PhD thesis, University of California, Berkeley, 2007. arXiv:0704.1503. [243] Scott Morrison. A diagrammatic category for the representation theory of uq(sln), 2007. arXiv:0704.1503. [244] Scott Morrison and Ari Nieh. On Khovanov’s cobordism theory for su3 knot homology. Journal of Knot Theory and its Ramifications, 17(9):1121–1173, 2008. DOI:10.1142/S0218216508006555 arXiv:math.GT/0612754. [245] Scott Morrison, David Penneys, Emily Peters, and Noah Snyder. Classification of subfactors of index less than 5, part 2: quadratic tangles and triple points. Draft available at http: //tqft.net/index5-part2. [246] Scott Morrison, Emily Peters, and Noah Snyder. Knot polynomial identities and quantum group coincidences, from the d2n planar algebra. forthcoming, will be available at http: //tqft.net/identities. [247] Scott Morrison, Emily Peters, and Noah Snyder. Skein theory for the D2n planar algebras. In J. Pure Appl. Algebra [?], pages 117–139. arXiv:math/0808.0764 MR2559686 DOI:10.1016/j.jpaa.2009.04.010. [248] Scott Morrison, Emily Peters, and Noah Snyder. Skein theory for the D2n planar algebras. J. Pure Appl. Algebra, 214(2):117–139, 2010. arXiv:math/0808.0764 MR2559686 DOI:10.1016/j.jpaa.2009.04.010. [249] Scott Morrison and Noah Snyder. Towards the classification of subfactor planar algebras with index at most 5. Draft available at tqft.net/index5-part1. [250] Scott Morrison and Noah Snyder. Non-cyclotomic fusion categories, 2010. arXiv:1002.0168. [251] Hugh R. Morton and Elisabetta Beltrami. Arc index and the Kauffman polynomial. Math. Proc. Cambridge Philos. Soc., 123(1):41–48, 1998. MR1474862 DOI:10.1017/S0305004197002090. 11

[252] M. Müger,J. E. Roberts, and L. Tuset. Representations of algebraic quantum groups and re- construction theorems for tensor categories. Algebr. Represent. Theory, 7(5):517–573, 2004. MR2104671 DOI:10.1023/B:ALGE.0000048337.34810.6f arXiv:math.QA/0203206. [253] Michael Müger.Galois theory for braided tensor categories and the modular closure. Adv. Math., 150(2):151–201, 2000. MR1749250 DOI:10.1006/aima.1999.1860 arXiv:math. CT/9812040. [254] Michael Müger. From subfactors to categories and topology. I. Frobenius algebras in and Morita equivalence of tensor categories. J. Pure Appl. Algebra, 180(1-2):81–157, 2003. MR1966524 DOI:10.1016/S0022-4049(02)00247-5 arXiv:math.CT/0111204. [255] Michael Müger.From subfactors to categories and topology. II. The quantum double of tensor categories and subfactors. J. Pure Appl. Algebra, 180(1-2):159–219, 2003. MR1966525 DOI:10.1016/S0022-4049(02)00248-7 arXiv:math.CT/0111205. [256] Michael Müger.On the structure of modular categories. Proc. London Math. Soc. (3), 87(2):291–308, 2003. MR1990929 DOI:10.1112/S0024611503014187. [257] Michael Müger. Galois extensions of braided tensor categories and braided crossed G-categories. J. Algebra, 277(1):256–281, 2004. MR2059630 DOI:10.1016/j.jalgebra.2004.02.026. [258] Motohico Mulase and Josephine T. Yu. A generating function of the number of homomor- phisms from a surface group into a finite group, 2002. arXiv:math/0209008. [259] Motohico Mulase and Josephine T. Yu. Non-commutative matrix integrals and representation varieties of surface groups in a finite group, 2002. arXiv:math/0211127. [260] Hitoshi Murakami, Tomotada Ohtsuki, and Shuji Yamada. Homfly polynomial via an invariant of colored plane graphs. Enseign. Math. (2), 44(3-4):325–360, 1998. MR1659228. [261] Gad Naot. On the Algebraic Structure of Bar-Natan’s Universal Geometric Complex and the Geometric Structure of Khovanov Link Homology Theories. arXiv:arXiv:math.GT/0603347. [262] Gad Naot. The universal Khovanov link homology theory. Algebr. Geom. Topol., 6:1863– 1892, 2006. MR2263052 DOI:10.2140/agt.2006.6.1863 arXiv:math.GT/0603347. [263] Chetan Nayak, Steven H. Simon, Ady Stern, Michael Freedman, and Sankar Das Sarma. Non-abelian anyons and topological quantum computation. Rev. Modern Phys., 80(3):1083– 1159, 2008. MR2443722. [264] Siu-Hung Ng and Peter Schauenburg. Higher Frobenius-Schur indicators for pivotal categories. In Hopf algebras and generalizations, volume 441 of Contemp. Math., pages 63–90. Amer. Math. Soc., Providence, RI, 2007. [265] Adrian Ocneanu. Quantized groups, string algebras and Galois theory for algebras. In Oper- ator algebras and applications, Vol. 2, volume 136 of London Math. Soc. Lecture Note Ser., pages 119–172. Cambridge Univ. Press, Cambridge, 1988. MR996454. [266] Tomotada Ohtsuki. Quantum invariants, volume 29 of Series on Knots and Everything. World Scientific Publishing Co. Inc., River Edge, NJ, 2002. MR1881401. [267] Juan Ariel Ortiz-Navarro and Chris Truman. Khovanov Homology and Reidemeister Torsion. a talk at the 2006 Toronto CMS meeting, slides at http://www.math.uiowa.edu/~jortizna/ Present-CMS-06.pdf. [268] Victor Ostrik. Pre-modular categories of rank 3, 1995. arXiv:math.QA/0503564. [269] Victor Ostrik. Module categories, weak Hopf algebras and modular invariants. Transform. Groups, 8(2):177–206, 2003. MR1976459 arXiv:0111139. [270] Victor Ostrik. On formal codegrees of fusion categories. Math. Research Letters, 16(5):895– 901, 2009. arXiv:0810.3242. [271] Viktor Ostrik. Fusion categories of rank 2. Math. Res. Lett., 10(2-3):177–183, 2003. MR1981895 arXiv:math.QA/0203255. [272] Viktor Ostrik. Module categories over the Drinfeld double of a finite group. Int. Math. Res. Not., (27):1507–1520, 2003. MR1976233,arXiv:0202130. [273] Udo Pachner. P.L. homeomorphic manifolds are equivalent by elementary shellings. Euro- pean J. Combin., 12(2):129–145, 1991. [274] Peter Sie Pao. Nonlinear circle actions on the 4-sphere and twisting spun knots. Topology, 17(3):291–296, 1978. MR508892 DOI:10.1016/0040-9383(78)90033-2. [275] David Penneys and James Tener. Classification of subfactors of index less than 5, part 4: cyclotomicity. In preparation. 12

[276] Roger Penrose. Applications of negative dimensional tensors. In Combinatorial Mathematics and its Applications (Proc. Conf., Oxford, 1969), pages 221–244. Academic Press, London, 1971. [277] Emily Peters. A planar algebra construction of the Haagerup subfactor, 2009. arXiv:0902. 1294, to appear in Internat. J. Math. [278] Hendryk Pfeiffer. Finitely semisimple spherical categories and modular categories are self- dual. Adv. Math., 221(5):1608–1652, 2009. MR2522429 arXiv:0806.2903. [279] Teimuraz Pirashvili. Hodge decomposition for higher order Hochschild homology. Ann. Sci. Ecole´ Norm. Sup. (4), 33(2):151–179, 2000. MR1755114 DOI:10.1016/S0012-9593(00)00107-5. [280] Bjorn Poonen and Michael Rubinstein. The number of intersection points made by the diagonals of a regular polygon. SIAM J. Discrete Math., 11(1):135–156 (electronic), 1998. MR1612877 arXiv:math/9508209. [281] Sorin Popa. Classification of subfactors: the reduction to commuting squares. Invent. Math., 101(1):19–43, 1990. MR1055708 DOI:10.1007/BF01231494. [282] Sorin Popa. Subfactors and classification in von Neumann algebras. In Proceedings of the International Congress of Mathematicians, Vol. I, II (Kyoto, 1990), pages 987–996, Tokyo, 1991. Math. Soc. Japan. MR1159284. [283] Sorin Popa. Markov traces on universal Jones algebras and subfactors of finite index. Invent. Math., 111(2):375–405, 1993. MR1198815 DOI:10.1007/BF01231293. [284] Sorin Popa. Classification of amenable subfactors of type II. Acta Math., 172(2):163–255, 1994. MR1278111 DOI:10.1007/BF02392646. [285] Sorin Popa. An axiomatization of the lattice of higher relative commutants of a subfactor. Invent. Math., 120(3):427–445, 1995. MR1334479 DOI:10.1007/BF01241137. [286] Sorin Popa and Dimitri Shlyakhtenko. Universal properties of L(F∞) in subfactor theory. Acta Math., 191(2):225–257, 2003. MR2051399 DOI:10.1007/BF02392965. [287] Jacob A. Rasmussen. Khovanov homology and the slice genus. arXiv:math.GT/0402131. [288] N. Reshetikhin and V. G. Turaev. Invariants of 3-manifolds via link polynomials and quantum groups. Invent. Math., 103(3):547–597, 1991. MR1091619 euclid.cmp/1104180037. [289] N. Yu. Reshetikhin. Quantized universal enveloping algebras, the yang-baxter equation and invariants of links (i & ii). LOMI preprints, (E-4-87 & E-17-87), 1988. [290] N. Yu. Reshetikhin. Quasitriangular Hopf algebras and invariants of links. Algebra i Analiz, 1(2):169–188, 1989. MR1025161. [291] N. Yu. Reshetikhin and H. Saleur. Lattice regularization of massive and mass- less integrable field theories. Nuclear Phys. B, 419(3):507–528, 1994. MR1279547 DOI:10.1016/0550-3213(94)90342-5 arXiv:hep-th/9309135. [292] N. Yu. Reshetikhin and V. G. Turaev. Ribbon graphs and their invariants derived from quantum groups. Comm. Math. Phys., 127(1):1–26, 1990. MR1036112 euclid.cmp/1104180037. [293] Justin Roberts. Kirby calculus in manifolds with boundary. Turkish J. Math., 21(1):111–117, 1997. MR1456165 arXiv:math.GT/9812086. [294] Dennis Roseman. Reidemeister-type moves for surfaces in four-dimensional space. In Knot theory (Warsaw, 1995), volume 42 of Banach Center Publ., pages 347–380. Polish Acad. Sci., Warsaw, 1998. MR1634466. [295] Eric Rowell, Richard Stong, and Zhenghan Wang. On classification of modular tensor categories, 2007. arXiv:0712.1377. [296] Eric C. Rowell. Unitarizability of premodular categories. J. Pure Appl. Algebra, 212(8):1878– 1887, 2008. arXiv:math/0710.1621 MR2414692 DOI:10.1016/j.jpaa.2007.11.004. [297] H. Saleur and D. Altschüler.Level-rank duality in quantum groups. Nuclear Phys. B, 354(2- 3):579–613, 1991. MR1103065 DOI:10.1016/0550-3213(91)90367-7. [298] Paolo Salvatore. Configuration spaces with summable labels. In Cohomological methods in homotopy theory (Bellaterra, 1998), volume 196 of Progr. Math., pages 375–395. Birkhäuser, Basel, 2001. MR1851264 arXiv:math.AT/9907073. [299] Stephen F. Sawin. Jones-Witten invariants for nonsimply connected Lie groups and the geometry of the Weyl alcove. Adv. Math., 165(1):1–34, 2002. MR1880320 arXiv:math.QA/ 9905010. [300] Stephen F. Sawin. Quantum groups at roots of unity and modularity. J. Knot Theory Ram- ifications, 15(10):1245–1277, 2006. MR2286123 arXiv:math.QA/0308281. 13

[301] Martin Scharlemann and Abigail Thompson. Fibered knots and property 2R, 2009. arXiv:0901.2319. [302] A. N. Schellekens and N. P. Warner. Conformal subalgebras of Kac-Moody algebras. Phys. Rev. D (3), 34(10):3092–3096, 1986. DOI:10.1103/PhysRevD.34.3092. [303] Chris Schommer-Pries. The Classification of Two-Dimensional Extended Topological Field Theories. PhD thesis, UC Berkeley, 2009. [304] G. Segal. Lecture notes. Online. [305] Peter Selinger. A survey of graphical languages for monoidal categories. http://www.mscs. dal.ca/~selinger/papers/graphical.pdf. [306] Jean-Pierre Serre. Linear representations of finite groups. Springer-Verlag, New York, 1977. Translated from the second French edition by Leonard L. Scott, Graduate Texts in Mathe- matics, Vol. 42. MR0450380 (preview at google books). [307] Mei Chee Shum. Tortile tensor categories. J. Pure Appl. Algebra, 93(1):57–110, 1994. MR1268782. [308] Alexander Shumakovitch. Torsion of the Khovanov homology, 2004. arXiv:math.GT/ 0405474. [309] Alexander N. Shumakovitch. Rasmussen invariant, slice-Bennequin inequality, and slice- ness of knots. J. Knot Theory Ramifications, 16(10):1403–1412, 2007. MR2384833 DOI:10.1142/S0218216507005889 arXiv:math.GT/0411643. [310] Carl Ludwig Siegel. The trace of totally positive and real algebraic integers. Ann. of Math. (2), 46:302–312, 1945. MR0012092. [311] Adam S. Sikora and Bruce W. Westbury. Confluence theory for graphs. Algebr. Geom. Topol., 7:439–478, 2007. MR2308953, arXiv:math.QA/0609832 DOI:10.2140/agt.2007.7.439. [312] N. J. A. Sloane. The on-line encyclopedia of integer sequences, 2010. Published electronically at www.research.att.com/ njas/sequences/, Sequence A048669. [313] John H. Smith. Some properties of the spectrum of a graph. In Combinatorial Structures and their Applications (Proc. Calgary Internat. Conf., Calgary, Alta., 1969), pages 403– 406. Gordon and Breach, New York, 1970. MR0266799. [314] C. J. Smyth. The mean values of totally real algebraic integers. Math. Comp., 42(166):663– 681, 1984. MR736460. [315] Noah Snyder and Peter Tingley. The half-twist for uq(g) representations, 2008. arXiv:0810. 0084. [316] Stephan Stolz and Peter Teichner. What is an elliptic object? In Topology, geometry and quantum field theory, volume 308 of London Math. Soc. Lecture Note Ser., pages 247–343. Cambridge Univ. Press, Cambridge, 2004. MR2079378 DOI:10.1017/CBO9780511526398.013 http://math.berkeley.edu/~teichner/Papers/Oxford.pdf. [317] Dmitry E. Tamarkin. Formality of chain operad of little discs. Lett. Math. Phys., 66(1-2):65– 72, 2003. MR2064592 DOI:10.1023/B:MATH.0000017651.12703.a1. [318] Daisuke Tambara and Shigeru Yamagami. Tensor categories with fusion rules of self-duality for finite abelian groups. J. Algebra, 209(2):692–707, 1998. MR1659954. [319] Dylan P. Thurston. The algebra of knotted trivalent graphs and Turaev’s shadow world. In Invariants of knots and 3-manifolds (Kyoto, 2001), volume 4 of Geom. Topol. Monogr., pages 337–362. Geom. Topol. Publ., Coventry, 2002. MR2048108 arXiv:math.GT/0311458. [320] Peter Tingley. A minus sign that used to annoy me but now I know why it is there, 2010. arXiv:1002.0555. [321] Imre Tuba and Hans Wenzl. On braided tensor categories of type BCD. J. Reine Angew. Math., 581:31–69, 2005. MR2132671 DOI:10.1515/crll.2005.2005.581.31 arXiv:math.QA/ 0301142. [322] Chris Tuffley. Sammy the graduate student. [323] V. Turaev and H. Wenzl. Quantum invariants of 3-manifolds associated with classical simple Lie algebras. Internat. J. Math., 4(2):323–358, 1993. MR1217386 DOI:10.1142/S0129167X93000170. [324] V. G. Turaev. The Yang-Baxter equation and invariants of links. Invent. Math., 92(3):527– 553, 1988. MR939474. [325] V. G. Turaev. Operator invariants of tangles, and R-matrices. Izv. Akad. Nauk SSSR Ser. Mat., 53(5):1073–1107, 1135, 1989. MR1024455 DOI:10.1070/IM1990v035n02ABEH000711. 14

[326] V. G. Turaev. Quantum invariants of knots and 3-manifolds, volume 18 of de Gruyter Studies in Mathematics. Walter de Gruyter & Co., Berlin, 1994. MR1292673 (preview at google books). [327] V. G. Turaev and O. Ya. Viro. State sum invariants of 3-manifolds and quantum 6j-symbols. Topology, 31(4):865–902, 1992. MR1191386. [328] Vladimir Turaev. Dijkgraaf-witten invariants of surfaces and projective representations of groups, 2007. arXiv:0706.0160. [329] Vladimir Turaev and Paul Turner. Unoriented topological quantum field theory and link homology. Algebr. Geom. Topol., 6:1069–1093, 2006. MR2253441,arXiv:math.GT/0506229. [330] D. Verstegen. Conformal embeddings, rank-level duality and exceptional modular invariants. Comm. Math. Phys., 137(3):567–586, 1991. MR1105431 euclid.cmp/1104202741. [331] Alexander A. Voronov. The Swiss-cheese operad. In Homotopy invariant algebraic structures (Baltimore, MD, 1998), volume 239 of Contemp. Math., pages 365–373. Amer. Math. Soc., Providence, RI, 1999. MR1718089 arXiv:math.QA/9807037. [332] Alexander A. Voronov. Homotopy Gerstenhaber algebras. In Conférence MoshéFlato 1999, Vol. II (Dijon), volume 22 of Math. Phys. Stud., pages 307–331. Kluwer Acad. Publ., Dor- drecht, 2000. MR1805923 arXiv:math.QA/9908040. [333] Kevin Walker. Topological quantum field theories. Available at http://canyon23.net/ math/. [334] Ben Webster. Khovanov-Rozansky homology via a canopolis formalism. Algebr. Geom. Topol., 7:673–699, 2007. arXiv:math.GT/0610650 MR2308960. [335] Hans Wenzl. On sequences of projections. C. R. Math. Rep. Acad. Sci. Canada, 9(1):5–9, 1987. MR873400. [336] Hans Wenzl. On the structure of Brauer’s centralizer algebras. Ann. of Math. (2), 128(1):173–193, 1988. MR951511 DOI:10.2307/1971466. [337] Hans Wenzl. Quantum groups and subfactors of type B, C, and D. Comm. Math. Phys., 133(2):383–432, 1990. MR1090432. [338] Hans Wenzl. C∗ tensor categories from quantum groups. J. Amer. Math. Soc., 11(2):261– 282, 1998. MR1470857 DOI:10.1090/S0894-0347-98-00253-7. [339] Hans Wenzl. On tensor categories of Lie type EN , N 6= 9. Adv. Math., 177(1):66–104, 2003. MR1985194 DOI:10.1016/S0001-8708(02)00048-8. [340] Wikipedia. Grothendieck group — wikipedia, the free encyclopedia, 2006. [Online; accessed 30-June-2006]. [341] Wikipedia. Invariant basis number — wikipedia, the free encyclopedia, 2006. [Online; accessed 24-December-2006]. [342] Wikipedia. Karoubi envelope — wikipedia, the free encyclopedia, 2006. [Online; accessed 20-June-2006]. [343] Wikipedia. Writhe — wikipedia, the free encyclopedia, 2009. [Online; accessed 16-April- 2009]. [344] Edward Witten. Quantum field theory and the Jones polynomial. Comm. Math. Phys., 121(3):351–399, 1989. MR990772 euclid.cmp/1104178138. [345] Hao Wu. On the quantum filtration of the Khovanov-Rozansky cohomology, 2006. arXiv:math.GT/0612406. [346] Feng Xu. Orbifold construction in subfactors. Comm. Math. Phys., 166(2):237–253, 1994. MR1309549 euclid.cmp/1104271609. [347] Feng Xu. The flat part of non-flat orbifolds. Pacific J. Math., 172(1):299–306, 1996. MR1379298 euclid.pjm/1102366197. [348] Feng Xu. Applications of braided endomorphisms from conformal inclusions. Internat. Math. Res. Notices, (1):5–23, 1998. MR1601870 DOI:10.1155/S1073792898000026 arXiv:q-alg/ 9708011. [349] Feng Xu. Algebraic orbifold conformal field theories. In Mathematical physics in mathematics and physics (Siena, 2000), volume 30 of Fields Inst. Commun., pages 429–448. Amer. Math. Soc., Providence, RI, 2001. MR1867572 arXiv:math/0004150. [350] Feng Xu. Unpublished notes, 2001. [351] Feng Xu. 3-manifold invariants from cosets. J. Knot Theory Ramifications, 14(1):21–90, 2005. DOI:10.1142/S0218216505003695 arXiv:math.GT/9907077 MR2124554. [352] R. B. Zhang, M. D. Gould, and A. J. Bracken. Quantum group invariants and link polynomials. Comm. Math. Phys., 137(1):13–27, 1991. MR1099254.