Searcharxiv⌕ Search

arXiv subjects

S. L. Lyakhovich

Publications and source records attributed to S. L. Lyakhovich.

At least 55 records · Page 3Linked to original sources
arXiv2013

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↗
arXiv2013

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↗
arXiv2013

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↗
arXiv2011

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↗
arXiv2010

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↗
arXiv2010

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↗
arXiv2009

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↗
arXiv2007

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↗
arXiv2007

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↗
arXiv2006

Quantizing non-Lagrangian gauge theories: an augmentation method

We discuss a recently proposed method of quantizing general non-Lagrangian gauge theories. The method can be implemented in many different ways, in particular, it can employ a conversion procedure that turns an original non-Lagrangian field theory in $d$ dimensions into an equivalent Lagrangian topological field theory in $d+1$ dimensions. The method involves, besides the classical equations of motion, one more geometric ingredient called the Lagrange anchor. Different Lagrange anchors result in different quantizations of one and the same classical theory. Given the classical equations of motion and Lagrange anchor as input data, a new procedure, called the augmentation, is proposed to quantize non-Lagrangian dynamics. Within the augmentation procedure, the originally non-Lagrangian theory is absorbed by a wider Lagrangian theory on the same space-time manifold. The augmented theory is not generally equivalent to the original one as it has more physical degrees of freedom than the original theory. However, the extra degrees of freedom are factorized out in a certain regular way both at classical and quantum levels. The general techniques are exemplified by quantizing two non-Lagrangian models of physical interest.

hep-th↗
arXiv2006

BRST quantization of quasi-symplectic manifolds and beyond

We consider a class of \textit{factorizable} Poisson brackets which includes almost all reasonable Poisson structures. A particular case of the factorizable brackets are those associated with symplectic Lie algebroids. The BRST theory is applied to describe the geometry underlying these brackets as well as to develop a deformation quantization procedure in this particular case. This can be viewed as an extension of the Fedosov deformation quantization to a wide class of \textit{irregular} Poisson structures. In a more general case, the factorizable Poisson brackets are shown to be closely connected with the notion of $n$-algebroid. A simple description is suggested for the geometry underlying the factorizable Poisson brackets basing on construction of an odd Poisson algebra bundle equipped with an abelian connection. It is shown that the zero-curvature condition for this connection generates all the structure relations for the $n$-algebroid as well as a generalization of the Yang-Baxter equation for the symplectic structure.

hep-th↗
arXiv2006

Schwinger-Dyson equation for non-Lagrangian field theory

A method is proposed of constructing quantum correlators for a general gauge system whose classical equations of motion do not necessarily follow from the least action principle. The idea of the method is in assigning a certain BRST operator $\hatΩ$ to any classical equations of motion, Lagrangian or not. The generating functional of Green's functions is defined by the equation $\hatΩZ (J) = 0$ that is reduced to the standard Schwinger-Dyson equation whenever the classical field equations are Lagrangian. The corresponding probability amplitude $Ψ$ of a field $ϕ$ is defined by the same equation $\hatΩΨ(ϕ) = 0$ although in another representation. When the classical dynamics are Lagrangian, the solution for $Ψ(ϕ)$ is reduced to the Feynman amplitude $e^{\frac{i}{\hbar}S}$, while in the non-Lagrangian case this amplitude can be a more general distribution.

hep-th↗
arXiv2005

Deformation quantization of linear dissipative systems

A simple pseudo-Hamiltonian formulation is proposed for the linear inhomogeneous systems of ODEs. In contrast to the usual Hamiltonian mechanics, our approach is based on the use of non-stationary Poisson brackets, i.e. corresponding Poisson tensor is allowed to explicitly depend on time. Starting from this pseudo-Hamiltonian formulation we develop a consistent deformation quantization procedure involving a non-stationary star-product $*_t$ and an ``extended'' operator of time derivative $D_t=\partial_t+...$, differentiating the $\ast_t$-product. As in the usual case, the $\ast_t$-algebra of physical observables is shown to admit an essentially unique (time dependent) trace functional $\mathrm{Tr}_t$. Using these ingredients we construct a complete and fully consistent quantum-mechanical description for any linear dynamical system with or without dissipation. The general quantization method is exemplified by the models of damped oscillator and radiating point charge.

quant-ph↗
arXiv2005

Lagrange structure and quantization

A path-integral quantization method is proposed for dynamical systems whose classical equations of motion do \textit{not} necessarily follow from the action principle. The key new notion behind this quantization scheme is the Lagrange structure which is more general than the Lagrangian formalism in the same sense as Poisson geometry is more general than the symplectic one. The Lagrange structure is shown to admit a natural BRST description which is used to construct an AKSZ-type topological sigma-model. The dynamics of this sigma-model in $d+1$ dimensions, being localized on the boundary, are proved to be equivalent to the original theory in $d$ dimensions. As the topological sigma-model has a well defined action, it is path-integral quantized in the usual way that results in quantization of the original (not necessarily Lagrangian) theory. When the original equations of motion come from the action principle, the standard BV path-integral is explicitly deduced from the proposed quantization scheme. The general quantization scheme is exemplified by several models including the ones whose classical dynamics are not variational.

hep-th↗
arXiv2005

Star Product for Second Class Constraint Systems from a BRST Theory

We propose an explicit construction of the deformation quantization of the general second-class constrained system, which is covariant with respect to local coordinates on the phase space. The approach is based on constructing the effective first-class constraint (gauge) system equivalent to the original second-class one and can also be understood as a far-going generalization of the Fedosov quantization. The effective gauge system is quantized by the BFV-BRST procedure. The star product for the Dirac bracket is explicitly constructed as the quantum multiplication of BRST observables. We introduce and explicitly construct a Dirac bracket counterpart of the symplectic connection, called the Dirac connection. We identify a particular star product associated with the Dirac connection for which the constraints are in the center of the respective star-commutator algebra. It is shown that when reduced to the constraint surface, this star product is a Fedosov star product on the constraint surface considered as a symplectic manifold.

hep-th↗
arXiv2004

BRST theory without Hamiltonian and Lagrangian

We consider a generic gauge system, whose physical degrees of freedom are obtained by restriction on a constraint surface followed by factorization with respect to the action of gauge transformations; in so doing, no Hamiltonian structure or action principle is supposed to exist. For such a generic gauge system we construct a consistent BRST formulation, which includes the conventional BV Lagrangian and BFV Hamiltonian schemes as particular cases. If the original manifold carries a weak Poisson structure (a bivector field giving rise to a Poisson bracket on the space of physical observables) the generic gauge system is shown to admit deformation quantization by means of the Kontsevich formality theorem. A sigma-model interpretation of this quantization algorithm is briefly discussed.

hep-th↗
arXiv2004

Characteristic classes of gauge systems

We define and study invariants which can be uniformly constructed for any gauge system. By a gauge system we understand an (anti-)Poisson supermanifold provided with an odd Hamiltonian self-commuting vector field called a homological vector field. This definition encompasses all the cases usually included into the notion of a gauge theory in physics as well as some other similar (but different) structures like Lie or Courant algebroids. For Lagrangian gauge theories or Hamiltonian first class constrained systems, the homological vector field is identified with the classical BRST transformation operator. We define characteristic classes of a gauge system as universal cohomology classes of the homological vector field, which are uniformly constructed in terms of this vector field itself. Not striving to exhaustively classify all the characteristic classes in this work, we compute those invariants which are built up in terms of the first derivatives of the homological vector field. We also consider the cohomological operations in the space of all the characteristic classes. In particular, we show that the (anti-)Poisson bracket becomes trivial when applied to the space of all the characteristic classes, instead the latter space can be endowed with another Lie bracket operation. Making use of this Lie bracket one can generate new characteristic classes involving higher derivatives of the homological vector field. The simplest characteristic classes are illustrated by the examples relating them to anomalies in the traditional BV or BFV-BRST theory and to characteristic classes of (singular) foliations.

hep-th↗