How to compute the Monopole Floer Homology for Surface $\times S^1$ ? - MathOverflow most recent 30 from http://mathoverflow.net2013-05-24T23:08:07Zhttp://mathoverflow.net/feeds/question/94724http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/94724/how-to-compute-the-monopole-floer-homology-for-surface-times-s1How to compute the Monopole Floer Homology for Surface $\times S^1$ ?juliuslin2012-04-21T08:48:40Z2012-04-30T15:02:58Z
<p>We know that Monopole Floer homology of a 3-manifold $M$ depends on a spin-c structure. My question is that if $M$ is $F\times S^1$ ($F$ is a surface of genus larger than 1) then how can we compute the Floer homology for it?</p>
<p>For the spin-c structures satisfying $\langle c_1(L),F\rangle>2g-2$ ($L$ is the determinant bundle of the spin-c structure,$g$ is the genus of $F$), Kronheimer and Mrowka prove that the Floer homology vanishes. They also proved that if $\langle c_1(L),F\rangle=2g-2$ then the Floer homology is $\mathbb{Z}$. But what about the other spin-c structure (when $\langle c_1(L),F\rangle<2g-2$)?</p>
<p>Also, what is the answer for this question if we consider Heegaard Floer Homology instead of Monopole Floer Homology?</p>
http://mathoverflow.net/questions/94724/how-to-compute-the-monopole-floer-homology-for-surface-times-s1/95580#95580Answer by Tye Lidman for How to compute the Monopole Floer Homology for Surface $\times S^1$ ?Tye Lidman2012-04-30T15:02:58Z2012-04-30T15:02:58Z<p>I would assume you are interested in $HM$-to as opposed to $HM$-bar ($HM$-bar is mostly computed in the book Monopoles and 3-manifolds by Kronheimer and Mrowka). For the case of $HM$-to, you should use (as answered above) that monopole is isomorphic to Heegaard Floer (Kutluhan-Lee-Taubes or Taubes + Colin-Ghiggini-Honda). </p>
<p>If you want the trivial torsion Spin$^c$ structure, this is computed by Jabuka and Mark:
<a href="http://arxiv.org/pdf/math/0502328v4.pdf" rel="nofollow">http://arxiv.org/pdf/math/0502328v4.pdf</a></p>
<p>This paper also has the references to the earlier computations for the other Spin$^c$ structures, done by Ozsvath and Szabo.</p>