An official website of the United States government
A bstract We develop the gauge theory formulation of $$ \mathcal{N} $$ N = 1 Jackiw-Teitelboim supergravity in terms of the underlying OSp(1|2 , ℝ) supergroup, focusing on boundary dynamics and the exact structure of gravitational amplitudes. We prove that the BF description reduces to a super-Schwarzian quantum mechanics on the holographic boundary, where boundary-anchored Wilson lines map to bilocal operators in the super-Schwarzian theory. A classification of defects in terms of monodromies of OSp(1|2 , ℝ) is carried out and interpreted in terms of character insertions in the bulk. From a mathematical perspective, we construct the principal series representations of OSp(1|2 , ℝ) and show that whereas the corresponding Plancherel measure does not match the density of states of $$ \mathcal{N} $$ N = 1 JT supergravity, a restriction to the positive subsemigroup OSp + (1|2 , ℝ) yields the correct density of states, mirroring the analogous results for bosonic JT gravity. We illustrate these results with several gravitational applications, in particular computing the late-time complexity growth in JT supergravity.
more »
« less
From quantum groups to Liouville and dilaton quantum gravity
A bstract We investigate the underlying quantum group symmetry of 2d Liouville and dilaton gravity models, both consolidating known results and extending them to the cases with $$ \mathcal{N} $$ N = 1 supersymmetry. We first calculate the mixed parabolic representation matrix element (or Whittaker function) of U q ( $$ \mathfrak{sl} $$ sl (2 , ℝ)) and review its applications to Liouville gravity. We then derive the corresponding matrix element for U q ( $$ \mathfrak{osp} $$ osp (1 | 2 , ℝ)) and apply it to explain structural features of $$ \mathcal{N} $$ N = 1 Liouville supergravity. We show that this matrix element has the following properties: (1) its q → 1 limit is the classical OSp + (1 | 2 , ℝ) Whittaker function, (2) it yields the Plancherel measure as the density of black hole states in $$ \mathcal{N} $$ N = 1 Liouville supergravity, and (3) it leads to 3 j -symbols that match with the coupling of boundary vertex operators to the gravitational states as appropriate for $$ \mathcal{N} $$ N = 1 Liouville supergravity. This object should likewise be of interest in the context of integrability of supersymmetric relativistic Toda chains. We furthermore relate Liouville (super)gravity to dilaton (super)gravity with a hyperbolic sine (pre)potential. We do so by showing that the quantization of the target space Poisson structure in the (graded) Poisson sigma model description leads directly to the quantum group U q ( $$ \mathfrak{sl} $$ sl (2 , ℝ)) or the quantum supergroup U q ( $$ \mathfrak{osp} $$ osp (1 | 2 , ℝ)).
more »
« less
- Award ID(s):
- 2210562
- PAR ID:
- 10433553
- Date Published:
- Journal Name:
- Journal of High Energy Physics
- Volume:
- 2022
- Issue:
- 5
- ISSN:
- 1029-8479
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
This paper is the first of a pair that aims to classify a large number of the type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . In this work we classify the braided auto-equivalences of the categories of local modules for all known type I I quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . We find that the symmetries are all non-exceptional except for four cases (up to level-rank duality). These exceptional cases are the orbifolds C ( s l 2 , 16 ) Rep ( Z 2 ) 0 \mathcal {C}(\mathfrak {sl}_{2}, 16)^0_{\operatorname {Rep}(\mathbb {Z}_{2})} , C ( s l 3 , 9 ) Rep ( Z 3 ) 0 \mathcal {C}(\mathfrak {sl}_{3}, 9)^0_{\operatorname {Rep}(\mathbb {Z}_{3})} , C ( s l 4 , 8 ) Rep ( Z 4 ) 0 \mathcal {C}(\mathfrak {sl}_{4}, 8)^0_{\operatorname {Rep}(\mathbb {Z}_{4})} , and C ( s l 5 , 5 ) Rep ( Z 5 ) 0 \mathcal {C}(\mathfrak {sl}_{5}, 5)^0_{\operatorname {Rep}(\mathbb {Z}_{5})} . We develop several technical tools in this work. We give a skein theoretic description of the orbifold quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . Our methods here are general, and the techniques developed will generalise to give skein theory for any orbifold of a braided tensor category. We also give a formulation of orthogonal level-rank duality in the type D D - D D case, which is used to construct one of the exceptionals. We uncover an unexpected connection between quadratic categories and exceptional braided auto-equivalences of the orbifolds. We use this connection to construct two of the four exceptionals. In the sequel to this paper we will use the classified braided auto-equivalences to construct the corresponding type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . This will essentially finish the type I I II classification for s l n \mathfrak {sl}_n modulo type I I classification. When paired with Gannon’s type I I classification for r ≤ 6 r\leq 6 , our results will complete the type I I II classification for these same ranks. This paper includes an appendix by Terry Gannon, which provides useful results on the dimensions of objects in the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) .more » « less
-
In this short note we construct an embedding of the planar algebra for $$\overline{\Rep(U_q(\mathfrak{sl}_3))}$$ at $$q = e^{2\pi i \frac{1}{24}}$$ into the graph planar algebra of di Francesco and Zuber's candidate graph $$\mathcal{E}_4^{12}$$. Via the graph planar algebra embedding theorem we thus construct a rank 11 module category over $$\overline{\Rep(U_q(\mathfrak{sl}_3))}$$ whose graph for action by the vector representation is $$\mathcal{E}_4^{12}$$. This fills a small gap in the literature on the construction of $$\overline{\Rep(U_q(\mathfrak{sl}_3))}$$ module categories. As a consequence of our construction, we obtain the principal graphs of subfactors constructed abstractly by Evans and Pugh.more » « less
-
A bstract We analyze deformations of $$ \mathcal{N} $$ N = 1 Jackiw-Teitelboim (JT) supergravity by adding a gas of defects, equivalent to changing the dilaton potential. We compute the Euclidean partition function in a topological expansion and find that it matches the perturbative expansion of a random matrix model to all orders. The matrix model implements an average over the Hamiltonian of a dual holographic description and provides a stable non-perturbative completion of these theories of $$ \mathcal{N} $$ N = 1 dilaton-supergravity. For some range of deformations, the supergravity spectral density becomes negative, yielding an ill-defined topological expansion. To solve this problem, we use the matrix model description and show the negative spectrum is resolved via a phase transition analogous to the Gross-Witten-Wadia transition. The matrix model contains a rich and novel phase structure that we explore in detail, using both perturbative and non-perturbative techniques.more » « less
-
A bstract We study which bulk couplings contribute to the S 3 free energy F ( $$ \mathfrak{m} $$ m ) of three-dimensional $$ \mathcal{N} $$ N = 2 superconformal field theories with holographic duals, potentially deformed by boundary real-mass parameters m. In particular, we show that F ( $$ \mathfrak{m} $$ m ) is independent of a large class of bulk couplings that include non-chiral F-terms and all D-terms. On the other hand, in general, F ( $$ \mathfrak{m} $$ m ) does depend non-trivially on bulk chiral F-terms, such as prepotential interactions, and on bulk real-mass terms. These conclusions can be reached solely from properties of the AdS super-algebra, $$ \mathfrak{osp} $$ osp (2|4). We also consider massive vector multiplets in AdS, which in the dual field theory correspond to long single-trace superconformal multiplets of spin zero. We provide evidence that F ( $$ \mathfrak{m} $$ m ) is insensitive to the vector multiplet mass and to the interaction couplings between the massive vector multiplet and massless ones. In particular, this implies that F ( $$ \mathfrak{m} $$ m ) does not contain information about scaling dimensions or OPE coefficients of single-trace long scalar $$ \mathcal{N} $$ N = 2 superconformal multiplets.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1007/JHEP05(2022)092
