The following definition is from:
- Dmitry Roytenberg, "AKSZ-BV formalism and Courant algebroid-induced topological field theories", Letters in Mathematical Physics, 2007 vol. 79 (2) pp. 143-159, MR2301393.
A graded manifold $M$ over base $M_0$ is a sheaf of $\mathbb Z$-graded commutative algebras ${\rm C}(M)$ over a smooth manifold $M_0$ locally isomorphic to an algebra of the form ${\rm C}^\infty(U) \otimes {\rm S}(V)$ where $U \subseteq M$ is an open set, $V$ is a graded vector space whose degree-zero component $V_0$ vanishes, and ${\rm S}(V)$ is the free graded-commutative algebra on $V$.
Presumably there is an equivalent definition that builds in the axioms for $M_0$ to be a smooth classical manifold — we could start with the topological space with a sheaf of Frechet algebras locally isomorphic to something.
Recall, from, for example the MO question Algebraic description of compact smooth manifolds?, that all classical manifolds are affine in the sense that, although presented as sheaves, a complete invariant is the algebra of global functions.
Question: Is it true that the algebra of global sections of the sheaf ${\rm C}(M)$ is a complete invariant? I.e. can I recover a graded manifold from its algebra of global smooth functions?
The follow-up question would be to describe, a la the above-linked MO question, which algebras are algebras of smooth functions on a graded manifold. The orthogonal follow-up question is the same one for "dg manifolds", which is a graded manifold with a square-zero degree $-1$ vector field, thought of as a derivation of the sheaf algebras of functions: does knowing the derivation on global sections determine it on all local sections?
Since no one has yet posted an answer, let me generalize the question to include:
Question: Is the above definition the right one?
Now let me motivate this generalization. First, the answer to my original question above is trivially "yes" provided that the underlying manifold $M_0$ can be read from the algebra, as then I would have access to the right partitions of unity to really get my hands on the whole sheaf. This certainly happens when the "fiber" (whose linear functions are) $V$ has only positive gradings: then the manifold is recovered from the degree-zero subalgebra. But if $V$ has both positive and negative degrees, then the degree-zero subalgebra is too big. Instead, the base $M_0$ should be recovered as the maximal degree-zero quotient algebra, and I have less intuition for whether such a thing should exist.
But then it's clear that the sheaf in the above definition is not, generally, a sheaf of Frechet algebras. For example, consider the vector space $\mathbb R^{1t^2 + 1t^{-2}}$ with one dimension in degree $2$ and one in degree $-2$, and call the coordinate functions $x$ and $y$. Then there is a quadratic map $\mathbb R^{1t^2 + 1t^{-2}} \to \mathbb R^1$ corresponding to the subalgebra of polynomials in $xy$, and this degree-zero subalgebra is not Frechet-complete. Rather, to exhibit the map as a map of smooth rather than algebraic spaces requires that ${\rm C^\infty}(\mathbb R^{1t^2 + 1t^{-2}})$ include the Frechet algebra ${\rm C^\infty}(\mathbb R^1)$ as a subalgebra.
So what's going on? If I add the words "Frechet completion" in the correct spot in the above definition, is it the answer to the first question "yes"?
There is another, older meaning of "affine", namely "properly embeds into (finite-dimensional) affine space". Before adding this extra content, the title of this question included a parenthetical "and in what sense". So at the risk of making this question long enough that the correct answer is a good reference:
Question: For the correct definition of "graded manifold", is it true that every graded manifold embeds smoothly into some finite-dimensional graded vector space"?