localization in supersymmetric quantum field theories
TRANSCRIPT
![Page 1: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/1.jpg)
Localization in Supersymmetric
Quantum Field TheoriesMartí Rosselló
![Page 2: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/2.jpg)
References• M. F. Atiyah and R. Bott: The Moment Map and Equivariant
Cohomology, Topology 23 (1984), 1. • V. W. Guillemin and S. Sternberg, Supersymmetry and equivariant
de Rham theory. Mathematics Past and Present. Springer-Verlag, Berlin, 1999.
• D. McDuff, D. Salamon, Introduction to symplectic topology. Oxford Mathematical Monographs, 1999.
• M. Mariño, Lectures on localization and matrix models in supersymmetric Chern-Simons-matter theories, arXiv:1104.0783.
• Vasily Pestun, Localization of gauge theory on a four-sphere and supersymmetric Wilson loops, Commun.Math.Phys. 313 (2012) 71-129 arXiv:0712.2824.
• V. Pestun, M. Zabzine et al. Localization techniques in quantum field theories, J.Phys. A50 (2017) no.44, 440301 arXiv:1608.02952.
• R. J. Szabo, Equivariant localization of path integrals, arXiv:hep-th/9608068.
![Page 3: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/3.jpg)
Outline
1. Introduction
2. Equivariant cohomology and localization
3. Supersymmetry and QFT
4. Supersymmetric localization
![Page 4: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/4.jpg)
1. Introduction
![Page 5: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/5.jpg)
IntroductionMain object of study in physics
Infinite dimensional
Usually computed perturbatively
How to obtain exact results?
![Page 6: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/6.jpg)
IntroductionThe integration over manifolds with a group action can display
We’ll see that this is a phenomenon which appears when studying the equivariant cohomology of a manifold with a group action
Localization
For (some) supersymmetric quantum field theories
Supersymmetric Localization
I.e., the value of an integral is given by a modified integral on a subset.
![Page 7: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/7.jpg)
Historical introductionFirst localization result: Duistermaat-Heckman (1982)
Stationary-phase approximation is exact
(Conditions: global Hamiltonian torus action over symplectic manifold)
![Page 8: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/8.jpg)
Historical introduction
Atiyah-Bott (1982) showed that it was a particular case of more general localization property of equivariant cohomology.
Berline-Vergne (1982) used it to derive an integration formula for Killing vectors in compact Riemannian manifolds.
Several generalizations to infinite dimensions for particular cases (Atiyah, Witten, Bismut , Picken…).
![Page 9: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/9.jpg)
2. Equivariant cohomology and localization
![Page 10: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/10.jpg)
Cohomology(de Rham)
Idea: On a smooth manifold, closed forms which are not exact
n-dim Manifold, Space of k-forms
Three operations: Three sets:
Cohomology ring Integration
(For the case of no boundary, we only care about the cohomology class)
![Page 11: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/11.jpg)
Topological definitioncompact Lie group acting on a smooth manifold by
The action is called free if
That is, if no element of G different from the identity leaves some point fixed.
If acts freely, is also a smooth manifold. Then, one can defineits equivariant cohomology as the usual cohomology:
When not free?Ex: with left multiplication
![Page 12: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/12.jpg)
Example
![Page 13: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/13.jpg)
Topological definition
Equivariant cohomology is the generalization of the usual cohomology
When the action is not free, can be pathological (not a manifold)
is the right substitute for
![Page 14: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/14.jpg)
Topological definitionRecall, two homotopical manifolds have the same cohomology. Hence, we want to find a homotopy equivalent space on which the group acts freely:Take such that
1. The space is contractible2. The group acts freely on
and define
![Page 15: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/15.jpg)
Topological definition
• exists and is called the universal bundle associated to
• The definition of the equivariant cohomology does not depend on the choice of
• The quotient is called the classifying space
Equivariant cohomology:
Example:
![Page 16: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/16.jpg)
Topological definitionEquivariant cohomology:
Example: acts freely on
by
Then, would be the classifying space if was contractible. However, we can take the limitand get
where
![Page 17: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/17.jpg)
Cartan modelOne can define
and the exterior equivariant derivative on it
There is an isomorphism
![Page 18: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/18.jpg)
Cartan model
Idea
is a twisted product so its cohomology has to be a twisted cohomology
![Page 19: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/19.jpg)
Localization via an example:
Consider:
Symplectic manifold
Hamiltonian map which generates a
Circle action
I.e.,
![Page 20: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/20.jpg)
Localization via an example:
Also,
Invariant k-forms
Equivariant k-forms
Equivariant exterior differential
In particular,
![Page 21: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/21.jpg)
Localization via an example:
Idea: integral only cares about the fixed points! (on the bottom component of the form )Also,
We have Stokes theorem forthe equivariant case
![Page 22: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/22.jpg)
Localization via an example:
Idea: For each fixed point there is a volume form such thatthe integral over the whole manifold is localizedaround the fixed point, at the point has bottom value theEuler class and is closed
Euler class = product of weights of the action
![Page 23: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/23.jpg)
Localization via an example:
Actually, this says that the form is the pushforward of at each fixed point:
and the pullback is
![Page 24: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/24.jpg)
Localization via an example:
![Page 25: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/25.jpg)
Localization via an example:
Idea of proof:
Consider the closed form
Define
Is equivariantly closed and the degree 0 term vanishes on fixed points. Then, byfirst Lemma, the integral of its degree 2n term is zero.Then,
so, since for one can show that the integral will vanish, one has
Only integrating the degree 2n term
![Page 26: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/26.jpg)
Localization via an example:
is
We have actually seen
We were working with the bundle
And we can understand the Planck constant as
![Page 27: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/27.jpg)
Example
![Page 28: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/28.jpg)
Localization
Which for the de Rham version gives
Theorem (Berline-Vergne, Atiyah-Bott) Let T be a torus acting on a manifold M , andlet F index the components of F of the fixed point set M
T of the action of T on M . Letφ ∈ H
•T (M). Then,
πM∗ φ =
!
F∈FπF∗
"ι∗Fφ
e(νF )
#
![Page 29: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/29.jpg)
3. Supersymmetry and QFT
![Page 30: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/30.jpg)
QFTMain ingredients:
Fields
Lagrangian
Action
Partition function
(spacetime) (target space)
![Page 31: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/31.jpg)
QFT
Expectation values of operators computed by
Partition function
![Page 32: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/32.jpg)
Supersymmetry
Supersymmetry operator
Supersymmetric QFT
Bosonic
![Page 33: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/33.jpg)
4. Supersymmetric localization
![Page 34: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/34.jpg)
Supersymmetric localization
Writing ,
Consider an action invariant under , , and a functional invariant under , .
The deformation of the action by a Q-exact term does not change the integral
For , the integral localizes to the critical set of , and for sufficiently nice , it is given by a 1-loop superdeterminant.
up to b.c.
*
* This notation is related to
![Page 35: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/35.jpg)
Supersymmetric localization
Of course, even in this cases, the integral
can diverge. Then, a way to solve this problem is to consider to bea compact manifold.
PROBLEM: we had
now we need
Need to work with Supersymmetry in curved manifolds
![Page 36: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/36.jpg)
Supersymmetric localizationWe have the following analogy
![Page 37: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/37.jpg)
Poincaré-Hopf theorem’s field theoretical version
Riemannian manifold of even dimensionMetric , a vector field on .
Supercoordinates on the tangent bundle
Related by supersymmetry:
Grassmannian
Toy model
![Page 38: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/38.jpg)
Poincaré-Hopf theorem’s field theoretical version
Construct ‘action’:
So we have the following partition function:
Toy model
![Page 39: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/39.jpg)
Use Riemannian geometry technology to get
It is independent of t because
We can evaluate at
Toy modelPoincaré-Hopf theorem’s field theoretical version
![Page 40: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/40.jpg)
We can also evaluate
Assuming isolated zeroes, expanding around each saddle point andrescaling the variables, we get
Toy model
where
So,
Poincaré-Hopf theorem
Poincaré-Hopf theorem’s field theoretical version
![Page 41: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/41.jpg)
Pestun’s localizationAction of N=4 SuperYangMills on a 4-sphere
Want to compute the expectation value of a Wilson loop
(supersymmetric and circular)θ = π/2
S4
![Page 42: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/42.jpg)
Pestun’s localizationGet the localization locus
Perform computations (involve gauge fixing, index theorems, instanton corrections, etc.)
![Page 43: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/43.jpg)
Pestun’s localizationResult
Proves the conjecture that the expectation value of the Wilson loop operator in N=4 SU(N) is given by a Gaussian matrix model
Exact result highly non-trivial Allows for checks in the AdS/CFT correspondence
![Page 44: Localization in Supersymmetric Quantum Field Theories](https://reader033.vdocument.in/reader033/viewer/2022042516/6261a3aaa523fd76d9086cc7/html5/thumbnails/44.jpg)
SuperObrigado