A combinatorial description of the Heegaard Floer contact invariant (Q2464787): Difference between revisions

A recent development in the theory of Heegaard Floer homology is to give a purely combinatorial description of it. Heegaard Floer homology \(\hat{HF}(Y)\) of a three manifold \(Y\) admits a combinatorial description by choosing particular Heegaard diagrams where almost all the domains of holomorphic disks are squares or bigons admitting unique holomorphic representatives. For a contact three manifold \((Y, \xi)\), Ozsváth and Szabó introduced an invariant \(c(\xi)\) in \( \hat{HF}(-Y)\), whose non-vanishing implies that \(\xi\) is tight. It is defined via an open book decomposition of \((Y,\xi)\), and there is an alternative geometric description of \(c(\xi)\) by Honda-Kazez-Matić. This paper computes \(c(\xi)\) in a combinatorial fashion, by using the latter description and applying the Saker-Wang algorithm. Let \((S,h)\) be an open book decomposition for the contact manifold \((Y, \xi)\). The main theorem states that there exists an open book \((S,h')\) for \( (Y,\xi)\) such that a certain Heegaard diagram described concretely has only bigon and square regions (except for the polygonal region \(D_0 \subset S_{1/2}\)). The monodromy \(h'\) differes from the given \(h\) by an isotopy.