Group action on spin^c 4-manifold. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T01:17:58Z http://mathoverflow.net/feeds/question/100698 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/100698/group-action-on-spinc-4-manifold Group action on spin^c 4-manifold. Maciej Starostka 2012-06-26T16:33:59Z 2012-06-26T18:23:26Z <p> I'll try to be more precise.</p> <p>In paper N.Nakamura, "Bauerâ€“Furuta invariants under $Z_2$-actions" there is an assumption that $Z_2$ action "lifts to spin^c structure". What i think it means: $Spin^c$ structure is a principal $Spin^c$ bundle $\pi: P \to M$. A lift is (following Gottlieb) an action on $P$ such that $\pi$ is equivariant.</p> <p>1) What are the conditions under which a $Z_2$ action on $M$ lifts?</p> <p>2) What about other groups (different than $Z_2$)?</p> <p>I'll be greatful also for general references on this topic.</p> http://mathoverflow.net/questions/100698/group-action-on-spinc-4-manifold/100707#100707 Answer by Markus Szymik for Group action on spin^c 4-manifold. Markus Szymik 2012-06-26T18:07:18Z 2012-06-26T18:07:18Z <p>This question is discussed to some extent in the following papers.</p> <p>Bauer-Furuta invariants and Galois symmetries<br> <a href="http://dx.doi.org/10.1093/qmath/har021" rel="nofollow">http://dx.doi.org/10.1093/qmath/har021</a></p> <p>Characteristic cohomotopy classes for families of 4-manifolds<br> <a href="http://dx.doi.org/10.1515/forum.2010.027" rel="nofollow">http://dx.doi.org/10.1515/forum.2010.027</a></p> http://mathoverflow.net/questions/100698/group-action-on-spinc-4-manifold/100708#100708 Answer by Ryan Budney for Group action on spin^c 4-manifold. Ryan Budney 2012-06-26T18:23:26Z 2012-06-26T18:23:26Z <p>Thanks for clarifying your question. </p> <p>I rarely think of spin^c structures in terms of principal bundles. A map of a manifold lifts to a map of its principal $SO_n$ bundle if and only if the map is an orientation-preserving isometry. To go the additional step to lift to the principal $spin^c$-bundle you need to preserve the spin^c structure. So depending on how you want to think of spin^c structures there's various ways of thinking about this. </p> <p>One is that a spin^c structure gives you an additional complex line bundle + further data. So your action has to act as a symmetry of this additional line bundle. Checking this is an entirely cohomological computation. On top of that, a spin^c structure means you have a spin structure on the direct sum of your tangent bundle and this complex line bundle. Again, checking your group action preserves this spin structure is cohomological in nature. </p> <p>So if your group action is an involution like in the title of the paper you cite, the existence of the lift boils down to two rather simple cohomological computations. If you think of the spin^c structures on a manifold $M$ as being an affine space, your group acting on the manifold also acts on the set of all spin^c structures on the manifold, and that your particular spin^c structure has to be a fixed-point of this action. </p> <p>If you have a particular example you're interested in it might make sense to just compute in that case. </p>