Odd Laplacians: geometrical meaning of potential and modular class

A second-order self-adjoint operator \(\Delta =S\partial ^2+U\) is uniquely defined by its principal symbol S and potential U if it acts on half-densities. We analyse the potential U as a compensating field (gauge field) in the sense that it compensates the action of coordinate transformations on the second derivatives in the same way as an affine connection compensates the action of coordinate transformations on first derivatives in the first-order operator, a covariant derivative, \(\nabla =\partial +\Gamma \). Usually a potential U is derived from other geometrical constructions such as a volume form, an affine connection, or a Riemannian structure, etc. The story is different if \(\Delta \) is an odd operator on a supermanifold. In this case, the second-order potential becomes a primary object. For example, in the case of an odd symplectic supermanifold, the compensating field of the canonical odd Laplacian depends only on this symplectic structure and can be expressed by the formula obtained by K. Bering. We also study modular classes of odd Poisson manifolds via \(\Delta \)-operators, and consider an example of a non-trivial modular class which is related with the Nijenhuis bracket.     

Noncommutative Differential Forms and Quantization of the Odd Symplectic Category

There is a simple and natural quantization of differential forms on odd Poisson supermanifolds, given by the relation [f,dg]={f,g} for all functions f and g. We notice that this noncommutative differential algebra has a geometrical realization as a convolution algebra of the symplectic groupoid integrating the Poisson manifold. This quantization is just a part of a quantization of the odd symplectic category (where objects are odd symplectic supermanifolds and morphisms are Lagrangian relations) in terms of ₂-graded chain complexes. It is a straightforward consequence of the theory of BV operator acting on semidensities, due to H. Khudaverdian.     

Functionals and the Quantum Master Equation

The quantum master equation is usually formulated in terms of functionals of the components of mappings (fields in physpeak) from a space–time manifold M into a finite-dimensional vector space. The master equation is the sum of two terms one of which is the antibracket (odd poisson bracket) of functionals and the other is the Laplacian of a functional. Both of these terms seem to depend on the fact that the mappings on which the functionals act are vector-valued. It turns out that neither the Laplacian nor the antibracket is well-defined for sections of an arbitrary vector bundle. We show that if the functionals are permitted to have their values in an appropriate graded tensor algebra whose factors are the dual of the space of smooth functions on M, then both the antibracket and the Laplace operator can be invariantly defined. This permits one to develop the Batalin–Vilkovisky approach to BRST cohomology for functionals of sections of an arbitrary vector bundle.     

A Covariant Poisson Deformation Quantization with Separation of Variables up to the Third Order

We give a simple formula for the operator C ₃ of the standard deformation quantization with separation of variables on a Kähler manifold M. Unlike C ₁ and C ₂, this operator cannot be expressed in terms of the Kähler–Poisson tensor on M. We modify C ₃ to obtain a covariant deformation quantization with separation of variables up to the third order which is expressed in terms of the Poisson tensor on M and can thus be defined on an arbitrary complex manifold endowed with a Poisson bivector field of type (1,1).     

La première valeur propre de l'opérateur de Dirac sur les variétés kählériennes compactes

K.D. Kirchberg [Ki1] gave a lower bound for the first eigenvalue of the Dirac operator on a spin compact Kähler manifoldM of odd complex dimension with positive scalar curvature. We prove that manifolds of real dimension 8l+6 satisfying the limiting case are twistor space (cf. [Sa]) of quaternionic Kähler manifold with positive scalar curvature and that the only manifold of real dimension 8l+2 satisfying the limiting case is the complex projective spaceCP ^4l+1.     

增光子奇偶相干态的Wigner函数

利用相干态表象下的Wigner算符, 重构了增光子奇偶相干态的Wigner函数.根据此Wigner函数在相空间中随复变量α的变化关系, 讨论了增光子奇偶相干态的非经典性质. 结果表明, 增光子奇偶相干态总可呈现非经典性质, 且在m取奇(或偶)数时, 增光子偶(或奇)相干态更容易出现非经典性质. 根据增光子奇偶相干态的Wigner函数的边缘分布, 阐明了此Wigner函数的物理意义. 同时, 利用中介表象理论获得了增光子奇偶相干态的量子tomogram函数. 关键词： 增光子奇偶相干态 Wigner函数 中介表象 tomogram函数     

The Existence of a Canonical Lifting of Even Poisson Structures to the Algebra of Densities

In this note we construct a canonical lifting of arbitrary Poisson structures on a manifold to its algbera of densities. Using this construction we proceed to classify all extensions of a fixed structure on the original manifold to its algebra of densities. The question is analogous to the problem studied by H. M. Khudaverdian and Th. Voronov for odd Poisson structures and differential operators. Although the questions are similar the results are distinctly marked, namely in the case of even Poisson structures there always exists a lift which is naturally defined. The proof of this result bears a remarkable resemblance to the construction of the Frolicher – Nijenhuis bracket. In the final section we find a cocycle for the odd Lie algbera \({C^\infty (\Pi T* M)}\) originating from a singular point in the above lifitng.     

Creating a monopole in 4D gauge theories

The problem of defining the second quantized monopole creation operator in non-Abelian gauge theories is discussed and exemplified by the (3 + 1)-dimensional Georgi-Glashow model. We construct the “coherent state” operator M(x) that creates the Coulomb magnetic field in terms of the Dirac singular electromagnetic potential. Our calculation of the vacuum expectation value of this operator 〈M(x)〉 in the confining phase indicates that it is free from the singularity along the Dirac string and in the leading order of perturbation theory the 〈M(x)〉 vanishes as a power of the volume of the system. This supports the conception that inclusion of the nonperturbative effects introduces an effective infrared cutoff on the calculation providing the finiteness of vacuum expectation value 〈M(x)〉. The text was submitted by the authors in English.     

All Stable Characteristic Classes of Homological Vector Fields

An odd vector field Q on a supermanifold M is called homological, if Q ² = 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 the algebraic tensor operations and covariant differentiation.     

Quantization of Forms on the Cotangent Bundle

We consider the following construction of quantization. For a Riemannian manifold $M$ the space of forms on T ^{⋆ M} is made into a space of (full) symbols of operators acting on forms on M. This gives rise to the composition of symbols, which is a deformation of the (“super”)commutative multiplication of forms. The symbol calculus is exact for differential operators and the symbols that are polynomial in momenta. We calculate the symbols of natural Laplacians. (Some nice Weitzenb?ck like identities appear here.) Formulae for the traces corresponding to natural gradings of Ω (T ^{⋆ M} ) are established. Using these formulae, we give a simple direct proof of the Gauss–Bonnet–Chern Theorem. We discuss these results in connection with a general question of the quantization of forms on a Poisson manifold. Received: 12 November 1998 / Accepted: 1 March 1999     

Decomposition of symmetric tensor fields in the presence of a flat contact projective structure

Abstract

Let M be an odd-dimensional Euclidean space endowed with a contact 1-form α. We investigate the space of symmetric contravariant tensor fields over M as a module over the Lie algebra of contact vector fields, i.e. over the Lie subalgebra made up of those vector fields that preserve the contact structure defined by a. If we consider symmetric tensor fields with coefficients in tensor densities (also called symbols), the vertical cotangent lift of the contact form a defines a contact invariant operator. We also extend the classical contact Hamiltonian to the space of symbols. This generalized Hamiltonian operator on the space of symbols is invariant with respect to the action of the projective contact algebra sp(2n+2) the algebra of vector fields which preserve both the contact structure and the projective structure of the Euclidean space. These two operators lead to a decomposition of the space of symbols, except for some critical density weights, which generalizes a splitting proposed by V. Ovsienko in [18].     

The Spectral Zeta Function for Laplace Operators on Warped Product Manifolds of the type I × f N

In this work we study the spectral zeta function associated with the Laplace operator acting on scalar functions defined on a warped product of manifolds of the type I × _f N, where I is an interval of the real line and N is a compact, d-dimensional Riemannian manifold either with or without boundary. Starting from an integral representation of the spectral zeta function, we find its analytic continuation by exploiting the WKB asymptotic expansion of the eigenfunctions of the Laplace operator on M for which a detailed analysis is presented. We apply the obtained results to the explicit computation of the zeta regularized functional determinant and the coefficients of the heat kernel asymptotic expansion.     

Normalized Ricci Flow on Riemann Surfaces and Determinant of Laplacian

In this letter, we give a simple proof of the fact that the determinant of Laplace operator in a smooth metric over compact Riemann surfaces of an arbitrary genus g monotonously grows under the normalized Ricci flow. Together with results of Hamilton that under the action of the normalized Ricci flow a smooth metric tends asymptotically to the metric of constant curvature, this leads to a simple proof of the Osgood–Phillips–Sarnak theorem stating that within the class of smooth metrics with fixed conformal class and fixed volume the determinant of the Laplace operator is maximal on the metric of constant curvatute.Mathematical Subject Classifications (2000). 58J52, 53C44.     

A generalized Schrödinger equation via a complex Lagrangian of electrodynamics

In this paper we give a generalized form of the Schrödinger equation in the relativistic case, which contains a generalization of the Klein-Gordon equation. By complex Legendre transformation, the complex Lagrangian of electrodynamics produces a complex relativistic Hamiltonian H of electrodynamics, on the holomorphic cotangent bundle T′* M. By a special quantization process, a relativistic time dependent Schrödinger equation, in the adapted frames of (T′* M, H) is obtained. This generalized Schrödinger equation can be expressed with respect to the Laplace operator of the complex Hamilton space (T′*M, H). Finally, under some additional conditions on the proper time s of the complex space-time M and the time parameter t along the quantum state, by the method of separation of variables, we obtain two classes of solutions for the Schrödinger equation, one for the weakly gravitational complex curved space M, and the second in the complex space-time with Schwarzschild metric.     

Supersymmetric Quantum Mechanics and Super-Lichnerowicz Algebras

We present supersymmetric, curved space, quantum mechanical models based on deformations of a parabolic subalgebra of osp(2p+2|Q). The dynamics are governed by a spinning particle action whose internal coordinates are Lorentz vectors labeled by the fundamental representation of osp(2p|Q). The states of the theory are tensors or spinor-tensors on the curved background while conserved charges correspond to the various differential geometry operators acting on these. The Hamiltonian generalizes Lichnerowicz’s wave/Laplace operator. It is central, and the models are supersymmetric whenever the background is a symmetric space, although there is an osp(2p|Q) superalgebra for any curved background. The lowest purely bosonic example (2p, Q) = (2, 0) corresponds to a deformed Jacobi group and describes Lichnerowicz’s original algebra of constant curvature, differential geometric operators acting on symmetric tensors. The case (2p, Q) = (0, 1) is simply the superparticle whose supercharge amounts to the Dirac operator acting on spinors. The (2p, Q) = (0, 2) model is the supersymmetric quantum mechanics corresponding to differential forms. (This latter pair of models are supersymmetric on any Riemannian background.) When Q is odd, the models apply to spinor-tensors. The (2p, Q) = (2, 1) model is distinguished by admitting a central Lichnerowicz-Dirac operator when the background is constant curvature. The new supersymmetric models are novel in that the Hamiltonian is not just a square of super charges, but rather a sum of commutators of supercharges and commutators of bosonic charges. These models and superalgebras are a very useful tool for any study involving high rank tensors and spinors on manifolds. Dedicated to the memory of Tom Branson     

The Hermitian Laplace Operator on Nearly Kähler Manifolds

The moduli space ${\mathcal {NK}}The moduli space NK{\mathcal {NK}} of infinitesimal deformations of a nearly K?hler structure on a compact 6-dimensional manifold is described by a certain eigenspace of the Laplace operator acting on co-closed primitive (1, 1) forms (cf. Moroianu et al. in Pacific J Math 235:57–72, 2008). Using the Hermitian Laplace operator and some representation theory, we compute the space NK{\mathcal {NK}} on all 6-dimensional homogeneous nearly K?hler manifolds. It turns out that the nearly K?hler structure is rigid except for the flag manifold F(1, 2) = SU₃/T ², which carries an 8-dimensional moduli space of infinitesimal nearly K?hler deformations, modeled on the Lie algebra \mathfraksu₃{\mathfrak{su}_3} of the isometry group.     

On conformal Killing 2-form of the electromagnetic field

Let D:C^∞Λ^pM→C^∞(T^*MΛ^pM) be the first order linear differential operator on an n-dimensional (1≤p≤n−1) pseudo-Riemannian manifold (M,g). We have by the representation theory of orthogonal group, that the tangent bundle of this operation decomposes into the orthogonal and irreducible sum of forms of degree p+1 (which gives the exterior differential d), the forms of degree p−1 (defining the codifferential d^*) and the trace-free part of the partial symmetrization (the corresponding first order operator is denoted by D). The general forms in the kernel of D are closely related to conformal Killing vector fields, called conformal Killing p-forms, while those in kernel of d are called closed conformal Killing p-forms or, according to another terminology, planar p-forms. In particular an arbitrary planar 1-form ω is dual (by g) to the special concircular vector field ξ. We consider some local properties for the closed conformal Killing p-forms. As an application we present examples of decomposition into irreducible components for the electromagnetic field 2-form ω and its covariant derivative in four-dimensional space–time. In particular, we prove that the energy–momentum tensor T of the electromagnetic field is a symmetric conformal Killing tensor if the electromagnetic field 2-form ω is a conformal Killing form.     

Projectively and Conformally Invariant Star-Products

We consider the Poisson algebra S(M) of smooth functions on T ^* M which are fiberwise polynomial. In the case where M is locally projectively (resp. conformally) flat, we seek the star-products on S(M) which are SL(n+1,) (resp. SO(p+1,q+1))-invariant. We prove the existence of such star-products using the projectively (resp. conformally) equivariant quantization, then prove their uniqueness, and study their main properties. We finally give an explicit formula for the canonical projectively invariant star-product.     

Non-Perturbative Heat Kernel Asymptotics on Homogeneous Abelian Bundles

We study the heat kernel for a Laplace type partial differential operator acting on smooth sections of a complex vector bundle with the structure group G × U(1) over a Riemannian manifold M without boundary. The total connection on the vector bundle naturally splits into a G-connection and a U(1)-connection, which is assumed to have a parallel curvature F. We find a new local short time asymptotic expansion of the off-diagonal heat kernel U(t|x, x′) close to the diagonal of M × M assuming the curvature F to be of order t ⁻¹. The coefficients of this expansion are polynomial functions in the Riemann curvature tensor (and the curvature of the G-connection) and its derivatives with universal coefficients depending in a non-polynomial but analytic way on the curvature F, more precisely, on tF. These functions generate all terms quadratic and linear in the Riemann curvature and of arbitrary order in F in the usual heat kernel coefficients. In that sense, we effectively sum up the usual short time heat kernel asymptotic expansion to all orders of the curvature F. We compute the first three coefficients (both diagonal and off-diagonal) of this new asymptotic expansion.     

Double Quantization on Some Orbits in the Coadjoint Representations of Simple Lie Groups

Let ? be the function algebra on a semisimple orbit, M, in the coadjoint representation of a simple Lie group, g, with the Lie algebra ?. We study one and two parameter quantizations ? _h and ? _t,h of ? such that the multiplication on the quantized algebra is invariant under action of the Drinfeld–Jimbo quantum group, U _{h (?)}. In particular, the algebra ? _t,h specializes at h= 0 to a U(?)-invariant ($G$-invariant) quantization, %Ascr; _{t ,0}. We prove that the Poisson bracket corresponding to ? _h must be the sum of the so-called r-matrix and an invariant bracket. We classify such brackets for all semisimple orbits, M, and show that they form a dim H ²(M) parameter family, then we construct their quantizations. A two parameter (or double) quantization, $? _t,h , corresponds to a pair of compatible Poisson brackets: the first is as described above and the second is the Kirillov-Kostant-Souriau bracket on M. Not all semisimple orbits admit a compatible pair of Poisson brackets. We classify the semisimple orbits for which such pairs exist and construct the corresponding two parameter quantization of these pairs in some of the cases. Received: 15 August 1998 / Accepted: 13 January 1999