Morphisms between supermanifolds R^{0|1}→R^{0|1} - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T09:44:22Z http://mathoverflow.net/feeds/question/54927 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/54927/morphisms-between-supermanifolds-r01r01 Morphisms between supermanifolds R^{0|1}→R^{0|1} Ma Ming 2011-02-09T20:54:32Z 2011-08-18T13:46:35Z <p>I am confused with morphisms of supermanifolds. Take a simple example $f:R^{0|1}\to R^{0|1}$. By (one of) definition, $f$ is a morphism of superalgebras of functions $C(R^{0|1})\to C(R^{0|1})$. Morphisms of superalgebras preserve the grading, I deduced that $f$ have the form $1\mapsto 1, \theta\mapsto x\theta$, i.e. $Hom(R^{0|1}\to R^{0|1})=R^1$ (as a set?). But I read from a paper that $Hom(R^{0|1},R^{0|1})=R^{1|1}$. What is going on? Thanks in advance!</p> http://mathoverflow.net/questions/54927/morphisms-between-supermanifolds-r01r01/54959#54959 Answer by Martin O for Morphisms between supermanifolds R^{0|1}→R^{0|1} Martin O 2011-02-09T23:47:12Z 2011-02-10T08:25:43Z <p>You are right that the set of supermanifold morphisms $Hom(\mathbb R^{0|1},\mathbb R^{0|1})$ to itself is $\mathbb R^1$. However, one can define for supermanifolds $X,Y$ with $\dim X=0|d$ a supermanifold $map(X,Y)$ of morphisms from $X$ to $Y$, by $Hom(Z,map(X,Y))=Hom(Z\times X,Y)$ for all supermanifolds $Z$. </p> <p>And $map(\mathbb R^{0|1},\mathbb R^{0|1})=\mathbb R^{1|1}$.</p> http://mathoverflow.net/questions/54927/morphisms-between-supermanifolds-r01r01/73150#73150 Answer by Alexander Alldridge for Morphisms between supermanifolds R^{0|1}→R^{0|1} Alexander Alldridge 2011-08-18T13:38:23Z 2011-08-18T13:46:35Z <p>@Ma: As an answer to your following question:</p> <blockquote> <p>Could you give a clue how to calculate the $map$, for example, $map(R^{0∣d},M)$ for any supermanifold $M$?</p> </blockquote> <p>Take a look at arXiv:math/0307303, where this question is discussed. </p> <p>For $d=1$, it is well-known (and due to Kontsevich, I think), that $map(R^{0|1},M)$ is the total space of the odd tangent bundle $\Pi TM$ of $M$. </p> <p>If $U$ is a superdomain of dimension $p|q$, then $map(R^{0|d},U)=U\times R^{pr+qs|ps+qr}$ where $(r+1)|s=2^{d-1}|2^{d-1}$ is the graded dimension of $\bigwedge R^d$. This you can check using the definition of $map$ and the characterisation of morphisms of supermanifolds as given in Leites.</p> <p>Another good source on this subject (for $d=1$), is the paper "Differential forms and 0-dimensional supersymmetric field theories" by Hohnhold, Kreck, Stolz and Teichner.</p>