136 C.-T. M a, F. Pezzella / Nuclear Physics B 930 (2018) 135–154
self-consistent framework for quantum gravity. A crucial role at this aim is played by T-duality
and S-duality.
String theory
, whose action is defined in the two-dimensional world-sheet space, explores
the target-space theory and its low-energy limit via one-loop β-functions [1,2] and α
correc-
tions. One-loop β-functions provide the equations of motion satisfied, in the target space, by the
background fields with which the string interacts and, in particular, the one associated with the
graviton field, present in the spectrum of closed strings, generates the Einstein gravity equation.
The main goal of double field theory (DFT) [3–6]i
s to manifestly incorporate T-duality, i.e.
the O(d, d; Z) invariance in the target space with d compact dimensions, as a global symmetry
of the low-energy field theory deriving from closed strings living in a D-dimensional spacetime
which is the product of a Mink
owski n-dimensional flat space M =R
n−1,1
with a d-dimensional
torus T
d
(n +d = D). Then, the fields of DFT live in the product of M with a 2d-dimensional
doubled torus containing both the torus T
d
, parametrized by the original compact coordinates
x
m
, and its dual
˜
T
d
, parametrized by the dual coordinates ˜x
m
. The field content of DFT involves
the metric field g
ij
, the Kalb–Ramond field B
ij
(i, j = 1, ...D) and a dilaton, i.e. the massless
bosonic sector of the closed string. Since these fields depend on x
m
and ˜x
m
simultaneously,
DFT is expected to have gauge invariance both under diffeomorphisms on the former and dual
diffeomorphisms on the latter, i.e. a gauge invariance under doubled diffeomorphisms.
DFT is still to be fully constructed. In [3], an action for such theory is gi
ven only to cubic
order in the fluctuations of the above mentioned fields of the massless sector of closed strings
around a fixed background. In this framework, the invariance under linearized doubled diffeo-
morphisms is based on the so-called weak constr
aint, i.e. f ≡ 2∂
m
˜
∂
m
f = 0, that has to be
satisfied by fields and gauge parameters that are, therefore, required to live in the kernel of the
second-order differential operator . The weak constraint has a stringy interpretation since it
arises from the level matching condition of closed string theory. The gauge parameters are the
v
ector fields ξ
i
(x
μ
, x
m
, ˜x
m
) and
¯
ξ
i
(x
μ
, x
m
, ˜x
m
) generating, respectively, the linearized gauge
transformations on the metric tensor and the Kalb–Ramond fields. Subsequently, in [7]a mani-
festly background independent action has been constructed for the field E
ij
= g
ij
+ B
ij
and for
the dilaton d. Further aspects of this action have been studied in [8]. Such formulation results to
be O(D, D) invariant and it has been shown equivalent to the generalized metric formulation [9],
still O(D, D) invariant, where the invariance under doubled diffeomorphisms is based, this time,
on the so-called str
ong constraints, i.e. a generalization of the weak constraint to any product
of fields and gauge parameters. In the case of d compact dimensions, the O(D, D) symmetry
structure breaks to the O(d, d; Z) symmetry preserving the periodic boundary conditions.
So fa
r, a non-trivial theory that is invariant under doubled diffeomorphisms without using
the above mentioned constraints has not been found yet. One could try to formulate a theory in
terms of fields automatically projected in the kernel of through a suitably defined projector
operator, the star product, which takes an arbitrary field or a g
auge parameter to that kernel.
This operator has to be used also in the gauge transformations in order to ensure that the gauge
variations are allowed variations of the fields and shows, in general, a non-associative property
that does not give any problems to the invariance of the action that, instead, could be spoiled by
the non-closure of the g
auge algebra. In other words, it may happen that, due to the non-closure
of the gauge algebra, one should not neglect a total derivative term generated by applying a gauge
transformation. The total derivative term or boundary term is also related to the global geometry
of DFT [10–12]. Furthermore, a closed g
auge algebra in DFT is also important to ensure the
closure of the supersymmetry algebra [13–15].
评论0
最新资源