Other Homology Theories still Count Holes? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T17:08:06Z http://mathoverflow.net/feeds/question/91246 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/91246/other-homology-theories-still-count-holes Other Homology Theories still Count Holes? Chris Gerig 2012-03-15T03:54:20Z 2012-04-08T23:37:49Z <p>This may be a naive question, but since first learning homology I considered it as a tool which counts appropriate holes in your space (on top of orientation and torsion phenomena). Then I was introduced to homology of groups and now Floer/Morse homologies. <strong>Do these homologies still count "holes" in some fashion?</strong><br> In the case of group homology, $H_\ast(G)\cong H_\ast(BG)$, so we can view this homology as a count of holes in the Milnor construction (CW-complex assembled from points in the discrete group with the group structure).<br> In Floer homology we're counting holomorphic curves (flow-lines in Morse homology), but it isn't viewed as having these curves "wrap around holes", so I am not sure if this hole-detecting view of homology breaks down.</p> <p>[]: I will narrow down my question. <strong>Are there instances where I can treat $HF_\ast$ as $H_\ast$ of a particular space?</strong> For instance, I just realized that with nice conditions we have $HF^\ast(L,L)=H^\ast(L)$ in Lagrangian-Floer homology, so here it counts the holes of the Lagrangian submanifold.<br> Thanks to Steven Landsburg's response, we can usually find such a space (but ideally would be looking for something explicit, such as Floer homotopy type with $SH_\ast(T^\ast M)=H_\ast(\mathcal{L}M)$).</p> http://mathoverflow.net/questions/91246/other-homology-theories-still-count-holes/91253#91253 Answer by Steven Landsburg for Other Homology Theories still Count Holes? Steven Landsburg 2012-03-15T06:19:29Z 2012-04-08T23:37:49Z <p>If your homology theory is of the form $H_n(X) = H_n(S(X))$ where $S$ is some functor from your original category to non-negative chain complexes, then the Dold-Kan correspondence gives you a corresponding simplicial abelian group $\Gamma(S(X))$ and hence (by realization) a topological space in which you are "counting holes".</p> http://mathoverflow.net/questions/91246/other-homology-theories-still-count-holes/91258#91258 Answer by Jonny Evans for Other Homology Theories still Count Holes? Jonny Evans 2012-03-15T08:06:02Z 2012-03-15T16:06:20Z <p>Symplectic homology of the cotangent bundle is the homology of loop space (see Viterbo's "Functors and computations in Floer homology" or <a href="http://arxiv.org/abs/math/0408280" rel="nofollow">Abbondandolo-Schwartz</a>).</p> <p>Also, Cohen-Jones-Segal have a paper in the Floer memorial volume which outlines the construction (modulo analytical details of e.g. defining smooth structures on compactified moduli spaces) of a spectrum whose homology recovers a given Floer homology. See <a href="http://arxiv.org/abs/math/0104024" rel="nofollow">early work of Manolescu</a> on the analogous problem in Seiberg-Witten-Floer homology or <a href="http://arxiv.org/abs/0911.3714" rel="nofollow">this paper of Lipyanskiy</a> which extends the Viterbo-Abbondandolo-Schwartz result to the level of Floer bordism.</p> <p>EDIT: I would like to say a little more about this. Cohen-Jones-Segal prove that one can construct a manifold up to homeomorphism from Morse data alone (this shouldn't be too surprising when you remember that any compact manifold admitting a Morse function with two critical points has to be homeomorphic to a sphere). So although it's true (as Steven Landsberg says) that you can construct a space by geometric realisation of a Dold-Kan construction applied to the chain complex used to define homology, it's not clear to me that this will reconstruct the original space you started with (maybe it works up to homotopy?).</p> <p>The idea of Floer homotopy theory is therefore strictly deeper than just 'constructing a space whose homology gives you Floer homology'. It should really give new Floer theoretic invariants (e.g. the work of Barraud and Cornea on the 'quantum' Serre spectral sequence).</p> http://mathoverflow.net/questions/91246/other-homology-theories-still-count-holes/91264#91264 Answer by David Farris for Other Homology Theories still Count Holes? David Farris 2012-03-15T10:33:48Z 2012-03-15T10:33:48Z <p>Similar to the Floer homotopy type results Jonny cites, there are a few recent papers by <a href="http://front.math.ucdavis.edu/1112.3932" rel="nofollow"> Lipshitz-Sarkar </a> on constructing a spectrum whose (singular) homology is Khovanov homology.</p> <p>Besides giving an alternate construction of these various homologies, and the intrinsically interesting question of what spaces/spectra might underlie (or at least be related to) the Floer-theoretic constructions, I think there was some hope that other topological invariants of the spectra (e.g. generalized homology theories) would give new interesting invariants attached to, say, the underlying 3-manifold (in the Seiberg-Witten case). But I don't know whether anything along these lines ever panned out.</p> http://mathoverflow.net/questions/91246/other-homology-theories-still-count-holes/91274#91274 Answer by Liviu Nicolaescu for Other Homology Theories still Count Holes? Liviu Nicolaescu 2012-03-15T12:07:36Z 2012-03-15T12:07:36Z <p>In finite dimensional Floer homology, the connecting trajectory count encodes a more traditional count. Namely the unstable manifolds of the flow define, under certain assumptions, a cellular decomposition of the manifold. The associated cellular chain complex is isomorphic to the Floer complex. The isomorphism associates to each critical point, viewed as an element in the Floer complex, its unstable manifold, regarded as an element of the cellular complex. This interpretation is meaningless in infinite dimensions.</p>