The title says it all. I am interested in the relationship between the theories 1. Lagrangian Floer homology, as described in [this paper][1], and 2. Heegard Floer homology, as described in [this paper][2]. In Heegard Floer, from a Heegard diagram for a closed oriented three-manifold $Y$, one forms the smooth manifold $\text{Sym}^g(\Sigma)$ and subspaces $\mathbb{T}_{\alpha},\mathbb{T}_{\beta}$. I know that $\text{Sym}^g(\Sigma)$ is a symplectic manifold, of which $\mathbb{T}_{\alpha}$ and $\mathbb{T}_{\beta}$ are Lagrangian submanifolds. Hence, one can take Lagrangian Floer homology. For some reason, it was my understanding that Heegard Floer Homology is precisely the Lagrangian Floer Homology of $M=\text{Sym}^g(\Sigma), L_0=\mathbb{T}_{\alpha},L_1=\mathbb{T}_{\beta}$. But I'm not sure about this, since the authors of paper 2. seem to construct their own chain complex and differential from scratch using several new ideas (albiet the story is much in the same vein as how one constructs Lagrangian Floer). In particular, nowhere in the paper is there any mention of the action functional. My question: - Is Heegard Floer homology precisely the Lagrangian Floer homology of $M=\text{Sym}^g(\Sigma), L_0=\mathbb{T}_{\alpha},L_1=\mathbb{T}_{\beta}$? - If so, is this supposed to be apparent from paper 2. or is there another paper where this is proven? - If not, what would taking the Lagrangian Floer homology of $M=\text{Sym}^g(\Sigma), L_0=\mathbb{T}_{\alpha},L_1=\mathbb{T}_{\beta}$ give you? In what ways specifically is this different from the graded vector spaces one gets from Heegard Floer? [1]: https://arxiv.org/abs/1701.02293 [2]: https://web.math.princeton.edu/~petero/Introduction.pdf