I'm trying to show that for an ordinary manifold $X$ and a supermanifold $S$, supermanifold morphisms $\varphi:S\to TX$ are one-to-one to the pairs $(f,F) $ where $f:C^\infty(X)\to C^\infty(S)$ is a super $\mathbb{R}$-algebra homomorphism and $F:C^\infty(X)\to C^\infty(S)$ is an even derivation with respect to $f$, i.e. $F$ is a parity-preserving $\mathbb{R}$-linear map and $F(ab)=F(a)f(b)+f(a)F(b)$ for any $a,b\in C^\infty(X)$.


Intuitively, $f$ is the pullback of smooth maps from the base manifold $X$ to $S$ and $F$ is a global section to the pullback vector bundle $f^\*TX$ on $S$. Hence if we let $p:TX\to X$ be the usual projection, then $f= \varphi^\*\circ p^\* $. The remaining data of $\varphi$ should give $F$, but I cannot see how.


If $S$ is also an ordinary manifold, then $F$ can be defined point-wisely. We can express $\varphi$ point-wisely by $\varphi(p)=(f(p),V\_{f(p)})$ for each $p\in S$, where $f(p)\in X$ and $V\_{f(p)}\in T\_{f(p)}X$. For any $a\in C^\infty(X)$, $F(a)\in C^\infty(S)$ is then the function that sends $p\in S$ to $V\_{f(p)}a\in \mathbb{R}$.


However, if $S$ is a supermanifold, then the point-wise definition no longer works. I tried to formulate the point-wise definition in a non-point-wise way but failed.


I guess that $F$ should be a composition $C^\infty(X)\xrightarrow{D}C^\infty(TX)\xrightarrow{\varphi^\*}C^\infty(S)$ for some natural derivation $D:C^\infty(X)\to C^\infty(TX)$ with respect to $p^\*$, but I cannot see any derivation that arises "naturally".


Thanks in advance for any help.



One-to-one correspondence between super morphisms $\varphi:S\to TX$ and pairs $(f:C^\infty(X)\to C^\infty(S) ,F\in Der_f(C^\infty(X),C^\infty(S))$
The morphism $$\def\T{{\rm T}} φ:S→\T X$$ can be identified with the homomorphism of algebras $$\def\Ci{{\rm C}^∞} \Ci(\T X)→\Ci(S).$$
The algebra $\Ci(\T X)$ can be identified with the $\Ci$-symmetric algebra $$\def\CiSym{\mathop{\rm\Ci Sym}\nolimits} \CiSym\_{\Ci(X)}(\Gamma(\T^\*X))$$ of the $\Ci(X)$-module $\Gamma(\T^\* X)$ of smooth sections of the cotangent bundle of $X$.
Here $\Ci$-symmetric algebras are defined using exactly the same universal property as symmetric algebras, but working in the category of $\Ci$-rings instead of the category of commutative real algebras.


By the universal property of $\Ci$-symmetric algebras, the homomorphism
$$\CiSym(\Gamma(\T^\*X))→\Ci(S)$$ can be identified
with a homomorphism of $\Ci$-algebras (equivalently, commutative real algebras) $$f:\Ci(X)→\Ci(S)$$
together with a morphism of $\Ci(X)$-modules $$Ψ:\Gamma(\T^\*X)→\Ci(S).$$
The latter morphism can be identified with a derivation $$F:\Ci(X)→\Ci(S)$$
with respect to $f$: we set $\def\d{{\rm d}} F(g)=Ψ(\d g)$, where $\d g∈Γ(\T^\* X)$ is the differential of $g$.


This approach works equally well for ordinary manifolds, supermanifolds, ${\bf Z}$-graded manifolds, derived manifolds, etc.


