MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

2 corrected spelling in title

# Where are $+$, $-$ and §\infty\infty$in bordered Heegaard-Floer theory? 1 # Where are$+$,$-$and §\infty$ in bordered Heegaard-Floer theory?

Here goes my first MO-question. I've just read Lipshitz, Ozsváth and Thurston's recently updated "A tour of bordered Floer theory". To set the stage let me give two quotes from this paper.

Heegaard Floer homology has several variants; the technically simplest is $\widehat{HF}$, which is sufficient for most of the 3-dimensional applications discussed above. Bordered Heegaard Floer homology, the focus of this paper, is an extension of $\widehat{HF}$ to 3-manifolds with boundary.

[...]

the Heegaard Floer package contains enough information to detect exotic smooth structures on 4-manifolds. For closed 4-manifolds, this information is contained in $HF^+$ and $HF^-$; the weaker invariant $\widehat{HF}$ is not useful for distinguishing smooth structures on closed 4-manifolds.

Since I am mainly interested in closed 4-manifolds, I have not paid too much attention to the developments in bordered Heegaard-Floer thoery. But right from the beginning I have wondered why only $\widehat{HF}$ appears in the bordered context. So my question is:

Why are there no $^+$, $^-$ or $^\infty$ flavors of bordered Heegaard-Floer theory? Are the reasons of technical nature or is there an explanation that the theory cannot give more than $\widehat{HF}$?

I assume there are issues with the moduli spaces of holomorphic curves that would be relevant to defining bordered versions of the other flavors of Heegaard-Floer theory, but I am neither enough of an expert on holomorphic curves to immediately see the problems nor could I find anything in the literature that pins down the problems.

Any information is very much appreciated.