Skip to main content

All Questions

Filter by
Sorted by
Tagged with
14 votes
3 answers
2k views

Recommendations for getting into sheaves with emphasis on differential geometry and algebraic topology

I want to study the theory of sheaves from a categorical point of view with an emphasis on applications in algebraic topology and differential geometry and I'm looking for a good introductory book to ...
23 votes
4 answers
5k views

De Rham decomposition theorem, generalisations and good references

De Rham decomposition theorem states that every simply-connected Riemannian manifold $M$ that admits complementary sub-bundles $T'(M)$ and $T''(M)$ of its tangent bundle parallel with respect to the ...
11 votes
1 answer
866 views

Serre spectral sequence for de Rham cohomology

Suppose we a given a fibration of manifolds $p\colon E\to M$ with a path connected fiber $F$ and simply connected $M$, then we have the Serre spectral sequence with $$ E_2^{p,q} = H^p(M,\underline{H^...
9 votes
0 answers
570 views

In terms of sheaf cohomology, what does Bott & Tu's relative de Rham cohomology $H^\bullet(f)$ compute for $f: S \to M$ a smooth map?

Given a map $f: S \to M$ of smooth manifolds, Bott & Tu define on page 78 a complex by $\Omega^q(f)=\Omega^q(M) \oplus \Omega^{q-1}(S)$ and $d(\omega, \theta)=(d\omega, f^*\omega - d\theta)$ where ...
8 votes
1 answer
1k views

Relative version of de Rham cohomology with local coefficients

Given a vector bundle $E \to M$ with connection $\nabla$, we get a twisted de Rham sequence using the exterior covariant derivative: $$\mathcal{E} \xrightarrow{d^\nabla=\nabla} \Omega^1_M \otimes_{\...
26 votes
2 answers
2k views

Loop Spaces as Generalized Smooth spaces or as Infinite dimensional Manifolds?

There are two ways to define smooth mapping spaces and I want to know how they compare. Let's take the concrete special case of free loops spaces. I think this is the most studied example so will ...