Searcharxiv⌕ Search

arXiv subjects

A. A. Sharapov

Publications and source records attributed to A. A. Sharapov.

At least 19 recordsLinked to original sources

Formal Higher Spin Gravities

We present a complete solution to the problem of Formal Higher Spin Gravities --- formally consistent field equations that gauge a given higher spin algebra and describe free higher spin fields upon linearization. The problem is shown to be equivalent to constructing a certain deformation of the higher spin algebra as an associative algebra. Given this deformation, all interaction vertices are explicitly constructed. All formal solutions of the equations are explicitly described in terms of an auxiliary Lax pair, the deformation parameter playing the role of the spectral one. We also discuss a natural set of observables associated to such theories, including the holographic correlation functions. As an application, we give another form of the Type-B formal Higher Spin Gravity and discuss a number of systems in five dimensions.

hep-th↗

Formal Higher-Spin Theories and Kontsevich-Shoikhet-Tsygan Formality

The formal algebraic structures that govern higher-spin theories within the unfolded approach turn out to be related to an extension of the Kontsevich Formality, namely, the Shoikhet-Tsygan Formality. Effectively, this allows one to construct the Hochschild cocycles of higher-spin algebras that make the interaction vertices. As an application of these results we construct a family of Vasiliev-like equations that generate the Hochschild cocycles with $sp(2n)$ symmetry from the corresponding cycles. A particular case of $sp(4)$ may be relevant for the on-shell action of the $4d$ theory. We also give the exact equations that describe propagation of higher-spin fields on a background of their own. The consistency of formal higher-spin theories turns out to have a purely geometric interpretation: there exists a certain symplectic invariant associated to cutting a polytope into simplices, namely, the Alexander-Spanier cocycle.

hep-th↗

Stable interactions via proper deformations

A new method is proposed for switching on interactions that are compatible with global symmetries and conservation laws of the original free theory. The method is applied to the control of stability in Lagrangian and non-Lagrangian theories with higher derivatives. By way of illustration, a wide class of stable interactions is constructed for the Pais-Uhlenbeck oscillator.

hep-th↗

Null-curves in R^{2,n} as flat dynamical systems

We prove that the differential equation for the null-curves of pseudo-Euclidean space R^{2,n} defines a flat dynamical system in the sense of optimal control theory. The connection with general gauge theories is briefly discussed.

math-ph↗

Classical and quantum stability of higher-derivative dynamics

We observe that a wide class of higher-derivative systems admits a bounded integral of motion that ensures the classical stability of dynamics, while the canonical energy is unbounded. We use the concept of a Lagrange anchor to demonstrate that the bounded integral of motion is connected with the time-translation invariance. A procedure is suggested for switching on interactions in free higher-derivative systems without breaking their stability. We also demonstrate the quantization technique that keeps the higher-derivative dynamics stable at quantum level. The general construction is illustrated by the examples of the Pais-Uhlenbeck oscillator, higher-derivative scalar field model, and the Podolsky electrodynamics. For all these models, the positive integrals of motion are explicitly constructed and the interactions are included such that keep the system stable.

hep-th↗

Multiple choice of gauge generators and consistency of interactions

It is usually assumed that any consistent interaction either deforms or retains the gauge symmetries of the corresponding free theory. We propose a simple model where an obvious irreducible gauge symmetry does not survive an interaction, while the interaction is consistent as it preserves the number of physical degrees of freedom. The model turns out admitting a less obvious reducible set of gauge generators which is compatible with the interaction and smooth in coupling constant. Possible application to gravity models is discussed.

gr-qc↗

On the gauge symmetries of Maxwell-like higher-spin Lagrangians

In their simplest form, metric-like Lagrangians for higher-spin massless fields display constrained gauge symmetries, unless auxiliary fields are introduced or locality is foregone. Specifically, in its standard incarnation, gauge invariance of Maxwell-like Lagrangians relies on parameters with vanishing divergence. We propose an alternative form of the corresponding local symmetry involving unconstrained parameters of mixed-symmetry type, described by rectangular two-row Young diagrams and entering high-derivative gauge transformations. The resulting gauge algebra appears to be reducible and we display the full pattern of gauge-for-gauge parameters, testing its correctness via the corresponding counting of degrees of freedom. Incidentally, this shows that massless higher spins admit a local unconstrained formulation with no need for auxiliary fields.

hep-th↗

Gauge symmetries in 2D field theory

A simple algorithm is proposed for constructing generators of gauge symmetry as well as reducibility relations for arbitrary systems of field equations in two dimensions.

math-ph↗

BRST analysis of general mechanical systems

We study the groups of local BRST cohomology associated to the general systems of ordinary differential equations, not necessarily Lagrangian or Hamiltonian. Starting with the involutive normal form of the equations, we explicitly compute certain cohomology groups having clear physical meaning. These include the groups of global symmetries, conservation laws and Lagrange structures. It is shown that the space of integrable Lagrange structures is naturally isomorphic to the space of weak Poisson brackets. The last fact allows one to establish a direct link between the path-integral quantization of general not necessarily variational dynamics by means of Lagrange structures and the deformation quantization of weak Poisson brackets.

math-ph↗

Lagrange Anchor for Bargmann-Wigner equations

A Poincare invariant Lagrange anchor is found for the non-Lagrangian relativistic wave equations of Bargmann and Wigner describing free massless fields of spin s > 1/2 in four-dimensional Minkowski space. By making use of this Lagrange anchor, we assign a symmetry to each conservation law.

math-ph↗

Consistent interactions and involution

Starting from the concept of involution of field equations, a universal method is proposed for constructing consistent interactions between the fields. The method equally well applies to the Lagrangian and non-Lagrangian equations and it is explicitly covariant. No auxiliary fields are introduced. The equations may have (or have no) gauge symmetry and/or second class constraints in Hamiltonian formalism, providing the theory admits a Hamiltonian description. In every case the method identifies all the consistent interactions.

hep-th↗

Local BRST cohomology in (non-)Lagrangian field theory

Some general theorems are established on the local BRST cohomology for not necessarily Lagrangian gauge theories. Particular attention is given to the BRST groups with direct physical interpretation. Among other things, the groups of rigid symmetries and conservation laws are shown to be still connected, though less tightly than in the Lagrangian theory. The connection is provided by the elements of another local BRST cohomology group whose elements are identified with Lagrange structures. This extends the cohomological formulation of the Noether theorem beyond the scope of Lagrangian dynamics. We show that each integrable Lagrange structure gives rise to a Lie bracket in the space of conservation laws, which generalizes the Dickey bracket of conserved currents known in Lagrangian field theory. We study the issues of existence and uniqueness of the local BRST complex associated with a given set of field equations endowed with a compatible Lagrange structure. Contrary to the usual BV formalism, such a complex does not always exist for non-Lagrangian dynamics, and when exists it is by no means unique. The ambiguity and obstructions are controlled by certain cohomology classes, which are all explicitly identified.

hep-th↗

A remark on the Lagrange structure of the unfolded field theory

Any local field theory can be equivalently reformulated in the so-called unfolded form. General unfolded equations are non-Lagrangian even though the original theory is Lagrangian. Using the theory of a scalar field as a basic example, the concept of Lagrange anchor is applied to perform a consistent path-integral quantization of unfolded dynamics. It is shown that the unfolded representation for the canonical Lagrange anchor of the d'Alembert equation inevitably involves an infinite number of space-time derivatives.

hep-th↗

Characteristic classes of Q-manifolds: classification and applications

A $Q$-manifold $M$ is a supermanifold endowed with an odd vector field $Q$ squaring to zero. The Lie derivative $L_Q$ along $Q$ makes the algebra of smooth tensor fields on $M$ into a differential algebra. In this paper, we define and study the invariants of $Q$-manifolds called characteristic classes. These take values in the cohomology of the operator $L_Q$ and, given an affine symmetric connection with curvature $R$, can be represented by universal tensor polynomials in the repeated covariant derivatives of $Q$ and $R$ up to some finite order. As usual, the characteristic classes are proved to be independent of the choice of the affine connection used to define them. The main result of the paper is a complete classification of the intrinsic characteristic classes, which, by definition, do not vanish identically on flat $Q$-manifolds. As an illustration of the general theory we interpret some of the intrinsic characteristic classes as anomalies in the BV and BFV-BRST quantization methods of gauge theories. An application to the theory of (singular) foliations is also discussed.

math-ph↗

Normal forms and gauge symmetries of local dynamics

A systematic procedure is proposed for deriving all the gauge symmetries of the general, not necessarily variational, equations of motion. For the variational equations, this procedure reduces to the Dirac-Bergmann algorithm for the constrained Hamiltonian systems with certain extension: it remains applicable beyond the scope of Dirac's conjecture. Even though no pairing exists between the constraints and the gauge symmetry generators in general non-variational dynamics, certain counterparts still can be identified of the first- and second-class constraints without appealing to any Poisson structure. It is shown that the general local gauge dynamics can be equivalently reformulated in the involutive normal form. The last form of dynamics always admits the BRST embedding, which does not require the classical equations to follow from any variational principle.

math-ph↗

Quantization of Donaldson-Uhlenbeck-Yau theory

A covariant path-integral quantization is proposed for the non-Lagrangian gauge theory described by the Donaldson-Uhlenbeck-Yau equation. The corresponding partition function is shown to admit a nice path-integral representation in terms of the gauged G/G Kähler WZW model. A relationship with the $J$-formulation of the anti-self-dual Yang-Mills theory is explored.

hep-th↗

On characteristic classes of Q-manifolds

We define the notion of characteristic classes for supermanifolds endowed with a homological vector field $Q$. These take values in the cohomology of the Lie derivative operator $L_Q$ acting on arbitrary tensor fields. We formulate a classification theorem for intrinsic characteristic classes and give their explicit description.

math.QA↗