3
$\begingroup$

The de Rham complex can be viewed as a sheaf $\Omega$ on the entire site $\mathsf{Man}$ of smooth manifolds via the usual pullback of differential forms $(f: M \to N) \mapsto (f^*: \Omega(N) \to \Omega(M))$. So, the de Rham complex is a smooth space. Diffeological spaces, for example, are concrete sheaves on the site of smooth manifolds, but I don't know enough about sheaves to say whether or not the de Rham complex is a diffeological space.

We can also consider the category of open sets of $M$ as a site $O(M)$, where the arrows are inclusions. Then we have the sheaf $\Omega_M \in \mathsf{Sh}(M)$ of differential forms on $M$. Likewise, we have the sheaf $\Omega_N \in \mathsf{Sh}(N)$ of differential forms on $N$.

Now, as I understand it, there are morphisms $i_M: \mathsf{Man} \to M$ and $i_N: \mathsf{Man} \to N$ of sites, given by the respective inclusion functors $i_M^t: O(M) \to \mathsf{Man}$ and $i_N^t: O(N) \to \mathsf{Man}$.

Given a smooth map $f: M \to N$ of manifolds, can we describe the induced morphism $f^* \Omega_N \to \Omega_M$ using the preceding data? I'm looking for an abstract characterization.

Sorry if this is a dumb question; I don't know much about restricting sheaves to subsites.

Note: cross-posted to mathoverflow, but it was downvoted there and I'm still looking for a more abstract answer.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.