Chord diagrams, contact-topological quantum field theory and contact categories

Mathews, Daniel¹

¹Department of Mathematics, Boston College, 301 Carney Hall, Chestnut Hill MA 02467-3806, USA

Algebraic and Geometric Topology, Tome 10 (2010) no. 4, pp. 2091-2189

Résumé

We consider contact elements in the sutured Floer homology of solid tori with longitudinal sutures, as part of the (1+1)–dimensional topological quantum field theory defined by Honda, Kazez and Matić in [arXiv:0807.2431]. The ℤ2 SFH of these solid tori forms a “categorification of Pascal’s triangle”, and contact structures correspond bijectively to chord diagrams, or sets of disjoint properly embedded arcs in the disc. Their contact elements are distinct and form distinguished subsets of SFH of order given by the Narayana numbers. We find natural “creation and annihilation operators” which allow us to define a QFT–type basis of each SFH vector space, consisting of contact elements. Sutured Floer homology in this case reduces to the combinatorics of chord diagrams. We prove that contact elements are in bijective correspondence with comparable pairs of basis elements with respect to a certain partial order, and in a natural and explicit way. The algebraic and combinatorial structures in this description have intrinsic contact-topological meaning.

In particular, the QFT–basis of SFH and its partial order have a natural interpretation in pure contact topology, related to the contact category of a disc: the partial order enables us to tell when the sutured solid cylinder obtained by “stacking” two chord diagrams has a tight contact structure. This leads us to extend Honda’s notion of contact category to a “bounded” contact category, containing chord diagrams and contact structures which occur within a given contact solid cylinder. We compute this bounded contact category in certain cases. Moreover, the decomposition of a contact element into basis elements naturally gives a triple of contact structures on solid cylinders which we regard as a type of “distinguished triangle” in the contact category. We also use the algebraic structures arising among contact elements to extend the notion of contact category to a 2–category.

Détail

DOI : 10.2140/agt.2010.10.2091

Keywords: sutured Floer homology, TQFT

Bibliographie

[1] M Aigner, Enumeration via ballot numbers, Discrete Math. 308 (2008) 2544

[2] J C Baez, An introduction to $n$–categories, from: "Category theory and computer science (Santa Margherita Ligure, 1997)" (editors E Moggi, G Rosolini), Lecture Notes in Comput. Sci. 1290, Springer (1997) 1

[3] S Benchekroun, P Moszkowski, A bijective proof of an enumerative property of legal bracketings, Discrete Math. 176 (1997) 273

[4] M Bóna, B E Sagan, On divisibility of Narayana numbers by primes, J. Integer Seq. 8 (2005)

[5] F Chapoton, A Frabetti, From quantum electrodynamics to posets of planar binary trees

[6] T Došlić, D Svrtan, D Veljan, Enumerative aspects of secondary structures, Discrete Math. 285 (2004) 67

[7] J B Etnyre, Introductory lectures on contact geometry, from: "Topology and geometry of manifolds (Athens, GA, 2001)" (editors G Matić, C McCrory), Proc. Sympos. Pure Math. 71, Amer. Math. Soc. (2003) 81

[8] S Fomin, N Reading, Root systems and generalized associahedra, from: "Geometric combinatorics" (editors E Miller, V Reiner, B Sturmfels), IAS/Park City Math. Ser. 13, Amer. Math. Soc. (2007) 63

[9] A Frabetti, Simplicial properties of the set of planar binary trees, J. Algebraic Combin. 13 (2001) 41

[10] A Frabetti, Groups of tree-expanded series, J. Algebra 319 (2008) 377

[11] S I Gelfand, Y I Manin, Homological algebra, Springer (1999)

[12] E Giroux, Convexité en topologie de contact, Comment. Math. Helv. 66 (1991) 637

[13] E Giroux, Structures de contact en dimension trois et bifurcations des feuilletages de surfaces, Invent. Math. 141 (2000) 615

[14] E Giroux, Structures de contact sur les variétés fibrées en cercles audessus d'une surface, Comment. Math. Helv. 76 (2001) 218

[15] E Giroux, Géométrie de contact: de la dimension trois vers les dimensions supérieures, from: "Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002)", Higher Ed. Press (2002) 405

[16] F Hivert, J C Novelli, J Y Thibon, Commutative combinatorial Hopf algebras, J. Algebraic Combin. 28 (2008) 65

[17] K Honda, Contact structures, Heegaard Floer homology and triangulated categories, in preparation

[18] K Honda, On the classification of tight contact structures. I, Geom. Topol. 4 (2000) 309

[19] K Honda, On the classification of tight contact structures. II, J. Differential Geom. 55 (2000) 83

[20] K Honda, Factoring nonrotative $T^2\times I$ layers. Erratum: “On the classification of tight contact structures. I” [Geom. Topol. \bf4 (2000), 309–368; MR1786111], Geom. Topol. 5 (2001) 925

[21] K Honda, Gluing tight contact structures, Duke Math. J. 115 (2002) 435

[22] K Honda, $3$–dimensional methods in contact geometry, from: "Different faces of geometry" (editors S Donaldson, Y Eliashberg, M Gromov), Int. Math. Ser. 3, Kluwer/Plenum (2004) 47

[23] K Honda, The topology and geometry of contact structures in dimension three, from: "International Congress of Mathematicians. Vol. II", Eur. Math. Soc., Zürich (2006) 705

[24] K Honda, W H Kazez, G Matić, Contact structures, sutured Floer homology and TQFT

[25] K Honda, W H Kazez, G Matić, Tight contact structures on fibered hyperbolic $3$–manifolds, J. Differential Geom. 64 (2003) 305

[26] K Honda, W H Kazez, G Matić, Pinwheels and bypasses, Algebr. Geom. Topol. 5 (2005) 769

[27] K Honda, W H Kazez, G Matić, Right-veering diffeomorphisms of compact surfaces with boundary, Invent. Math. 169 (2007) 427

[28] K Honda, W H Kazez, G Matić, Right-veering diffeomorphisms of compact surfaces with boundary. II, Geom. Topol. 12 (2008) 2057

[29] K Honda, W H Kazez, G Matić, The contact invariant in sutured Floer homology, Invent. Math. 176 (2009) 637

[30] K Honda, W H Kazez, G Matić, On the contact class in Heegaard Floer homology, J. Differential Geom. 83 (2009) 289

[31] F K Hwang, C L Mallows, Enumerating nested and consecutive partitions, J. Combin. Theory Ser. A 70 (1995) 323

[32] A Juhász, Holomorphic discs and sutured manifolds, Algebr. Geom. Topol. 6 (2006) 1429

[33] A Juhász, Floer homology and surface decompositions, Geom. Topol. 12 (2008) 299

[34] W H Kazez, A cut-and-paste approach to contact topology, Bol. Soc. Mat. Mexicana $(3)$ 10 (2004) 1

[35] J L Loday, M O Ronco, Hopf algebra of the planar binary trees, Adv. Math. 139 (1998) 293

[36] J C Novelli, J Y Thibon, Hopf algebras and dendriform structures arising from parking functions, Fund. Math. 193 (2007) 189

[37] P Ozsváth, Z Szabó, Holomorphic disks and three-manifold invariants: properties and applications, Ann. of Math. $(2)$ 159 (2004) 1159

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

[39] P Ozsváth, Z Szabó, Heegaard Floer homology and contact structures, Duke Math. J. 129 (2005) 39

[40] P Ozsváth, Z Szabó, Heegaard diagrams and Floer homology, from: "International Congress of Mathematicians. Vol. II" (editors M Sanz-Solé, J Soria, J L Varona, J Verdera), Eur. Math. Soc. (2006) 1083

[41] R A Sulanke, Moments, Narayana numbers, and the cut and paste for lattice paths, J. Statist. Plann. Inference 135 (2005) 229

[42] L K Williams, Enumeration of totally positive Grassmann cells, Adv. Math. 190 (2005) 319

[43] F Yano, H Yoshida, Some set partition statistics in non-crossing partitions and generating functions, Discrete Math. 307 (2007) 3147