Generating formulation for HS gauge...
Transcript of Generating formulation for HS gauge...
![Page 1: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/1.jpg)
Kostya Alkalaev
Tamm Theory Department, Lebedev Physical Institute, Moscow
Vienna, April 2012
Generating formulation for HS gauge fields
(Howe duality, BRST, and many faces of HS dynamics)
Alkalaev & Grigoriev 1105.6111, 0910.2690
![Page 2: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/2.jpg)
PlanReview part:
● AdS spacetime symmetry algebra and its «particle» representations
● Various field-theoretical realizations
Generating formulation:
● Algebraic tools: auxiliary variables & Howe duality (standard and twisted)
● Ambient space formulation: fields, BRST operator, and constraints
● Physical interpretation: Casimir operator, spins and masses
● Generating formulation: fields, BRST operator, and constraints
● Example: Maxwell theory
● Cohomological analysis: a relation to the unfolded formulation
![Page 3: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/3.jpg)
AdS spacetime symmetry algebra and its «particle» representations
(non)-unitary elementary particles ≡ highest weight irreps
![Page 4: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/4.jpg)
Anti-de Sitter spacetime AdS:
Maximal compact subalgebra
Creation and annihilation operators forming act on the vacuum space which is an irrep of the maximal compact subalgebra.
energyspins
Spins
Energy
sym d = 2,3,4 mix d ≥ 5
Unitarity region:
Finite-dimensional irreps:
● All traces = 0 ● Young symmetry
o(d-2) Young diagram
singular vectors
Metsaev ('95)
Non-unitary region: non-unitary massless, non-unitary partially-massless
![Page 5: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/5.jpg)
Brink-Metsaev-Vasiliev (BMV) decomposition for unitary massless fields
Massless Minkowski field Massless anti-de Sitter field
Λ = 0 : massless AdS field = a number of flat massless fieldsΛ = 0 : massless AdS field = a number of flat massless fields
cosmological constant
«Hook» field :
Boulanger Iazeolla Sundell ('08) Alkalaev Grigoriev ('09)
AdS hook flat hook flat gravitonΛ = 0
![Page 6: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/6.jpg)
Field-theoretical realizations
![Page 7: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/7.jpg)
Metric - like formulation for HS fields:
Minkowski fields
AdS fields massless n=1,...,q
AdS fieldspartially-massless n=1,...,q
Fronsdal ('78), Labastida ('88), Sagnotti Francia ('02)
Deser, Nepomechie (84), Deser Waldron ('01) Skvortsov ('09)
Fronsdal ('79), Metsaev ('95)
depth t
«hook» field: (2,1)
● Young symmetry● Trace conditions
unitary theory non-unitary theory
![Page 8: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/8.jpg)
Cohomological reduction/resolution
light-cone fields
metric-like fields
unfolded fields
parent fields
Kato Ogawa ('83) Aisaka Kazawa ('04)
Vasiliev (yyyy ≥ '80)Alkalaev Shaynkman Vasiliev ('03)
Skvortsov ('08 '09)Boulanger Iazeolla Sundell ('08)
Barnich Grigoriev Semikhatov Tipunin('04)
quartets
σ-minus
Q-operator
![Page 9: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/9.jpg)
Algebraic tools: auxiliary variables & Howe duality
![Page 10: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/10.jpg)
Auxiliary variables
Two types of indices
running and
Polynomials
Expansion coefficients are covariant tensors
![Page 11: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/11.jpg)
Howe dual pair o(d-1,2) - sp(2n)
Orthogonal algebra o(d-1,2) rotations
Symplectic algebra sp(2n)
Trace creation Trace annihilationYoung symmetrizer
Note that the algebras commute to each other
![Page 12: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/12.jpg)
Finite-dimensional irrep of o(d-1,2) algebra
Highest weight conditions of sp(2n) algebraspin weights
zeroth traces Young symmetry
![Page 13: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/13.jpg)
Two types of constraints: from sp(2n) to sp(2n-2)
Take a distinguished direction along so that from now on we consider
variables and separately.
Then we identify stability subalgebra preserving the direction:
Introduce new notation:
These form gl(n-1) subalgebra. There are also
These complete the above set of elements to sp(2n-2) algebra.
There are two different realizations of sp(2n) generators involving
and/or
![Page 14: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/14.jpg)
Realization on the space of polynomials in with coefficients in functions
on . In this case
and
where are Cartesian coordinates in .
Generators that involve and/or are denoted by
This is the standard realization.
![Page 15: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/15.jpg)
There exists a realization on the space of polynomilas in with coefficients in
formal power series in variables such that
where is some o(d-1,2) vector compensator
Respective sp(2n) generators are realized by inhomogeneous differential operators. In this case:
This is the twisted realization. It is inequivalent to the standard one (V=0) because in such a change Y' = Y+V is ill-defined in the space of formal power series.
![Page 16: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/16.jpg)
Ambient space formulationFronsdal ('79), Metsaev ('95)
![Page 17: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/17.jpg)
ambient spacehyperboloid
Ambient space functions
Functions on the ambient space
spacetime coordinates
target space variables (standard auxiliary variables )
To describe fields on the hyperboloid some constraints and gauge equivalence are required. They are given by certain sp(2n) generators or their higher powers.
![Page 18: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/18.jpg)
Constraints and gauge symmetries
● General off-shell constraints
● The radial dependence is fixed by
In proper coordiinates the condition is solved by
● The equations of motion wave equation
Lorentz gauge
trace
Young sym spins
● Tangent constraints
● Extra (polynomial) constraints depth
![Page 19: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/19.jpg)
Gauge symmetry:
no Young symmetry for gauge parameters
Let us fix integer number . and ntroduce gauge parameters
A gauge parameter version of the above constraints reads
A gauge equivalence is defined by
or
The consistency of this gauge transformation law is guaranteed by sp(2n) algebra.
![Page 20: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/20.jpg)
where are ghosts, .
where is BRST operator, .
Functions on the ambient space are extended by Grassmann odd variables
BRST extended constraints:
where
Physical fields are ghost-number-zero elements
Gauge parameters are ghost-number-one elements
Now, the gauge symmetry is given by no ghost cubic terms
![Page 21: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/21.jpg)
Comments:
● Consistency of the constraints and gauge equivalence requires
-- massless and partially-massless fields.
● Relaxing polynomial constraint makes arbitrary
– massive fields. In this case the gauge symmetry can be shown to be purely algebraic so that there are no gauge fields at all.
● Equations of motion + off-shell constraints + gauge equivalence form an algebra generated by sp(2n) elements. In the massless unitary case this algebra is a parabolic subalgebra of sp(2n).
![Page 22: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/22.jpg)
Physical interpretation of parameters
● Spins ● Radial weight , integer parameter , depth
To see which representation we are dealing with let represents an equivalence class of field configurations modulo the gauge equivalence relation generated by the introduced earlier BRST operator, i.e.
with
To this end we explicitly evaluate the value of the quadratic Casimir operator
where
![Page 23: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/23.jpg)
A direct calculation shows
Last term: summands with vanish because of the constraints.
The remaining summands can be rewritten as
It is easy to see that the gauge parameter satisfies all the necessary constraints provided does. So the value of the second Casimir operator in the - cohomology at zeroth degree is given by
The standard expression gives
we find Fronsdal ('79), Metsaev ('95), Deser Waldron ('01), Skvortsov ('09)
![Page 24: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/24.jpg)
Generating BRST formulation
![Page 25: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/25.jpg)
Space of functions
Functions on the hyperboloid
● intrinsic AdS coordinates
● target space variables (twisted Howe realization)
● target space ghosts,
● spacetimes ghosts,
![Page 26: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/26.jpg)
Covariant background derivative
BRST operator
AdS background connection satisfies zero-curvature condition
Here . Basis differential forms are replaced with extra
Grassmann odd ghost variables because is
interpreted as a part of BRST operator.
De Rham differential
![Page 27: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/27.jpg)
Operator and off-shell constraints
BRST operator
Off-shell constraints along with form some algebra
1) Massless and massive fields: constraints are linear in sp(2n) generators
2) Partially-massless fields: some of constraints are polynomial in sp(2n) generators. The respective polynomial order is proportional to the depth of partial masslessness.
important remark:
Anti-de Sitter algebra acts in the cohomology:
![Page 28: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/28.jpg)
Total BRST operator: the generating formulaltion
BRST operator
Plus appropriate off-shell (BRST extended) constraints.
BRST operator is a sum of the term associated to the spacetime isometry algebra and the term associated to the Howe dual symplectic algebra
Part of algebraic constraints can be consistently relaxed = infinitely reducible string-like system
![Page 29: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/29.jpg)
Field content and equations of motionGhost-number-zero field:
where
Ghost-number-one gauge parameters
where
(Fields and gauge parameters are identified as differential forms!)
Equations and symmetries for are
In components
![Page 30: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/30.jpg)
Algebraic constraints
and
and
Here we recall that
and
For special values one additionaly imposes
![Page 31: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/31.jpg)
Generating theory on Minkowski spaceFunctions on Minkowski space
● - Cartesian coordinates
● - auxiliary variables,
● - target space ghosts,
● - spacetime ghosts
BRST operator
where
covariant derivative in Cartseian coordiantes
p = n-1
![Page 32: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/32.jpg)
Field content and equations of motionGhost-number-zero field:
where
Ghost-number-one gauge parameters
where
Equations and symmetries for are
In components
Algebraic constraints
![Page 33: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/33.jpg)
Dinamically equivalent theories
![Page 34: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/34.jpg)
Homological reduction
Additional grading
Definition:
String theory: light cone DoF, quartets
Unfolded formulation: BRST operator
dynamical
Stueckelberg
Generating formulation: BRST operator
![Page 35: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/35.jpg)
![Page 36: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/36.jpg)
THEOREM: The cohomology evaluated in the subspace singled out by off-shell constraints is non-empty only for
● infinite-dimensional AdS Weyl module (0-form gauge invariant combinations of potentials)
● finite-dimensional AdS gauge module (p-form gauge potentials). For massive fields it is zero.
remark:The form of AdS Weyl module for unitary massless mixed-symmetry confirms the Brink-Metsaev-Vasiliev decomposition
General (non-unitary) case:
Poincare Weyl modules
some elements
Boulanger Iazeolla Sundell ('08) Alkalaev Grigoriev ('09) Skvortsov ('09)
![Page 37: Generating formulation for HS gauge fieldsquark.itp.tuwien.ac.at/~grumil/ESI2012/slides/Alkalaev... · 2012-04-20 · Kostya Alkalaev Tamm Theory Department, Lebedev Physical Institute,](https://reader034.fdocuments.net/reader034/viewer/2022042316/5f04849a7e708231d40e5da6/html5/thumbnails/37.jpg)
Conclusions
● Uniform and concise description of AdS fields: massless, partially-massless, and massive
● Using Howe duality makes the constraint structure of the theory manifest:
AdS algebra o(d-1,2) – symplectic algebra sp(2n)
● Cohomological reductions and resolutions. In particular, the unfolded fields appear as the cohomology of the nilpotent operator built from some sp(2n) generator.
● Off-shell formulations (non-dynamical) of non-linear HS theories. Vasiliev ('05), Grigoriev ('06)
● Our main believe: the approach is important for understanding the searched-for geometry underlying HS interactions.
● The study of cubic HS vertices within the ambient approach. Joung Lopez and Taronna ('12)