2 fixed title so it appears nice on the mathoverflow main page

1

# Why is Heegaard Floer Homology defined in terms of $\operatorname{Sym}^g\Sigma_g$ instead of $\operatorname{Pic}^g\Sigma_g$?

Recall the definition of Heegaard Floer homology: $\Sigma_g$ is a closed surface, and $\{\alpha_1,\ldots,\alpha_g\}$ and $\{\beta_1,\ldots,\beta_g\}$ are sets of attaching circles. Then Heegaard Floer homology is (more or less) the Lagrangian intersection Floer homology of $\mathbb T_\alpha=\prod_{i=1}^g\alpha_i$ and $\mathbb T_\beta=\prod_{i=1}^g\beta_i$ in $\operatorname{Sym}^g\Sigma_g$.

Now if we think of $\Sigma_g$ as a complex curve, then there is a birational map $\phi:\operatorname{Sym}^g\Sigma_g\to\operatorname{Pic}^g\Sigma_g$.

What happens if instead we consider the Lagrangian intersection Floer homology of $\phi(\mathbb T_\alpha)$ and $\phi(\mathbb T_\beta)$ inside $\operatorname{Pic}^g\Sigma_g$? Are the resulting groups trivially the same, trivially different, or at least interesting? (if they're not the same, then I guess there may be no good reason why they would even be invariants of the underlying three-manifold).

There is at least one concrete reason (and one philosophical reason) why one might try this definition instead of the original:

1. There are no holomorphic spheres in $\operatorname{Pic}^g\Sigma_g$ (because it is an abelian variety; in fact the map $\phi$ is exactly contracting all the embedded $\mathbb P^n$'s in the symmetric product). This means we don't have to worry about some types of bubbling.

2. $\operatorname{Pic}^g\Sigma_g$ is a complex torus; in particular its topology is very concrete and easy to understand. Also it is perhaps algebrogeometrically more natural than the symmetric product.

3. I could imagine that maybe there is some general statement whereby blowing down all the $\mathbb P^n$'s always does something understandable (perhaps nothing) to the Lagrangian intersection Floer homology.