Rectangular W-algebras
- f types so and sp
and dual coset CFTs
Takahiro Uetoko (Ritsumeikan Univ.)
Based on: [arXiv:1906.05872] w/ Thomas Creutzig (Alberta Univ.), Yasuaki Hikida (YITP, Kyoto Univ.)
- Aug. 22 (2019) @YITP “Strings and Fields 2019”
1
Rectangular W-algebras of types so and sp and dual coset CFTs - - PowerPoint PPT Presentation
Rectangular W-algebras of types so and sp and dual coset CFTs Takahiro Uetoko (Ritsumeikan Univ.) Based on: [arXiv:1906.05872] w/ Thomas Creutzig (Alberta Univ.), Yasuaki Hikida (YITP, Kyoto Univ.) Aug. 22 (2019) @YITP Strings and Fields
Takahiro Uetoko (Ritsumeikan Univ.)
Based on: [arXiv:1906.05872] w/ Thomas Creutzig (Alberta Univ.), Yasuaki Hikida (YITP, Kyoto Univ.)
1
2
String theory
First Regge trajectory Vasiliev theory
Higher spin gravity Tensionless limit
[Gross ’88]
3
String theory
First Regge trajectory Vasiliev theory
Higher spin gravity
(mass)2
(spin)
(mass)2
(spin)
First Regge trajectory Vasiliev theory
Tensionless limit
[Gross ’88]
[Gross ’88]
4
String theory
First Regge trajectory Vasiliev theory
Higher spin gravity Tensionless limit
(mass)2
(spin)
(mass)2
(spin)
First Regge trajectory Vasiliev theory
5
String theory
All Regge trajectory Vasiliev theory with matrix valued fields
M × M
Higher spin gravity
6
String theory
All Regge trajectory Vasiliev theory with matrix valued fields
M × M
Higher spin gravity
with the infinite dimensional symmetry of 2d CFT
[Creutzig-Hikida ’13]
7
String theory
All Regge trajectory Vasiliev theory with matrix valued fields
M × M
Higher spin gravity
with the infinite dimensional symmetry of 2d CFT
su(N + M)k su(N)k ⊕ u(1)kNM(N+M)
With , this reduce to the Gaberdiel-Gopakumar duality
M = 1
[Creutzig-Hikida ’13] [Gaberdiel-Gopakumar ’10] [Creutzig-Hikida-Rønne ’13, Creutzig-Hikida ’18]
8
String theory
All Regge trajectory Vasiliev theory with matrix valued fields
M × M
Higher spin gravity
with the infinite dimensional symmetry of 2d CFT
su(N + M)k su(N)k ⊕ u(1)kNM(N+M)
With , this reduce to the Gaberdiel-Gopakumar duality
M = 1
[Creutzig-Hikida ’13] [Gaberdiel-Gopakumar ’10] [Creutzig-Hikida-Rønne ’13, Creutzig-Hikida ’18]
9
and examine the asymptotic symmetry
An answer (my talk)
gauge sector
sl(M)
10
gauge sector
sl(M)
11
12
CS theory
sl(2)
[Witten ’88]
13
CS theory
sl(2)
Include higher spin
hs[λ] = B[λ] ⊖ 1
B[λ] = U(sl(2)) ⟨C2 − 1
4 (λ2 − 1)1⟩ [Prokushkin-Vasiliev ’98] [Witten ’88]
14
CS theory
sl(2)
[
λ = n (n = 2,3,…)
Include higher spin
sl(n) sl(2)
Ex) principal embedding
sl(n) = sl(2) ⊕ (
n
⨁
s=3
g(s) )
hs[λ] = B[λ] ⊖ 1
B[λ] = U(sl(2)) ⟨C2 − 1
4 (λ2 − 1)1⟩ [Prokushkin-Vasiliev ’98] [Witten ’88]
spin-(s-1) representation
15
CS theory
sl(2)
[
λ = n (n = 2,3,…)
fields:
M × M
Include higher spin
sl(n) sl(2)
Matrix extension Ex) principal embedding
sl(n) = sl(2) ⊕ (
n
⨁
s=3
g(s) )
hs[λ] = B[λ] ⊖ 1
B[λ] = U(sl(2)) ⟨C2 − 1
4 (λ2 − 1)1⟩
hsM[λ] ≃ gl(M) ⊗ B[λ] ⊖ 1M ⊗ 1 ≃ sl(M) ⊗ 1 ⊕ 1M ⊗ hs[λ] ⊕ sl(M) ⊗ hs[λ]
[Prokushkin-Vasiliev ’98] [Witten ’88]
spin-(s-1) representation
[Gaberdiel-Gopakumar ’13, Creutzig-Hikida-Rønne ’13]
16
CS theory
sl(2)
[
λ = n (n = 2,3,…)
fields:
M × M
sl(M) ⊗ 1n ⊕ 1M ⊗ sl(n) ⊕ sl(M) ⊗ sl(n) ≃ sl(Mn)
Include higher spin
sl(n) sl(2)
Matrix extension
[ ]
λ = n
Ex) principal embedding
sl(n) = sl(2) ⊕ (
n
⨁
s=3
g(s) )
hs[λ] = B[λ] ⊖ 1
B[λ] = U(sl(2)) ⟨C2 − 1
4 (λ2 − 1)1⟩
hsM[λ] ≃ gl(M) ⊗ B[λ] ⊖ 1M ⊗ 1 ≃ sl(M) ⊗ 1 ⊕ 1M ⊗ hs[λ] ⊕ sl(M) ⊗ hs[λ]
Include gravitational sl(2)
[Prokushkin-Vasiliev ’98] [Witten ’88]
spin-(s-1) representation
[Gaberdiel-Gopakumar ’13, Creutzig-Hikida-Rønne ’13]
[Gaberdiel-Gopakumar ’13, Creutzig-Hikida-Rønne ’13]
17
CS theory
sl(2)
[
λ = n (n = 2,3,…)
fields:
M × M
sl(M) ⊗ 1n ⊕ 1M ⊗ sl(n) ⊕ sl(M) ⊗ sl(n) ≃ sl(Mn)
Include higher spin
sl(n) sl(2)
Matrix extension
[ ]
λ = n
Ex) principal embedding
sl(n) = sl(2) ⊕ (
n
⨁
s=3
g(s) )
hs[λ] = B[λ] ⊖ 1
B[λ] = U(sl(2)) ⟨C2 − 1
4 (λ2 − 1)1⟩
hsM[λ] ≃ gl(M) ⊗ B[λ] ⊖ 1M ⊗ 1 ≃ sl(M) ⊗ 1 ⊕ 1M ⊗ hs[λ] ⊕ sl(M) ⊗ hs[λ]
Include gravitational sl(2)
[Prokushkin-Vasiliev ’98]
[Witten ’88]
spin-(s-1) representation
18
ρ → ∞ z, ¯ z
19
Include higher spin
A = e−ρL0a(z)eρL0dz + L0dρ
ρ → ∞ z, ¯ z
A = e−ρV 2
0a(z)eρV 2 0dz + V2
0dρ
Ex) case of s = 2
Vs
−s+1,⋯,s−1
V 2
0,±1 ≡ L0,±1
20
Include higher spin
Matrix extension
fields:
M × M
A = e−ρL0a(z)eρL0dz + L0dρ
ρ → ∞ z, ¯ z
A = e−ρV 2
0a(z)eρV 2 0dz + V2
0dρ
A = e−ρ(1M⊗V 2
0)a(z)eρ(1M⊗V 2 0)dz + (1M ⊗ V2
0)dρ
Ex) case of s = 2
Vs
−s+1,⋯,s−1
V 2
0,±1 ≡ L0,±1
21
fields:
M × M
A = e−ρL0a(z)eρL0dz + L0dρ
A = e−ρV 2
0a(z)eρV 2 0dz + V2
0dρ
A = e−ρ(1M⊗V 2
0)a(z)eρ(1M⊗V 2 0)dz + (1M ⊗ V2
0)dρ
(A − AAdS)|ρ→∞ = 𝒫((eρ)0)
Asymptotically AdS
22
fields:
M × M
A = e−ρL0a(z)eρL0dz + L0dρ
A = e−ρV 2
0a(z)eρV 2 0dz + V2
0dρ
A = e−ρ(1M⊗V 2
0)a(z)eρ(1M⊗V 2 0)dz + (1M ⊗ V2
0)dρ
a(z) = L1 + 1 kCS T(z)L−1
(A − AAdS)|ρ→∞ = 𝒫((eρ)0)
Asymptotically AdS Virasoro generator
23
fields:
M × M
A = e−ρL0a(z)eρL0dz + L0dρ
A = e−ρV 2
0a(z)eρV 2 0dz + V2
0dρ
A = e−ρ(1M⊗V 2
0)a(z)eρ(1M⊗V 2 0)dz + (1M ⊗ V2
0)dρ
a(z) = L1 + 1 kCS T(z)L−1 a(z) = V2
1 + n
∑
s=2
W(s)(z)Vs
−s+1
(A − AAdS)|ρ→∞ = 𝒫((eρ)0)
Asymptotically AdS Virasoro generator
WN
24
fields:
M × M
A = e−ρL0a(z)eρL0dz + L0dρ
A = e−ρV 2
0a(z)eρV 2 0dz + V2
0dρ
A = e−ρ(1M⊗V 2
0)a(z)eρ(1M⊗V 2 0)dz + (1M ⊗ V2
0)dρ
a(z) = L1 + 1 kCS T(z)L−1 a(z) = V2
1 + n
∑
s=2
W(s)(z)Vs
−s+1
a(z) = Ja(z)(ta ⊗ 1n) + 1M ⊗ V2
1
+
n
∑
s=2
W(s)(z)(1M ⊗ Vs
−s+1) + n
∑
s=2
Q(s)
a (z)(ta ⊗ Vs −s+1)
(A − AAdS)|ρ→∞ = 𝒫((eρ)0)
Asymptotically AdS Virasoro generator
WN
sl(Mn) ≃ sl(M ) ⊗ 1n ⊕ 1M ⊗ sl(n) ⊕ sl(M ) ⊗ sl(n)
25
fields:
M × M
A = e−ρL0a(z)eρL0dz + L0dρ
A = e−ρV 2
0a(z)eρV 2 0dz + V2
0dρ
A = e−ρ(1M⊗V 2
0)a(z)eρ(1M⊗V 2 0)dz + (1M ⊗ V2
0)dρ
a(z) = L1 + 1 kCS T(z)L−1 a(z) = V2
1 + n
∑
s=2
W(s)(z)Vs
−s+1
a(z) = Ja(z)(ta ⊗ 1n) + 1M ⊗ V2
1
+
n
∑
s=2
W(s)(z)(1M ⊗ Vs
−s+1) + n
∑
s=2
Q(s)
a (z)(ta ⊗ Vs −s+1)
(A − AAdS)|ρ→∞ = 𝒫((eρ)0)
Asymptotically AdS Virasoro generator
WN
WN generators of sl(M) Charged higher spin generators
sl(Mn) ≃ sl(M ) ⊗ 1n ⊕ 1M ⊗ sl(n) ⊕ sl(M ) ⊗ sl(n)
26
fields:
M × M
A = e−ρL0a(z)eρL0dz + L0dρ
A = e−ρV 2
0a(z)eρV 2 0dz + V2
0dρ
A = e−ρ(1M⊗V 2
0)a(z)eρ(1M⊗V 2 0)dz + (1M ⊗ V2
0)dρ
a(z) = L1 + 1 kCS T(z)L−1 a(z) = V2
1 + n
∑
s=2
W(s)(z)Vs
−s+1
a(z) = Ja(z)(ta ⊗ 1n) + 1M ⊗ V2
1
+
n
∑
s=2
W(s)(z)(1M ⊗ Vs
−s+1) + n
∑
s=2
Q(s)
a (z)(ta ⊗ Vs −s+1)
(A − AAdS)|ρ→∞ = 𝒫((eρ)0)
Asymptotically AdS Virasoro generator
WN
WN generators of sl(M) Charged higher spin generators
27
with the embedding
sl(Mn) sl(2)
We obtain the rectangular W-algebra
Principal embedding correspond to the partition Young diagram
⋮ ⋮ ⋮ ⋯ ⋯ ⋯
⋱
n M
sl(Mn) ≃ sl(M) ⊗ 1n ⊕ 1M ⊗ sl(n) ⊕ sl(M) ⊗ sl(n)
28
with the embedding
sl(Mn) sl(2)
We obtain the rectangular W-algebra
are evaluated
sl(M)
λ = k k + N
Principal embedding correspond to the partition Young diagram
⋮ ⋮ ⋮ ⋯ ⋯ ⋯
⋱
n M
(e.g. [Kac-Wakimoto ’03] ) [Creutzig-Hikida ’18]
sl(Mn) ≃ sl(M) ⊗ 1n ⊕ 1M ⊗ sl(n) ⊕ sl(M) ⊗ sl(n)
29
with the embedding
sl(Mn) sl(2)
We obtain the rectangular W-algebra
sl(2) Mn =
M
n + n + ⋯ + n
Rectangular Young diagram
are evaluated
sl(M)
λ = k k + N or λ′ = − k k + N + M
Principal embedding correspond to the partition Young diagram
⋮ ⋮ ⋮ ⋯ ⋯ ⋯
⋱
n M
(e.g. [Kac-Wakimoto ’03] )
[Creutzig-Hikida ’18]
sl(Mn) ≃ sl(M) ⊗ 1n ⊕ 1M ⊗ sl(n) ⊕ sl(M) ⊗ sl(n)
gauge sector
sl(M)
30
matrix extension
M × M
31
sl(M)
matrix extension
M × M
32
sl(M) so(M) sp(2m) for M = 2m
Ex) AT A = AAT = 1M
matrix extension
M × M
33
sl(M) so(M) sp(2m) for M = 2m
can be truncated to
hs[λ] hse[λ] hs[λ] ≃ hse[λ] ⊕ hso[λ]
Ex) AT A = AAT = 1M
matrix extension
M × M
34
sl(M) so(M) sp(2m) for M = 2m
can be truncated to
hs[λ] hse[λ] hs[λ] ≃ hse[λ] ⊕ hso[λ]
λ = 2n + 1 λ = 2n
so(2n + 1) sp(2n)
Ex) AT A = AAT = 1M
matrix extension
M × M
35
sl(M) so(M) sp(2m) for M = 2m
can be truncated to
hs[λ] hse[λ] hs[λ] ≃ hse[λ] ⊕ hso[λ]
λ = 2n + 1 λ = 2n
so(2n + 1) sp(2n)
Ex) (Asymm)T = Asymm
(Aanti−symm)T = − Aanti−symm
so(M) sp(2m) so(2n + 1) sp(2n) so(M(2n + 1)) sp(2Mn) sp(2m(2n + 1)) so(4mn)
M × M hs[λ]
sl(Mn) ≃ sl(M) ⊗ 1n ⊕ 1M ⊗ sl(n) ⊕ sl(M) ⊗ sl(n)
Ex) Decomposition of previous model
36
by Hamiltonian reduction Their central charge and level are evaluated
so(M(2n + 1)) sp(2Mn) sp(2m(2n + 1)) so(4mn)
hsso(M)[λ] hssp(2m)[λ]
Matrix type
37
by Hamiltonian reduction Their central charge and level are evaluated
Their central charge and level are consistent with above algebras with finite N
so(N + M)k so(N)k sp(2N + 2m)k sp(2N)k
with proper t’ Hooft parameters
so(M(2n + 1)) sp(2Mn) sp(2m(2n + 1)) so(4mn)
hsso(M)[λ] hssp(2m)[λ]
Matrix type
λ = k + 1 k + N + 1
so(M(2n + 1)) sp(2Mn) sp(2m(2n + 1)) so(4mn)
so(N + M)k so(N)k sp(2N + 2m)k sp(2N)k
hsso(M)[λ] hssp(2m)[λ]
Matrix type
Dual with λ =
k − 2 k + N − 2
38
by Hamiltonian reduction Their central charge and level are evaluated
respectively
so(N + M)k so(N)k
sp(2N)k
Their central charge and level are consistent with above algebras with finite N
)
λ = 2
39
matrix
sl(2) M × M
by requiring associatively
)
λ = 2
40
matrix
sl(2) M × M
by requiring associatively spin1: spin2:
Ja T, Qa
41
matrix
sl(2) M × M
currents
so(2M) sp(2m)
EM tensor Spin 2 charged currents
)
λ = 2
by requiring associatively spin1: spin2:
Ja T, Qa
42
matrix
sl(2) M × M
currents
so(2M) sp(2m)
EM tensor Spin 2 charged currents
Above OPEs are reproduced !!
)
λ = 2
gauge sector
sl(M)
43
44
and examine the asymptotic symmetry
An answer (my talk)
45
46
super symmetric models
𝒪 = 1
so(2N + 1 + M)k ⊕ so((2N + 1)M)1 so(2N + 1)k+M sp(2N + 2m)k ⊕ so(4Nm)1 sp(2N)k+m
shsso(M)[λ] shssp(2m)[λ]
Matrix type
with proper t’ Hooft parameters