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

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

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

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

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?

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...

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

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

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

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

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

Alternative proposal for extended space extended space = group manifold G

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

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

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)

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

Solutions linear constraints restrict G to embedding tensor solutions e.g. SO(3,3) = SL(4): 6 15 10 + 10 or SL(5): 10 24 15 + 40

Solutions linear constraints restrict G to embedding tensor solutions e.g. SO(3,3) = SL(4): 6 15 10 + 10 or SL(5): 10 24 15 + 40 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)

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

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 10 10 m is its kernel and h the complement in total g = m + h

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

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

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

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

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

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

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

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

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 Î

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

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

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

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

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) 15 1 + 4 + 10 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)

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

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

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 Î

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

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?

H-principal bundle construction visualized