Boundary theories for dilaton supergravity in 2D

The osp2,ℕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathfrak{o}\mathfrak{s}\mathfrak{p}\left(2,\ \mathbb{N}\right) $$\end{document}-BF formulation of dilaton supergravity in two dimensions is considered. We introduce a consistent class of asymptotic conditions preserved by the extended superreparametrization group of the thermal circle at infinity. In the N = 1 and N = 2 cases the phase space foliation in terms of orbits of the super-Virasoro group allows to formulate suitable integrability conditions for the boundary terms that render the variational principle well-defined. Once regularity conditions are imposed, requiring trivial holonomy around the contractible cycle the asymptotic symmetries are broken to some subsets of exact isometries. Different coadjoint orbits of the asymptotic symmetry group yield different types of boundary dynamics; we find that the action principle can be reduced to either the extended super-Schwarzian theory, consistent with the dynamics of a non-vanishing Casimir function, or to superparticle models, compatible with bulk configurations whose Casimir is zero. These results are generalized to N≥3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}\ge 3 $$\end{document} by making use of boundary conditions consistent with the loop group of OSp(2, ℕ). Appropriate integrability conditions permit to reduce the dynamics of dilaton supergravity to a particle moving on the OSp(2, ℕ) group manifold. Generalizations of the boundary dynamics for N>2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}>2 $$\end{document} are obtained once bulk geometries are supplemented with super-AdS2 asymptotics.


Introduction
Gauge symmetry is generically linked to the redundancy in the variables used to describe a field theory. This association is nevertheless not entirely true in theories with boundaries: part of the gauge degrees of freedom becomes dynamical on these boundaries. The working example of this realization is the fact that three-dimensional Chern-Simons theories in presence of a boundary can be expressed as a WZW model in two dimensions [1,2]. Since then, this relation has been extended to topological theories of gravity [3][4][5][6][7][8][9] and more recently to theories with local degrees of freedom [10][11][12][13]. Deepening further this program can help to understand the role played by boundary modes in the context of quantum gravity. From a more general perspective, this can shed light on the origin of the holographic behavior of gravity [14,15].
Here we focus on the study of boundary dynamics associated with two-dimensional BF theories based on the gauge group OSp(2, N). These lagrangians are supersymmetric extensions of the so-called Jackiw-Teitelboim (JT) model [16,17]. The motivation for this is twofold. On the one hand, the addition of local supersymmetry is a natural way to generalize the results of [18], where the asymptotic dynamics was analyzed for (bosonic) higher spin extensions of the JT theory. On the other hand, it is known that supersymmetric BF models provide gravitational duals for supersymmetric extensions of the SYK model in the low temperature regime [19][20][21][22]. In this sense, the main purpose of this paper is to explore the asymptotic dynamics of two-dimensional dilaton supergravity and study its connection with models placed at the conformal boundary of the spacetime; namely the super-Schwarzian theory and superconformal quantum mechanics [23][24][25]. This analysis yields a consistent setup that extends and complements previous analyses in the N = 1 case [26] and more recent ones in the second order formulation of dilaton supergravity [27,28] for N = 1 and N = 2 supersymmetries.
Working with BF models allows to introduce a generalized notion of Euclidean black holes: they can be regarded as gauge fields with trivial holonomies along the thermal cycle. In two dimensions, this condition adds restrictions on the set of configurations with given asymptotics. Specifically, restricting the phase space to globally well-defined black holes produces an explicit breaking of the asymptotic symmetry group. Notably, this effect has been observed in dual descriptions controlled by the Schwarzian theory [8,29,30].

JHEP11(2018)077
In this work, we propose two different sets of boundary conditions with fluctuating dilaton multiplets. The first one reproduces the SO(N )-extended superreparametrization group around the thermal circle at infinity, SDiff(S 1 ). The second one is preserved by the loop group of OSp (2, N). For the former set of asymptotic conditions, the reduced action principle can be determined by two different boundary models related to specific coadjoint orbits of SDiff(S 1 ). Concretely, we show that the asymptotic dynamics described by the extended super-Schwarzian theory is consistent with a nonvanishing Casimir function while the dynamics compatible with zero Casimir entails the existence of a supersymmetric particle model at the boundary. In both cases, however, the phase space is written in terms of orbits of the super-Virasoro group, which is only accessible for N = 1 and N = 2. This is due to quadratic contributions of affine so(N ) currents in the infinitesimal transformation laws N ≥ 3. 1 In order to access the asymptotic dynamics for N ≥ 3, we make use of the second set of boundary conditions, consistent with the loop group of OSp(2, N), which allows to reformulate the problem in terms of a particle moving on the group manifold. Further constraints on the latter reduced model are introduced when requiring to have asymptotically super-AdS 2 solutions in the bulk. This procedure gives rise to supersymmetric extensions of particle models without self-interacting potentials and extended super-Schwarzian theories with N > 2.
The paper is organized as follows. In the next section, we present the BF formulation of minimal dilaton supergravity in two dimensions with gauge group OSp(2, 1). In section 3, a consistent set of asymptotic conditions is proposed together with a superspace formulation that describes in a super-covariant way the action of the asymptotic symmetries on the fields. The latter approach turns out to be particularly useful in order to foliate the phase space of the theory in terms of the adjoint and coadjoint actions of the super-Virasoro group. Using this prescription, we demand suitable boundary conditions that render the variational principle well-defined. This is discussed in section 4. Section 5 is devoted to analyze regularity conditions on solutions describing Euclidean black holes. It is shown that configurations with trivial holonomies are solutions of the supersymmetric Hill equation, which must obey (anti)periodic boundary conditions. In section 6, the reduced action is obtained by evaluating the variational principle on the constraint surface, which for our set of asymptotic conditions makes the bulk contribution vanish. Therefore, the regularized action is only determined by a boundary term that leads -after restricting to regular solutions -to either the N = 1 super-Schwarzian theory, or to a supersymmetric particle model. In section 7, we present asymptotic conditions extending the previous results but mainly focusing on the N = 2 case, arriving at analogous conclusions. Section 8 deals with the boundary dynamics of N > 2 extended dilaton supergravity, where supersymmetric extensions of conformal mechanics and Schwarzian theories are found. In section 9 we go beyond the highest-weight ansatz to consider more general supersymmetric asymptotically AdS 2 boundary conditions. Finally, section 10 is dedicated to discuss possible applications and extensions of this work. Conventions associated to the explicit representation of osp(2, N) generators can be found in appendix A.

JHEP11(2018)077
Before starting we mention that we work in Euclidean signature throughout the whole paper. Thus, when speaking about "time" we always mean "Euclidean time".

N = 1 dilaton supergravity in two dimensions
The first order action for the minimal supersymmetric extension of the JT model [32,33] (2.1) where the manifold M has the topology of a disk, endowed with a time τ identified as τ ∼ τ + β and a non-compact direction r > 0.
The field content of this theory is the following: X a is a pair of Lagrange multipliers enforcing the supercovariant torsion constraint, X stands for the dilaton field, λ α is the dilatino field, e a corresponds to the one-form zweibein, ω is the dualized spin connection and ψ α is the gravitino one-form. The covariant derivative acting on the gravitino is defined as The indices are contracted with the flat metric δ ab and 01 = −1, where a, b = 0, 1. The Majorana conjugate is defined asψ α = ψ β C βα , where C αβ = αβ ( +− = −1) is the charge conjugation matrix. The matrices γ a satisfy the two-dimensional Clifford algebra, {γ a , γ b } = 2δ ab , and γ 5 = −γ 0 γ 1 , then γ 2 5 = −I 2 . It is possible to show that action (2.1), apart from being invariant under local Lorentz transformations and conformal boosts, is invariant under the following local supersymmetry transformations Minimal dilaton supergravity (2.1) does not propagate local degrees of freedom. This property is made manifest by writing the action in terms of a BF-theory for OSp(2, 1) [34]. Its bulk action reads where the zero-form dilaton multiplet X = X I J I + λ α Q α and the one-form connection A = A I J I + ψ α Q α , are valued in the osp(2, 1) algebra

JHEP11(2018)077
Here, the Γ-matrices Γ I = (γ a , −γ 5 ), satisfy the Clifford algebra in three dimensions, {Γ I , Γ J } = 2η IJ , where the metric is given by η IJ = diag(1, 1, −1) and the orientation is chosen as 012 = −1. The components that go along the so(2, 1) generators collect the bosonic content of the model, such that X I = (X a , X) and A I = (e a , ω). The nonvanishing components of the supertrace are 3 Let us review some of the features associated with the action (2.5). The field equations for the BF-theory generically read as follows In the case we are dealing with, the field strength F = dA+A 2 associated to A, is explicitly given by where the so(2, 1) curvature two-form R I and the covariant derivative ∇ are, respectively, (2.10) A crucial feature of formulating the theory as (2.5) is that the gauge invariance of the model becomes manifest. Indeed, it is straightforward to prove that under the action of the gauge group, A and X transform in the adjoint and coadjoint representations, respectively, which leaves (2.5) unchanged. The form of the infinitesimal gauge transformations, generated by a Lie-algebra-parameter Λ, then read From the transformation rule of the gauge field in (2.11), it is possible to conclude that the dilaton equation of motion can be written as δ X A on−shell = 0. Therefore, the on-shell value of the dilaton X turns out to be the stabilizer of the gauge field A.
It is important to mention that diffeomorphisms are a distinctive class of gauge symmetries. These are spanned by Λ = ξ σ A σ , whose infinitesimal group action (2.11) is expressed as Lie derivatives acting on A µ and X, up to transformations of the form where χ µ = 2π k ξ σ σµ . The latter type of transformations are indeed trivial symmetries of the action, no matter what parameter χ µ is being used (see, e.g., [35]).
It is reassuring to verify that gauge transformations (2.11) generated by Λ = α Q α , lead to the ones given in (2.3) and (2.4). 3 Explicit matrix representations for the osp(2, N) generators are provided in appendix A.

JHEP11(2018)077
Finally, we note that BF models admit the definition of a conserved quantitiy called (super) Casimir function, which is defined as This is a gauge invariant object that satisfies the conservation equation dC = 0 by virtue of the dilaton equation of motion δ X A on−shell = 0.

Asymptotic structure
We are interested in studying the set of superdiffeomorphisms preserving the form of the fall-off of the fields at infinity, which corresponds to a subset of gauge transformations modulo trivial terms proportional to the equations of motion (2.12). More precisely, we proceed to find the symmetries of a class of configurations that asymptotically satisfies the conditions where Λ is the Lie-superalgebra-parameter that generates the infinitesimal transformations associated to the asymptotic symmetries.

Fall-off conditions
Here, we present a set of boundary conditions for the theory, that besides of containing all the bosonic solutions of interest with non-trivial dilaton [36][37][38], turns out to be preserved by SDiff(S 1 ) at infinity. The fall-off of the fields A and X, written in the Coussaert-Henneaux-van Driel gauge [4], reads as follows where b = exp[log(r)L 0 ]. The radially independent gauge field a reads and the dilaton x is given by We have expressed osp(2, 1) in terms of the basis with m, n = ±1, 0 and p, q = ± 1 2 . The dynamical fields L and y are arbitrary functions of time τ , while ψ and ρ correspond to arbitrary Grassmann-valued functions of τ .

JHEP11(2018)077
The gauge parameter that maintains the asymptotic form of the configurations (3.3), (3.4) is given by where ξ and represent superdiffeomorphisms in the thermal circle at infinity. Under these asymptotic symmetries, the fields transform as Note that equations (3.7) and (3.8) correspond to infinitesimal transformations of a super-Virasoro coadjoint orbit with representatives L and ψ, while (3.9) and (3.10) reflect that y and ρ transform in the adjoint representation of the super-Virasoro group [39][40][41].
It is worth mentioning that the asymptotic form of X, given in (3.4), allows to incorporate fluctuating dilaton and dilatino without spoiling the superreparametrization group at infinity. This is because (3.4) was chosen to have the same form of the gauge parameter (3.6) that in turn preserves the asymptotic behaviour of the gauge connection (3.3). This fact is reminiscent of the procedure introduced in [42], that in the context of threedimensional higher spin gravity permits to include a generic choice of chemical potentials without breaking the W -symmetry at infinity.

Asymptotic field equations
The field equations for the gauge field are asymptotically satisfied for the set of asymptotic conditions (3.2), i.e., the strength field associated to the gauge field (3.3) vanishes at infinity (3.11) The remaining equations of motion dictate that the dilaton and dilatino acquire asymptotically the role of stabilizers of the dynamical fields L and ψ, namely By virtue of these two equations of motion, the off-shell Casimir function (2.14) defines an asymptotically conserved quantity, i.e., ∂ τ C = O(r −1 ).

Superspace formulation
For later purposes we will describe the realization of the asymptotic symmetry group on the dynamical variables in the superspace formalism (see, e.g., [43] and references therein).
The dilaton multiplet is characterized by the fields y and ρ. In terms of superfields, this can be organized into the following supervector

Variational principle
A well-defined action principle for dilaton supergravity is given by the following functional In order to ensure that the variational principle attains an extremum, the action (2.5) is supplemented with a surface term I B , that evaluated at r → ∞ becomes where A τ stands for the time component of the one-form A. The variation of the action (4.1) is then a bulk term proportional to the equations of motion, that in consequence vanishes on-shell.

Phase space of dilaton supergravity and integrability condition
The boundary term (4.2) is a priori non-integrable and then one must provide suitable integrability conditions at the boundary. Implementing the asymptotic conditions (3.3), (3.4) into the variation of I B (4.2) yields where Y and Ψ are given in (3.16) and (3.21), respectively. In the above equation, we have introduced Berezin integrals defined by dθ = 0 and dθ θ = 1. In order to obtain the value of the boundary term I B , one has to be able to integrate the expression (4.3). To accomplish this task, we need to single out a family of fields (Y, Ψ) respecting our boundary conditions. A choice that is consistent with the asymptotic symmetry group corresponds to picking a set of fields (y 0 , Ψ 0 ) and act with a superreparametrization Θ to construct where T is the coordinate defined through the relation DT = ΘDΘ. Therefore, the phase space of N = 1 dilaton supergravity is now defined in terms of coadjoint orbits of the super-Virasoro group characterized by a representative (y 0 , Ψ 0 ) and a superdiffeomorphim Θ. However, in order to maintain the phase space dimension, it is necessary to impose an JHEP11(2018)077 additional restriction among these new variables. Here, we will define Θ as the transformation that brings the dilaton superfield Y into its constant value y 0 . Furthermore, we demand as an integrability condition meaning that y 0 is a constant without variation, which introduces a new coupling constant into the system. This condition has been used previously in the bosonic case [18,38]. In applications to the (super) SYK model in the low temperature regime, 1/y 0 is the variance associated with the random quartic interaction [18]. Let us further describe phase space defined by (4.4) and (4.5), by studying the equations of motion associated to it. Let us first note that with D Θ = ∂ Θ +Θ∂ T and C is the asymptotic value of the Casimir function defined in (3.13).
On-shell, the latter equation can be easily solved using that C is a constant of motion and that δ (y,ρ) ψ vanishes, giving Ψ 0 ≈ y −2 0 Θ C + ψ 0 with ψ 0 a fermionic constant. 5 Summarizing, the superdiffeomorphism Θ is such that, when the field equations hold, it transforms the conserved quantities of the system, y 0 and (C, ψ 0 ) into the fields Y and Ψ, respectively. This is reminiscent of the Hamilton-Jacobi theory, where through a canonical transformation, the dynamics of the system is defined in terms of coordinates that are constants of motion. In the present case, the superreparametrization Θ plays the role of a canonical transformation.

Boundary term
Let us turn to the variation of I B . Considering the family of fields (4.4) subject to the integrability condition (4.5), the variation of the boundary action (4.3) becomes The third term in the above expression is dismissed since it is a total super derivative that vanishes due to the periodicity conditions on the superfield. For the second term, we use the on-shell condition Ψ 0 ≈ Θy −2 0 C + ψ 0 , which transforms it into For a generic constant value of the Casimir C, the latter term vanishes by demanding that β is a state-independent function. Another way of dealing with this term is considering configurations with C = 0, and as will be seen in section 6.2, this assumption turns out to be consistent with a boundary dynamics controlled by the action of the N = 1 superparticle. The first term in (4.7) defines a local expression for I B . By pulling out the delta from it, the boundary term reads

JHEP11(2018)077
Having the boundary term I B to render the action well-defined allows us to compute the value of I = I bulk + I B for classical configurations. Once the equations of motion hold, I bulk vanishes and the on-shell action value is fully determined by I B , then This expression is in agreement with the one obtained in the bosonic case [18,38].

Regularity conditions: holonomy and super-Hill equation
Euclidean black holes are smooth geometries as long as the time period is identified with the inverse of the Hawking temperature. In a gauge formulation, this requires the holonomy H C [A] to be trivial along a contractible cycle C. For osp(2, 1), the previous condition takes the form 6 Different signs in (5.1) are related to the possible spinorial representations; the center group element Γ + is consistent with fermions satisfying Ramond (periodic) boundary conditions, while Γ − is associated to fermions obeying Neveu-Schwarz (anti-periodic) boundary conditions. 7 In order to evaluate (5.1), we consider the most general solution satisfying (3.

3) and (3.4). These are configurations of the form
Thus, in this case the holonomy condition becomes H C [a] = Γ ± and C is chosen to be the thermal circle 0 < τ ≤ β. Since we can always write the radial independent connection as a = u du −1 , the holonomy is reduced to H C [a] = u(β)u(0) −1 . Regularity of the searchedfor solutions requires to find a group element u satisfying the boundary condition u(β) = Γ ± u(0). To do so, let us note that u can be written in terms of two independent threedimensional row vectors, ϕ (1) and ϕ (2) , as where ϕ (1) and ϕ (2) are independent solutions to the super-Hill equation (1) and Ψ given in (3.16). When using the fact that (5.4) is covariant under the super-Virasoro group [46,47] and that Φ respects the boundary conditions for the group element, one can always perform JHEP11(2018)077 a superdiffeomorphism and study solutions of (5.4) for a constant superfield Ψ * . Note that finding this superfield means that we are able to obtain solutions for a collection of densities Ψ connected to Ψ * by a superdiffeomorphism. More precisely, Ψ belongs to a super-Virasoro coadjoint orbit defined as quotient space between SDiff(S 1 ) modulo the transformations leaving Ψ * fixed. We characterize this orbit as follows. The solution of (5.4) for a constant Ψ * states that Φ is of the form e ±i √ L * τ . The boundary conditions on the group element u(β) = Γ ± u(0) demand where n is an arbitrary (half-)integer for (anti)periodic boundary conditions. In the Neveu-Schwarz sector the fermionic field ψ * has to vanish and the little group associated to Ψ * is a 2n-cover of OSp(2, 1). Thus, in the simplest case n = 1 2 , the superfield Ψ stands for an element of the coadjoint orbit SDiff(S 1 )/OSp(2, 1).
In the Ramond sector, there is not any condition on the fermionic field ψ * . Generically, the isotropy group of Ψ * is U(1). Then, Ψ is a representative of the orbit SDiff(S 1 )/U(1). For the specific case L * = 0 the little group becomes a graded extension of U(1), while for ψ * = 0, the little group corresponds to a 2n-cover of OSp (2,1).
In order to make contact with the Hawking temperature we will restrict, unless otherwise stated, to the Neveu-Schwarz sector and for definiteness we set n = 1 2 .

Boundary dynamics
As concluded in section 4, the variational principle for dilaton supergravity dictates that the bulk action has to be supplemented by the boundary term (4.9). In this section it is shown that, for the considered class of configurations, this boundary term actually controls the boundary dynamics of the theory. For doing this, we will gradually reduce the action in two steps: (i) Evaluate the theory on the constraint surface, and make use of the asymptotic conditions (3.2).
(ii) Restrict the phase space to the one of regular solutions.

N = 1 super-Schwarzian action
In order to proceed with the proposed steps it is necessary to write the action in a Hamiltonian form, which can be done by splitting the field components in space and time. Thus, the variational principle (4.1) becomes

JHEP11(2018)077
Note that the second term of (6.1) has been written in terms of the radial-independent fields x and a τ , by virtue of the asymptotic conditions (3.2). Let us apply step (i). The variation of (6.1) with respect to the Lagrange multiplier A τ implies the constraint G = 0. Its solution is generically given by Once the constraint is satisfied, the remaining bulk term appearing in (6.1) reduces to where we used that, according to (3.2), the group element G can be asymptotically factorized as G = g(τ )b(r). The group element g can be determined from the fact that, for this class of configurations, the gauge connection is asymptotically flat, then a τ = g −1 g . Additionally, one can also conclude that x 0 = gxg −1 . By taking in consideration the above, (6.4) can be written as which is exactly cancelled with the second term in (6.1). Hence, for the set of asymptotic conditions (3.2), the value of the action on the constraint surface is solely determined by the boundary term I B given in (4.9). By virtue of (3.17), the action (6.1) reduces to Here, the bulk inherited quantity Ψ plays the role of a source for the superreparametrization field Θ. At first glance, the reduced theory is invariant under the whole group of superdiffeomorphisms, whose infinitesimal transformation law for Ψ is given in (3.20) and the one for Θ reads However, we still have to implement the step (ii), which is performed as follows below. From the analysis made in section 5 [with n = 1 2 in (5.5)], regular solutions are given by elements whose representative belongs to a super-Virasoro coadjoint orbit. In turn, the symmetry of (6.6) is broken to the set of configurations satisfying δ χ Ψ * = 0, where χ generates the osp(2, 1) algebra. The boundary equations of motion that follow from (6.6) can be obtained by taking its variation with respect to the superreparametrization fields {T, Θ}. These are given by δ Y Ψ = 0, implying Casimir conservation ∂ τ C = 0, consistently with the variational principle.
In order to make contact with a more familiar representation of the boundary action (6.6), let us rewrite it in terms of the inverse superreparametrizations τ (T, Θ), θ(T, Θ). By means of the identity,

JHEP11(2018)077
we find that the boundary degrees of freedom are described by the N = 1 super-Schwarzian theory This action was shown to describe the Goldstone modes associated to the spontaneous superreparametrization symmetry breaking of the super-SYK model at the low temperature regime [19]. In the second order formulation of minimal dilaton supergravity, (6.10) has been also obtained in [27] using a different regularization procedure than the one described here.

N = 1 superparticle
In this subsection, we will show that for the class of configurations with a vanishing Casimir, the boundary dynamics of dilaton supergravity is rather governed by the N = 1 superparticle model. In order to obtain the corresponding action principle we recast the reparametrization field Θ in terms of a superfield K = q − θζ of conformal dimension − 1 2 , such that DΘ = K −1 , where q and ζ are commuting and anticommuting functions, respectively. In fact, by virtue of (6.7), the induced infinitesimal transformation law for K is given by as expected for its conformal weight. Considering the above, the parametrization for the dynamical variables (4.4) becomes By replacing this change of variables in (4.3) and taking under consideration the integrability condition (4.5), the variation of the boundary term is now given by The third term of (6.13) is a total derivative and thus is dismissed. The second term cannot be integrated for arbitrary Ψ 0 . When restricting to configurations satisfying Ψ 0 = 0 we can get rid of this term. This is, in fact, the only possible choice consistent with supersymmetry (recall that Ψ 0 is an odd superfield, while K is even). In that case, only the first term contributes to I B , obtaining that its local expression is given by 14) The on-shell value of the bulk action for classical configurations is only given by the boundary term, which under the assumption Ψ 0 = 0 identically vanishes

JHEP11(2018)077
The residual dynamics is obtained by using the steps (i) and (ii) described at the beginning of this section. The action on the constraint surface gives which, at first sight, seems to be the superfield form of the N = 1 superconformal mechanics action without a self-interacting potential [25] The action (6.16) is invariant under SDiff(S 1 ). This is because of the presence of the external source Ψ * , which possesses conformal weight 3 2 . However, regular bulk configurations must respect the integrability condition Ψ 0 = 0. This restricts us to the Ramond sector of the holonomy operator (5.1), whose little group is graded U(1) with representatives L * = ψ * = 0. Hence, the boundary model effectively describes the free N = 1 superparticle.
Let us study the dynamics of the model. Taking the variation of (6.16) with respect to K yields the equations of motion which, by virtue of (6.12), directly imply Ψ 0 = 0 or similarly C = 0. This fact ensures that the parametrization of the boundary phase space in terms of the superdensity K (6.12) is consistent with the variational principle. Finally, we mention that C = 0 coincides with the existence condition of BPS-like states in the context of graded Poisson sigma models [48]. Therefore, bulk configurations with unbroken supersymmetries necessarily reduce their dynamics to a free superparticle model.

Extended dilaton supergravity
Dilaton supergravity in 2D can be easily generalized in order to accommodate N gravitini ψ A corresponding to Majorana spinors. This can be achieved by enlarging the gauge group of the BF action (2.5) to OSp(2, N), where it is necessary to introduce additional SO(N ) gauge fields Y AB and C AB . In this case, X and A, given by are evaluated on the osp (2, N ) algebra:

JHEP11(2018)077
The capital latin letters A, B, C, D, . . . , that label the generators T AB = −T BA of the SO(N ) subgroup, run from 1 to N . We choose the supertrace whose nonvanishing components are given by (see appendix A) Taking into consideration the above definitions, one obtains that the field strength associated with the gauge field A reads Here, the curvature R I is given in the first equation of (2.10), while the covariant derivative acting on spinors and the field strength associated to C are given by respectively. By replacing (7.1), (7.2) into (2.5) and then using the supertrace (7.6), the action for the extended supergravity theory becomes As in the N = 1 case, the field equations (2.8) impose that the dilaton X must be the stabilizer of the flat gauge connection A. Action (7.10) is invariant under the following local extended supersymmetry transformations which can be obtained from (2.11) by considering the gauge parameter η = α A Q A α .

Asymptotic conditions
The objective of this subsection is to study asymptotic configurations that are left invariant under the group of extended superdiffeomorphisms on the circle. Such group comprises diffeomorphisms ξ(τ ), local supersymmetry transformations A (τ ) and internal SO(N ) gauge symmetries µ AB (τ ). The analysis of the asymptotic symmetries is performed by imposing the condition (2.11) modulo trivial gauge transformations of the form (2.12).

JHEP11(2018)077
The configurations of interest can be expressed as in (3.2) where the gauge field a and the radial independent dilaton x are given by This set of fall-off conditions is a consistent extension of the minimal supersymmetric case (3.3) and (3.4). Here, we have considered the following basis for the osp(2, N) algebra (see appendix A) with m, n = ±1, 0 and p, q = ± 1 2 . As explained in section 3, the Lie-algebra-parameter singles out the gauge transformations that keep invariant the asymptotic behavior (7.14) and (7.15) as long as the transformation laws of the fields take the following form This set of infinitesimal transformations defines the action of the SO(N )-extended super-Virasoro algebra [49,50] on the dynamical fields. In the generic case, the transformations are quadratic in the affine so(N ) currents P AB . However, for N = 2 the non-linear terms appearing in δψ A and δλ AB cancel out each other, leaving the transformation laws linear. As was shown in section 6, the boundary dynamics of the N = 1 case is controlled by a finite superdiffeomorphism Θ. This is a property associated to the asymptotic symmetry group. Due to the non-linearities present in (7.21), the corresponding group structure is JHEP11(2018)077 not completely understood for generic N . Since only the SO(2)-extended super-Virasoro algebra reproduces linear transformations in the fields, in the remainder of this section we will restrict ourselves to that case only.
Even though we do not have a representation for finite transformations with N > 2, one can use the relation between dilaton gravity and the action of the particle on a group manifold [18,51,52] to find suitable boundary theories for the breaking of the SO(N )extended superreparametrization groups. This connection will be studied in section 8.

N = 2 superspace formulation
Hereafter, we will make use of the extended superspace formalism to represent the field content and the action of the asymptotic symmetry group. In accordance with [53], we will denote the supercoordinates as the set z = (τ, θ 1 , θ 2 ). The corresponding covariant The requirement that D A transforms covariantly, i.e., D A = D AθB D B leads to the following constraints An infinitesimal superreparametrization can be written as δτ It is then found thatθ A transforms as The field content can be arranged in the following superfields so that it reproduces the action of the asymptotic symmetry group. In the case of Ψ, it can be seen that its finite transformation corresponds to the coadjoint action of the N = 2 super-Virasoro group [41,46,47,54] on a quasi-primary field of conformal weight one. The coadjoint action is dictated bỹ where Ω stands for the determinant of D AθB and S (2) is the generalization of the Schwarzian derivative. Infinitesimally, (7.31) reproduces the transformations of the fields (7.20), (7.21), (7.22) for the N = 2 case by means of (7.28). Furthermore, under the same group action, Y transforms asỸ from which it is recognized that Y is a vector superfield. Noteworthy, by virtue of (7.28), the infinitesimal version of (7.32) reproduces (7.23), (7.24), (7.25).

Action principle for N = 2 dilaton supergravity
It is necessary to provide a well-defined variational principle for (7.10) associated to the set of extended asymptotic conditions (3.2). As before, the enhanced action, given by the bulk term (7.10) plus a boundary term I B , has an extremum as long as By using the superfields defined in (7.29) and (7.30) we can express the above integral as where Berezin integration is defined by dθ 1 dθ 2 θ 1 θ 2 = 1 and dθ 1 dθ 2 = 0.

Phase space
Analogously to N = 1, we parametrize the phase space by means of N = 2 super-Virasoro coadjoint orbits. Then, the superfields Y and Ψ can be written as where Ω Θ = det(D A Θ B ) and T is the coordinate associated to the constraint D C T = Θ A D C Θ A . Here, we choose Θ A to be the reparametrization that brings Y into a constant y 0 . In what follows we will assume that y 0 is a fixed constant without variation, i.e., δy 0 = 0. Before analyzing the boundary term that makes the variational principle well-defined, let us discuss the relation between Ψ 0 and the conserved charges when the field equations are satisfied. If one takes two successive supercovariant derivates to Ψ 0 with respect to Θ 2 and Θ 1 , we find that where C is the asymptotic value of the Casimir, that by virtue of its definition in (2.14) is given by On-shell, equation (7.36) can be solved to obtain where ψ AB are two extra possible on-shell constants. We can again conclude that Θ A brings Ψ to the frame where its components are defined in terms of the constants of motion (C, ψ

Boundary term
Let us go back to (7.34) using the reduced phase space defined by (7.35). Plugging in these expressions, it is found that Here, the last term is a total derivative that vanishes due to the periodicity of the fields. In order to provide a local expression for I B we need to deal with the integrability problem present in the second term of (7.39). Imposing the on-shell condition (7.38), this term becomes We must express the latter integral in terms of T and Θ A . Since the Berezinian between z and (T, Θ A ) is the identity, the right-hand side of (7.40) is zero since β is a state independent function. Bear in mind that this derivation is only valid for the case C = 0. As it will be explained in section 7.6, the case C = 0 needs an special treatment and in fact the term in (7.40) will yield a new contribution to I B . Indeed, it will be proved that this enhancement leads to the action of N = 2 superconformal mechanics. The remaining term in (7.39) defines the value of the boundary term The value of the on-shell action is again given by the boundary term I B . In terms of the Casimir function this value takes the same the form as in (4.10).

Regularity conditions: extended super-Hill equation
The asymptotic symmetry breaking exhibited in the case with N = 1 replicates in the model with extended supersymmetries. For seeing this, let us proceed to find the class of configurations satisfying trivial holonomy around the thermal circle C. The generalization of the center group element to OSp(2, N) is given by Thus, from a = udu −1 one translates the trivial holonomy condition H C [a] = Γ ± to the boundary condition for the group element u(β) = Γ ± u(0). In order to determine u for the case at hand, we have to consider the expression of the gauge connection a (7.14) and the matrix representation of the OSp(2, 2) generators (see appendix A). It is then found that, in terms of 3 independent 4−dimensional row vectors ϕ A (1) and ϕ (2) , the group element reads

JHEP11(2018)077
where ϕ (1)A and ϕ (2) are solutions to the N = 2 super-Hill equation (2) , with P = 1 2 AB P AB and Ψ given in (7.29). Thus, the components of Φ must satisfy the following equations For solving (7.44), we will use the fact that the extended super-Hill equation is covariant under the group of extended superreparametrizations [46,47], one is then allowed to take the system to the rest frame, where the supercurrent Ψ = Ψ * is constant. In the Neveu-Schwarz sector, u(β) = Γ − u(0), it is found that ψ A * must vanish and thus the above equations decouple. It follows that where n and m are restricted to be half-integers and integers, respectively. In the case m = 0, the little group of Ψ * is given by a 2n-cover of OSp (2,2). In consequence, for n = 1 2 , Ψ corresponds to an element of the coadjoint orbit with OSp(2, 2) as little group [46,54].

N = 2 super-Schwarzian theory
As in the N = 1 case, shown in section 6, the variational principle for the N = 2 case evaluated on the constraint surface is also determined by the boundary term I B , given by (7.41). After using (7.31) to express Ψ 0 in terms of Ψ, we find

JHEP11(2018)077
The equations of motion are obtained varying with respect to {T, Θ A }, conditions that imply the conservation of the boundary Casimir, ∂ τ C = 0, being in complete agreement with the bulk dynamics. Additionally, the action (7.50) is invariant under the following transformations In order to fully describe the boundary dynamics of regular black holes geometries we must evaluate (7.51) and (7.52) in Ψ = Ψ * determined by (7.47). These configurations are invariant under a single cover of OSp (2,2) for the values n = 1 2 and m = 0, therefore we choose Ψ * = π 2 β 2 θ 1 θ 2 . Similarly to what was done in section 6, it is useful to express (7.50) in terms of z(T, Θ A ). To achieve this, one can use the expression of the super-Schwarzian function transforming under superreparametrizations such that where Ω z is the determinant associated to the inverse of D A Θ B . Thus, we have obtained that the boundary dynamics -for bulk configurations with a nonvanishing Casimirturns out to be controlled by the N = 2 super-Schwarzian action, whose form was first proposed in [19]. It has been argued in [27], that through a different regularization method, the second order formulation of N = (2, 2) dilaton supergravity yields the zero temperature version of (7.54).

N = 2 superconformal mechanics
Here, we will study the boundary dynamics associated to the class of configurations that possesses a vanishing Casimir function. In this case the bulk action is shown to reduce to the one of N = 2 superconformal mechanics, whose space of solutions corresponds to the orbit of bulk BPS states. The latter fact is in fully agreement with the observation made in section 6.2 for the N = 1 case. Let us proceed by writing the determinant of the extended superdiffeomorphism Θ A as Ω Θ = K −2 , where K = q − θ A ζ A + θ 1 θ 2 u is an even superfield of conformal dimension − 1 2 . In terms of K, the phase space (7.35) becomes For these configurations, the variation of I B is given by

JHEP11(2018)077
In order to integrate the second term it is necessary to impose an integrability condition on Ψ 0 . Since Ψ 0 stands for an even superfield, one could consider the set of configurations satisfying Ψ 0 ≈ g , (7.57) with g a constant without variation. From (7.38), it can be seen that, in terms of supercoordinates Θ A , this means that the asymptotic value of the Casimir function (7.37) vanishes and P = −g. Within this set of solutions, the second term in (7.56) can be easily integrated yielding − ky 0 π g dz log(K) .
Thus, the action principle I bulk + I B is well defined for configurations that satisfy (7.57). We then must evaluate the action on the constraint surface, which implies that its value is only given by I B . Using (7.55) to express Ψ 0 in terms of Ψ and K, and integrating by parts, we find that The action of the reduced theory (7.59) corresponds to the one of N = 2 superconformal mechanics, that besides of being endowed with an inverse square potential, it contains a harmonic-like term with coupling constant g. This latter term ensures the existence of a ground state at quantum level [23][24][25]. 8 Due to the presence of the external source Ψ, the action (7.59) is seemingly invariant under the entire SDiff(S 1 ) group with N = 2. Nonetheless, consistency with integrability condition (7.57) imposes that L * = 0, ψ A * = 0, P * = −g. By virtue of regularity (see section 7.5) the latter representative is only consistent with periodic boundary conditions (taking Γ + in (7.42), which in turn, is determined by (7.47) with n = m. This fact breaks the N = 2 SDiff(S 1 ) symmetry down to a graded U(1) symmetry and additionally imposes the following quantization condition on the coupling constant On-shell, the boundary dynamics of (7.59) encodes the set of configurations considered in this section. Indeed, the equation of motion that follows from the action principle reads which is nothing but condition (7.57). Thus, as anticipated at the beginning of this subsection, solutions of the boundary model (7.59) are mapped into ground states of the bulk theory, that according to [48] correspond to bulk BPS-like states.

JHEP11(2018)077
8 Particle on a supergroup manifold So far, we have successfully determined the boundary dynamics associated to N = 1 and N = 2 dilaton supergravity equipped with the set of asymptotic conditions introduced in sections 3.1 and 7.2, respectively. The crucial point in these derivations has been to find consistent integrability conditions between the fields X and A such that the boundary term required for the variational principle, yields a local expression for I B . In order to deal with the integrability of (8.1) for N > 2, we will consider the set of asymptotic conditions consistent with the loop group of OSp(2, N), and then impose an appropriate boundary condition between A and X. It will be also shown that the above treatment allows to reduce the dynamics of the theory to the one of a particle moving in a group manifold.
In a second stage, we restrict ourselves to asymptotically AdS 2 supergeometries (7.14) containing a fluctuating dilaton multiplet. This is achieved by applying a suitable Hamiltonian reduction that yields some constraints on the particle model. Finally, we consider geometries representing the orbit of regular black hole solutions. These reductions not only agree with the results obtained in the previous sections for N = 1 and N = 2 cases but also extend them to N > 2, which lead to a generic class of super-Schwarzian actions for generic OSp(2, N) dilaton supergravity models.

Integrability condition and regularized action principle
We parameterize our asymptotic conditions as in (3.2), We assume that the radial-independent fields a and x satisfy the following integrability condition with f τ an arbitrary function that is assumed to play the role of a one-form component.
It must be noted that the integrability condition (8.3) has been previously used for JT gravity [51] and for suitable bosonic extensions thereof [18,52]. The solution space of x constraining by (8.3) reduces the dilaton equation δ X A = 0 to ∂ τ x = 0. Combining the above to the fact that the gauge connection is flat a τ = g −1 ∂ τ g, we find that the group element g obeys the following condition which turns out to be the equation of motion for a particle in a group manifold. The variational principle that leads to equations (8.4) will be obtained by regularizing the BF model through the integration of (8.1). For this, we make use of the asymptotic JHEP11(2018)077 conditions (8.2) together with (8.3). Thus, by assuming that f τ has a fixed zero mode, it follows that the integrated expression for I B is given by The integrability conditions (8.3) play the same role as boundary conditions on canonical variables. In a theory with n canonical pairs (q i , p i ) one has to impose n boundary conditions to achieve a consistent variation principle. Here, we also imposed n conditions on n pairs of boundary variables (a, x), but we managed to do better: the conditions (8.3) contain an arbitrary function f τ that fluctuates freely except for the zero mode.
We recall that the full action principle consists of the BF bulk piece (2.5) plus the boundary term I B (8.5). Nonetheless, as shown in section 6, once the theory is evaluated on the constraint surface, the action becomes the boundary term I B by virtue of the asymptotic conditions (8.2). Therefore, from (8.3) one obtains that the action reduces to Here, we have used that f τ = 1 y 0 ∂ τ f ensuring that f τ has a fixed zero mode. The set of symmetries, making I red [g] invariant, corresponds to left and right multiplications where h L and h R are constant elements of OSp(2, N). The action on the right is the residual symmetry subjects to the integrability condition (8.3). On the other hand, left symmetry appears after imposing that a τ dτ is a flat connection defined by a left invariant Maurer-Cartan form. In the next section we will see how the right symmetry is lost after restricting the phase space to asymptotically AdS spaces, and that the left symmetry, which is the only one that persists, implements the OSp(2, N) symmetry in the super-Schwarzian theory at the boundary.

Hamiltonian reduction: extended super-Schwarzian action
The purpose of this subsection is to constrict the configurations to be asymptotically AdS 2 supergeometries, which results in the following form of the gauge field Subsequently, the Hamiltonian reduction is performed by considering the Gauss decomposition of an arbitrary OSp(2, N) group element 9 See appendix A for an explicit matrix representation of g.

JHEP11(2018)077
whose associated Maurer-Cartan form is assumed to be equal to the gauge field encoding the AdS 2 supergeometries (8.8), i.e. a f = g −1 ∂ f g. This equality leads to the set of relations D and primes denote differentiation with respect to f . At this point, one can notice that the condition g −1 ∂ f g = L 1 + · · · fixes the right symmetry (h R ) to be generated only by L 1 . One can completely fix this residual freedom by absorbing h R in a redefinition of the function h(f ) appearing in (8.9) and thus the right action is not a symmetry of the reduced action principle anymore.
By replacing (8.8) in (8.6), the reduced action becomes Then, we proceed to compute L in terms of the fields defining the Gauss decomposition (8.9). One can readily see from (8.10) that in terms of the field (q, ζ A , M AB ) the reduced model corresponds to the action of a free superparticle related to the coadjoint orbit passing through L * = P AB * = ψ A * = 0. On the other hand, solving the constraints (8.13) in terms of the variables (h, η A , M AB ) we are able to find a generalization of the super-Schwarzian action. In this case, (8.10) takes the following form ) which turns out to be an explicit representation of the extended super-Schwarzian as it is invariant under global OSp(2, N) transformations inherited from the left action (8.7). Infinitesimally, this corresponds to δg = λ L g that in terms of the fields h, η A , M AB reads with Lie-algebra-parameter λ L = ξ m L m + A p G A p + 1 2 ρ AB T AB . Until now we have constructed the super-Schwarzian theory at zero temperature. To introduce finite temperature, we need to provide a map in such a way that the connection a in (8.8) lie on the orbit of configurations with trivial holonomy, L * = π 2 β 2 and ψ A * = -25 -

JHEP11(2018)077
P AB * = 0. This restriction is ensured by introducing new fields θ(f ) and ν A (f ) through the following map where ν A (f + 2π) = ν A (f ) and θ satisfies θ(f + 2π) = θ(f ) + 2π (for definiteness we assume that β = 2π). We can prove that this is the right map by studying the perturbations of the Lagrangian (8.15) around the saddle solution with ε, ν A and σ AB small deviations. Keeping up to quadratic terms, we find Recalling that β = 2π, the above relation shows that (8.20) is a perturbation of the point L = π 2 /β 2 . Furthermore, they vanish for osp(2, N) transformations with n = 0, ±1, p = ± 1 2 and σ 0 AB a constant so(N ) Lie algebra element. This last step tells us that map (8.19) brings the system to the orbit associated to the Neveu-Schwarz sector [Γ − for N = 1 and N = 2 in (7.42)].

Beyond the highest-weight ansatz
Usually, the gauge connection a is considered to have highest-weight form For example, it can be easily shown that the connections (3.3) and (7.14) fulfill the highestweight condition (9.2). The main motivation for this choice is that the leading terms in the metric are fixed, which simplifies the analysis considerably.
In [38] more general boundary conditions for JT gravity were considered that went beyond the highest weight ansatz allowing all fields in the sl (2) basis to fluctuate. In this section, we show that one can consider more general sets of AdS 2 boundary conditions also in the supergravity context.
Note, that the construction of the boundary action and the integrability conditions of section 8.1 do not rely on the highest-weight ansatz and thus can be used to address the consistency of the variation principle for the boundary conditions described below.
In this section, we shall only analyze the asymptotic symmetries. The full analysis of boundary theories shall be postponed to some future work.

Some field redefinitions
Our strategy is quite simple. First we define for each set of boundary conditions the set of large gauge transformations that preserve the form of asymptotic fields. Then we make some redefinitions of the fields and the transformation parameters, so that the action of asymptotic symmetries coincides with a representation of a known algebra. This algebra is then identified with the asymptotic symmetry transformations for that boundary conditions. Of course, the success of this procedure depends on our ability to find the right redefinitions. The method is thus non-generic. It works for the cases that we list below. In this subsection we present some general redefinitions that we write for any osp(2, N) model.
For our purposes it is enough to analyze the connection variables only. Let us write the asymptotic field a [see (8.2)] in components as Note that in contrast to (3.3) and (7.14), all fields in the osp(2, N) basis of the gauge connection (9.3) are allowed to vary.

Now, let us rescale the fermionic fields, ψ +
In the absence of fermions and SO(N ) gauge fields, L in (9.6) reduces to the mass function defined in [38]. We also write in components the parameter of asymptotic symmetry transformations that is assumed to depend on τ only. The components of a are transformed as It is useful to introduce new transformation parameters ξ = L + −1 ξ + (9.13)

Loop group boundary condition
Our first example corresponds to the case when all components of the boundary connection a are allowed to vary. This form of boundary conditions is preserved by arbitrary gauge transformations with the parameters ξ m (τ ), α (τ ) that depend just on the boundary coordinate τ . The corresponding asymptotic algebra is just the algebra of one-dimensional osp(2, 1) gauge transformations or the current algebra of osp(2, 1). This very simple example has a rather important property. The asymptotic symmetry algebra obtained contains two independent one-dimensional supergenerators, i.e. we have an N = 2 boundary supersymmetry. Unfortunately, we were not able to get such an extended supersymmetry in less trivial examples.
The gauge parameter preserving these boundary conditions is The transformations (9.10), (9.11) of L and ψ take the form (3.7) and (3.8), thus giving the superconformal symmetry algebra that has been considered in detail above.

Warped superconformal boundary condition
Let us set L 0 = ψ 1 2 = 0 while allowing L ± and ψ − ≡ ψ to vary. Through the conditions δL 0 = δψ 1 2 = 0, we can express the parameters ξ − and − 1 2 in terms of ξ 0 , ξ and We have the following transformation rules Note that J is unaffected by the supersymmetry, and ψ transforms as warped superconformal algebra (see e.g. [56]) with a twist term. For vanishing fermions it reduces to the algebra (6.28) in [38]. Using as generators Fourier modes for the functions J , L, ψ with normalizations L n = k/(2π) e inτ L dτ (and similarly for J n and ψ n ), shifting λ := ξ 0 + ξ , and converting the transformation behavior above into commutation relations yields the (untwisted) warped superconformal algebra, The condition δψ 1 2 = 0 leads to an expression for ξ + through ξ and σ, Thus, we have the following transformation rules for gauges fields To remove non-linearities in δT we redefine the parameter α as α = − 1 2 λ + T ξ + ψ , yielding The parameter ξ 0 only appears in δL 0 which now reads The algebra is linear and closed on (J , T , L 0 , ψ). It is an N = 1 super Virasoro plus a u(1) current algebra plus translations on L 0 . Except for the translations, this algebra is the same as we had in the previous section for the warped conformal case.

Loop group boundary condition
By allowing all components in the connection to fluctuate, exactly as we did in section 9.2.1 for N = 1, one obtains that the current algebra of osp(2, 2) plays the role of an asymptotic symmetry algebra. Again, the doubled number of one-dimensional supersymmetries is the main lesson here.

Extended superconformal boundary condition
Let us impose the boundary conditions L 0 = 0, L + = 1 and ψ 1 2 A = 0. Stability of these conditions under the gauge transformations implies the following relations on the gauge parameter components Equations (9.41) and (7.21) coincide for N = 2. Furthermore, L, ψ A and P AB generate one copy of the SO(2)-extended super-Virasoro algebra.

Extended warped superconformal boundary condition
Now, we relax the restriction on L + and require L 0 = ψ 1 2 = 0 leaving L as defined in (9.6) with (9.7), J = − 1 2 ∂ τ ln L + , ψ A = ψ − A and P AB = S AB to vary on the boundary. The above conditions imply the following relations on the parameters The transformation of J , L and ψ A read (using again λ := ξ 0 + ξ ) δJ = − 1 2 λ + J ξ + J ξ (9.45) δL = 1 2 ξ + 2ξ L + L ξ + 3ψ A A + ψ A A − P AB µ AB (9.46)  The transformation of J is equal to the one for the warped superconformal case (9.19), meaning that J is also unaffected by the SO(2) gauge transformations. The algebra of J , L, ψ A , P AB corresponds to the extended warped superconformal algebra.

Concluding remarks
We have provided a consistent set of asymptotic conditions for two-dimensional dilaton supergravity preserved by the SO(N )-extended group of reparametrizations of the supercircle. This fall-off was shown to be relaxed enough in order to permit the fluctuation of the dilaton multiplet without spoiling the superreparametrization symmetry at infinity. Through a detailed analysis of the asymptotic dynamics of the model, we have established that the boundary theory strongly depends on the coadjoint orbits associated to the super-Virasoro algebra. When considering orbits associated to black hole solutions, the boundary field corresponds to a superdiffeomorphism, whose dynamics is controlled by the extended super-Schwarzian theory. On the other hand, the orbits where the representative vanishes -as BPS states -lead to a dynamics described by (super)conformal quantum mechanics for N ≤ 2, and the extended free superparticle for N > 2. The results are summarized in table 1. These are the first steps towards the understanding of the relation between quantum dilaton supergravity and its corresponding supersymmetric dual. In connection with recent results, we would like to extend the analysis of [57,58] by tracing the relation between Wilson lines and entanglement entropy in the supersymmetric BF formulation with the corresponding boundary observables. Furthermore, it would be interesting to understand the consequences of the different asymptotic dynamics in the factorization problem of quantum dilaton supergravity. One important step here is to expand the analysis of [59] to the supersymmetric case with Lorentzian signature.
As shown along this work, the group structure of the asymptotic symmetries associated to the theory allows to determine in a consistent manner its boundary dynamics. Thus, for instance, in view of the results obtained in [36,37], it would be interesting to explore whether it is possible to obtain a reparametrization theory from generalized models of dilaton (super)gravity [60]. Another interesting aspect to explore is related to non-perturbative local quantum triviality of bosonic [61] and supersymmetric [62] dilaton theories in 2D. The

JHEP11(2018)077
absence of any local quantum effects suggests that these theories are fully equivalent to some effective quantum theories at the boundary.

A Matrix representation of OSp(2, N)
The osp(2, N) algebra is given by The invariant bilinear metric associated to osp(2, N) is given by the supertrace, whose nonvanishing components are chosen as which is identically satisfied by the spinorial representation of osp(2, N);

JHEP11(2018)077
An explicit matrix representation for the Γ-matrices is given by In order to perform the analysis of the asymptotic structure of the theory it is useful to express osp(2, N) as follows where the map of the generators is given by The matrix representation in this basis reads The nonvanishing components of the supertrace are now given by respectively.

JHEP11(2018)077
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.