We are solving for the case of flat superspace some homological problems that were formulated by Berkovits and Howe. (Our considerations can be applied also to the case of supertorus.) These problems arise in the attempt to construct integrals invariant with respect to supersymmetry. They appear also in other situations, in particular, in the pure spinor formalism in supergravity.
Building on the superspace formulation for four-dimensional N=2 matter-coupled supergravity developed in arXiv:0805.4683, we elaborate upon a general setting for field theory in N=2 conformally flat superspaces, and concentrate specifically on the case of anti-de Sitter (AdS) superspace. We demonstrate, in particular, that associated with the N=2 AdS supergeometry is a unique vector multiplet such that the corresponding covariantly chiral field strength W_0 is constant, W_0=1. This multiplet proves to be intrinsic in the sense that it encodes all the information about the N=2 AdS supergeometry in a conformally flat frame. Moreover, it emerges as a building block in the construction of various supersymmetric actions. Such a vector multiplet, which can be identified with one of the two compensators of N=2 supergravity, also naturally occurs for arbitrary conformally flat superspaces. An explicit superspace reduction N=2 to N=1 is performed for the action principle in general conformally flat N=2 backgrounds, and examples of such reduction are given.
A fully quantum version of the Witten-Olive analysis of the central charge in the N=1 Wess-Zumino model in $d=2$ with a kink solution is presented by using path integrals in superspace. We regulate the Jacobians with heat kernels in superspace, and obtain all superconformal anomalies as one Jacobian factor. The conserved quantum currents differ from the Noether currents by terms proportional to field equations, and these terms contribute to the anomalies. We identify the particular variation of the superfield which produces the central charge current and its anomaly; it is the variation of the auxiliary field. The quantum supersymmetry algebra which includes the contributions of superconformal anomalies is derived by using the Bjorken-Johnson-Low method instead of semi-classical Dirac brackets. We confirm earlier results that the BPS bound remains saturated at the quantum level due to equal anomalies in the energy and central charge.
Integral invariants in maximally supersymmetric Yang-Mills theories are discussed in spacetime dimensions $4leq Dleq 10$ for $SU(k)$ gauge groups. It is shown that, in addition to the action, there are three special invariants in all dimensions. Two of these, the single- and double-trace $F^4$ invariants, are of Chern-Simons type in $D=9,10$ and BPS type in $Dleq 8$, while the third, the double-trace of two derivatives acting on $F^4$, can be expressed in terms of a gauge-invariant super-$D$-form in all dimensions. We show that the super-ten-forms for $D=10$ $F^4$ invariants have interesting cohomological properties and we also discuss some features of other invariants, including the single-trace $d^2 F^4$, which has a special form in $D=10$. The implications of these results for ultra-violet divergences are discussed in the framework of algebraic renormalisation.
We consider the $U(1)$ Chern-Simons gauge theory defined in a general closed oriented 3-manifold $M$; the functional integration is used to compute the normalized partition function and the expectation values of the link holonomies. The nonperturbative path-integral is defined in the space of the gauge orbits of the connections which belong to the various inequivalent $U(1)$ principal bundles over $M$; the different sectors of the configuration space are labelled by the elements of the first homology group of $M$ and are characterized by appropriate background connections. The gauge orbits of flat connections, whose classification is also based on the homology group, control the extent of the nonperturbative contributions to the mean values. The functional integration is achieved in any 3-manifold $M$, and the corresponding path-integral invariants turn out to be strictly related with the abelian Reshetikhin-Turaev surgery invariants.
We reconstruct the action of $N=1, D=4$ Wess-Zumino and $N=1, 2, D=4$ super-Yang-Mills theories, using integral top forms on the supermanifold ${cal M}^{(4|4)}$. Choosing different Picture Changing Operators, we show the equivalence of their rheonomic and superspace actions. The corresponding supergeometry and integration theory are discussed in detail. This formalism is an efficient tool for building supersymmetric models in a geometrical framework.