title: Presymplectic AKSZ formulation of Einstein gravity
authors: Maxim Grigoriev Alexei Kotov
text: 
  
  First-principles electronic structure, phonon properties, lattice thermal conductivity and prediction of figure of merit of FeVSb half-Heusler 
      Sudhir K. Pandey
      Received: date / Accepted: date
  ===============================================================================================================================================
  
  
  
  
  
  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.
  
  
  
  
  
  
  
  
  § INTRODUCTION
  
  
  Batalin-Vilkovisky (BV) formalism <cit.> has proved a powerful tool not only in quantization but more generally in analyzing physical content of gauge systems and even constructing new gauge models. In the context of local gauge theories the appropriate enhancement <cit.> (see also <cit.>  for earlier important developments) of the BV approach operates in terms of the jet-bundles associated to fields, ghost fields and antifields.
  
  If one is only interested in the equations of motion and hence disregards Lagrangians and associated graded symplectic structures the appropriate version <cit.> (see also <cit.>) of the local BV formalism can be formulated immediately in terms of manifolds which are more general than jet-bundles, giving a powerful generalization <cit.> of the standard approach and leading to more invariant and flexible description of gauge systems.
  
  More precisely, a generic local gauge field theory formulated at the level of equations of motion can be represented <cit.> as a nonlagrangian version <cit.> of AKSZ-type sigma model, whose target space is a BV jet-bundle of the system or one of its equivalent reductions. In this way one can define and analyze local gauge field theories in terms of generic Q-manifolds that are not necessarily jet-bundles. This approach can be regarded as a BV extension of the invariant geometrical approach to PDEs <cit.> (see also <cit.>). It can also be considered as an extension of the AKSZ construction <cit.> to the case of not necessarily topological gauge theories. 
  
  At the Lagrangian level a generic local gauge system can be also represented <cit.> as an AKSZ-type sigma model whose target space is a suitably defined graded cotangent bundle over the jet-bundle associated to fields and ghosts or one of its equivalent reductions.  This approach also known as the Lagrangian parent formulation has certain remarkable features. In particular, just like conventional AKSZ sigma models it automatically contains  Batalin-Fradkin-Vilkovisky (BFV) <cit.> Hamiltonian formulation. Moreover, the approach gives a systematic way to derive frame-like description of the system: for instance in the case of Einstein gravity the familiar frame-like (also known as Cartan-Weyl) formulation <cit.> in terms of the frame-field and Lorentz connection can be systematically arrived at <cit.> as a suitable equivalent reduction of the parent formulation for the metric-like formulation of Einstein gravity.
  
  Despite its nice supergeometrical structure, the Lagrangian parent formulation involves an infinite tower of generalized auxiliary fields.  It turns out that by eliminating most of auxiliaries but at the same time trying to keep the supergeometrical structure intact one can naturally arrive at so-called presymplectic AKSZ formulations <cit.>. These have the form of finite-dimensional AKSZ sigma models whose target space presymplectic structure is allowed to be degenerate. In this way one can find elegant presymplectic AKSZ formulations <cit.> for a variety of gauge theories including the frame-like form of Einstein gravity. It turns out that the ghost-independent part of the presymplectic AKSZ action for gravity is precisely the Cartan-Weyl action. However, if space-time dimension is greater than 3 the BV-like 2-form defined on the space of supermaps to the target space is degenerate and the BV interpretation of such a presymplectic AKSZ sigma model has remained somewhat unclear. 
  
  Later on it was realised <cit.> that the presymplectic 2-form on the target space is closely related to a BV extension of the canonical 2-form on the stationary surface, which is induced by the Lagrangian. As we are going to see it can also be seen as a BV symplectic structure completed to a cocycle of the total differential ð+s and transferred to the minimal formulation of the BV-BRST complex.[The descent symplectic structures completing the BV symplectic structure have been discussed in <cit.>.] Here, ð denotes the horizontal differential and s the BV-BRST differential of the theory.
  
  In this work we concentrate on the example of Einstein Gravity and give a consistent interpretation of its presymplectic AKSZ formulation. More specifically, we demonstrate that the BV presymplectic 2-form on the space of supermaps is regular and factoring out its kernel results in the standard symplectic BV field-antifield configuration space while the AKSZ action functional induces the BV master action, giving  a concise and geometrical BV formulation of the frame-like gravity. Analogous procedure applied to the presymplectic AKSZ sigma model restricted to the spatial slice of the space-time results in the BFV phase space and 1-st class constraints of the frame-like gravity.   However the presymplectic structure in this case is not regular and the phase space is recovered as a maximal symplectic submanifold of the respective space of supermaps.  Up to this subtlety, just like in the case of usual AKSZ, its presymplectic version also contains both BV and BFV formulations. Note that the BFV  phase-space encoded in the proposed presymplectic formulation is precisely the one of <cit.>, where the relation between BV and BFV for the frame-like gravity has been recently studied.
  
  
  
  
  
  § PRESYMPLECTIC AKSZ FORM OF CARTAN-WEYL ACTION
  
  
  
  Let [1] be a linear space of Poincaré or (A)dS algebra in n dimensions with the degree shifted by 1 and regarded as a graded manifold. The standard coordinates  ξ^a,ρ^ab are Grassmann odd variables of degree 1 associated to the translation (transvections) and the Lorentz rotation generators respectively. The Lie algebra structure on  defines a Q-structure on [1], which can be identified with the Chevalley-Eilenberg (CE) differential of . In terms of the coordinates it is given by
  
      q ξ^a=ρ^a_b ξ^b ,     
      q ρ^ab=ρ^a_cρ^cb+λξ^aξ^b,
  
  
  where parameter λ is related to the cosmological constant through λ=-2Λ/(n-1)(n-2)). At λ=0 this gives CE differential of the Poincaré algebra. 
  
  On [1] there is a natural q-invariant presymplectic structure of degree n-1, which reads as <cit.>:
  
      ω^[1]= _abc(ξ) dξ^adρ^bc ,    _a_1… a_k(ξ)=1/(n-k)!ϵ_a_1… a_kb_1… b_n-kξ^b_1…ξ^b_n-k .
  
  
  It follows from L_qω^[1]=0 and 
  d ω^[1]=0 that d_qω^[1]=0 and hence
  
      _q ω^[1] =d ,     _q_qω^[1]=0=q ,
  
  for some function  of degree n. Furthermore, there exists a presymplectic potential χ∈Λ^1([1]) such that ω^[1]=dχ. In the case at hand one can take:
  
      χ= _ab(ξ) dρ^ab ,     =
       _ab(ξ)(ρ^a_cρ^c b+(n-2)λ/nξ^aξ^b) .
  
  Note that in contrast to χ, which is defined up to a d-closed 1-form, function  is uniquely determined by ω^[1] and q.
  
  
  Let us consider the presymplectic AKSZ sigma model with the source space being (T[1]X,d_X), where X is a space-time manifold of dimension n>2 and d_X is the de Rham differential seen as a homological vector field on T[1]X, and the target space being ([1],q,ω^[1]). Maps from (T[1]X,d_X) to ([1],q,ω^[1]) are field configurations of the Cartan-Weyl formulation of gravity. Indeed, in terms of coordinates a map σ is parameterized by 
  
      σ^*(ξ^a)=e^a_μ(x) θ^μ ,     σ^*(ρ^ab)=ω^ab_μ(x) θ^μ ,
  
  where x^μ,θ^μ are standard local coordinates on T[1]X induced by local coordinate son the base X. Fields
  e^a_μ(x),ω^ab_μ(x) are identified with the usual frame field and Lorentz connection and, as usual, we require configurations to be such that e^a_μ(x) is invertible. 
  
  The data of AKSZ sigma-model determine the action functional as follows:
  
      S[σ]=∫_T[1]X( σ^*(χ)(d_X)+σ^*())
  
  where χ∈Λ^1([1]) and ∈Λ^0([1]) are given in (<ref>). In component one has:
  
      S[e,ω]=∫_X _ab(e) (d_X ω^ab+ω^a_cω^c b+(n-2)λ/ne^ae^b)=
      ∫_X _ab(e) (d_X ω^ab+ω^a_cω^c b)-2Λ(e)
  
  where fields e^a,ω^ab parameterize σ according to (<ref>) and the wedge product of space-time differential forms is assumed. This is indeed a familiar Cartan-Weyl action. 
  
  
  
  § BV-AKSZ INTERPRETATION OF THE MODEL
  
  If ω is nondegenerate (which is not the case for gravity in n>3) the BV formulation is extracted from the AKSZ data as follows: the BV field-antifield space is the space of supermaps from T[1]X to the target supermanifold.  In contrast to the space of maps the space of supermaps is a graded manifold. The coordinates there can be introduced as follows
  
      σ̂^*(ξ^a)=0ξ^a(x)+e^a_μ(x) θ^μ+2ξ^a_μν(x)θ^μθ^ν+… , 
      σ̂^*(ρ^ab)=0ρ^ab(x)ω^ab_μ(x) θ^μ+2ρ^ab_μν(x)θ^μθ^ν+… ,
  
  where now the form-degree k components carry ghost degree 1-k. The space of maps is recovered by setting to zero all the coordinates of nonvanishing degree.
  
  The target space symplectic structure ω^[1] determines a BV symplectic structure of degree -1 on the space of supermaps:
  
      ω^BV=∫_T[1]Xσ̂^*(ω^[1]_AB)δψ^A(x,θ)∧δψ^B(x,θ)
  
  where we introduced a collective notation ψ^A for target space coordinates ξ^a,ρ^ab and ψ^A(θ)=σ̂^*(ψ^A).  It is nondegenerate provided ω is. The BV action is given by
  
      S^BV[σ̂]=∫_T[1]X( σ̂^*(χ)(d_X)+σ̂^*()) ,
  
  where the difference with (<ref>) is in σ replaced by σ̂. In particular, setting fields of nonzero degree to zero one recovers (<ref>). 
  For further details and developments of the AKSZ approach we refer to <cit.>.
  
  In the presymplectic case one can still define
  the BV-like action (<ref>)
  and the presymplectic structure (<ref>) on the space of supermaps.  These satisfy an analog of the master equation that can be defined as follows: the homological vector field q in the target space and the de Rham differential d_X on X naturally define the BRST differential s on the space of supermaps <cit.>:
  
      s=∫ d^nx d^nθ (d_X ψ^A(x,θ)+q^A(ψ(x,θ))ψ^A(x,θ) .
  
  One can then check that by construction
  
      ω^BV(s,s)=0      _s ω^BV=δ S^BV ,
  
  modulo boundary terms.
  
  As we are going to see the presymplectic structure is  regular in a certain precise sense and hence it defines the symplectic structure on the symplectic quotient space, i.e. the space of leaves of the kernel distribution determined by ω^BV. One can then check that S^BV is annihilated (modulo boundary terms) by the distribution and hence defines a well defined functional on the space of leaves.  Moreover, in a similar way both s and ω^BV induces the respective structures on the quotient and altogether they satisfy the analog of (<ref>). Finally, because the presymplectic structure induced on the quotient is nondegenerate  (<ref>) implies usual BV master equation on the symplectic quotient and hence this data defines a conventional BV formulation on the symplectic quotient. 
  
  Furthermore, one can check that e^a_μ and ω^ab_μ are not in the kernel of ω^BV so that the ghost-independent part of the BV action on the quotient space is just the Cartan-Weyl action (<ref>). Together with the facts that the symplectic structure is nondegenerate on the quotient, the spectrum of ghost fields precisely corresponds to the gauge invariance of the action, and the master equation holds this implies that we have indeed arrived at the BV formulation of gravity in the Cartan-Weyl form.
  
  Because the above consideration deals with infinite-dimensional manifolds some care is required. However, as we are going to see in the next section the factorization boils down to that of the finite-dimensional manifold while the construction of basic objects can be made precise by employing the jet-bundle technique.
  
  Moreover, it turns out the symplectic quotient can be explicitly realised as a submanifold J_X(N) of the entire manifold J_X(M) of supermaps from T[1]X to [1], which is transversal to the kernel distribution. In this way S^BV,ω^BV on the quotient can be obtained by simply pulling back these structures to J_X(N). 
  
  It is important to stress that in order to study the theory there is no need to explicitly identify the symplectic quotient. The master equation, gauge fixing etc. can be implemented just in terms of J_X(M).
  Moreover, constraints determining the submanifold do not involve space-time derivatives so that they can be easily implemented e.g. in the path-integral and hence, at least formally, quantization can be also performed without explicit restriction to the symplectic quotient.  The formalism we have arrive at can be regarded as a presymplectic BV-AKSZ formalism or a version of BV-AKSZ formalism with constraints.
  
  
  
   §.§ The structure of the fiber and its symplectic quotient
  
  
  The space of (super)maps from T[1]X to [1] can be locally represented as the space of (super)maps from X to M, where M is a space of (super)maps from T_x[1]X to [1] for a given x∈ X. It is clear that M is finite-dimensional. If ψ^A and θ^μ are coordinates on [1] and T_x[1]X respectively then a generic supermap is determined by a function ψ^A(θ) whose coefficients  can be taken as coordinates on M. It is convenient to employ ψ^A(θ) as a generating function for coordinates on M.
  
  In the case at hand we chose M to be the space of supermaps from T_x[1]X to [1] satisfying the additional condition that the component e^a_μ entering ξ^a(θ) as e^a_μθ^μ is required to be nondegenerate. Speaking geometrically M is the fiber bundle over GL(n,).
  
  The presymplectic structure on [1] determines that on M via
  
      ω^M=∫ d^nθ  ω^[1]_AB(ψ(θ))dψ^A(θ)
          ∧ dψ^B(θ) ,
  
  where dψ^A(θ) is a generating function for basis differentials of coordinates on M. To analyse the structure of ω^M it is convenient to
  consider a submanifold M_0⊂ M determined by
  
      ξ^a=0,    2ξ^a_μν=0,      … ,    nξ^a_μ_1…μ_n=0     ,
  
  where the coordinate functions lξ^a_μ_1…μ_l are introduced as follows:
  
      ξ^a(θ)=ξ^a+e^a_μθ^μ+2ξ^a_μνθ^μθ^ν
      
      +…
      +1/n!nξ^a_μ_1…μ_nθ^μ_1…θ^μ_n ,
  
  and by some abuse of notations we denote 0ξ^a by ξ^a. Together with coordinate functions ρ^ab,ω_μ^ab,iρ^ab_μ_1…μ_i, i=2,…,n introduced in a similar way these provide a natural coordinate system on M. 
  
  To understand the structure of the kernel of ω^M it is instructive to consider ω^M at a given point p⊂ M_0. By changing the basis in T_x X one can assume that e^a_μ=δ^a_μ to further simplify the analysis. In this basis the explicit expression for ω^M at p reads as
  
      ω^M_p = 
      
      de^b_c∧ d2ρ^c_b+
      dξ^b ∧ d 3ρ_b+
      dρ^ab∧ d3ξ_ab+
      dω^ab_c ∧ d2ξ^c_ab ,
  
  where 2ρ^c_b, 3ρ_b, 3ξ_ab, and 2ξ^c_ab parameterize the following components:
  
      2ρ^cd_bd ,     3ρ^cd_bcd ,     3ξ^c_abc ,     2ξ^c_ab .
  
  The remaining components are in the kernel of ω^M_p. It is easy to see that the spectrum of coordinates along which ω^M is nondegenerate is precisely that required for  minimal BV formulation of GR. Let us stress that for the moment this is only established at M_0.
  
  The crucial fact is that M is a regular presymplectic manifold. To see this consider the following vector fields on [1] (here and below we restrict to 4d to simplify the analysis):
  
      X^4_a=ξ^(4)ξ^a ,      X^3_ab=ξ^(3)_aξ^b+ξ^(3)_bξ^a
       Y^4_ab =ξ^(4)ρ^ab ,    Y^3_abc=ξ^(3)_aρ^bc+ξ^(3)_bρ^ac ,    
      Y^2_abcd=ξ^(2)_abρ^cd+… ,
  
  where … in the last expression denotes terms symmetryzing the expression in ac and bd. Here ξ^(k)_a_1… a_4-k denote 1/k!ϵ_a_1… a_4-ka_4-k+1… a_4ξ^a_4-k+1…ξ^a_4. It is easy to check that all these vector fields are in the kernel of ω^[1] and commute to one another.
  
  By natural prolongation vector fields (<ref>) on [1] determine the vector fields on M. Given a vector field X on [1] the component expression for its prolongation X̂ can be obtained as follows:
  
      X̂ψ^A(θ)=X^A(ψ(θ)) ,
  
  where X^A=Xψ^A. Prolongation commutes with the commutator. In particular, prolongations of an involutive set of vector fields on [1] is again an involutive set. What is less trivial is that the distribution determined by an involutive set on [1] can be  nonregular while
  its prolongation is regular. This happens because in our case M is not the space of all maps but only of those whose e^a_μ component is invertible. 
  
  We have the following:
   
  
  The distribution determined by the prolongations of vector fields (<ref>) coincides with the kernel distribution of ω^M on M and hence (M,ω^M) is a regular presymplectic manifold. 
  
  
  First we show that on M_0 these vector fields exhaust the kernel of ω^M. This is easy to believe because the fields are linearly independent and their tensor structure precisely corresponds to the kernel of ω^M at M_0, cf. (<ref>). The proof is purely technical and is relegated to the Appendix app:VF-kernel.
  
  Next, by construction vector fields X̂,Ŷ are in the kernel of ω^M everywhere while at M_0 they exhaust the kernel. It follows they define the kernel everywhere. Indeed the dimension of the distribution determined by X̂,Ŷ can't drop when moving off M_0 (because M is a formal neighbourhood of M_0). At the same time the rank of ω^M can't drop off M_0 as well so that the rank must be constant.[Another way to see that is to fix the concrete values of e^a_μ,ω_μ^ab and consider ω^M as function of the remaining coordinates. Then it has the form (<ref>) plus terms proportional to the remaining coordinates of nonvanishing degree. But such terms can't decrease the rank. The same argument applies to the distribution determined by the vector fields.]
  
  
  The above proof of regularity of ω^M employs vector fields (<ref>) that we explicitly gave only for the case of n=4. It turns out the proof can be extended to generic n>4 as follows. Observe that the linear space (over ) of vector fields on [1] with ρ-independent coefficients is isomorphic to the tangent space T_p M at p∈ M_0. The image of a given vector field on [1] is determined by its prolongation to M considered at p. In a similar way T^*_p M is isomorphic to the space of 1-forms on [1] with
  ρ-independent coefficients. Moreover these isomorphisms are compatible with the map from vector fields (tangent vectors) to 1-forms (resp. T^*_pM) determined by ω^[1] (resp. ω^M|_p). This implies that the kernel of ω^M|_p is determined by prolongations of target space vector fields from the kernel of ω^[1] so that the arguments given in the proof of Lemma lemma:reg imply regularity of ω^M.
  
  The regularity of (M,ω^M) implies that there exists (at least locally) a symplectic quotient N of M.  In particular, by Frobenius theorem one can introduce a coordinate system z^i,w^α such that the vector fields X̂, Ŷ take the form w^α. The submanifold singled out by w^α=0 and equipped with a pullback of ω^M is isomorphic (as a symplectic manifold) to the symplectic quotient. 
  
  However, the Frobenius coordinates are not so easy to find explicitly.  Nevertheless any submanifold transversal to the distribution determined by X̂,Ŷ and equipped with the induced symplectic structure is also isomorphic (as a symplectic manifold) to the symplectic quotient. Such transversal manifolds can be easily found using the following:
  
  
  
  
  
  Let M be a graded presymplectic manifold and M_0⊂ M be its submanifold determined by equations k_r=0, where k_r≠ 0. Let z^i,w^α be local homogeneous (i.e. of definite degree) coordinates on M such that ω^M(w^α,·)=0 on M_0, w^α determine a kernel of ω^M at each point of M_0, and w^α≠ 0. Then (in general, locally defined) submanifold N determined by w^α=0 is symplectic. Moreover, N is (locally) symplectomorphic to the symplectic quotient of M, provided ω^M is regular.
  
  
  
  The pullback  ω_N of ω to N is by construction nondegenerate at each point of N_0=N∩ M_0. The standard considerations then ensure that ω_N can't degenerate off  N_0. This shows that N is symplectic. 
  
  
  Using the above Lemma it is not difficult to find a convenient choice of such functions w^α. For instance, consider e.g.:
  
      4ξ^a| ,  4ρ^ab| ,   3ξ^a|μe_μ^b+(ab) ,  3ρ^ab|μe_μ^c+(ac) ,  2ρ^ab|μνe_μ^c e_ν^d+(ac)(bd) ,
  
  where e.g. 3ξ^a|μ stand for 3ξ^a_νρσϵ^μνρσ.
  Because this set is manifestly o(3,1) invariant it can be useful in practical computations though in this work we do not make use of these functions. Note the first 2 constraints originate from the target space in the sense that they can be represented as ∫ d^4θξ^a(θ) and ∫ d^4θρ^ab(θ). What is less trivial is that the last two can be replaced with those originating from the target space. More precisely, on M_0 they coincide with:
  
      ∫ d^4θρ^ab(θ)ξ^c(θ)+(ac) ,
          ∫ d^4θρ^ab(θ)ξ^c(θ)ξ^d(θ)+(ac)(bd) .
  
  This property could simplify implementation of these constraints in applications.
  
  Given a regular presymplectic manifold M  we have the following:
   Let Q be a homological vector field on M satisfying _Qω^M=d^M and ω^M(Q,Q)=0 for some function ^M. It follows:
  
      _Q_Nω^N=d^N  ,     ω^N(Q_N,Q_N)=0
  
  where Q_N,_N and ω^N are induced by Q,^M and ω^M respectively on the symplectic quotient N. If N is identified as the surface N⊂ M then ^N,ω^N also coincides with ^M,ω^M pulled back to N.
  
  
  The first part of the statement is standard and can be e.g. easily seen using special coordinates z^i,w^α. That _N,ω^N coincides with ^M,ω^M pulled back to N is true because ^M,ω^M are constant along the kernel of ω^M. Indeed, from _Xω^M=0 one finds L_Xω^M=0 and X=_X d=_X _Q ω=0.
  
  Note that the statement remains true if instead of regularity one requires N⊂ M to be symplectic and such that T_p M=T_p N⊕(ω^M_p) for any p∈ N.
  
  
  Let us discuss the structure of N and natural coordinates therein. First of all one observes that coordinates ξ^a,ρ^ab, e_μ^a, ω_μ^ab remain independent when restricted to N and hence give a part of the coordinate system on N. The remaining coordinates are of negative ghost degree so that there is an invariantly defined submanifold N_01⊂ N obtained by setting them to zero. 
  
  N_01 is a Lagrangian submanifold of N. N can be identified as T^*[-1]N_01.
  
  
  Using standard coordinates on M one finds that
  
      ω^M(ξ^a,ρ^bc)=
      ϵ_abcd(4ξ^a_μνρσϵ^μνρσ)
  
  so that indeed it vanishes when 4ξ^a_μνρσ (which is of degree -3) is set to zero. In a similar way one finds that ω vanishes on all pairs of vectors tangent to N_01. 
  
  It follows from the above Lemma that identifying
  N as a T^*[-1]N_01 it can be convenenient to use Darboux coordinates given by ξ^a,ρ^ab, e_μ^a, ω_μ^ab and their canonically conjuated antfields:
  
      ω^N =dξ^a ∧ d ξ^*_a+d ρ^ab∧ dρ^*_ab+d e_μ^a ∧ d e^*^μ_a+ d ω_μ^ab∧  
          d ω^*_μ^ab .
  
  Promoting these variables to fields on X gives a standard set of fields, ghosts and their conjugated antifields required for the BV formulation of the Cartan-Weyl GR.
  
  
  
  
   §.§ BV from presymplectic AKSZ
  
  
  Let us now  turn to the piece of the AKSZ action determined by the De Rham differential. To this end consider the jet-bundle J_X(M) associated to  X × M → X and denote by D_μ the total derivatives with respect to x^μ. It is useful to identify vertical coordinates on J_X(M) as coefficients of the generating functions ψ^A(y,θ) which are formal power series in auxiliary coordinates y^μ and degree 1 coordinates θ^μ. Here ψ^A are coordinates on [1]. In this representation it is clear that J_X(M) can also be defined as a super jet-bundle associated to T[1]X×[1]→ T[1]X.  
  
  On J_X(M) we define the homological vector field D via its action on coordinates:
  
      D ψ^A(y,θ)=θ^μy^μψ^A(y,θ)     ,      Dx^μ=0
  
  Another useful representation for D is as follows:
  D ψ^A(y,θ)=θ^μ D_μψ^A(y,θ) .
  
  
  The symplectic structure on M defines a symplectic structure on J_X(M):
  
      ω^J(M)=∫ d^nθ (ω^[1]_AB(ψ(θ))ψ^A(θ)ψ^B(θ)=
      
      ω_ij z^i  z^j
  
  where in the last equality we used special coordinate system  z^i,w^α on M, such that  ω(w^α,w^β)=0=
  ω(w^α,z^i) on N, and whose existence has been proved in the previous section. More precisely, z^i,w^α denote coordinates on J_X(M) obtained by pulling back z^i to J_X(M).
  
  Understood as a local function on J_X(M) the integrand (over X) of the AKSZ master-action (<ref>) takes the following form:
  
      L^BV=K-_M , 
      
       K= ∫ d^nθχ_A(ψ(θ)) θ^μ D_μψ^A(θ)
       ,
          ^M=∫ d^nθ(ψ(θ)) ,
  
  where χ_A are components of the presymplectic potential on [1] and we identify functions on M and their pullbacks to J_X(M).
  
  
  In the jet-bundle terms the BRST differential s (cf. (<ref>)) is represented by a vertical evolutionary vector field s:
  
      s=D+Q^pr
  
  where Q^pr is the prolongation of Q to J_X(M) determined by Q^prD_μ=0. Furthermore, one has the following relations 
  
      _Dω^J(M)= K+D_μ (·)^μ ,     _D_Dω^J(M)=D_μ (·)^μ
  
  as well as
  
      _D_Q^prω^J(M)=D_μ (·)^μ .
  
  which can be directly checked and amount to:
  
      _s _s ω^J(M)= L^BV+D_μ (·)^μ ,     _s_sω^J(M)=D_μ (·)^μ ,
  
  where we also took into account _Q_Q ω^M=0.
  
  Let us now consider the jet sub-bundle J_X(N) ⊂ J_X(M) determined by w^α=0 and their  prolongations. Note that J_X(N) can be also seen as the jet-bundle associated to X× N → X. Restricting relations (<ref>) to J_X(N) one gets:
  
      _s^Nω^J(N)= L^BV_N+D_μ (·)^μ ,     _s^N_s^Nω^J(N)=D_μ (·)^μ
  
  where s^N denotes the projection of s from J_X(M) to  J_X(N) (induced by the projection M→ N) and ω^J(N), L^BV_N denote the respective objects on J_X(M) pulled back to to J_X(N). Here by some abuse of notations D_μ denotes a total derivative on either J_X(M) of J_X(N); this does not lead to confusions because D_μ are tangent to J_X(N)⊂ J_X(M). The above relations are obvious if one makes use of the special coordinate system on J_X(M) induced by special coordinates z^i,w^α on M. 
  
  
  
  
  
  
  
  
  Because N is symplectic we are dealing with the standard BV formulation so that the above can be rewritten as L_N^BVL_N^BV=D_μ (·)^μ, where  L_N^BV
  is L^BV restricted to J_X(N). To summarize: understood as a local function on J_X(M) the AKSZ action (<ref>) is precisely L^BV=K+_M. The sub-bundle J_X(N) obtained by factoring out the kernel of the symplectic structure on M is a BV jet-bundle equipped with the BV symplectic structure. The restriction of K+ to J_X(N) satisfies master-equation and hence determines the BV formulation of the frame-like gravity. This is indeed true because (i) N is symplectic (ii) L^BV restricted to the body of J_X(N) is just the Cartan-Weyl Lagrangian (iii) the terms linear in ghosts and antifields contains the complete set of gauge generators. Note that the resulting BV formulation on J_X(N) does not depend on how exactly N is realised as a submanifold of M. 
  
  The only point that requires clarification is (iii) because this ensures that L^BV is a proper solution to the master equations.
  To see this let us spell out explicitly the terms in L^BV that are linear in ghosts and linear in antifields (i.e. in ξ^a, ρ^ab and  2ξ^a_μν, 2ρ^ab_μν):
  
  
      ϵ_abcd2ρ^ab((∇ξ)^c e^d -ξ^c(∇ e)^d) ,    ϵ_abcd2ρ^abρ^c_ee^e e^d ,
      ϵ_abcd2ξ^aξ^b (d_xω+ωω)^cd ,    ϵ_abcd2ξ^a  (∇ρ)^bce^d  .
  
  Here the integration over d^nθ is left implicit, ∇ denotes a covariant differential with respect to ω^ab, and for simplicity we set λ=0.  The first line encodes gauge transformations of e^a_μ  and the second line encodes the gauge transformations of ω^ab_μ (note that 2ξ^a_μν parameterize antifields conjugate to ω^ab_μ) provided one identifies ξ^a and ρ^ab as parameters (in a certain basis) of the diffeomorphisms and the local Lorentz transformations respectively.
  
  However, it is difficult to explicitly compare L^BV with the standard expression <cit.> of the BV master action for Cartan-Weyl action because even the above terms involve 2ρ^ab_μν
  which give an overcomplete set of coordinates in this sector and moreover the symplectic structure is not in the canonical Darboux form. Fortunately, in order to prove that L^BV is a proper BV master action all we need to demonstrate is that it is proper (i.e. all gauge generators are taken into account). It is enough to do so in quadratic approximation because nonlinear correction can't bring extra degeneracy. 
  
  Let us analyze the linearization of the gauge symmetries encoded in (<ref>) around the vacuum solution e^a_μ=δ^a_μ and ω^ab_μ=0. One finds:
  
      δω̅^ab_c=_̣c ρ^ab ,     δe̅^a_b=ρ^a_b+_̣bξ^a ,
  
  where e̅^a_b and ω̅^ab_c are related to the linearized e^a_b and ω^ab_c respectively through a linear invertible redefinition. The above are precisely the linearized gauge symmetries of the Cartan-Weyl action. Equivalently, these are the gauge symmetries of its quadratic approximation:
  
  
  
  
      ∫_X ( e̅^a d_X ω̅^bc_abc+ω̅^a_cω̅^cb_ab) ,
  
  which is also known as the frame-like action of massless spin-2 field.
  Thus we conclude that the master action L^BV is a proper solution to the master equations and hence provides a correct BV formulation of Einstein gravity. 
  
  
  
  
  
  
  § THE ORIGIN OF THE TARGET SPACE STRUCTURES
  
  
  As we have seen the target space ([1],q,ω^[1]) in a natural way defines  the complete BV formulation of general relativity. One may wonder how does this target space arise from the conventional formulation of gravity. This was mostly explained in <cit.> but the relation between the presymplectic 2-form and the  BV antibracket was somewhat implicit. Here we give missing details.
  
  Suppose we start with the BV-BRST complex of the metric gravity. The set of fields is given by the metric g^ab, diffeomorphism ghosts ξ^a and their canonically conjugate antifields g^*_ab and ξ^*_a. More geometrically, these variables are coordinates on the fiber F of the underlying bundle F× X → X. The BV-BRST complex is given by local horizontal forms on the associated jet-bundle J_X(F) equipped with the BRST differential and the horizontal differential ð, for more details see <cit.>. 
  
  In the jet-bundle approach the standard symplectic structure of BV formulation  is given by
  
      ω^sBV=(dx)^n (  g^ab∧ g^*_ab+ ξ^a∧ξ^*_a) .
  
  It is of ghost degree -1 and horizontal form degree n. The BRST differential is an evolutionary vector field satisfying
  
      _s ω^sBV= L^sBV+ð (·)
  
  where L^sBV is the integrand of the BV master action. It follows
  
      L_s ω^sBV=ð (·) .
  
  Moreover, at least locally one can complete ω^sBV to a cocycle of the total BRST differential s̃=ð+s:
  
      ω^tBV=ω^sBV+ω^sBV_n-1+…
  
  where ω^sBV_k has horizontal form degree k and ghost degree n-1-k. 
  
  Now we use the standard statement that for diffeomorphism-invariant systems, and gravity in particular, by changing variable one can bring the total BV-BRST complex to the form where s̃=d_X+s and then eliminate 
  x^a,dx^a as contractible pairs, see e.g. <cit.> and references therein for more details. In more geometrical terms, this means that the underlying BV jet-bundle seen as a Q-bundle over T[1]X is locally-trivial (see <cit.> for more details).
  
  Furthermore, eliminating further contractible pairs the total BRST complex reduces <cit.> to the minimal BRST complex of functions on the reduced  ghost-extended stationary surface  which can be coordinatized by
  
      ξ^a,  ρ^ab ,      W^ab_cd,  W^ab_cd;c_1,  …  W^ab_cd;c_1… c_l,   …
   
  where the first group of variables have ghost-degree 1 and the second 0.[Here we intentionally used the same notations as for coordinates on [1] to anticipate the relation between  and [1].] Variables ξ^a,ρ^ab originate from the diffeomorphism ghost and its antisymmetrized derivatives, while W-variables are related to the Weyl tensor and its algebraically-independent covariant derivatives restricted to the stationary surface.  Note that W^ab_cd;… variables can be chosen totally traceless. 
  
  Upon the elimination of contractible pairs, the s̃-differential determines a differential  q on . Its complete explicit form in terms of intrinsic coordinates on  is not known except in the sector of ghost degree 1 variables:
  
  
  
      q ξ^a=ξ^a_c ξ^c ,      qρ^ab=ρ^a_c  ρ^cb+λξ^aξ^b+ξ^cξ ^d W^ab_cd ,     … ,
  
  Furthermore,  qW^ab_cd;… is again proportional to W^ab_cd;…, see e.g. <cit.>.
  
  
  Local functions on  equipped with q form the minimal BRST complex for Einstein gravity. [Note that the supermanifold  of this variables equipped with Q-structure encodes all the information of the initial gauge theory. Indeed, as was shown in <cit.>, taking  as a target space of the AKSZ sigma-model gives an equivalent formulation of the initial system at the level of equations of motion so that the system is fully reconstructed. It's equations of motion and gauge symmetries are precisely those of the minimal unfolded formulation <cit.>. Note however, that the explicit form of q and hence of the unfolded equations of motion is not known in the intrinsic terms of  but its existence, structure, and the implicit definition are easily arrived at  starting from the standard BV-BRST complex.   Analogous considerations apply to generic gauge theories though in contrast to gravity for linear theories formulations of this sort can be quite concise and explicit. See <cit.> and references therein for further details.] Because the minimal complex is an equivalent reduction of the initial one the initial s̃-cocycle ω^tBV gives rise to the respective q-cocycle  ω^ in the space of closed 2-forms on  of total ghost degree n-1. In fact the general structure of such form is rather restricted and it can be shown[To see this one can observe that elimination of the contractible pairs preserves the filtration by the order of derivatives. Together with the q-invariance  and the ghost degree conditions  this essentially fixes the form of the presymplectic structure. As an independent consistency check one can take the analogous presymplectic structure for linearized gravity computed in <cit.> and observe that the only component surviving the reduction is the linearization of ω^[1].] that ω^ is precisely ω^[1] trivially extended from [1] to  (note that locally  is a product of [1] and the space of Weyl tensors W^ab_cd…). 
  
  Now one can consider a presymplectic AKSZ sigma model with the target space (,q,ω^) and try to reduce to the symplectic quotient. In the case at hand it is convenient to do it in two steps. In the first step one considers a distribution on  generated by vector fields W^ab_cd;… which obviously belong to the kernel distribution. The quotient can be realized as the surface W^ab_cd;…=0 which is precisely [1] with the induced two form being ω^[1]
  and the Q-structure being the restriction of q to the surface.
  In this way one systematically rederives the presymplectic  AKSZ formulation of Section sec:psymp starting from the conventional BV-BRST formulation of gravity.
  
  It turns out that analogous considerations apply to a rather wide
  class of gauge theories, giving a more precise understanding of the supergeometrical structures underlying their frame-like Lagrangians and BV formulations. Various examples of such presymplectic AKSZ formulations can be found in <cit.>. 
  
  
  
  
  § BFV PHASE SPACE FROM PRESYMPLECTIC AKSZ
  
  
  Given an AKSZ model on a space-time manifold of the form X=Σ×^1, where Σ corresponds to spatial slice and  ^1 to the time-line it is known <cit.> (see also <cit.> for related developments, generalizations and applications) that its BFV formulation is given by an AKSZ sigma model restricted to T[1]Σ. The change of the dimension of the source space shifts by 1 the degree of the AKSZ action and the symplectic structure so that indeed such BFV-AKSZ sigma models defines a BFV formulation. 
  
  That the constructed BFV formulation is correct immediately follows from the AKSZ formulation <cit.> of the standard construction <cit.> of the BV formulation from the BFV one.  More precisely, the 1d AKSZ sigma model with the target space being the above BFV-AKSZ sigma model can be identified with the initial AKSZ sigma model. Indeed, the space of supermaps from T[1]^1 to Smaps(T[1]Σ,[1]) is naturally identified with Smaps(T[1](Σ×^1),[1]) and it is easy to check that the respective AKSZ structures coincide. 
  
  
  Let us consider the BFV version of the above presymplectic AKSZ sigma-model, which is obtained by replacing T[1]X with T[1]Σ. The construction of an analog M_H=Smaps(T_x[1]Σ,[1]) of the graded manifold M is straightforward.  In so doing the coordinates  e^a_i(x) entering ξ^a(θ) as e^a_i(x)θ^i are assumed to be such that e^k_i(x), k=1,…,n-1 is invertible (here and below we denote by θ^i the coordinates on the fibers of T_x[1]Σ). Note that now the presymplectic structure ω^M_H and “Hamiltonian” _H have ghost degree 0 and 1 respectively, i.e. are shifted by 1 as compared to BV-AKSZ sigma model.
  
  Just like M, M_H is a graded presymplectic manifold. To see that it gives rise to a symplectic one let us apply Lemma lemma:w-sub taking as M_H^0 a submanifold determined by ξ^a=0,2ξ^a_ij=0 , … ,,n-1ξ^a_i_1… i_n-1=0. Then fix a generic point of M_H^0 and adjust the basis in T_x[1]Σ and [1] such that e^0_i=0 and e^a_i=δ^a_i. At this point the presymplectic structure can be written as:
  
      ω^M_H_p = 
      
      de^i_j∧ dω^0j_i+
      de^0_j∧ dω^j+
      dξ^j ∧ d 2ρ_j+
      dξ^0 ∧ d 2ρ+
      dρ^k0∧ d2ξ_k+
      dρ^kj∧ d2ξ^0_kj
  
  where ω^j,2ρ_j, 2ρ, 2ξ_k parameterize the following components:
  
      ω^kj_k ,     2ρ^0k_jk ,     2ρ^jk_jk ,     2ξ^k_jk
  
  and we took a liberty to redefine some of the components by constant factors. The coordinates along which ω^M_H  degenerates are:
  
      3ξ^a| ,     3ρ^ab| ,     2ξ^k|ie^j_i+(ij) ,     2ρ^ak|ie^j_i+(ij) ,     ω^ik|mne_m^je_n^l+(ij)(kl) .
  
  Lemma lemma:w-sub then implies that a submanifold N_H where these coordinates vanish is symplectic. Moreover, the spectrum of the coordinates along which (<ref>) is nondegenerate precisely corresponds to the coordinates of the BFV phase space for Cartan-Weyl formulation of gravity.  More precisely, the BFV phase space we have arrived at is the one discussed recently in <cit.>. Note that there exist alternative (but equivalent) BFV formulations which are related through elimination of BFV analogs <cit.> of the conventional generalized auxiliary fields <cit.>.
  
  
  Let us consider the body M_H^body⊂ M_H, obtained by setting to zero all the coordinates of nonvanishing degree. In contrast to the BV case the restriction of symplectic structure to the body is nonvanishing. More precisely, it gives rise to the phase space symplectic structure of the underlying constrained system. Indeed, setting all the nonvanishing degree coordinates to zero the resulting presymplectic form reads as:[Another way, employed recently in <cit.> to arrive at this presymplectic structure  is to start with Cartan-Weyl action and find the presymplectic current (see e.g. <cit.>) that it defines on the stationary surface. The present derivation of this presymplectic structure from that on [1] was somewhat implicitly already in <cit.>]
  
      ω^M_H^body=e^a_i d e^b_j ∧ dω^cd_k ϵ^ijkϵ_abcd .
  
  It is clear that this form is degenerate and moreover is a regular presymplectic one.  Employing the basis where e^0_i=0 and e^i_j=δ^i_j it is clear that the symplectic form on the quotient is precisely the restriction of (<ref>) to the body of N_H.  The symplectic 2-form induced on the quotient gives the phase-space symplectic structure.
  
  Note that the quotient can be described more invariantly <cit.>. Namely, consider the following equivalence relation on the space with coordinates ω^ab_i:
  
      ω^ab_i∼ω^ab_i+v^ab_i ,      
          v^ab_i e^c_jϵ^ijkϵ_abcd=0
  
  Using the adapted basis it is easy to check that this equivalence relation precisely removes the trace-free component of ω^jl_i leading to the restriction of (<ref>) to the body of N_H.
  
  
  Having chosen symplectic N_H ⊂ M_H let us consider the BFV phase space J_Σ(N_H). It is equipped with the induced symplectic structure and the local functional S^BFV obtained by restricting AKSZ BFV charge from J_Σ(M_H) to J_Σ(N_H). The restrictions of ghost degree 1 coordinates ξ^a and ρ^ab to N_H remain independent and are to be interpreted as ghost variables. The terms in S^BFV linear in ξ^a and ρ^ab read respectively as:
  
      ∫_Σξ^a ϵ_abcde^b (d_Σω^cd+ω^c_e ω^ed)
       ,     ∫_Σρ^abϵ_abcde^c (d_Σ e^d+ω^d_f e^f)  .
  
  The coefficients are precisely the 1-st class constraints
  encoded in the Cartan-Weyl action.  It follows S^BFV have the structure similar to that of the proper BRST charge of the theory in question.  What does not follow from the above considerations is that S^BFV satisfies master equation on J_Σ(N_H). If M_H were a regular presymplectic manifold this would follow just like in BV case. However, the presymplectic structure on M_H is in fact not regular and the detailed analysis of the presymplectic BFV-AKSZ formulation of gravity will be performed elsewhere.
  
  Let us only comment on the relation between BV and BFV formulations arising from the presymplectic AKSZ.  It is easy to see that M does not coincide with T^*[-1]M_H and hence these BV and BFV formulations are not related through the usual construction <cit.>. More precisely, the BV formulation obtained from the above BFV in this way is a certain equivalent reduction of the standard one. Indeed, because not all components of the Lorentz connection are independent coordinates on M_H it is easy to see that the same applies to T^*M_H whose coordinates are the BV fields. At the same time in the standard BV formulation for the Cartan-Weyl action all the components of the Lorentz connection are  independent fields. This subtlety seems to be directly related to the discrepancy observed and investigated recently in <cit.>. However, the respective presymplectic BV and BFV AKSZ sigma models described in this work are obviously related via a straightforward presymplectic extension of the 1d AKSZ construction of <cit.>.
  
  
  
  
  
  § CONCLUSIONS
  
  
  By concentrating on the example of  general relativity  we have demonstrated that presymplectic AKSZ-type sigma models naturally encode BV as well as BFV formulations in a rather concise and geometrical way. In so doing we have uncovered an interesting supergeometrical structures underlying the BV formulation of the frame-like gravity. This makes more explicit the deep relation between the underlying Cartan geometry and the BV formulation of gravity.  
  
  The present construction can be regarded as the BV extension of the so-called intrinsic Lagrangians <cit.>, which are natural 1st order Lagrangian defined in terms of the equation manifold (stationary surface of the theory) equipped with the horizontal differential and the presymplectic current.
  
  It is important to stress that for various applications the presymplectic AKSZ formulation can be used in place of conventional the conventional AKSZ. For instance, the formal path integral can be written just in terms of the presymplectic AKSZ action. The only difference is that some additional gauge-fixing conditions taking care of the kernel of the presymplectic 2-form are to be implemented in the path integral. Analogous remark applies to the presymplectic generalization of the generic (not necessarily AKSZ) BV fomalism.
  
  Possible further developments include the extension of the present considerations to general local gauge theories including those which are not diffeomorphism-invariant. This can be naturally done using the language of gauge PDEs <cit.> equipped with the compatible presymplectic structures. There also remains to investigate further the BFV interpretation of the presymplectic AKSZ formulation of gravity as well as the presymplectic AKSZ version of the relation between its BV and BFV descriptions.
  
  An attractive feature of the AKSZ formalism is that it makes  manifest the relation between the bulk theory and the theory induced on the boundary. This feature already manifest itself in that Hamiltonian formulation (seen as a boundary theory induced on the surface of the initial data) is obtained by simply pulling back the AKSZ model to the boundary <cit.>. Applications to more general situations including holographic relations can be found in <cit.>. Let us also mention recent works <cit.>, where the presymplectic structure (also known as the presymplectic current, see e.g. <cit.>) induced on the space of solutions to frame-like gravity is employed in the study of its boundary structure. 
  
  
  
  
  
  § ACKNOWLEDGMENTS
  
  
  
  
  M.G. acknowledges discussions with G. Barnich and V. Gritsaenko. He is also grateful to A. Cattaneo, G. Caneppa, M. Schiavina for the discussions and for attracting attention to their recent  related works <cit.>. The work of M.G. was supported in part by the Russian Science Foundation grant 18-72-10123. The research of A.K. was supported by the grant no. 18-00496S of the Czech Science Foundation.
  
  
  
  
  
  § THE STRUCTURE OF THE KERNEL
  
  
  
  Here we show that prolongations of the vector fields (<ref>) determine the kernel of ω^M at generic p∈ M_0. To begin with it is easy to see that X̂^4_a and  Ŷ^4_ab exhaust the kernel of ω^M in the sector of 4ξ^a_μνρσ
  and 4ξ^ab_μνρσ.
  
  Consider then X̂^3_ab. At p∈ M_0 one has:
  
      X̂^3_ab=ϵ_acdfe^c_μ e^d_ν e^f_ρ3ξ^b_μνρ+(ab)
  
  where (ab) denote terms symmetrizing the expression in a and b. Using the basis where e^a_μδ^a_μ and introducing notation 3ξ^a|e for ϵ^efcd3ξ^a_fcd one finds:
  
      X̂^3_ab=3ξ^a|b+(ab) .
  
  Using symmetric and  antisymmetric components ξ̂_S^ab and ξ̂_A^ab  as new coordinates it is easy to see that X̂^3_ab=ξ̂^ab_S while ω^M is nondegenerate on ξ̂^ab_A. These later coordinates parameterize the antifields conjugated to ρ^ab, cf. (<ref>). 
  
  
  Now we turn to Ŷ^2_abcd. As before restricting to a generic point of M_0 and using a basis where e^a_μ=δ^a_μ introduce new coordinates replacing ρ:
  
      ρ̅^abcd=ϵ^abμν2ρ^cd_μν
  
  This is an invertible change of coordinates. In the new coordinates:
  
      Ŷ^2_abcd=ρ̅^abcd+(ac)(bd)
  
  where (ac)(bd) denote 3 terms symmetrizing ac and bd. 
  
  In terms of ρ̅ the trace 2ρ^ab_cb can be expressed in terms of ϵ_abcdρ̅^ebcd and one gets
  
      Ŷ^2_abcd( ϵ_μνρσρ̅^ανρσ)
  
  so that the trace is not in the kernel of the presymplectic structure. The complementary component is described by ρ satisfying ϵ_abcdρ̅^ebcd=0, i.e. having the symmetry type associated to rectangular YT. But this is precisely the tensor structure of Ŷ^2_abcd. Using new coordinate system ρ̂^abcd,ρ̂^ab, where ρ̂^abcd is the component of ρ̅^abcd that have symmetry structure described by the rectangular YT while ρ̂^ab parameterize the trace, one finds:
  
      Ŷ^2_abcd=ρ̂^abcd+(ac)(bd)
  
  so that indeed ρ̂^abcd are in the kernel of the symplectic form. It is easy to check that among ρ̂^ab there are no zero vectors of the presymplectic form. In fact ρ̂^ab parameterize antifields associated to e^a_μ.
  
  The remaining fields are Ŷ^3_abc. Introduce new parameterization of 3ρ_μνρ^ab in terms of ρ̅^c|ab proportional to ϵ^cμνρ3ρ_μνρ^ab so that
  
      Ŷ^3_abc=ρ̅^a|bc+(ab)
  
  Ŷ^3_abc contains two irreducible components: ϵ_abcdρ̅^a|bc and ρ̅^a|bc+(ab). The first is precisely the double trace 3ρ_abd^ab which satisfies Y^3_abc3ρ_efd^ef=0. The second ones give rise to Y^3_abc. Presymplectic form ω^M is nondegenerate along 3ρ_abd^ab.
  
  
  