I am considering the twiced tangent bundle $T(TM)$ of manifolds $M$. Locally, if $M=R^d$ then $T(TM)=R^{4d}=\oplus^3 TM$. My attempt is to see whether $T(TM)\cong \oplus^3 TM$ natu …

Given a graded manifold with symplectic form $\omega$ of degree $n$, I have seen two expressions for the corresponding Poisson bracket of degree $-n$. Cattaneo-Fiorenza-Longoni, ht …

A vector space $V$ of dimension $n$ has an associated determinant line $Det(V)$. An element of $Det(V)$ is represented as a (formal limear combination) of expresstions of the …

On the first hand one can define a superdomain $U^{p|q}$ as the super ringed space $(U^p,\mathcal{C}^{\infty p|q})$ where $U^p\subset\mathbb R^p$ is open and $\mathcal{C}^{\infty 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 …

This is my second question on supermanifolds, the previous one is at http://mathoverflow.net/questions/54927/morphisms-between-supermanifolds-r01r01 I've learn the difference be …

Given a smooth manifold M, the following procedures yield the differential graded algebra (Ω*(M),ddR) of differential forms: Procedure 1 (synthetic geometry). For each n, c …

The following definition is from: Dmitry Roytenberg, "AKSZ-BV formalism and Courant algebroid-induced topological field theories", Letters in Mathematical Physics, 2007 vol. 79 ( …

What are the derivations of the algebra of continuous functions on a topological manifold? A supermanifold is a locally ringed space (X,O) whose underlying space is a smooth m …

I am confused regarding supermanifolds. Suppose I consider R^(1,2) (1 "bosonic", 2 "fermionic"), This map (x,a,b) -> (x+ab, a,b) (a,b are fermionic) is supposed to be a morphism of …