Related papers: Decategorified Heegaard Floer theory and actions o…
Inspired by Kronheimer and Mrowka's approach to monopole Floer homology, we develop a model for $\mathbb{Z}/2$-equivariant symplectic Floer theory using equivariant almost complex structures, which admits a localization map to a twisted…
Starting from a Heegaard splitting of a three-manifold, we use Lagrangian Floer homology to construct a three-manifold invariant, in the form of a relatively Z/8-graded abelian group. Our motivation is to have a well-defined symplectic side…
We introduce a contact invariant in the bordered sutured Heegaard Floer homology of a three-manifold with boundary. The input for the invariant is a contact manifold $(M, \xi, \mathcal{F})$ whose convex boundary is equipped with a signed…
Using bordered Floer theory, we construct an invariant $\widehat{\mathit{HFO}}(Y^{\text{orb}})$ for $3$-orbifolds $Y^{\text{orb}}$ with singular set a knot that generalizes the hat flavor $\widehat{\mathit{HF}}(Y)$ of Heegaard Floer…
Inspired by the Ozsv\'ath-Szab\'o mixed invariant in ordinary Heegaard Floer theory, we define a mixed invariant $\Phi_{X, \mathfrak{s}}^{I}$ for closed, spin four-manifolds $(X, \mathfrak{s})$ using the cobordism maps on involutive…
Bordered Heegaard Floer homology is an invariant for 3-manifolds, which associates to a surface F an algebra A(F), and to a 3-manifold Y with boundary, together with an orientation-preserving diffeomorphism from F to the boundary of Y, a…
It has been a central open problem in Heegaard Floer theory whether cobordisms of links induce homomorphisms on the associated link Floer homology groups. We provide an affirmative answer by introducing a natural notion of cobordism between…
We describe the construction of an $\mathcal{A}_\infty$ multi-module in terms of counts of holomorphic polygons in a series Heegaard multi-diagrams. We show that this is quasi-isomorphic to the type-A bordered-sutured invariant of a link…
We present a general framework for TQFT and related constructions using the language of monoidal categories. We construct a topological category C and an algebraic category D, both monoidal, and a TQFT functor is then defined as a certain…
We compare two different types of mapping class invariants: the Hochschild homology of an $A_\infty$ bimodule coming from bordered Heegaard Floer homology, and fixed point Floer cohomology. We first compute the bimodule invariants and their…
We develop the 2-representation theory of the odd one-dimensional super Lie algebra $gl(1|1)^+$ and show it controls the Heegaard-Floer theory of surfaces of Lipshitz, Ozsv\'ath and Thurston. Our main tool is the construction of a tensor…
Fix a 3-manifold $Y$ with boundary $F\amalg F$ and an orientation-preserving involution $\tau: Y\to Y$ exchanging the boundary components, with nonempty fixed set. To an appropriate kind of Heegaard diagram for $Y$, we describe how to…
This paper gives a geometric interpretation of bordered Heegaard Floer homology for manifolds with torus boundary. If $M$ is such a manifold, we show that the type D structure $\widehat{\mathit{CFD}}$ may be viewed as a set of immersed…
We generalize the BF theory action to the case of a general Lie crossed module $(H \to G)$, where $G$ and $H$ are non-abelian Lie groups. Our construction requires the existence of $G$-invariant non-degenerate bilinear forms on the Lie…
There is a generalization of Heegaard-Floer theory from ${\mathfrak{gl}}_{1|1}$ to other Lie (super)algebras $^L{\mathfrak{g}}$. The corresponding category of A-branes is solvable explicitly and categorifies quantum $U_q(^L{\mathfrak{g}})$…
Given a Liouville manifold $M$, we introduce an invariant of $M$ that we call the Heegaard Floer symplectic cohomology $SH^*_\kappa(M)$ for any $\kappa \ge 1$ that coincides with the symplectic cohomology for $\kappa=1$. Writing $\hat{M}$…
We equip the basic local crossing bimodules in Ozsv\'ath-Szab\'o's theory of bordered knot Floer homology with the structure of 1-morphisms of 2-representations, categorifying the $U_q(\mathfrak{gl}(1|1)^+)$-intertwining property of the…
We show that the graph TQFT for Heegaard Floer homology satisfies a strong version of Atiyah's duality axiom for a TQFT. As an application, we compute some Heegaard Floer mixed invariants of 4-dimensional mapping tori in terms of Lefschetz…
We consider the derived categories of modules over a certain family A_m of graded rings, and Floer cohomology of Lagrangian intersections in the symplectic manifolds which are the Milnor fibres of simple singularities of type A_m. We show…
Using the conjugation symmetry on Heegaard Floer complexes, we define a three-manifold invariant called involutive Heegaard Floer homology, which is meant to correspond to $\mathbb{Z}_4$-equivariant Seiberg-Witten Floer homology. Further,…