Extended Space for. Falk Hassler. bases on. arxiv: and in collaboration with. Pascal du Bosque and Dieter Lüst

Transcription

1 Extended Space for (half) Maximally Supersymmetric Theories Falk Hassler bases on arxiv: and in collaboration with Pascal du Bosque and Dieter Lüst University of North Carolina at Chapel Hill June 7, 2017

2 Typical conversation with non-dft/eft hep-th people Why an extended space?

3 Typical conversation with non-dft/eft hep-th people Why an extended space? additional coordinates are winding modes on T d they make U/T-duality manifest

4 Typical conversation with non-dft/eft hep-th people Why an extended space? additional coordinates are winding modes on T d they make U/T-duality manifest Tori are boring. Can you do more?

5 Typical conversation with non-dft/eft hep-th people Why an extended space? additional coordinates are winding modes on T d they make U/T-duality manifest Tori are boring. Can you do more? yes, after imposing the SC (section condition)

6 Typical conversation with non-dft/eft hep-th people Why an extended space? additional coordinates are winding modes on T d they make U/T-duality manifest Tori are boring. Can you do more? yes, after imposing the SC (section condition) But then you have GG (generalized geometry).

7 Typical conversation with non-dft/eft hep-th people Why an extended space? additional coordinates are winding modes on T d they make U/T-duality manifest Tori are boring. Can you do more? yes, after imposing the SC (section condition) But then you have GG (generalized geometry). yes, but extended space is great bookkeeping device

8 Typical conversation with non-dft/eft hep-th people Why an extended space? additional coordinates are winding modes on T d they make U/T-duality manifest Tori are boring. Can you do more? yes, after imposing the SC (section condition) But then you have GG (generalized geometry). yes, but extended space is great bookkeeping device Examples please!

9 Typical conversation with non-dft/eft hep-th people Why an extended space? additional coordinates are winding modes on T d they make U/T-duality manifest Tori are boring. Can you do more? yes, after imposing the SC (section condition) But then you have GG (generalized geometry). yes, but extended space is great bookkeeping device Examples please! generalized Scherk-Schwarz reductions...

10 Typical conversation with non-dft/eft hep-th people Why an extended space? additional coordinates are winding modes on T d they make U/T-duality manifest Tori are boring. Can you do more? yes, after imposing the SC (section condition) But then you have GG (generalized geometry). yes, but extended space is great bookkeeping device Examples please! generalized Scherk-Schwarz reductions... You classify all consistent reductions with maximal SUSY? By the way, what happens to the manifest dualities?

11 Scherk-Schwarz reductions at a glance compactification on group manifold M=G frame field e a i (left-invariant Maurer-Cartan form) t a e a idx i = g 1 dg with t a g and g G

12 Scherk-Schwarz reductions at a glance compactification on group manifold M=G frame field e a i (left-invariant Maurer-Cartan form) t a e a idx i = g 1 dg with t a g and g G frame algebra with const. f c ab generated by Lie derivative L ea e i b e c i = f c ab e i c

13 Scherk-Schwarz reductions at a glance compactification on group manifold M=G frame field e a i (left-invariant Maurer-Cartan form) t a e a idx i = g 1 dg with t a g and g G frame algebra with const. f c ab generated by Lie derivative L ea e i b e c i = f c ab e i c invariant, non-degenerate, symmetric two-form δ ab metric ds 2 = δ ab e a ie b jdx i dx j

14 Scherk-Schwarz reductions at a glance compactification on group manifold M=G frame field e a i (left-invariant Maurer-Cartan form) t a e a idx i = g 1 dg with t a g and g G frame algebra with const. f c ab generated by Lie derivative L ea e i b e c i = f c ab e i c invariant, non-degenerate, symmetric two-form δ ab metric ds 2 = δ ab e a ie b jdx i dx j no fluxes M is parallelizable space tangent bundle trivial, maximal SUSY consistent reduction to gauged SUGRA

15 Generalized Scherk-Schwarz reductions at a glance compactification on group manifold M generalized frame field E A Î (left-invariant Maurer-Cartan form)??? frame algebra with const. X C AB generated by gen. Lie derivative L EA E Î B E C Î = X AB C invariant, non-degenerate, symmetric two-form δ AB gen. metric HÎĴ = δ ABE A Î EB Ĵ no fluxes M is generalized parallelizable space generalized tangent bundle trivial, maximal SUSY consistent reduction to gauged SUGRA

16 Generalized Frame Field E A Î with constant X C AB solution to SC element of duality group

17 Generalized Frame Field E A Î with constant X C AB solution to SC element of duality group examples, no construction yet today 1. revisit extended space 2. solve SC 3. construct E Î A

18 Alternative proposal for extended space extended space = group manifold G

19 Alternative proposal for extended space extended space = group manifold G relevant structure 1. left-invariant Maurer-Cartan form t A E A Idx I = g 1 dg with t A g and g G

20 Alternative proposal for extended space extended space = group manifold G relevant structure 1. left-invariant Maurer-Cartan form t A E A Idx I = g 1 dg with t A g and g G 2. flat derivative D A = E I A I

21 Alternative proposal for extended space extended space = group manifold G relevant structure 1. left-invariant Maurer-Cartan form t A E A Idx I = g 1 dg with t A g and g G 2. flat derivative D A = E I A I 3. covariant derivative A V B = D A V B + Γ B AC V C

22 Alternative proposal for extended space extended space = group manifold G relevant structure 1. left-invariant Maurer-Cartan form t A E A Idx I = g 1 dg with t A g and g G 2. flat derivative D A = E I A I 3. covariant derivative A V B = D A V B + Γ B AC V C why? suggested by CSFT (Closed String Field Theory) on WZW-model for G abelian standard formulation it works

23 Action of the duality group E d(d) /O(d-1,d-1) indices A, B,... transform in coordiante irrep of duality group e.g. 10 of SL(5)=E 4(4) or vector irrep of O(d-1,d-1)

24 Action of the duality group E d(d) /O(d-1,d-1) indices A, B,... transform in coordiante irrep of duality group e.g. 10 of SL(5)=E 4(4) or vector irrep of O(d-1,d-1) introduce generalized Lie derivative L ξ V A = ξ B B V A V B B ξ A + Y AB CD B ξ C V D whose closure requires SC constraint Y CD ABD C D D = 0

25 Action of the duality group E d(d) /O(d-1,d-1) indices A, B,... transform in coordiante irrep of duality group e.g. 10 of SL(5)=E 4(4) or vector irrep of O(d-1,d-1) introduce generalized Lie derivative L ξ V A = ξ B B V A V B B ξ A + Y AB CD B ξ C V D whose closure requires SC constraint Y CD ABD C D D = 0 fix connection Γ Y -tensor is covariant constant by requiring closure of generalized Lie derivative

26 Action of the duality group E d(d) /O(d-1,d-1) indices A, B,... transform in coordiante irrep of duality group e.g. 10 of SL(5)=E 4(4) or vector irrep of O(d-1,d-1) introduce generalized Lie derivative L ξ V A = ξ B B V A V B B ξ A + Y AB CD B ξ C V D whose closure requires SC constraint Y CD ABD C D D = 0 fix connection Γ Y -tensor is covariant constant by requiring closure of generalized Lie derivative results in two linear constraints one quadratic constraint

27 Solutions linear constraints restrict G to embedding tensor solutions e.g. SO(3,3) = SL(4): or SL(5):

28 Solutions linear constraints restrict G to embedding tensor solutions e.g. SO(3,3) = SL(4): or SL(5): if embedding tensor X ABC X [AB] C dim G < dim coordinate irrep break duality group happens in 40 of SL(5) e.g. dim G=9, branch to SL(3) SL(2) coordinate irrep: 10 (3, 2) + (3, 1) + (1, 1) embedding tensor: (1, 3) + (3, 2) + (6, 1) + (1, 2)

29 Solutions linear constraints restrict G to embedding tensor solutions e.g. SO(3,3) = SL(4): or SL(5): if embedding tensor X ABC X [AB] C dim G < dim coordinate irrep break duality group happens in 40 of SL(5) e.g. dim G=9, branch to SL(3) SL(2) coordinate irrep: 10 (3, 2) + (3, 1) + (1, 1) embedding tensor: (1, 3) + (3, 2) + (6, 1) + (1, 2) also for E 6(6) and G=SO(6) where E 6(6) SL(6) SL(2) coordinate irrep: 27 (15, 1) + (6, 2)

30 Solutions linear constraints restrict G to embedding tensor solutions e.g. SO(3,3) = SL(4): or SL(5): if embedding tensor X ABC X [AB] C dim G < dim coordinate irrep break duality group happens in 40 of SL(5) e.g. dim G=9, branch to SL(3) SL(2) coordinate irrep: 10 (3, 2) + (3, 1) + (1, 1) embedding tensor: (1, 3) + (3, 2) + (6, 1) + (1, 2) also for E 6(6) and G=SO(6) where E 6(6) SL(6) SL(2) coordinate irrep: 27 (15, 1) + (6, 2) quadratic constraint = Jacobi identity

31 SC and H-principal bundle SC selects d physical directions in extended space { d physical split TG into dim G d SC violating directions

32 SC and H-principal bundle SC selects d physical directions in extended space { d physical split TG into dim G d SC violating directions convenient tool is a H-principal bundle G { HG horizontal=physical splits TG into VG vertical=auxiliary subbundles physical manifold M = G/H is coset space

33 SC and H-principal bundle SC selects d physical directions in extended space { d physical split TG into dim G d SC violating directions convenient tool is a H-principal bundle G { HG horizontal=physical splits TG into VG vertical=auxiliary subbundles physical manifold M = G/H is coset space H is a maximally isotropic subgroup of G for O(d-1,d-1) for SL(5) EFT linear SC va 0 ɛ abc C = 0 is a map m is its kernel and h the complement in total g = m + h

34 Sections and connections the bundle π : G M has sections σ i : M U i G and a h-valued connection one-form ω

35 Sections and connections the bundle π : G M has sections σ i : M U i G and a h-valued connection one-form ω at each g G, ω g (X) = 0 for all X H g G solving SC in patch U i requires ωσ i = σi ω = A i = 0

36 Sections and connections the bundle π : G M has sections σ i : M U i G and a h-valued connection one-form ω at each g G, ω g (X) = 0 for all X H g G solving SC in patch U i requires ωσ i = σi ω = A i = 0 A is gauge connection on M corresponding field strength has to vanish (flat connection)

37 Sections and connections the bundle π : G M has sections σ i : M U i G and a h-valued connection one-form ω at each g G, ω g (X) = 0 for all X H g G solving SC in patch U i requires ωσ i = σi ω = A i = 0 A is gauge connection on M corresponding field strength has to vanish (flat connection) A severely constraint by linear version of SC e.g. O(d-1,d-1): A = t a ( B ab E b i + δ b ae bi ) SL(5): A = t α (η γδ, α C βγδ E β i + δ α β E β i )dx i B ab, C αβγ are totally anti-symmetric

38 Two ways to find A=0 (and solve the SC) the hard way 1. take arbitrary coset representative m(x i ) 2. choose B/C in connection A that F=DA=0 (in general very hard) 3. A is (at least locally) pure gauge 4. set A=0 by gauge transformation

39 Two ways to find A=0 (and solve the SC) the hard way 1. take arbitrary coset representative m(x i ) 2. choose B/C in connection A that F=DA=0 (in general very hard) 3. A is (at least locally) pure gauge 4. set A=0 by gauge transformation much simpler if 1. m and h form symmetric pair [h, h] h [h, m] m [m, m] h 2. m is a subgroup e.g. for O(d-1,d-1) Drinfeld double then coset representative m = exp(f (x i )) results in A = 0

40 Connection to generalized geometry identify VG { HG with tangent bundle TM of M the reset of the generalized tangent bundle

41 Connection to generalized geometry identify VG { HG with tangent bundle TM of M the reset of the generalized tangent bundle for all g G, V g G = h; introduce map η g : h Λ n T g M n=1 for O(d-1,d-1) / n=2 for SL(5)

42 Connection to generalized geometry identify VG { HG with tangent bundle TM of M the reset of the generalized tangent bundle for all g G, V g G = h; introduce map η g : h Λ n T g M n=1 for O(d-1,d-1) / n=2 for SL(5) in combination with 1. component E a i of left-invariant Maurer-Cartan form E A I 2. B ab / C αβγ from A=0 a canoical generalized frame field ÊA Î arises

43 Connection to generalized geometry identify VG { HG with tangent bundle TM of M the reset of the generalized tangent bundle for all g G, V g G = h; introduce map η g : h Λ n T g M n=1 for O(d-1,d-1) / n=2 for SL(5) in combination with 1. component E a i of left-invariant Maurer-Cartan form E A I 2. B ab / C αβγ from A=0 a canoical generalized frame field ÊA Î arises apply to vectors V Î = ( V i V i ) = Ê A Î V A and gen. Lie derivative L ξ V Î = L ξ V Î + FĴ ÎξĴV ˆK ˆK

44 Connection to generalized geometry L = untwisted gen. Lie derivative of GG (generalized geometry) on M FÎĴ ˆK = additional twist LÊA Ê B Î Ê C Î = X AB C

45 Connection to generalized geometry L = untwisted gen. Lie derivative of GG (generalized geometry) on M FÎĴ ˆK = additional twist LÊA Ê B Î Ê C Î = X AB C Ê A E A, because L L

46 Connection to generalized geometry L = untwisted gen. Lie derivative of GG (generalized geometry) on M FÎĴ ˆK = additional twist LÊA Ê B Î Ê C Î = X AB C ˆK FÎĴ Ê A E A, because L L TODO: push twist completely in gen. frame field Ê B Î

47 Different solutions and dualities in general more than one tuple (M, E A ) with same X AB C

48 Different solutions and dualities in general more than one tuple (M, E A ) with same X C AB related by duality transformations e.g. G=CSO(1,0,3) SO(3,3) H ijk T i T j T k f i jk Q ij k R ijk torus with H-flux twisted torus with geometric f -flux non-comm. T-fold with Q-flux non-ass. with R-flux

49 Different solutions and dualities in general more than one tuple (M, E A ) with same X C AB related by duality transformations e.g. G=CSO(1,0,3) SO(3,3) H ijk T i T j T k f i jk Q ij k R ijk torus with H-flux twisted torus with geometric f -flux non-comm. T-fold with Q-flux non-ass. with R-flux T 1 T 2 T 3 H = R 3 H = R 3 H = H 3 no subgroup

50 Different solutions and dualities in general more than one tuple (M, E A ) with same X C AB related by duality transformations e.g. G=CSO(1,0,3) SO(3,3) H ijk T i T j T k f i jk Q ij k R ijk torus with H-flux twisted torus with geometric f -flux non-comm. T-fold with Q-flux non-ass. with R-flux H = R 3 T 1 H = R 3 T 2 H = H 3 T 3 no subgroup } {{ } Drinfeld double

51 Construction of the generalized frame field E A Î ansatz E Î A = M B A Ê B Î with M B A t B = m 1 t A m Ê A Î = similar as ÊA Î but with B/C instead of B/C G/H m = from splitting g = mh induced by SC solution

52 Construction of the generalized frame field E A Î ansatz E Î A = M B A Ê B Î with M B A t B = m 1 t A m Ê A Î = similar as ÊA Î but with B/C instead of B/C G/H m = from splitting g = mh induced by SC solution requires 1. additional linear constraint 2. appropriate choice of B/C e.g. SL(5): dc = 3 4 Y 11 vol

53 Construction of the generalized frame field E A Î ansatz E Î A = M B A Ê B Î with M B A t B = m 1 t A m Ê A Î = similar as ÊA Î but with B/C instead of B/C G/H m = from splitting g = mh induced by SC solution requires 1. additional linear constraint 2. appropriate choice of B/C e.g. SL(5): dc = 3 4 Y 11 vol by construction element of duality group & SC solution

54 Solutions of the additional constraint for SL(5) SC solution requires choosing a v 0 a breaks SL(5) to SL(4),...

55 Solutions of the additional constraint for SL(5) SC solution requires choosing a v 0 a breaks SL(5) to SL(4),... linear constraints remove certain irreps from embedding tensor dim G = 10 : SL(5) SL(4)

56 Solutions of the additional constraint for SL(5) SC solution requires choosing a v 0 a breaks SL(5) to SL(4),... linear constraints remove certain irreps from embedding tensor dim G = 10 : dim G = 9 : SL(5) SL(4) SL(3) SL(2) SL(2) SL(2) (1, 3) + (3, 2) + (6, 1) + (1, 2) (1, 3) + (1, 2) + (2, 2) + (1, 1) + (2, 1) + (3, 1) + (1, 2)

57 Solutions of the additional constraint for SL(5) SC solution requires choosing a v 0 a breaks SL(5) to SL(4),... linear constraints remove certain irreps from embedding tensor dim G = 10 : dim G = 9 : SL(5) SL(4) SL(3) SL(2) SL(2) SL(2) (1, 3) + (3, 2) + (6, 1) + (1, 2) (1, 3) + (1, 2) + (2, 2) + (1, 1) + (2, 1) + (3, 1) + (1, 2) dim G = 7 :...

58 Solutions of the additional constraint for SL(5) SC solution requires choosing a v 0 a breaks SL(5) to SL(4),... linear constraints remove certain irreps from embedding tensor dim G = 10 : dim G = 9 : SL(5) SL(4) SL(3) SL(2) SL(2) SL(2) (1, 3) + (3, 2) + (6, 1) + (1, 2) (1, 3) + (1, 2) + (2, 2) + (1, 1) + (2, 1) + (3, 1) + (1, 2) dim G = 7 :... all allowed gaugings in the 15 only result in symmetric spaces

59 Example S 4 with radius R group G=SO(5), only one subgroup H=SO(4) M=SO(5)/SO(4), symmetric space

60 Example S 4 with radius R group G=SO(5), only one subgroup H=SO(4) M=SO(5)/SO(4), symmetric space A vanishes globally for ( ) C = R 3 tan φ 1 sin 3 (φ 1 ) sin 2 (φ 2 ) sin(φ 3 ) dφ 2 dφ 3 dφ 4 2

61 Example S 4 with radius R group G=SO(5), only one subgroup H=SO(4) M=SO(5)/SO(4), symmetric space A vanishes globally for ( ) C = R 3 tan φ 1 sin 3 (φ 1 ) sin 2 (φ 2 ) sin(φ 3 ) dφ 2 dφ 3 dφ 4 choose C in Ê A Î such that 2 dc = 3R 3 sin 3 (φ 1 ) sin 2 (φ 2 ) sin(φ 3 ) dφ 1 dφ 2 dφ 3 dφ 4 = 3 R vol and we construct E A Î

62 Example S 4 with radius R group G=SO(5), only one subgroup H=SO(4) M=SO(5)/SO(4), symmetric space A vanishes globally for ( ) C = R 3 tan φ 1 sin 3 (φ 1 ) sin 2 (φ 2 ) sin(φ 3 ) dφ 2 dφ 3 dφ 4 choose C in Ê A Î such that 2 dc = 3R 3 sin 3 (φ 1 ) sin 2 (φ 2 ) sin(φ 3 ) dφ 1 dφ 2 dφ 3 dφ 4 = 3 R vol and we construct E A Î alternative parameterization, embedding in R 5 reproduces known results

63 Summary DFT/EFT gives us an explicit construction of generalized parallelizable spaces, if we change the perspective on the extended space.

64 Summary DFT/EFT gives us an explicit construction of generalized parallelizable spaces, if we change the perspective on the extended space. Advantages group G is manifest in extended space dualities are manifest as different solutions of the SC results depends on having extended space

65 Summary DFT/EFT gives us an explicit construction of generalized parallelizable spaces, if we change the perspective on the extended space. Advantages group G is manifest in extended space dualities are manifest as different solutions of the SC results depends on having extended space Project proposal: Classification of gen. parall. spaces redo analysis for E d(d) with d > 4 solve linear constraints completely are there examples not covered by the construction?

66 H-principal bundle construction visualized

67 H-principal bundle construction visualized

68 H-principal bundle construction visualized

69 H-principal bundle construction visualized

70 H-principal bundle construction visualized

71 H-principal bundle construction visualized