Superfields, nilpotent superfields and superschemes

We define superfields using a functorial formalism that explains some paradoxical properties they are supposed to have. We also investigate some algebraic constraints on them giving rise to superschemes that, generically, are not regular, that is, they do not define a standard supermanifold.


Introduction
Two equivalent approaches are used by mathematicians to understand supervarieties and supermanifolds. The classical one is by means of sheaves of superalgebras that properly generalize similar definitions of standard algebraic geometry. This approach started with Berezin, Leites, Kostant, and Manin [1][2][3][4]. We will be more precise in Sections 2 and 4.1, but let us make a rough approximation here. From the point of view of algebraic geometry, spaces are described in terms of rings. Essentially, one constructs first a topological space associated with the ring. The category of such spaces is then (contravariantly) equivalent to the category of rings considered. One can proceed by replacing commutative rings with commutative (or supercommutative)superrings and most of the geometric structures generalize, although new phenomena appear. The generalization is successful because, even when superalgebras are non-commutative algebras, their non-commutativity is of a very particular kind, and one does not need indeed to go into the troubles of the full non-commutative geometry. Useful reviews of this approach are for example Refs [5][6][7][8].
On the other hand, the functorial approach to supergeometry was started by Schwarz [9]. A superspace is described as the association of a set to any arbitrary Grassmann algebra Λ. The elements in each set are called Λ-points. The sets of Λ-points, though, have to behave properly under homomorphisms of superalgebras Λ → Λ . This means that the assignation has to be functorial, so a superspace is a covariant functor from the category of Grassmann algebras to the category of sets.
The two approaches are related. A space M can also be described in terms of the morphisms S → M from any other space S in the same category to M. Each of these morphisms is called an S-point of M. The association with each S of the set M(S) := Hom(S, M) is a contravariant functor called the functor of points of M. A morphism between two spaces f : M → N can be given as a set of maps M(S) → N(S) between S-points that is functorial in S. This is in fact the content of Yoneda's lemma.
Using the equivalence of categories between spaces and rings, the functor can be given over the rings corresponding to the global sections of the superspaces, so we will have a covariant functor O(S) → Hom(O(M), O(S)).
The construction, with its own peculiarities, can be carried over to the category of superrings. Then, the functor of points (A didactic exposition of the functorial approach in modern terms was given in the talk by P.Deligne linked in [10].), when restricted to the subcategory of Grassmann algebras, can be interpreted as the functor of Schwarz [9]. The original idea was developed further in [11], where mappings among superspaces, that is natural transformations of the functors, were connected with the more standard approach of sheaf theory.
Yet another approach to formalize the theory of supermanifolds was proposed some time ago by Rogers and De Witt [12,13]. The supergeometry was introduced here by generalizing the numbers (real or complex numbers) to supernumbers, which are elements of a Grassmann algebra, and devising a calculus over them. Many geometric concepts that were being used by physicists in a heuristic definition appeared to have a more sound meaning; indeed, the language used was close to the language used by physicists.
In [14], a comparison of the three approaches was done. An important result was that the Rogers-De Witt point of view could be reconciled with the mathematical one if one assumed that, rather than working with a particular, infinite dimensional Grassmann algebra, the geometric structures were defined functorially over the whole category of superalgebras. It seems to us that the functorial behavior of supergeometry is the very key point to assure the consistency of all the calculations done by physicists.
Currently, there seems to be a consensus on what supergeometry is, what is a superspace, a supermanifold, or a supervariety, and how to put geometric structures on them. The mathematical description has become quite clear. Our goal in this paper is not to redefine these concepts, nor to reformulate supergeometry. Our more modest goal is to understand what is the nature of superfields. Often, mathematicians say that superfields are maps of super spacetime to a manifold (it could also be a supermanifold in some cases). We will see in a moment, with a simple example, why there is an issue with this definition. The problem was formulated for example in [13] in the Rogers-De Witt approach, or more recently in [15], so it is not new at all. It was also mentioned in these references that in the sheaf-theoretical approach, one would need to appeal to auxiliary odd variables. We will analyze this statement in the present paper.
The definition of "even" or "bosonic" fields offers no difficulty. They can be functions on spacetime valued in a finite-dimensional manifold, sections of a vector bundle, connections over it, etc. All these objects have a precise geometrical meaning and offer no ambiguity both in their physics usage and in their mathematical formulation. An "odd" or "fermionic" field is more difficult to interpret. In physics, it is vaguely stated that it is an "odd function on spacetime", that is, in the simplest case, fermionic fields are functions with values in some super vector space (in its odd part) or superalgebra. However, physicists use properties of odd fields that cannot be reconciled with this naive point of view.
Let us take the simplest example of an odd field on a spacetime R n (we do not worry here about Lorentz invariance), say ψ(x), x ∈ R n . It is sometimes stated that ψ can be seen as a function f : R n → R multiplied by an odd parameter or odd auxiliary variable η, so ψ(x) = f (x)η. More rigorously, this can be interpreted as a map between affine superspaces over R: whose dual map on the corresponding superalgebras is given in terms of the global coordinates (see Remark 1 about the chart theorem): The symbol ∧[φ] stands for the Grassmann or exterior algebra in the variable φ. In physics, one needs to compute quantities such as: ψ(x), . . . , ψ(x 1 )ψ(x 2 ) · · · ψ(x m ), . . . , ∂ψ(x) ∂x µ , . . . , ∂ n 1 ψ(x) ∂(x µ 1 ) n 1 · · · ∂ n k ψ(x) ∂(x µ k ) n k , . . . (2) where the superindex labels the coordinates of spacetime and the subindex labels different points of spacetime. These quantities, with products of any number of derivatives, appear in Lagrangians and other observables, and products of fields at different points of spacetime are the classical limit of correlation functions. They are always assumed to be, generically, different from zero.
It is clear that these calculations could not be reproduced with a simple object such as All the quantities written above would be identically zero. It seems that physicists and mathematicians, although not disagreeing on the nature of supermanifolds and supervarieties, are not considering the same object when speaking about superfields or just odd fields. Often, this subtlety has been overlooked, but we think that it deserves special attention. There must be an appropriate object, in the context of mathematicians' approach to supergeometry, that reproduces the properties of a superfield. In the Rogers-de Witt approach, it was proposed that super spacetime is a bundle with basis spacetime and fiber over each point a copy of a Grassmann algebra. These Grassmann algebras are considered to be different at each point of spacetime. This solves the first part of (2), but it is not clear how to compute derivatives with respect to the coordinates of spacetime. Furthermore, one may wonder why these Grassmann algebras leave no trace in the field content of the theory. Nevertheless, they were on the right track about the need for infinitely many odd variables. As a first objective of this paper, we propose a complete solution to the problem, and Section 2 is devoted to it. In advance, we can say that the important object to consider is the superspace of superfields.
Not always supersymmetric theories are formulated in terms of superfields: for a high number of supersymmetries (that is, many odd coordinates in super spacetime), there appear too many component fields, which would have to be constrained. Since it is not easy to find appropriate constraints (one can even wonder if they exist), physicists devised other methods to implement supersymmetry in field theory. Nevertheless, whenever it is possible, superfield techniques are very powerful and highly desirable. In that case, the primordial objects from which everything else is derived, including the geometry of superspaces at play, are superfields. Presumably, one should be able to recover the original definition of a supermanifold with its sheaf of superalgebras in terms of superfields. In Section 3, we will demonstrate that this is possible with the use of the even rules principle explained in that same section.
In the second part of the paper, Sections 4 and 5, we deal with a variety of constraints imposed on the space of superfields. These are constraints that have been used in some supergravity inspired cosmological models (the system studied in Section 4.5 appeared for the first time in a preliminary version of this paper). They provide a wonderful example on how one has to be careful when speaking about superfields. We will see that the use of superschemes is necessary to provide an adequate mathematical framework for the constraints and to clarify its behavior under supersymmetry transformations.
Finally, in Section 6, we comment on the interpretation of fermionic observables in the classical and quantum realms.
In the text, we tried to introduce the basic notions of algebraic geometry that are required to understand the generalization to the super setting. Some more basic concepts, as the definition or sheaf, etc., are given in the Appendix A. We tried to give a consistent account of these concepts as a guide for the reader, but this paper is not a suitable place to introduce one's self to algebraic geometry, for which many good textbooks exist (particularly useful for us has been [16]). For the super setting, introductory references are [5,6,8], and a more detailed monograph is [7]. Physics conventions regarding spinor notation and supersymmetry transformations are given in Appendices B and C.

Some Mathematical Definitions
In this section, we will consider the simplest case: an unconstrained, scalar superfield. The ground field will be R.
We need first some mathematic terminology. In Appendix A, we recall the standard definitions of sheaf over a topological space and of morphism of sheaves (Definitions A2 and A4), which are used in what follows. The reader interested in a more complete and deep treatment of the subject in the formalism that we use can consult for example [5][6][7][8].
Let x 1 , . . . , x m be global coordinates on R m . Then, we say that x 1 , . . . , x m , θ 1 , . . . , θ n ∈ O(A m|n ) are global coordinates on A m|n . Here, and as a general rule, Latin letters denote even (commuting) quantities, and Greek letters denote odd (anticommuting) quantities.
It is important to pay attention to the definition of morphisms of superspaces. One can define them as morphisms of the corresponding sheaves, but first, one has to put them over the same basis. This is done by using the pullback sheaf.

Remark 1.
It is not difficult to show that a morphism f : A m|n → A p|q is determined by the images of the global coordinates (x 1 , . . . , x p ; θ 1 , . . . , θ q ) of A p|q under f : where f 1 , . . . , f p are even elements of O m|n (R m ) and η 1 , . . . , η q are odd elements of O m|n (R m ). This is the chart theorem (see, for example, Theorem 4.1.11 in Ref. [7]).
We will denote as (sspaces) the category of superspaces with their morphisms as defined above.

Definition 3.
A supermanifold of dimension m|n is a superspace that is locally isomorphic to A m|n .
Of special importance for us will be the concept of the functor of points associated with supermanifolds (and, later on, to superschemes).

Definition 4.
Functor of points. Let us denote as (smanifolds) the category of supermanifolds with morphisms the superspace morphisms such that , in the notation of Definition 2, | f | : |S| → |T|, is a C ∞ function. Let S and X be supermanifolds. A morphism ϕ : S → X is called an S-point of X. The set of S-points of X is the set Hom(S, X).
The association: (smanifolds) is a contravariant functor in S called the functor of points of X.
When S is taken as the spectrum of the field k = R, one is left with ordinary points of the topological space underlying the supermanifold. While these points are enough to recover an ordinary manifold as a set, it is not so with a supermanifold, where, in principle, one would need the S-points for any supermanifold S.
If Y is another supermanifold and we have a morphism f : X → Y, we can associate with each S-point of X, ϕ : S → X, an S-point of Y by composition, namely f • ϕ. Therefore, one can talk about the map f as we do in the classical case, as sending "points of X" to "points of Y". It follows from Yoneda's lemma that it is equivalent to give the actual map f as a map of ringed spaces or the natural transformation between the functors of points.

Superfields
In order to introduce the discussion on superfields, we will first describe heuristically a toy model.

Scalar superfields on A 1|1
We consider the simplest model of superspace having both even and odd components, the affine superspace over R, A 1|1 = (R, O 1|1 ) with structural sheaf: The algebra of global sections will be denoted as: , with x and θ the global coordinates on A 1|1 . Generically, a global section can be written as: withÃ,G ∈ C ∞ (R). Formally, (3) looks like the superfields that appear in the physics literature, except for the fact that bothÃ andG are ordinary (even) smooth functions on R. One can add elements with different parity since they belong to the same algebra.
Let us now consider S n = A 0|n , a superspace whose topological space is just a point, and the structural sheaf is given by the Grassmann algebra over R in n generators ∧[ξ 1 , . . . , ξ n ] (a superpoint). We consider a morphism: Using the chart Theorem 1, we can express it terms of the algebras and global coordinates as: A and χ are quantities that could represent the component fields of the superfield Φ, being A a bosonic (even) field and χ a fermionic (odd) field. We are aware that we have introduced extra odd variables ξ 1 , . . . , ξ n , and we will argue why they are spurious, that is they have no physical meaning.
For the moment, let us see how this helps with the problem stated in the Introduction. Let us consider n = 2 and compute some of the quantities in (2) for the odd field χ. We have: which, generically, are different from zero. These properties are used in classical field theory and have a (deformed, ash = 0) counterpart in quantum field theory.
It is clear now that if one wants to have products of the same field in n different points or products of the field and its derivatives that are not identically zero, one just needs to increase the number of odd generators ξ i up to n. In order to achieve full generality, one is then led to consider all the Grassmann algebras. This is reminiscent of the use of infinitely many variables in that DeWitt-Rogers approach, introduced to give a meaning to the calculations done by physicists. It is seems clear from this example that one cannot escape from considering infinitely many odd variables that are non-physical in some way.
The purpose of defining superfields is better served if one considers in (4) arbitrary, finite dimensional supermanifolds S instead of only Grassmann algebras (or rather, the superpoints they define) and then require functoriality in S. This natural approach to superfields, that generalizes and improves our previous definition in terms of Grassmann algebras, is not completely unknown to mathematicians, and it was suggested to us by P. Deligne (We are grateful to him for this valuable input.) (see also [17]). However, in our experience, it is not widespread knowledge. Certainly, it is ignored by the physics community, and we think that a bridge between different ways of thinking is worthwhile. We will dedicate some time to explain it in detail, giving rigorous meaning to the heuristic explanation that we have provided here.
On the other hand, and perhaps paradoxically in view of (2), it is useful to consider first the case where there is no dependence on the coordinates of spacetime: this means that spacetime is just a point, and the structural sheaf of M is given, in the only open set (the point), by a certain finite dimensional superalgebra.

Spacetime is a point
We first need to introduce the concept of the adjoint of a functor.

Definition 5.
Given two categories C and D and two functors: we say that the functor G is a right adjoint to the functor F or that F is a left adjoint to the functor G if there is a bijection: for all objects X in C and all objects Y in D. Varying X and Y, we have a family of bijections:

Example 2.
Let us consider the category (sets) of sets. Let A be a fixed set, and consider the functor that takes the Cartesian product by A (sets) We have: Therefore, the functor: is the right adjoint to F.

Example 3.
Let A be a commutative superalgebra, and let C be the category of A-modules. C has a tensor product defined in it [5]. For a certain A-module N, we consider the functor: This functor has a right adjoint: where Hom A (N, P) is the set of all A-linear maps N → P. Notice that we have used a different notation than for the usual module morphisms Hom A (N, P), which preserve parity. The set Hom A (N, P) is itself an A-module. Because of this, its elements are called inner morphisms (the set of inner morphisms is inside the category of A-modules C). The even part of Hom A (N, P) is just the standard module morphisms. The adjunction formula reads: A very similar construction is the one that we will use for supermanifolds.
The category of supermanifolds admits categorical products. We will not enter into the details here, which can be found, for example, in Ref. [6], page 137. Essentially, if X and Y are two supermanifolds, we have that |X × Y| = |X| × |Y|, and the sheaf can be determined by gluing the local tensor products O X (U)⊗O Y (V), where U and V are rectangular open sets admitting global coordinates and⊗ is the completion of the tensor product.
The cases that we will treat here, spacetime being a point, are especially easy in that respect. Therefore, let M be a superspace with the underlying topological space a point. We define the functor F as: (smanifolds) F just takes the Cartesian product by M. This functor has a right adjoint since (smanifolds) is a closed monoidal category [17]. The adjoint functor associates with every supermanifold Y the supermanifold of inner morphisms from M to Y, denoted as Hom(M, Y): (smanifolds) which is defined through the formula (5): The functor S → Hom(S × M, Y) that we were considering heuristically in (4) is in fact the functor of points (Definition 4) of the supermanifold of inner morphisms Hom(M, Y).
It is clearer now why we have chosen M to be of such a restricted type first. For M an arbitrary supermanifold a superspace like Hom(M, Y) would be infinite-dimensional, which is considerably more difficult to describe. In Ref. [17], for example, infinite-dimensional superspaces of maps between supermanifolds were studied in depth, but we will stay with this simpler description. We will come back to this issue later.
It is instructive to compute it for a particularly simple example.

Example 4.
Let us set M = A 0|1 with coordinate θ and Y = R with coordinate z. A morphism S × A 0|1 → R is given in terms of the global coordinates as: It is then clear that Hom(M, R) ∼ = A 1|1 , since any morphism S → A 1|1 is given in terms of the global coordinates as: It amounts to the same to give a map S × A 0|1 → R as to give a map S → A 1|1 .
(the sum over repeated indices is understood). We can restrict the sum to i < j < k < · · · due to the antisymmetry of θ i θ j θ k · · · . The component fields are: and S runs over all supermanifolds. Then, We observe that the coordinates in S play the role of parameters. In order to see this, it is useful to take first an S that is an ordinary manifold. Then, its coordinates are all even. Choosing a value for them, the expression (8) produces a particular inner morphism M → R, which, in this case, would be a supermanifold morphism. In order to obtain the rest of the inner morphisms, it is necessary to introduce an S with odd coordinates. We then generalize the concept of "parameter" to include also the odd coordinates. We say that (8) is a family of morphisms M → R parametrized by S [10].
Let us now denote H = Hom(M, R) ∼ = A 2 q−1 |2 q−1 , the superspace of superfields with target R. We can consider the family (8) also over H, that is the family H × A 0|q → R: In (8), the coefficients Φ ijk··· can be taken as coordinates of H. This family is universal in the sense that any family of maps (8) parametrized by S is determined, up to isomorphism, by a map S → H.
We may observe here a similarity with the naive approach (1), where for each of the odd components Φ ijk··· of the superfield, one would introduce an auxiliary odd variable. With this interpretation, in terms of the adjoint functor, we see that the interesting object (the universal one) has also even coordinates, one for each even Φ ijkl··· .
In summary, to speak about superfields, we have to speak about the superspace of such superfields, and we have clarified how to define it in terms of its functor of points. The undetermined number of "auxiliary variables" in other approaches are just the coordinates in S, and they appear because of the functorial description.
In the toy model considered (spacetime is a point), one can explicitly give the superspace of superfields in terms of sheaves, as in Definition 1. That means that in this case, one is able to describe the superspace of superfields without recurring to the auxiliary variables. This description is clear mathematically, but perhaps more difficult to implement in a supersymmetric field theory, where the functorial formalism is natural. However, its very existence implies that the auxiliary variables that appear in S, because of the functoriality, are spurious and cannot have a physical meaning attached. Therefore, they do not generate new component fields. In this approach, then, it is quite clear that the odd variables in S and the odd variables in super spacetime play a completely different role.
Presumably, this spuriousness would be maintained also when super spacetime is not a point.
What we find remarkable is that the object that physicists have been using all the time, without giving an explanation, was exactly the functor of points of the superspace of inner morphisms. This is just another example of how the language of the functor of points converges with the physicist's point of view of supergeometry (Another clear example is the definition of supergroups, which in all references is given explicitly in terms of the functor of points without mentioning it.). We hope to contribute with these simple examples to the understanding of the concept of the superfield.
If spacetime is not a point and M is a supermanifold modeled on A p|q , the space of inner morphisms becomes infinite-dimensional, and we may have trouble describing it. We can, though, preserve the idea of a family of maps M → R parametrized by a supermanifold S. This presents no interpretation problem. For M an affine space A p|q , we will have an expansion like (8), where now, all the component fields will acquire a dependence on the even coordinates of M, (x 1 , . . . , x p ). Then, the very definition of superfield in terms of parametrized families takes care of all the properties that physicists use. One can construct Lagrangians, functional actions, and use the calculus of variations to determine the field equations, very much in the same way that they are computed in ordinary field theory.
Since in several cases the constraints that we are going to investigate are algebraic, that is they do not involve spacetime derivatives, the dependence on the even coordinates can be factored out, and everything works as if spacetime would shrink to a point. Even there, the definition of the superfield that we give will make non-trivial solutions of the constraints appear, with a little difficulty added: the superspaces that we will have to consider are not always smooth supermanifolds, nor algebraic varieties, and we will have to allow for singular superschemes.

The Even Rules Principle
In this section we explain the even rules principle, a result due to Deligne and Morgan [5], and see its implications for superfields.
We set k = R, C. The algebras and superalgebras that we consider here are k-algebras, unless otherwise stated, and always have a unit.
We will denote by (svector spaces) the category of super vector spaces and by (c salgebras) the category of commutative (or supercommutative) superalgebras with a unit, both over k.
Let A be a commutative superalgebra and M A a left A-module, that is M A is a super vector space with a morphism of super vector spaces: Left A-modules for commutative superalgebras be also right A-modules by setting: where p(m) and p(a) are the parities of m and a, respectively. This satisfies: We will just call them modules. Let V be an object in (svector spaces) and B and object in (c salgebras). We denote as V(B) := B ⊗ V the extension of the scalars of V by B (see Definition A1). Let h : B → B be a morphism of commutative superalgebras. Then, V(B ) is also a B-module by further extending the scalars to B . There is a morphism of B-modules: This is well defined since h is a superalgebra morphism. We can as well take the even part of the module. If V = V 0 + V 1 and B = B 0 + B 1 are the splitting in even and odd parts, we denote V(B) 0 the even part of V(B), which is a B 0 -module. Given a morphism of superalgebras h : B → B , then V(h) 0 is a morphism of B 0 -modules:

Remark 2.
It will be useful here to recall the definition of superalgebra in terms of commutative diagrams.
Let V be a super vector space. An associative superalgebra structure on V is given by a linear map, the product: and satisfying the associativity property, that is that the diagram: On the other hand, we say that the superalgebra is commutative if, given the flip map, commutes.
If V has a k-superalgebra structure, then V(B) has a B-algebra structure naturally: Let π : V ⊗ V → V be the product on V, then we have a product (We use here the direct product and not the tensor product because the bilinearity is in B 0 and not only in k.): given simply by It is straightforward to check that the associativity and commutativity properties are satisfied.
Definition 6. Let V and W be two superspaces. We say that a family of morphisms: is functorial in B if given a superalgebra morphism: commutes.
In particular, if V has a superalgebra structure, it is not difficult to see that the family { π B : The same is true for the families of maps appearing in the associativity and commutativity diagrams for the algebras V(B).
The following theorem of Deligne and Morgan ( [5], page 56) will allow us to recover the defining sheaf in terms of scalar superfields. Theorem 1. Even rules principle. Let {V i } i∈I , I = 1, . . . , n be a family of super vector spaces, V another super vector space, and B = B 0 ⊕ B 1 a commutative superalgebra. As before, we denote Any family of B 0 -multilinear maps: which is functorial in B comes from a unique morphism: (11), that is where p is the number of pairs (i, j) with i < j and v i , v j odd.
Proof. We will not prove the theorem here (see [5]), but it is instructive to see how the map f can be recovered from the family of maps f B . Let us consider the simple case of a family of maps: then we have three possible cases: 1. v 1 , v 2 even. Then, we may take b 1 = b 2 = 1 (in an arbitrary algebra B) and: 2. v 1 even, v 2 odd. Then, we take for example B = Λ[ξ], b 1 = 1, and b 2 = ξ. The equality: , and the equality: One way to give a structure of superalgebra to V is to give a B 0 -algebra structure on V(B) 0 , which varies functorially with B. From the commutative diagrams in Remark 2, it is clear that the superalgebra will be associative or commutative if the algebra structures on V(B) 0 are so.
Example 5. Toy model. Let us consider the vector space over k = R, C with basis one even vector e and one odd vector θ.
Let B be a commutative superalgebra. An element of V 1|1 0 (B) will be of the form: Let Ψ B = a 0 ⊗ e + ba 1 ⊗ θ be another element of V 1|1 (B) 0 . We can define a product on V 1|1 (B) 0 as: It is immediate to check the functorial property (Definition 6) of the whole family of products { • B }: for a morphism h : B → B , we have the map: that, for short and without risk of confusion, we will call simply h: One can also check the functoriality for the associativity and commutativity diagrams (Remark 2). The algebra structure defined in the superspace V 1|1 converts it into the Grassmann algebra in one variable ∧[θ].

Remark 3 ([5]
). The same result can be obtained if, instead of considering arbitrary commutative superalgebras, one restricts to the subcategory of Grassmann algebras B = ∧[ξ 1 , . . . , ξ n ], for short ∧ n , for n arbitrarily large, but finite. For V a superalgebra (as in (5)), the object (∧ n ⊗ V) 0 (without specifying n), appears in the literature as the Grassmann envelope of the superalgebra V.
In physics, it is the second option that is chosen, and it is called the product of superfields, although the nature of B and the functoriality of f B are not clarified.

How to Deal with Algebraic Constraints
The examples that we would like to analyze are the result of some algebraic constraints imposed on a certain set of N = 1, D = 4 chiral superfields. In physics, one needs to consider the complexification of the affine space A 4|2 over the reals. This is because the action of the Lorentz group: the two odd components form a Weyl spinor, and this representation is complex. In order to obtain a real form, one needs to consider A 4|4 over the complex numbers, and then, one can impose a reality condition compatible with the action of the Lorentz group. Two of the odd variables transform as a chiral (Weyl) spinor and the other two as an antichiral spinor (See for example Ref. [18]). Therefore, in what follows, we will consider complex, affine superalgebras. This does not mean that we are considering algebras of holomorphic functions: we will consider all the real analytic ones, so we see C 4 ∼ = R 8 .
The super spacetime under consideration is M = A 4|2 , the chiral superspace, with global sections: A chiral superfield associates with each supermanifold S a family of morphisms parametrized by S: given in terms of an even section of O(S) ⊗ O(M) as in (8): The index notation is the usual in physics, and it is explained in Appendix B; in particular, the sum over repeated indices is understood. The component fields A, F, and χ α depend on the even coordinates of the chiral superspace, although we do not write it explicitly.
We want now to study some algebraic constraints on chiral superfields. Spacetime dependence is untouched by the constraints that we will consider, so one can effectively consider that spacetime is reduced to a point: the full picture is recovered by tensoring with C ∞ (C 4 ) when needed.
If spacetime is a point, then the superspace of superfields, that is the space of inner morphisms M → C can be identified with H = A 2|2 , being the even global coordinates A and F in (12) and χ α , α = 1, 2 the odd ones. The constraints will give relations among these coordinates. The restricted space is not necessarily an affine superspace or a supermanifold. In the cases we will deal with, it is in fact an affine superscheme. In the next subsection, we try to give a brief summary on the principal results on schemes and superschemes. In the non-super case, a complete treatment can be found in any textbook on algebraic geometry (see for example the first chapter of [16]). For the super case, there is a thorough treatment in [7].

Schemes and Superschemes
An affine algebraic variety Y ⊂ C n is the zero locus of some polynomials. One defines the algebra F of polynomials over Y as the restriction of the polynomials C[x 1 , . . . , x n ] to Y. In fact, F can be viewed as the quotient: This procedure is called the localization of F at U. One can check that it satisfies all the conditions to be a sheaf. The stalk at a point x ∈ U with maximal ideal p is just the algebra: and it is a local algebra, that is it has a unique maximal ideal. One recovers the algebra A as the algebra of global sections O Y (Y) = F. We will use interchangeably the notation O Y and O F . It is convenient to add some points to the topological space Y and consider also all the irreducible subvarieties of Y. This is equivalent to consider, not only the maximal ideals, but all the prime ideals (The reason is that the preimage under an algebra morphisms of a prime ideal is a prime ideal, while this is not true for maximal ideals.). The topological space that results is called the spectrum of F, and it is denoted as Spec(F). The Zariski topology is still well defined. The pair Spec(F) together with its structural sheaf will be denoted as: where |Y| denotes Y understood as a topological space.
Given a field k, an affine algebra is a finitely generated, Noetherian, associative, commutative, unital k-algebra without nilpotent elements. The procedure that we have described above establishes an equivalence of categories between affine algebras and affine varieties.
One can apply the same procedure to an arbitrary commutative algebra F. It can, for example, contain nilpotents: Spec(F) and O F still make sense. The nilpotent elements of a commutative algebra form an ideal N, so one can define the reduced algebra F red := F/N. Since N sits inside every prime ideal, we have that Spec(F red ) ∼ = Spec(F) as topological spaces. Nevertheless, the sheaves O F and O F red will be, in general, different. In particular, F red may be an affine algebra even if F is not.
The following example will be used later on.

Example 6.
Ring of dual numbers. Let us consider the algebra of polynomials in one even variable, C[ ], and let ( ) be the ideal generated by the element 2 . The quotient F = C[ ]/( 2 ) is not an affine algebra, since it contains a nilpotent, namely the element . A generic element of F will be of the form: The solution of the polynomial equation 2 = 0 over C is just = 0, and in fact, F red ∼ = C. Nevertheless, the algebra F keeps track of the double multiplicity of the solution, so it has more information. The only prime ideal is p = ( ), and the stalk of the sheaf at such point is: Working with the reduced algebra, there is only one point in the spectrum, (0), and the stalk at that point is simply C.
We are led to the following definition: Definition 7. An affine scheme X is a topological space |X| together with a sheaf of algebras O X , which is isomorphic to Spec(F) for some algebra F.
It may seem odd that the category of affine schemes relates to non-affine algebras, but the adjective "affine" on the noun "scheme" is used to distinguish it from a projective scheme, a generalization that we will not need in this paper.
Since superalgebras inevitably contain nilpotents, the concept of a scheme seems suitable for extension to superalgebras. A superalgebra A = A 0 + A 1 is an affine superalgebra if its even part A 0 is finitely generated as an algebra, its odd part A 1 is finitely generated as an A 0 -module, and taking the quotient by the ideal generated by the odd nilpotents J ,Ã := A/J , one obtains an affine algebra, so A contains no further nilpotents. For any superalgebra, we will denote as A red the superalgebra modulo the ideal generated by all the nilpotents. One can also construct the topological space Spec(A) = Spec(A/J ) and equip it with a sheaf of superalgebras obtained by localization. We then have: Definition 8. An affine superscheme is a superspace S = (|S|, O S ), which is isomorphic to Spec(A) for a superalgebra A not necessarily affine.
Given an affine superscheme S with superalgebra A, there is always an affine scheme S red associated with the reduced algebra A red . It is the reduced scheme of the superscheme, a concept that is similar to the concept of a reduced manifold of a supermanifold or a reduced algebraic variety of an algebraic supervariety.

Constraint
We want to consider the chiral superfield (12) satisfying Φ 2 = 0. This means: The solutions to the constraint are indeed the superspace of inner morphisms from M to the spectrum of the ring of dual numbers (6): This spectrum is not a manifold, but a scheme, so we have to allow for families of morphisms parametrized by superschemes S, instead of simply supermanifolds or algebraic supervarieties, in order to describe the space of inner morphisms: We obtain then a system of equations restricting the coordinates of H = A 2|2 : They define an affine superscheme that we denote as L. The superalgebra of global sections, O(L), is: In order to study this scheme, we start considering the algebra obtained by quotienting O(L) by the odd nilpotents, that is putting the odd coordinates to zero. The affine scheme that we obtainL satisfies the quadratic relations: so the algebra defining the affine scheme is: Since A is an even nilpotent, the scheme is not a supermanifold (nor an algebraic supervariety). There is, however, an open set where the scheme is isomorphic to an affine space. It corresponds to the points where F is invertible, that is to the prime ideals of O(L) that do not contain F. We will denote the localization of O(L) at these points as O(L) F =0 . This essentially means that we can set A = 0 from the second equation in (14); then, the first one is satisfied identically: This is the regular or smooth part of the scheme, represented by the object C × = C − {0}. Going back to the superscheme, we can do a change of variables for the coordinates: with Jacobian: which is non-singular for F = 0. The inverse transformation is: and the smooth part of the superscheme is just given by the ring: This model appeared in its non-linear form in [19], so it is called the Volkov-Akulov multiplet. In terms of superfields, it appeared in [20][21][22].
We want to stress that imposing the constraintΦ 2 = 0 for: a section of the structural sheaf as in (3), withÃ,F, andχ α standard (even) functions on spacetime, will give only the trivial solution:Ã =F =χ α = 0 .
The anticommutativity of χ α is crucial to obtain a non-trivial solution.
The lesson to learn is that super spacetime is still the chiral superspace, but we have chosen a distinguished subalgebra of the algebra of scalar superfields (seen as a family of maps parametrized by an arbitrary supermanifold. This is reflected in the fact that the superspace of superfields is now a subspace of the inner morphisms, H = A 2|2 , and it happens to be a genuine scheme.
In the examples that follow, we will encounter schemes that do not have a regular part: these are the ones that "break" supersymmetry.

General Constraint f (Φ) = 0
Let f be a polynomial in one variable. We consider now the more general constraint: Because of the nilpotency of θ α , this reduces to: For example, let us take f (Φ) = Φ n . Then, the constraints that define the affine superscheme L are: The reduced affine scheme in this case is defined by the ring: We can still localize at F invertible, and we get: Differently from (15), this ring still has the nilpotent A everywhere, so it does not have smooth points.

Remark 4.
Following what some authors in physics do, one could hand-impose an extra constraint: A = a χ α χ α (18) (physicists would argue "what else can it be?"). The coefficient a can depend on F, but not on χ α , because then A would be identically zero. For n = 2, this followed from the constraints (13) only assuming that F was invertible. Then, a was determined to be a = 1/4F. The same trick would not work for n ≥ 3, so (18) is an extra constraint, not coming from (17), which nevertheless allows solving trivially (17). Moreover, a is arbitrary, so there are indeed solutions to Φ 3 = 0 that do not solve Φ 2 = 0. For n = 3, 4, 5, . . . , the sets of solutions that we obtain in this way are identical.
The constraint (18), when putting the odd variables to zero, gives A = 0, which leaves us with the affine algebra C ∞ (C), something similar to what happened in Example 6. The superalgebra would be C ∞ (C)[χ 1 , χ 2 ], that is the superalgebra of the affine superspace A 1|2 A 1|2 .
These types of constraints appear in [23].

Remark 5.
In Appendix C, we write the infinitesimal supertranslation algebra, which acts on the affine superspace A 4|2 . Actually, the supertranslation generators (A2) act on A 4|4 , the complexified Minkowski superspace. There is of course a real form of this superspace and of the supertranslation algebra, which are the usual in physics. On the chiral affine superspace, A 4|2 only acts one the superalgebra generated by the generators P µ and Q α .
The sets of Equations (13) and (17) are supersymmetric since Φ n = 0 is a supersymmetric constraint. While in the n = 2 case, the solution obtained by inverting F is a supersymmetric solution, in the n ≥ 3 case, the solution obtained by imposing (18) is not supersymmetric. This can be checked by explicit calculation. Nevertheless, the constraints being supersymmetric, the space of solutions of (17) has an action of the supertranslation algebra. It is then mandatory to keep the nilpotent A with A n−1 = 0 if one wants to preserve supersymmetry. Although we do not know yet the physical interpretation of such fields, it is remarkable that one is led to maintain genuinely even nilpotents (that is, nilpotents that survive when putting the odd variables to zero) in order to preserve the supersymmetry.
In this situation, we do not have enough odd variables for the problem with n > 3 to be interesting. One can add more odd variables by going to extended supersymmetry. Physically, though, it is more difficult to give meaning to superspace and superfields in extended supersymmetry. We could also consider real superfields, which have four real odd variables. Finally, one can use several superfields.
In the next section, we see how we can satisfy cubic constraints with two superfields.

Cubic Constraint with Two Superfields
Let us start with two superfields: The quantities A 1 , A 2 , F 1 , F 2 (even) and χ 1α , χ 2α , α = 1, 2 (odd) are coordinates in the superspace A 4|4 . On these coordinates, we want to impose the constraint Φ 1 · Φ 2 = 0: which implies: To ease the notation, we have written (χ 1 χ 2 ) := χ α 1 χ 2 α . This defines an affine superscheme L with superalgebra: Let us compute the scheme,L. Setting to zero the odd coordinates in (19), we get: so We can now localize at F 1 = 0 and solve for A 2 . Then, (20) becomes: If we are willing to restrict also to the points F 2 = 0, we would get: so A 1 and A 2 are even nilpotents. The ring would become: The scheme is not regular.
We now reintroduce the odd variables, but we localize only at F 1 = 0. Then, we can solve for A 2 : Inserting into the first and second equations in (19), we get: If F 2 = 0, one can see that A 4 1 = 0, so A 1 is nilpotent.
One may consider, as in (18), the extra condition that A 1 is an even function of the odd variables, with a, b, and c coefficients that can also be functions of the other fields. As before, we stress that the meaning is that when putting the odd variables to zero, we take A 1 = 0, which solves trivially A 2 1 = 0. Inserting now the ansatz in (21) and after some calculations, we get: and b is free. We have made use of the identities: Therefore, the superfields become: with χ 1 and χ 2 free, F 2 free, and F 1 = 0. Since the Equation (19) are symmetric under the exchange 1 2, one can obtain a similar solution by inverting F 2 . If b = 0, the terms proportional to b in Φ 1 vanish, and we get Φ 2 1 = 0. With this choice, we obtain for Φ 2 : It is not difficult to see that the particular set of solutions with b = 0 are equivalent to the system: once we have inverted F 1 . One obtains: , and the remaining coordinates free (note that F 2 is not required to be invertible). This system has supersymmetry, since it has been cast in the supersymmetric form (24).
We check now the cubic constraints for generic b: On the other hand, one gets also: From the three equations in (17) with n = 3, the first two are trivially satisfied because they have order greater than four in the odd variables, and we only have four of them. The third one is only of order four in the odd variables, and the terms must cancel exactly. It is not difficult to check that this happens for both superfields. Nevertheless, the system gives rise to a superscheme that is not regular. The constraints are: The schemeL is given by the constraints: Even restricting to F 1 = 0, one obtains: so a nilpotent remains that cannot be put directly to zero. The solutions obtained in (23) by imposing the ansatz (22) do not reflect the whole solution space, and consequently, they are not supersymmetric. These constraints appeared in [22,24,25].

Cubic Constraint with an Arbitrary Number of Superfields
The system (24) can be generalized by adding more chiral superfields. We consider the following system: for i = 1, . . . , n and n arbitrary. From (13) and (19), the constraints are equivalent to the system: Putting the odd variables to zero, the constraints become: Localizing at F invertible, we can solve which means that the scheme has a smooth part: Reinserting the fermions, we get: and the remaining equations are satisfied trivially.
In this case, we can use the same method as in Section 4.2. We perform a change of variables: whose Jacobian is invertible if F is so. The constraints are then: and the superscheme at F invertible becomes: with α = 1, 2, and i = 1, . . . , n. The superfields Y i , i = 1, . . . , n satisfy: In order to prove this, we used the following Fierz identity: We note that the system (25) is not the most general solution to (26). For n = 1, the solution presented in (23) with Φ 1 = X and Φ 2 = Y is a more general one (b = 0). In general, imposing a constraint as (22) will break supersymmetry. The case n = 3 was presented in [26,27].

A Non-Algebraic Constraint
In this section, we are going to consider both chiral and antichiral superfields. Up to now, we were considering only chiral superfields, so the description of Section 4 was the simplest one. Moreover, the spacetime coordinates would not appear explicitly in the discussion of the constraints, so it was as if spacetime was reduced to a point. In this section, we will not be in that case anymore, and the spacetime variables would play a role.
We shall start with a (complexified) super spacetime M = A 4|4 , with: x µ , µ = 0, . . . , 3, θ α ,θ˙α, α,α = 1, 2 being its global coordinates. As the notation suggests, θ α andθ˙α are related by an antilinear involution that defines the standard (real) super Minkowski space, for which the coordinates x µ are real. However, for our purposes, it is better to keep the super spacetime complexified, so θ α andθ˙α are independent odd coordinates and x µ are even, complex coordinates. According to what we expressed at the end of Section 2.2, we will now work with families of morphisms S × M → C parametrized by S. In terms of the algebras, we will have, as before: where: If there were no dependence on the coordinates x µ of spacetime, then the superspace of superfields would be H = A 8|8 , with coordinates: The symbols σ µ stand for the Pauli matrices, and the notation for the spinor (odd) fields is explained in Appendix B.
When spacetime is not a point, the coordinates above depend on x µ and are the component fields of the superfield. This suffices to describe the family of maps parametrized by S.
We consider now two odd derivations on O(M) = O 4|4 (C 4 ): where: D α andDα are indeed the right invariant vector fields of the action of the supertranslation generators (see Appendix C).
The derivations above can be applied to O(S) ⊗ O(M), provided that the rule of signs is appropriately taken into account.
We now define chiral superfields in terms of a constraint on superfields, as it is done in physics. We say that the superfield Φ (27) is chiral ifD˙α From the fact that:D˙α it is easy to see that, under the change of variables: a chiral superfield Φ ch can be written as: Instead, under the change of variables: the antichiral superfield: is expressed as: y µ andȳ µ are related by complex conjugation (as the notation suggests). The complex conjugate of a chiral superfield is an antichiral superfield, and we also have: Let us now consider now two chiral superfields: and assume that X 2 = 0 as in Section 4.2. Then, if F is invertible: We write the complex conjugate of X as: where the notation (the usual one in physics) means: The constraint that we intend to impose is [22]: In order to do that, one writes the superfield Y in terms of the variableȳ µ , using (28) and expanding in Taylor series, which is finite because of the nilpotency of the odd variables. One gets: where all the component fields are evaluated atȳ µ . In order to impose the constraint (29), the only components ofXY that can survive are the ones proportional to one,θ α andθ 2 . After some calculations, we get (recall that F is invertible): Putting the odd variables to zero, we get G = 0 and B undetermined. The constraints are algebraic, and the scheme that we obtain is: The full constraints can be considerably simplified using the fact that F is invertible. For example, one can isolate G and ψ α : and the remaining constraints are satisfied. Although the constraints involve derivatives, the superscheme can be given algebraically, in its complex version, as: This example is also illustrative of the properties of the odd fields. All through the calculations, one has to assume that an odd field, say χ α , and its spacetime derivative ∂ µ χ α have a product that is different from zero. Finally, the superscheme has a smooth part, on which the supersymmetry transformations have a well defined action.

Observables and Nilpotent Variables
Let F be an algebra, and consider the scheme Spec(F). Let p be a prime ideal in F, so p ∈ |X| = Spec(F), and consider the quotient F/p. This is an integral domain (the product of two non-zero elements is a non-zero element). Moreover, if we consider the localization of F over p, and we quotient with the ideal F p · p, the result κ(p) := F p /(F p · p) is a field, since every non-zero element in κ(p) has an inverse. The field κ(p) is called the residue field of |X| at p.

1.
We consider the ring of polynomials in one variable F = C[x]. The prime ideals of F are of the form p a = (x − a), a ∈ C or the ideal (0). It is not difficult to see that the residue field at p a is κ(p a ) ∼ = C and κ ((0)) is the field of rational functions.

2.
If the ground field is R, we have that every irreducible polynomial in R[x] generates a prime ideal. We still have the maximal ideals as p a = (x − a) that give all the points of R. At them, the residue field is κ(p a ) ∼ = R. However, for example, the irreducible polynomial x 2 + 1 also generates a prime ideal. It is not difficult to realize that the elements of the residue field are of the form a + xb, with a, b ∈ R and x such that x 2 + 1 = 0, so κ((x 2 + 1)) ∼ = C.
As we have seen, affine schemes have residue fields that can vary from point to point. Let F be an algebra, not necessarily affine. For every element f ∈ F, we can define a "function" on Spec(F) with values in the residue field via the canonical maps: In an affine variety, with affine algebra F, one recovers in this way the original interpretation of F as the algebra of functions on the algebraic variety. The same holds in the case of differentiable manifolds and smooth functions.
If F contains a nilpotent element, say n, then n ∈ p for all prime ideals p so n(p) = 0. In other words, n is sent to the zero function, and one cannot reproduce the original algebra F starting from an algebra of functions on Spec(F). This is something that we already knew (see Example 6), but now, we can read it from a physical point of view. A classical mechanics system is commonly described in terms of a symplectic manifold called phase space, whose points represent the possible states of the system. Classical observables are smooth functions on phase space. There is a special observable, the Hamiltonian, which governs the time evolution of the system: given the initial state in an instant of time t 0 , the system evolves in future times t by following the integral curve of the Hamiltonian vector field associated with the Hamiltonian, passing through the initial state.
This picture can be more or less carried over classical field theory by substituting the phase space for an infinite-dimensional space of maps from spacetime to a target manifold or of sections of some bundle over spacetime, which are the fields. Most of the time, one uses variational calculus to approach classical field theory instead of trying to give some comprehensive study of these infinite-dimensional spaces, which can be very involved. Nevertheless, the idea of an observable is mimicked from classical mechanics: observables are (a special class of) functionals on the space of fields. The time evolution of the system is also governed by some partial differential equations (usually second order) for the fields.
The idea that we want to convey can be already understood at the classical mechanics level. Suppose that we want to generalize the classical phase space to some sort of affine scheme whose algebra contains nilpotents. The usual way to obtain "numbers" (results of a measurement) from the sections of the scheme is by the evaluation procedure explained above. Nilpotent elements go to zero by this map, so they do not represent observables. Now, one could do the same for a superscheme: even a smooth supermanifold or regular algebraic variety contains nilpotents generated by the odd elements which could not be seen in any "classical" measurement. What we are affirming is that in this interpretation of the observables, classical, odd degrees of freedom could not be seen in experiments.
In quantum mechanics, things are very different. States are rays in a Hilbert space, and observables are Hermitian operators on it. The results of measurements are eigenvalues of these operators, and they appear with a certain probability distribution. The algebra of operators on a Hilbert space is non-commutative, so sometimes, it is said, very roughly, that "quantizing" a system corresponds to substituting the commutative algebra of observables by a non-commutative one, such that when taking the limith → 0, the original commutative algebra is recovered.
Let us consider the simplest case possible, a two-dimensional phase space R 2 with canonical coordinates (q, p) ∈ R 2 and symplectic form dq ∧ dp. The induced Poisson bracket on the coordinates is: {q, p} − = 1 .
As a quantum system, one considers the Hilbert space of square integrable functions on the variable q, L 2 (R). One considers the position and momentum operators: whose the commutation rule is: Takingh → 0, the commutation relation is reverted to the commutativity of q and p as ordinary functions on phase space. The fact that the term of order one inh is proportional to the Poisson bracket (substituting the constant function "1;' by the identity) is not casual, but a requirement of the quantization.
Let us assume that the phase space is now substituted by a superspace, for example A 2|2 , with superalgebra C ∞ (R 2 ) ⊗ ∧[θ, π] (this type of "super quantum mechanics" has been studied from the point of view of superfields in [28]). There is also a super Poisson structure on it: and the rest zero. The Poisson bracket of two odd quantities is symmetric. As in the non-super case, the superalgebra C ∞ (C 2 ) ⊗ ∧[θ, π] admits a deformation with parameterh.
Let us focus now on the deformation of the Grassmann algebra ∧[θ, π]. Mimicking the procedure with the even variables, we get a non-commutative superalgebra with generators Θ and Π satisfying the commutation rules: which is the algebra of the odd quantum oscillator with its creation and destruction operators. From them, one can construct the Hilbert space and the quantum observables.
There is a linear change of variables: which shows that this algebra is isomorphic to the Clifford algebra C(1, 1) [29][30][31][32]: The key point here is the symmetry (versus the antisymmetry for the even variables) of the odd part of the super Poisson bracket.
The conclusion is that, in their quantum version, odd variables can give rise to meaningful observables. The classical limith → 0 leaves the superspace mathematical structure, but it does not produce classical, odd observables.
Some of the schemes that we describe in this paper have a regular part, and physicists have restricted themselves to study such a regular part. However, we believe that restrictions such as F(x) = 0, for F a scalar field, are quite unnatural. What would happen if one considers the full solution, the one with the even nilpotents taken into account? In particular, what could happen at a quantum level?
One may wonder if the new nilpotent variables will also go through the process of becoming observables in the quantum realm.
More modestly, one may try to deform non-reduced superalgebras as in deformation quantization: formally, in terms of powers of an undetermined parameter that may be the Planck constant. Deformation quantization of manifolds and algebraic varieties has been studied [33][34][35]. It could be interesting to see, with a simple example such as the ones we encounter solving the constraints, if one can obtain a deformation quantization, not intending to deal in complete generality with the deformation of schemes or superschemes.

Conclusions
In this paper, we reviewed the concept of the superfield, realizing that there is a superspace of superfields given by the inner morphisms from super spacetime to R or C (for a scalar superfield). This superspace is used in physics via its functor of points, and it was given here by an adjunction formula. We then considered the toy model when spacetime is a point: then, the superspace of superfields is explicitly computed in terms of supersheaves. For a spacetime of dimension D, the superspace of superfields becomes infinite-dimensional, and then more difficult to deal with. Nevertheless, using the functor of points approach, one can restrict one's self to consider a family of maps from super spacetime to the field of scalars, parametrized by an (arbitrary) supermanifold. This point of view can be extended without problem when spacetime has dimension D, and then, the usual variational calculus can be used in the standard, field theoretical way.
The fact that the extra variables in the arbitrary supermanifold appear only when the functor of points is used is an indication that they are spurious and have no physical meaning. They also do not alter the field content of the superfield. One may presume that this spurious character is maintained when spacetime has dimension D, even if in those cases, we are not able to compute explicitly the superspace of superfields in terms of sheaves.
We also showed how to recover the defining sheaf of super spacetime once the superspace of scalar superfields is given.
We analyzed some algebraic constraints imposed on one or more scalar superfields that cannot come from a restriction of superspace itself. The easiest of them is a superfield squared equal zero, so it is a nilpotent superfield. This is reflected then in the space of superfields, which has a genuinely even nilpotent variable, not coming from products of odd variables. There is then the need to define the functor of points over the category of superschemes. We identify two different types of constraints, those that give rise to a scheme that has a regular part and those who do not. Usually in physics, the last ones are said to be "non-supersymmetric", because in order to solve the constraints, an extra constraint on the component fields is hand imposed. Restricting in that way the space of solutions is what breaks the supersymmetry, not the original constraint. One could investigate further the possibility of allowing non-regular superschemes as superspaces of superfields.
We finally expose some thoughts on the nature of nilpotent variables and the impossibility to measure them at a classical level. For example, the canonical commutation relations of odd variables give rise, in the quantum realm, to a Clifford algebra from which true observables can be extracted. Therefore, it is only when the superalgebra is deformed in the quantum theory that these variables appear as observables. One may wonder how the even nilpotents appearing in our superschemes behave under quantization or, simply, what could be a deformation of such superalgebras.
Funding: This work was supported in part by Grants FIS2011-29813-C02-02, FIS2014-57387-C3-1, FIS2017-84440-C2-1-P, and SEV-2014-0398 of the Ministerio de Economía y Competitividad (Spain) and European Funds for Regional Development, European Union, A way to construct Europe, and by Generalitat Valenciana through the project SEJI/2017/042. Acknowledgments: I would like to thank the Department of Physics and Astronomy and the Department of Mathematics of UCLA for their kind hospitality during the realization of this work. I am indebted to S. Ferrara and V.S. Varadarajan for invaluable discussions. I also would like to mention an inspirational conversation about fermions and observables that I maintained many years ago at CERN with R. Stora. I especially want to thank P. Deligne for suggesting an approximation to superfields more natural and elegant than our previous version, which considered only Grassmann algebras.

Conflicts of Interest:
The author declares no conflict of interest.

Appendix A. Some Basic Definitions
Definition A1. Extension of scalars. Let A and A be two commutative superalgebras over k, and let f : A → A be a morphism of superalgebras. Then, A is an A-module with action: If M A is an A-module, we can define an A -module as the tensor product: 1. res U,U = id.
The elements of F (U) are called local sections of F over U, and the elements of F (|X|) are called global sections.
A presheaf is a sheaf if it satisfies the condition that, for each open covering {U α } α∈A of an open set U (in particular, of the total space |X|) and each collection of elements { f α ∈ F (U α )} α∈A such that: there exists a unique element f ∈ F (U) such that: Example A1.

1.
Continuous, differentiable, real analytic, or complex analytic functions on a topological space are all sheaves of algebras.

2.
Sections of a vector bundle over a topological space are a sheaf of modules over some algebra of functions.

3.
Constant functions over a topological space are, generically, only a presheaf. If the space is connected, then the sheaf condition is satisfied. Furthermore, on a not necessarily connected space, one can define the sheaf of locally constant functions, that is functions that are constant on an open neighborhood of each point.
Definition A3. Stalk of a sheaf over a point. Let F be a sheaf of abelian groups (all the sheaves that we use are so) over the topological space |X|. Let x ∈ |X|. The stalk of F at x, denoted as F x , is the direct limit (see for example [16]) of the family of abelian groups F (U) running over all neighborhoods U of x ∈ |X|. commutes.
The Pauli matrices are: and they satisfy the relations: where, as usual, ijk is the totally antisymmetric tensor with 123 = 1.