Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose $M \xrightarrow{p} X$ is a surjective submersion of smooth manifolds. Define the fibered product in this case: $$M \times_X M = \{ (m_1, m_2) \in M \times M | p(m_1) = p(m_2) \}$$ and let $U = \coprod\limits_{\alpha}U_{\alpha}$ such that $\bigcup\limits_{\alpha}U_{\alpha} = M$. Then we have an induced map $U \xrightarrow{\pi}X$ and the following diagram: $$U \times_X U \times_X U \xrightarrow{\pi_{12}, \pi_{23}, \pi_{13}} U \times_X U \xrightarrow{\pi_{1}, \pi_{2}} U \xrightarrow{\pi} X$$ (please excuse my notation on the multiple arrows, I don't know how to nicely tex that in here.) I am looking for a version of Mayer-Vietoris on differential forms induced by this diagram. Perhaps I can split it into two diagrams (the left three and the right three) and that would still be sufficient. The notes by Moerdijk I am reading through used Bott-Tu as a reference but I couldn't find anything useful in there. If I need to generate my own spectral sequence, that is fine, and I would relish learning opportunity but I wasn't sure if somehow Mayer-Vietoris on these fibered products was already well-known.

Edit: Specifically, given a closed 2-form $\kappa$ on $U \times_X U$, which satisfies $$\pi^*_{12}(\kappa) + \pi^*_{23}(\kappa) = \pi^*_{13}(\kappa)$$ on $U \times_X U \times_X U$, I want to show there exists (via "M-V", according to Moerdijk) a 2-form $\lambda$ on $U$ for which $\kappa = \pi^*_2(\lambda) - \pi^*_1 (\lambda)$. Then, since $d \kappa = 0$, I would have that $\pi^*_2(d \lambda) = \pi^*_1 (d \lambda)$ and so (again by "M-V", according to Moerdijk) I would have $d \lambda = \pi^*(\xi)$ for some closed 3-form $\xi$ on X.

If I was working with fibered products $U \times_M U$ I could think of this all in terms of the Cech-DeRham Complex and I would be comfortable using M-V. But as $U \times_X U$ does not seem quite like "the intersections of the open sets in the cover", I am not quite sure how to approach this.

The context in which I am working is the construction of a 3-curvature via an $S^1$-bundle gerbe, with connection.

share|improve this question
    
Mayer-Vietoris gives you an exact sequence relating the (co)homology of a space $X$ covered by two open sets with the (co)homology of the sets in the cover and the (co)homology of their intersection. Bott and Tu describe a spectral sequence which generalizes this to covers with countably many open sets. What exactly is it you wish to compute? If it's cohomology of $M\times_X M$, you might be better off with the Eilenberg-Moore ss? –  Mark Grant Apr 23 '13 at 13:09
    
I've added some details to address your comment, thanks! –  cheyne Apr 23 '13 at 13:35
    
Ah I see. It seems some generalization of Mayer-Vietoris where the open cover is replaced by a pretopology is being used. –  Mark Grant Apr 23 '13 at 15:07
    
...which I don't believe is in Bott-Tu :) –  cheyne Apr 23 '13 at 15:38
    
I figured it out, I just need a few days to typing it up. I don't need a spectral sequence :) –  cheyne Apr 26 '13 at 15:21
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.