-
Strong Homotopy Algebras for Chiral Higher Spin Gravity via Stokes Theorem
Authors:
Alexey Sharapov,
Evgeny Skvortsov,
Richard Van Dongen
Abstract:
Chiral higher spin gravity is defined in terms of a strong homotopy algebra of pre-Calabi-Yau type (noncommutative Poisson structure). All structure maps are given by the integrals over the configuration space of concave polygons and the first two maps are related to the (Shoikhet-Tsygan-)Kontsevich Formality. As with the known formality theorems, we prove the $A_\infty$-relations via Stokes' theo…
▽ More
Chiral higher spin gravity is defined in terms of a strong homotopy algebra of pre-Calabi-Yau type (noncommutative Poisson structure). All structure maps are given by the integrals over the configuration space of concave polygons and the first two maps are related to the (Shoikhet-Tsygan-)Kontsevich Formality. As with the known formality theorems, we prove the $A_\infty$-relations via Stokes' theorem by constructing a closed form and a configuration space whose boundary components lead to the $A_\infty$-relations. This gives a new way to formulate higher spin gravities and hints at a construct encompassing the known formality theorems.
△ Less
Submitted 18 September, 2024; v1 submitted 27 December, 2023;
originally announced December 2023.
-
Wick-type deformation quantization of contact metric manifolds
Authors:
Boris M. Elfimov,
Alexey A. Sharapov
Abstract:
We construct a Wick-type deformation quantization of contact metric manifolds. The construction is fully canonical and involves no arbitrary choice. Unlike the case of symplectic or Poisson manifolds, not every classical observable on a general contact metric manifold can be promoted to a quantum one due to possible obstructions to quantization. We prove, however, that all these obstructions disap…
▽ More
We construct a Wick-type deformation quantization of contact metric manifolds. The construction is fully canonical and involves no arbitrary choice. Unlike the case of symplectic or Poisson manifolds, not every classical observable on a general contact metric manifold can be promoted to a quantum one due to possible obstructions to quantization. We prove, however, that all these obstructions disappear for Sasakian manifolds.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Non-commutative gauge symmetry from strong homotopy algebras
Authors:
Vladislav Kupriyanov,
Fernando Oliveira,
Alexey Sharapov,
Dmitri Vassilevich
Abstract:
We explicitly construct an L$_\infty$ algebra that defines U$_{\star}(1)$ gauge transformations on a space with an arbitrary non-commutative and even non-associative star product. Matter fields are naturally incorporated in this scheme as L$_\infty$ modules. Some possibilities for including P$_\infty$ algebras are also discussed.
We explicitly construct an L$_\infty$ algebra that defines U$_{\star}(1)$ gauge transformations on a space with an arbitrary non-commutative and even non-associative star product. Matter fields are naturally incorporated in this scheme as L$_\infty$ modules. Some possibilities for including P$_\infty$ algebras are also discussed.
△ Less
Submitted 20 February, 2024; v1 submitted 26 September, 2023;
originally announced September 2023.
-
Symplectic Groupoids and Poisson Electrodynamics
Authors:
Vladislav G. Kupriyanov,
Alexey A. Sharapov,
Richard J. Szabo
Abstract:
We develop a geometric approach to Poisson electrodynamics, that is, the semi-classical limit of noncommutative $U(1)$ gauge theory. Our framework is based on an integrating symplectic groupoid for the underlying Poisson brackets, which we interpret as the classical phase space of a point particle on noncommutative spacetime. In this picture gauge fields arise as bisections of the symplectic group…
▽ More
We develop a geometric approach to Poisson electrodynamics, that is, the semi-classical limit of noncommutative $U(1)$ gauge theory. Our framework is based on an integrating symplectic groupoid for the underlying Poisson brackets, which we interpret as the classical phase space of a point particle on noncommutative spacetime. In this picture gauge fields arise as bisections of the symplectic groupoid while gauge transformations are parameterized by Lagrangian bisections. We provide a geometric construction of a gauge invariant action functional which minimally couples a dynamical charged particle to a background electromagnetic field. Our constructions are elucidated by several explicit examples, demonstrating the appearances of curved and even compact momentum spaces, the interplay between gauge transformations and spacetime diffeomorphisms, as well as emergent gravity phenomena.
△ Less
Submitted 17 February, 2024; v1 submitted 14 August, 2023;
originally announced August 2023.
-
Chiral Higher Spin Gravity and Convex Geometry
Authors:
Alexey Sharapov,
Evgeny Skvortsov,
Richard Van Dongen
Abstract:
Chiral Higher Spin Gravity is the minimal extension of the graviton with propagating massless higher spin fields. It admits any value of the cosmological constant, including zero. Its existence implies that Chern-Simons vector models have closed subsectors and supports the $3d$ bosonization duality. In this letter, we explicitly construct an $A_\infty$-algebra that determines all interaction verti…
▽ More
Chiral Higher Spin Gravity is the minimal extension of the graviton with propagating massless higher spin fields. It admits any value of the cosmological constant, including zero. Its existence implies that Chern-Simons vector models have closed subsectors and supports the $3d$ bosonization duality. In this letter, we explicitly construct an $A_\infty$-algebra that determines all interaction vertices of the theory. The algebra turns out to be of pre-Calabi-Yau type. The corresponding products, some of which originate from Shoikhet-Tsygan-Kontsevich formality, are given by integrals over the configuration space of convex polygons.
△ Less
Submitted 11 January, 2023; v1 submitted 5 September, 2022;
originally announced September 2022.
-
Deformation quantization of the simplest Poisson Orbifold
Authors:
Alexey Sharapov,
Evgeny Skvortsov,
Arseny Sukhanov
Abstract:
Whenever a given Poisson manifold is equipped with discrete symmetries the corresponding algebra of invariant functions or the algebra of functions twisted by the symmetry group can have new deformations, which are not captured by Kontsevich Formality. We consider the simplest example of this situation: $\mathbb{R}^2$ with the reflection symmetry $\mathbb{Z}_2$. The usual quantization leads to the…
▽ More
Whenever a given Poisson manifold is equipped with discrete symmetries the corresponding algebra of invariant functions or the algebra of functions twisted by the symmetry group can have new deformations, which are not captured by Kontsevich Formality. We consider the simplest example of this situation: $\mathbb{R}^2$ with the reflection symmetry $\mathbb{Z}_2$. The usual quantization leads to the Weyl algebra. While Weyl algebra is rigid, the algebra of even or twisted by $\mathbb{Z}_2$ functions has one more deformation, which was identified by Wigner and is related to Feigin's $gl_λ$ and to fuzzy sphere. With the help of homological perturbation theory we obtain explicit formula for the deformed product, the first order of which can be extracted from Shoikhet-Tsygan-Kontsevich formality.
△ Less
Submitted 18 July, 2022;
originally announced July 2022.
-
Deformation quantization of contact manifolds
Authors:
Boris M. Elfimov,
Alexey A. Sharapov
Abstract:
We extend Fedosov deformation quantization to general contact manifolds. Unlike the case of symplectic manifolds, not every classical observable on a contact manifold is generally quantized. On examination of possible obstructions to quantization, we obtain some new invariants of contact manifolds.
We extend Fedosov deformation quantization to general contact manifolds. Unlike the case of symplectic manifolds, not every classical observable on a contact manifold is generally quantized. On examination of possible obstructions to quantization, we obtain some new invariants of contact manifolds.
△ Less
Submitted 27 June, 2022;
originally announced June 2022.
-
Homotopy Cartan calculus and inner deformations of $A_\infty$-algebras
Authors:
Alexey A. Sharapov,
Evgeny D. Skvortsov
Abstract:
We consider inner deformations of families of $A_\infty$-algebras. With the help of noncommutative Cartan's calculus, we prove the invariance of Hochschild (co)homology under inner deformations. The invariance also holds for cyclic cohomology classes that satisfy some additional conditions. Applications to dg-algebras and QFT problems are briefly discussed.
We consider inner deformations of families of $A_\infty$-algebras. With the help of noncommutative Cartan's calculus, we prove the invariance of Hochschild (co)homology under inner deformations. The invariance also holds for cyclic cohomology classes that satisfy some additional conditions. Applications to dg-algebras and QFT problems are briefly discussed.
△ Less
Submitted 15 June, 2022; v1 submitted 22 February, 2022;
originally announced February 2022.
-
Cup product on $A_\infty$-cohomology and deformations
Authors:
Alexey A. Sharapov,
Evgeny D. Skvortsov
Abstract:
We propose a simple method for constructing formal deformations of differential graded algebras in the category of minimal $A_\infty$-algebras. The basis for our approach is provided by the Gerstenhaber algebra structure on the $A_\infty$-cohomology, which we define in terms of the brace operations. As an example, we construct a minimal $A_\infty$-algebra from the Weyl-Moyal $\ast$-product algebra…
▽ More
We propose a simple method for constructing formal deformations of differential graded algebras in the category of minimal $A_\infty$-algebras. The basis for our approach is provided by the Gerstenhaber algebra structure on the $A_\infty$-cohomology, which we define in terms of the brace operations. As an example, we construct a minimal $A_\infty$-algebra from the Weyl-Moyal $\ast$-product algebra of polynomial functions.
△ Less
Submitted 6 May, 2021; v1 submitted 11 January, 2019;
originally announced January 2019.
-
On deformations of $A_\infty$-algebras
Authors:
Alexey A. Sharapov,
Evgeny D. Skvortsov
Abstract:
A simple method is proposed for deforming $A_\infty$-algebras by means of the resolution technique. The method is then applied to the associative algebras of polynomial functions on quantum superspaces. Specifically, by introducing suitable resolutions, we construct explicit deformations of these algebras in the category of minimal $A_\infty$-algebras. The relation of these deformations to higher…
▽ More
A simple method is proposed for deforming $A_\infty$-algebras by means of the resolution technique. The method is then applied to the associative algebras of polynomial functions on quantum superspaces. Specifically, by introducing suitable resolutions, we construct explicit deformations of these algebras in the category of minimal $A_\infty$-algebras. The relation of these deformations to higher spin gravities is briefly discussed.
△ Less
Submitted 10 September, 2018;
originally announced September 2018.
-
A simple construction of associative deformations
Authors:
Alexey A. Sharapov,
Evgeny D. Skvortsov
Abstract:
We propose a simple approach to formal deformations of associative algebras. It exploits the machinery of multiplicative coresolutions of an associative algebra A in the category of A-bimodules. Specifically, we show that certain first-order deformations of A extend to all orders and we derive explicit recurrent formulas determining this extension. In physical terms, this may be regarded as the de…
▽ More
We propose a simple approach to formal deformations of associative algebras. It exploits the machinery of multiplicative coresolutions of an associative algebra A in the category of A-bimodules. Specifically, we show that certain first-order deformations of A extend to all orders and we derive explicit recurrent formulas determining this extension. In physical terms, this may be regarded as the deformation quantization of noncommutative Poisson structures on A.
△ Less
Submitted 1 August, 2018; v1 submitted 29 March, 2018;
originally announced March 2018.
-
Lifting a Weak Poisson Bracket to the Algebra of Forms
Authors:
Simon L. Lyakhovich,
Matthew T. Peddie,
Alexey A. Sharapov
Abstract:
We detail the construction of a weak Poisson bracket over a submanifold of a smooth manifold M with respect to a local foliation of this submanifold. Such a bracket satisfies a weak type Jacobi identity but may be viewed as a usual Poisson bracket on the space of leaves of the foliation. We then lift this weak Poisson bracket to a weak odd Poisson bracket on the odd tangent bundle, interpreted as…
▽ More
We detail the construction of a weak Poisson bracket over a submanifold of a smooth manifold M with respect to a local foliation of this submanifold. Such a bracket satisfies a weak type Jacobi identity but may be viewed as a usual Poisson bracket on the space of leaves of the foliation. We then lift this weak Poisson bracket to a weak odd Poisson bracket on the odd tangent bundle, interpreted as a weak Koszul bracket on differential forms on M. This lift is achieved by encoding the weak Poisson structure into a homotopy Poisson structure on an extended manifold, and lifting the Hamiltonian function that generates this structure. Such a construction has direct physical interpretation. For a generic gauge system, the submanifold may be viewed as a stationary surface or a constraint surface, with the foliation given by the foliation of the gauge orbits. Through this interpretation, the lift of the weak Poisson structure is simply a lift of the action generating the corresponding BRST operator of the system.
△ Less
Submitted 16 May, 2016; v1 submitted 18 November, 2015;
originally announced November 2015.
-
Null-curves in R^{2,n} as flat dynamical systems
Authors:
A. M. Latyshev,
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
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.
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.
△ Less
Submitted 29 October, 2015;
originally announced October 2015.
-
Local BRST cohomology in (non-)Lagrangian field theory
Authors:
D. S. Kaparulin,
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
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…
▽ More
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.
△ Less
Submitted 31 August, 2011; v1 submitted 21 June, 2011;
originally announced June 2011.
-
Dynamical systems defining Jacobi's theta-constants
Authors:
Yu. Brezhnev,
S. Lyakhovich,
A. Sharapov
Abstract:
We propose a system of equations that defines Weierstrass--Jacobi's eta- and theta-constant series in a differentially closed way. This system is shown to have a direct relationship to a little-known dynamical system obtained by Jacobi. The classically known differential equations by Darboux--Halphen, Chazy, and Ramanujan are the differential consequences or reductions of these systems. The propos…
▽ More
We propose a system of equations that defines Weierstrass--Jacobi's eta- and theta-constant series in a differentially closed way. This system is shown to have a direct relationship to a little-known dynamical system obtained by Jacobi. The classically known differential equations by Darboux--Halphen, Chazy, and Ramanujan are the differential consequences or reductions of these systems. The proposed system is shown to admit the Lagrangian, Hamiltonian, and Nambu formulations. We explicitly construct a pencil of nonlinear Poisson brackets and complete set of involutive conserved quantities. As byproducts of the theory, we exemplify conserved quantities for the Ramamani dynamical system and quadratic system of Halphen--Brioschi.
△ Less
Submitted 2 December, 2011; v1 submitted 7 December, 2010;
originally announced December 2010.
-
All Stable Characteristic Classes of Homological Vector Fields
Authors:
E. Mosman,
A. Sharapov
Abstract:
An odd vector field $Q$ on a supermanifold $M$ is called homological, if $Q^2=0$. The operator of Lie derivative $L_Q$ makes the algebra of smooth tensor fields on $M$ into a differential tensor algebra. In this paper, we give a complete classification of certain invariants of homological vector fields called characteristic classes. These take values in the cohomology of the operator $L_Q$ and are…
▽ More
An odd vector field $Q$ on a supermanifold $M$ is called homological, if $Q^2=0$. The operator of Lie derivative $L_Q$ makes the algebra of smooth tensor fields on $M$ into a differential tensor algebra. In this paper, we give a complete classification of certain invariants of homological vector fields called characteristic classes. These take values in the cohomology of the operator $L_Q$ and are represented by $Q$-invariant tensors made up of the homological vector field and a symmetric connection on $M$ by means of tensor operations.
△ Less
Submitted 24 August, 2010; v1 submitted 2 March, 2010;
originally announced March 2010.
-
Rigid Symmetries and Conservation Laws in Non-Lagrangian Field Theory
Authors:
D. S. Kaparulin,
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
Making use of the Lagrange anchor construction introduced earlier to quantize non-Lagrangian field theories, we extend the Noether theorem beyond the class of variational dynamics.
Making use of the Lagrange anchor construction introduced earlier to quantize non-Lagrangian field theories, we extend the Noether theorem beyond the class of variational dynamics.
△ Less
Submitted 23 July, 2010; v1 submitted 4 January, 2010;
originally announced January 2010.
-
Characteristic classes of Q-manifolds: classification and applications
Authors:
S. L. Lyakhovich,
E. A. Mosman,
A. A. Sharapov
Abstract:
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 conne…
▽ More
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.
△ Less
Submitted 2 March, 2010; v1 submitted 2 June, 2009;
originally announced June 2009.
-
Normal forms and gauge symmetries of local dynamics
Authors:
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
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 const…
▽ More
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.
△ Less
Submitted 9 January, 2009; v1 submitted 29 December, 2008;
originally announced December 2008.
-
On characteristic classes of Q-manifolds
Authors:
S. L. Lyakhovich,
E. A. Mosman,
A. A. Sharapov
Abstract:
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.
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.
△ Less
Submitted 5 January, 2007; v1 submitted 20 December, 2006;
originally announced December 2006.
-
Quantizing non-Lagrangian gauge theories: an augmentation method
Authors:
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
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…
▽ More
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.
△ Less
Submitted 20 December, 2006; v1 submitted 10 December, 2006;
originally announced December 2006.
-
Lagrange structure and quantization
Authors:
P. O. Kazinski,
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
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…
▽ More
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.
△ Less
Submitted 28 June, 2005; v1 submitted 11 June, 2005;
originally announced June 2005.
-
BRST theory without Hamiltonian and Lagrangian
Authors:
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
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 Lagran…
▽ More
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.
△ Less
Submitted 14 December, 2004; v1 submitted 26 November, 2004;
originally announced November 2004.
-
Characteristic classes of gauge systems
Authors:
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
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)…
▽ More
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.
△ Less
Submitted 7 August, 2004; v1 submitted 14 July, 2004;
originally announced July 2004.
-
Wick Quantization of Cotangent Bundles over Riemannian Manifolds
Authors:
I. V. Gorbunov,
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
A simple geometric procedure is proposed for constructing Wick symbols on cotangent bundles to Riemannian manifolds. The main ingredient of the construction is a method of endowing the cotangent bundle with a formal Kähler structure. The formality means that the metric is lifted from the Riemannian manifold $Q$ to its phase space $T^\ast Q$ in the form of formal power series in momenta with the…
▽ More
A simple geometric procedure is proposed for constructing Wick symbols on cotangent bundles to Riemannian manifolds. The main ingredient of the construction is a method of endowing the cotangent bundle with a formal Kähler structure. The formality means that the metric is lifted from the Riemannian manifold $Q$ to its phase space $T^\ast Q$ in the form of formal power series in momenta with the coefficients being tensor fields on the base. The corresponding Kähler two-form on the total space of $T^\ast Q$ coincides with the canonical symplectic form, while the canonical projection of the Kähler metric on the base manifold reproduces the original metric. Some examples are considered, including constant curvature space and nonlinear sigma models, illustrating the general construction.
△ Less
Submitted 11 July, 2004; v1 submitted 5 January, 2004;
originally announced January 2004.
-
BRST quantization of quasi-symplectic manifolds and beyond
Authors:
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
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 viewe…
▽ More
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.
△ Less
Submitted 10 March, 2006; v1 submitted 6 December, 2003;
originally announced December 2003.
-
On the Fedosov Deformation Quantization beyond the Regular Poisson Manifolds
Authors:
V. A. Dolgushev,
A. P. Isaev,
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
A simple iterative procedure is suggested for the deformation quantization of (irregular) Poisson brackets associated to the classical Yang-Baxter equation. The construction is shown to admit a pure algebraic reformulation giving the Universal Deformation Formula (UDF) for any triangular Lie bialgebra. A simple proof of classification theorem for inequivalent UDF's is given. As an example the ex…
▽ More
A simple iterative procedure is suggested for the deformation quantization of (irregular) Poisson brackets associated to the classical Yang-Baxter equation. The construction is shown to admit a pure algebraic reformulation giving the Universal Deformation Formula (UDF) for any triangular Lie bialgebra. A simple proof of classification theorem for inequivalent UDF's is given. As an example the explicit quantization formula is presented for the quasi-homogeneous Poisson brackets on two-plane.
△ Less
Submitted 5 June, 2002;
originally announced June 2002.
-
Wick type deformation quantization of Fedosov manifolds
Authors:
V. A. Dolgushev,
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
A coordinate-free definition for Wick-type symbols is given for symplectic manifolds by means of the Fedosov procedure. The main ingredient of this approach is a bilinear symmetric form defined on the complexified tangent bundle of the symplectic manifold and subject to some set of algebraic and differential conditions. It is precisely the structure which describes a deviation of the Wick-type s…
▽ More
A coordinate-free definition for Wick-type symbols is given for symplectic manifolds by means of the Fedosov procedure. The main ingredient of this approach is a bilinear symmetric form defined on the complexified tangent bundle of the symplectic manifold and subject to some set of algebraic and differential conditions. It is precisely the structure which describes a deviation of the Wick-type star-product from the Weyl one in the first order in the deformation parameter. The geometry of the symplectic manifolds equipped by such a bilinear form is explored and a certain analogue of the Newlander-Nirenberg theorem is presented. The 2-form is explicitly identified which cohomological class coincides with the Fedosov class of the Wick-type star-product. For the particular case of Kähler manifold this class is shown to be proportional to the Chern class of a complex manifold. We also show that the symbol construction admits canonical superextension, which can be thought of as the Wick-type deformation of the exterior algebra of differential forms on the base (even) manifold. Possible applications of the deformed superalgebra to the noncommutative field theory and strings are discussed.
△ Less
Submitted 5 January, 2001;
originally announced January 2001.
-
Wick Type Symbol and Deformed Algebra of Exterior Forms
Authors:
V. A. Dolgushev,
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
The covariant descripion is constructed for the Wick-type symbols on symplectic manifolds by means of the Fedosov procedure. The geometry of the manifolds admitting this symbol is explored. The superextended version of the Wick-type star-product is introduced and a possible application of the construction to the noncommutative field theory is discussed.
The covariant descripion is constructed for the Wick-type symbols on symplectic manifolds by means of the Fedosov procedure. The geometry of the manifolds admitting this symbol is explored. The superextended version of the Wick-type star-product is introduced and a possible application of the construction to the noncommutative field theory is discussed.
△ Less
Submitted 13 November, 2000; v1 submitted 5 October, 2000;
originally announced October 2000.
