Borel localization with Mayer-Vietoris sequence - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T08:59:47Z http://mathoverflow.net/feeds/question/119334 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/119334/borel-localization-with-mayer-vietoris-sequence Borel localization with Mayer-Vietoris sequence MiliskWall 2013-01-19T14:27:12Z 2013-01-19T15:44:33Z <p>We have this theorem: Let $U$, $V$ two open sets of manifold $M$, ($U \cup V = M$). If they are $G$ -stable the induced sequence in cohomology</p> <p>$$\cdots \to H^k_G (U \cup V) \to H^k_{G}(U)\oplus H^k_G(V) \to H^k_{G}(U \cap V) \to H^{k+1}_{G}(U \cup V) \to \cdots$$</p> <p>is exact. There is a Borel localization theorem: Let $M$ a compact manifold equipped with a $G$- action ($G$ is a compact Lie group). Let $i:F \rightarrow M$ denote the inclusion of the $G$-fixed point set of $M$ in $M$ of the set of $M$. Then </p> <p>$$i^{*}: H^\bullet_G(M) \to H^\bullet_G(F) \simeq H^\bullet(F) \otimes H^\bullet_{G}(pt)$$ is an isomorfism modulo $H^{*}_{pt}(G)$-torsion.</p> <p>Is there a way to give a proof of Borel localization theorem using equivariant Mayer-Vietoris theorem? Is there a good (concrete) example in which the torsion is essential to have isomorfism? (when $H^\bullet_{G}(pt)$ is a polinomial ring...)</p> http://mathoverflow.net/questions/119334/borel-localization-with-mayer-vietoris-sequence/119338#119338 Answer by Liviu Nicolaescu for Borel localization with Mayer-Vietoris sequence Liviu Nicolaescu 2013-01-19T15:27:12Z 2013-01-19T15:27:12Z <p>A while back I taught a class on Morse theory where, among other things, I presented the Atiyah-Bott localization theorem in the special case of $S^1$. (I did not want to use more sophisticated commutative algebra.) In particular, the key argument in the proof is the Mayer-Vietoris theorem. For details, see Section 3.5 of <a href="http://www3.nd.edu/~lnicolae/morseS.pdf" rel="nofollow">these course notes</a>. The Mayer-Vietoris theorem appears crucially in Lemma 3.65.</p> <p>The original source (Atiyah &amp; Bott's paper) is in my view still the best place to learn about this. Borel's <em>Seminar on Transformation groups</em> (precise reference in the above course notes) is also a source I found very helpful.</p> http://mathoverflow.net/questions/119334/borel-localization-with-mayer-vietoris-sequence/119340#119340 Answer by Gregory Arone for Borel localization with Mayer-Vietoris sequence Gregory Arone 2013-01-19T15:44:33Z 2013-01-19T15:44:33Z <p>Regarding your last question: torsion is essential whenever the map $M^G \to M$ (inclusion of fixed points) fails to induce an isomorphism on equivariant cohomology (as opposed to isomorphism mod torsion). Probably the simplest example is given by the standard action of $S^1$ on $S^2$ with two fixed points. The inclusion of fixed points is the map $S^0 \to S^2$. The induced map on Borel constructions is equivalent to the map ${\mathbb C}P^\infty \coprod {\mathbb C}P^\infty \to {\mathbb C}P^\infty \vee {\mathbb C}P^\infty$, which is not a rational cohomology isomorphism.</p> <p>Regarding your first question, Meyer-Vietoris sequence plays an important role in the proof, but it is not, I think, the entire proof. Basically, it is used to reduce the theorem to the following assertion: For a proper subgroup $H$ of $G$, the cohomology of $BH$ is a torsion module over $H^*(BG)$. </p>