I was asked a question the other week about the idea of doubled diffeomorphisms, such as those found in double field theory. A nice way to approach the concept is to start with dualised linearised gravity [1]. That is to say, we start with a theory considering only the field . This field transforms under normal linearised diffeomorphism as
and, under the dual diffeomorphism as
Now, take the basic Einstein-Hilbert action
and expand to quadratic order in the fluctuation field . Just think of standard linearised gravity with the following familiar quadratic action
This is the Feirz-Pauli action and it is of course invariant under (1). But we want a dualised theory. The naive thing to do, for the field , is to add a second collection of tilde dependant terms. In comparison with (4), we also update the integration measure to give
If you decompose such that
no longer depends on
, then this action simply reduces to linearised Einstein gravity on the coordinate space
Similarly, for the dual theory.
When the doubled action (5) is varied under , the second line is invariant under (2). However, the first line gives
As one can see, the terms on each line would cancel if the tilde derivatives were replaced by ordinary derivatives. Rearranging and grouping like terms, and then relabelling some indices we find
For this to be invariant under the transformation we have to cancel each of the terms. In order to cancel the variation, new fields with new gauge transformations are required. For the first term, a hint comes from the structure of derivatives, namely the fact we have a mixture of tilde and non-tilde derivatives. The Kalb-Ramond b-field mixes derivatives in this way, and, indeed, for the first term to cancel we may add
. We denote this inclusion to the action as
The second term can similarly be killed upon introduction of the dilaton . It takes the form
This is quite nice, if you think about it. It is not the full story, because in the complete picture of double field theory we need to add more terms and their are several subtlties. In the naive case of dualised linearised gravity, we find in any case that linearised dual diffeomorphisms for the field requires, naturally and perhaps serendipitously, a Kalb-Ramond gauge field and a dilaton – i.e., the closed string fields for the NS-NS sector.
We are now only left with one term, which is the one with curious structure on the third line in (7). To kill this term, we can observe that the gauge parameter satisfies the constraint
derived from the level matching condition. This constraint says that fields and gauge parameters must be annihilated by
, and it is fairly easy to find in an analysis of the spectrum in closed string field theory.
So that is one way to attack the remaining term. But what is also interesting, I think, is that it is possible to accomplish the same goal by adding more fields to the theory. This is a non-trivial endeavour, to be sure, as the added fields would need to be invariant under and
transformations. Ideally, one would likely want to be able to generalise the added fields to the formal case of the duality invariant theory. But it presents an interesting question.
***
From the perspective of string field theory, double field theory wants to describe a manifestly T-duality invariant theory (we talked about this in a number of past posts). The strategy is to look at the full closed string field theory comprising an infinite number of fields, and instead select to focus on a finite subset of those fields, namely the massless NS-NS sector. So DFT is, at present, very much a truncation of the string spectrum.
As a slight update to notation to match convention, for the massless fields of the NS-NS sector let’s now write the metric , with the b-field
and dilaton
the same as before. The effective action of this sector is famously
As one can review in any string textbook, this action is invariant under local gauge transformations: diffeomorphisms and a two-form gauge transformation. The NS-NS field content transforms as
We define the Lie derivative along the vector field
on an arbitrary vector field
such that the Lie bracket takes the form
For the Kalb-Ramond two-form , the gauge transformation is generated by a one-form field
One way to motivate a discussion on doubled or generalised diffeomorphisms in DFT is to understand that what one wants to do is essentially generalise the action (10). This means that at any time we should be able to recover it. The generalised theory should therefore possess all the same symmetries (with added requirement of manifest invariance under T-duality), including diffeomorphism invariance.
In the generalised metric formulation [2] the DFT action reads
where
This action is constructed [2] precisely in such a way that it captures the same dynamics as (10). Here is the generalised metric, which combines the metric and b-field into an
valued symmetric tensor such that
where is the
metric. We spoke quite a bit about the generalised metric and the role of
in a past post (see this link also for further definitions, recalling for instance the T-duality transformation group is
, which is discretised to
. If
is broken to the discrete
, then one can interepret the transformation as acting on the background torus on which DFT has been defined). Also note that in (15)
is the generalised dilaton. In the background independent formulation of DFT [5],
is shown to be a generalised density such that the dilaton
with the determinant of the undoubled metric
on the whole space is combined into an
singlet
establishing the identity
. We’ll talk a bit more about this later.
There are a number of important characteristics built into the definition of the generalised Ricci (15). Firstly, it is contructed to be an scalar. One can show that the action (14) possesses manifest global
symmetry
where is a constant tensor which leaves
invariant such that
Importantly, given extends to a global symmetry, we may define this under the notion of generalised diffeomorphisms. Unlike with the supergravity action (10), which is invariant under the gauge transformations (11) and (12), in DFT the metric and b-field are combined into a single object
. So the obvious task, then, is to find a way to combine the diffeomorphisms and two-form gauge transformation in the form of some generalised gauge transformation. This is really the thrust of the entire story.
To see how this works, as a brief review, we define some doubled space To give a description of this doubled space, all we need to start is some notion of a differential manifold with the condition that we have a linear transformation of the coordinates
, where
(similar to the transformation we defined in the post linked above). We will include the generalised dilaton
and we also include the generalised metric
, although we can keep this generic in definition should we like. For
we require only that it satisfies the
constraint
, where, from past discussion, one will recall
is the
metric. It transforms
. We now have everything we need.
Definition 1. A doubled space is a space equipped with the following:
1) A positive symmetric field
, which is the generalized metric. This metric must satisfy the above conditions and transform covariantly under
2) A generalised dilaton scalar , which is a
scalar density such that
(we’ll show this in a moment).
a) The generalised dilaton is related to the standard dilaton as already described above.
With this definition, we can then advance to define the notion of an module, generalised vectors and vector fields, and so on. To keep our discussion short, the point is that in defining an
vector we may combine from before the vector
and one-form
as generalised gauge parameters
One can see how this is done in [2,3]. In short, the combination of the gauge transformations into the general gauge transformation with parameter is defined under the action of a generalised Lie derivative. The result is simply given here as
From this definition, where, it should be said, and
are generalised vectors, we can eventually write the generalised Lie derivative of
and
.
What we see is that, indeed, the generalised dilaton, which we may think of as an singlet, transforms as a density. This means we may think of it as a generalised density. It can also be shown that the Lie derivative of the
metric
vanishes and therefore the metric is preserved.
What we want, for the purposes of this post, is the generalised Lie derivative of the generalised scalar curvature (15). What we find is that, indeed, it transforms as a scalar provided that the definition of (15) includes the full combination of terms.
(22)
Or, looking at the action (14) as a whole, the subtlety is that the generalised dilaton forms part of the integration measure. The action does not possess manifest generalised diffeomorphism invariance in the typical sense that we might think about it, but it is constructed precisely in such a way that
vanishes in the action integral (due to being a total derivative). So we find (14) does indeed remain invariant.
As a brief aside, from the transformations of the generalised metric and the dilaton, we can define an algebra [4]
where we find first glimpse at the presence of the Courant bracket. Provided the strong constraint of DFT is imposed
then the Courant bracket governs this algebra such that
An important caveat or subtlety about this algebra is that it does not satisfy the Jacobi identity. This means that the generalised diffeomorphisms do not form a Lie algebroid. But nothing fatal comes from this fact for the reason that, whilst we may like to satisfy the Jacobi identity, the gauge transformation leaves all the fields invariant that fulfil the strong constraint.
In closing, recall that DFT starts with the low-energy effective theory as a motivation. It is good, then, that a solution of (24) is to set giving (10). The Ricci scalar is the only diffeomorphism invariant object in Riemannian geometry that can be constructed only from the metric with no more than two derivatives. In DFT, we have an action constructed only from the generalised metric and doubled dilaton with their derivatives.
References
[1] Hull, C.M., and Zweibach, B., Double field theory. (2009). [arXiv:0904.4664 [hep-th]].
[2] Hohm, O., Hull C.M., and Zwiebach, B., Generalized metric formulationof double field theory. JHEP, 08:008, 2010. [arXiv:1006.4823 [hep-th]].
[3] Zwiebach, B., Double field theory, T-duality, and Courant brackets. [arXiv:1109.1782 [hep-th]].
[4] Hull, C.M., and Zwiebach, B., The gauge algebra of double field theory and courant brackets. Journal of High Energy Physics, 2009(09):090–090, Sep 2009. [arXiv:0908.1792 [hep-th]].
[5] Hohm, H., Hull, C.M., and Zwiebach, B., Background independent actionfor double field theory. Journal of High Energy Physics, 2010(7), Jul 2010. [arXiv:1003.5027 [hep-th]].