Abstract
Motivated by physical constructions of homological knot invariants, we study their analogs for closed 3-manifolds. We show that fivebrane compactifications provide a universal description of various old and new homological invariants of 3-manifolds. In terms of 3d/3d correspondence, such invariants are given by the Q-cohomology of the Hilbert space of partially topologically twisted 3d \( \mathcal{N}=2 \) theory T[M 3] on a Riemann surface with defects. We demonstrate this by concrete and explicit calculations in the case of monopole/Heegaard Floer homology and a 3-manifold analog of Khovanov-Rozansky link homology. The latter gives a categorification of Chern-Simons partition function. Some of the new key elements include the explicit form of the S-transform and a novel connection between categorification and a previously mysterious role of Eichler integrals in Chern-Simons theory.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
M. Khovanov, A categorification of the Jones polynomial, Duke Math. J. 101 (2000) 359 [math.QA/9908171] [INSPIRE].
P. Ozsváth and Z. Szabó, Holomorphic disks and knot invariants, Adv. Math. 186 (2004) 58 [math.GT/0209056].
J. Rasmussen, Floer homology and knot complements, math.GT/0306378.
M. Khovanov, Patterns in knot cohomology I, Experiment. Math. 12 (2003) 365 [math.QA/0201306].
J. Rasmussen, Knot polynomials and knot homologies, in Geometry and topology of manifolds, Fields Institute Communications, vol. 47, American Mathematical Society, Providence U.S.A. (2005), pp. 261-280 [math.GT/0504045].
M. Khovanov and L. Rozansky, Matrix factorizations and link homology, Fund. Math. 199 (2008) 1 [math.QA/0401268].
N.M. Dunfield, S. Gukov and J. Rasmussen, The superpolynomial for knot homologies, math.GT/0505662 [INSPIRE].
M. Khovanov, sl(3) link homology, Algebr. Geom. Topol. 4 (2004) 1045 [math.QA/0304375].
H. Ooguri and C. Vafa, Knot invariants and topological strings, Nucl. Phys. B 577 (2000) 419 [hep-th/9912123] [INSPIRE].
S. Gukov, A.S. Schwarz and C. Vafa, Khovanov-Rozansky homology and topological strings, Lett. Math. Phys. 74 (2005) 53 [hep-th/0412243] [INSPIRE].
E. Gorsky, S. Gukov and M. Stošić, Quadruply-graded colored homology of knots, arXiv:1304.3481 [INSPIRE].
L. Rozansky and H. Saleur, S- and T -matrices for the super U(1, 1) WZW model application to surgery and 3-manifolds invariants based on the Alexander-Conway polynomial, Nucl. Phys. B 389 (1993) 365 [hep-th/9203069] [INSPIRE].
D. Chang, I. Phillips and L. Rozansky, R-matrix approach to quantum superalgebras su q (m||n), J. Math. Phys. 33 (1992) 3710 [hep-th/9207075] [INSPIRE].
L. Rozansky and H. Saleur, Reidemeister torsion, the Alexander polynomial and U(1, 1) Chern-Simons theory, J. Geom. Phys. 13 (1994) 105 [hep-th/9209073] [INSPIRE].
S. Gukov, Gauge theory and knot homologies, Fortschr. Phys. 55 (2007) 473 [arXiv:0706.2369] [INSPIRE].
E. Witten, Fivebranes and knots, arXiv:1101.3216 [INSPIRE].
D.E. Diaconescu, V. Shende and C. Vafa, Large N duality, Lagrangian cycles and algebraic knots, Commun. Math. Phys. 319 (2013) 813 [arXiv:1111.6533] [INSPIRE].
R. Gopakumar and C. Vafa, M-theory and topological strings — I, hep-th/9809187 [INSPIRE].
S. Chun, S. Gukov and D. Roggenkamp, Junctions of surface operators and categorification of quantum groups, arXiv:1507.06318 [INSPIRE].
P. Ozsváth and Z. Szabó, Lectures on Heegaard Floer homology, in Floer homology, gauge theory, and low-dimensional topology, Clay Mathemathics Proceedings, vol. 5, American Mathematical Society, Providence U.S.A. (2006), pp. 29-70.
P. Kronheimer and T. Mrowka, Monopoles and three-manifolds, New Mathematical Monographs, vol. 10, Cambridge University Press, Cambridge U.K. (2007) [https://doi.org/10.1017/CBO9780511543111].
M. Hutchings, Lecture notes on embedded contact homology, in Contact and symplectic topology, Bolyai Society Mathematical Studies, vol. 26, János Bolyai Math. Soc., Budapest Hungary (2014), pp. 389-484 [https://doi.org/10.1007/978-3-319-02036-5_9].
C.H. Taubes, Notes on the Seiberg-Witten equations, the Weinstein conjecture and embedded contact homology, Curr. Dev. Math. 2007 (2009) 221.
J.M. Bloom, Monopole Floer homology, link surgery, and odd Khovanov homology, ProQuest LLC, Ann Arbor U.S.A. (2011).
A. Gadde, S. Gukov and P. Putrov, Fivebranes and 4-manifolds, arXiv:1306.4320 [INSPIRE].
D.A. Ellwood, P.S. Ozsváth, A.I. Stipsicz and Z. Szabó eds., Floer homology, gauge theory, and low-dimensional topology, Clay Mathematics Proceedings, vol. 5, American Mathematical Society, Providence U.S.A. (2006).
T. Dimofte, S. Gukov and L. Hollands, Vortex counting and Lagrangian 3-manifolds, Lett. Math. Phys. 98 (2011) 225 [arXiv:1006.0977] [INSPIRE].
H. Fuji, S. Gukov, M. Stošić and P. Sulkowski, 3d analogs of Argyres-Douglas theories and knot homologies, JHEP 01 (2013) 175 [arXiv:1209.1416] [INSPIRE].
S. Gukov, S. Nawata, I. Saberi, M. Stošić and P. Sulkowski, Sequencing BPS spectra, JHEP 03 (2016) 004 [arXiv:1512.07883] [INSPIRE].
E. Witten, Phases of N = 2 theories in two dimensions, Nucl. Phys. B 403 (1993) 159 [hep-th/9301042] [INSPIRE].
K. Hori et al., Mirror symmetry, Clay Mathematics Monographs, vol. 1, American Mathematical Society, Providence U.S.A. (2003) [INSPIRE].
A. Johansen, Twisting of N = 1 SUSY gauge theories and heterotic topological theories, Int. J. Mod. Phys. A 10 (1995) 4325 [hep-th/9403017] [INSPIRE].
S. Cecotti, D. Gaiotto and C. Vafa, tt ∗ geometry in 3 and 4 dimensions, JHEP 05 (2014) 055 [arXiv:1312.1008] [INSPIRE].
F. Benini and A. Zaffaroni, A topologically twisted index for three-dimensional supersymmetric theories, JHEP 07 (2015) 127 [arXiv:1504.03698] [INSPIRE].
G.W. Moore and N. Seiberg, Classical and quantum conformal field theory, Commun. Math. Phys. 123 (1989) 177 [INSPIRE].
B. Bakalov and A.A. Kirillov, Lectures on tensor categories and modular functors, University Lecture Series, vol. 21, American Mathematical Society, Providence U.S.A. (2001).
M. Blau and G. Thompson, Aspects of N T ≥ 2 topological gauge theories and D-branes, Nucl. Phys. B 492 (1997) 545 [hep-th/9612143] [INSPIRE].
M. Blau and G. Thompson, Euclidean SYM theories by time reduction and special holonomy manifolds, Phys. Lett. B 415 (1997) 242 [hep-th/9706225] [INSPIRE].
M. Blau and G. Thompson, On the relationship between the Rozansky-Witten and the three-dimensional Seiberg-Witten invariants, Adv. Theor. Math. Phys. 5 (2002) 483 [hep-th/0006244] [INSPIRE].
C. Vafa and E. Witten, A strong coupling test of S-duality, Nucl. Phys. B 431 (1994) 3 [hep-th/9408074] [INSPIRE].
T. Dimofte and S. Gukov, Chern-Simons theory and S-duality, JHEP 05 (2013) 109 [arXiv:1106.4550] [INSPIRE].
H. Nakajima, Instantons on ALE spaces, quiver varieties, and Kac-Moody algebras, Duke Math. 76 (1994) 365.
S. Fujii and S. Minabe, A combinatorial study on quiver varieties, math.AG/0510455 [INSPIRE].
U. Bruzzo, M. Pedrini, F. Sala and R.J. Szabo, Framed sheaves on root stacks and supersymmetric gauge theories on ALE spaces, Adv. Math. 288 (2016) 1175 [arXiv:1312.5554] [INSPIRE].
R. Dijkgraaf, L. Hollands, P. Sulkowski and C. Vafa, Supersymmetric gauge theories, intersecting branes and free fermions, JHEP 02 (2008) 106 [arXiv:0709.4446] [INSPIRE].
P. Di Francesco, P. Mathieu and D. Senechal, Conformal field theory, Springer-Verlag, New York U.S.A. (1997) [INSPIRE].
B.S. Acharya and C. Vafa, On domain walls of \( \mathcal{N}=1 \) supersymmetric Yang-Mills in four-dimensions, hep-th/0103011 [INSPIRE].
S. Cecotti, C. Cordova and C. Vafa, Braids, walls and mirrors, arXiv:1110.2115 [INSPIRE].
S. Gukov and D. Pei, Equivariant Verlinde formula from fivebranes and vortices, arXiv:1501.01310 [INSPIRE].
A. Haydys, Fukaya-Seidel category and gauge theory, J. Sympl. Geom. 13 (2015) 151 [arXiv:1010.2353] [INSPIRE].
N.A. Nekrasov, Seiberg-Witten prepotential from instanton counting, Adv. Theor. Math. Phys. 7 (2003) 831 [hep-th/0206161] [INSPIRE].
L. Rozansky and E. Witten, Hyper-Kähler geometry and invariants of three manifolds, Selecta Math. 3 (1997) 401 [hep-th/9612216] [INSPIRE].
V. Mikhaylov and E. Witten, Branes and supergroups, Commun. Math. Phys. 340 (2015) 699 [arXiv:1410.1175] [INSPIRE].
E. Frenkel, S. Gukov and J. Teschner, Surface operators and separation of variables, JHEP 01 (2016) 179 [arXiv:1506.07508] [INSPIRE].
C. Vafa, Brane/anti-brane systems and U(N |M ) supergroup, hep-th/0101218 [INSPIRE].
R. Dijkgraaf, B. Heidendrich, P. Jefferson and C. Vafa, Negative branes, supergroups and the signature of spacetime, to appear.
M. Aganagic and S. Shakirov, Knot homology and refined Chern-Simons index, Commun. Math. Phys. 333 (2015) 187 [arXiv:1105.5117] [INSPIRE].
I. Cherednik, Jones polynomials of torus knots via DAHA, Int. Math. Res. Not. 23 (2013) 5366 [arXiv:1111.6195] [INSPIRE].
S. Gukov and M. Stošić, Homological algebra of knots and BPS states, Proc. Symp. Pure Math. 85 (2012) 125 [arXiv:1112.0030] [INSPIRE].
P. Ozsváth and Z. Szabó, On the Floer homology of plumbed three-manifolds, Geom. Topol. 7 (2003) 185 [math.SG/0203265].
P. Ozsváth and Z. Szabó, Holomorphic disks and three-manifold invariants: properties and applications, Ann. Math. 159 (2004) 1159.
P. Kronheimer, T. Mrowka, P. Ozsváth and Z. Szabó, Monopoles and lens space surgeries, Ann. Math. 165 (2007) 457.
D. Gang, E. Koh, S. Lee and J. Park, Superconformal index and 3d-3d correspondence for mapping cylinder/torus, JHEP 01 (2014) 063 [arXiv:1305.0937] [INSPIRE].
H.-J. Chung, T. Dimofte, S. Gukov and P. Sulkowski, 3d-3d correspondence revisited, JHEP 04 (2016) 140 [arXiv:1405.3663] [INSPIRE].
A. Némethi and L.I. Nicolaescu, Seiberg-Witten invariants and surface singularities, Geom. Topol. 6 (2002) 269 [math.AG/0111298].
D. Belov and G.W. Moore, Classification of Abelian spin Chern-Simons theories, hep-th/0505235 [INSPIRE].
A. Némethi, On the Ozsváth-Szabó invariant of negative definite plumbed 3-manifolds, Geom. Topol. 9 (2005) 991 [math.GT/0310083].
P. Ozsváth and Z. Szabó, Holomorphic disks and topological invariants for closed three-manifolds, Ann. Math. 159 (2004) 1027 [math.SG/0101206].
P. Ozsváth and Z. Szabó, Holomorphic triangles and invariants for smooth four-manifolds, Adv. Math. 202 (2006) 326.
S. Jabuka and T.E. Mark, On the Heegaard Floer homology of a surface times a circle, Adv. Math. 218 (2008) 728 [math.GT/0502328].
T. Dimofte, D. Gaiotto and S. Gukov, Gauge theories labelled by three-manifolds, Commun. Math. Phys. 325 (2014) 367 [arXiv:1108.4389] [INSPIRE].
E. Witten, Solutions of four-dimensional field theories via M-theory, Nucl. Phys. B 500 (1997) 3 [hep-th/9703166] [INSPIRE].
T.T.Q. Le, J. Murakami and T. Ohtsuki, On a universal perturbative invariant of 3-manifolds, Topology 37 (1998) 539.
N. Habegger and G. Thompson, The universal perturbative quantum 3-manifold invariant, Rozansky-Witten invariants and the generalized Casson invariant, math.GT/9911049 [INSPIRE].
G. Meng and C.H. Taubes, SW = Milnor torsion, Math. Res. Lett. 3 (1996) 661.
F. Benini, Y. Tachikawa and D. Xie, Mirrors of 3d Sicilian theories, JHEP 09 (2010) 063 [arXiv:1007.0992] [INSPIRE].
R. Dijkgraaf and E. Witten, Topological gauge theories and group cohomology, Commun. Math. Phys. 129 (1990) 393 [INSPIRE].
M. Mariño, Chern-Simons theory, matrix integrals and perturbative three manifold invariants, Commun. Math. Phys. 253 (2004) 25 [hep-th/0207096] [INSPIRE].
Y. Yoshida and K. Sugiyama, Localization of 3d \( \mathcal{N}=2 \) supersymmetric theories on S 1 × D 2, arXiv:1409.6713 [INSPIRE].
A. Gadde, S. Gukov and P. Putrov, Walls, lines and spectral dualities in 3d gauge theories, JHEP 05 (2014) 047 [arXiv:1302.0015] [INSPIRE].
S. Gukov, D. Pei, P. Putrov and C. Vafa, BPS spectra and 3-manifold invariants, arXiv:1701.06567 [INSPIRE].
K. Hikami, Decomposition of Witten-Reshetikhin-Turaev invariant: linking pairing and modular forms, in Chern-Simons gauge theory: 20 years after, AMS/IP Studies in Advanced Mathematics, American Mathematical Society, Providence U.S.A. (2011), pp. 131-151 [INSPIRE].
K. Hikami, On the quantum invariant for the Brieskorn homology spheres, Int. J. Math. 16 (2005) 661 [math-ph/0405028].
K. Hikami, On the quantum invariants for the spherical Seifert manifolds, Commun. Math. Phys. 268 (2006) 285.
R. Lawrence and D. Zagier, Modular forms and quantum invariants of 3-manifolds, Asian J. Math. 3 (1999) 93.
T. Ohtsuki, A polynomial invariant of rational homology 3-spheres, Invent. Math. 123 (1996) 241.
L. Rozansky, On p-adic properties of the Witten-Reshetikhin-Turaev invariant, math.QA/9806075.
K. Habiro, On the quantum sl2 invariants of knots and integral homology spheres, Geom. Topol. Monogr. 4 (2002) 55 [math.GT/0211044].
E.S. Lee, An endomorphism of the Khovanov invariant, Adv. Math. 197 (2005) 554.
M. Kontsevich and Y. Soibelman, Stability structures, motivic Donaldson-Thomas invariants and cluster transformations, arXiv:0811.2435 [INSPIRE].
T. Dimofte and S. Gukov, Refined, motivic and quantum, Lett. Math. Phys. 91 (2010) 1 [arXiv:0904.1420] [INSPIRE].
R. Gopakumar and C. Vafa, On the gauge theory/geometry correspondence, Adv. Theor. Math. Phys. 3 (1999) 1415 [hep-th/9811131] [INSPIRE].
M. Aganagic, private communication.
A. Kapustin, H. Kim and J. Park, Dualities for 3d theories with tensor matter, JHEP 12 (2011) 087 [arXiv:1110.2547] [INSPIRE].
D. Jafferis and X. Yin, A duality appetizer, arXiv:1103.5700 [INSPIRE].
D. Pei and K. Ye, A 3d-3d appetizer, JHEP 11 (2016) 008 [arXiv:1503.04809] [INSPIRE].
M. Aganagic, A. Klemm, M. Mariño and C. Vafa, Matrix model as a mirror of Chern-Simons theory, JHEP 02 (2004) 010 [hep-th/0211098] [INSPIRE].
N. Halmagyi and V. Yasnov, The spectral curve of the lens space matrix model, JHEP 11 (2009) 104 [hep-th/0311117] [INSPIRE].
A. Brini, L. Griguolo, D. Seminara and A. Tanzini, Chern-Simons theory on L(p, q) lens spaces and Gopakumar-Vafa duality, J. Geom. Phys. 60 (2010) 417 [arXiv:0809.1610] [INSPIRE].
G. Borot and A. Brini, Chern-Simons theory on spherical Seifert manifolds, topological strings and integrable systems, arXiv:1506.06887 [INSPIRE].
M. Aganagic, V. Bouchard and A. Klemm, Topological strings and (almost) modular forms, Commun. Math. Phys. 277 (2008) 771 [hep-th/0607100] [INSPIRE].
M. Bershadsky, S. Cecotti, H. Ooguri and C. Vafa, Holomorphic anomalies in topological field theories, Nucl. Phys. B 405 (1993) 279 [hep-th/9302103] [INSPIRE].
E. Witten, Quantum background independence in string theory, in Salamfest (1993), pp. 257-275 [hep-th/9306122] [INSPIRE].
N. Drukker, M. Mariño and P. Putrov, From weak to strong coupling in ABJM theory, Commun. Math. Phys. 306 (2011) 511 [arXiv:1007.3837] [INSPIRE].
M. Mariño and P. Putrov, ABJM theory as a Fermi gas, JSTAT (2012) P03001 [arXiv:1110.4066] [INSPIRE].
J.P. Gauntlett, O.A.P. Mac Conamhna, T. Mateos and D. Waldram, AdS spacetimes from wrapped M5 branes, JHEP 11 (2006) 053 [hep-th/0605146] [INSPIRE].
C. Manolescu, P. Ozsváth and D. Thurston, Grid diagrams and Heegaard Floer invariants, arXiv:0910.0078.
M. Yamazaki, Brane tilings and their applications, Fortschr. Phys. 56 (2008) 555 [arXiv:0803.4474] [INSPIRE].
A. Strominger, Black hole condensation and duality in string theory, Nucl. Phys. Proc. Suppl. 46 (1996) 204 [hep-th/9510207] [INSPIRE].
S. Benvenuti and S. Pasquetti, 3D-partition functions on the sphere: exact evaluation and mirror symmetry, JHEP 05 (2012) 099 [arXiv:1105.2551] [INSPIRE].
Open Access
This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
ArXiv ePrint: 1602.05302
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Gukov, S., Putrov, P. & Vafa, C. Fivebranes and 3-manifold homology. J. High Energ. Phys. 2017, 71 (2017). https://doi.org/10.1007/JHEP07(2017)071
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP07(2017)071