I am comfortable with de Rham cohomology, sheaves, sheaf cohomology and Cech cohomology. I am looking to prove the following theorem: If $M$ is a smooth manifold of dimension $m$, then we have ...
It's well-known fact, that if $X$ is non-singular algebraic variety over algebraically closed field $k$ and $Y \subset X$ is its irreducible closed subscheme defined by sheaf of ideals $J$, then $Y$ ...
I seem to have problems understanding algebraically why given a map of manifolds $f: M \to N$ we get a bundle map $TM \to f^*TN$. Now, fiberwise it's all good. But I do not understand how to define ...