Generalizations of string theory
(talk at Generalized Geometry & T-dualities, 5/11/16)
Outline
(feel free to add "super-" anywhere; always in superspace)
T-theory
- Current algebra: strings → double field theories
- New spaces: field strengths as gauge fields
- Chiral strings: boundary condition → finite spectrum
- Effective actions: new for (massive) gravity
- Particle amplitudes: scattering eqs. & KLT
(not your father's) F-theory (nor mother's M-theory)
- Current algebra: branes → exceptional gravity
- 0th-quantized ghosts
T-theory
Current algebra: strings → double field theories 👯
T-duality (worldsheet, no background) (WS '83)
Fields
d=1 dimensionally reduced (Buscher '87)
d>1: O(
d,d)/O(
d)² scalars (Duff '89, Tseytlin '90)
"Double field theory", bosonic & heterotic (WS '93):
- O(D,26)/O(D−1,1)O(25,1); D = 10,26;
for gauge fields g,B,A (spont. broken O(D,26))
- "strong constraint" (sectioning) ↔ (gauge inv.)²
- "C-bracket" & "D-bracket" (nonabelian for het.)
- ∇A, TABC, RABcd, field equations, action
- gauge fixing: LR factorization of Feynman rules
Our recent work (see MH talk for some details)
Spin Sab & dual Σab (WS '11, Poláček & WS '13)
- ⊕ current super algebra Dα,Pa,Ωα (WS '85)
- curvature as torsion
- Lorentz connection couples to string
Type II & RR (Hatsuda, Kamimura, WS '14-'15)
- RR gauge fields in central currents Υαα',Ϝαα'
- Type II algebra from string action
3D Type II off-shell background (Poláček & WS '14)
- prepotential in vielbein without derivatives on it
- O(3,3)/O(2,1)² (= O(2,2))
- O(3,1) M-theory & O(3,2) F-theory (see later)
New spaces: field strengths as gauge fields (WS '11)
T-theory methods generalize to particle field theory, e.g., gravity
- Sab: 1st-quantization of spin
- spin coordinates ⇒ curvature as torsion
(tangent space as subspace of enlarged manifold)
But also Yang-Mills
- Σab: field strength Fab = gauge connection for Σ
- first-order action = PPΣ Chern-Simons
Chiral strings: b.c. ⇒ finite spectrum (see BZ talk)
Effective actions (Hohm, Zwiebach, WS '13)
- chiral (non-conformal) gauge: X(z) (no z̄)
- chiral boundary conditions: N+N̄=0 (not −)
- Virasoro algebra ⇒ field equations
- complete @ 6 derivatives (α'²) ⇒ ...+R³
- α' modifications to brackets
- unconstrained fields (not O(26,26))
- cubic action (except for dilaton)
- like 2D CP(n), nonlinear σ → linear @ O(α'):
Lagrange multiplier → massive, propagating
(understood recently: see below)
Particle amplitudes for all dimensions
"Scattering equations" (Cachazo, He, Yuan '13)
From string-like theories (Mason & Skinner '13)
Derivation from usual string theories (WS '15)
- chiral boundary conditions (HSZ)
- "almost" chiral gauge (HSZ): z̄ as IR regulator
- usual string vertex operators
KLT factorization (Huang, Yuan, WS '16)
- chiral boundary conditions, but conformal gauge
- ordinary open strings, except ηab → − ηab for z̄
- sign change cancels 0's against usual poles
- fixes earlier bosonic failure: (few) massive modes
F-theory (& M-theory) (Linch & WS '15)
Before branes: more-than-DFT for exceptional SG
(Coimbra, Strickland-Constable, Waldram '11;
Berman, Cederwall, Kleinschmidt, Thompson '12)
Current algebra on fundamental branes
- brane background: exceptional (super)gravity
- X: selfdual gauge fields on worldvolume
- worldvolume indices are spacetime indices
- worldvol. metric constrained ⇒ nonpropagating
- sectioning for worldvolume (Gauss's law)
- sectioning = 0-modes of dimensional reduction
- solve Virasoro → M-theory; Gauss → T-theory
0th-quantized ghosts (WS '16)
- 〈X X〉 = -ln z² for higher-d z (branes)?
- ghosts for every order of quantization:
- usual ghost fields for g(X),B(X), etc.
(2nd-quantization)
- worldvolume ghost "fields" c,b for X(z)
(1st-quantization)
- ghost coordinates for z
(0th-quantization)
Appendix: Some technical details
T-theory current algebra with Ramond-Ramond
Currents: (S
ab,D
α,P
a,Ω
α,Σ
ab)
±;Υ
αα',Ϝ
αα'
{D±,D±} = P±δ, {D+,D−} = Υδ
[D±,P±] = Ω±δ, [D±,Ϝ] = Ω∓δ
[S±,not Σ] ~ not Σ, [S±,Σ±] = Σ±δ + δ'
[P±,P±] = Σ±δ + δ', [Υ,Ϝ] = (Σ++Σ−)δ + δ'
{D±,Ω±} = Σ±δ + δ'
1st-order Yang-Mills as Chern-Simons
With torsion [d
A,d
B} = T
ABCd
C,
the CS form is
XABC = ½A[AdBAC) −¼A[ATBC)DAD +⅓iA[AABAC)
In particular, for
[pa,pb] = σab ⇒ Ta,bcd = ½δ[acδb]d
we choose
L = ½aa,b,cdXa,b,cd , aa,b,cd = ηa[cηd]b
Then, labeling Ap→A, Aσ→F,
L ~ AσA + FpA − FF + FAA
gives the usual 1st-order action after σ→0.
Scattering equation δ from almost-chiral gauge
Change in boundary condition,
Δ = − ln z − ln z̄ → − ln z + ln z̄
followed by change in gauge (with β→∞),
→ − ln z + ln (z̄ − βz) → −
modifies z̄ half of Koba-Nielsen integral
∫dz̄i exp
∑k
i∙k
j
~Π
i δ(∑
j
)
KLT for chiral string (toy example, m=0)
Normal → chiral [sin(πt) = −π/Γ(−t)Γ(1+t)]:
−
=
Γ(−s)Γ(−t)Γ(−u) |
Γ(s)Γ(t)Γ(u) |
→
−
=
F-theory dimensional reduction & sectioning
σ-Virasoro | S ≡ PP | | |
dim. reduction | S̊ ≡ pP | U ≡ ∂P | |
sectioning | S̥ ≡ pp | U̥ ≡ ∂p | V ≡ ∂∂ |
P = bosonic current (selfdual field strength);
p = 0-mode, ∂ for worldvolume
Downward: P→p (otherwise same)
Dimensional reduction kills X's (U = Gauss)
Section conditions kill 0-modes (background) & σ's
(S̊,S̥) = 0 ⇒ M-theory; (U,U̥,V) = 0 ⇒ T-theory
A little F-theory current algebra
d worldvolume coordinates: τ,σ
M
Spacetime coordinates:Θµ,Xm,Ym',ỸMm'
(32 Θ's, <10 worldvolume scalars Y, their duals Ỹ)
Currents: (S,)Dµ,Pm,Υm',ϜMm',ΩMµ(,Σ)
[▷M , ▷N} = fMNP▷Pδ + 2iηMNR∂Rδ
⇒ f[MN|QfQ|P)R = 0 = fM(N|QηQ|P]R
SR = ηMNR▷N▷M
f's ~ super YM, but doubled spinor indices
Types of F-theories (N=1 D-dim. SG bosons in G/H)
D | d | H | G | X | σ |
1 | 3 | GL(1) | GL(2) | 2+1 | 2 |
2 | 4 | GL(2) | SL(3)SL(2) | (3,2) | (3',1) |
3 | 6 | Sp(4) | SL(5) | 10 | 5' |
4 | 11 | Sp(4,C) | SO(5,5) | 16 | 10 |
5 | 28 | USp(4,4) | E6(6) | 27 | 27' |
6 | 134 | SU*(8) | E7(7) | 56 | 133 |
G = "ED+1",
H = covering of SO(D−1,1) with double argument,
H' = SO(10−D)
Y = vector of H', Θ = spinor of H⊗H' (32)