Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userPresymplectic AKSZ formulation of Einstein gravity
90
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Any local gauge theory can be represented as an AKSZ sigma model (upon parameterization if necessary). However, for non-topological models in dimension higher than 1 the target space is necessarily infinite-dimensional. The interesting alternative known for some time is to allow for degenerate presymplectic structure in the target space. This leads to a very concise AKSZ-like representation for frame-like Lagrangians of gauge systems. In this work we concentrate on Einstein gravity and show that not only the Lagrangian but also the full-scale Batalin--Vilkovisky formulation is naturally encoded in the presymplectic AKSZ formulation, giving an elegant supergeometrical construction of BV for Cartan-Weyl action. The same applies to the main structures of the respective Hamiltonian BFV formulation.
rate research
Read More
We formulate the most general gravitational models with constant negative curvature (hyperbolic gravity) on an arbitrary orientable two-dimensional surface of genus $g$ with $b$ circle boundaries in terms of a $text{PSL}(2,mathbb R)_partial$ gauge theory of flat connections. This includes the usual JT gravity with Dirichlet boundary conditions for the dilaton field as a special case. A key ingredient is to realize that the correct gauge group is not the full $text{PSL}(2,mathbb R)$, but a subgroup $text{PSL}(2,mathbb R)_{partial}$ of gauge transformations that go to $text{U}(1)$ local rotations on the boundary. We find four possible classes of boundary conditions, with associated boundary terms, that can be applied to each boundary component independently. Class I has five inequivalent variants, corresponding to geodesic boundaries of fixed length, cusps, conical defects of fixed angle or large cylinder-shaped asymptotic regions with boundaries of fixed lengths and extrinsic curvatures one or greater than one. Class II precisely reproduces the usual JT gravity. In particular, the crucial extrinsic curvature boundary term of the usual second order formulation is automatically generated by the gauge theory boundary term. Class III is a more exotic possibility for which the integrated extrinsic curvature is fixed on the boundary. Class IV is the Legendre transform of class II; the constraint of fixed length is replaced by a boundary cosmological constant term.
It is well-known that a Lagrangian induces a compatible presymplectic form on the equation manifold (stationary surface, understood as a submanifold of the respective jet-space). Given an equation manifold and a compatible presymplectic form therein, we define the first-order Lagrangian system which is formulated in terms of the intrinsic geometry of the equation manifold. It has a structure of a presymplectic AKSZ sigma model for which the equation manifold, equipped with the presymplectic form and the horizontal differential, serves as the target space. For a wide class of systems (but not all) we show that if the presymplectic structure originates from a given Lagrangian, the proposed first-order Lagrangian is equivalent to the initial one and hence the Lagrangian per se can be entirely encoded in terms of the intrinsic geometry of its stationary surface. If the compatible presymplectic structure is generic, the proposed Lagrangian is only a partial one in the sense that its stationary surface contains the initial equation manifold but does not necessarily coincide with it.
We discuss a general procedure to encode the reduction of the target space geometry into AKSZ sigma models. This is done by considering the AKSZ construction with target the BFV model for constrained graded symplectic manifolds. We investigate the relation between this sigma model and the one with the reduced structure. We also discuss several examples in dimension two and three when the symmetries come from Lie group actions and systematically recover models already proposed in the literature.
We study an $SO(1,3)$ pure connection formulation in four dimensions for real-valued fields, inspired by the Capovilla, Dell and Jacobson complex self-dual approach. By considering the CMPR BF action, also, taking into account a more general class of the Cartan-Killing form for the Lie algebra $mathfrak{so(1,3)}$ and by refining the structure of the Lagrange multipliers, we integrate out the metric variables in order to obtain the pure connection action. Once we have obtained this action, we impose certain restrictions on the Lagrange multipliers, in such a way that the equations of motion led us to a family of torsionless conformally flat Einstein manifolds, parametrized by two numbers. Finally, we show that, by a suitable choice of parameters, that self-dual spaces (Anti-) De Sitter can be obtained.
A gauge PDE is a natural notion which arises by abstracting what physicists call a local gauge field theory defined in terms of BV-BRST differential (not necessarily Lagrangian). We study supergeometry of gauge PDEs paying particular attention to globally well-defined definitions and equivalences of such objects. We demonstrate that a natural geometrical language to work with gauge PDEs is that of $Q$-bundles. In particular, we demonstrate that any gauge PDE can be embedded into a super-jet bundle of the $Q$-bundle. This gives a globally well-defined version of the so-called parent formulation. In the case of reparameterization-invariant systems, the parent formulation takes the form of an AKSZ-type sigma model with an infinite-dimensional target space.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
