Applications of Holographic Duality: Black Hole Metals and Supergravity Superconductors
by
Oscar Karl Johannes Henriksson
B.S., Uppsala University, 2011
M.S., University of Colorado Boulder, 2013
A thesis submitted to the
Faculty of the Graduate School of the
University of Colorado in partial fulfillment
of the requirements for the degree of
Doctor of Philosophy
Department of Physics
2017 This thesis entitled: Applications of Holographic Duality: Black Hole Metals and Supergravity Superconductors written by Oscar Karl Johannes Henriksson has been approved for the Department of Physics
Prof. Oliver DeWolfe
Prof. Senarath de Alwis
Prof. Thomas DeGrand
Prof. Andrew Hamilton
Prof. Paul Romatschke
Date
The final copy of this thesis has been examined by the signatories, and we find that both the content and the form meet acceptable presentation standards of scholarly work in the above mentioned discipline. iii
Henriksson, Oscar Karl Johannes (Ph.D., Physics)
Applications of Holographic Duality: Black Hole Metals and Supergravity Superconductors
Thesis directed by Prof. Oliver DeWolfe
We apply holographic duality to the study of strongly interacting quantum matter. The cor- respondence between the four-dimensional = 8 gauged supergravity and the three-dimensional N superconformal ABJM quantum field theory allows us to study the latter theory by performing computations in the former. Asymptotically anti-de Sitter spacetimes satisfying the classical su- pergravity equations of motion are interpreted as states of strongly interacting ABJM theory. If such a spacetime sources an electric field, the dual state is at non-zero charge density.
Interesting observables of such states include spectral functions of fermionic operators — we compute these by solving Dirac equations in a variety of spacetimes. In a family of extremal charged black holes, we find Fermi surface singularities with non-Fermi liquid characteristics. In a special
“three-charge” black hole, an interval appears in the spectral functions within which the fermionic excitations are perfectly stable. We then study three different domain wall spacetimes dual to zero-temperature states with a broken U(1) symmetry. In these “holographic superconductors”, we find features similar to conventional superconductors such as the development of a gap in the fermionic spectra.
Finally, we investigate the question of how bosonic properties, for example susceptibilities, are affected by fermionic properties, such as Fermi surface singularities, in holographic states of matter. We do this by computing the static charge susceptibility in the three-charge black hole state. Our results reveal singularities at complex momenta, with a real part approximately equal to the largest Fermi momentum in the state. Dedication
To my parents, Ingvar and Marita Henriksson, with gratitude. v
Acknowledgements
During my years in Boulder it has been a true pleasure to work with my advisor Oliver
DeWolfe. I have benefited from his great knowledge in physics, his clear explanations and his kindness from the first class I took from him and throughout the writing of this dissertation.
In similar ways, Christopher Rosen has been a fantastic collaborator and a source of help and motivation for most of the work herein. I have also gained much from fruitful collaborations with Steven Gubser, Paul Romatschke and Chaolun Wu. Various other physicists at CU Boulder, including Shanta de Alwis, Andrea Carosso, Anqi Cheng, Tom DeGrand, Dan Hackett, Anna
Hasenfratz, Takaaki Ishii, Will Jay, Ethan Neil and Greg Petropoulos, taught me a great deal about physics, as well as other topics, during lectures, office chats and 10:30 coffee breaks.
I was lucky to share the wonderful and strange experience of graduate school with a strangely wonderful group of fellow students. I hope to enjoy conversations and adventures with Andrew and
Helen, Jack, Nico and Dani, Paige, Scott, Tyler, and many others, for many years to come.
During my time in the U.S., the friendships of (and constant stream of messages from) my friends from the Aland˚ Islands — Christoffer, Fredrik, Jonas, Jonathan and Kim — have made the long distance home feel a lot shorter.
My girlfriend Marion Boulet has been a wonderful, beautiful and reliable source of support, laughter and tasty cookies throughout our time together — she truly has a Heart of Gold.
Finally, this dissertation is dedicated to my parents for the unrelenting support and encour- agement they have provided throughout my life, making all of this possible. Contents
Chapter
1 Introduction and Overview 1
1.1 A Brief Tour of String Theory...... 2
1.2 An Introduction to AdS/CFT...... 5
1.2.1 The Dictionary...... 8
1.3 Applications of AdS/CFT...... 9
1.3.1 Condensed Matter Physics and AdS/CFT...... 10
1.4 Summary of Dissertation...... 13
1.4.1 Top-down Non-Fermi Liquids and a Special Black Hole...... 13
1.4.2 Fermions in Supergravity Superconductors...... 14
1.4.3 Correlations between Correlators: Charge Oscillations and Fermi Surfaces.. 16
2 The Two Theories 18
2.1 4D = 8 Gauged Supergravity...... 18 N 2.1.1 Bosonic Sector...... 19
2.1.2 Quadratic Fermion Action...... 23
2.2 The M2-brane ABJM Theory...... 26
2.2.1 A Simplified Description...... 27
3 Fermi Surface Behavior in the ABJM M2-brane Theory 29
3.1 Introduction and Summary...... 29 vii
3.1.1 Holographic Realizations of Non-Fermi Liquids...... 29
3.1.2 Fermionic Response in the M2-brane Theory...... 32
3.2 Black Branes and Dirac Equations in Maximal Gauged Supergravity...... 35
3.2.1 Black Brane Solutions...... 35
3.2.2 Linearized Dirac Equations...... 38
3.3 Fermionic Green’s Functions...... 41
3.3.1 Solving the Dirac Equation...... 41
3.3.2 Quantization of Fermi Fields and Green’s Functions...... 43
3.4 Regular Black Holes and Non-Fermi Liquids...... 48
3.4.1 Regular Black Holes and Non-Fermi Liquids...... 50
3.4.2 The 3+1-Charge Black Hole...... 53
3.4.3 The 2+2-Charge Black Hole...... 62
3.5 The Extremal Three-Charge Black Hole and the Gap...... 69
3.5.1 Near Horizon Analysis of the 3QBH...... 70
3.5.2 Connection with Extremal (3+1)-Charge Black Holes...... 72
3.5.3 Fermion Fluctuations and Fermi Surfaces...... 75
3.6 RG Flow Backgrounds: 2QBH and 1QBH...... 78
3.6.1 The 1-Charge Black Hole...... 80
3.6.2 The 2-Charge Black Hole...... 82
4 Fermionic Response in Finite-Density ABJM Theory with Broken Symmetry 86
4.1 Introduction...... 86
4.2 The Bosonic Background Geometries...... 89
4.2.1 The SO(3) SO(3) truncation...... 89 × 4.2.2 The Domain Wall Backgrounds...... 90
4.2.3 Holographic Interpretation...... 95
4.2.4 Conductivities...... 100 viii
4.3 Fermion Response in the Domain Wall Solutions...... 102
4.3.1 Coupled Dirac equations and holographic operator map...... 102
4.3.2 Solving the Dirac equations and spinor Green’s functions...... 106
4.3.3 Fermion Normal Modes...... 110
4.3.4 Spectral Functions...... 113
4.3.5 Modifying Couplings...... 118
4.4 Discussion...... 122
5 Gapped Fermions in Top-down Holographic Superconductors 126
5.1 Overview...... 126
5.2 The SU(4)− Flow...... 129
5.2.1 The SU(4)− Truncation...... 129
5.2.2 SU(4)−-invariant Domain Wall Solutions...... 130
5.2.3 The Fermionic Sector...... 132
5.2.4 Fermion Response...... 135
5.2.5 Field Theory Operator Matching...... 141
5.3 The H = SO(3) SO(3) Flows...... 142 × 5.3.1 The Fermionic Sector...... 143
5.3.2 Fermion Response...... 147
5.3.3 Field Theory Operator Matching...... 151
5.4 Lessons for Strongly Coupled Systems...... 152
5.4.1 Top-down vs. Bottom-up Fermion Response...... 152
5.4.2 Extremal AdSRN and Effects of Broken Symmetry...... 153
5.4.3 Stability in Supergravity and Zero Temperature Response...... 157
6 “1kF ” Singularities and Finite Density ABJM Theory at Strong Coupling 160
6.1 Overview...... 160
6.2 The Three-Charge Black Hole...... 166 ix
6.2.1 Thermodynamics and Field Theory Interpretation...... 167
6.3 Fluctuations and Linear Response...... 171
6.3.1 Fermion Spectral Functions...... 171
6.3.2 The Holographic Static Susceptibility Setup...... 173
6.4 Results...... 177
6.5 Discussion...... 180
6.5.1 Singularities and Scaling Exponents...... 180
6.5.2 Commentary...... 184
7 Concluding Comments 189
Bibliography 191
Appendix
A Lifting the Three-Charge Black Hole to Five Dimensions 199
B Further Notes on the Static Susceptibility Computation 202
B.1 Finite Counterterms and the Alternate Quantization...... 202
B.2 Boundary Conditions and Numerical Methods...... 204 x
Tables
Table
2.1 4D supergravity modes and their dual ABJM operators...... 27
3.1 The 16 independent fermion eigenvectors that do not mix with the gravitini..... 40
3.2 A summary of the results for fermion modes in the 3QBH...... 78 Figures
Figure
1.1 A cartoon showing dispersion relations of stable fermionic modes in purple, all ex-
isting within stable regions whose edges are shown in blue. As the stable modes hit
the blue edge, they acquire a finite lifetime. Three different geometries are shown:
The regular black holes (left), where the only stable modes are right at the chemical
potential; the 3QBH (right), where a stable momentum-independent interval opens
up; and a superconducting domain wall (middle), where the stable region lies outside
the emergent lightcone...... 15
3.1 A cartoon of the parameter space of black holes we consider...... 49
3.2 Class 1 fermions for the (3+1)QBH. Fermi surface singularities are shown as blue
dots, while zeroes are marked by empty circles. The green hatched region is the
“oscillatory region” characteristic of an infrared instability towards pair production
in the bulk. The solid blue contours bound the region of Fermi surfaces with non-
Fermi liquid-like excitations...... 55
3.3 Class 2 fermions for the (3+1)QBH. These modes are unique in that they exhibit
multiple Fermi surfaces for small µR...... 57
3.4 Class 3 fermions for the (3+1)QBH. The poles end at the oscillatory region just
before µR = 1...... 59
3.5 Class 4 fermions for the (3+1)QBH. For the net-neutral modes, there is a novel
transition at the 4QBH state from Fermi surface singularities to zeroes...... 59 xii
3.6 Class 5 fermions for the (3+1)QBH. Unlike their net-charged brethren, there exists
no oscillatory region for the net neutral modes, but a single “oscillatory point” at
the pole/zero transition...... 61
3.7 Poles and zeros of the retarded Green’s function for the class I fermion from 0 <
µ˜R < 1 (left) and for the class II fermion from 1 < µ˜R < 0 (right). Viewed together
the two plots depict the entire range 0 < µ˜R < for class I or > µ˜R > 0 for class ∞ ∞ II...... 64
3.8 Poles and zeros of the retarded Green’s function for the class III fermion from 0 <
µ˜R < 1 (left) and for the class IV fermion from 1 < µ˜R < 0 (right), or the entire
range 0 < µ˜R < for class III or > µ˜R > 0 for class IV...... 65 ∞ ∞ 3.9 Poles and zeros of the retarded Green’s function for the class V fermion from 0 <
µ˜R < 1 (left) and for the class VI fermion from 1 < µ˜R < 0 (right), or the entire
range 0 < µ˜R < for class V or > µ˜R > 0 for class VI...... 66 ∞ ∞ 3.10 Class 1 fermions for the 3QBH. There is both a line of poles throughout the stable
region ∆ < ω < ∆, and a pair of poles nucleating very close to ω = ∆ before − ending on the oscillatory region (green)...... 74
3.11 Class 2 fermions for the 3QBH. Here there is a line of poles only...... 76
3.12 Class 3 fermions for the 3QBH. No line of poles through ω = 0 exists, but a pair of
poles nucleate near ω = ∆ and end on the oscillatory region...... 76
3.13 Class 4 fermions for the 3QBH, with a line of poles only...... 77
3.14 Class 5 fermions for the 3QBH, with a pair of poles nucleating near ω = ∆..... 79 −
3.15 Class II fermions for the (2+2)QBH, with k normalized relative to µ2 instead ofµ ˜2.
The Fermi surfaces all lie at kF µ2/√8...... 84 ≈ xiii
4.1 The Massive Boson background. The dashed lines in the plot of G/r2 are at 14/3 and
2, indicating the values obtained in the IR and UV AdS4 fixed points respectively.
The ratio of the speed of light in the UV CFT compared to that of the IR theory is
λ1/2 n = 26.900, and the non-vanishing scalar fall-off is 2 0.0308...... 94 ΨUV ≈ 4.2 The Massive Fermion background. The dashed lines in the plot of G/r2 are at 14/3
and 2, indicating the values obtained in the IR and UV AdS4 fixed points respectively.
This geometry is characterized by n = 1.861 and λ1 1.227...... 94 ΨUV ≈ 4.3 In units where the UV light cone is 45o (dotted black), we compare the Massive
Boson (solid blue) and Massive Fermion (dashed red) IR light cones...... 96
4.4 The real (left) and imaginary (right) AC conductivity in Massive Boson (darker) and
Massive Fermion (lighter) backgrounds. The imaginary part of the conductivity has
been multiplied by ω to highlight the 1/ω pole at low energies giving rise to the delta
function in Re σ...... 101
4.5 The band structure of fermion normal modes in the Massive Boson background.
The shaded blue triangle is the stable wedge where it is possible for normal modes
to appear, and the solid blue curves are the locations of fermion normal modes of
the bulk theory, as determined by solving (4.61). The intersection of the dashed
line with one band indicates the presence of a gapless mode. This band appears
to terminate where it reaches the top boundary of the shaded region, but follows it
closely along the bottom edge as far as our numerics allow us to compute...... 112
4.6 The band structure of fermion normal modes in the Massive Fermion background,
determined by solving (4.61). Again, there is a gapless mode at finite momentum.
At higher momentum the gapped band approaches the ungapped band, but appears
to meet the IR lightcone before the two bands coincide. As in the Massive Boson
background, the ungapped band traces the bottom edge of the stable region as far
as our numerics can reliably follow it...... 112 xiv
4.7 Plots of G†G for the Massive Boson background. Within the wedge marked by red
edges, all excitations are stable...... 115
4.8 Plots of G†G for the Massive Fermion background. Within the wedge marked by red
edges, all excitations are stable...... 116
2 4.9 The squared amplitude cI of each ABJM operator participating in the “Fermi | | surface” zero-energy mode in the AdS-RN background with no scalar (left), and the
Massive Boson (middle) and Massive Fermion (right) backgrounds. The normalized
Fermi momentum kF vUV/µ in the three cases are 0.53 (AdS-RN), 0.58 (MB), and
0.48 (MF). Note that in all cases the contributions from χ and χ are insignificant.118 O 2 O 0 4.10 Plots of the modulus squared of the Green’s function for massless probe fermions of
various charges...... 119
4.11 Normal mode structure in the Massive Boson background with the off-diagonal cou-
plings turned off (left), compared to the full top-down result of figure 4.5 (right).
With the off-diagonal couplings turned off there are three bands, associated to χ2
(orange),χ ¯2 (yellow), andχ ¯0 (red), intersecting in three places. Turning on the
couplings between the different fermions induces repulsion between the bands, as
described in the text...... 121
5.1 The AdS4 to PW flow. The flow is characterized by an index of refraction n 3.78 ≈ 2 and a scalar vev proportional to ξ2/φ 0.33...... 133 UV ≈ 5.2 Spectral function for fermionic operators in the 20. The red lines mark the IR
lightcone, while the blue lines show the lightcone of the UV theory. The right figure
shows a close-up around the origin for ω < 0. Superimposed on the right figure
are black dashed lines, showing the lines of maxima of the spectral weight; black
dots, marking the point of closest approach to the ω = 0 axis (k?); and white dots,
showing the location of the Fermi surface singularities in the normal phase (kF ).
These special points will be discussed in more detail in section 5.4...... 139 xv
5.3 Spectral function for fermionic operators in the 20 as a function of frequency at
various momenta. At left, k = 0 and the dashed purple line shows the maximally
symmetric AdS4 result as given by (5.30). The inset details the falloff at low frequen-
cies, which asymptotes to a power law with exponent 2∆IR 3 = √3/2 as shown by − the pink line. At non-zero momenta (right), the spectral function develops a hard
gap. For momenta in the vicinity of k k? there is a narrow quasiparticle-like peak ≈ just below the gap, as well as a more diffuse hump at larger ω/µ as dictated by the | | UV conformal theory...... 140
5.4 An illustration of the level repulsion induced by the chiral Majorana coupling in the
(ω, k)-plane. Left: Without a Majorana coupling, (one of the two spinor components
α of) a fermion operator will generically display lines of normal modes (purple)
crossing the dashed ω = 0 line, leading to a Fermi surface singularity. Center:
Looking at the conjugate fermion, and switching to the other spinor component,
gives an identical normal mode line flipped across ω = 0. Right: Turning on the
chiral Majorana coupling mixes these two energy bands, causing them to repel.... 146
5.5 The band structure of fermion normal modes in the Massive Boson (type 1) back-
ground. The normal mode is shown in purple. The inset zooms in on the beginning of
this band, emphasizing that it very nearly coincides with the edge of the IR lightcone.149
5.6 The spectrum in the Massive Boson background. The red and blue lines mark the IR
and UV lightcones, respectively, and the white lines show the location of the line of
normal modes, corresponding to a line of delta function peaks in the spectral weight.
The white dots at ω = 0 show the Fermi momentum in the normal phase...... 149
5.7 The spectrum in the Massive Fermion background. The red and blue lines mark the
IR and UV lightcones, respectively; for spacelike IR momenta the spectral weight is
zero everywhere. The white dots at ω = 0 show the Fermi momentum in the normal
phase...... 150 xvi
5.8 Illustration of gapped fermionic excitations in BCS theory and holography. In the
left panel, the BCS dispersion relation in the superconducting (normal) phase is
plotted in blue (dashed black). The parameters are arbitrarily chosen such that
vF = kF = 1 and ∆ = 2. In the holographic fermion spectral function (cartoon, | | right), the boundaries of the IR lightcone determines the stability of the fermionic
excitations, but the gapping is qualitatively similar...... 155
6.1 The spectral function A(ω, k) computed from “Class 2” fermions in the 3QBH back-
ground. The solid lines indicated delta function peaks in the spectral weight. This
weight broadens in the shaded bands, and has been omitted from the plot for clarity. 174
6.2 The low temperature static susceptibility along the real kˆ k/µ axis (right) and in ≡ the complex kˆ–plane (left). The susceptibilities pictured are computed at a temper-
ature Tˆ = 10−5. In the rightmost plot, a point at kˆ = 0 shows the location of the
uniform static susceptibility computed from the background, in excellent agreement
with the fluctuation analysis...... 178
6.3 The location of the branch points with Re kˆ = 0 as a function of temperature.... 179 6 6.4 The linearized charge density response due to the introduction of a charged impurity
at low temperature , Tˆ = 10−5 (left). No oscillations are easily discernible at large
distances. To observe the effects of the branch points with Re kˆ? = 0, it is helpful 6 to remove the exponential damping from the branch point along the imaginary axis
(right)...... 180
0 − 6.5 The analytic structure of ν|| (left) and ν|| (right) in the complex momentum plane. The plots show the argument of the scaling exponent, which clearly reveals the
existence of two classes of branch points. Both of these classes are present in the
susceptibility. Numerically, they occur at kˆ? 0.87 i and kˆ? 0.75 1.15 i in ≈ ± ≈ ± ± excellent agreement with the numerically computed susceptibility...... 182 Chapter 1
Introduction and Overview
There can be no doubt that quantum field theory (QFT) captures fundamental properties of nature. This is powerfully demonstrated in the field of high energy physics, where the QFT known as the Standard Model has reigned supreme for around four decades, precisely predicting outcomes of uncountable experiments. High energy physicists, however, do not have a monopoly on this theoretical framework. At lower energies, QFT is employed in condensed matter physics and atomic physics, where the quanta of various fields successfully describe not only “fundamental” particles such as electrons, but also emergent quasiparticles and collective excitations. Phenomena ranging from normal metallic behavior to superconductivity to the quantum Hall effect can be explained by such low-energy effective field theories.
Despite the numerous stories of success, QFT still holds many mysteries; most of these are encountered at moderate or strong interactions, when the usual perturbative expansions fail. Of course, the issue of strongly interacting QFT (SIQFT) has been around for a while, and several points of attack have been established; perhaps foremost being numerical methods such as lattice
field theory. These have produced many impressive results and are a cornerstone of our current understanding of QFT. However, such methods also have limitations — notably, the fermion sign problem is a major obstacle to doing numerical computations at finite density. This is one problem that we will attempt to attack in this dissertation.
To make progress, we will employ a different tool that can be used to learn more about QFT, namely duality. A duality is a statement that two physical theories describe the same physics; 2 this requires the existence of some kind of dictionary that explains how different quantities in the two theories are related. In some cases, the two theories might be the same one at a different values of the interaction strength; the theory is then said to be self-dual. In other cases, such as the ones discussed in the following, the two theories can be vastly different. An important category for practical applications are strong/weak dualities — dualities where, as one of the theories is strongly interacting and thus difficult to compute in, its dual theory is weakly coupled and permits a controlled perturbative treatment.
In this dissertation, a specific duality will be employed which is both strong/weak and well- suited to our needs: the anti-de Sitter/conformal field theory correspondence, or AdS/CFT for short. This surprising duality establishes a dictionary between two naively very different physical systems: a specific conformal quantum field theory (CFT), and a string theory in an anti-de Sitter
(AdS) spacetime. In the rest of this chapter, we will provide a brief introduction to string theory and AdS/CFT, discuss its possible applications to strongly interacting quantum matter, and give an overview of the rest of the chapters in this dissertation.
1.1 A Brief Tour of String Theory
Like a number of other fascinating dualities, AdS/CFT traces its roots to string theory, and so this is where we begin. Famously, string theory started its life in the heads of theorists as a description of hadrons, with mesons being envisioned to be connected by the strings. It was eventually realized that string theory a) doesn’t do very well as a theory of hadrons, but b) does surprisingly well as a quantum theory of gravity. In particular, the spectrum of states naturally includes a massless spin-two particle which can couple to a stress tensor, hence earning the name graviton.
In the following years, much work was done developing string theory into an impressive framework of ideas. Along the line, the hope that string theory was in fact a theory of everything was born, since it seemed able to provide both a consistent quantum theory of gravity and a UV- completion of the Standard Model. As one might guess, this is a tall order; quantum gravity effects 3 are inherently hard to study experimentally, and hopes that the Standard Model (without other unwanted light fields) might be directly derived from string theory have been called into question by the discovery of string theory’s vast “landscape” of vacua. Regardless of these difficulties, however, string theory has already established its importance in another way: by providing a fruitful new perspectives on the study of QFTs. It is this form of “applied” string theory that this dissertation is concerned with.
First, however, let us go over some basic features of string theory – this will necessarily be a bit rushed. To first approximation, string theory is a quantum theory of one-dimensional ele- mentary strings. As such a string propagates through spacetime, it sweeps out a two-dimensional worldsheet. The theory is formulated in terms of a QFT living on this worldsheet, with a set of scalar fields representing the embedding of the string in spacetime.1 To compute physical observ- ables such as S-matrix elements, one sums over the different types of worldsheets that contribute to a certain process. This sum is a perturbative expansion in a dimensionless parameter gs, called the string coupling constant; the expansion is controlled only when gs is small. A complete, non-perturbative formulation of string theory is still unknown. However, the perturbative definition already has many fascinating consequences, some of which we now list:
Mathematical consistency requires the dimensionality of spacetime to be 26. As troubling • as this might seem from a phenomenological point of view, there are various methods of
getting the effective number of dimensions down to something more familiar, most notably
Kaluza-Klein compactifications.
A string can be either open or closed. For each possibility, one can readily compute the • resulting spectrum. Important (low-energy) modes in the closed string sector include the
promised graviton as well as a scalar known as the dilaton, while the open string sector
contains, for example, gauge bosons.
String theory contains no free dimensionless parameters. While it appear at first that gs • 1 In other words, a (non-)linear sigma model with spacetime as its target space. 4
would be one such parameter, it turns out to be fixed in terms of the expectation value of
the dilaton field.
To include fermions in the spectrum, the theory must be augmented with supersymmetry. • This changes the critical dimension of spacetime from 26 for the bosonic string to 10 for
the superstring.
There exist five different ways of setting up superstring perturbation theory. These are • called (for reasons we will not discuss) type I, type IIA, type IIB, Heterotic SO(32), and
Heterotic E8 E8. However, it has been realized that there exists a web of dualities × relating these different theories. Therefore, it is now believed that if a full, non-perturbative
definition of string theory is found, it will contain all of the perturbative superstring theories
as different limits.
From the duality web just mentioned, the existence of an 11-dimensional theory known as • M-theory can be inferred in a particular strong coupling limit.
The low-energy limit of string and M-theory gives rise to theories of gravity, obeying Ein- • stein’s equations plus calculable corrections. Incorporating supersymmetry, this results in
field theories of supergravity.
The most important realization for our purposes, however, is that string theory is not only a theory of strings. The theory naturally contains non-perturbative objects of varying dimensionality called branes. These are dynamical objects that can act as sources of fields such as the metric and various gauge fields. A brane that extends in p spatial dimensions is called a p-brane — the fundamental string is thus a type of 1-brane. Most famous among the other types of branes are
D-branes; these are objects that fundamental strings can end on (the “D” stands for Dirichlet, referring to the boundary conditions of strings that end on them). M-theory contains another important type called M-branes, which will be discussed in the next section.
We are now close to being able to introduce the AdS/CFT correspondence; it originates in 5 the existence of two quite different but complementary ways of describing the dynamics of branes in string theory. This is most easily seen for D-branes. On the one hand, from the point of view of the open string sector, D-branes appear in open string perturbation theory as surfaces where strings can end. One can show that the dynamics of these open strings, whose spectrum contains gauge bosons, gives rise to an effective worldvolume description, taking the shape of a (p + 1)- dimensional U(1) gauge theory. Now generalize to N D-branes. If these are spatially separated, each brane gives rise to its own U(1) gauge theory, plus a set of massive excitations corresponding to open strings connecting the branes. If the N D-branes become coincident, however, those massive excitations become massless, and the U(1)N symmetry is enhanced to U(N).
On the other hand, from the point of view of the closed string sector containing gravity, the stack of N D-branes will curve spacetime. In the low-energy supergravity limit, the stack of a large number of these D-branes is well described by a black brane, a generalization of the familiar black hole solutions of general relativity, being extended in p spatial dimensions.
These two points of view are useful in different regimes. For the open strings, the perturbative expansion is controlled by gsN (the string coupling times the number of branes); the expansion breaks down if gsN 1. But this is exactly when curvatures are small, ensuring the validity of the supergravity approximation in the closed string description. This complementarity is a cornerstone of the AdS/CFT correspondence, to which we now turn.
1.2 An Introduction to AdS/CFT
We will now add some detail to the discussion at the end of the previous section, and sketch how AdS/CFT follows from string/M-theory. A large part of the work on AdS/CFT has been concerned with the duality between = 4 Super-Yang-Mills (SYM) and type IIB string theory N 5 on AdS5 S , which originates in the dynamics of D3-branes. Here, on the other hand, we will × instead study the similar case of M2-branes, which are (2+1)D objects in (10+1)D M-theory. The resulting duality will be used throughout most of this dissertation.
The low-energy limit of M-theory is 11D supergravity. Besides the graviton and its super- 6 partner the gravitino, this theory also contains a three-form gauge field field. Such a field naturally couples to objects extended in two spatial dimension — these are known as M2-branes. Just like in the case of D-branes, a stack of N M2-branes houses a non-abelian gauge theory on its world- volume. And just like with D-branes, such a stack will curve the spacetime around it. Starting from the point of view of the worldvolume gauge theory, it is interesting to note that a complete formulation of this theory was unknown when AdS/CFT was first proposed in 1997 — its existence was in some sense a prediction of string theory [1]. A Lagrangian for this theory, which is also the low-energy limit of (2+1)D SYM, was suggested about 11 years later by Aharony, Bergman,
Jafferis and Maldacena [2], and the resulting theory is now known as ABJM theory. This is a
(2+1)D superconformal Chern-Simons-matter field theory with gauge group U(N) U(N). It will × be introduced in greater detail in section 2.2.
Now let us look at these branes in the supergravity limit; a large number N of them will significantly curve spacetime, giving rise to the metric
2 −2/3 µ ν 1/3 i i ds = H(r) ηµνdx dx + H(r) dx dx , (1.1) where ηµν is the Minkowski metric; Greek indices labeling the worldvolume of the M2-brane range from 0 to 2; latin indices labeling the other dimensions range from 4 to 9; and
2 6 32π Nlp H(r) = 1 + , r2 = xixi . (1.2) r4
Taking the near-horizon r 0 limit (while keeping dimensionful quantities in the worldvolume → gauge theory constant), this metric reduces to 2 2 1 2 2 ds = L ds + ds 7 , (1.3) 4 AdS4 S
2 2 7 where dsAdS4 and dsS7 are the metrics of (planar) AdS4 and S , respectively. The curvature length scale L in Planck units is given by L = (32π2N)1/6 , (1.4) lp which tells us that small curvature, and validity of the supergravity limit, requires N 1. We can further simplify: in this background the 11D supergravity admits a consistent truncation down to 7
7 2 4D = 8 gauged supergravity on AdS4 (this essentially gets rid of the S ). This theory will N be described in greater detail in section 2.1.
Maldacena [3] argued that at low energies both this near-horizon sector and the worldvolume theory should decouple from the rest of the spacetime. Thus, he conjectured that these two theories are in fact equivalent, describing the same physics. This is very surprising; for one thing, even if you discount the compact dimensions of the S7, the supergravity theory lives in a spacetime of one more dimension than the worldvolume theory! However, the evidence in favor of the conjecture is by now quite impressive. And it turns out that the extra holographic dimension in fact has a fairly natural interpretation as an energy scale of the dual QFT, with the UV (high energies) at the AdS boundary, and the IR (low energies) in the deep interior. For pure AdS space, there is an isometry that moves points along this dimension — this corresponds to the field theory being conformal, looking the same at all energies. Of course, in a CFT we can break conformality by turning on sources for various relevant operators. This corresponds to deforming the boundary conditions of
AdS, as we will see in more detail shortly.
Let us make some remarks on terminology: The AdS spacetime where the string/supergravity theory lives is often referred to as the bulk, while the worldvolume gauge theory is referred to as the boundary since it can roughly be viewed as living on the boundary of the AdS spacetime.
Furthermore, the term AdS/CFT is often used interchangeably with the terms gauge/gravity duality and holography. Strictly, the latter two should probably be thought of as more general
— gauge/gravity could refer to a duality between a gauge theory that is not a CFT and a gravity theory in a non-AdS spacetime, while the term holography could refer to any description of a
(gravitational) theory by another theory in a lower-dimensional spacetime.
2 “Consistent” here means that solutions to the 4D supergravity are guaranteed to be solutions to the full 11D supergravity as well. 8
1.2.1 The Dictionary
Having specified the two theories of our correspondence, we must now get quantitative — how can we relate results of supergravity computations to information about the gauge theory?
The most significant entry into the dictionary of AdS/CFT was formulated by Gubser, Klebanov and Polyakov [4], and by Witten [5]. This GKPW prescription tells us that we should identify the partition functions on both sides of the duality. Moreover, the source (x) of any particular J operator (x) in the CFT should be identified with the boundary conditions of a corresponding field O φ(x, r) in AdS space. Now, the partition function of string theory in a general curved background is not very well understood. But in the supergravity limit, which we will work in throughout this dissertation, it can safely be replaced by the exponential of the on-shell supergravity action, with the same boundary conditions imposed. Thus, the supergravity action acts as a generating function for correlation functions in the dual CFT:
R 4 d xJ (x)O(x) −SAdS[ φ(x,r→∞)=J (x)] e CFT = e (1.5) h i
Which supergravity fields source which gauge theory operators can often be determined from sym- metries; a scalar field sources a scalar operator, a gauge field sources a conserved current, the metric sources the boundary stress tensor, and so on.
To make this somewhat more concrete, let us consider a specific scalar field φ in the super- gravity, dual to a specific operator in the gauge theory. Solving the Klein-Gordon equation for O φ in AdS space, we find two independent solutions whose asymptotic behaviors are
φ±(x) φ(x, r)± + ... for r , (1.6) → r∆± → ∞ where the ellipsis denotes terms of higher order in r. The GPKW prescription now instructs us
3 to identify either φ+(x) or φ−(x) with the source for the dual operator. Thus by fixing the source we impose one boundary condition. We need one more to fully fix a solution of the second
3 Usually the leading order term corresponds to the source, but not always. The subleading term acting as a source is called “alternate quantization”, and will be encountered later in this dissertation. Also note that we are neglecting subtleties due to holographic renormalization. 9 order equation; in a Euclidean AdS spacetime this is done by demanding regularity throughout the bulk.4 With these boundary conditions given a solution can be found, and by taking n functional derivatives of the source (x), n-point correlation functions can be computed. As an example, if J we identified the source with φ+(x), we would find (x) φ−(x). hO i ∼
1.3 Applications of AdS/CFT
We are now ready for the meat and bones of this dissertation, namely what we can do with the holographic tools that we have introduced. First of all, the reader will hopefully agree that an exact dynamical duality between two systems with such differing characteristics is fascinating with or without direct applications, as it reveals a very non-trivial and surprising aspect of QFT. As such, it is easy to argue for the study of this duality for its own sake — it is almost guaranteed to provide insights into the deeper workings of QFT, as well as string theory and quantum gravity in general.
However, we will choose a slightly more ambitious route here, by attempting to apply
AdS/CFT to problems inspired by experimental phenomena. There are two possible approaches to this. The one we will mostly follow is referred to as top-down; this means that the duality under study can be explicitly embedded in string theory (or possibly some other consistent theory of quantum gravity). This includes the “AdS4/ABJM” duality outlined in the previous section, the
“AdS5/ = 4 SYM” duality, and several others. In fact, since string theory admits a plethora of N vacua, many of which are asymptotically AdS, we expect many different holographic dualities to exist. Thus from our current point of view, we see that the infamous landscape problem of string theory vacua is more of a feature than a bug.
With the knowledge that AdS/CFT dualities are plentiful, one might feel brave enough to go one step further: By postulating a classical gravity theory, the GKPW prescription could be used to compute any desired physical observable of its presumed dual theory (even allowing for a
4 In a spacetime with Minkowski signature, there are often several possible boundary conditions — this is related to the more complicated causality structure. If the end goal is to compute retarded two-point functions, as is mainly the case in this dissertation, infalling boundary conditions are imposed in the bulk. 10 comparison with experimental data), all without specifying anything but the broadest features (such as symmetries) of the dual! This approach is known as bottom-up, and has been very popular in the applied AdS/CFT community. In part this is due to convenience; the known dualities coming from string theory tend to involve complicated gravitational theories with unrealistic properties such as supersymmetry. By instead focusing on universal sectors of classical gravity theories (for example, Einstein-Maxwell-scalar theories) one can hope to draw general conclusions which will be true for generic QFTs admitting a gravity dual. A prominent example of this is the proposed bound on the ratio of shear viscosity to entropy density [6]. On several occasions in our top-down forays, we will discover features anticipated from bottom-up constructions arising naturally in top-down embeddings, sometimes in a generalized form. This shows that the two approaches can complement each other very well.
Having now discussed two different ways in which holographic duality can be applied, we must next discuss to what it can be applied. Many applications fall into one of two categories:
finite density and non-equilibrium. Not coincidentally, these are the two main areas where numerical approaches such as lattice field theory run into problems. Non-equilibrium applications are often motivated by experiments at heavy ion colliders. They can also be useful when describing quenches in smaller laboratory experiments. Many interesting results have been obtained in this area [7]; however, we will not spend time detailing these, since our main interest will be in the other category of finite density QFT. These applications are generally inspired by problems from condensed matter physics, and are sometimes termed AdS/CMT, for “condensed matter theory”.
This is what we turn to next.
1.3.1 Condensed Matter Physics and AdS/CFT
Let us start by asking what problems involving strong interactions exist in the field of con- densed matter physics. An important example is that of non-Fermi liquids, also called strange metals. These notably arise in the phase diagram of many high-temperature superconductors, as the ordered phase from which the superconducting condensate forms. As such, understanding this 11 phase is likely vital to understanding the mechanism giving rise to the high critical temperature.
To see what is “strange” about these metals, let us first recall what would be considered normal. Most conventional metals are well-described by Fermi liquid (FL) theory. From a modern effective field theory point of view, this is simply the statement that the free Fermi gas is an attrac- tive low energy fixed point [8]. A theory of fermions at finite density is therefore generally expected to be described by a ground state consisting of a Fermi surface, together with excitations consist- ing of electron/hole-type quasiparticles that are asymptotically stable at low energies. Among the predictions that result from this is a resistivity that scales with temperature as T 2. The Fermi surface ground state is not perfectly stable; notably, the BCS mechanism causes pairing between electrons at low temperature, giving rise to (conventional) superconductivity.
The strange metals still display Fermi surfaces. However, the excitations around the surface are not well-defined quasiparticles, and the measured resistivity is linear in temperature, often over a large range of temperatures. A large amount of theoretical work has yet to reach a fully satisfactory description of these materials. Proposed explanations have included coupling the Fermi surface excitations to a gapless bosonic mode, such as an order parameter near a critical point or an emergent gauge field, which can shorten the lifetime of the fermionic excitations [9]. Interestingly, we will later arrive at some qualitatively similar interpretations arising naturally through holographic models.
To study a finite density of matter, and to look for holographic strange metals, we need some conserved charge in the CFT, and we need to know its dual in the gravity theory. In relativistic theories, the charge density operator is the time-component of a conserved four-current — as mentioned already, these naturally couple to spin-1 gauge fields on the gravity side. Thus, we need to turn on something like an electric field in the bulk gravity theory; from its falloff at the
AdS boundary, we can then read off the dual QFT’s charge density. To turn on an electric field we need a density of charge to source it — this is could be achieved in many ways, for example by introducing a charged black hole. This gives an AdS-Reissner-Nordstr¨om(AdSRN) spacetime, which has been something of a workhorse of the applied holography community. 12
In fact, introducing a black hole provides another feature for free. Namely, it introduces a non-zero temperature — the Hawking temperature — in the dual field theory. Thus, by tuning two parameters of the black hole, say its horizon radius and charge, we are able to tune the temperature and chemical potential of the dual state. Utilizing the GKPW prescription, various physical observables of the dual state can then be calculated. In particular, [10] computed fermionic two-point functions from a bottom-up point of view, showing that as the fermion couplings are tuned, the AdSRN state can display Fermi surface singularities (poles in the fermionic two-point function at zero energy and non-zero momentum) with either FL or non-FL behavior. They further argued that a great deal of the low-energy properties of the AdSRN geometry, as well as more general black holes we will encounter later, can be explained by the near-horizon region — this is natural if we remember to think of the holographic radial direction as an energy scale with the IR being towards the interior of the bulk. For extremal (zero-temperature) AdSRN black holes, the near
D−2 horizon region takes the form of AdS2 R , where D is the total spacetime dimension of the × bulk. Holographically, AdS2 should be dual to a 1D CFT, and indeed it can be seen to imply the emergence at low energies of a particular scaling symmetry under which time scales but space does not. The whole AdSRN bulk can then be viewed as a renormalization group flow connecting the conformal UV theory “living” near the AdS boundary with an emergent theory with this symmetry in the IR.
Having seen that AdS/CFT can describe phases with similarities to strange metals, one might naturally ask if it can also display superconductivity. In fact, it can; as argued in [11], charged black holes in AdS coupled to scalars are sometimes unstable to the formation of black hole “hair”, that is, a non-trivial profile for the scalar field outside the horizon. The asymptotic value of this scalar field is dual to a non-zero symmetry-breaking condensate, giving rise to superconductivity
[12] (or more precisely superfluidity, since the broken symmetry of the CFT is global). In practice, one finds two different black hole solutions to the equations of motion plus boundary conditions, one with the scalar turned on and one with it turned off. By computing the free energy of the dual states, we can check which one is thermodynamically favored at different temperatures. As one 13 might hope from analogy with the real world, the symmetric solution without the scalar turned on dominates at high temperature; as the temperature is lowered, a critical temperature is encountered below which the solutions with a condensate takes over.
1.4 Summary of Dissertation
In the next chapter we will discuss in some detail the ABJM M2-brane theory, as well as the 4D = 8 gauged supergravity we will use to study it. First, however, we will summarize the N original work of this dissertation, as detailed in chapters3–6. We will see both non-FL behavior and superconductivity appearing in ABJM theory through our holographic lens, sometimes in a generalized form, and sometimes singling out specific behaviors.
1.4.1 Top-down Non-Fermi Liquids and a Special Black Hole
Chapter3 starts from 4D = 8 gauged supergravity, which as discussed is dual to ABJM N theory. This theory admits solutions generalizing the AdSRN geometry, with four independent charges corresponding to the four diagonal U(1)s contained in the theory’s SO(8) gauge symme- try. By solving linearized Dirac equations (derived from the full supergravity Lagrangian) in the extremal limits of these backgrounds, we are able to compute fermionic two-point functions, uncov- ering a plethora of Fermi surface singularities. Interestingly, the spectrum of excitations around all of these Fermi surfaces is exclusively of non-FL type. As this was true in previous top-down studies as well [13], it raises the question of whether this will always be true when the bulk solution can be embedded in string theory (or more generally, in any consistent theory of quantum gravity).
The large class of black hole solutions studied in chapter3 contains a special case where one of the four charges is set to zero while the rest are non-zero, termed the three-charge black hole
(3QBH). This case is shown to be interesting for several reasons. In the zero-temperature limit the horizon area of most of the charged black holes stays finite, implying a non-zero ground state entropy in the dual QFT state.5 The 3QBH horizon, however, disappears at zero temperature,
5 This likely indicates that these charged black holes are not true ground states of the dual theory; instead they 14 removing this issue. Furthermore, we find a qualitatively different behavior of the fermionic two- point functions in the 3QBH state. While for the generic black holes, the fermions are unstable at all energies away from the Fermi surface, spectral functions computed in the 3QBH show stability within an extended interval of energies. A plausible interpretation of this is offered: The emergent
AdS2 IR sector, which for the regular black holes facilitated the decay of fermionic excitations, has here developed a gap. Attractively, this provides an explanation for both the stable interval and the vanishing of the ground state entropy.
1.4.2 Fermions in Supergravity Superconductors
Having discussed examples of holographic ordered states, chapters4 and5 then goes on to introduce symmetry breaking. By considering two consistent truncations of the full 4D gauged supergravity action, the bosonic sector is reduced to a more manageable one involving the metric, a U(1) gauge field, and a charged scalar. All the necessary ingredients for a holographic supercon- ductor are thus present, and indeed it has been shown that both regular AdSRN and hairy black holes exist as solutions in both truncations. Again we will be interested in computing fermionic spectral functions in the dual states of these black hole geometries. This is most conveniently done at zero temperature (for one thing, if there exists a Fermi surface, it will only be sharply defined at T = 0). The zero temperature limits of hairy black hole geometries is less straightforward than for regular black holes, partly because the solutions are only known numerically. However, it has been argued to correspond to an interpolation from the maximally symmetric AdS4 in the UV, to another less symmetric AdS4 in the IR. These domain wall geometries have the interesting holo- graphic interpretation of a conformal QFT, that when perturbed by a chemical potential embarks on a renormalization group flow; on the way it develops a non-zero expectation value for a scalar operator, and finally settles down into an IR where conformal invariance has been fully restored.
This complete conformality in the IR turns out to have some interesting effects on the fermion spectrum. As the IR theory has Lorentz symmetry (being a subset of the conformal symmetry) we may represent an intermediate energy phase [14]. ω ω ω 15
k k k
Figure 1.1: A cartoon showing dispersion relations of stable fermionic modes in purple, all existing within stable regions whose edges are shown in blue. As the stable modes hit the blue edge, they acquire a finite lifetime. Three different geometries are shown: The regular black holes (left), where the only stable modes are right at the chemical potential; the 3QBH (right), where a stable momentum-independent interval opens up; and a superconducting domain wall (middle), where the stable region lies outside the emergent lightcone.
might expect to find some kind of lightcone structure, and this is indeed what happens. Inside this lightcone, we find the IR again acting as a “bath” into which the fermions can decay. Outside the lightcone, the fermions are kinematically isolated from this bath; similarly to the 3QBH, they then become perfectly stable.
At this point, we can already notice a general theme: Some important properties of the fermionic spectra are determined entirely by the emergent holographic IR theory deep in the bulk.
Particularly, if the fermion mode is kinematically unable to decay into the IR theory, it is perfectly stable. This is visualized for three different types of IR geometries in figure 1.1, where “stable regions” and dispersion relations of stable fermionic modes are sketched.
Fermionic spectra have previously been computed in bottom-up constructions of holographic superconductors. For a minimal bulk Dirac equation, it was found that the spectrum in general supports Fermi surfaces [15]. This can be contrasted with the Bardeen-Cooper-Schrieffer mechanism of conventional superconductors, where elementary fermions near the Fermi surface pair together into bosons, destroying the Fermi surface. In the interest of reproducing this feature, Faulkner et al. [16] engineered a particular coupling that forces the fermionic spectrum to be gapped, essentially through level repulsion. Interestingly, in one of the two truncations under study we find precisely this type of coupling, albeit in a slightly more complicated form, naturally occurring in 16 the supergravity Dirac equations. Chapter4 first considers a simplified version of these top-down couplings, as well as several other bottom-up Dirac equations, and finds that Fermi surface zero- modes in general still occur. Then, chapter5 considers the full top-down Dirac equations, and now a gap appears in all spectral functions. In this chapter, the other truncation is also considered; in that case the special coupling does not occur, but it turns out that the specific values of the fermion charge and mass imposed by supergravity gives a gapped spectrum anyway. Thus, all the top-down fermions in all of the symmetry-breaking background under study display gapped spectra, analogously to the case of conventional superconductors. It is tempting to speculate that this is a generic feature of top-down holographic superconductivity.
1.4.3 Correlations between Correlators: Charge Oscillations and Fermi Surfaces
In chapter6, we address a question which one might think should have a straightforward answer: How do the fermionic excitations studied in the earlier chapters affect the transport prop- erties of the finite density states? In a conventional, weakly coupled system it is obvious that there should be a connection; the fermionic sector, consisting of e.g. electrons, is what “makes up” the material. Changes in the spectra of these fermions is certain to cause changes in conductivities, for example; most dramatically, the (non-)existence of a Fermi surface would be expected to leave a large imprint.
However, in a holographic bottom-up construction, this gets turned on its head. Here, one typically begins by specifying the bosonic Lagrangian, and by solving the resulting equations of motion for various geometries that are asymptotically AdS. From these geometries, one can then compute various “bosonic” properties such as conductivities, susceptibilities, and viscosities — all without saying a word about fermions! A bottom-up holographer can then decide to include fermions, by writing down an arbitrary Dirac equation. Solving this, a Fermi surface may or may not be found; regardless, the previously computed transport properties will not change at all. This is a strange feature of holography, which can be traced back to the fact that it provides a classical limit of a QFT, even though the form of the classical theory is highly unexpected. Fermions are 17 inherently quantum mechanical, and thus appear to affect bosonic properties only at subleading order in N, when quantum effects in the bulk come into play.
On the other hand, in a top-down construction the full Lagrangian is specified right from the start, including both bosonic and fermionic parts (often related by supersymmetry). One can therefore ask if the requirement of a UV completion might, in some subtle way, enforce a relationship between fermionic and bosonic properties. Chapter6 studies the static charge susceptibility in the 3QBH geometry. In a weakly interacting theory with a Fermi surface, this quantity should exhibit non-analytic behavior at a momentum of 2kF , where kF is the Fermi momentum. This is not observed for the state dual to the 3QBH. Non-analyticities do appear, but at a complex momentum whose real part is approximately equal to 1kF . We further observe that a top-down embedding of the AdSRN geometry exhibits a similar “1kF ” relationship. Thus, our observations hint at a possible relationship between fermionic and bosonic properties, although no link as clear as at weak coupling is visible.
We conclude the dissertation in chapter7. In the appendices some further relevant material is collected: In appendixA we show how to lift of the 3QBH discussed in chapters3 and6 to five dimensions, and in appendixB we give some further details on the computation of the static charge susceptibility in chapter6. Chapter 2
The Two Theories
In this chapter, we will review some key properties of four-dimensional = 8 gauged super- N gravity and three-dimensional superconformal ABJM theory. The discussion here is based largely on material from [17, 18, 19, 20].
2.1 4D = 8 Gauged Supergravity N
As explained in chapter1, the AdS/CFT dual of the M2-brane theory is given by the near-
7 horizon limit of a stack of M2-branes, which is M-theory on an AdS4 S background with N units × of 4-form flux on AdS4 [3,2]. In the large- N limit, M-theory reduces to eleven-dimensional super- gravity. The Kaluza-Klein reduction of eleven-dimensional supergravity on S7 [21, 22, 23] includes an infinite tower of supersymmetry multiplets; the theory of the modes sharing the multiplet of the four-dimensional massless graviton is four-dimensional = 8 (maximal) gauged supergravity N [24, 25], which represents a consistent truncation of the higher-dimensional theory [26]. This is the theory we will discuss in some detail in the rest of this section, and the one we will do calculations in for the majority the dissertation.
Let us start by discussing symmetries. Four-dimensional ungauged = 8 supergravity1 N
contains an global, noncompact E7(7) symmetry, whose maximal compact subgroup is SU(8).
There is also a local SU(8) symmetry; this will have associated indices i, j = 1 ... 8, with indices up in the fundamental and indices down in the antifundamental. The gauged supergravity which
1 The ungauged version of the maximal supergravity can be obtained by dimensionally reducing from eleven dimensions on a seven-torus instead of a seven-sphere. 19 we are interested in gauges an SO(8) subgroup of E7(7), with indices I,J = 1,... 8 in the 8s and no distinction made between upper and lower. This gauging breaks the full global E7(7) symmetry, leaving us with local SO(8) SU(8) invariance. Naturally, there will be gauge fields associated × with both SO(8) and SU(8); however, as we will see only the former will have kinetic terms and correspond to dynamical degrees of freedom, while the latter will be determined in terms of the physical fields of the theory through a constraint equation.
In notation common throughout the litterature, an object is defined with SU(8) indices in a particular up/down configuration, and then raising/lowering all the indices corresponds to complex conjugation. Thus if we define Xi, we have
i ∗ Xi (X ) . (2.1) ≡
For SO(8) indices, no distinction is made between up or down indices, though they may be con- ventionally raised and lowered along with the SU(8) indices.
2.1.1 Bosonic Sector
µ IJ The bosonic fields are the vierbein e µˆ, 28 gauge fields Aµ in the adjoint of SO(8), and 35 complex scalars, with the real parts parity-even and the imaginary parts parity-odd. The vierbein
µ field e µˆ corresponds to the graviton, which is a singlet under both SO(8) and SU(8). From the
IJ [IJ] SO(8) gauge fields Aµ = Aµ , we define the field strengths
IJ IJ IJ IK KJ F ∂µA ∂νA 2gA A . (2.2) µν ≡ ν − µ − [µ ν]
It is useful to define imaginary (anti-)self-dual field strengths F ± in terms of the field strength F and the dual field strength F˜:
± IJ 1 IJ IJ IJ 1 ρσIJ F F iF˜ , F˜ µνρσF , (2.3) µν ≡ 2 µν ± µν µν ≡ 2 which obey the imaginary (anti-)self-dual and conjugation relations,
F ± IJ = iF˜± IJ , (F ± IJ )∗ = F ∓ IJ , (2.4) µν ± µν µν µν 20 with the duals F˜± defined analogously to F˜. The inverse relations are
F + IJ + F − IJ = F IJ ,F + IJ F − IJ = iF˜ IJ . (2.5) µν µν µν µν − µν µν
The scalar fields parameterize an E7(7)/SU(8) coset space and can be written in the form of a 56 56 matrix coset representative (sechsundf¨unfzigbein) × IJ u vijKL ij = . (2.6) V klIJ kl v u KL Here each pair IJ or ij is antisymmetric, and may be thought of as a single composite index running from 1 to 28, decomposing the 56 56 coset representative into 28 28 blocks corresponding to the × × u- and v-tensors. The coset representative transforms by the local SU(8) on the left, and the global
E on the right. There are 133 independent degrees of freedom in , and 63 may be removed by 7(7) V SU(8) transformations, leaving 70 degrees of freedom matching the number of real scalars degrees of freedom we want. The inverse of is V ij u IJ vklIJ −1 = − , (2.7) V vijKL u KL − kl which transforms by SU(8) on the right and E7(7) on the left, and the fact that it is the inverse requires relations between u and v:
IJ kl klKL kl KL IJ uij u IJ vijKLv = δij , vijKLukl uij vklIJ = 0 , − − (2.8) ij IJ klIJ IJ ij kl u u vklKLv = δ , u vijKL vklIJ u = 0 , KL ij − KL IJ − KL −1 −1 where the first two come from = I and the second two from = I, and we have defined VV V V 1 δIJ (δI δJ δI δK ) . (2.9) KL ≡ 2 K L − L J
Let µ be the SU(8)- and SO(8)-covariant derivative. On an SO(8) index (up or down doesn’t D matter) we get
I I IJ J µX = µX gA X , (2.10) D ∇ − µ where includes the spin connection and g is the gauge coupling, while for SU(8) indices we have ∇
i i 1 i j 1 j µY = µY + Y , µZi = µZi Zj , (2.11) D ∇ 2Bµ j D ∇ − 2Bµ i 21 which contains the “composite connection” i , which is antihermitian and traceless, Bµ j
i = i , i = 0 . (2.12) Bµ j −Bµj Bµ i
Thus we have covariant derivative relations like
IJ IJ k IJ K[I J]K µu = ∂µu + u 2gA u . (2.13) D ij ij Bµ [i j]k − µ ij
As already mentioned, i does not represent separate dynamical degrees of freedom; instead it Bµ j will be determined by imposing the constraint 0 −1 1 µijkl µ = A , (2.14) D V·V −2√2 mnpq µ 0 A resulting in
i 2 ik IJ ikKL µ j = u IJ Dµujk v DµvjkKL B 3 − (2.15) 2 ik IJ ikKL IJ ik JK ikIK = u ∂µu v ∂µvjkKL 2gA u u v vjkJK , 3 IJ jk − − µ IK jk − ijkl while the off-diagonal entries define µ : A
IJ IJ µijkl = 2√2 vklIJ Dµuij ukl DµvijIJ A − (2.16) IJ IJ IJ JK IK = 2√2 vklIJ ∂µu u ∂µvijIJ 2gA vklIK u u vijJK . ij − kl − µ ij − kl
Here we have introduced Dµ, which is covariant only with respect to SO(8),
I I IJ J i i DµX = µX gA X , DµY = µY , DµZi = µZi , (2.17) ∇ − µ ∇ ∇ and so
IJ IJ K[I J]K Dµu = ∂µu 2gA u , (2.18) ij ij − µ ij and analogously for DµvijIJ . We note that µijkl is totally antisymmetric and self-dual up to A conjugation,
ijkl [ijkl] 1 mnpq = , ijkl = ijklmnpq . (2.19) Aµ Aµ A 4! A
It turns out that µijkl is the proper notion of a covariant derivative of the scalars, and will appear A in the action. 22
The action also contains a number of tensors built out of the scalars, which start with the
T-tensor,
jkl kl klIJ JK jm jmKI T = (u + v )(u u vimJK v ) , (2.20) i IJ im KI − which obeys the identities
jkl j[kl] ikl [ij]k [kij] ikj jki Ti = Ti ,Ti = Tk = Tk = 0 ,Tk = Tk . (2.21)
The T-tensor is composed of two independent pieces, called the A-tensors,
[jkl] 2 [k 3 [jkl] 3 [k l]j T jkl = T + δ T l]mj A + δ A (2.22) i i 7 i m ≡ −4 2i 2 i 1 where we have defined
4 4 [jkl] Aij = T ikj ,A jkl = T , (2.23) 1 21 k 2i −3 i which obey
ij ji jkl [jkl] A1 = A1 ,A2i = A2i . (2.24)
Finally, the Pauli terms require the S-tensor, which is defined in terms of the equation
ij ijIJ IJ,KL ij (u IJ + v )S = u KL . (2.25)
Using 2.8 one can show that
SIJ,KL = SKL,IJ . (2.26)
In practice, it is convenient to evaluate the scalar sector in a fixed gauge for SU(8). A convenient gauge is 1 0 φIJKL = exp , (2.27) V − √ 2 2 φMNPQ 0 where the 70 scalars are described by the complex φIJKL, which are totally antisymmetric and
(complex conjugate) self-dual,
1 MNPQ φIJKL φ , φIJKL = IJKLMNP Qφ . (2.28) ≡ [IJKL] 4! 23
The real parts of φIJKL are parity-even and the imaginary parts parity-odd. In this gauge, SU(8) and SO(8) indices are indistinguishable, and we use I,J for both; raising/lowering indices still corresponds to complex conjugation.
Having introduced all the necessary formalism, we can now write down the bosonic super- gravity Lagrangian: −1 1 1 ijkl µ 2 3 1 2 1 2 2 e bosonic = R + g A A (2.29) L 2 − 96Aµ Aijkl 4| ij| − 24| ijkl| 1 IJ,KL F + 2SIJ,KL δIJ F +µν + F − 2S δIJ F −µν (2.30) − 8 µνIJ − KL KL µνIJ − KL KL
We can immediately learn a few things by setting all of the scalar fields in this Lagrangian to zero.
Besides canonical kinetic terms for the gauge fields, this gives the usual Einstein-Hilbert term and a cosmological constant: