--- abstract: 'The notion of "$N = 2$ vertex superalgebra with two odd formal variables" is presented, the main axiom being a Jacobi identity with odd formal variables in which an $N=2$ superconformal shift is incorporated into the usual Jacobi identity for a vertex superalgebra. It is shown that as a consequence of these axioms, the $N=2$ vertex superalgebra is naturally a representation of the Lie algebra isomorphic to the three-dimensional algebra of superderivations with basis consisting of the usual conformal operator and the two $N=2$ superconformal operators. In addition, this superconformal shift in the Jacobi identity dictates the form of the odd formal variable components of the vertex operators, and allows one to easily derive the useful formulas in the theory. The notion of $N=2$ Neveu-Schwarz vertex operator superalgebra with two odd formal variables is introduced, and consequences of this notion are derived. Various other formulations of the notion of $N=2$ (Neveu-Schwarz) vertex (operator) superalgebra appearing in the mathematics and physics literature are discussed, and several mistakes in the literature are noted and corrected. The notion of "$N=2$ (Neveu-Schwarz) vertex (operator) superalgebra with one odd formal variable" is formulated. It is shown that this formulation naturally arises from alternate notions of $N=1$ superconformality and the continuous deformation of an $N=1$ (Neveu-Schwarz) vertex (operator) superalgebra with one odd formal variable. This notion is formulated to reflect the underlying $N=1$ superanalytic geometry, and it is shown that the equivalence of the notions of $N=2$ (Neveu-Schwarz) vertex (operator) superalgebra with one and with two odd formal variables reflects the equivalence of $N=2$ superconformal and $N=1$ superanalytic geometry. In particular we prove that the group of formal $N=2$ superconformal functions vanishing at zero and invertible in a neighborhood of zero is isomorphic to a certain subgroup of $N=1$ superanalytic functions vanishing at zero and invertible in a neighborhood of zero.' address: 'Department of Mathematics, University of Notre Dame, Notre Dame, IN 46556' author: - Katrina Barron date: 'October 30, 2007' title: 'On axiomatic aspects of $N=2$ vertex superalgebras with odd formal variables, and deformations of $N=1$ vertex superalgebras' --- Introduction and preliminaries ============================== Introduction ------------ In this paper, we study several equivalent formulations of the notion of "$N = 2$ (Neveu-Schwarz) vertex (operator) superalgebra" motivated principally by the two different but equivalent supergeometric settings underlying genus-zero, holomorphic $N=2$ superconformal field theory, and continuously deformed genus-zero, holomorphic $N=1$ superconformal field theory, respectively. (Super)conformal field theory is an attempt at developing a physical theory that combines all fundamental interactions of particles (cf. @BPZ, @Fd, @FS, @V, @S). In supersymmetric theories, symmetries between the two fundamental types of particles – bosons and fermions – are assumed. $N=n$ superconformal field theory for $n$ a nonnegative integer explores the theory of conformal fields if $n$ boson-fermion symmetries are present (cf. @DPZ, @FMS, @Wa, @Ge). Algebraically the interactions of superparticles are described by vertex operators or more precisely by vertex (operator) superalgebras, also called "chiral algebras" in the physics literature @Bo, @FLM, @KT, @DPZ, @YZ, @LVW, @MSS, @FFR, @DL. If the theory is $N=1$ (resp., $N=2$) supersymmetric then in particular, the vertex operator superalgebra is a representation of the Lie superalgebra of infinitesimal superconformal symmetries which is called the $N=1$ (resp., $N=2$) Neveu-Schwarz algebra. The natural geometric setting for such theories is supergeometry in which one (resp., two) odd variables are included, @Fd, @D, @B-thesis, @B-memoir, @B-moduli. There are many notions of "$N=2$ vertex (operator) superalgebra" in the literature (cf. @Kac1997, @Adamovic1999, @Bo1, @HM, @Bo2, @HK, @He) inspired by the notion in physics of the algebra of chiral $N=2$ superfields. When odd variables are not included in the definition, these notions are all more or less equivalent. Our formulations of the notions of "$N=2$ (Neveu-Schwarz) vertex (operator) superalgebra with two odd formal variables" is equivalent to or similar in spirit to, some of the notions found in the literature such as in @HK and @HM. However, there are typos in these works that make some of the formulations mathematically inconsistent and confusing to a novice reader. The first part of this paper is devoted to presenting what we feel to be the most natural formulation of the notion of $N=2$ vertex superalgebra with two odd formal variables. We then show how our notion relates to others, and show how our formulation gives as a consequence the properties that have been troublesome to formulate in some of the literature. Our notion of $N=2$ vertex superalgebra with two odd formal variables involves the usual notion of vertex superalgebra formulated using the Jacobi identity as in @LL, but extended as follows: first odd variable components are added to the vertex operators; and second, we require that these operators satisfy the usual Jacobi identity for vertex superalgebras extended so that in place of the usual shift in the $\delta$-functions appearing in the Jacobi identity, we substitute an $N=2$ superconformal shift. That is instead of, for instance $x_1-x_2$ appearing, we substitute $x_1 - x_2 - \varphi_1^+ \varphi_2^- - \varphi_1^- \varphi_2^+$ where $x_1$ and $x_2$ are "even" (or commuting) formal variables, and $\varphi^\pm_1$ and $\varphi_2^\pm$ are "odd" (or anticommuting) formal variables. In particular, we show that as a <span>*consequence*</span> of this simple two-step extension of the usual notion of vertex algebra, then the underlying vector space is naturally endowed with the structure of a module for a certain subalgebra of the orthogonal-symplectic Lie superalgebra, $\mathfrak{osp}(2|2)$. We show that the three representative elements for the usual basis elements of this Lie superalgebra, when bracketed with a vertex operator, act as the conformal derivation and the two $N=2$ superconformal superderivations, respectively. Thus we get as a result of the definition, the presence of endomorphisms on the underlying vector space that correspond to the usual conformal operator and the two $N=2$ superconformal operator. This is in contrast to other formulations of the notion of $N=2$ vertex superalgebra that axiomatize the existence of such endomorphisms and axiomatize certain properties the vertex operators must satisfy in relation to these endomorphisms (cf. @HK). In our formulation, all we are assuming is that the notion of a shift from one point in superconformal space to another, should be of the form of an $N=2$ superconformal shift so as to reflect some underlying $N=2$ superconformal geometry. Furthermore, we show the form of the odd variable components of the vertex operators are completely dictated by this one simple modification of the shift appearing in the usual Jacobi identity for vertex superalgebras, and we show that concise formulas for commutators and iterates of vertex operators with odd formal variables, skew supersymmetry, and commutativity and associativity properties all follow easily from the Jacobi identity formulation. In addition, we formulate the notion of $N=2$ Neveu-Schwarz vertex operator superalgebra with two odd formal variables. This is an $N=2$ vertex superalgebra that includes, among other things, a representation of the full $N=2$ Neveu-Schwarz algebra (which is an infinite extension of $\mathfrak{osp}(2|2)$) and an associated half-integer grading. This formulation is in the spirit of @HM and previous work by the author in the $N=1$ setting @B-announce, @B-thesis, @B-vosas. In fact, the Jacobi identity for vertex operators involving two odd formal variables where the $N=2$ superconformal shift is incorporated in to the $\delta$-functions, was first given in @HM as a consequence of their notion of "$N=2$ superconformal vertex operator superalgebra", which is (with a few minor typos corrected) equivalent to our notion of $N=2$ Neveu-Schwarz vertex operator superalgebra. We give further consequences of this notion, including certain change of variables formulas related to the grading, as well as commutativity and associativity properties. Since there are principally two different basis that are widely used for the algebra of $N=2$ superconformal symmetries, i.e., the $N=2$ Neveu-Schwarz algebra, we formulate many of the notions presented here and the consequences of those notions in both basis so as to compare the present work to that in the literature. We continue to use the terminology we introduced in @B-moduli for the two different basis – "homogeneous" and "nonhomogeneous" – and explain in Remarks \[homo-infinitesimals-remark\] and \[last-nonhomo-terminology-remark\] some of our reasons for using this terminology. We summarize the relationships between the notions of $N=2$ (Neveu-Schwarz) vertex (operator) superalgebra we present here and other notions found in the literature as follows: Our notion of "$N=2$ Neveu-Schwarz vertex operator superalgebra with two odd formal variables in the homogeneous coordinates" is equivalent to that given in @HM in the homogeneous coordinates if one interprets their formulas in the homogeneous basis correctly; however most of the relevant formulas in @HM are given in the nonhomogeneous basis and there are a couple of typos involving incorrect signs in these formulas, as in for instance the formulation of the vertex operators with odd formal variables, and the vertex operator corresponding to the $N=2$ superconformal element; see Remarks \[huang-milas-remark1\] and \[huang-milas-remark2\]. The notion of "$N=2$ superconformal vertex algebra" given in @Kac1997 which includes odd formal variables, is not equivalent to our notion of "$N=2$ vertex superalgebra with odd formal variables" as equations (5.9.7) in @Kac1997 do not endow the odd variable components of the vertex operators with the correct structure; see Remark \[nonhomo-equivalence-remark\]. The notion of "$N=2$ vertex superalgebra with two odd formal variables in the nonhomogeneous basis" we present in Section \[nonhomo-section\] is equivalent to the notion of "$N_K = 2$ SUSY vertex superalgebra" as presented in @HK and @He, and some of the basic properties of such algebras that we present here appear in @HK. However, we point out an inconsistency in the formulations given in @HK and @He involving the vertex operator corresponding to the $N=2$ superconformal element; see Remark \[HK-remark\]. In the early physics literature, the odd variables were often included in the fields and the vertex operator with odd formal variables corresponding to the $N=2$ superconformal element as well as the operator product expansion for this vertex operator with odd formal variables is given in, for instance @P and @YZ; see Remark \[mu-operator-physics-remark\]. As mentioned before, in this work, we show that the odd variable components for a vertex operator in general and for the vertex operator corresponding to the $N=2$ superconformal element in particular are completely determined by the form of the superconformal shift that appears in the Jacobi identity when two odd formal variables are included in the vertex operators. In future work, using some of the results presented here, we will give a geometric basis for the form that the vertex operator corresponding to the $N=2$ superconformal element must take. One of the main differences between our work in presenting the notion of $N=2$ vertex superalgebra with two odd formal variables and deriving the main properties of these algebras, in comparison to the work done in @HK is that we stress here (in the spirit of @LL) the Jacobi identity formulation of the notions of $N=1$ and $N=2$ vertex superalgebra and then show that virtually all the basic properties for such algebras follow quite easily and naturally from this one identity if the odd formal variables are included appropriately. The generalization of the notion of vertex operator superalgebra to include odd formal variables was first done in @B-thesis; see also @B-announce, and for a more extensive treatment @B-vosas. The notion of $N=1$ Neveu-Schwarz vertex operator superalgebra with odd formal variables presented in @B-announce–@B-vosas was the first instance of a Jacobi identity for vertex operators which included odd formal variables. As mentioned before, the Jacobi identity was first formulated for vertex operators with two odd formal variables in @HM. Some of the properties that naturally follow from the Jacobi identity for $N=1$ Neveu-Schwarz vertex operator superalgebras with odd formal variables that were given in @B-announce–@B-vosas were generalized to other $N=n$ settings for $n>1$ in @HK and @He. However the Jacobi identity with odd formal variables is not formulated in @HK or @He, and thus more work must be done to derive many of the useful formulas, and in addition, as we mentioned before, there are inconsistencies between or typos in some of the formulas in @HM, @HK and @He. After a review and clarification of the notion of $N=2$ (Neveu-Schwarz) vertex (operator) superalgebra, we present the main new results in this paper. These include a realization of the $N=2$ Neveu-Schwarz algebra as the algebra of infinitesimal $N=1$ superanalytic (as opposed to superconformal) coordinate transformations and an interpretation of this as arising from alternate notions of $N=1$ superconformality and the continuous deformation of $N=1$ superconformal functions by a one-parameter family corresponding to these alternate notions. We then show that an $N=2$ (Neveu-Schwarz) vertex (operator) superalgebra is naturally a continuous deformation of an $N=1$ (Neveu-Schwarz) vertex (operator) superalgebra and is related to alternate notions of $N=1$ superconformality. In particular we prove that the group of formal $N=2$ superconformal functions vanishing at zero and invertible in a neighborhood of zero is isomorphic to a certain subgroup of $N=1$ superanalytic functions vanishing at zero and invertible in a neighborhood of zero. We also prove a similar statement about a group arising from $N=2$ superconformal functions vanishing at infinity and invertible in a neighborhood of infinity and the corresponding group arising from certain $N=1$ superanalytic functions vanishing at infinity and invertible in a neighborhood of infinity. Thus one can view an $N=2$ (Neveu-Schwarz) vertex (operator) superalgebra as the algebra of correlations functions for $N=1$ superanalytic (as opposed to superconformal) fields. It is important to note, however, that we do <span>*not*</span> use the transformation used in for instance @DRS to achieve a reduction from $N=2$ superconformal functions to $N=1$ superanalytic functions. The transformation used in @DRS and, for instance @He, depends on a transformation of the even variable by a shift involving the product of the odd variables, and results in a basis for the $N=1$ superanalytic algebra which has zero central charge for the conformal elements. Instead, we achieve a correspondence between the $N=2$ superconformal and $N=1$ superanalytic settings by continuously deforming the odd variable in the $N=1$ superconformal setting, and show that the $N=2$ Neveu-Schwarz algebra in its original basis is realized as the infinitesimal $N=1$ superanalytic transformations; see Remark \[compare-to-DRS-remark\]. We expect to use this result in making rigorous the connection between the algebraic and geometric aspects of $N=2$ holomorphic genus-zero superconformal field theory following the program of Huang in @H-book in the nonsuper case and the author in @B-announce–@B-iso in the $N=1$ super case as discussed below. In addition, we expect this result to give insights into the construction of $N=2$ Neveu-Schwarz vertex operator superalgebras from $N=1$ Neveu-Schwarz vertex operator superalgebras. The main reason for including the odd formal variables in the definition of $N=2$ (Neveu-Schwarz) vertex (operator) superalgebra is that this makes the correspondence with the underlying geometry more transparent, giving a context to many identities that might otherwise seem arbitrary. In fact, after each formulation of the notion of $N=2$ (Neveu-Schwarz) vertex (operator) superalgebra, we give consequences of the notion, some of which will be used in subsequent work to establish the rigorous correspondence between the algebraic settings presented here and the differential supergeometric settings which we allude to in this paper as motivation. That is, we plan to use the results of this paper to extend the work of the author in @B-announce–@B-iso on a rigorous correspondence between the geometric and algebraic foundations of $N=1$ holomorphic genus-zero superconformal field theory to the $N=2$ case using the $N=2$ supergeometric results of @B-moduli. This includes plans to establish the notion of "$N=2$ supergeometric vertex operator superalgebra" and to define an isomorphism between the category of such objects and the category of $N=2$ Neveu-Schwarz vertex operator superalgebras. The isomorphism of categories is much easier to formulate and prove when one includes the odd formal variables in the algebraic notion of $N=2$ Neveu-Schwarz vertex operator superalgebra. This rigorous correspondence between the differential geometric and algebraic aspects of the theory of $N=2$ Neveu-Schwarz vertex operator superalgebras is necessary for the construction of $N=2$ superconformal field theory in the sense of Segal @S following the program of Huang @H-thesis–@H2005-2. In addition to being useful for establishing the correspondence between the geometric and algebraic aspects of $N=2$ genus-zero holomorphic superconformal field theory, including the odd variables makes it easier to formulate many of the identities arising as a consequences of the notion of $N=2$ (Neveu-Schwarz) vertex (operator) superalgebra; many vertex operator calculations become easier; and many problems such as determining change of variables formulas for $N=2$ Neveu-Schwarz vertex operator superalgebras become easier to formulate and solve (cf. @B-change). We take this opportunity to point out that in @HK, Heluani and Kac formulate an axiomatic notion of what they call "strongly conformal $N_K = N$ SUSY vertex superalgebras" and in @He, Heluani gives certain specialized change of variables formulas for these algebras. For $N=1$ these algebras correspond to "$N=1$ Neveu-Schwarz vertex operator superalgebras" as formulated and studied previously by the author in @B-announce–@B-vosas, and change of variable formulas for such algebras had been formulated and proved by the author in @B-change. In fact in @B-change, the author not only proves general change of variables formulas for <span>*any*</span> $N=1$ superconformal change of coordinates (not just certain specialized ones near zero as given in @He) but also near infinity and more generally, on an annulus. In addition in @B-change, the author concludes when and how one obtains isomorphic vertex operator superalgebras under general changes of variables, and proves certain convergence properties for the resulting correlation functions. The subtleties entering into the formulation and the proof of the change of variable formulas were explained in detail in @B-change. It was actually the rigorous treatment of the correspondence between certain geometric and algebraic aspects of $N=1$ superconformal field theory as developed in @B-thesis and @B-memoir that led the author to formulate and study the notion of $N=1$ Neveu-Schwarz vertex operator superalgebra with odd formal variables and to introduce (in @B-announce and @B-thesis; see also @B-vosas) such properties as the $G(-1/2)$-derivative property, the Jacobi identity and the commutator formula with odd variables, supercommutativity and associativity with odd variables, and skew supersymmetry. In fact, only using this correspondence with the $N=1$ supergeometry was the author able to, in @B-change, prove the convergence properties of the correlation functions arising from the change of variables formulas. The present paper is the second in a series of papers (the first being @B-moduli) extending the author's entire algebraic and geometric program in the $N=1$ case @B-announce–@B-iso to the $N=2$ case. The results presented here concerning the Jacobi identity formulations of the notions of $N=1$ and $N=2$ vertex superalgebras with odd formal variables and how these formulations naturally gives rise to the desired conformal operator and the various superconformal operators were first derived in conjunction with a graduate course on vertex (super)algebras the author taught Spring 2006 at the University of Notre Dame using @LL as one of the texts. As such, this paper, along with @B-vosas would be appropriate as part of an introductory graduate course on vertex algebras using @LL if the instructor desired a foray into the theory of vertex superalgebras, especially if one were to tie into the geometric foundations of (super)conformal field theory as presented in @H-book and @B-memoir–@B-iso, @B-moduli. Most of the results presented here on axiomatic aspects of $N=2$ Neveu-Schwarz vertex operator superalgebras with one odd formal variable and their relationship to deformations of $N=1$ Neveu-Schwarz vertex operator superalgebras were first presented by the author in a talk at the Fields Institute in October 2000. Grassmann algebras and the $N=2$ Neveu-Schwarz Lie superalgebra {#prelim-section} --------------------------------------------------------------- Let $\mathbb{F}$ be a field of characteristic zero, let $\mathbb{Z}$ denote the integers, and let $\mathbb{Z}_2$ denote the integers modulo two. For a $\mathbb{Z}_2$-graded vector space over $\mathbb{F}$, $V = V^0 \oplus V^1$, define the <span>*sign function*</span> $\eta$ on the homogeneous subspaces of $V$ by $\eta(v) = j$, for $v \in V^j$ and $j = \mathbb{Z}_2$. If $\eta(v) = 0$, we say that $v$ is <span>*even*</span>, and if $\eta(v) = 1$, we say that $v$ is <span>*odd*</span>. A <span>*superalgebra*</span> is an (associative) algebra $A$ (with identity $1 \in A$), such that: (i) $A$ is a $\mathbb{Z}_2$-graded algebra; (ii) $ab = (-1)^{\eta(a)\eta(b)} ba$ for $a,b$ homogeneous in $A$. Note that when working over a field of characteristic zero or of characteristic greater than two, property (ii), supercommutativity, implies that the square of any odd element is zero. The exterior algebra over a vector space $U$, denoted $\bigwedge(U)$, has the structure of a superalgebra. Let $\mathbb{N}$ denote the natural numbers. Fix $U_L$ to be an $L$-dimensional vector space over $\mathbb{C}$ for $L \in \mathbb{N}$ such that $U_L \subset U_{L+1}$. We denote $\bigwedge(U_L)$ by $\bigwedge_L$ and call this the <span>*Grassmann algebra on $L$ generators*</span>. Note that $\bigwedge_L \subset \bigwedge_{L+1}$, and taking the direct limit as $L \rightarrow \infty$, we have the <span>*infinite Grassmann algebra*</span> denoted by $\bigwedge_\infty$. Since this paper is motivated by the geometry of $N=2$ superconformal field theory @FMS, @DRS, @D, @B-moduli, in which one considers superanalytic structures, for the purposes of this paper we have defined $\bigwedge_*$ over $\mathbb{C}$. However, we could just as well have formulated the results that follow for Grassmann algebras over any field of characteristic zero. Throughout the rest of this paper we assume $\bigwedge_L$ for $L\in \mathbb{N}$ and $\bigwedge_\infty$ to be fixed. (That is we assume $U_1 \subset U_2 \subset \cdots$ to be fixed.) We use the notation $\bigwedge_*$ to denote the Grassmann algebra $\bigwedge_L$ for some $L \in \mathbb{N}$ or the infinite Grassmann algebra. Note that if $L=0$, then $\bigwedge_0 = \mathbb{C}$. We call this subalgebra of $\bigwedge_*$ the <span>*body*</span> of $\bigwedge_*$, denoted $(\bigwedge_*)_B$. We call the orthogonal complement of the body in $\bigwedge_*$, the <span>*soul*</span> and denote it $(\bigwedge_*)_S$. Let $\pi_B$ be the projection from $\bigwedge_*$ onto the body $(\bigwedge_*)_B$ (cf. @D, @B-thesis, @B-memoir). For $a \in \bigwedge_*$, denote $\pi_B (a) = a_B$. Let $(\bigwedge_*)^\times$ denote the set of invertible elements in $\bigwedge_*$. Then $$(\mbox{$\bigwedge_*$})^\times = \{a \in \mbox{$\bigwedge_*$} \; | \; a_B \neq 0 \}$$ since $$\frac{1}{a} = \frac{1}{a_B + a_S} = \sum_{n \in \mathbb{N}} \frac{(-1)^n a_S^n}{a_B^{n + 1}}$$ is well defined if and only if $a_B \neq 0$. A $\mathbb{Z}_2$-graded vector space $\mathfrak{g} = \mathfrak{g}^0 \oplus \mathfrak{g}^1$ is said to be a <span>*Lie superalgebra*</span> if it has a bilinear operation $[\cdot,\cdot]$ on $\mathfrak{g}$ such that for $u,v$ homogeneous in $\mathfrak{g}$: (i) $\; [u,v] \in {\mathfrak g}^{(\eta(u) + \eta(v))\mathrm{mod} \; 2}$; (ii) skew symmetry holds $[u,v] = -(-1)^{\eta(u)\eta(v)}[v,u]$; (iii) the following Jacobi identity holds $$\label{Jac-Lie} (-1)^{\eta(u)\eta(w)}[[u,v],w] + (-1)^{\eta(v)\eta(u)}[[v,w],u]+ \; (-1)^{\eta(w)\eta(v)}[[w,u],v] = 0.$$ The <span>*$N=2$ Neveu-Schwarz algebra*</span> is the Lie superalgebra with basis consisting of the central element $d$, even elements $L_n$ and $J_n$, and odd elements $G^\pm_{n + 1/2}$ for $n \in \mathbb{Z}$, and commutation relations $$\begin{aligned} \left[L_m ,L_n \right] \! \! &=& \! \! (m - n)L_{m + n} + \frac{1}{12} (m^3 - m) \delta_{m + n , 0} \; d , \label{Virasoro-relation} \\ \left[ J_m, J_n \right] \! \! &=& \! \! \frac{1}{3} m \delta_{m+n,0} d, \qquad \qquad \qquad \qquad \quad \ \ \left [L_m, J_n \right] \ = \ -n J_{m+n}, \\ \left[ L_m, G^\pm_{n + \frac{1}{2}} \right] \! \! &=& \! \! \left(\frac{m}{2} - n - \frac{1}{2} \right) G^\pm_{m+n+\frac{1}{2}} ,\\ \left[ J_m, G^\pm_{n + \frac{1}{2}} \right] \! \! &=& \! \! \pm G^\pm_{m+n+\frac{1}{2}} , \qquad \qquad \qquad \ \ \ \left[ G^\pm_{m + \frac{1}{2}} , G^\pm_{n + \frac{1}{2}} \right] \ =\ 0 , \\ \qquad \left[ G^+_{m + \frac{1}{2}} , G^-_{n - \frac{1}{2}} \right] \! \! &=& \! \! 2L_{m + n} + (m-n+1) J_{m+n} + \frac{1}{3} (m^2 + m) \delta_{m + n , 0} \; d ,\label{Neveu-Schwarz-relation-last} \end{aligned}$$ for $m, n \in \mathbb{Z}$. \[n2-generators-remark\] <span>*The $N=2$ Neveu-Schwarz algebra is generated by $G^\pm_{n+1/2}$ for $n \in \mathbb{Z}$.*</span> \[N2-subalgebras-remark\] <span>*The subalgebra $\mathrm{span}_{\bigwedge_*} \{ L_{-1}, G^+_{- 1/2}, G^-_{- 1/2}, L_0, J_0, G^+_{1/2}, G^-_{1/2}, L_1 \}$ of the $N=2$ Neveu-Schwarz algebra is the Lie superalgebra $\mathfrak{osp}_{\bigwedge_*} (2|2)$ (cf. @Kac). It is the orthogonal-symplectic superalgebra over the Grassmann algebra $\bigwedge_*$ and is also the Lie superalgebra of "infinitesimal $N=2$ superconformal transformations of the $N=2$ super-Riemann sphere" as shown in @B-moduli. We will denote the subalgebra of $\mathfrak{osp}_{\bigwedge_*}(2|2)$ given by $\mathrm{span}_{\bigwedge_*} \{ L_{-1}, G^+_{- 1/2}, G^-_{- 1/2} \}$ by $\mathfrak{osp}_{\bigwedge_*}(2|2)_{<0}$.* </span> \[auto-remark\] <span>*The group of automorphisms of the $N=2$ Neveu-Schwarz algebra which preserve the Lie subalgebra generated by $L_n$ and $J_n$ for $n \in \mathbb{Z}$ are given by: $$\label{auto1} G^\pm_{n + \frac{1}{2}} \mapsto b^{\pm 1} G^\pm_{n+ \frac{1}{2}}, \quad J_n \mapsto J_n, \quad L_n \mapsto L_n,$$ for $b \in \mathbb{C}^\times$, if we are taking the algebra over $\mathbb{C}$, or more generally, for $b$ an invertible even element of the underlying Grassmann algebra, i.e., $b \in ( \bigwedge_*^0)^\times$. In addition, we have the Virasoro-preserving automorphism $$\label{auto2} G^\pm_{n + \frac{1}{2}} \mapsto G^\mp_{n+ \frac{1}{2}}, \quad J_n \mapsto -J_n, \quad L_n \mapsto L_n.$$ The composition of these give the Virasoro-preserving automorphisms $$\label{auto3} G^\pm_{n + \frac{1}{2}} \mapsto b^{\mp 1} G^\mp_{n+ \frac{1}{2}}, \quad J_n \mapsto -J_n, \quad L_n \mapsto L_n,$$ for $b \in (\bigwedge_*^0)^\times$, which together with (\[auto1\]) give the group $\mathbb{Z}_2 \times \mathbb{C}^\times$ of automorphisms of the $N=2$ Neveu-Schwarz algebra.* </span> Now consider the substitutions $$G^{(1)}_{n + \frac{1}{2}} = \frac{1}{\sqrt{2}} \left( G^+_{n + \frac{1}{2}} + G^-_{n + \frac{1}{2}} \right), \qquad G^{(2)}_{n + \frac{1}{2}} = \frac{i}{\sqrt{2}} \left( G^+_{n + \frac{1}{2}} - G^-_{n + \frac{1}{2}} \right) .$$ Note then that $G^\pm_{n+1/2} = \frac{1}{\sqrt{2}}(G^{(1)}_{n + 1/2} \mp i G^{(2)}_{n + 1/2} )$. Under these substitutions, the $N=2$ Neveu-Schwarz algebra has a basis consisting of the central element $d$ and $L_n$, $J_n$, and $G^{(j)}_{n + 1/2}$ for $n \in \mathbb{Z}$, $j = 1,2$ and commutation relations $$\begin{aligned} \left[L_m ,L_n \right] \! \! &=& \! \! (m - n)L_{m + n} + \frac{1}{12} (m^3 - m) \delta_{m + n , 0} \; d , \label{Virasoro-relation2} \\ \left[ J_m, J_n \right] \! \! &=& \! \! \frac{1}{3} m \delta_{m+n,0} d, \qquad \qquad \qquad \qquad \ \ \left [L_m, J_n \right] \ = \ -n J_{m+n}, \\ \left[ L_m, G^{(j)}_{n + \frac{1}{2}} \right] \! \! &=& \! \! \left(\frac{m}{2} - n - \frac{1}{2} \right) G^{(j)}_{m+n+\frac{1}{2}} ,\\ \left[ J_m, G^{(1)}_{n + \frac{1}{2}} \right] \! \! &=& \! \! - i G^{(2)}_{m+n+\frac{1}{2}} , \qquad \qquad \qquad \ \ \ \left[ J_m, G^{(2)}_{n + \frac{1}{2}} \right] \ = \ i G^{(1)}_{m+n+\frac{1}{2}} , \\ \left[ G^{(j)}_{m + \frac{1}{2}} , G^{(j)}_{n - \frac{1}{2}} \right] \! \! &=& \! \! 2L_{m + n} + \frac{1}{3} (m^2 + m) \delta_{m + n , 0} \; d , \\ \qquad \ \left[ G^{(1)}_{m + \frac{1}{2}} , G^{(2)}_{n - \frac{1}{2}} \right] \! \! &=& \! \! - i (m-n+1) J_{m+n} , \label{transformed-Neveu-Schwarz-relation-last}\end{aligned}$$ for $m, n \in \mathbb{Z}$, $j=1,2$. We call this the <span>*nonhomogeneous basis*</span> for the $N=2$ Neveu-Schwarz algebra. \[homo-infinitesimals-remark\] <span>*Comparing the commutation relations (\[Virasoro-relation\])–(\[Neveu-Schwarz-relation-last\]) for the $N=2$ Neveu-Schwarz algebra in the homogeneous basis with the commutation relations (\[Virasoro-relation2\])–(\[transformed-Neveu-Schwarz-relation-last\]) in the nonhomogeneous basis, we see a justification for our terminology "homogeneous" and "nonhomogeneous". In the former case, the commutator of $J_m$ with $G^\pm_{n + 1/2}$ is homogeneous in $G^\pm_{n+1/2}$, respectively, whereas in the later case, the commutator of $J_m$ with $G^{(j)}_{n + 1/2}$, for $j = 1,2$, is nonhomogeneous. Another justification for our terminology comes from the underlying $N=2$ supergeometry. In @B-moduli, we prove that the $N=2$ Neveu-Schwarz algebra is the algebra of infinitesimal $N=2$ superconformal transformations; see Proposition \[moduli-prop\] below. In the homogeneous coordinate system (which corresponds to the homogeneous basis for the $N=2$ Neveu-Schwarz algebra of infinitesimals) an $N=2$ superconformal change of variables transforms certain superderivations homogeneously of degree one (see Remark \[superconformal-remark\]); whereas in the nonhomogeneous coordinate system (which corresponds to the nonhomogeneous basis for the $N=2$ Neveu-Schwarz algebra of infinitesimals) an $N=2$ superconformal functions is one that transforms the analogous superderivations in the nonhomogeneous coordinates to a nonhomogeneous linear combination of the superderivations (see Remark \[superconformal-remark-nonhomo\] and Proposition \[moduli-prop-nonhomo\] below).* </span> \[N2-subalgebras-remark-nonhomo\] <span>*Following Remark \[N2-subalgebras-remark\], we see that in the nonhomogeneous basis the orthogonal-symplectic superalgebra is given by $\mathfrak{osp}_{\bigwedge_*} (2|2)=\mathrm{span}_{\bigwedge_*} \{ L_{-1}, G^{(1)}_{- 1/2},$ $G^{(2)}_{- 1/2}, L_0, J_0, G^{(1)}_{1/2}, G^{(2)}_{1/2}, L_1 \}$, and $\mathfrak{osp}_{\bigwedge_*}(2|2)_{<0} = \mathrm{span}_{\bigwedge_*} \{ L_{-1}, G^{(1)}_{- 1/2}, G^{(2)}_{- 1/2} \}$.* </span> \[nonhomo-auto-remark\] <span>*In the nonhomogeneous basis, the automorphisms of the $N=2$ Neveu-Schwarz algebra which preserve the Lie subalgebra generated by $L_n$ and $J_n$ for $n \in \mathbb{Z}$ and which correspond to the automorphisms (\[auto1\]) are given by $$\begin{aligned} \label{nonhomo-auto1} G^{(1)}_{n + \frac{1}{2}} &\mapsto& \frac{1}{2} \left( (b+ b^{-1}) G^{(1)}_{n+ \frac{1}{2}} - i (b-b^{-1}) G^{(2)}_{n+\frac{1}{2}}\right), \\ G^{(2)}_{n + \frac{1}{2}} &\mapsto& \frac{1}{2} \left( i(b-b^{-1}) G^{(1)}_{n+ \frac{1}{2}} + (b+b^{-1}) G^{(2)}_{n+\frac{1}{2}}\right), \nonumber\\ J_n &\mapsto& J_n, \quad \mbox{and} \quad L_n \ \ \mapsto \ \ L_n, \nonumber\end{aligned}$$ for $b \in (\bigwedge_*^0)^\times$. Or writing $b = e^\beta$ for $\beta \in \bigwedge_*^0$, this becomes $$\begin{aligned} \label{nonhomo-auto1-hyperbolic} G^{(1)}_{n + \frac{1}{2}} &\mapsto& (\cosh \beta) G^{(1)}_{n+ \frac{1}{2}} - i (\sinh \beta) G^{(2)}_{n+\frac{1}{2}} , \\ G^{(2)}_{n + \frac{1}{2}} &\mapsto& i(\sinh \beta) G^{(1)}_{n+ \frac{1}{2}} + (\cosh \beta) G^{(2)}_{n+\frac{1}{2}} , \nonumber\\ J_n &\mapsto& J_n, \quad \mbox{and} \quad L_n \ \ \mapsto \ \ L_n. \nonumber\end{aligned}$$ The Virasoro-preserving automorphism corresponding to the automorphism (\[auto2\]) is $$\label{nonhomo-auto2} G^{(1)}_{n + \frac{1}{2}} \mapsto G^{(1)}_{n + \frac{1}{2}}, \quad G^{(2)}_{n + \frac{1}{2}} \mapsto - G^{(2)}_{n + \frac{1}{2}}, \quad J_n \mapsto -J_n, \quad L_n \mapsto L_n,$$ and the composition of these give the continuous family of Virasoro-preserving automorphisms $$\begin{aligned} \label{nonhomo-auto3} G^{(1)}_{n + \frac{1}{2}} &\mapsto& \frac{1}{2} \left( (b + b^{-1}) G^{(1)}_{n+ \frac{1}{2}} + i (b - b^{-1}) G^{(2)}_{n+\frac{1}{2}}\right), \\ G^{(2)}_{n + \frac{1}{2}} &\mapsto& \frac{1}{2} \left( i(b-b^{-1}) G^{(1)}_{n+ \frac{1}{2}} - (b+b^{-1}) G^{(2)}_{n+\frac{1}{2}}\right), \nonumber\\ J_n &\mapsto& -J_n, \quad \mbox{and} \quad L_n \ \ \mapsto \ \ L_n, \nonumber\end{aligned}$$ for $b \in (\bigwedge_*^0)^\times$, or writing $b = e^\beta$ for $\beta \in \bigwedge_*^0$ $$\begin{aligned} \label{nonhomo-auto3-hyperbolic} G^{(1)}_{n + \frac{1}{2}} &\mapsto& (\cosh \beta) G^{(1)}_{n+ \frac{1}{2}} + i (\sinh \beta) G^{(2)}_{n+\frac{1}{2}} , \\ G^{(2)}_{n + \frac{1}{2}} &\mapsto& i(\sinh \beta) G^{(1)}_{n+ \frac{1}{2}} - (\cosh \beta) G^{(2)}_{n+\frac{1}{2}} , \nonumber\\ J_n &\mapsto& -J_n, \quad \mbox{and} \quad L_n \ \ \mapsto \ \ L_n. \nonumber\end{aligned}$$* </span> Delta functions and formal calculus with odd formal variables {#delta-section} ------------------------------------------------------------- This section we follow and extend the formal calculus as presented in for instance @FHL, @LL, @B-thesis, and @B-vosas. Let $x,x_0, x_1$ and $x_2$ be formal variables which commute with each other and with $\bigwedge_*$. We call such variables <span>*even formal variables*</span>. Let $\varphi^\pm, \varphi^\pm_1$ and $\varphi_2^\pm$ be formal variables which commute with $x, x_0, x_1$, $x_2$ and $\bigwedge_*^0$ and anticommute with each other and $\bigwedge_*^1$. We call such variables <span>*odd formal variables*</span>. Note that the square of any odd formal variable is zero. Thus for any formal Laurent series $f(x) \in \bigwedge_*[[x,x^{-1}]]$, we define $$\begin{aligned} \label{expansion} \lefteqn{f(x + \varphi_1^+ \varphi_2^- + \varphi_1^- \varphi_2^+) }\\ &=& f(x) + (\varphi_1^+ \varphi_2^- + \varphi_1^- \varphi_2^+) f'(x) + \frac{1}{2}(\varphi_1^+ \varphi_2^- + \varphi_1^- \varphi_2^+)^2 f''(x) \nonumber \\ &=& f(x) + (\varphi_1^+ \varphi_2^- + \varphi_1^- \varphi_2^+) f'(x) + \varphi_1^+ \varphi_1^-\varphi_2^+ \varphi_2^- f''(x) \nonumber\end{aligned}$$ which is in $\bigwedge_* [[x,x^{-1}]] [\varphi_1^+, \varphi_1^-, \varphi_2^+, \varphi_2^-]$. Recall (cf. @FLM, @LL) the <span>*formal $\delta$-function at $x=1$*</span> given by $\delta(x) = \sum_{n \in \mathbb{Z}} x^n$. In @B-vosas, we extended the $\delta$-function to be defined for certain expressions involving both even and odd formal variables. Although the terms involving the odd formal variables we will use here are slightly different than those used in @B-vosas, the arguments for extending the delta function and related identities to these expressions involving odd formal variables carry through to the present situation. Thus using (\[expansion\]) we have the following $\delta$-function of expressions involving three even formal variables and four odd formal variables $$\begin{aligned} \label{delta-with} \lefteqn{\delta \biggl( \frac{x_1 - x_2 - \varphi_1^+ \varphi_2^- - \varphi_1^- \varphi_2^+}{x_0} \biggr)}\\ &=& \sum_{n \in \mathbb{Z}} (x_1 - x_2 - \varphi_1^+ \varphi_2^- - \varphi_1^- \varphi_2^+)^n x_0^{-n} \nonumber \\ &=& \delta \biggl( \frac{x_1 - x_2}{x_0} \biggr) - (\varphi_1^+ \varphi_2^- + \varphi_1^- \varphi_2^+)x_0^{-1} \delta' \biggl( \frac{x_1 - x_2}{x_0} \biggr) \nonumber\\ & & \quad + \, \varphi^+_1 \varphi^-_1 \varphi^+_2 \varphi^-_2 x_0^{-2} \delta '' \biggl( \frac{x_1 - x_2}{x_0} \biggr) \nonumber\end{aligned}$$ where $\delta^k(x) = d^k/dx^k \delta (x)$, for $k \in \mathbb{N}$, and we use the conventions that a function of even and odd variables should be expanded about the even variables and any expression in two even variables (such as $(x_1 - x_2)^n$, for $n \in \mathbb{Z}$) should be expanded in positive powers of the second variable, (in this case $x_2$). Note that $$\frac{\partial^k}{\partial x_0^k} x_0^{-1} \delta \biggl( \frac{x_1 - x_2 }{x_0} \biggr) = (-1)^k x_0^{-k-1} \delta^k \biggl( \frac{x_1 - x_2 }{x_0} \biggr),$$ and thus $$\begin{gathered} \label{delta-with2} \delta \biggl( \frac{x_1 - x_2 - \varphi_1^+ \varphi_2^- - \varphi_1^- \varphi_2^+}{x_0} \biggr)\\ = \delta \biggl( \frac{x_1 - x_2}{x_0} \biggr) + (\varphi_1^+ \varphi_2^- + \varphi_1^- \varphi_2^+) x_0 \frac{\partial}{\partial x_0} x_0^{-1} \delta \biggl( \frac{x_1 - x_2}{x_0} \biggr) \\ + \varphi^+_1 \varphi^-_1 \varphi^+_2 \varphi^-_2 x_0 \frac{\partial^2}{\partial x_0^2} x_0^{-1} \delta \biggl( \frac{x_1 - x_2}{x_0} \biggr) .\end{gathered}$$ Following the treatment of formal calculus for even formal variables given in @FHL, we have $$\label{delta1} f(x) \delta (x) = f(1) \delta (x) \qquad \mbox{for $f(x) \in \mathbb{C}[x,x^{-1}]$}.$$ Let $V$ be a vector space over $\mathbb{C}$. For $X(x_1,x_2) \in (\mbox{End} \; V)[[x_1, x_1^{-1},x_2, x_2^{-1}]]$ such that $$\lim_{x_1 \rightarrow x_2} X(x_1,x_2) \quad \mbox{exists, i.e.,} \quad X(x_1,x_2)|_{x_1 = x_2} \quad \mbox{exists}$$ (that is, when $X(x_1,x_2)$ is applied to any element of $V$, setting the variables equal leads to only finite sums in $V$), we have $$\label{delta-multiplication} X(x_1,x_2) \delta \biggl( \frac{x_1}{x_2} \biggr) = X(x_2,x_2) \delta \biggl( \frac{x_1}{x_2} \biggr) .$$ For the three-variable generating function $$\delta \biggl( \frac{x_1 - x_2}{x_0} \biggr) = \sum_{n \in \mathbb{Z}} \frac{(x_1 - x_2)^n}{x_0^n} = \sum_{n \in \mathbb{Z}, m \in \mathbb{N}} (-1)^m \binom{n}{m} x_0^{-n} x_1^{n-m} x_2^m ,$$ we have $$\label{delta-2-terms} x_1^{-1} \delta \biggl( \frac{x_2 + x_0}{x_1} \biggr) = x_2^{-1} \delta \biggl( \frac{x_1 - x_0}{x_2} \biggr)$$ and $$\label{delta-3-terms} x_0^{-1} \delta \biggl( \frac{x_1 - x_2}{x_0} \biggr) - x_0^{-1} \delta \biggl( \frac{x_2 - x_1}{-x_0} \biggr) = x_2^{-1} \delta \biggl( \frac{x_1 - x_0}{x_2} \biggr) .$$ Notice that in the spirit of the $\delta$-function multiplication principle (\[delta-multiplication\]), the expressions on both sides of (\[delta-2-terms\]) and the three terms occurring in (\[delta-3-terms\]) all correspond to the same formal substitution $x_0 = x_1 - x_2$. The above facts (\[delta1\])–(\[delta-multiplication\]) extend immediately to the following: $$f(x,\varphi^+, \varphi^-)\delta(x) = f(1,\varphi^+,\varphi^-)\delta(x) \qquad \mbox{for $f(x,\varphi^+, \varphi^-) \in \bigwedge_*[x,x^{-1},\varphi^+, \varphi^-]$}.$$ Let $V$ be a $\bigwedge_*$-module. If $$X(x_1,\varphi_1^+, \varphi_1^-,x_2,\varphi_2^+, \varphi_2^-) \in (\mbox{End} \; V)[[x_1,x_1^{-1},x_2, x_2^{-1}]][\varphi_1^+, \varphi_1^-, \varphi_2^+, \varphi_2^-]$$ such that $$\lim_{x_1 \rightarrow x_2} X(x_1,\varphi_1^+. \varphi_1^-,x_2,\varphi_2^+, \varphi_2^-)$$ exists, i.e., $$X(x_1,\varphi_1^+, \varphi_1^-,x_2,\varphi_2^+, \varphi_2^-)|_{x_1 = x_2}$$ exists, then $$\label{delta-multiplication-with-phis} X(x_1,\varphi_1^+, \varphi_1^-,x_2,\varphi_2^+, \varphi_2^-) \delta \biggl( \frac{x_1}{x_2} \biggr) = X(x_2,\varphi_1^+, \varphi_1^-,x_2,\varphi_2^+, \varphi_2^-) \delta \biggl(\frac{x_1}{x_2} \biggr) .$$ Repeatedly taking $\frac{\partial}{\partial x_0}$ of both sides of (\[delta-2-terms\]), we obtain the following identity (cf. @B-vosas): $$\label{delta-derivative-2-terms} x_1^{-k-1} \delta^k \biggl( \frac{x_2 + x_0}{x_1} \biggr) = (-1)^k x_2^{-k-1} \delta^k \biggl( \frac{x_1 - x_0}{x_2} \biggr) .$$ Repeatedly taking $\frac{\partial}{\partial x_1}$ of both sides of (\[delta-3-terms\]), we obtain (cf. @B-vosas): $$\label{delta-derivative-3-terms} x_0^{-k - 1} \delta^k \biggl( \frac{x_1 - x_2}{x_0} \biggr) - x_0^{-k-1} \delta^k \biggl( \frac{x_2 - x_1}{-x_0} \biggr) = x_2^{-k-1} \delta^k \biggl( \frac{x_1 - x_0}{x_2} \biggr) .$$ Thus from (\[delta-with\]), (\[delta-2-terms\]), (\[delta-3-terms\]), (\[delta-derivative-2-terms\]) and (\[delta-derivative-3-terms\]), we have $$\label{delta-2-terms-with-phis} x_1^{-1} \delta \biggl( \frac{x_2 + x_0 + \varphi_1^+ \varphi_2^- + \varphi_1^- \varphi_2^+}{x_1} \biggr) = x_2^{-1} \delta \biggl( \frac{x_1 - x_0 - \varphi_1^+ \varphi_2^- - \varphi_1^- \varphi_2^+ }{x_2} \biggr)$$ and $$\begin{gathered} \label{delta-3-terms-with-phis} x_0^{-1} \delta \biggl( \frac{x_1 - x_2 - \varphi_1^+ \varphi_2^- - \varphi_1^- \varphi_2^+}{x_0} \biggr) - x_0^{-1} \delta \biggl( \frac{x_2 - x_1 + \varphi_1^+ \varphi_2^- + \varphi_1^- \varphi_2^+}{-x_0} \biggr) \\ = x_2^{-1} \delta \biggl( \frac{x_1 - x_0 - \varphi_1^+ \varphi_2^- - \varphi_1^- \varphi_2^+}{x_2} \biggr) . \end{gathered}$$ Notice that in the spirit of the $\delta$-function multiplication principle (\[delta-multiplication-with-phis\]), the expressions on both sides of (\[delta-2-terms-with-phis\]) and the three terms occurring in (\[delta-3-terms-with-phis\]) all correspond to the same formal substitution $$x_0 = x_1 - x_2 - \varphi_1^+ \varphi_2^- - \varphi_1^- \varphi_2^+.$$ And thus for $$X(x_0,x_1,\varphi_1^+, \varphi_1^-,x_2,\varphi_2^+, \varphi_2^-) \in (\mbox{End} \;V) [[x_0,x_0^{-1},x_1,x_1^{-1},x_2,x_2^{-1}]] [\varphi_1^+, \varphi_1^-, \varphi_2^+, \varphi_2^-] ,$$ a formal substitution corresponding to $x_0 = x_1 - x_2 - \varphi_1^+ \varphi_2^- - \varphi_1^- \varphi_2^+$ can be made as long as the resulting expression is well defined, e.g., if $$X(x_1,\varphi_1^+, \varphi_1^-,x_2,\varphi_2^+, \varphi_2^-) \in (\mbox{End} \;V) [[x_1,x_1^{-1}]] ((x_2)) [\varphi_1^+, \varphi_1^-, \varphi_2^+, \varphi_2^-] ,$$ then $$\begin{gathered} \label{delta-substitute} \delta \biggl( \frac{x_2 + x_0 + \varphi_1^+ \varphi_2^- + \varphi_1^- \varphi_2^+}{x_1} \biggr) X(x_1,\varphi_1^+,\varphi_1^-,x_2,\varphi_2^+, \varphi_2^-) \\ = \delta \biggl( \frac{x_2 + x_0 + \varphi_1^+ \varphi_2^- + \varphi_1^- \varphi_2^+}{x_1} \biggr) X(x_2 + x_0 + \varphi_1^+ \varphi_2^- + \varphi_1^- \varphi_2^+, \varphi_1^+, \\ \varphi_1^-, x_2,\varphi_2^+, \varphi_2^-) , \end{gathered}$$ and (\[delta-substitute\]) holds for more general $X(x_1, \varphi_1^+,\varphi_1^-, x_2, \varphi_2^+, \varphi_2^-)$ as long as the expression $X(x_2 + x_0 + \varphi_1^+ \varphi_2^- + \varphi_1^- \varphi_2^+, \varphi_1^+, \varphi_1^-,x_2,\varphi_2^+, \varphi_2^-)$ is well defined. \[superconformal-remark\] <span>*The substitution $x_0 = x_1 - x_2 - \varphi_1^+ \varphi_2^- - \varphi_1^- \varphi_2^+$ can be thought of as the even part of a "superconformal shift of $(x_1, \varphi_1^+, \varphi_1^-)$ by $(x_2, \varphi_2^+, \varphi_2^-)$". That is, if we let $f(x, \varphi^+, \varphi^-) = (\tilde{x}, \tilde{\varphi}^+, \tilde{\varphi}^-)$ with $\tilde{x} \in (\bigwedge_*[[x, x^{-1}]][\varphi^+, \varphi^-])^0$ and $\tilde{\varphi}^\pm \in (\bigwedge_*[[x, x^{-1}]][\varphi^{(1)}, \varphi^{(2)}])^1$, then $f$ is said to be <span>*$N=2$ superconformal*</span> in $x$ and $\varphi^\pm$ if and only if $f$ satisfies $$\label{nice-superconformal-condition} D^- \tilde{\varphi}^+ = D^+ \tilde{\varphi}^- = D^+\tilde{x} - \tilde{\varphi}^- D^+ \tilde{\varphi}^+ = D^-\tilde{x} - \tilde{\varphi}^+ D^-\tilde{\varphi}^- =0$$ for $$\label{define-Dpm-derivative} D^\pm = \frac{\partial}{\partial \varphi^\pm} + \varphi^\mp \frac{\partial}{\partial x}$$ (see @B-moduli). For a formal superanalytic vector-valued function $f(x, \varphi^+, \varphi^-) = (\tilde{x}, \tilde{\varphi}^+$, $\tilde{\varphi}^-)$, the conditions (\[nice-superconformal-condition\]) are equivalent to requiring that $f$ transform both of the super-differential operators $D^\pm$ homogeneously of degree one so that $D^\pm = (D^\pm \tilde{\varphi}^\pm ) \tilde{D}^\pm$. We observe that $f(x_1,\varphi_1^+, \varphi_1^-) = (x_1 - x_2 - \varphi_1^+ \varphi_2^- - \varphi_1^- \varphi_2^+, \varphi_1^+ - \varphi_2^+, \varphi_1^- - \varphi_2^-)$ is formally $N=2$ superconformal in $x_1$ and $\varphi_1^\pm$ since it satisfies (\[nice-superconformal-condition\]).* </span> From @LL we have the following fact about $\delta$-functions and expansions of zero: $$\label{expansion-without} (x_1 - x_2)^{-n-1} - (-x_2 + x_1)^{-n-1} = \frac{(-1)^n}{n!} \left( \frac{\partial}{\partial x_1} \right)^n x_2^{-1} \delta \left(\frac{x_1}{x_2} \right) ,$$ for $n \in \mathbb{N}$. Thus including formal odd variables we have the following proposition: \[expansion-prop\] For $n \in \mathbb{N}$, $$\begin{gathered} (x_1 - x_2 - \varphi^+_1 \varphi^-_2 - \varphi^-_1 \varphi^+_2)^{-n-1} - (-x_2 + x_1 - \varphi^+_1 \varphi^-_2 - \varphi^-_1 \varphi^+_2)^{-n-1} \\ = \frac{(-1)^n}{n!} \left( \frac{\partial}{\partial x_1} \right)^n x_2^{-1} \delta \left(\frac{x_1 - \varphi^+_1 \varphi^-_2 - \varphi^-_1 \varphi^+_2}{x_2} \right).\end{gathered}$$ From (\[expansion\]) and (\[expansion-without\]), we have $$\begin{aligned} \lefteqn{(x_1 - x_2 - \varphi^+_1 \varphi^-_2 - \varphi^-_1 \varphi^+_2)^{-n-1} - (-x_2 + x_1 - \varphi^+_1 \varphi^-_2 - \varphi^-_1 \varphi^+_2)^{-n-1} }\\ &=& (x_1 - x_2)^{-n-1} - (-x_2 + x_1)^{-n-1} \\ & & \quad + \, (n+1)(\varphi^+_1 \varphi^-_2 + \varphi^-_1 \varphi^+_2) \bigl( (x_1 - x_2)^{-n-2} - (-x_2 + x_1)^{-n-2}\bigr) \\ & & \quad + \, (n+1)(n+2)\varphi^+_1 \varphi_2^- \varphi_1^- \varphi_2^+ \bigl( (x_1 - x_2)^{-n-3} - (-x_2 + x_1)^{-n-3} \bigr) \\\end{aligned}$$ $$\begin{aligned} &=& \frac{(-1)^n}{n!} \left( \frac{\partial}{\partial x_1} \right)^n x_2^{-1} \delta \left(\frac{x_1}{x_2} \right) \\ & & \quad + \, (n+1)(\varphi^+_1 \varphi^-_2 + \varphi^-_1 \varphi^+_2) \frac{(-1)^{n+1}}{(n+1)!} \left( \frac{\partial}{\partial x_1} \right)^{n+1} x_2^{-1} \delta \left(\frac{x_1}{x_2} \right) \\ & & \quad + \, (n+1)(n+2)\varphi^+_1 \varphi_2^- \varphi_1^- \varphi_2^+ \frac{(-1)^{n+2}}{(n+2)!} \left( \frac{\partial}{\partial x_1} \right)^{n+2} x_2^{-1} \delta \left(\frac{x_1}{x_2} \right) \\ &=& \frac{(-1)^n}{n!} \left( \frac{\partial}{\partial x_1} \right)^n \biggl( 1- (\varphi^+_1 \varphi^-_2 + \varphi^-_1 \varphi^+_2) \frac{\partial}{\partial x_1} \\ & & \quad + \, \varphi^+_1 \varphi_2^- \varphi_1^- \varphi_2^+ \left( \frac{\partial}{\partial x_1} \right)^2 \biggr) x_2^{-1} \delta \left(\frac{x_1}{x_2} \right) \\ &=& \frac{(-1)^n}{n!} \left( \frac{\partial}{\partial x_1} \right)^n x_2^{-1} \delta \left(\frac{x_1 - \varphi^+_1 \varphi^-_2 - \varphi^-_1 \varphi^+_2}{x_2} \right).\end{aligned}$$ We will often use a formal residue operator $\mathrm{Res}_x$ from $V[[x,x^{-1}]][\varphi^+, \varphi^-]$ to $V[\varphi^+, \varphi^-]$ which we define by $$\mathrm{Res}_x \sum_{n \in \mathbb{Z}} a_n (\varphi^+, \varphi^-) x^n = a_{-1}(\varphi^+, \varphi^-)$$ where $a_n(\varphi^+, \varphi^-) \in V[\varphi^+, \varphi^-]$, for $n \in \mathbb{Z}$. We have the following extension of the the formal Taylor Theorem (cf. @FLM, @LL): \[Taylor\] Let $v(x,\varphi^+, \varphi^-) \in V[[x,x^{-1}]][\varphi^+, \varphi^-]$. Then $$\begin{gathered} e^{x_0 \frac{\partial}{\partial x} + \varphi^+_0 \left( \frac{\partial}{\partial \varphi^+} + \varphi^- \frac{\partial}{\partial x} \right)+ \varphi^-_0 \left( \frac{\partial}{\partial \varphi^-} + \varphi^+ \frac{\partial}{\partial x} \right)} v(x, \varphi^+, \varphi^-) \\ = v(x + x_0 + \varphi^+_0 \varphi^- + \varphi_0^- \varphi^+, \varphi_0^+ + \varphi^+, \varphi_0^- + \varphi^-) \\ \end{gathered}$$ (and these expressions exist). By direct expansion, we see that $$\begin{gathered} e^{x_0 \frac{\partial}{\partial x} + \varphi^+_0 \left( \frac{\partial}{\partial \varphi^+} + \varphi^- \frac{\partial}{\partial x} \right)+ \varphi^-_0 \left( \frac{\partial}{\partial \varphi^-} + \varphi^+ \frac{\partial}{\partial x} \right)} (x, \varphi^+, \varphi^-) \\ = (x + x_0 + \varphi^+_0 \varphi^- + \varphi_0^- \varphi^+, \varphi_0^+ + \varphi^+, \varphi_0^- + \varphi^-) .\end{gathered}$$ By Proposition 6.20 in @B-moduli, we have that $$\begin{gathered} e^{x_0 \frac{\partial}{\partial x} + \varphi^+_0 \left( \frac{\partial}{\partial \varphi^+} + \varphi^- \frac{\partial}{\partial x} \right)+ \varphi^-_0 \left( \frac{\partial}{\partial \varphi^-} + \varphi^+ \frac{\partial}{\partial x} \right)} v(x, \varphi^+, \varphi^-) \\ = v\left(e^{x_0 \frac{\partial}{\partial x} + \varphi^+_0 \left( \frac{\partial}{\partial \varphi^+} + \varphi^- \frac{\partial}{\partial x} \right)+ \varphi^-_0 \left( \frac{\partial}{\partial \varphi^-} + \varphi^+ \frac{\partial}{\partial x} \right)} (x, \varphi^+, \varphi^-)\right).\end{gathered}$$ The result follows. $N=2$ (Neveu-Schwarz) vertex (operator) superalgebras with two odd formal variables {#N2-with-section} =================================================================================== The notion of $N=2$ vertex superalgebra with two odd formal variables {#vertex-superalgebra-section} --------------------------------------------------------------------- \[vertex-superalgebra-definition\] <span>*An*</span> $N=2$ vertex superalgebra over $\bigwedge_*$ and with two odd formal variables <span>*consists of a $\mathbb{Z}_2$-graded $\bigwedge_*$-module (graded by*</span> sign $\eta$<span>*) $$\label{first-n2-superalgebra-with} V = V^0 \oplus V^1$$ equipped, first, with a linear map $$\begin{aligned} \label{operator-with} V &\longrightarrow& (\mbox{End} \; V)[[x,x^{-1}]][\varphi^+, \varphi^-] \\ v &\mapsto& Y(v,(x,\varphi^+, \varphi^-)) \nonumber\end{aligned}$$ with $$Y(v,(x,\varphi^+, \varphi^-)) = \sum_{n \in \mathbb{Z}} \Bigl( v_n + \varphi^+ v_{n - \frac{1}{2}}^+ + \varphi^- v_{n - \frac{1}{2}}^- + \varphi^+ \varphi^- v_{n-1}^{+-} \Bigr) x^{-n-1},$$ where for the $\mathbb{Z}_2$-grading of $\mathrm{End} \; V$ induced from that of $V$, we have $$v_n, v_n^{+-} \in (\mbox{End} \; V)^{\eta(v)}, \quad \mathrm{and} \quad v_{n - \frac{1}{2}}^\pm \in (\mbox{End} \; V)^{(\eta(v) + 1) \mbox{\begin{footnotesize} mod \end{footnotesize}} 2}$$ for $v$ of homogeneous sign in $V$, $x$ is an even formal variable, and $\varphi^\pm$ are odd formal variables, and where $Y(v,(x,\varphi^+, \varphi^-))$ denotes the*</span> vertex operator associated with $v$. <span>*We also have a distinguished element $\mathbf{1}$ in $V$ (the*</span> vacuum vector<span>*). The following conditions are assumed for $u,v \in V$: the*</span> truncation conditions: <span>*$$\label{truncation} u_n v = u_{n}^{+-} v = u_{n-\frac{1}{2}}^\pm v = 0 \qquad \mbox{for $n \in \mathbb{Z}$ sufficiently large,}$$ that is $$Y(u, (x, \varphi^+, \varphi^-))v \in V((x))[\varphi^+, \varphi^-];$$ next, the following*</span> vacuum property<span>*: $$\label{vacuum-identity} Y(\mathbf{1}, (x, \varphi^+, \varphi^-)) = \mathrm{id}_V ;$$ the*</span> creation property <span>*holds: $$\begin{aligned} \ Y(v,(x,\varphi^+,\varphi^-)) \mathbf{1} &\in& V[[x]][\varphi^+,\varphi^-] \label{creation-property1} \\ \lim_{(x,\varphi^+,\varphi^-) \rightarrow 0} Y(v,(x, \varphi^+,\varphi^-)) \mathbf{1} &=& v ; \label{creation-property2}\end{aligned}$$ and finally the*</span> Jacobi identity *holds:* $$\begin{aligned} \label{Jacobi-identity} \lefteqn{\quad x_0^{-1} \delta \biggl( \frac{x_1 - x_2 - \varphi^+_1 \varphi^-_2 - \varphi^-_1 \varphi^+_2}{x_0} \biggr)Y(u,(x_1, \varphi^+_1, \varphi^-_1)) Y(v,(x_2, \varphi^+_2,\varphi^-_2))} \\ & & \quad - (-1)^{\eta(u)\eta(v)} x_0^{-1} \delta \biggl( \frac{x_2 - x_1 + \varphi^+_1 \varphi^-_2 + \varphi^-_1 \varphi^+_2}{-x_0} \biggr) Y(v,(x_2, \varphi^+_2,\varphi^-_2)) \nonumber\\ & & \quad \cdot Y(u,(x_1,\varphi^+_1,\varphi^-_1)) \nonumber \\ \quad &=& \! \! \! x_2^{-1} \delta \biggl( \frac{x_1 - x_0 - \varphi^+_1 \varphi^-_2 - \varphi^-_1 \varphi^+_2}{x_2} \biggr) Y(Y(u,(x_0, \varphi^+_1 - \varphi^+_2,\varphi^-_1 - \varphi^-_2))v, \nonumber\\ & & \quad (x_2, \varphi^+_2,\varphi^-_2)) , \nonumber\end{aligned}$$ for $u,v$ of homogeneous sign in $V$. The $N=2$ vertex superalgebra just defined is denoted by $$(V,Y(\cdot,(x, \varphi^+, \varphi^-)), \mathbf{1}),$$ or for simplicity by $V$. Since $\bigwedge_L \subset \bigwedge_\infty$ for $L\in \mathbb{N}$, any $N=2$ vertex superalgebra $V$ over $\bigwedge_L$ can be extended to an $N=2$ vertex superalgebra over $\bigwedge_\infty$ by taking the $\bigwedge_\infty$-module induced by the $\bigwedge_L$-module $V$. Let $(V_1, Y_1(\cdot,(x,\varphi^+, \varphi^-)),\mbox{\bf 1}_1)$ and $(V_2, Y_2(\cdot,(x,\varphi^+, \varphi^-)),\mbox{\bf 1}_2)$ be two $N=2$ vertex superalgebras. A <span>*homomorphism of $N=2$ vertex superalgebras with odd formal variables*</span> is a $\mathbb{Z}_2$-graded $\bigwedge_\infty$-module homomorphism $\gamma : V_1 \longrightarrow V_2 \;$ satisfying $$\gamma (Y_1(u,(x,\varphi^+,\varphi^-))v) = Y_2(\gamma(u),(x,\varphi^+, \varphi^-))\gamma(v) \quad \mbox{for} \quad u,v \in V_1 ,$$ and $\gamma(\mbox{\bf 1}_1) = \mbox{\bf 1}_2$. Note that an $N=2$ vertex superalgebra over $\bigwedge_*$ is isomorphic to the same $N=2$ Neveu-Schwarz vertex operator superalgebra over a different subalgebra of the underlying Grassmann algebra $\bigwedge_\infty$. We have the following consequences of the definition of $N=2$ vertex superalgebra with two odd formal variables: By the creation property, we see that $\mathbf{1} \in V^0$, and $$v_{-1} \cdot \mathbf{1} = v.$$ Taking $\mathrm{Res}_{x_0}$ of the Jacobi identity and using the $\delta$-function identity (\[delta-2-terms-with-phis\]), we obtain the following <span>*supercommutator formula*</span> with odd formal variables $$\begin{gathered} \label{homo-bracket} [ Y(u, (x_1,\varphi^+_1, \varphi_1^-)), Y(v,(x_2,\varphi_2^+, \varphi_2^-))] \\ = \mbox{Res}_{x_0} x_2^{-1} \delta \biggl( \frac{x_1 - x_0 - \varphi_1^+ \varphi_2^- - \varphi_1^- \varphi_2^+}{x_2} \biggr) \\ \cdot Y(Y(u,(x_0, \varphi_1^+ - \varphi_2^+, \varphi_1^- - \varphi_2^-))v,(x_2, \varphi_2^+, \varphi_2^-)) . \end{gathered}$$ Taking $\mathrm{Res}_{x_1}$ of the Jacobi identity and using the $\delta$-function identity (\[delta-2-terms-with-phis\]), we obtain the following <span>*iterate formula*</span> for $N=2$ vertex operators with two odd formal variables $$\begin{gathered} \label{iterate} Y(Y(u,(x_0, \varphi_1^+ - \varphi_2^+, \varphi_1^- - \varphi_2^-))v,(x_2, \varphi_2^+, \varphi_2^-))\\ = \mathrm{Res}_{x_1} \biggl( x_0^{-1} \delta \biggl( \frac{x_1 - x_2 - \varphi^+_1 \varphi^-_2 - \varphi^-_1 \varphi^+_2}{x_0} \biggr)Y(u,(x_1, \varphi^+_1, \varphi^-_1)) Y(v,(x_2, \varphi^+_2,\varphi^-_2)) \\ - \, (-1)^{\eta(u)\eta(v)} x_0^{-1} \delta \biggl( \frac{x_2 - x_1 + \varphi^+_1 \varphi^-_2 + \varphi^-_1 \varphi^+_2}{-x_0} \biggr) Y(v,(x_2, \varphi^+_2,\varphi^-_2))\\ \cdot Y(u,(x_1,\varphi^+_1,\varphi^-_1)) \biggr).\end{gathered}$$ We will sometimes use the following notation for the vertex operator associated with $v \in V$: $$\begin{aligned} Y(v,(x,\varphi^+, \varphi^-)) &=& \sum_{n \in \mathbb{Z}} \Bigl( v_n + \varphi^+ v_{n - \frac{1}{2}}^+ + \varphi^- v_{n - \frac{1}{2}}^- + \varphi^+ \varphi^- v_{n-1}^{+-} \Bigr) x^{-n-1} \nonumber \\ &=& v(x) + \varphi^+ v^+ (x) + \varphi^- v^-(x) + \varphi^+ \varphi^- v^{+-}(x). \label{v-notation}\end{aligned}$$ \[Dpm-derivative-prop\] Let $V$ be an $N=2$ vertex superalgebra with two odd formal variables and let $\mathcal{D}^\pm$ be the odd endomorphisms of $V$ defined by $$\label{define-Dpm} \mathcal{D}^\pm (v) = v^\pm_{-\frac{3}{2}} \mathbf{1} \qquad \mbox{for $v \in V$.}$$ Then $$\label{Dpm-derivative-property} Y(\mathcal{D}^\pm v,(x,\varphi^+, \varphi^-)) = \biggl( \frac{\partial}{\partial \varphi^\pm} + \varphi^\mp \frac{\partial}{\partial x} \biggr) Y(v,(x,\varphi^+, \varphi^-)) .$$ Using the iterate formula (\[iterate\]), the vacuum property (\[vacuum-identity\]), Proposition \[expansion-prop\], (\[delta-2-terms-with-phis\]) with $x_0=0$ (which is well-defined), (\[delta-substitute\]), and the notation (\[v-notation\]), we have $$\begin{aligned} \lefteqn{Y(\mathcal{D}^\pm v,(x_2,\varphi^+_2, \varphi^-_2)) }\\ &=& Y(v^\pm_{-\frac{3}{2}} \mathbf{1},(x_2,\varphi^+_2, \varphi^-_2)) \\ &=& \left( \frac{\partial}{\partial \varphi_1^\pm} \pm \varphi^\mp_2 \frac{\partial}{\partial \varphi_1^-} \frac{\partial}{\partial \varphi_1^+} \right) \mathrm{Res}_{x_0} x_0^{-1} Y(Y(v,(x_0, \varphi_1^+ - \varphi_2^+, \varphi_1^- - \varphi_2^-)) \mathbf{1}, \\ & & \quad (x_2, \varphi_2^+, \varphi_2^-)) \biggr|_{\varphi_1^\mp = 0}\\ &=& \left( \frac{\partial}{\partial \varphi_1^\pm} \pm \varphi^\mp_2 \frac{\partial}{\partial \varphi_1^-} \frac{\partial}{\partial \varphi_1^+} \right) \mathrm{Res}_{x_0} x_0^{-1} \mathrm{Res}_{x_1} \biggl( x_0^{-1} \delta \biggl( \frac{x_1 - x_2 - \varphi^+_1 \varphi^-_2 - \varphi^-_1 \varphi^+_2}{x_0} \biggr)\\\end{aligned}$$ $$\begin{aligned} & & \quad \cdot Y(v,(x_1, \varphi^+_1, \varphi^-_1)) - x_0^{-1} \delta \biggl( \frac{x_2 - x_1 + \varphi^+_1 \varphi^-_2 + \varphi^-_1 \varphi^+_2}{-x_0} \biggr)\\ & & \quad \cdot Y(v,(x_1,\varphi^+_1,\varphi^-_1)) \biggr) \biggr|_{\varphi_1^\mp = 0}\\ &=& \left( \frac{\partial}{\partial \varphi_1^\pm} \pm \varphi^\mp_2 \frac{\partial}{\partial \varphi_1^-} \frac{\partial}{\partial \varphi_1^+} \right) \mathrm{Res}_{x_1} \biggl( \Bigl( (x_1 - x_2 - \varphi^+_1 \varphi^-_2 - \varphi^-_1 \varphi^+_2)^{-1}\\ & & \quad - \, (-x_2 + x_1 - \varphi^+_1 \varphi^-_2 - \varphi^-_1 \varphi^+_2)^{-1} \Bigr) Y(v,(x_1,\varphi^+_1,\varphi^-_1)) \biggr) \biggr|_{\varphi_1^\mp = 0}\\ &=& \left( \frac{\partial}{\partial \varphi_1^\pm} \pm \varphi^\mp_2 \frac{\partial}{\partial \varphi_1^-} \frac{\partial}{\partial \varphi_1^+} \right) \mathrm{Res}_{x_1} \biggl( x_2^{-1} \delta \left(\frac{x_1 - \varphi^+_1 \varphi^-_2 - \varphi^-_1 \varphi^+_2}{x_2} \right) \\ & & \quad \cdot Y(v,(x_1,\varphi^+_1,\varphi^-_1)) \biggr) \biggr|_{\varphi_1^\mp = 0}\\ &=& \left( \frac{\partial}{\partial \varphi_1^\pm} \pm \varphi^\mp_2 \frac{\partial}{\partial \varphi_1^-} \frac{\partial}{\partial \varphi_1^+} \right) \mathrm{Res}_{x_1} \biggl( x_1^{-1} \delta \left(\frac{x_2 + \varphi^+_1 \varphi^-_2 + \varphi^-_1 \varphi^+_2}{x_1} \right) \\ & & \quad \cdot Y(v,(x_1,\varphi^+_1,\varphi^-_1)) \biggr) \biggr|_{\varphi_1^\mp = 0}\\ &=& \left( \frac{\partial}{\partial \varphi_1^\pm} \pm \varphi^\mp_2 \frac{\partial}{\partial \varphi_1^-} \frac{\partial}{\partial \varphi_1^+} \right) \mathrm{Res}_{x_1} \biggl( x_1^{-1} \delta \left(\frac{x_2 + \varphi^+_1 \varphi^-_2 + \varphi^-_1 \varphi^+_2}{x_1} \right) \\ & & \quad \cdot Y(v,(x_2 + \varphi^+_1 \varphi^-_2 + \varphi^-_1 \varphi^+_2 ,\varphi^+_1,\varphi^-_1)) \biggr) \biggr|_{\varphi_1^\mp = 0}\\ &=& \left( \frac{\partial}{\partial \varphi_1^\pm} \pm \varphi^\mp_2 \frac{\partial}{\partial \varphi_1^-} \frac{\partial}{\partial \varphi_1^+} \right) Y(v,(x_2 + \varphi^+_1 \varphi^-_2 + \varphi^-_1 \varphi^+_2 ,\varphi^+_1,\varphi^-_1)) \biggr|_{\varphi_1^\mp = 0}\\ &=& \left( \frac{\partial}{\partial \varphi_1^\pm} \pm \varphi^\mp_2 \frac{\partial}{\partial \varphi_1^-} \frac{\partial}{\partial \varphi_1^+} \right) \biggl( Y(v,(x_2 ,\varphi^+_1,\varphi^-_1)) + ( \varphi^+_1 \varphi^-_2 + \varphi^-_1 \varphi^+_2) \\ & & \quad \frac{\partial}{\partial x_2} Y(v,(x_2 ,\varphi^+_1,\varphi^-_1)) + \varphi^+_1 \varphi^-_2 \varphi^-_1 \varphi^+_2 \left(\frac{\partial}{\partial x_2}\right)^2 Y(v,(x_2 ,\varphi^+_1,\varphi^-_1))\biggr) \biggr|_{\varphi_1^\mp = 0}\\ &=& \biggl( \frac{\partial}{\partial \varphi_1^\pm} Y(v,(x_2 ,\varphi^+_1,\varphi^-_1)) + \varphi^\mp_2 \frac{\partial}{\partial x_2} Y(v,(x_2 ,\varphi^+_1,\varphi^-_1)) \pm \varphi^\mp_2 \frac{\partial}{\partial \varphi_1^-} \frac{\partial}{\partial \varphi_1^+} \\ & & \quad \cdot Y(v,(x_2 ,\varphi^+_1,\varphi^-_1)) \mp \varphi^+_2 \varphi^-_2 \frac{\partial}{\partial \varphi_1^\pm} \frac{\partial}{\partial x_2} Y(v,(x_2 ,\varphi^+_1,\varphi^-_1)) \biggr) \biggr|_{\varphi_1^\mp = 0}\\ &=& v^\pm (x_2) + \varphi^\mp_2 \frac{\partial}{\partial x_2}v(x_2) \pm \varphi^\mp_2 v^{+-}(x_2) \mp \varphi^+_2 \varphi^-_2 \frac{\partial}{\partial x_2} v^\pm(x_2)\\ &=& \left( \frac{\partial}{\partial \varphi_2^\pm} + \varphi^\mp_2 \frac{\partial}{\partial x_2} \right) Y(v,(x_2,\varphi^+_2, \varphi^-_2 )).\end{aligned}$$ \[geometry-correspondence-remark\] <span>*The $\mathcal{D}^\pm$-derivative properties (\[Dpm-derivative-property\]) show that the operators $\mathcal{D}^\pm \in (\mathrm{End} \; V)^1$ correspond to the $N=2$ superconformal operators $D^\pm$ as defined in (\[define-Dpm-derivative\]); see Remark \[superconformal-remark\]. In fact this is one of the main motivations for adding the odd formal variables to the notion of vertex superalgebra. The inclusion of odd formal variables in the notion of vertex operator superalgebra was first done in the $N=1$ case in @B-announce (see also @B-thesis–@B-iso), motivated by the supergeometry of genus-zero, holomorphic, $N=1$ superconformal field theory. The rigorous correspondence between this geometry and $N=1$ Neveu-Schwarz vertex operator superalgebras was developed in @B-announce–@B-iso. In Section \[iso-section\], we will present the notion of $N=2$ vertex superalgebra without odd formal variables and show that the category of such objects is isomorphic to the category of $N=2$ vertex superalgebras with odd formal variables. Thus although the notion above has an equivalent counterpart without the odd formal variables, in adding the formal variables the correspondence with the underlying superconformal theory is emphasized. We will discuss this correspondence with the geometry further in Section \[vosa-section\], and then in Sections \[nonhomo-section\] and \[N=1-section\] we show that there are other superconformal settings which will motivate other ways of formulating an equivalent notion of $N=2$ vertex superalgebra which incorporates odd formal variables.*</span> As a consequences of Proposition \[Dpm-derivative-prop\], and the fact that $$\left[D^+, D^-\right] = \left[ \frac{\partial}{\partial \varphi^+} + \varphi^- \frac{\partial}{\partial x}, \frac{\partial}{\partial \varphi^-} + \varphi^+ \frac{\partial}{\partial x} \right] = 2 \frac{\partial }{\partial x},$$ we have that $$\label{for-D-derivative} Y([\mathcal{D}^+, \mathcal{D}^-]v,(x, \varphi^+, \varphi^-)) = 2 \frac{\partial}{\partial x} Y(v, (x, \varphi^+, \varphi^-)).$$ Thus we have the following corollary to Proposition \[Dpm-derivative-prop\]: \[D-derivative-cor\] Let $V$ be an $N=2$ vertex superalgebra with two odd formal variables. Let $\mathcal{D}^\pm$ be defined by (\[define-Dpm\]), and let $\mathcal{D}$ be the even endomorphisms of $V$ defined by $$\label{define-D} \mathcal{D} = \frac{1}{2} [\mathcal{D}^+, \mathcal{D}^-].$$ Then $$\label{D-derivative-property} Y(\mathcal{D}v,(x, \varphi^+, \varphi^-)) = \frac{\partial}{\partial x} Y(v, (x, \varphi^+, \varphi^-)).$$ Furthermore, we have $$\label{D-is-what-it-should-be} \mathcal{D}(v) = v_{-2}\mathbf{1}.$$ Since (\[D-derivative-property\]) follows from (\[for-D-derivative\]), we need only prove equation (\[D-is-what-it-should-be\]). From the $\mathcal{D}^\pm$-derivative properties (\[Dpm-derivative-property\]), we have $$(\mathcal{D}^\pm v)^\mp_{n-\frac{1}{2}} = \pm v_{n-1}^{+-} - n v_{n-1}.$$ Thus $$\begin{aligned} \mathcal{D}(v) &=& \frac{1}{2} (\mathcal{D}^+ \mathcal{D}^- +
{'source': 'arXiv_out/0710'}