Bimodules in bordered Heegaard Floer homology

Lipshitz, Robert¹ ; Ozsváth, Peter S² ; Thurston, Dylan P³

¹ Department of Mathematics, Columbia University, MC 4425, 2990 Broadway, New York, NY 10027, USA
² Department of Mathematics, Princeton University, Fine Hall, Washington Road, Princeton, NY 08540, USA
³ Department of Mathematics, Indiana University, 831 E Third St, Bloomington, NY 47405, USA

Geometry & topology, Tome 19 (2015) no. 2, pp. 525-724.

Résumé

Bordered Heegaard Floer homology is a three-manifold invariant which associates to a surface $F$ an algebra $\mathcal{A}\left(F\right)$ and to a three-manifold $Y$ with boundary identified with $F$ a module over $\mathcal{A}\left(F\right)$. In this paper, we establish naturality properties of this invariant. Changing the diffeomorphism between $F$ and the boundary of $Y$ tensors the bordered invariant with a suitable bimodule over $\mathcal{A}\left(F\right)$. These bimodules give an action of a suitably based mapping class group on the category of modules over $\mathcal{A}\left(F\right)$. The Hochschild homology of such a bimodule is identified with the knot Floer homology of the associated open book decomposition. In the course of establishing these results, we also calculate the homology of $\mathcal{A}\left(F\right)$. We also prove a duality theorem relating the two versions of the $3$–manifold invariant. Finally, in the case of a genus-one surface, we calculate the mapping class group action explicitly. This completes the description of bordered Heegaard Floer homology for knot complements in terms of the knot Floer homology.

Détail

DOI : 10.2140/gt.2015.19.525

Classification : 57R57, 53D40
Keywords: Floer homology, $3$–manifolds, Heegaard diagrams, mapping class group, Hochschild homology

Bibliographie

[1] J E Andersen, A J Bene, R C Penner, Groupoid extensions of mapping class representations for bordered surfaces, Topology Appl. 156 (2009) 2713

[2] J C Baez, A D Lauda, Higher-dimensional algebra, V: $2$–groups, Theory Appl. Categ. 12 (2004) 423

[3] J Bénabou, Introduction to bicategories, from: "Reports of the Midwest Category Seminar", Springer (1967) 1

[4] A J Bene, A chord diagrammatic presentation of the mapping class group of a once bordered surface, Geom. Dedicata 144 (2010) 171

[5] J Bernstein, V Lunts, Equivariant sheaves and functors, Lecture Notes in Math. 1578, Springer (1994)

[6] A Björner, M Wachs, Bruhat order of Coxeter groups and shellability, Adv. in Math. 43 (1982) 87

[7] A I Bondal, M M Kapranov, Framed triangulated categories, Mat. Sb. 181 (1990) 669

[8] J B Etnyre, Lectures on open book decompositions and contact structures, from: "Floer homology, gauge theory and low-dimensional topology" (editors D A Ellwood, P S Ozsváth, A I Stipsicz, Z Szabó), Clay Math. Proc. 5, Amer. Math. Soc. (2006) 103

[9] N Ganter, M Kapranov, Representation and character theory in $2$–categories, Adv. Math. 217 (2008) 2268

[10] H Geiges, An introduction to contact topology, Cambridge Studies in Adv. Math. 109, Cambridge Univ. Press (2008)

[11] B Keller, A brief introduction to $A$–infinity algebras

[12] B Keller, Koszul duality and coderived categories (after K Lefévre)

[13] B Keller, Introduction to $A$–infinity algebras and modules, Homology Homotopy Appl. 3 (2001) 1

[14] B Keller, On differential graded categories, from: "International Congress of Mathematicians, Vol. II" (editors M Sanz-Solé, J Soria, J L Varona, J Verdera), Eur. Math. Soc. (2006) 151

[15] M Khovanov, Link homology and categorification, from: "International Congress of Mathematicians, Vol. II" (editors M Sanz-Solé, J Soria, J L Varona, J Verdera), Eur. Math. Soc. (2006) 989

[16] M Khovanov, R Thomas, Braid cobordisms, triangulated categories, and flag varieties, Homology Homotopy Appl. 9 (2007) 19

[17] M Kontsevich, Homological algebra of mirror symmetry, from: "Proceedings of the International Congress of Mathematicians, Vol. $1$, $2$" (editor S D Chatterji), Birkhäuser (1995) 120

[18] M Kontsevich, Y Soibelman, Homological mirror symmetry and torus fibrations, from: "Symplectic geometry and mirror symmetry" (editors K Fukaya, Y G Oh, K Ono, G Tian), World Scientific (2001) 203

[19] K Lefèvre-Hasegawa, Sur les $A_{\infty}$ catégories, PhD thesis, Université Denis Diderot (2003)

[20] R Lipshitz, P S Ozsváth, D P Thurston, Computing $\widehat{\mathit{HF}}$ by factoring mapping classes,

[21] R Lipshitz, P S Ozsváth, D P Thurston, Bordered Heegaard Floer homology: Invariance and pairing, (2011)

[22] R Lipshitz, P S Ozsváth, D P Thurston, Heegaard Floer homology as morphism spaces, Quantum Topol. 2 (2011) 381

[23] R Lipshitz, P S Ozsváth, D P Thurston, A faithful linear-categorical action of the mapping class group of a surface with boundary, J. Eur. Math. Soc. $($JEMS$)$ 15 (2013) 1279

[24] J L Loday, The diagonal of the Stasheff polytope, from: "Higher structures in geometry and physics" (editors A S Cattaneo, A Giaquinto, P Xu), Progr. Math. 287, Springer (2011) 269

[25] S Mac Lane, Categories for the working mathematician, Graduate Texts in Math. 5, Springer (1998)

[26] M Markl, S Shnider, Associahedra, cellular $W$–construction and products of $A_\infty$–algebras, Trans. Amer. Math. Soc. 358 (2006) 2353

[27] C Năstăsescu, F Van Oystaeyen, Methods of graded rings, Lecture Notes in Math. 1836, Springer (2004)

[28] P S Ozsváth, Z Szabó, Holomorphic disks and knot invariants, Adv. Math 186 (2004) 58

[29] P S Ozsváth, Z Szabó, Holomorphic disks and topological invariants for closed three-manifolds, Ann. of Math. 159 (2004) 1027

[30] P S Ozsváth, Z Szabó, Holomorphic triangles and invariants for smooth four-manifolds, Adv. Math. 202 (2006) 326

[31] R C Penner, The decorated Teichmüller space of punctured surfaces, Comm. Math. Phys. 113 (1987) 299

[32] S B Priddy, Koszul resolutions, Trans. AMS 152 (1970) 39

[33] S Saneblidze, R Umble, Diagonals on the permutahedra, multiplihedra and associahedra, Homology Homotopy Appl. 6 (2004) 363

[34] P Seidel, Graded Lagrangian submanifolds, Bull. Soc. Math. France 128 (2000) 103

[35] P Seidel, Fukaya categories and deformations, from: "Proceedings of the International Congress of Mathematicians, Vol. II" (editor T Li), Higher Ed. Press (2002) 351

[36] P Seidel, Fukaya categories and Picard–Lefschetz theory, Zurich Lectures in Advanced Math., Eur. Math. Soc. (2008)