Glimpses of Double Field Theory Geometry

Transcription

1 Glimpses of Double Field Theory Geometry Strings 2012, Munich Barton Zwiebach, MIT 25 July 2012

2 1. Doubling coordinates. Viewpoints on the strong constraint. Comparison with Generalized Geometry. 2. Bosonic double field theory. 3. Generalized Riemann the geometrization of tensors. 5. Undetermined connections and α corrections. 6. Large coordinate transformations. Recent work with OLAF HOHM. Earlier work with Hull, Hohm and Kwak. 1

3 1. Introduction Closed string theory on a torus T d exhibits O(d,d,Z) symmetry. Conserved momentum and winding quantum numbers have associated coordinates, p a x a, w a x a, a = 1,2,...,d. String field theory is a double field theory: φ(x µ,{x a, x a }) Hard to uncover the geometry from the full theory, so in DFT we focus on the massless sector. S = d D x ( ge 2φ R+4( φ) 2 1 ) 12 H2 In what sense is S duality invariant? 2 Answer: Upon reduction on T d, find a global O(d,d;R) symmetry!

4 The DFT idea: Double all coordinates ) ) ( xi ( X M = x i, M = i M = 1,...,2D, is an O(D,D) index. i Raise and lower indices with the O(D,D) metric η ( ) η MN 0 1 = η 1 0 MN. Introduce doubled fields φ(x i, x i ) and write S DFT = d D xd D x L(x, x) Make manifest a global O(D,D;R), giving O(d,d;R) upon reduction. S DFT = S when fields are x independent. 3 Theory includes an O(D, D) covariant strong constraint that ensures that S DFT is (locally) physically equivalent to S.

5 Strong constraint views The constraint arises from level-matching (L 0 L 0 ) Ψ = 0 p i w i = N N = 0, for our fields. M M φ a = 0 fields φ a. This weak constraint is unavoidable. Fields still have momentum and winding excitations. A strong version seems needed to write a complete theory: M M (φ a φ b ) = 0 a,b If true, there is some dual frame (x, x ) where fields are not doubled. 4 Strongly constrained DFT displays the O(D, D) symmetry but it is not physically doubled.

6 Important caveats about the strong constraint: 1. If the strong constraint holds locally and there is a nontrivial global structure, the doubled theory may differ from the undoubled one. 2. Some relaxation of the strong constraint appear to be consistent for certain backgrounds: Massive type IIA (Hohm and Kwak). 3. Relaxation suggested by Scherk Schwarz compactifications: Aldazabal, et.al. [arxiv: ], Geissbühler, [arxiv: ]. 4. Explicit discussion of the relaxation of the strong constraint by Graña, M, and Marques, D. arxiv:

7 DFT vs Generalized Geometry Generalized geometry is a small departure from ordinary geometry: Given a manifold M it puts together vectors V i and one-forms ξ i as V +ξ TM T M. Structures on this larger space. The Courant bracket: [ V1 +ξ 1,V 2 +ξ 2 ] = [V1,V 2 ]+L V1 ξ 2 L V2 ξ d(i V 1 ξ 2 i V2 ξ 1 ) V and ξ are not treated symmetrically. Double field theory (strongly constrained) is a small departure from generalized geometry. It puts TM and T M be on similar footing by doubling the underlying manifold. ) ( ξ Gauge parameters : ξ M = i ξ i and then we have a C-bracket [ ξ1,ξ 2 ] M C ξn [1 Nξ M 2] 1 2 ξp [1 M ξ 2]P. 6 For non-doubled ξ M the C-bracket reduces to the Courant bracket.

8 2. Bosonic Double Field Theory We use a (2D 2D) generalized metric on TM T M ( ) g ij g ik b kj H MN, H MN η MP η NQ H b ik g kj g ij b ik g kl PQ H MP H PQ = δ M Q. b lj O(D,D) transformations : X M = h M N X N, h M P h N Qη MN = η PQ. H = (h 1 ) t Hh 1. Spacetime action: The action can then be written as S = d D xd D xe 2d R(H,d). R(H,d) 4H MN M N d M N H MN 4H MN M d N d+4 M H MN N d HMN M H KL N H KL 1 2 HMN M H KL K H NL. O(D, D) symmetry is manifest since indices match!

9 Gauge transformations via generalized Lie derivatives L: L ξ A M ξ P P A M +( M ξ P P ξ M )A P New term needed for trivial gauge parameters ξ M = M χ to generate no Lie derivatives: L χ A M = P χ P A M +( M P χ P M χ)a P = 0. Algebra: [ Lξ1, Lξ2 ] = L[ξ1,ξ 2 ] C, Gauge transformations δ ξ H MN = Lξ H MN, δ ξ e 2d = M (ξ M e 2d ). The action is gauge invariant because R is a generalized scalar: δ ξ R = ξ M M R. 8

10 3. Generalized Riemann and geometrization Investigation initiated by Jeon, Lee and Park in [arxiv: ] Olaf Hohm and BZ [arxiv: ]. Olaf Hohm and BZ (to appear) Introduce a Christoffel type connection through covariant derivatives: M A N = M A N Γ MN K A K, M A N = M A N +Γ MK N A K, Introduce curvatures and torsion: [ M, N ] AK = R MNK L A L T MN L L A K. It turns out that neither R nor T is a generalized tensor: A simple modification leads to a generalized curvature tensor: 9 R MNKL R MNKL +R KLMN +Γ QMN Γ Q KL. R is symmetric under exchange of first and second pair of indices.

11 Geometrization: Vector fields: X,Y,Z,W TM Connection: bilinear operator Bilinear: (X,Y) X Y TM. X (Y 1 +Y 2 ) = X Y 1 + X Y 2, X1 +X 2 Y = X1 Y + X2 Y. Moreover, given a function f on the manifold we have fx Y = f X Y X fy = X(f)Y +f X Y, X(f) X M M f Tensors are multilinear maps T(V 1,V 2,V 3,,V N ) R from vector fields to functions, with scaling 10 T(V 1,,fV i,,v N ) = f T(V 1,,V i,,v N ), i.

12 Torsion field: Torsion tensor: T(X,Y) X Y Y X [X,Y] TM. T(X,Y,Z) T(X,Y),Z = X Y Y X [X,Y],Z. Curvature operator R(X, Y): Curvature tensor: R(X,Y)Z X Y Z Y X Z [X,Y] Z TM. 11 R(X,Y,Z,W) R(X,Y)Z,W = R MNPQ X M Y N Z P W Q

13 Generalized Tensors: The Lie bracket is not quite right: If X,Y are generalized vectors, then [X,Y] is not. For this, need the Dorfman bracket [X,Y] D [X,Y] K D [X,Y] K +Y M K X M, Generalized torsion: T (X,Y,Z) X Y Y X [X,Y] D, Z + Y, Z X. 12

14 Generalized curvature: R(X,Y)Z,W ( X Y Y X [X,Y]D )Z,W +... The scaling of X is problematic. Need an extra term k Y, Zk X W, Z kz. Here Z k is a set of basis vector (fields) and Z k,z i = δ k i. Now the Z scaling has been compromised. Finally take R(X,Y,Z,W) ( X Y Y X [X,Y]D )Z,W + ( Z W W Z [Z,W]D )X,Y 13 + k Y, Zk X W, Z kz.

15 Like for ordinary Riemann, we have an algebraic Bianchi identity: 3R [MNKL] = 4 [M T NKL] +3T [MN Q T KL]Q. But find no analog of the differential Bianchi identity: cyc W,X,Y W R(X,Y,Z,V) = 0 (for zero torsion). Is there a differential Bianchi for generalized Riemann? 14

16 5. Undetermined connections, α corrections. Constraints on the connection. (1) Covariant constancy of η MN (2) Zero Generalized torsion. (3) Covariant constancy of H MN (4) Covariant divergence using dilaton density The constraints do not fully determine the connection. In fact, there exists no alternative set of covariant constraints that can determine the connection fully. The undetermined pieces can be described using the projectors: P M N = 1 2 ( δm N H M N ), P M N = 1 2 ( δm N +H M N ), 15 We introduce barred and under-barred (un-barred) indices W M P M N W N, W M P M N W N.

17 The undetermined pieces are the traceless parts (w.r.t η) of Γ MNK and Γ M N K The non-vanishing curvatures are R MNKL, R MNK L, R M N K L, R M N K L. These all contain undetermined components. The O(D,D) covariant Riemann tensor R MNPQ is a generalized tensor but is not fully determined in terms of the physical fields. 16

18 Since the undetermined connections are traceless, taking traces of Riemannian tensors can help! η NL η MK R M N K L has no undetermined connections This is the scalar curvature R(H, d) found earlier. The tracing of the (3,1) tensor is also interesting η NL R M N K L has no undetermined connections This is the Ricci-like R MK, needed for equations of motion. 17

19 The gauge invariance of the action implies a couple of differential Bianchi identities: P R 4 M R P M = 0. PR + 4 M R M P = 0. We have not found an uncontracted differential Bianchi identity for the full Riemann tensor: [M R NK]PQ 0. Perhaps there are other variants (they would be useful!) 18

20 α corrections Ashoke Sen (Phys. Lett. B271 (1991) 295) has explained that the low energy string effective action to all orders in α has an O(d,d) symmetry. One should be able to include α corrections to the DFT action while preserving duality. Curvature square terms are the leading order correction. Since generalized Riemann has undetermined connections, this is a challenge. We can attempt to add a sum of terms quadratic in curvatures and hope for the undetermined connections to drop out. It appears, however, that such a strategy needs a differential Bianchi identity that does not exist. 19 DFT should allow for the classification of all T-duality invariant terms in the effective action.

21 6. Large Coordinate Transformations Olaf Hohm and BZ (arxiv: ). The usual coordinate transformation of a gauge field is given by A M(X ) = F M N A N (X), F M N = XN X M With X M = X M ξ M (X) it gives the infinitesimal transformation: δa M A M (X) A M(X) = ξ K K A M + M ξ K A K = L ξ A M What is the full transformation that gives rise to the generalized Lie derivative? δa M = Lξ A M = ξ K K A M + ( M ξ K K ξ M )A K 20 This question, and additional consistency conditions led to a surprising answer :

22 Proposal: with F defined by F M N 1 2 A M (X ) = F M N A N (X), ( X P X P + X M X N ) X M X N X P X P. Indeed, for X = X ξ, with ξ infinitesimal it leads to δa M = A (X) A(X) = ξ K K A M + ( M ξ K K ξ M )A K 21

23 Consistency checks 1. Partial derivatives should transform consistently! M = 1 ( X P X P + X M X N ) 2 X M X N X P X P N = XN X M N. 2. The constant η MN metric is coordinate invariant: η MN = F M R F N S η RS. F M N is in fact an O(D,D) matrix. 3. Usual not-doubled coordinate transformations and b-field gauge transformations are included x i = x i (x), x i = x i, A i(x ) = xp x ia p(x) 22 x i = x i, x i = x i ζ i (x), b ij = b ij + i ζ j j ζ i.

24 Large transformations Better parameterization: X M = e ξp (X) P X M = e ξ X M. (1) Ordinary vector: One can prove that the above together with gives A (X ) = X X A(X) A (X) = exp ( L ξ ) A(X). (2) (2) is a suitable definition for large gauge transformations in the ordinary theory. It is also a good definition for the generalized theory A (X) = exp ( Lξ ) A(X). 23 Does it arise from (1) and A M(X ) = 1 ( X P X P + X M X N ) 2 X M X N X P X P A N (X)?

25 Almost. The coordinate transformation needs some readjustment: X = e Θ(ξ) X, with Θ M = ξ M (ξξl ) M ξ L +O(ξ 5 ). (construct to all orders!) Generalized Lie derivatives define a Lie algebra: ] [ Lξ1, Lξ2 = L[ξ1,ξ 2 ] c, [[ Lξ1, Lξ2 ], Lξ3 ] + [[ Lξ2, Lξ3 ], Lξ1 ] + [[ Lξ3, Lξ1 ], Lξ2 ] = 0. This happens because: J(ξ 1,ξ 2,ξ 3 ) = [ξ 1,ξ 2 ] c,ξ 3 ] c +cyc = ( ) The finite transformations form a group. where exp ( Lξ1 (X)) exp ( Lξ2 (X)) = exp ( Lξc (ξ 2,ξ 1 )), ξ c (ξ 2,ξ 1 ) = ξ 2 +ξ [ ξ2,ξ 1 ] c Group associativity works. Explicitly ξ c( ξ 3, ξ c (ξ 2,ξ 1 ) ) = ξ c( ξ c (ξ 3,ξ 2 ), ξ 1 ) 1 6 J(ξ 1,ξ 2,ξ 3 )+,

26 Consider two maps m 1 : X X ; X = e Θ(ξ 1)(X) X, m 2 : X X ; X = e Θ(ξ 2)(X ) X. The relevant map m 21 : X X is not the composition m 2 m 1. Following the fields, we get ( ) X = e Θ ξ c (ξ 2,ξ 1 )(X) X. Consider a third map That s some exotic: m 21 = m 2 m 1 m 3 : X X ; X = e Θ(ξ 3)(X ) X. We can form a map X X as m 3 (m 2 m 1 ), (m 3 m 2 ) m 1. Leading to X given by two, different options ( ) ( ) exp Θ(ξ c (ξ 3,ξ c (ξ 2,ξ 1 ))) X exp Θ(ξ c (ξ c (ξ 3,ξ 2 ),ξ 1 )) X.

27 Generalized coordinate transformations build a group when acting on fields, but The composition rule for coordinate maps does not form a group. Perhaps related to proposal about non-commutative or even non-associative coordinates: Lust (arxiv:1010:1361), Blumenhagen, et.al (arxiv: ), Mylonas, et.al (arxiv: ). - In summary, we have seen some glimpses of DFT geometry. 25 We hope this will help find a useful language to deal with non-geometric compactifications and learn more about the way Riemannian geometry is modified in string theory.