Superfields, nilpotent superfields and superschemes

TL;DR

This paper develops a functorial mathematical framework for superfields, revising their definition to include algebraic constraints that lead to superschemes, which are generally not regular supermanifolds.

Contribution

It introduces a functorial interpretation of superfields and explores algebraic constraints resulting in superschemes beyond standard supermanifolds.

Findings

Superschemes can be non-regular, unlike standard supermanifolds.

Revised definition of superfields accommodates algebraic constraints.

Functorial formalism clarifies properties of superfields in mathematical terms.

Abstract

We interpret superfields in a functorial formalism that explains the properties that are assumed for them in the physical applications. The starting point of this research was the need to understand in a sound mathematical framework some algebraic constraints imposed on them, but it lead us to revise the very definition of superfield. The constraints that we investigate in the present work give rise to superschemes that, generically, are not regular, that is, they do not define a standard supermanifold.

Equations

$$\begin{array}{ccc}{A}^{n|1}& \stackrel{\psi }{\to }& A^{0|1},\end{array}$$

$$\begin{array}{ccc}\wedge [\varphi ]& \stackrel{{\psi }^{♯}}{\to }& {\mathbb{C}}^{\infty }({\mathbb{R}}^n)\otimes \wedge [\eta ]\\ \to & & \end{array}$$

$$\psi (x),\dots ,\psi (x_1)\psi (x_2)\cdots \psi (x_m),\dots ,\frac{\partial \psi (x)}{\partial x^{\mu }},\dots ,\frac{{\partial }^{n_1}\psi (x)}{\partial (x^{{\mu }_1}{)}^{n_1}}\cdots \frac{{\partial }^{n_k}\psi (x)}{\partial (x^{{\mu }_k}{)}^{n_k}},\dots$$

$$|f{|}_{\ast }{\mathcal{O}}_S(U)={\mathcal{O}}_S(|f{|}^{-1}(U)).$$

$$\begin{array}{ccc}{\mathcal{O}}^{p|q}({\mathbb{R}}^p)& \stackrel{f^{♯}}{\to }& {\mathcal{O}}^{m|n}({\mathbb{R}}^m)\\ \to & & \\ {\theta }^1,\dots ,{\theta }^q& \to & {\eta }^1,\dots ,{\eta }^q,\end{array}$$

$$\begin{array}{ccc}(\mathrm{smanifolds})& \stackrel{F_X}{\to }& (\mathrm{sets})\\ \to & & \end{array}$$

$${\mathcal{O}}^{1|1}(U)=C^{\infty }(U)\otimes \wedge [\theta ],U{\subset }_{\mathrm{open}}\mathbb{R}.$$

$$\mathcal{O}(A^{1|1}):=C^{\infty }(\mathbb{R})\otimes \wedge [\theta ],$$

$$\tilde{\Phi }=\tilde{A}+\tilde{G}\theta ,$$

$$\begin{array}{ccc}{S}_n\times M& \stackrel{\varphi }{\to }& \mathbb{R}.\end{array}$$

$$\begin{array}{ccc}{C}^{\infty }(\mathbb{R})& \stackrel{{\varphi }^{♯}}{\to }& {\mathbb{C}}^{\infty }(\mathbb{R})\otimes \wedge [\theta ]\otimes \wedge [{\xi }^1,\dots {\xi }^n]\\ \to & & \end{array}$$

$$A(x)=A_0(x)+A_{12}(x){\xi }^1{\xi }^2,\chi (x)=G_1(x){\xi }^1+G_2(x){\xi }^2,$$

$$\chi (x)\chi (x^{\prime })=(G_1(x)G_2(x^{\prime })-G_2(x)G_1(x^{\prime })){\xi }^1{\xi }^2,$$

$$\chi (x)\dot{\chi }(x)=(G_1(x){\dot{G}}_2(x)-G_2(x){\dot{G}}_1(x)){\xi }^1{\xi }^2,$$

$${\mathrm{Hom}}_D(F(X),Y)\cong {\mathrm{Hom}}_C(X,G(Y)),$$

$${\mathrm{Hom}}_D(F(\_),\_)\cong {\mathrm{Hom}}_C(\_,G(\_)).$$

$$\begin{array}{ccc}(\mathrm{sets})& \stackrel{F}{\to }& (\mathrm{sets})\\ \to & & \end{array}$$

$$\mathrm{Hom}(X\times A,Y)\cong\mathrm{Hom}\bigl{(}X,\mathrm{Hom}(A,Y)\bigr{)}\,,$$

$$\begin{array}{ccc}(\mathrm{sets})& \stackrel{G}{\to }& (\mathrm{sets})\\ \to & & \end{array}$$

$$\begin{array}{ccc}\mathcal{C}& \stackrel{F}{\to }& \mathcal{C}\\ \to & & \end{array}$$

$$\begin{array}{ccc}\mathcal{C}& \stackrel{G}{\to }& \mathcal{C}\\ \to & & \end{array}$$

$${\mathrm{Hom}}_A(M{\otimes }_{A}N,P)=\mathrm{Hom}(M,\mathcal{H}om(N,P)).$$

$$\begin{array}{ccc}(\mathrm{smanifolds})& \stackrel{F}{\to }& (\mathrm{smanifolds})\\ \to & & \end{array}$$

$$\begin{array}{ccc}(\mathrm{smanifolds})& \stackrel{G}{\to }& (\mathrm{smanifolds})\\ \to & & \end{array}$$

$$\mathrm{Hom}(S\times M,Y)\cong \mathrm{Hom}(S,\mathcal{H}om(M,Y)).$$

$$\begin{array}{ccc}\mathcal{O}(\mathbb{R})& \to & \mathcal{O}(S)\otimes {\mathcal{O}}^{0|1}(\mathbb{R})\\ \to & & \end{array}f\in \mathcal{O}(S{)}_0,\eta \in \mathcal{O}(S{)}_1.$$

$$\begin{array}{ccc}{\mathcal{O}}^{1|1}(\mathbb{R})& \to & \mathcal{O}(S)\\ \to & & \end{array}$$

$$\begin{array}{ccc}\mathcal{O}(\mathbb{R})& \to & \mathcal{O}(S)\otimes {\mathcal{O}}^{0|q}(\mathbb{R})\\ \to & & \end{array}$$

$$\Phi ={\Phi }_0+{\Phi }_i{\theta }^i+{\Phi }_{ij}{\theta }^i{\theta }^j+{\Phi }_{ijk}{\theta }^i{\theta }^j{\theta }^k+\cdots ,$$

$${\Phi }_0,{\Phi }_{ij},\cdots \in \mathcal{O}(S{)}_0,{\Phi }_i,{\Phi }_{ijk},\cdots \in \mathcal{O}(S{)}_1,$$

$$\begin{array}{ccc}\mathcal{O}(\mathbb{R})& \to & \mathcal{O}(\mathcal{H})\otimes {\mathcal{O}}^{0|q}(\mathbb{R})\end{array}.$$

Full text

1 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 to 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 $\Lambda$. The elements in each set are called $\Lambda$-points. The sets of $\Lambda$-points, though, have to behave properly under homomorphisms of superalgebras $\Lambda\rightarrow\Lambda^{\prime}$. 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\rightarrow M$ from any other space $S$ in the same category to $M$. Each morphism is called an $S$-point of $M$. The association to each $S$ of the set $M(S):=\mathrm{Hom}(S,M)$ is a contravariant functor called the functor of points of $M$. A morphism between two spaces $f:M\rightarrow N$ can be given as a set of maps $M(S)\rightarrow 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 $\mathcal{O}(S)\rightarrow\mathrm{Hom}(\mathcal{O}(M),\mathcal{O}(S))$.

The construction, with its own peculiarities, can be carried over to the category of superrings. Then, the functor of points111A didactic exposition of the functorial approach in modern terms is in the talk by P. Deligne linked in Ref. [11]., when restricted to the subcategory of Grassmann algebras, can be interpreted as the functor of Schwarz [9]. The original idea was developed further in Ref. [12] where mappings among superspaces, that is, natural transformations of the functors, are 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 [13, 14]. 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 an heuristic definition appeared to have a more sound meaning; indeed, the language used was close to the language used by physicists.

In Ref. [15] a comparison of the three approaches is done. An important result is that the Rogers–De Witt point of view can be reconciled with the mathematical one if one assumes that, rather than working with a particular, infinite dimensional Grassmann algebra, the geometric structures are 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.

Nowadays 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 Ref. [14] in the Rogers–De Witt approach, so it is not new at all. It was mentioned also 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… 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 $\mathbb{R}^{n}$ (we are not worrying here about Lorentz invariance), say $\psi(x)$, $x\in\mathbb{R}^{n}$. It is sometimes stated that $\psi$ can be seen as a function $f:\mathbb{R}^{n}\rightarrow\mathbb{R}$ multiplied by an odd parameter or odd auxiliary variable $\eta$, so $\psi(x)=f(x)\eta$. More rigourously, this can be interpreted as a map between affine superspaces over $\mathbb{R}$

[TABLE]

whose dual map on the corresponding superalgebras is given in terms of the global coordinates (see the Remark 2.4 about the Chart Theorem)

[TABLE]

The symbol $\wedge[\phi]$ stands for the Grassmann or exterior algebra in the variable $\phi$. In physics one needs to compute quantities such as

[TABLE]

where the superindex labels the coordinates of spacetime and the subindex labels diferent 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 $\psi(x)=f(x)\eta$. 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 the mathematicians approach to supergeometry, that reproduces the properties of a superfield.

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 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). To understand the meaning of these constraints was what got this work started. 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 them and to elucidate its behaviour 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 have 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 have 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 oneself to algebraic geometry, for which many good textbooks exist (particularly useful for us has been Ref. [16]). For the super setting, introductory references are Refs. [5, 6, 8] and a more detailed monograph is Ref. [7]. Physics conventions regarding spinor notation and supersymmetry transformations are given in Appendices B and C.

2 Superspaces and scalar superfields

2.1 Some mathematical definitions

In this section we will consider the simplest case: an unconstrained, scalar superfield. The ground field will be $\mathbb{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 A.2 and A.5), 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 Refs. [5, 6, 7, 8].

Definition 2.1**.**

A superspace222The concept of superspace here is more general than the one used in physics, where usually restricts to Minkowski super spacetime. $S=(|S|,\mathcal{O}_{S})$ is a topological space $|S|$ endowed with a sheaf of superalgebras $\mathcal{O}_{S}$ such that the stalk at each point $x\in|S|$, denoted as $\mathcal{O}_{S,x}$, is a local superalgebra (it has a unique maximal ideal). The sheaf $\mathcal{O}_{S}$ is the structural sheaf of the superspace $S$.

$\square$

The elements of $\mathcal{O}_{S}(U)$, for $U\subset_{\mathrm{open}}|S|$ are local sections over $U$. If the open set is the total space $|S|$, then the elements of $\mathcal{O}_{S}(|S|)$ are called global sections. The superalgebra $\mathcal{O}_{S}(|S|)$ is also called the coordinate superalgebra of the superspace $S$, and it is denoted simply as $\mathcal{O}(S)$.

Example 2.2**.**

The affine superspace $A^{m|n}$ consists of the topological space $\mathbb{R}^{m}$ with the sheaf of superalgebras that, for any open set $U\in\mathbb{R}^{m}$, attaches the superalgebra $\mathcal{O}^{m|n}(U):=C^{\infty}(U)\otimes\wedge[\theta^{1},\dots,\theta^{n}]\,.$

$\square$

Let $x^{1},\dots,x^{m}$ be global coordinates on $\mathbb{R}^{m}$. Then we say that $x^{1},\dots,x^{m},\\ \theta^{1},\dots,\theta^{n}\in\mathcal{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.

Definition 2.3**.**

A morphism $f:S\rightarrow T$ of superspaces is given by a pair $(|f|,f^{\sharp}:)$ where $|f|:|S|\rightarrow|T|$ is a continuous function $f^{\sharp}:\mathcal{O}_{T}\rightarrow|f|_{*}\mathcal{O}_{S}$ is a morphism of sheaves that preserves the maximal ideal of the stalks. The sheaf $|f|_{*}\mathcal{O}_{S}$ is the pullback by $|f|$ of the sheaf $\mathcal{O}_{S}$, defined, for any open $U\subset T$, as

[TABLE]

$\square$

Remark 2.4**.**

It is not difficult to show that a morphism $f:A^{m|n}\rightarrow A^{p|q}$ is determined by the images of the global coordinates $(x^{1},\dots,x^{p};\theta^{1},\dots,\theta^{q})$ of $A^{p|q}$ under $f^{\sharp}$

[TABLE]

where $f^{1},\dots,f^{p}$ are even elements of $\mathcal{O}^{m|n}(\mathbb{R}^{m})$ and $\eta^{1},\dots,\eta^{q}$ are odd elements of $\mathcal{O}^{m|n}(\mathbb{R}^{m})$. This is the Chart Theorem (see for example Theorem 4.1.11 in Ref [7]).

$\square$

We will denote as $\mathrm{(sspaces)}$ the category of superspaces with their morphisms as defined above.

Definition 2.5**.**

A supermanifold of dimension $m|n$ is a superspace that is locally isomorphic to $A^{m|n}$.

$\square$

Of special importance for us will be the concept of the functor of points associated to supermanifolds (and, later on, to superschemes).

Definition 2.6**.**

Functor of points. Let us denote as $\mathrm{(smanifolds)}$ the category of supermanifolds with morphisms the superspace morphisms such that, in the notation of Definition 2.3, $|f|:|S|\rightarrow|T|$ is a $C^{\infty}$ function. Let $S$ and $X$ be supermanifolds. A morphism $\varphi:S\rightarrow X$ is called an $S$-point of $X$. The set of $S$-points of $X$ is the set $\mathrm{Hom}(S,X)$.

The association

[TABLE]

is a contravariant functor in $S$ called the functor of points of $X$.

$\square$

When $S$ is taken as the spectrum of the field $k=\mathbb{R}$ one is left with ordinary points of the topological space underlying the supermanifold. While these points are enough to recover the ordinary manifold, 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\rightarrow Y$ then we can associate to each $S$-point of $X$, $\varphi:S\rightarrow X$, an $S$-point of $Y$ by composition, namely $f\circ\varphi$. So 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.

2.2 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 $\mathbb{R}$, $A^{1|1}=(\mathbb{R},\mathcal{O}^{1|1})$ with structural sheaf

[TABLE]

The algebra of global sections will be denoted as

[TABLE]

with $x$ and $\theta$ the global coordinates on $\mathbb{R}^{1|1}$. Generically, a global section can be written as

[TABLE]

with $\tilde{A},\tilde{G}\in C^{\infty}(\mathbb{R})$.

Formally, (3) looks like the superfields that appear in the physics literature, except for the fact that both, $\tilde{A}$ and $\tilde{G}$, are ordinary (even) smooth functions on $\mathbb{R}$.

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 $\mathbb{R}$ in $n$ generators $\wedge[\xi^{1},\dots,\xi^{n}]$ (a superpoint). We consider a morphism

[TABLE]

Using the Chart Theorem 2.4 we can express it terms of the algebras and global coordinates as

[TABLE]

where A\in\bigl{(}\mathbb{C}^{\infty}(\mathbb{R})\otimes\wedge[\xi^{1},\dots\xi^{n}]\bigr{)}_{0} and \chi\in\bigl{(}\mathbb{C}^{\infty}(\mathbb{R})\otimes\wedge[\xi^{1},\dots\xi^{n}]\bigr{)}_{1}.

$A$ and $\chi$ are quantities that could represent the component fields of the superfield $\Phi$, being $A$ a bosonic (even) field and $\chi$ a fermionic (odd) field. We are aware that we have introduced extra odd variables $\xi_{1},\dots,\xi_{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 $\chi$. We have

[TABLE]

with $A_{0},A_{12},G_{1},G_{2}\in\mathbb{C}^{\infty}(\mathbb{R})$:

[TABLE]

which, generically, are different from zero. These properties are used in classical field theory and have a (deformed, as $\hbar\neq 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 0, one just needs to increase the number of odd generators $\xi^{i}$ up to $n$. In order to achieve full generality, one is then lead 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.

$\blacksquare$

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 was suggested to us by P. Deligne333 We are grateful to him for this precious input. (see also Ref. [10]). However, in our experience, it is not widespread knowdledge. Certainly it is ignored by the physics community and we think that tending a bridge between different ways of thinking is worthwhile. We will dedicate some time to explain it in detail.

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 adjoint of a functor.

Definition 2.7**.**

Given two categories $\mathcal{C}$ and $\mathcal{D}$ and two functors {diagram} 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

[TABLE]

for all objects $X$ in $\mathcal{C}$ and all objects $Y$ in $\mathcal{D}$. Varying $X$ and $Y$ we have a family of bijections

[TABLE]

$\square$

Example 2.8**.**

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$

[TABLE]

We have

[TABLE]

So the functor

[TABLE]

is the right adjoint to to $F$.

$\square$

Example 2.9**.**

Let $A$ be a commutative superalgebra and let $\mathcal{C}$ be the category of $A$-modules. $\mathcal{C}$ has a tensor product defined in it [5]. For a certain $A$-module $N$ we consider the functor

[TABLE]

This functor has a right adjoint

[TABLE]

where $\mathcal{H}om_{A}(N,P)$ is the set of all $A$-linear maps $N\rightarrow P$. Notice that we have used a different notation than for the usual module morphisms $\mathrm{Hom}_{A}(N,P)$, which preserve parity. The set $\mathcal{H}om_{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 $\mathcal{C}$). The even part of $\mathcal{H}om_{A}(N,P)$ are just the standard module morphisms. The adjunction formula reads

[TABLE]

A very similar construction is the one that we will use for supermanifolds.

$\square$

The category of supermanifolds admits categorical products. We will not enter in 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\times Y|=|X|\times|Y|$, and the sheaf can be determined by gluing the local tensor products $\mathcal{O}_{X}(U)\hat{\otimes}\mathcal{O}_{Y}(V)$, where $U$ and $V$ are rectangular open sets admitting global coordinates and $\hat{\otimes}$ is the completion of the tensor product.

The cases that we will treat here, spacetime being a point, are specially easy in that respect.

So, let $M$ be a superspace with underlying topological space a point. We define the functor $F$ as

[TABLE]

$F$ just takes the cartesian product by $M$.

This functor has a right adjoint since $\mathrm{(smanifolds)}$ is a closed monoidal category [10]. The adjoint functor associates to every supermanifold $Y$ the supermanifold of inner morphisms from $M$ to $Y$, denoted as $\mathcal{H}om(M,Y)$

[TABLE]

which is defined through the formula (5)

[TABLE]

The functor $S\rightarrow\mathrm{Hom}(S\times M,Y)$, that we were considering heuristically in (4) is in fact the functor of points (Definition 2.6) of the supermanifold of inner morphisms $\mathcal{H}om(M,Y)$.

It is more clear now why we have chosen $M$ to be of such restricted type first. For $M$ an arbitrary supermanifold, a superspace like $\mathcal{H}om(M,Y)$ would be infinite dimensional, which is considerably more difficult to describe. In [10], for example, infinite dimensional superspaces of maps between supermanifolds are 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 2.10**.**

Let us set $M=A^{0|1}$ with coordinate $\theta$ and and $Y=\mathbb{R}$ with coordinate $z$. A morphism $S\times A^{0|1}\rightarrow\mathbb{R}$ is given in terms of the global coordinates as

[TABLE]

It is then clear that $\mathcal{H}om(M,\mathbb{R})\cong A^{1|1}$, since any morphism $S\rightarrow A^{1|1}$ is given in terms of the global coordinates as

[TABLE]

It amounts to the same to give a map $S\times A^{0|1}\rightarrow\mathbb{R}$ than to give a map $S\rightarrow A^{1|1}$.

$\square$

More generally, we can take $M=A^{0|q}$, with coordinates $\theta_{1},\theta_{2},\dots,\theta_{q}$ and target manifold $\mathbb{R}$. A morphism $S\times A^{0|q}\rightarrow\mathbb{R}$ is given by

[TABLE]

with

[TABLE]

(sum over repeated indices is understood). We can restrict the sum to $i<j<k<\cdots$ due to the antisymmetry of $\theta^{i}\theta^{j}\theta^{k}\cdots$. The component fields are

[TABLE]

and $S$ runs over all supermanifolds. Then $\mathcal{H}om(A^{0|q},\mathbb{R})\cong A^{2^{q-1}|2^{q-1}}$.

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\rightarrow\mathbb{R}$ which, in this case, would be a supermanifold morphism. In order to obtain the rest of the inner morphisms 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\rightarrow\mathbb{R}$ parametrized by $S$ [11].

Let us now denote $\mathcal{H}=\mathcal{H}om(M,\mathbb{R})\cong A^{2^{q-1}|2^{q-1}}$, the superspace of superfields with target $\mathbb{R}$. We can consider the family (8) also over $\mathcal{H}$, that is, the family $\mathcal{H}\times A^{0|q}\rightarrow\mathbb{R}$

[TABLE]

In (8), the coefficients $\Phi_{ijk\cdots}$ can be taken as coordinates of $\mathcal{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\rightarrow\mathcal{H}$.

We may observe here a similarity with the naive approach (1), where for each of the odd components $\Phi_{ijk\cdots}$ 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 $\Phi_{ijk\cdots}$.

$\square$

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 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 2.1. One could then, in principle, avoid the use of the functor of points. Then the ‘auxiliary variables’ ($S$) would not appear, so they cannot have any physical meaning attached.

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 supergeometry444Another 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 superfield.

$\blacksquare$

If spacetime is not a point and $M$ is a supermanifold modelled 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\rightarrow\mathbb{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},\dots,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 appear non trivial solutions of the constraints, 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

3 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=\mathbb{R},\mathbb{C}$. The algebras and superalgebras that we consider here are $k$-algebras, unless otherwise stated, and always have unit.

We will denote by $\mathrm{(svector\,spaces)}$ the category of super vector spaces and by $\mathrm{(c\,salgebras)}$ the category of commutative (or supercommutative) superalgebras with unit, both over $k$.

Let $\mathcal{A}$ be a commutative superalgebra and $M_{\mathcal{A}}$ a left $\mathcal{A}$-module, that is, $M_{\mathcal{A}}$ is a super vector space with a morphism of super vector spaces

[TABLE]

satisfying

[TABLE]

Left $\mathcal{A}$-modules for commutative superalgebras are also right $\mathcal{A}$-modules by setting

[TABLE]

where $p(m)$ and $p(a)$ are the parities of $m$ and $a$ respectively. This satisfies

[TABLE]

We will just call them modules.

Let $V$ be an object in $\mathrm{(svector\,spaces)}$ and $\mathcal{B}$ and object in $\mathrm{(c\,salgebras)}$. We denote as $V(\mathcal{B}):=\mathcal{B}\otimes V$ the extension of the scalars of $V$ by $\mathcal{B}$ (see Definition A.1). Let $h:\mathcal{B}\rightarrow\mathcal{B}^{\prime}$ be a morphism of commutative superalgebras. Then $V(\mathcal{B}^{\prime})$ is also a $\mathcal{B}$-module by further extending the scalars to $\mathcal{B}^{\prime}$. There is a morphism of $\mathcal{B}$-modules

[TABLE]

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 $\mathcal{B}=\mathcal{B}_{0}+\mathcal{B}_{1}$ are the splitting in even and odd parts, we denote $V(\mathcal{B})_{0}$ the even part of $V(\mathcal{B})$,

[TABLE]

which is a $\mathcal{B}_{0}$-module. Given a morphism of superalgebras $h:\mathcal{B}\rightarrow\mathcal{B}^{\prime}$, then $V(h)_{0}$ is a morphism of $\mathcal{B}_{0}$-modules

[TABLE]

Remark 3.1**.**

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:

[TABLE]

such that

[TABLE]

and satisfying the associativity property, that is, that the diagram

[TABLE]

is commutative. On the other hand, we say that the superalgebra is commutative if, given the flip map,

[TABLE]

the diagram

[TABLE]

commutes.

$\square$

If $V$ has a $k$-superalgebra structure, then $V(\mathcal{B})$ has a $\mathcal{B}$-algebra structure naturally: Let $\pi:V\otimes V\rightarrow V$ be the product on $V$, then we have a product555We use here the direct product and not the tensor product because the bilinearity is in $\mathcal{B}_{0}$ and not only in $k$.

[TABLE]

given simply by

[TABLE]

It is straightforward to check that the associativity and commutativity properties are satisfied.

Definition 3.2**.**

Let $V$ and $W$ be two superspaces. We say that a family of morphisms

[TABLE]

is functorial in $\mathcal{B}$ if given a superalgebra morphism

[TABLE]

the diagram

[TABLE]

commutes. $\square$

In particular, if $V$ has a superalgebra structure, it is not difficult to see that the family $\{\,\pi_{\mathcal{B}}:V(\mathcal{B})\otimes V(\mathcal{B})\rightarrow V(\mathcal{B})\,\}$ is functorial in $\mathcal{B}$. The same is true for the families of maps appearing in the associativity and commutativity diagrams for the algebras $V(\mathcal{B})$.

The following theorem of Deligne and Morgan (Ref.[5], page 56) will allow us to recover the defining sheaf in terms of scalar superfields.

Theorem 3.3**.**

Even rules principle.* Let $\{V_{i}\}_{i\in I}$, $I=1,\dots,n$ be a family of super vector spaces, $V$ another super vector space and $\mathcal{B}=\mathcal{B}_{0}\oplus\mathcal{B}_{1}$ a commutative superalgebra. As before, we denote $V_{i}(\mathcal{B})_{0}=(\mathcal{B}\otimes V_{i})_{0}$ and $V(\mathcal{B})_{0}=(\mathcal{B}\otimes V)_{0}$.*

Any family of $\mathcal{B}_{0}$-multilinear maps

[TABLE]

which is functorial in $\mathcal{B}$ comes from a unique morphism

[TABLE]

as in (11), that is,

[TABLE]

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 Ref. [5]), but it is instructive to see how the map $f$ can be recovered from the family of maps $f_{\mathcal{B}}$. Let us consider the simple case of a family of maps

[TABLE]

then we have three possible cases:

$v_{1},v_{2}$ even. Then we may take $b_{1}=b_{2}=1$ (in an arbitrary algebra $\mathcal{B}$) and

[TABLE] 2. 2.

$v_{1}$ even, $v_{2}$ odd. Then we take for example $\mathcal{B}=\Lambda[\xi]$, $b_{1}=1$ and $b_{2}=\xi$. The equality

[TABLE]

determines $f(v_{1}\otimes v_{2})$. 3. 3.

$v_{1}$ odd, $v_{2}$ odd. It is enough to consider $\mathcal{B}=\Lambda[\xi^{1},\xi^{2}]$ and the equality

[TABLE]

determines $f(v_{1}\otimes v_{2})$.

∎

One way to give a structure of superalgebra to $V$ is to give a $\mathcal{B}_{0}$-algebra structure on $V(\mathcal{B})_{0}$ which varies functorially with $\mathcal{B}$. From the commutative diagrams in Remark 3.1, it is clear that the superalgebra will be associative or commutative if the algebra structures on $V(\mathcal{B})_{0}$ are so.

Example 3.4**.**

Toy model. Let us consider the vector space over $k=\mathbb{R},\mathbb{C}$ with basis one even vector $e$ and one odd vector $\theta$.

[TABLE]

Let $\mathcal{B}$ be a commutative superalgebra. An element of $V_{0}^{1|1}(\mathcal{B})$ will be of the form

[TABLE]

Let $\Psi_{\mathcal{B}}=a_{0}\otimes e+ba_{1}\otimes\theta$ another element of $V^{1|1}(\mathcal{B})_{0}$. We can define a product on $V^{1|1}(\mathcal{B})_{0}$ as

[TABLE]

It is immediate to check the functorial property (Definition 3.2) of the whole family of products $\{\,\bullet_{\mathcal{B}}\,\}$: for a morphism $h:\mathcal{B}\rightarrow\mathcal{B}^{\prime}$, we have the map

[TABLE]

that, for short and without risk of confusion, we will call simply $h$

[TABLE]

One can also check the functoriality for the associativity and commutativity diagrams (Remark 3.1). The algebra structure defined in the superspace $V^{1|1}$ converts it into the Grassmann algebra in one variable $\wedge[\theta]$.

$\square$

Remark 3.5**.**

[5] The same result can be obtained if, instead of considering arbitrary commutative superalgebras, one restricts to the subcategory of Grassmann algebras $\mathcal{B}=\wedge[\xi^{1},\dots,\xi^{n}]$, for short $\wedge^{n}$, for $n$ arbitrarily large, but finite. For $V$ a superalgebra (as in (3.4)), the object $(\wedge^{n}\otimes V)_{0}$ (without specifying $n$), appears in the literature as the Grassmann envelope of the superalgebra $V$.

$\square$

Let $M$ be, as above, super spacetime. We consider two families of maps parametrized by $S$, $S\times M\rightarrow\mathbb{C}$, which in terms of the algebras read

[TABLE]

where $\Phi$ and $\Psi$ are even sections of $\mathcal{O}(S)\otimes\mathcal{O}(M)$. The section given by the product $\Phi\cdot\Psi$ defines another such family. By identifying $\mathcal{O}(S)=\mathcal{B}$ and $\mathcal{O}(M)=V$, and applying Theorem 3.3, we see that it is the same giving the product in $V$ than giving the functorial family of maps

[TABLE]

In physics, it is the second option that is chosen and it is called the product of superfields, although the nature of $\mathcal{B}$ and the functoriality of $f_{\mathcal{B}}$ is not clarified.

4 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. So, 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 $\mathbb{C}^{4}\cong\mathbb{R}^{8}$.

The super spacetime under consideration is $M=A^{4|2}$, the chiral superspace, with global sections

[TABLE]

A chiral superfield associates to each supermanifold $S$ a family of morphisms parametrized by $S$

[TABLE]

given in terms of an even section of $\mathcal{O}(S)\otimes\mathcal{O}(M)$ as in (8)

[TABLE]

The index notation is the usual in physics and it is explained in Appendix B; in particular, sum over repeated indices is understood. The component fields $A,F$ and $\chi_{\alpha}$ depend on the even coordinates of the chiral superspace, although we do not write it explicitly.

We want now to study 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^{\infty}(\mathbb{C}^{4})$ when needed.

If spacetime is a point, then the superspace of superfields, that is, the space of inner morphisms $M\rightarrow\mathbb{C}$ can be identified with $\mathcal{H}=A^{2|2}$, being the even global coordinates $A$ and $F$ in (12) and $\chi_{\alpha}$, $\alpha=1,2$ the odd ones. The constraints will give relations among these coordinates. The restricted space is not necessarily an afine 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 Ref. [16]). For the super case there is a thorough treatment in Ref. [7].

4.1 Schemes and superschemes

An affine algebraic variety $Y\subset\mathbb{C}^{n}$ is the zero locus of some polynomials. One defines the algebra $F$ of polynomials over $Y$ as the restriction of the the polynomials $\mathbb{C}[x^{1},\dots,x^{n}]$ to Y. In fact, $F$ can be viewed as the quotient

[TABLE]

where $I$ is the ideal of functions that vanish on $Y$, so two polynomials are considered equivalent if they differ by a polynomial that is zero on $Y$. Each point of $Y$ has associated a maximal ideal of $F$. In general, an ideal of $F$ corresponds to an algebraic subset (zero locus in $Y$ of sets of polynomials in $F$). The Zariski topology on $Y$ is such that the closed subsets of $Y$ are precisely the algebraic subsets. Then the open subsets are the complements of closed subsets.

We are going to define now the structural sheaf of $Y$, $\mathcal{O}_{Y}$ (see Appendix A.2). We have to associate to each open set in $Y$ a ring. Let $U\subset Y$ be an open subset of $Y$. We define

[TABLE]

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\in U$ with maximal ideal $\mathfrak{p}$ is just is the algebra

[TABLE]

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 $\mathcal{O}_{Y}(Y)=F$. We will use interchangeably the notation $\mathcal{O}_{Y}$ and $\mathcal{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 ideals666The 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 $A$ and it is denoted as $\mathrm{Spec}(F)$. The Zariski topology is still well defined. The pair $\mathrm{Spec}(F)$ together with its structural sheaf will be denoted as

[TABLE]

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: $\mathrm{Spec}(F)$ and $\mathcal{O}_{F}$ still make sense. The nilpotent elements of a commutative algebra form an ideal $N$ so one can define the reduced algebra $F_{\mathrm{red}}:=F/N$. Since $N$ sits inside every prime ideal, we have that $\mathrm{Spec}(F_{\mathrm{red}})\cong\mathrm{Spec}(F)$ as topological spaces. Nevertheless, the sheaves $\mathcal{O}_{F}$ and $\mathcal{O}_{F_{\mathrm{red}}}$ will be, in general, diferent. In particular, $F_{\mathrm{red}}$ may be an affine algebra even if $F$ is not.

The following example will be used later on.

Example 4.1**.**

Ring of the dual numbers Let us consider the algebra of polynomials in one even variable, $\mathbb{C}[\epsilon]$, and let $(\epsilon^{2})$ be the ideal generated by the element $\epsilon^{2}$. The quotient $F=\mathbb{C}[\epsilon]/(\epsilon^{2})$ is not an affine algebra, since it contains a nilpotent, namely, the element $\epsilon$. A generic element of $F$ will be of the form

[TABLE]

The solution of the polynomial equation $\epsilon^{2}=0$ over $\mathbb{C}$ is just $\epsilon=0$ and in fact, $F_{\mathrm{red}}\cong\mathbb{C}$. Nevertheless, the algebra $F$ keeps track of the double multiplicity of the solution, so it has more information. The only prime ideal is $\mathfrak{p}=(\epsilon)$ and the stalk of the sheaf at such point is

[TABLE]

Working with the reduced algebra, there is only one point in the spectrum, $(0)$, and the stalk at that point is simply $\mathbb{C}$.

$\square$

We are led to the following definition:

Definition 4.2**.**

An affine scheme777It 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. $X$ is a topological space $|X|$ together with a sheaf of algebras $\mathcal{O}_{X}$ which is isomorphic to $\underline{\mathrm{Spec}}(F)$ for some algebra $F$.

$\square$

Since superalgebras inevitably contain nilpotents, the concept of scheme seems suitable for extension to superalgebras. A superalgebra $\mathcal{A}=\mathcal{A}_{0}+\mathcal{A}_{1}$ is an affine superalgebra if its even part $\mathcal{A}_{0}$ is finitely generated as an algebra, its odd part $\mathcal{A}_{1}$ is finitely generated as an $\mathcal{A}_{0}$-module and taking quotient by the ideal generated by the odd nilpotents $\mathcal{J}$, $\tilde{\mathcal{A}}:=\mathcal{A}/\mathcal{J}$, one obtains an affine algebra, so $\mathcal{A}$ contains no further nilpotents. For any superalgebra, we will denote as $\mathcal{A}_{\mathrm{red}}$ the superalgebra modulo the ideal generated by all the nilpotents. One can also construct the topological space $\mathrm{Spec}(\mathcal{A})=\mathrm{Spec}(\mathcal{A}/\mathcal{J})$, and equip it with a sheaf of superalgebras obtained by localization. We then have:

Definition 4.3**.**

An affine superscheme is a superspace $S=(|S|,\mathcal{O}_{S})$ which is isomorphic to $\underline{\mathrm{Spec}}(\mathcal{A})$ for a superalgebra $\mathcal{A}$ not necessarily affine.

$\square$

Given an affine superscheme $S$ with superalgebra $\mathcal{A}$ there is always an affine scheme $S_{\mathrm{red}}$ associated to the reduced algebra $\mathcal{A}_{\mathrm{red}}$. It is the reduced scheme of the superscheme, a concept which is similar to the concept of reduced manifold of a supermanifold or reduced algebraic variety of an algebraic supervariety.

4.2 Constraint $\Phi^{2}=0$

We want to consider the chiral superfield (12) satisfying $\Phi^{2}=0$. We recall here that we are considering space time shrunk to a point. This means

[TABLE]

where $A,F\in\left(\mathcal{O}(S))\right)_{0}$ and $\chi_{\alpha}\in\left(\mathcal{O}(S)\right)_{1}$.

The solutions to the constraint are indeed the superspace of inner morphisms from $M$ to the spectrum of the ring of dual numbers (4.1)

[TABLE]

This spectrum is not a supermanifold, but a superscheme, so we have to allow families of morphisms parametrized by superschemes $S$ –instead of simply supermanifolds manifolds or super algebraic varieties– in order to describe the space of inner morphisms:

[TABLE]

We obtain then a system of equations restricting the coordinates of $\mathcal{H}=A^{2|2}$:

[TABLE]

They define an affine superscheme that we denote as $\mathcal{L}$. The superalgebra of global sections, $\mathcal{O}(\mathcal{L})$ is

[TABLE]

In order to study this scheme we start considering the algebra obtained by quotienting $\mathcal{O}(\mathcal{L})$ by the odd nilpotents, that is, putting the odd coordinates to zero. The affine scheme that we obtain $\tilde{\mathcal{L}}$ satisfies the quadratic relations

[TABLE]

so the algebra defining the affine scheme is

[TABLE]

Since $A$ is an even nilpotent, the scheme is not a supermanifold (nor algebraic variety).

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 $\mathcal{O}(\tilde{\mathcal{L}})$ that do not contain $F$. We will denote the localization of $\mathcal{O}(\tilde{\mathcal{L}})$ at these points as $\mathcal{O}(\tilde{\mathcal{L}})_{F\neq 0}$. This essentially means that we can set $A=0$ from the second equation in (14); then, the first one is satisfied identically:

[TABLE]

This is the regular or smooth part of the scheme, represented by the object $\mathbb{C}^{\times}=\mathbb{C}-\{0\}$.

Going back to the superscheme, we can do a change of variables for the coordinates:

[TABLE]

with Jacobian

[TABLE]

which is non singular for $F\neq 0$. The inverse transformation is

[TABLE]

and the smooth part of the superscheme is just given by the ring

[TABLE]

This model appeared in its non linear form in Ref. [18], so it is called the Volkov-Akulov multiplet. In terms of superfields it appeared in Refs. [19, 20, 21].

4.3 General constraint $f(\Phi)=0$

Let $f$ be a polynomial in one variable. We consider now the more general constraint

[TABLE]

Because of the nilpotency of $\theta^{\alpha}$, this reduces to

[TABLE]

For example, let us take $f(\Phi)=\Phi^{n}$. Then the constraints that define the affine superscheme $\mathcal{L}$ are:

[TABLE]

The reduced affine scheme in this case is defined by the ring

[TABLE]

We can still localize at $F$ invertible and we get

[TABLE]

Differently from (15) this ring still has the nilpotent $A$ everywhere, so it does not have smooth points.

Remark 4.4**.**

Following what some authors in physics do, one could hand-impose an extra constraint

[TABLE]

The coefficient $a$ can depend on $F$ but not on $\chi^{\alpha}$, 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\geq 3$, so (18) is an extra constraint, not coming from (17), which nevertheless allows to solve trivially (17). Moreover, $a$ is arbitrary, so there are indeed solutions to $\Phi^{3}=0$ that do not solve $\Phi^{2}=0$. For $n=3,4,5,\dots$ 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^{\infty}(\mathbb{C})$, something similar to what happened in Example 4.1. The superalgebra would be $C^{\infty}(\mathbb{C})[\chi_{1},\chi_{2}]$, that is, the algebra of the affine superspace $A^{1|2}$.

$\square$

This type of constraints appear in Ref. [22].

Remark 4.5**.**

In Appendix C we wrote the infinitesimal supertranslation algebra which acts on the affine superspace $A^{4|2}$. Actually, the supertranslation generators (33) 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 the superalgebra generated by the generators $P_{\mu}$ and $Q_{\alpha}$.

The sets of equations (13) and (17) are supersymmetric since $\Phi^{2}=0$ is a supersymmetric constraint. While in the $n=2$ case the solution obtained by inverting $F$ is a supersymmetric solution, in the $n\geq 3$ case the solution obtained by imposing (18) is not supersymmetric. This can be checked by explicit calculation. Nevertheless, being the constraints 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$ in order to preserve supersymmetry. Although we do not know yet the physical interpretation of such fields, it is remarkable that one is lead to maintain genuinely even nilpotents (that is, nilpotents that survive when putting the odd variables to zero) in order to preserve the supersymmetry.

$\square$

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.

4.4 Cubic constraint with two superfields

Let us start with two superfields

[TABLE]

The quantities $A_{1},A_{2},F_{1},F_{2}$ (even) and $\chi_{1\alpha},\chi_{2\alpha}$, $\alpha=1,2$ (odd) are coordinates in the superspace $A^{4|4}$. On these coordinates we want to impose the constraint $\Phi_{1}\cdot\Phi_{2}=0$:

[TABLE]

which implies

[TABLE]

To ease the notation we have writen $(\chi_{1}\chi_{2}):=\chi_{1}^{\alpha}\chi_{2\,\alpha}$.

This defines an affine superscheme $\mathcal{L}$ with superalgebra

[TABLE]

Let us compute the scheme, $\tilde{\mathcal{L}}$. Setting to zero the odd coordinates in (19) we get

[TABLE]

so

[TABLE]

We can now localize at $F_{1}\neq 0$ and solve for $A_{2}$. Then (20) becomes

[TABLE]

If we are willing to restrict also to the points $F_{2}\neq 0$ we would get

[TABLE]

so $A_{1}$ and $A_{2}$ are even nilpotents. The ring would become

[TABLE]

The scheme is not regular.

We now reintroduce the odd variables, but we localize only at $F_{1}\neq 0$. Then we can solve for $A_{2}$

[TABLE]

Inserting into the first and second equations in (19) we get

[TABLE]

If $F_{2}\neq 0$, one can see that $A_{1}^{4}=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,

[TABLE]

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_{1}^{2}=0$.

Inserting now the ansatz in (21), and after some calculations, we get

[TABLE]

and $b$ is free. We have made use of the identities

[TABLE]

So the superfields become

[TABLE]

with $\chi_{1}$ and $\chi_{2}$ free, $F_{2}$ free, and $F_{1}\neq 0$. Since the equations (19) are symmetric under the exchange $1\rightleftarrows 2$, one can obtain a similar solution by inverting $F_{2}$.

If $b=0$, the terms proportional to $b$ in $\Phi_{1}$ vanish and we get $\Phi_{1}^{2}=0$. With this choice we obtain for $\Phi_{2}$

[TABLE]

It is not difficult to see that the particular set of solutions with $b=0$ is equivalent to the system

[TABLE]

once we have inverted $F_{1}$. One obtains

[TABLE]

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$:

[TABLE]

by virtue of $\Phi_{1}\Phi_{2}=0$. On the other hand, one gets also

[TABLE]

From the three equations in (17) with $n=3$, the first two ones 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

[TABLE]

gives rise to a superscheme that is not regular. The constraints are

[TABLE]

The scheme $\tilde{\mathcal{L}}$ is given by the constraints

[TABLE]

Even restricting to $F_{1}\neq 0$, one obtains

[TABLE]

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 supersymemtric.

These constraints appeared in Refs. [23, 21, 24].

4.5 Cubic constraint with an arbitrary number of superfields

The system (24) can be generalized by adding more chiral superfields. We consider the following system :

[TABLE]

for $i=1,\dots,n$ and $n$ arbitrary. From (13) and (19) the constraints are equivalent to the system

[TABLE]

Putting the odd variables to zero, the constraints become

[TABLE]

Localizing at $F$ invertible we can solve

[TABLE]

which means that the scheme has a smooth part

[TABLE]

Reinserting the fermions we get

[TABLE]

and the remaining equations are satisfied trivially.

In this case we can use the same method than in Section 4.2. We perform a change of variables

[TABLE]

whose Jacobian is invertible if $F$ is so. The constraints are then

[TABLE]

and the superscheme at $F$ invertible becomes

[TABLE]

with $\alpha=1,2,$ and $i=1,\dots,n$. The superfields $Y_{i}$, $i=1,\dots,n$ satisfy

[TABLE]

In order to prove this we have used the following Fierz identity:

[TABLE]

We note that this is not the most general solution to (25). For $n=1$ the solution presented in (23) with $\Phi_{1}=X$ and $\Phi_{2}=Y$ is a more general one ($b\neq 0$).

The case $n=3$ was presented in Refs. [25, 26].

5 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

[TABLE]

being its global coordinates. As the notation suggests, $\theta^{\alpha}$ and $\bar{\theta}^{\dot{\alpha}}$ are related by an antilinear involution that defines the standard (real) super Minkowski space, for which the coordinates $x^{\mu}$ are real. But for our purposes it is better to keep the super spacetime complexified, so $\theta^{\alpha}$ and ${\bar{\theta}}^{\dot{\alpha}}$ are independent odd coordinates and $x^{\mu}$ 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\times M\rightarrow\mathbb{C}$ parametrized by $S$. In terms of the algebras we will have, as before

[TABLE]

where

[TABLE]

If there were no dependence on the coordinates $x^{\mu}$ of spacetime, then the superspace of superfields would be $\mathcal{H}=A^{8|8}$, with coordinates

[TABLE]

The symbols $\sigma^{\mu}$ stand for the Pauli matrices and the notation for the spinor (odd) fields is explained in Appendix B.

When we consider that spacetime is not a point, the coordinates above depend on $x^{\mu}$ 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 $\mathcal{O}(M)=\mathcal{O}^{4|4}(\mathbb{C}^{4})$

[TABLE]

where

[TABLE]

$D_{\alpha}$ and $\bar{D}_{\dot{\alpha}}$ are indeed the right invariant vector fields of the action of the supertranslation generators (see Appendix C).

The derivations above can be applied to $\mathcal{O}(S)\otimes\mathcal{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 $\Phi$ (26) is chiral if

[TABLE]

From the fact that

[TABLE]

it is easy to see that, under the change of variables

[TABLE]

a chiral superfield $\Phi^{\mathrm{ch}}$ can be written as

[TABLE]

Instead, under the change of variables

[TABLE]

the antichiral superfield

[TABLE]

is expressed as

[TABLE]

$y^{\mu}$ and $\bar{y}^{\mu}$ are related by complex conjugation (as the notation suggests). The complex conjugate of a chiral superfield is an antichiral superfield and we also have

[TABLE]

Let us now consider now two chiral superfields

[TABLE]

and assume that $X^{2}=0$ as in Section 4.2. Then, if $F$ is invertible

[TABLE]

We write the complex conjugate of $X$ as

[TABLE]

where the notation (the usual one in physics) means

[TABLE]

The constraint that we intend to impose is [21]

[TABLE]

In order to do that, one writes the superfield $Y$ in terms of the variable $\bar{y}^{\mu}$, using (27) and expanding in Taylor series, which is finite because of the nilpotency of the odd variables. One gets

[TABLE]

where all the component fields are evaluated at $\bar{y}^{\mu}$. In order to impose the constraint (28), the only components of $\bar{X}Y$ that can survive are the ones proportional to $1$, $\bar{\theta}^{\alpha}$ and $\bar{\theta}^{2}$. After some calculations we get (recall that $F$ is invertible)

[TABLE]

Putting the odd variables to zero, we get $G=0$ and $B$ undetermined. The constraints are algebraic and the scheme we obtain is

[TABLE]

The full constraints can be considerably simplified using the fact that $F$ is invertible. For example, one can isolate $G$ and $\psi_{\alpha}$

[TABLE]

and the remaining constraints are satisfied. Although the constraints involve derivatives, the superscheme can be given algebraically, in its complex version, as

[TABLE]

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 $\chi_{\alpha}$, and its spacetime derivative $\partial_{\mu}\chi_{\alpha}$ 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.

6 Observables and nilpotent variables

Let $F$ be an algebra and consider the scheme $\underline{\mathrm{Spec}}(F)$. Let $\mathfrak{p}$ be a prime ideal in $F$, so $\mathfrak{p}\in|X|=\mathrm{Spec}(F)$ and consider the quotient $F/\mathfrak{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 $\mathfrak{p}$,

[TABLE]

and we quotient with the ideal $F_{\mathfrak{p}}\cdot\mathfrak{p}$, the result $\kappa(\mathfrak{p}):=F_{\mathfrak{p}}/(F_{\mathfrak{p}}\cdot\mathfrak{p})$ is a field, since every non zero element in $\kappa(\mathfrak{p})$ has an inverse. The field $\kappa(\mathfrak{p})$ is called the residue field of $|X|$ at $\mathfrak{p}$.

Example 6.1**.**

We consider the ring of polynomials in one variable $F=\mathbb{C}[x]$. The prime ideals of $F$ are of the form $\mathfrak{p}_{a}=(x-a)$, $a\in\mathbb{C}$ or the ideal $(0)$. It is not difficult to see that the residue field at $\mathfrak{p}_{a}$ is $\kappa(\mathfrak{p}_{a})\cong\mathbb{C}$ and $\kappa((0))$ is the field of rational functions. 2. 2.

If the ground field is $\mathbb{R}$, we have that every irreducible polynomial in $\mathbb{R}[x]$ generates a prime ideal. We still have the maximal ideals as $\mathfrak{p}_{a}=(x-a)$ that give all the points of $\mathbb{R}$. At them, the residue field is $\kappa(\mathfrak{p}_{a})\cong\mathbb{R}$. But, 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\in\mathbb{R}$ and $x$ such that $x^{2}+1=0$, so $\kappa((x^{2}+1))\cong\mathbb{C}$.

$\square$

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\in F$ we can define a ‘function’ on $\mathrm{Spec}(F)$ with values in the residue field via the canonical maps

[TABLE]

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\in\mathfrak{p}$ for all prime ideals $\mathfrak{p}$ so $n(\mathfrak{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 $\mathrm{Spec}(F)$. This is something that we already knew (see Example 4.1), 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 to 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 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 up to 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 probability distribution determined by the Hilbert space state. The algebra of operators on a Hilbert space is non commutative, so sometimes it is said, very roughly, that ‘quantizing’ a system corresponds to substitute the commutative algebra of observables by a non commutative one such that when taking the limit $\hbar\rightarrow 0$ the original commutative algebra is recovered.

Let us consider the simplest case possible, a two dimensional phase space $\mathbb{R}^{2}$ with canonical coordinates $(q,p)\in\mathbb{R}^{2}$ and symplectic form $\mathrm{d}q\wedge\mathrm{d}p$. The induced Poisson bracket on the coordinates is

[TABLE]

As a quantum system, one considers the Hilbert space of square integrable functions on the variable $q$, $\mathcal{L}^{2}(\mathbb{R})$. One considers the position and momentum operators:

[TABLE]

whose commutation rule is

[TABLE]

Taking $\hbar\rightarrow 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 in $\hbar$ 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^{\infty}(\mathbb{R}^{2})\otimes\wedge[\theta,\pi]$. There is also a super Poisson structure on it:

[TABLE]

and the rest zero. The Poisson bracket of two odd quantities is symmetric.

As in the non super case, the superalgebra $C^{\infty}(\mathbb{C}^{2})\otimes\wedge[\theta,\pi]$ admits a deformation with parameter $\hbar$.

Let us focuss now on the deformation of the Grassmann algebra $\wedge[\theta,\pi]$. Mimicking the procedure with the even variables, we get a non commutative superalgebra with generators $\Theta$ and $\Pi$ satisfying the commutation rules

[TABLE]

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

[TABLE]

which shows that this algebra is isomorphic to the Clifford algebra $C(1,1)$ [28, 29, 30]:

[TABLE]

The key point here is the symmetry of the super Poisson bracket.

The conclusion is that, in their quantum version, odd variables can give rise to meaningful observables. The classical limit $\hbar\rightarrow 0$ leaves the superspace mathematical structure, but is does not produce classical, odd observables.

Acknowledgements

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’m 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 specially want to thank P. Deligne for suggesting an approximation to superfields more natural and elegant than our the previous version, that considered only Grassmann algebras.

This work has been 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.

Appendix A Some basic definitions

Definition A.1**.**

Extension of scalars. Let $\mathcal{A}$ and $\mathcal{A}^{\prime}$ be two commutative superalgebras over $k$ and let $f:\mathcal{A}\rightarrow\mathcal{A}^{\prime}$ be a morphism of superalgebras. Then $\mathcal{A}^{\prime}$ is an $\mathcal{A}$-module with action

[TABLE]

If $M_{\mathcal{A}}$ is an $\mathcal{A}$-module we can define an $\mathcal{A}^{\prime}$-module as the tensor product

[TABLE]

with action

[TABLE]

We say that $M_{\mathcal{A}^{\prime}}$ is the extension of scalars of $M_{\mathcal{A}}$ to $\mathcal{A}^{\prime}$.

$\square$

Definition A.2**.**

Sheaf over a topological space. Let $|X|$ be a topological space. A presheaf on $|X|$ assigns to each open set $U\subset|X|$ a set $\mathcal{F}(U)$ (it can be an abelian group, an algebra, a superalgebra, a module, …) and to every pair of open sets $U\subset V\subset|X|$ a restriction map

[TABLE]

satisfying

$\mathrm{res}_{U,U}=\mathrm{id}$. 2. 2.

$\mathrm{res}_{V,U}\circ\mathrm{res}_{W,V}=\mathrm{res}_{W,U}$ for al $U\subset V\subset W\subset|X|$.

The elements of $\mathcal{F}(U)$ are called local sections of $\mathcal{F}$ over $U$ and the elements of $\mathcal{F}(|X|)$ are called global sections.

A presheaf is a sheaf if it satisfies the condition that, for each open covering $\{U_{\alpha}\}_{\alpha\in A}$ of an open set $U$ (in particular, of the total space $|X|$), and each collection of elements $\{f_{\alpha}\in\mathcal{F}(U_{\alpha})\}_{\alpha\in A}$ such that

[TABLE]

there exists a unique element $f\in\mathcal{F}(U)$ such that

[TABLE]

$\square$

Example A.3**.**

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

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

Constant functions over a topological space are, generically, only a presheaf. If the space is connected, then the sheaf condition is satisfied. Also, 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.

$\square$

Definition A.4**.**

Stalk of a sheaf over a point. Let $\mathcal{F}$ be a sheaf of abelian groups (all the sheaves that we use are so) over the topological space $|X|$. Let $x\in|X|$. The stalk of $\mathcal{F}$ at $x$, denoted as $\mathcal{F}_{x}$ is the direct limit (see for example Ref. [16]) of the family of abelian groups $\mathcal{F}(U)$ running over all neighborhoods $U$ of $x\in|X|$.

$\square$

Definition A.5**.**

A morphism of sheaves $\varphi:\mathcal{F}\rightarrow\mathcal{G}$ over the same topological space $|X|$ is a collection of maps $\varphi_{U}:\mathcal{F}(U)\rightarrow\mathcal{G}(U)$, $U\subset_{\mathrm{open}}|X|$ such that for every pair of open sets $V\subset U\subset|X|$ the diagram

[TABLE]

commutes

$\square$

Appendix B Notation for spinors

Let $\theta^{\alpha}$ with $\alpha=1,2$ odd coordinates in some affine superspace. As customary, we define

[TABLE]

where sum over repeated indices is understood. We also define

[TABLE]

In general, for any two pairs of odd quantities, $\theta^{\alpha}$ and $\psi^{\alpha}$, anticommuting among them

[TABLE]

one has

[TABLE]

One also denotes $(\theta\psi)=\theta^{\alpha}\psi_{\alpha}$.

One can prove the so called Fierz identities

[TABLE]

The Pauli matrices are

[TABLE]

and they satisfy the relations

[TABLE]

where, as usual, $\epsilon_{ijk}$ is the totally antisymmetric tensor with $\epsilon_{123}=1$.

Appendix C Supersymmetry transformations.

We give here the relations of the supertranslation algebra acting on the Minkowski superspace. We follow the conventions of Ref. [31]. A basis of the supertranslation Lie algebra is given by

[TABLE]

The standard real form makes $P_{\mu}$ real and $\bar{Q}_{{\dot{\alpha}}}$ the complex conjugate of $Q_{\alpha}$. The commutation relations among the generators (33) are

[TABLE]

and the rest zero (the Pauli matrices are listed in Appendix B). The action of the supertranslation algebra on chiral superfields is as follows: Let $\xi^{\alpha}$, $\bar{\xi}^{\dot{\alpha}}$ denote the odd supertranslation parameters and $a^{\mu}$ the even ones. The infinitesimal transformations on the component fields $A$, $\psi_{\alpha}$ and $F$

[TABLE]

Acting with $\bar{Q}_{{\dot{\alpha}}}$ on a chiral superfield gives a non chiral superfield, so only $P_{\mu}$ and $Q_{\alpha}$ have a well defined action on the set of chiral superfields. The full super translation algebra acts, for example, on the space of real superfields, which describe a multiplet of supersymmetry with maximal spin 1 (a vector field potential).