Abstract
We explore the properties of polynomial Lagrangians for chiral p-forms previously proposed by the last named author, and in particular, provide a self-contained treatment of the symmetries and equations of motion that shows a great economy and simplicity of this formalism. We further use analogous techniques to construct polynomial democratic Lagrangians for general p-forms where electric and magnetic potentials appear on equal footing as explicit dynamical variables. Due to our reliance on the differential form notation, the construction is compact and universally valid for forms of all ranks, in any number of dimensions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Duality between electric and magnetic degrees of freedom has been a source of inspiration to theoretical physics since the formulation of Maxwell’s theory of electromagnetism. In particular, it has prompted Dirac’s influential treatment of magnetic charges. More contemporary related developments include the monopole condensation picture of confinement, Montonen–Olive duality, and various aspects of differential form fields ubiquitous in supersymmetric field theories.
While the electric-magnetic symmetry is apparent, say, in the vacuum Maxwell equations, creating a Lagrangian description of such duality-symmetric theories that would feature electric and magnetic degrees of freedom on an equal footing is known to be involved. A closely related question is giving a Lagrangian description to chiral forms, invariant under electric-magnetic dualities and often arising in supersymmetric field theories. We provide a selection of relevant literature [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53] that represents some of the history of the subject.
To set the stage, one can visualize the familiar example of the Maxwell equations in vacuum, which can be given using two-form field strength F as
Solving the first equation using the Poincaré lemma, we introduce the vector potential: \(F=dA\). Then, the second equation is a gauge-invariant wave equation for the vector A. We could also solve the second equation using Poincaré lemma, thus introducing a dual potential: \(F=\star dB\) (in d dimensions, B is a \((d-3)\)-form). In this case, the first equation of (1.1) is a non-trivial wave equation for the potential B. In both cases, it is straightforward to write a standard action in terms of potentials A or B, which produce the corresponding equations. The choice of one or another potential for the description of the theory breaks, however, its manifest electric-magnetic duality symmetry. Instead, one could aim at maintaining the duality manifest and keeping both potentials A and B. In this case, (1.1) is equivalently re-encoded into the twisted selfduality relation
(The term ‘twist’ denotes here the interchange of the two potentials that accompanies the Hodge dualization.) Lagrangian formulations giving rise to Eq. (1.2) are much less obvious to construct than the corresponding formulations with only one of the two potentials. Analogously and more generally, in d space-time dimensions, equations of motion for a free p-form can be written in terms of the twisted selfduality condition (1.2) employing both the curvature of the p-form potential, and its dual \((d-2-p)\)-form potential.
Similarly, in the special cases of (anti)selfdual (chiral) fields, the equations can be given as duality relations
While in the cases of twisted selfduality equations (1.2) it is possible to describe the corresponding degrees of freedom using two-derivative equations and straighforward (Maxwell) Lagrangians, the chiral fields force us to look for Lagrangians that give rise to first derivative equations (1.3). There are several reasons why such Lagrangians are hard to construct, one of which is that the \((p+1)\)-form equation (1.2) cannot be generated as a variation of a scalar Lagrangian with respect to the p-form field A. This implies a necessity to break manifest Lorentz symmetry or introduce auxiliary fields.
A number of approaches to constructing Lagrangians for chiral forms and democratic formulations with both electric and magnetic potentials have appeared in the literature over the years, and it is beyond the limits of this introduction to critically review all of them; instead, we refer the reader to the original literature in our selection of references [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53] and beyond. Our focus here will be on analyzing and developing a particular proposal put forth in [43]. This proposal is, in turn, rooted in the attractive approach originally developed in [16, 17, 22] by Pasti, Sorokin and Tonin (PST). While the formalism of [43] arises from the PST theory through introduction of an extra auxiliary form field via a particular version of the Hubbard-Stratonovich trick, it runs counter to the long perceived tension between keeping Lagrangian descriptions of chiral forms local, manifestly Lorentz-invariant, ghost-free and polynomial with a finite number of terms and fields in the Lagrangian. Considerations of [43] have produced a theory that simultaneously possesses all of these appealing features.
The analysis of [43] has focused on designing a polynomial Lagrangian for chiral forms satisfying (1.3), and showing its equivalence to PST theory. In our present treatment, we start by taking up the result of the considerations of [43] and showing how to analyze the symmetries and equations of motion in this formalism. The result is, of course, the same as what one would get in PST theory (to which the formulation of [43] can be related), but it is visible from our treatment that the derivations are considerably more compact and transparent than what one would have had to undertake by reverting to PST theory first. This shows the efficiency of the polynomial formulation of [43]. To take the formulation of [43] further, we then turn to the topic of democratic electric-magnetic theories that give a Lagrangian description to the duality relation (1.2) rather than the selfduality relation (1.3). A formalism analogous to [43] can be developed for this objective, with a similarly high level of efficiency. This generates a compact treatment of democtratic polynomial Lagrangians for form fields of all ranks, in any number of dimensions.
2 Chiral p-forms
We start by revisiting the polynomial formulations for a free chiral form proposed in [43]. Our purpose is twofold. First, we would like to give a demonstration of the algebraic efficiency of this formalism, which allows for an economical handling of the equations of motion and gauge symmetries. Second, we would like to thoroughly reformulate the formalism in the differential form notation, which makes it possible to treat all numbers of dimensions and form ranks in a uniform fashion. Much of the classic literature on related subjects [16, 17, 22] relies on the index notation, where numerical coefficients of combinatorial nature appear in the formulas. The form notation eliminates such coefficients and makes the formulas more compact. (Some earlier treatments of related subjects relying on the form notation can be found in [34, 37].) We give conversion formulas connecting the form and index notation in “Appendix A”, and a collection of identities for differential forms in “Appendix B” (this material is completely standard, but it is convenient to have it handy while going through our subsequent derivations). Of these, the projection rejection identity
valid for any unit vector v and any form A, and the action of the Hodge star on the interior and exterior product,
will be encountered especially frequently in our derivations (normally, with \(da/\sqrt{(\partial a)^2}\) playing the role of v for a scalar field a). In a slight abuse of notation, we shall employ the same letter to refer to vectors and their dual 1-forms, but there should be no situations where this could cause confusion. We shall also use the notation
The formulation of [43] comes in two versions, related by a simple field redefinition, but endowed with rather different flavors. In the first formulation introduced in [43], the field content is a gauge p-form, an auxiliary p-form satisfying an algebraic equation of motion, and an auxiliary scalar field playing the same role as in PST formalism. The advantages of this formalism are its immediate relation to PST theory (which is recovered upon integrating out the auxiliary p-form) and the simpler form of some of its gauge symmetries. The second formulation appears, at the first sight, to have a doubled field content consisting of two p-form gauge fields and the same auxiliary scalar as before. The truth is that, because of the rich gauge symmetry, the actual dynamical content of the theory is halved rather than doubled, leaving a single chiral p-form. The advantage of this formalism is its very conventional appearance in terms of two ordinary p-forms with Maxwellian gauge symmetries.
In what follows, we shall first review the ‘Maxwellian’ formalism and provide a complete self-contained analysis of the symmetries and the equations of motion, showing the algebraic appeal of this formulation. Then for the convenience of the reader we will summarize the structure of the formalism with an algebraic auxiliary field.
2.1 Formulation with a doubled set of Maxwellian fields
Following [43], we consider the Lagrangian
where \(F=dA\) and \(Q=dR\). Here, A and R are p-forms and a is a scalar field. A p-form may have a selfdual field strength in \(d=2p+2\) dimensions, and furthermore, in Minkowski signature, p must be even, which is what we shall assume until the end of Sect. 2. (Note that, in this situation, \(\star \star =+1\) when acting on any \((p+1)\)-form, which we shall apply automatically throughout until the end of Sect. 2.) Note the very conventional field content with two Maxwellian p-form gauge fields A and R, only entering the Lagrangian through their respective field strengths F and Q.
Lagrangian (2.4) possesses the following four gauge symmetries:
where \(\varphi \) is an arbitrary scalar function and U is an arbitrary \((p-1)\)-form (independently specified for each of the three transformations where it is featured). The first two transformations are Maxwellian shifts of A and R, obvious as the Lagrangian only depends on the corresponding field strengths. The third symmetry leaves the first term of (2.4) unchanged and modifies the second one by a total derivative, which vanishes upon integration. This symmetry will be crucial below for establishing the selfduality of the physical degrees of freedom. Validating the last transformation requires slightly more work. The variation of Lagrangian (2.4) under arbitrary shifts of a, A and R, up to total derivative terms, is
Note that the content of the square brackets in the last line can be recast as \(a\,d[\star (F+aQ)]+da\wedge [\star (F+aQ)-F]\). Thereafter, assuming \(\delta A=-\,a\,\delta R\), which holds for (2.8), one gets
or
where we have introduced \(H\equiv F+aQ\) for brevity. The second \(\varphi \)-term above gets simplified as follows:
Taking the second term to the left-hand side, one concludes that
Substituting this formula back into (2.11) results in \(\delta {\mathcal {L}}=0\), and hence (2.8) is a valid symmetry.
Note that transformations (2.8) imply that the field a can be shifted arbitrarily, and is thus a pure gauge degree of freedom. Admissible gauges, as in PST formalism [22], are those that provide a as a good global coordinate function on the Minkowski space. In particular, gradients of a should not vanish anywhere, and the level hypersurfaces \(a=\mathrm {const}\) must be of topology \(R^{d-1}\) and furnish a globally nondegenerate foliation of \(R^d\). This, obviously, implies that one cannot choose a to be a constant function (in this degenerate case, the formalism produces a single nonchiral propagating p-form, instead of a chiral p-form).
Among all the commutators of the symmetry transformations (2.5) to (2.8), the only non-zero commutators are those of transformation (2.8) with itself and (2.7). The commutator of (2.7) with (2.8) is
where \(\delta _V\) is transformation (2.5) with \(V=a\varphi U\) substituted for U, \(\delta _W\) is transformation (2.6) with \(W=-\varphi U\) substituted for U, and \(\delta _X\) is transformation (2.7) with \(X=(\varphi \,\iota _{da}dU)/(\partial a)^2\) substituted for U. The commutator of tranformation (2.8) with parameters \(\varphi _1\) and \(\varphi _2\) is
where \(\delta _V\) is transformation (2.7) with \(V=(\varphi _1\,\iota _{d\varphi _2}-\varphi _2\,\iota _{d\varphi _1})\iota _{da}(Q+\star Q)\) substituted for U.
From (2.9), the equations of motion are
We would like to examine the combination \(E_R-aE_A\), which can be simply read off the \(\delta R\)-term in (2.10), or recovered directly from (2.16–2.17) in the following form by operations similar to the derivation of (2.10):
Applying a Hodge star to the above gives \(\iota _{da}[F+aQ-\star (F+aQ)]=0\). Acting on this last equation with \(da\wedge \), acting on (2.18) with \(\iota _{da}\), adding the results and applying the projection-rejection identity (2.1), one gets
In other words, \(F+aQ\) is selfdual on any solutions of the equations of motion.
While (2.19) has been derived from (2.16–2.17), it ensures that (2.15) is automatically satisfied. Indeed, for any two forms A and B of the same rank, \(A\wedge \star B=B\wedge \star A\) (this combination is often called simply \(A\star B\)). Hence, the left-hand side of (2.15) is rewritten as \(Q\wedge \star (F+aQ)+F\wedge Q=Q\wedge (F+aQ)+F\wedge Q\), which is identically zero by (B.3) since the ranks of both F and Q are odd. This lack of a constraining dynamical equation for a is another manifestation of the gauge symmetry (2.8).
It remains to reveal that the full dynamical content of our theory is a single chiral p-form. To this end, we substitute (2.19) into (2.16) to obtain
Equations of this form are ubiquitous within PST theory and its relatives, and appear, in particular, among the PST equations of motion [22, 37]. We give a careful derivation of the general solution in “Appendix C”. In brief, this equation is solved by restricting it to hypersurfacesFootnote 1\(a=\mathrm {const}\), where it says simply that a tangential restriction of R to each such hypersurface is a closed form within the hypersurface. In this form, the equations are immediately integrated to yield
with arbitrary U and V. The first term can be completely gauged away by (2.6), while the second term can be completely gauged away by (2.7). As a result, the most general solution can be gauged to
whereupon (2.19) gives
We have thus proved that for any solution to (2.15–2.17), a can be changed arbitrarily and R can be gauged to 0 by the symmetries of the theory, and then the field strength of A becomes selfdual. Hence, the full dynamical content of (2.4) is a single propagating chiral p-form.
2.2 Formulation with an algebraic auxiliary field
We now recast Lagrangian (2.4) into an alternative form such that no derivatives of R appear in the Lagrangian. Redefining the field A as \(A_\mathrm {old}=A_\mathrm {new}-aR\), we get
The above Lagrangian has the following four gauge symmetries, which are direct counterparts of (2.5–2.8):
While these symmetries are guaranteed to work due to the straightforward relation between (2.24) and (2.4), we also demonstrate how to validate them directly for the convenience of the reader. Verification of the first three symmetries is straightforward: (2.25) does not change (2.24) as the latter only depends on F; (2.26) does not change (2.24) as R only enters through \(da\wedge R\); (2.27) leaves the first term in (2.24) invariant, while the variation of the second term is a total derivative that vanishes upon integration. For (2.28), the first term of (2.24) transforms as
and second term transforms as
Subtracting the second variation from the first leaves a total derivative, which yields zero upon integration.
As mentioned above, and discussed in detail in [43], solving the (algebraic) equation of motion for R and substituting the result into (2.24) recovers the (nonpolynomial) PST Lagrangian. As a consequence, the standard analysis of PST formalism [22, 37] guarantees that the dynamical content of (2.24) amounts to a single chiral p-form, and no other propagating degrees of freedom. That is, of course, in agreement with what we have already shown for Lagrangian (2.4) entirely within the context of the polynomial theory.
3 Democratic polynomial duality-symmetric Lagrangians
We now turn to an ordinary nonchiral Maxwellian p-form, which could of course be described with the Lagrangian \(F^2\). However, we would like to represent it in a formalism where the electric potential A and the magnetic potential B both appear as explicit dynamical variables, while the corresponding field strengths \(F=dA\) and \(G=dB\) satisfy the electric-magnetic duality relation
This gives the problem a structure rather similar to the chiral form story of the previous section.
Democratic formulations of this type, where electric and magnetic degrees of freedom appear on equal footing are of interest in the context of supersymmetric theories, as well as in cases where it is necessary to couple the p-form to both electric and magnetic charges, see [30]. Such theories have previously been considered in [16, 17, 34] using the nonpolynomial PST formalism, and in specific numbers of dimensions. Our goal is to construct a polynomial formulation akin to the chiral forms of Sect. 2, relying on the differential form notation and keeping the treatment applicable to differential forms of any rank in any number of dimensions.
As in Sect. 2, there are two closely related versions of our formalism. One can either have a doubled set of Maxwellian forms and an extra auxiliary scalar that gets reduced to a single p-form dynamically due to the gauge symmetries, or instead of the doubled set of Maxwellian forms, one can have electric and magnetic potentials and two additional auxiliary form fields satisfying algebraic equations of motion. This latter formalism is more directly related to PST-like nonpolynomial formulation, which is obtained by integrating out the two algebraic auxiliary fields.
3.1 Formulation with a doubled set of Maxwellian fields
We propose the following Lagrangian, which is overall a direct generalization of (2.4) adapted to condition (3.1) rather than (2.23), though it is essential to fix some signs and the ordering of forms in wedge-products:
We are in d spacetime dimensions; a is a scalar field; \(F=dA\) where A is a p-form gauge potential (which can be thought of as electric); \(G=dB\) where B is a \((d-p-2)\)-form gauge potential (which can be thought of as magnetic); \(P=dR\) where R is a p-form field; \(Q=dS\) where S is a \((d-p-2)\)-form field, with these last two forms playing an auxiliary role. The values of p and d are completely arbitrary in this section. Note that \(\star \star F= (-1)^{(p+d+pd)}F\) according to (B.4), while \(F\wedge Q=-(-1)^{(p+d+pd)}Q\wedge F\) according to (B.3).
The variation of the Lagrangian is given by:
The theory is invariant under the following gauge transformations:
where \(\varphi \) is an arbitrary scalar, U is an arbitrary \((p-1)\)-form and V is an arbitrary \((d-p-3)\)-form (the latter two forms specified completely independently in the different transformations where they appear). The symmetries can be verified by methods analogous to the previous section.
All the above transformations commute except the following three. The commutator of transformation (3.8) with (3.10) is
where \(\delta _V\) is transformation (3.4) with \(V=a\varphi U\) substituted for U, \(\delta _W\) is transformation (3.6) with \(W=-\varphi U\) substituted for U, and \(\delta _X\) is transformation (3.8) with \(X=(\varphi \,\iota _{da}dU)/(\partial a)^2\) substituted for U. There is a directly analogous expression for the commutator of (3.9) with (3.10). The commutator of two transformations given by (3.10) with parameters \(\varphi _1\) and \(\varphi _2\) is
where \(\delta _X\) is transformation (3.8) with \(X=(\varphi _1\,\iota _{d\varphi _2}-\varphi _2\,\iota _{d\varphi _1})\iota _{da}[P+(-1)^{(p+d+pd})\star Q]\) substituted for U and \(\delta _Y\) is transformation (3.9) with \(Y=(\varphi _1\,\iota _{d\varphi _2}-\varphi _2\,\iota _{d\varphi _1})\iota _{da}(\star P+Q)\) substituted for V.
The equations of motion can be extracted from (3.3) as
We then proceed, much as under (2.17), by forming the combination
Taking Hodge dual of the above and then using identity (B.8), we get
We also have
Acting with \(da\wedge \) on (3.19), acting with \(\iota _{da}\) on (3.20), adding the results and using the projection–rejection identity (2.1), we get
As in the previous section, this relation, derived from the equations of motion (3.14–3.17), ensures that the equation of motion for a given by (3.13) is identically satisfied.
We now proceed to reveal the dynamical content of (3.2). Plugging the expression for \(\star (F+aP)\) derived from the above relation into (3.14), and plugging the above expression for \(\star (G+aQ)\) into (3.15) we get
respectively. The general solution of these equations is obtained as in “Appendix C” and reads
where U and V are arbitrary p-forms and W and X are arbitrary \((d-p-2)\)-forms. In the above solution for R, dU is gauged away by the Maxwellian shift symmetry (3.6) and \(da\wedge V\) is gauged away using symmetry (3.8). And in the above solution for S, dW is gauged away by transformation (3.7) and \(da\wedge X\) is gauged away using symmetry (3.9). Then we get
Plugging this solution for R and S into relation (3.21) we get
Thus, despite starting with a theory containing four form fields, the gauge symmetries reduce the physical degrees of freedom down to a single Maxwellian p-form, with electric and magnetic field strengths F and G respectively.
3.2 Formulation with algebraic auxiliary fields
As for the selfdual case of Sect. 2, by applying the field redefinitions \(A_\mathrm {old}= A_\mathrm {new}-aR\) and \(B_\mathrm {old} = B_\mathrm {new}-aS\), one can recast (3.2) in a form where the derivatives of the auxiliary forms R and S do not appear in the Lagrangian:
With respect to these variables, the gauge transformations take the following form:
While this form of the Lagrangian looks less conventional than (3.2) relative to textbook field theories, it has the advantage that the equations of motion for R and S are purely algebraic. One can then immediately solve these equations, substitute the result back into the Lagrangian, and thus obtain a nonpolynomial PST-like formulation with only two forms A and B that connects to the considerations of [16, 17, 30, 34]. We give the relevant derivations in “Appendix D”.
3.3 A simple example in \(D=3\)
For clarity, we present the simplest example of a polynomial democratic Lagrangian consisting of a scalar (\(p=0\)) \(\varphi \) and a vector field (\(d-p-2=1\)) \(A_\mu \) in three dimensions. This may be useful for readers more accustomed to the index notation. (Conversion formulas for switching between form and index notation are given in “Appendix A”). The field strengths are
The polynomial Lagrangian is
where R is a rank-0 (scalar) auxiliary field, S is a rank-1 (vector) auxiliary field and \({\mathcal {F}}_\mu =F_\mu +\frac{1}{2}\, \epsilon _{\mu \nu \rho }G^{\nu \rho }\). The equation of motion for the field R is
This is solved, up to gauge transformations (3.29), by
Analogously for S,
Substituting solutions (3.36) and (3.38) into Lagrangian (3.35) we get,
where \({\mathcal {G}}_{\mu \nu }=\epsilon _{\mu \nu \rho }\,{\mathcal {F}}^\rho \). The Lagrangian above is manifestly in a PST-like form.
4 Discussion
We have revisited the polynomial Lagrangian formulation for chiral p-forms proposed in [43] and demonstrated that it leads to a compact, efficient treatment of selfduality. We have then extended this formulation to the case of polynomial democratic Lagrangians where the dual electric and magnetic potentials appear on the same footing. Due to our reliance on the differential form notation, the formulation is universally valid for forms of all ranks in any number of dimensions. We conclude with a summary of related situations where analogous approaches could be of value. This summary focuses on classical field theories, though having polynomial formulations at hand could also be beneficial for quantization.
One motivation for developing simple and tractable theories of free fields is that it may aid a subsequent inclusion of interactions. Interactions of chiral fields are strongly constrained [21], but a PST-like theory for DBI interactions of chiral forms is known [23]. It could be interesting to look for a polynomial version of this theory along the lines similar to our current treatment. Another interesting question is the number of auxiliary PST scalars in the theory. Since the auxiliary PST scalar is required to have properties of a global coordinate, both in the original PST theory and in its polynomial version of [43], a natural inclination is to add extra scalars of this kind on a many-dimensional manifold. One particular construction of this sort has been proposed in [36]. It could be interesting to polynomialize it with the techniques of [43] and look for formulations with a still larger number of PST scalars compared to [36].
Turning to problems involving democratic formulations with explicit electric and magnetic potentials, a foundational question that goes back to [1] is developing field theories including both electric and magnetic matter. There are no known ways to give consistent Lagrangian descriptions when both electrically and magnetically charged classical fields are present, though the theories become consistent upon quantization, subject to the Dirac condition on electric and magnetic charges [8, 30]. This paradoxical situation would be worth revisiting.
Finally, there has been a recent surge of interest [41, 42, 45, 48, 50, 52] in interacting theories of p-form fields with electric-magnetic duality symmetries, see also earlier related works [54,55,56]. It could be worthwhile to approach such theories from a perspective similar to our current treatment.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: Experimental data on verification of this work is not yet available.]
Notes
By \(a(x)=\mathrm {const}\), we of course mean hypersurfaces defined by a specific value of a non-constant function a(x), and not that a(x) is a constant function, which would have been an inadmissible gauge.
References
D. Zwanziger, Local Lagrangian quantum field theory of electric and magnetic charges. Phys. Rev. D 3, 880 (1971)
S. Deser, C. Teitelboim, Duality transformations of Abelian and non-Abelian gauge fields. Phys. Rev. D 13, 1592 (1976)
N. Marcus, J.H. Schwarz, Field theories that have no manifestly Lorentz-invariant formulation. Phys. Lett. B 115, 111 (1982)
W. Siegel, Manifest Lorentz invariance sometimes requires nonlinearity. Nucl. Phys. B 238, 307–316 (1984)
A.R. Kavalov, R.L. Mkrtchian, Lagrangian of the selfduality equation and d=10, N=2b supergravity. Sov. J. Nucl. Phys. 46, 728 (1987)
R. Floreanini, R. Jackiw, Selfdual fields as charge density solitons. Phys. Rev. Lett. 59, 1873 (1987)
M. Henneaux, C. Teitelboim, Dynamics of chiral (selfdual) p-forms. Phys. Lett. B 206, 650 (1988)
M. Blagojević, P. Senjanović, The quantum field theory of electric and magnetic charge. Phys. Rept. 157, 233 (1988)
K. Harada, The chiral Schwinger model in terms of chiral bosonization. Phys. Rev. Lett. 64, 139 (1990)
A.A. Tseytlin, Duality symmetric formulation of string world sheet dynamics. Phys. Lett. B 242, 163 (1990)
B. McClain, F. Yu, Y.S. Wu, Covariant quantization of chiral bosons and \(OSp(1,1|2)\) symmetry. Nucl. Phys. B 343, 689 (1990)
C. Wotzasek, The Wess–Zumino term for chiral bosons. Phys. Rev. Lett. 66, 129 (1991)
A.A. Tseytlin, Duality symmetric closed string theory and interacting chiral scalars. Nucl. Phys. B 350, 395 (1991)
J.H. Schwarz, A. Sen, Duality symmetric actions. Nucl. Phys. B 411, 35 (1994). arXiv:hep-th/9304154
A. Khoudeir, N. Pantoja, Covariant duality symmetric actions. Phys. Rev. D 53, 5974 (1996). arXiv:hep-th/9411235
P. Pasti, D.P. Sorokin, M. Tonin, Note on manifest Lorentz and general coordinate invariance in duality symmetric models. Phys. Lett. B 352, 59 (1995). arXiv:hep-th/9503182
P. Pasti, D.P. Sorokin, M. Tonin, Duality symmetric actions with manifest space-time symmetries. Phys. Rev. D 52, 4277 (1995). arXiv:hep-th/9506109
P. Pasti, D.P. Sorokin, M. Tonin, Space-time symmetries in duality symmetric models, in Gauge theories, applied supersymmetry, quantum gravity (Leuven, 1995), pp. 167–176. arXiv:hep-th/9509052
A.A. Tseytlin, Selfduality of Born–Infeld action and Dirichlet three-brane of type IIB superstring theory. Nucl. Phys. B 469, 51 (1996). arXiv:hep-th/9602064
F.P. Devecchi, M. Henneaux, Covariant path integral for chiral p-forms. Phys. Rev. D 54, 1606 (1996). arXiv:hep-th/9603031
M. Perry, J.H. Schwarz, Interacting chiral gauge fields in six-dimensions and Born–Infeld theory. Nucl. Phys. B 489, 47 (1997). arXiv:hep-th/9611065
P. Pasti, D.P. Sorokin, M. Tonin, On Lorentz invariant actions for chiral p-forms. Phys. Rev. D 55, 6292 (1997). arXiv:hep-th/9611100
I.A. Bandos, K. Lechner, A. Nurmagambetov, P. Pasti, D.P. Sorokin, M. Tonin, Covariant action for the superfive-brane of M-theory. Phys. Rev. Lett. 78, 4332 (1997). arXiv:hep-th/9701149
M. Cederwall, A. Westerberg, Worldvolume fields, SL(2, Z) and duality: the type IIB three-brane. JHEP 02, 004 (1998). arXiv:hep-th/9710007
I.A. Bandos, N. Berkovits, D.P. Sorokin, Duality symmetric eleven-dimensional supergravity and its coupling to M-branes. Nucl. Phys. B 522, 214 (1998). arXiv:hep-th/9711055
A. Maznytsia, C.R. Preitschopf, D.P. Sorokin, Duality of selfdual actions. Nucl. Phys. B 539, 438 (1999). arXiv:hep-th/9805110
P. Pasti, D.P. Sorokin, M. Tonin, Harmonics, notophs and chiral bosons. Lect. Notes Phys. 524, 97 (1999). arXiv:hep-th/9807133
M. Roček, A.A. Tseytlin, Partial breaking of global D = 4 supersymmetry, constrained superfields, and three-brane actions. Phys. Rev. D 59, 106001 (1999). arXiv:hep-th/9811232
R. Manvelyan, R. Mkrtchian, H.J.W. Muller-Kirsten, On different formulations of chiral bosons. Phys. Lett. B 453, 258 (1999). arXiv:hep-th/9901084
K. Lechner, P.A. Marchetti, Duality invariant quantum field theories of charges and monopoles. Nucl. Phys. B 569, 529 (2000). arXiv:hep-th/9906079
S.M. Kuzenko, S. Theisen, Supersymmetric duality rotations. JHEP 03, 034 (2000). arXiv:hep-th/0001068
Y.G. Miao, R. Manvelyan, H.J.W. Mueller-Kirsten, Selfduality beyond chiral p-form actions. Phys. Lett. B 482, 264 (2000). arXiv:hep-th/0002060
D. Sorokin, Lagrangian description of duality-symmetric fields. NATO Sci. Ser. II(60), 365 (2002)
P. Pasti, D. Sorokin, M. Tonin, Covariant actions for models with non-linear twisted self-duality. Phys. Rev. D 86, 045013 (2012). arXiv:1205.4243 [hep-th]
C. Bunster, M. Henneaux, Duality invariance implies Poincaré invariance. Phys. Rev. Lett. 110, 011603 (2013). arXiv:1208.6302 [hep-th]
S.-L. Ko, D. Sorokin, P. Vanichchapongjaroen, The M5-brane action revisited. JHEP 11, 072 (2013). arXiv:1308.2231 [hep-th]
H. Isono, Note on the self-duality of gauge fields in topologically nontrivial spacetime. PTEP 2014, 093B05 (2014). arXiv:1406.6023 [hep-th]
A. Sen, Covariant action for type IIB supergravity. JHEP 07, 017 (2016). arXiv:1511.08220 [hep-th]
H. Afshar, E. Esmaeili, M.M. Sheikh-Jabbari, Asymptotic symmetries in \(p\)-form theories. JHEP 05, 042 (2018). arXiv:1801.07752 [hep-th]
A. Sen, Self-dual forms: action, Hamiltonian and compactification. J. Phys. A 53, 084002 (2020). arXiv:1903.12196 [hep-th]
G. Buratti, K. Lechner, L. Melotti, Duality invariant self-interactions of abelian p-forms in arbitrary dimensions. JHEP 09, 022 (2019). arXiv:1906.07094 [hep-th]
G. Buratti, K. Lechner, L. Melotti, Self-interacting chiral p-forms in higher dimensions. Phys. Lett. B 798, 135018 (2019). arXiv:1909.10404 [hep-th]
K. Mkrtchyan, On covariant actions for chiral \(p\)-forms. JHEP 12, 076 (2019). arXiv:1908.01789 [hep-th]
N. Lambert, (2,0) Lagrangian structures. Phys. Lett. B 798, 134948 (2019). arXiv:1908.10752 [hep-th]
P.K. Townsend, An interacting conformal chiral 2-form electrodynamics in six dimensions. Proc. R. Soc. Lond. A 476, 20190863 (2020). arXiv:1911.01161 [hep-th]
P.K. Townsend, Manifestly Lorentz invariant chiral boson action. Phys. Rev. Lett. 124, 101604 (2020). arXiv:1912.04773 [hep-th]
E. Andriolo, N. Lambert, C. Papageorgakis, Geometrical aspects of an Abelian (2,0) action. JHEP 04, 200 (2020). arXiv:2003.10567 [hep-th]
I. Bandos, K. Lechner, D. Sorokin, P.K. Townsend, A non-linear duality-invariant conformal extension of Maxwell’s equations. Phys. Rev. D 102, 121703 (2020). arXiv:2007.09092 [hep-th]
Y. Bertrand, S. Hohenegger, O. Hohm, H. Samtleben, Toward exotic 6D supergravities (2020). arXiv:2007.11644 [hep-th]
B.P. Kosyakov, Nonlinear electrodynamics with the maximum allowable symmetries. Phys. Lett. B 810, 135840 (2020). arXiv:2007.13878 [hep-th]
P. Vanichchapongjaroen, Covariant M5-brane action with self-dual 3-form (2020). arXiv:2011.14384 [hep-th]
I. Bandos, K. Lechner, D. Sorokin, P.K. Townsend, On p-form gauge theories and their conformal limits (2020). arXiv:2012.09286 [hep-th]
C.A. Cremonini, P.A. Grassi, Self-dual forms in supergeometry I: the chiral boson (2020). arXiv:2012.10243 [hep-th]
I. Białynicki-Birula, Nonlinear electrodynamics: variations on a theme by Born and Infeld, in Quantum theory of particles and fields: birthday volume dedicated to Jan Łopuszański (World Scientific, Singapore, 1984), pp. 31–48
I. Białynicki-Birula, Field theory of photon dust. Acta Phys. Polon. B 23, 553 (1992)
D. Chruściński, Strong field limit of the Born–Infeld p-form electrodynamics. Phys. Rev. D 62, 105007 (2000). arXiv:hep-th/0005215
Acknowledgements
We have benefitted from discussions with Hiroshi Isono, Akash Jain, Dmitri Sorokin and Arkady Tseytlin. Research of S.B. and O.E. is supported by the CUniverse research promotion initiative (CUAASC) at Chulalongkorn University. K.M. is supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant number 844265.
Author information
Authors and Affiliations
Corresponding author
Appendices
Conversion between differential calculus and index notation
In the following, the Levi-Civita tensor is understood as
given in terms of the metric deteminant \(g=\text {det}(g_{\mu \nu })\) and the Levi-Civita symbol
Component representation:
Exterior product:
Interior product:
Hodge dual:
Exterior derivative:
Integral
On a d-dimensional manifold, for a form of the top rank d, the Hodge dual is a scalar. One can thus use the following definition for integrals of such forms via the ordinary invariant integral of a scalar:
Note that the explicit \(\sqrt{|g|}\) is cancelled by the one contained in the Levi-Civita tensor as per (A.1), making this integration formula metric independent. It can be understood as simply \(\int d^dx\,\, C_{12...d}\).
Exterior calculus identities
The following identities are used extensively in the calculations of this work. Here, u and v are 1-forms (the same letters are used for the dual vectors), A and C are p-forms, and B is a q-form. The number of dimensions is d.
Exterior derivative identities:
Commutation in the exterior product:
Hodge star identities:
where \(\text {sgn}(g)=-1\) for Minkowski space (we use the mostly-plus metric signature).
Interior product identities:
with \(v^2=1\) assumed in the last line.
General solution of the equation \(da\wedge dB=0\)
We consider the general equation
where B is a p-form in d dimensions and a is a scalar field that has the properties of a good global coordinate. In particular, the level surfaces of a defined by equations \(a=\text {const}\) provide a globally nondegenerate foliation of \(R^d\), and each slice \(a=\text {const}\) has the topology \(R^{d-1}\).
The key observation is that (C.1) has a natural and simple restriction to the level surfaces \(a=\text {const}\). Then the easiest way to analyze (C.1) is to go to a coordinate system where one of the coordinates, which we shall call \(x^0\), is simply chosen as a. We shall call the remaining coordinates, parametrizing the constant a slices, \(x^i\) with \(i=1,\ldots , d-1\). In this coordinate system, (C.1) becomes
where \(B^\perp \) denotes the restriction of B on the surface \(a=\text {const}\) (a p-form in \(R^{d-1}\)) given by the components of B along the surface \(a=\text {const}\), \(B^\perp _{i_1\cdots i_p}=B_{i_1\cdots i_p}\). The above equation simply says that \(B^\perp \) is closed on the \(a=\text {const}\) slice. Since the slice is isomorphic to \(R^{d-1}\), this immediately implies that \(B^\perp \) is exact, and the most general solution of (C.1) is
where C is an arbitrary \((p-1)\)-form on each slice (which may also have an arbitrary parametric dependence on \(x^0\), since the equations on different slices are completely independent). The solution above is equivalent to the following coordinate-invariant statement in the original Minkowski space:
For any form A, \(da\wedge A=0\) implies that \(A=da\wedge E\) for some form E. This is easily seen by first expressing A using the projection-rejection identity (2.1) and then taking into account that \(da\wedge A=0\) . Hence, the most general solution of the above equation, and of (C.1), is
where C and E are arbitrary.
PST-like form of the democratic Lagrangian
1.1 Derivation
Lagrangian (3.26) can be rewritten as follows:
where \({\mathcal {F}}=(F-\star G)\). It has the following variation upto total derivatives:
The equations of motion of the auxiliary fields R and S are
The above equations can be rewritten as following:
Due to the gauge freedom coming from symmetries (3.29) and (3.30), the above equations imply that the following equations also hold:
where C is an arbitrary \((p-1)\)-form and D is arbitrary \((d-p-3)\)-form. In the above solution for R the second term can be gauged away using gauge symmetry (3.29) and the second term in the above solution for S can be gauged away by transformation (3.30). The we get the following solutions for R and S:
On plugging the above solutions into polynomial Lagrangian (D.1) we get the democratic PST-like Lagrangian (D.7):
where \(v={da}/\sqrt{({\partial a})^2}\), a is a scalar, \(F=dA\), A is a p-form gauge potential, \(G=dB\), B is a \((d-p-2)\)-form gauge potential, and \({\mathcal {F}}\equiv F-\star G\).
The variation of Lagrangian (D.7) can be derived in the following form with methods typical of the PST theory (see, for instance, [37]), though this derivation is considerably more demanding than for the polynomial case:
One has, in particular, to keep in mind the following variation of v:
Lagrangian (D.7) is invariant under the following gauge transformations:
where \(\varphi \) is a 0-form, U is a \((p-1)\)-form and V is a \((d-p-3)\)-form. The invariance can be verified using (D.8).
1.2 Dynamics
The equations of motion are as follows:
When equations (D.16) and (D.17) hold, (D.15) holds identically. This can be seen using the relations
One can rewrite (D.17) as
As per analysis of “Appendix C”, the general solution to (D.17) is
where X is an arbitrary \((p-1)\)-form. Under the gauge transformation (D.12) \(v\wedge \iota _v{\mathcal {F}}\) transforms as
Fixing the value of the gauge field U as \(U=-X\) we get
The general solution to (D.16) is
where Y is an arbitrary \((d-p-2)\)-form. Under the gauge transformation (D.13) \(v\wedge \iota _v\star {\mathcal {F}}\) transforms as
Fixing the value of the gauge field V as \(V=(-1)^{(p+pd)}\,Y\) we get
Using the projection-rejection identity (2.1), as well as (2.2), (D.22) and (D.25) imply \({\mathcal {F}}=0\), and hence
This shows that, for all solutions of the equations of motion, the forms F and G are dual to each other, up to gauge redundancy.
When we take \(d=2p+2\), p to be even and \(G=F\), the Lagrangian in (D.7) becomes
This is twice the usual PST Lagrangian [22].
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Bansal, S., Evnin, O. & Mkrtchyan, K. Polynomial duality-symmetric lagrangians for free p-forms. Eur. Phys. J. C 81, 257 (2021). https://doi.org/10.1140/epjc/s10052-021-09049-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09049-0