Wanted: differential coming from higher genus surface in Heegaard Floer Homology - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T12:07:35Z http://mathoverflow.net/feeds/question/90874 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/90874/wanted-differential-coming-from-higher-genus-surface-in-heegaard-floer-homology Wanted: differential coming from higher genus surface in Heegaard Floer Homology unknown (google) 2012-03-11T03:43:22Z 2012-04-02T04:20:28Z <p>I am interested in studying moduli of complex surfaces which arise in computing the differential on the Heegaard Floer Homology chain complex. In particular, I am interested in the generic case, when the holomorphic discs in $\operatorname{Sym}^g\Sigma$ are as "bad" as possible. I have searched online for some examples of "generic"/"complicated" Whitney disks in the symmetric product, but most papers I see deal with special cases (namely where one can see by inspection and the Riemann mapping theorem that certain homotopy classes of Whitney disks are uniquely representable by holomorphic disks).</p> <p>To elaborate on what I mean by "complicated" holomorphic disks, let's recall a certain (now standard) perspective on the Whitney disks. If we have a holomorphic disk $\phi:\mathbb D^2\to\operatorname{Sym}^g\Sigma$, then we can consider the fiber product: <code>$$\begin{matrix} S&amp;\xrightarrow{\tilde\phi}&amp;\Sigma\times\operatorname{Sym}^{g-1}\Sigma\cr \downarrow&amp; &amp;\downarrow\cr \mathbb D^2&amp;\xrightarrow\phi &amp;\operatorname{Sym}^g\Sigma \end{matrix}$$</code> Then $S\to\mathbb D^2$ is a $g$-fold ramified cover (and the fiber over a point $p\in\mathbb D^2$ is "the $g$ points in $\Sigma$ given by $\phi(p)$"). Thus another way of viewing holomorphic disks in $\operatorname{Sym}^g\Sigma$ is as $g$-fold ramified maps $S\to\mathbb D^2$ along with a map $S\to\Sigma$. Thus, even though we consider only disks mapping to $\operatorname{Sym}^g\Sigma$, moduli spaces of more complicated Riemann surfaces naturally come in to play in Heegaard Floer Homology as moduli of the ramified cover $S$.</p> <p>I am interested in the following "complicated" behaviour of $S$ and of the map $\tilde\phi:S\to\Sigma$:</p> <ol> <li><p>Can the map $S\to\Sigma$ fail to be an immersion? (I believe the answer is yes; in fact I think I know where to look for more information on this, I just haven't followed up on it yet).</p></li> <li><p>In general, what do the "slits" or "cuts" along the $\alpha$ and $\beta$ curves look like in $S$, and how does $S$ degenerate as these slits vary in length? Do the slits ever interact with each other (e.g. by colliding), or do they all give "independent" degenerations of $S$? (this is a bit vague, but if someone has an enlightening example, I'd really like to see it)</p></li> <li><p><strong>Can $S$ have positive genus?</strong> This is the question I'm really most interested in. I have on good authority that the answer is yes, so actually what I really want is an example where $S$ has positive genus and contributes to the differential (or at least has Maslov index one).</p></li> </ol> http://mathoverflow.net/questions/90874/wanted-differential-coming-from-higher-genus-surface-in-heegaard-floer-homology/92564#92564 Answer by Dylan Thurston for Wanted: differential coming from higher genus surface in Heegaard Floer Homology Dylan Thurston 2012-03-29T13:16:06Z 2012-04-02T04:20:28Z <ol> <li><p>Yes, $S \to \Sigma$ can fail to be an immersion. The failure is a branch point of the map $S \to \Sigma$, since it is (close to) a holomorphic map. This is fairly common as soon as the multiplicity of some region in $\Sigma$ gets higher than $1$. Of course, in the simple examples you can actually compute, this tends not to happen.</p></li> <li><p>A "slit" along the $\alpha$ or $\beta$ curves looks like a perfectly ordinary piece of the boundary upstairs in $S$, including at the end of the slit. It's best to think about the end of the slit as a boundary branch point, looking locally like the map $z \to z^2$ restricted to the upper half-plane in the domain. Slits cannot collide, due to boundary monotonicity: above each point on $\partial \mathbb{D}^2$, the $g$ different points map to distinct $\alpha$-curves. I don't know what you mean by "independent" degenerations, sorry....</p></li> <li><p>Yes, higher genus images can happen, and it's not too hard to construct examples that are forced by gluing, although again in most cases where you're able to compute Heegaard Floer homology by directly counting curves it does not. The index formula in Corollary 4.3 of Lipshitz's paper "<a href="http://front.math.ucdavis.edu/0502.5404" rel="nofollow">A cylindrical reformulation of Heegaard Floer homology</a>" will let you easily construct examples of high genus surface with index 1, and a little more playing around should let you see that some of these must actually have representatives.</p></li> </ol>