A heat kernel proof of the index theorem for deformation quantization

TL;DR

This paper presents a heat kernel proof of the algebraic index theorem in deformation quantization on pseudo-Kahler manifolds, simplifying the formula by normalizing trace densities and characteristic classes.

Contribution

It introduces a heat kernel approach to prove the index theorem for deformation quantization with separation of variables, removing extraneous constants.

Findings

Provides a simplified proof of the index theorem using heat kernel methods.

Normalizes trace densities and characteristic classes to eliminate extra constants.

Applies to deformation quantization on pseudo-Kahler manifolds.

Abstract

We give a heat kernel proof of the algebraic index theorem for deformation quantization with separation of variables on a pseudo-Kahler manifold. We use normalizations of the canonical trace density of a star product and of the characteristic classes involved in the index formula for which this formula contains no extra constant factors.

Equations

$$f={\nu }^r{f}_r+{\nu }^{r+1}{f}_{r+1}+\dots ,$$

$$f\star g=fg+\sum _{r=1}^{\infty }{\nu }^r{C}_r(f,g).$$

$$C_1(f,g)-C_1(g,f)=i\{f,g\},$$

$$T=1+\nu T_1+{\nu }^2{T}_2+\dots$$

$$f{\star }_{2}g=T^{-1}(Tf{\star }_{1}Tg).$$

$$-\frac{i}{\nu }\left[{\omega }_{-1}\right]+H^2(M)[[\nu ]],$$

$${\delta }_{\star }=\frac{d}{d\nu }+A,$$

$$\frac{d}{d\nu }{\int }_{U}f{\mu }_{\star }={\int }_U{\delta }_{\star }(f){\mu }_{\star }$$

$$\frac{1}{m!}{\left(-\frac{i}{\nu }{\omega }_{-1}\right)}^m.$$

$${\int }_M{\mu }_{\star }={\int }_M{e}^{{\theta }_{\star }}\hat{A}(M),$$

$${\det }^{\frac{1}{2}}\frac{R_{TM}/2}{\sinh (R_{TM}/2)},$$

$$a\star f=af\text{mbox}andf\star b=fb$$

$$L_a^{\star }=a\text{mbox}and{R}_b^{\star }=b$$

$$\pi =i{g}^{\bar{l}k}\frac{\partial }{\partial z^k}\wedge \frac{\partial }{\partial {\bar{z}}^l},$$

$${\mathcal{I}}_{\star }=1+\nu {\mathcal{I}}_1+{\nu }^2{\mathcal{I}}_2+\dots$$

$${\mathcal{I}}_{\star }(ba)=b\star a.$$

$$f{\star }^{\prime }g={\mathcal{I}}_{\star }^{-1}({\mathcal{I}}_{\star }f\star {\mathcal{I}}_{\star }g)$$

$$b{\star }^{\prime }f=bf\text{mbox}andf{\star }^{\prime }a=fa,$$

$${\mathcal{I}}_{\star }(fa)={\mathcal{I}}_{\star }(f)\star a\text{mbox}and{\mathcal{I}}_{\star }(bf)=b\star {\mathcal{I}}_{\star }(f).$$

$${\mathcal{I}}_{\star }(fa)={\mathcal{I}}_{\star }(f{\star }^{\prime }a)={\mathcal{I}}_{\star }(f)\star {\mathcal{I}}_{\star }(a)={\mathcal{I}}_{\star }(f)\star a.$$

$$f\tilde{\star }g=g{\star }^{\prime }f,$$

$$C_1(f,g)=g^{\bar{l}k}\frac{\partial f}{\partial {\bar{z}}^l}\frac{\partial g}{\partial z^k},$$

$${\omega }_{-1}=i{g}_{k\bar{l}}d{z}^k\wedge d{\bar{z}}^l$$

$$g_{k\bar{l}}=\frac{{\partial }^2{\Phi }_{-1}}{\partial z^k\partial {\bar{z}}^l}.$$

$$g_{k_1\dots k_p{\bar{l}}_1\dots {\bar{l}}_q}=\frac{{\partial }^{p+q}{\Phi }_{-1}}{\partial z^{k_1}\dots \partial z^{k_p}\partial {\bar{z}}^{l_1}\dots \bar{\partial }{z}^{l_q}}$$

$$\omega ={\nu }^{-1}{\omega }_{-1}+{\omega }_0+\nu {\omega }_1+\dots$$

$$\Phi :={\nu }^{-1}{\Phi }_{-1}+{\Phi }_0+\nu {\Phi }_1+\dots$$

$$L_{\frac{\partial \Phi }{\partial z^k}}^{\star }=\frac{\partial \Phi }{\partial z^k}+\frac{\partial }{\partial z^k}\text{mbox}and{R}_{\frac{\partial \Phi }{\partial {\bar{z}}^l}}^{\star }=\frac{\partial \Phi }{\partial {\bar{z}}^l}+\frac{\partial }{\partial {\bar{z}}^l}$$

$$\rho =-i\partial \bar{\partial }\det (g_{kl}).$$

$${\theta }_{\star }=-i\left([\omega ]-\frac{1}{2}{\epsilon }_M\right)=-i\left([\omega ]+\frac{1}{2}[\rho ]\right),$$

Full text

*This paper is dedicated to my teacher

Alexandre Aleksandrovich Kirillov*

1. 1 Introduction
2. 2 Star products with separation of variables
3. 3 Deformation quantization on a super-Kähler manifold
4. 4 A star product on $TM\oplus\Pi TM$
5. 5 The standard filtration
6. 6 The Lie superalgebra $\langle\chi,\tilde{\chi},\sigma\rangle$
7. 7 The subspace ${\mathcal{K}}$
8. 8 The algebras ${\mathcal{A}}$ and ${\mathcal{B}}$
9. 9 An evolution equation
10. 10 Oscillatory symbols
11. 11 Identification of the trace functional $\tau$
12. 12 Getzler’s rescaling

1. Introduction

Given a manifold $M$, denote by $C^{\infty}(M)((\nu))$ the space of formal Laurent series

[TABLE]

where $r\in\mathbb{Z}$ and $f_{i}\in C^{\infty}(M)$ for $i\geq r$. We call $f$ a formal function on $M$. Let $\pi$ be a Poisson bivector field on $M$. A formal deformation quantization on the Poisson manifold $(M,\pi)$ is an associative product $\star$ on $C^{\infty}(M)((\nu))$ given by the formula

[TABLE]

In (1) $C_{r}$ are bidifferential operators on $M$ and

[TABLE]

where $\{f,g\}=\pi(df\wedge dg)$ is the Poisson bracket corresponding to $\pi$. We assume that a star product is normalized, i.e., the unit constant function ${\bf{1}}$ is the identity, $f\star{\bf{1}}={\bf{1}}\star f=f$ for any $f$. Given formal functions $f,g$ on $M$, we denote by $L^{\star}_{f}$ the operator of left multiplication by $f$ and by $R^{\star}_{g}$ the operator of right multiplication by $g$ with respect to the star product $\star$, so that $f\star g=L^{\star}_{f}g=R^{\star}_{g}f$. We have $[L^{\star}_{f},R^{\star}_{g}]=0$ for any $f,g$.

A star product can be restricted to any open set $U\subset M$. We denote by $C_{0}^{\infty}(U)((\nu))$ the space of formal functions compactly supported on $U$. For $f=\nu^{r}f_{r}+\ldots\in C_{0}^{\infty}(U)((\nu))$ each function $f_{i}$ has compact support in $U$, but we do not requre that all $f_{i},i\geq r$, have a common compact support in $U$.

Two star products $\star_{1}$ and $\star_{2}$ on $(M,\pi)$ are equivalent if there exists a formal differential operator

[TABLE]

on $M$ such that

[TABLE]

The problem of existence and classification up to equivalence of star products on Poisson manifolds was stated in [2] and settled by Kontsevich in [21], who proved that star products exist on an arbitrary Poisson manifold and their equivalence classes are parametrized by the formal deformations of the Poisson structure.

A symplectic manifold $(M,\omega_{-1})$ is equipped with a nondegenerate Poisson bivector field $\pi$ inverse to $\omega_{-1}$. Fedosov gave in [8] and [9] a simple geometric construction of star products in each equivalence class on an arbitrary symplectic manifold $(M,\omega_{-1})$. The equivalence classes of star products on $(M,\omega_{-1})$ are bijectively parametrized by the formal cohomology classes from

[TABLE]

as shown in [6], [23], [9], [4].

Let $\star$ be a star product on a connected symplectic manifold $(M,\omega_{-1})$ of dimension $2m$. There exists a formal trace density for the product $\star$ which is globally defined on $M$ and is unique up to a factor from $\mathbb{C}((\nu))$. Fedosov introduced in [8] a canonically normalized formal trace density for the product $\star$ using local isomorphisms between that product and the Moyal-Weyl star product. Then in [9] he used this trace density to state and prove the algebraic index theorem for the star product $\star$.

In this paper we consider a canonical formal trace density $\mu_{\star}$ of the product $\star$ on $M$ which differs from Fedosov’s trace density by a factor from $\mathbb{C}$. According to [17], the normalization of $\mu_{\star}$ can be described intrinsically as follows. On each contractible open subset $U\subset M$ there exists a local $\nu$-derivation of the product $\star$ of the form

[TABLE]

where $A$ is a formal differential operator on $U$ (see [13]). It is unique up to an inner derivation, i.e., all such $\nu$-derivations on $U$ are of the form $\delta_{\star}+[f,\cdot]_{\star}$, where $f\in C^{\infty}(U)((\nu))$ and $[\cdot,\cdot]_{\star}$ is the commutator with respect to the product $\star$. The canonical trace density $\mu_{\star}$ satisfies the equation

[TABLE]

for any formal function $f$ compactly supported on $U$. Equation  (2) determines $\mu_{\star}$ on $U$ up to a factor from $\mathbb{C}$ which can be fixed by normalizing the leading term of $\mu_{\star}$. In this paper we require that this leading term be

[TABLE]

If $M$ is compact, the total volume of the canonical trace density $\mu_{\star}$ is given by a topological formula analogous to the Atiyah-Singer formula for the index of an elliptic operator,

[TABLE]

where $\theta_{\star}$ is the formal cohomology class that parametrizes the equivalence class of the star product $\star$ and $\hat{A}(M)$ is the $\hat{A}$-genus of the manifold $M$. The class $\hat{A}(M)$ has a de Rham representative

[TABLE]

where $R_{TM}$ is the curvature of an arbitrary connection on $TM$. This statement is called the algebraic index theorem for deformation quantization and the total volume of the canonical trace density $\mu_{\star}$ is called the algebraic index of the star product $\star$. The algebraic index theorem has several different conceptual proofs. Fedosov’s proof is based upon the methods of Atiyah and Singer. Nest and Tsygan proved in [22] the algebraic index theorem for deformation quantization using cyclic homology and the local Riemann-Roch theorem by Feigin and Tsygan given in [11]. Various generalizations of the algebraic index theorem were obtained in [23], [10], [7], [24], [25].

Getzler gave in [12] a proof of the Atiah-Singer index theorem for a Dirac operator based upon the ideas of Witten and Alvarez-Gaumé (see [1]). In that proof he used symbols of pseudodifferential operators on a supermanifold. Berline, Getzler, and Vergne wrote later a book [3] on heat kernel proofs of index theorems for Dirac operators.

In this paper we prove the algebraic index theorem for a star product with separation of variables on a pseudo-Kähler manifold following Getzler’s approach. Many global geometric objects used in our proof are described locally on holomorphic coordinate charts by coordinate-independent constructions. The proofs of a number of statements are based on the interplay between pointwise products and star products with separation of variables. We use normalizations of the canonical trace density and of the characteristic classes involved in the index formula (4) for which this formula contains no extra constant factors.

This paper is dedicated to my teacher Alexandre Aleksandrovich Kirillov on the occasion of his 81st birthday.

2. Star products with separation of variables

Let $M$ be a complex manifold of complex dimension $m$ equipped with a Poisson bivector field $\pi$. A star product $\star$ on $(M,\pi)$ has the property of separation of variables of the anti-Wick type if

[TABLE]

for any locally defined holomorphic function $a$, antiholomorphic function $b$, and arbitrary function $f$, which means that

[TABLE]

are pointwise multiplication operators. Equivalently, the operators $C_{r}$ in (1) act on the first argument by antiholomorphic partial derivatives and on the second argument by holomorphic ones. If there exists a star product with separation of variables on $(M,\pi)$, then the Poisson bivector $\pi$ is of type (1,1) with respect to the complex structure. In local coordinates $\pi$ is expressed as follows,

[TABLE]

where $g^{\bar{l}k}$ is the Poisson tensor corresponding to $\pi$ and the Einstein summation over repeated upper and lower indices is used.

We say that a formal differential operator $A=A_{0}+\nu A_{1}+\ldots$ on a manifold $M$ is natural if $A_{r}$ is a differential operator on $M$ of order not greater than $r$ for all $r\geq 0$. A star product (1) is natural in the sense of [14] if the bidifferential operator $C_{r}$ in (1) is of order not greater than  $r$ in each argument for all $r\geq 1$ or, equivalently, if for any $f\in C^{\infty}(M)$ the operators $L^{\star}_{f}$ and $R^{\star}_{f}$ on $M$ are natural. If a star product $\star$ is natural and $f=\nu^{p}f_{p}+\nu^{p+1}f_{p+1}+\ldots\in C^{\infty}(M)((\nu))$ (i.e., the $\nu$-filtration degree of $f$ is at least $p$), then the operators $\nu^{-p}L^{\star}_{f}$ and $\nu^{-p}R^{\star}_{f}$ are natural. It was proved in [18] that any star product with separation of variables on a complex manifold $M$ is natural.

Given a star product with separation of variables $\star$ on $(M,\pi)$, there exists a unique globally defined formal differential operator

[TABLE]

on $M$ such that for any locally defined holomorphic function $a$ and antiholomorphic function $b$,

[TABLE]

In particular, ${\mathcal{I}}_{\star}a=a$ and ${\mathcal{I}}_{\star}b=b$. It is called the formal Berezin transform associated with the star product $\star$. A star product with separation of variables can be recovered from its formal Berezin transform. An equivalent star product $\star^{\prime}$ on $(M,\pi)$ given by the formula

[TABLE]

is a star product with separation of variables of the Wick type, so that

[TABLE]

where $a$ and $b$ are as above.

Lemma 2.1**.**

For any local holomorphic function $a$ and local antiholomorphic function $b$ we have

[TABLE]

Proof.

[TABLE]

The second formula can be proved similarly. ∎

The star product $\tilde{\star}$ opposite to $\star^{\prime}$,

[TABLE]

is a star product with separation of variables of the anti-Wick type on $(M,-\pi)$. The star product $\tilde{\star}$ is called dual to $\star$. Its formal Berezin transform is ${\mathcal{I}}_{\tilde{\star}}={\mathcal{I}}_{\star}^{-1}.$

In this paper we assume that a star product with separation of variables is of the anti-Wick type unless otherwise specified.

Let $\star$ be a star product with separation of variables on $(M,\pi)$. The operator $C_{1}$ in (1) written in coordinates on a local chart $U\subset M$ is of the form

[TABLE]

where $g^{\bar{l}k}$ is the Poisson tensor corresponding to $\pi$. If $\pi$ is nondegenerate, it corresponds to a pseudo-Kähler form $\omega_{-1}$ on $M$. Namely, the matrix $g_{k\bar{l}}$ inverse to $g^{\bar{l}k}$ is a pseudo-Kähler metric tensor such that

[TABLE]

on $U$. If $\Phi_{-1}$ is a potential of $\omega_{-1}$ on $U$, then

[TABLE]

We will omit the bars over the antiholomorphic indices in the tensors $g_{k\bar{l}}$ and $g^{\bar{l}k}$. In this paper we will use the notation

[TABLE]

for $p,q\geq 1$.

It was proved in [15] and [5] that star products with separation of variables exist on an arbitrary pseudo-Kähler manifold $(M,\omega_{-1})$. Moreover, as shown in [15], the star products with separation of variables of the anti-Wick type on $(M,\omega_{-1})$ bijectively correspond to the closed formal (1,1)-forms

[TABLE]

on $M$. Let $\star$ be a star product with separation of variables on $(M,\omega_{-1})$ with classifying form (7). On a contractible coordinate chart $U\subset M$ every closed form $\omega_{r}$ has a potential $\Phi_{r}$, so that $\omega_{r}=i\partial\bar{\partial}\Phi_{r}$. Then

[TABLE]

is a formal potential of $\omega$ on $U$. The star product $\star$ is uniquely determined by the property that

[TABLE]

for $1\leq k,l\leq m$. Given $f\in C^{\infty}(U)((\nu))$, there exists a unique formal differential operator $A$ on $U$ which commutes with the operators $R^{\star}_{\bar{z}^{l}}=\bar{z}^{l}$ and $R^{\star}_{\partial\Phi/\partial\bar{z}^{l}}$ for $1\leq l\leq m$ and satisfies the condition $A{\bf{1}}=f$. It coincides with the operator $L^{\star}_{f},\ A=L^{\star}_{f}$. This property allows to reconstruct the star product  $\star$ from its classifying form $\omega$.

The Ricci form $\rho$ on $(M,\omega_{-1})$ is given in local coordinates by the formula

[TABLE]

The canonical class $\varepsilon_{M}$ of the complex manifold $M$ has a de Rham representative $-\rho,\ \varepsilon_{M}=-[\rho]$.

The formal cohomology class $\theta_{\star}$ that parametrizes the equivalence class of a star product with separation of variables $\star$ on $M$ with classifying form $\omega$ is given by the formula

[TABLE]

where $[\omega]$ is the de Rham class of $\omega$. Formula (9) was given in [16], but, unfortunately, contained a wrong sign.

Let $\tilde{\omega}$ be the classifying form of the star product with separation of variables $\tilde{\star}$ on $(M,-\omega_{-1})$ dual to the product $\star$. Then

[TABLE]

The following construction of a local non-normalized trace density for a star product with separation of variables $\star$ on $(M,\omega_{-1})$ was introduced in  [17]. Given a contractible coordinate chart $U\subset M$ and a potential $\Phi=\nu^{-1}\Phi_{-1}+\Phi_{0}+\ldots$ of the classifying form $\omega$ of the product $\star$ on $U$, there exists a potential $\Psi=-\nu^{-1}\Phi_{-1}+\Psi_{0}+\nu\Psi_{1}+\ldots$ of the dual form $\tilde{\omega}$ on $U$ satisfying the equations

[TABLE]

The potential $\Psi$ is determined by equations (10) up to an additive formal constant. As shown in [17],

[TABLE]

where $dzd\bar{z}$ is a Lebesgue measure on $U$, is a trace density for the product $\star$ on $U$. In order to canonically normalize this trace density, one can use the following explicit local $\nu$-derivation of the product $\star$ on $U$ introduced in [16],

[TABLE]

3. Deformation quantization on a super-Kähler manifold

In this section we recall a construction of a star product with separation of variables on a split supermanifold from [20].

Let $E$ be a holomorphic vector bundle of rank $d$ over a pseudo-Kähler manifold $(M,\omega_{-1})$ equipped with a possibly indefinite sesquilinear fiber metric $h_{\alpha\bar{\beta}}$ and let $\Pi E$ be the corresponding split supermanifold. We identify the functions on $\Pi E$ with the sections of $\wedge\left(E^{\ast}\oplus\bar{E}^{\ast}\right)$, where $E^{\ast}$ and $\bar{E}$ are the dual and the conjugate bundles of $E$, respectively.

We say that a formal function $f=\nu^{r}f_{r}+\ldots$ on $\Pi E$ is compactly supported over $M$ if for each $j\geq r$ the coefficient $f_{j}$ is a compactly supported section of $\wedge\left(E^{\ast}\oplus\bar{E}^{\ast}\right)$, or, equivalently, there exists a compact $K_{j}\subset M$ such that the restriction of the function $f_{j}$ to $\Pi E|_{M\setminus K_{j}}$ vanishes.

Consider a holomorphic trivialization $E|_{U}\cong U\times\mathbb{C}^{d}$ over an open set $U\subset M$ and denote by $\theta^{\alpha},\bar{\theta}^{\beta},1\leq\alpha,\beta\leq d,$ the odd fiber coordinates on $\Pi E|_{U}\cong U\times\mathbb{C}^{0|d}$. A function $f$ on $\Pi E|_{U}$ can be written as

[TABLE]

where the coefficients $f_{\alpha_{1}\ldots\alpha_{p}\bar{\beta}_{1}\ldots\bar{\beta}_{q}}\in C^{\infty}(U)$ are separately antisymmetric in the indices $\alpha_{i}$ and $\beta_{j}$. A function (12) on $\Pi E|_{U}$ is holomorphic if its coefficients are holomorphic and satisfy $f_{\alpha_{1}\ldots\alpha_{p}\bar{\beta}_{1}\ldots\bar{\beta}_{q}}=0$ for $q>0$. It is antiholomorphic if its coefficients are antiholomorphic and satisfy $f_{\alpha_{1}\ldots\alpha_{p}\bar{\beta}_{1}\ldots\bar{\beta}_{q}}=0$ for $p>0$.

The fiber metric $h_{\alpha\bar{\beta}}$ on $E$ determines a global even nilpotent function $H=\nu^{-1}H_{-1}$ on $\Pi E$ such that locally

[TABLE]

Let $\star$ be a star product with separation of variables on $(M,\omega_{-1})$ with classifying form $\omega$. It was shown in [20] that the star product $\star$ and the function $H$ determine a unique global star product with separation of variables $\ast$ on $\Pi E$ which is $\mathbb{Z}_{2}$-graded with respect to the standard parity of the functions on $\Pi E$ and satisfies the following property. Let $U\subset M$ be any contractible coordinate chart, $\Pi E|_{U}\cong U\times\mathbb{C}^{0|d}$ be a trivialization, $\Phi=\nu^{-1}\Phi_{-1}+\Phi_{0}+\ldots$ be a potential of the form $\omega$ on $U$ identified with its lift to $\Pi E|_{U}$, and

[TABLE]

be an even superpotential on $\Pi E|_{U}$. Then

[TABLE]

Here we assume that the fiberwise Grassmann multiplication operators and partial derivatives with respect to the odd variables $\theta,\bar{\theta}$ act from the left, $L_{f}$ is the left $\ast$-multiplication operator by $f$ so that $L_{f}g=f\ast g$, and $R_{f}$ is the graded right $\ast$-multiplication operator by $f$, so that if $f$ and $g$ are homogeneous functions on $\Pi E$, then

[TABLE]

In particular, $L_{f}$ supercommutes with $R_{g}$ for any $f,g$. The star product  $\ast$ on $\Pi E|_{U}$ is determined by the potential $X$. Given a formal function $f\in C^{\infty}(\Pi E|_{U})((\nu))$, one can describe the operator $L_{f}$ as follows. There exists a unique formal differential operator $A$ on $\Pi E|_{U}$ which supercommutes with the operators

[TABLE]

and is such that $A{\bf{1}}=f$. It coincides with the operator $L_{f},A=L_{f}$.

Denote by ${\mathcal{I}}$ the formal Berezin transform for the product $\ast$. It is a formal differential operator globally defined on $\Pi E$ and such that

[TABLE]

for any local holomorphic function $a$ and antiholomorphic function $b$ on $\Pi E$. In particular, ${\mathcal{I}}a=a$ and ${\mathcal{I}}b=b$. One can prove formulas analogous to (5) for the operator ${\mathcal{I}}$. For any function $f$,

[TABLE]

It was shown in [20] that the star product $\ast$ has a supertrace given by a canonically normalized formal supertrace density globally defined on $\Pi E$.

A local non-normalized supertrace density for the product $\ast$ can be obtained as follows. Given a contractible coordinate chart $U\subset M$ and a superpotential (13) which determines the star product $\ast$ on $\Pi E|_{U}$, there exists an even superpotential

[TABLE]

on $\Pi E|_{U}$ satisfying the equations

[TABLE]

The formula

[TABLE]

where $dzd\bar{z}$ is a Lebesgue measure on $U$ and $d\theta d\bar{\theta}$ is a Berezin density (coordinate volume form) on $\mathbb{C}^{0|d}$, gives a supertrace density for the star product $\ast$ on $\Pi E|_{U}\cong U\times\mathbb{C}^{0|d}$. It is determined up to a multiplicative formal constant.

4. A star product on $TM\oplus\Pi TM$

In this section we fix a star product with separation of variables $\star$ with classifying form $\omega$ on a pseudo-Kähler manifold $(M,\omega_{-1})$ of complex dimension $m$. We recall a construction from [19] of a star product with separation of variables $\bullet$ on the tangent bundle $TM$ obtained from the product $\star$. We use the product $\bullet$ to construct a star product $\ast$ on the supermanifold $TM\oplus\Pi TM$ which will be the main framework for the proof of the algebraic index theorem for the star product $\star$.

The tangent bundle $TM$ can be identified with the cotangent bundle $T^{\ast}M$ via the pseudo-Kähler metric on $M$. It was shown in [19] that the canonical symplectic form on $T^{\ast}M$ transferred to $TM$ via this identification is a global pseudo-Kähler form $\Xi_{-1}$ on $TM$. Let $U\subset M$ be a contractible coordinate chart with coordinates $z^{k},\bar{z}^{l},1\leq k,l\leq m,$ and $\Phi_{-1}$ be a potential of $\omega_{-1}$ on $U$. Denote by $\eta^{k},\bar{\eta}^{l}$ the corresponding fiber coordinates on $TU$. Then

[TABLE]

is a potential of $\Xi_{-1}$ on $TU$. Let $\pi_{TM}:TM\to M$ be the natural projection. It was shown in [19] that

[TABLE]

is also a global pseudo-Kähler form on $TM$. We denote by $\bullet$ the star product with separation of variables on the pseudo-Kähler manifold $(TM,\Omega_{-1})$ with the classifying form

[TABLE]

If $\Phi$ is a potential of $\omega$ on $U$, then

[TABLE]

is a potential of the form $\Omega$ on $TU$.

Denote by $E$ the holomorphic vector bundle over $TM$ which is the pullback of the holomorphic tangent bundle $T^{(1,0)}M$ by the natural projection $\pi_{TM}$,

[TABLE]

We equip $E$ with the fiber metric induced by the pseudo-Kähler metric $g_{kl}$ on $M$. The split supermanifold $\Pi E$ can be identified with the total space of the bundle $TM\oplus\Pi TM\to M$. Let $U\subset M$ be a coordinate chart and

[TABLE]

be the corresponding trivialization. We denote as above the even fiber coordinates by $\eta^{k},\bar{\eta}^{l}$ and the odd ones by $\theta^{k},\bar{\theta}^{l}$.

Let $\psi=\nu^{-1}\psi_{-1}$ be a global even nilpotent function on $TM\oplus\Pi TM$ such that in local coordinates

[TABLE]

As shown in [20], there is a unique star product with separation of variables $\ast$ on $TM\oplus\Pi TM\cong\Pi E$ obtained from the product  $\bullet$ on $TM$ and the function  $\psi$ such that for any contractible coordinate chart $U\subset M$ the product $\ast$ is determined on $TU\oplus\Pi TU$ by the even superpotential

[TABLE]

We denote by $L_{f}$ and $R_{f}$ the left and the graded right $\ast$-multiplication operators by a function $f$, respectively. The following formulas hold on $TU\oplus\Pi TU$,

[TABLE]

We introduce two families of operators on $TU\oplus\Pi TU$,

[TABLE]

It is known that $[D^{k},D^{p}]=0$ and $[\bar{D}^{l},\bar{D}^{q}]=0$ for all $k,l,p,q$.

Proposition 4.1**.**

Given a formal function $f\in C^{\infty}(U)((\nu))$ identified with its lift to $TU\oplus\Pi TU$, the following formulas hold,

[TABLE]

and

[TABLE]

Proof.

Denote temporarily the operator on the right-hand side of (20) by  $A$. Since $A$ is even, for any operator $B$ the commutator of $A$ and $B$ coincides with their supercommutator. Clearly, $A1=f$ and  $A$ commutes with the fiberwise Grassmann multiplication operators by the functions on $TU\oplus\Pi TU$ which do not depend on the variables $\eta$ and with the operators

[TABLE]

In order to prove formula (20) it remains to show that $A$ commutes with the operators

[TABLE]

Since $A$ commutes with the multiplication operators by the functions on $TU\oplus\Pi TU$ which do not depend on the variables $\eta$, it sufficies to prove that it commutes with the operators $\eta^{p}+\nu D^{p}$. We will consider a “Fourier transform” which maps the operator $\partial/\partial\eta^{k}$ to the multiplication operator by the variable $\xi_{k}$ and the multiplication operator by $\eta^{k}$ to the operator $-\partial/\partial\xi^{k}$. This mapping extends to an isomorphism from the algebra of polynomial differential operators in the variables $\eta^{k}$ onto that in the variables $\xi_{k}$. The operator $A$ will be mapped to the multiplication operator by the function $\{\exp(\nu\xi_{k}D^{k})\}f$ and the operator $\eta^{p}+\nu D^{p}$ will be mapped to

[TABLE]

It is clear that the operators $\{\exp(\nu\xi_{k}D^{k})\}f$ and (22) commute, which concludes the proof of formula (20). Formula (21) can be proved similarly. ∎

Denote by ${\mathcal{I}}$ the formal Berezin transform of the star product  $\ast$.

Corollary 4.1**.**

Given functions $f,g$ on $M$ identified with their lifts to $TM\oplus\Pi TM$ via the natural projection, we have

[TABLE]

Also, ${\mathcal{I}}f=f$.

Proof.

Formula (23) follows from (20). Let $U\subset M$ be a coordinate chart and $a=a(z)$ and $b=b(\bar{z})$ be a holomorphic and an antiholomorphic function on $U$, respectively, lifted to $TU\oplus\Pi TU$. Then formula (23) implies that

[TABLE]

Since ${\mathcal{I}}$ is a formal differential operator, it follows that ${\mathcal{I}}f=f$ for any function $f$ on $M$ lifted to $TM\oplus\Pi TM$. ∎

Let $U\subset M$ be a contractible coordinate chart. We set $\mathbf{g}:=\det(g_{kl})$ and denote by $\log\mathbf{g}$ any branch of the logarithm of $\mathbf{g}$ on $U$. Below we will calculate a supertrace density for the star product $\ast$ on $TU\oplus\Pi TU$.

Lemma 4.1**.**

The following formula holds,

[TABLE]

Proof.

Using Proposition 4.1 and a formula from (4),

[TABLE]

we obtain the statement of the lemma from the calculation

[TABLE]

∎

Proposition 4.2**.**

The even superpotential $X^{\prime}:=-X+\log\mathbf{g}$ satisfies the following equations.

[TABLE]

Proof.

Using formulas (15), Proposition 4.1, and Lemma 4.1, we get that

[TABLE]

The second equation in (4.2) can be proved similarly. The last four equations in (4.2) follow immediately from formulas (4) and Proposition  4.1. ∎

Observe that $e^{X+X^{\prime}}=\mathbf{g}$. According to formula (16), Proposition 4.2 implies that

[TABLE]

is a supertrace density for the product $\ast$ on $TU\oplus\Pi TU$.

Denote by $\gamma$ the global fiberwise $(1,1)$-form on $TM$ given in local coordinates by the formula

[TABLE]

The global fiberwise volume form $\gamma^{m}$ on $TM$ is given locally by a scalar multiple of $\nu^{-m}\mathbf{g}d\eta d\bar{\eta}$. We assume that $d\beta=dzd\bar{z}d\theta d\bar{\theta}$ is the globally defined canonical Berezin density on $\Pi TM$ 111If $\alpha=f(z,\bar{z})dz^{1}\wedge\ldots\wedge dz^{m}\wedge d\bar{z}^{1}\wedge\ldots\wedge d\bar{z}^{m}$ is a compactly supported volume form on $U$, denote by $\hat{\alpha}=f(z,\bar{z})\theta^{1}\ldots\theta^{m}\bar{\theta}^{1}\ldots\bar{\theta}^{m}$ the corresponding function on $\Pi TU$. Then

$\int_{\Pi TU}\hat{\alpha}\,d\beta=\int_{U}\alpha.$

. We introduce a global supertrace density of the star product  $\ast$ on $TM\oplus\Pi TM$ by the formula

[TABLE]

Lemma 4.2**.**

For any formal functions $F,G$ on $TM\oplus\Pi TM$ such that $F$ or $G$ is compactly supported over $TM$ the following identity holds,

[TABLE]

Proof.

It suffices to prove the lemma on a coordinate chart $U\subset M$ for $F\in(C^{\infty}_{0}(TU)[\theta,\bar{\theta}])((\nu))$ and $G=b\ast a$, where $a=a(z,\eta,\theta)$ is holomorphic and $b=b(\bar{z},\bar{\eta},\bar{\theta})$ is antiholomorphic on $TU\oplus\Pi TU$. Then

[TABLE]

∎

In the rest of this section we fix a contractible coordinate chart $U\subset M$ and a superpotential (18) on $TU\oplus\Pi TU$.

Lemma 4.3**.**

The following identity holds,

[TABLE]

Proof.

We have, using (15), (20), (21), and (24),

[TABLE]

whence the lemma follows. ∎

One can construct a local $\nu$-derivation analogous to (11) for the star product $\ast$ on $TU\oplus\Pi TU$,

[TABLE]

Theorem 4.1**.**

For any function $F\in(C^{\infty}_{0}(TU)[\theta,\bar{\theta}])((\nu))$ the following identity holds,

[TABLE]

Proof.

We have by Lemmas 4.2 and 4.3,

[TABLE]

∎

Remark. The statement of Theorem 4.1 remains valid if the derivation $\delta$ is modified by an inner derivation, i.e., replaced with the derivation $\delta+L_{f}-R_{f}$ for any $f\in C^{\infty}(TU\oplus\Pi TU)((\nu))$.

5. The standard filtration

Let $M$ be a complex manifold and $U\subset M$ be an open subset. Denote by ${\mathcal{P}}_{k}(U)$ the space of fiberwise homogeneous polynomial functions of degree $k$ on $TU\oplus\Pi TU$. Then the space ${\mathcal{P}}(U):=\prod_{k\geq 0}{\mathcal{P}}_{k}(U)$ of formal series $f=f_{0}+f_{1}+\ldots$, where $f_{k}\in{\mathcal{P}}_{k}(U)$, can be interpreted as the space of functions on the formal neighborhood of the zero section of the bundle $TU\oplus\Pi TU$. If $U$ is a coordinate chart, ${\mathcal{P}}(U)$ is identified with $C^{\infty}(U)[[\eta,\bar{\eta},\theta,\bar{\theta}]]$. We set ${\mathcal{Q}}(U):={\mathcal{P}}(U)((\nu))$.

Given $i\in\mathbb{Z}$, denote by ${\mathcal{F}}^{i}(U)$ the space of formal series of the form

[TABLE]

where $f_{r,k}\in{\mathcal{P}}_{k}(U)$. Since ${\mathcal{F}}^{i+1}(U)\subset{\mathcal{F}}^{i}(U)$, $\{{\mathcal{F}}^{i}(U)\}$ is a descending filtration on the space

[TABLE]

This filtration is induced by a grading $\deg$ such that $\deg\nu=2$ and $\deg f=k$ for $f\in{\mathcal{P}}_{k}(U)$. We denote by $\mathrm{fdeg}\,f$ the filtration degree of an element $f\in{\mathcal{F}}(U)$. These filtration and grading will be called standard. We have ${\mathcal{Q}}(U)\subset{\mathcal{F}}(U)$ and set ${\mathcal{Q}}^{i}(U):={\mathcal{F}}^{i}(U)\cap{\mathcal{Q}}(U)$. We say that an element (28) of ${\mathcal{F}}(U)$ is compactly supported over $U$ if for each pair of indices $r,k$ there exists a compact $K_{r,k}\subset U$ such that $f_{r,k}$ vanishes on

[TABLE]

We will write ${\mathcal{Q}}:={\mathcal{Q}}(M),{\mathcal{F}}:={\mathcal{F}}(M)$, etc.

If $U$ is a coordinate chart, a differential operator on $C^{\infty}(U)[[\eta,\bar{\eta},\theta,\bar{\theta}]]$ has coefficients from that space and partial derivatives in the variables $z,\bar{z},\eta,\bar{\eta},\theta,\bar{\theta}$. One can define a differential operator on the space ${\mathcal{P}}$ using a partition of unity subject to a cover of $M$ by coordinate charts. A natural formal differential operator on ${\mathcal{Q}}$ is an operator $A=A_{0}+\nu A_{1}+\ldots,$ where $A_{r}$ is a differential operator of order not greater than $r$ on ${\mathcal{P}}$. Since in local coordinates $\deg\partial/\partial\eta=\deg\partial/\partial\bar{\eta}=\deg\partial/\partial\theta=\deg\partial/\partial\bar{\theta}=-1$, we see that $\operatorname{fdeg}A_{r}\geq-r$.

Lemma 5.1**.**

A natural formal differential operator $A$ on the space ${\mathcal{Q}}$ is of standard filtration degree at least zero, $A=A^{0}+A^{1}+\ldots$, where $\deg A^{i}=i$. The homogeneous component $A^{i}$ is a formal differential operator of order not greater than $i$. It can be written as

[TABLE]

where $\deg A_{r}^{j}=j$. The operator $A$ naturally extends to the space ${\mathcal{F}}$ and respects the standard filtration.

Proof.

Let $A=A_{0}+\nu A_{1}+\ldots$ be a natural formal differential operator on ${\mathcal{Q}}$. Since $\operatorname{fdeg}A_{r}\geq-r$, we have $\operatorname{fdeg}(\nu^{r}A_{r})\geq r$, whence it follows that $\operatorname{fdeg}A\geq 0$. Thus we can write $A=A^{0}+A^{1}+\ldots$, where $\deg A^{i}=i$. Each differential operator $A_{r},r\geq 0,$ can be written as

[TABLE]

where $A_{r}^{j}$ is a differential operator of order not greater than $r$ and with $\deg A_{r}^{j}=j$. Then we obtain that

[TABLE]

which implies (29). We see that $A^{i}$ is a formal differential operator of order not greater than $i$. Therefore it acts upon the space ${\mathcal{F}}$ and raises the standard filtration degree by $i$. It follows that the operator $A$ naturally extends to this space and respects the standard filtration. ∎

Let $A$ be a natural formal differential operator on ${\mathcal{Q}}$ and

[TABLE]

be an even element of ${\mathcal{Q}}$ treated as a multiplication operator with respect to the fiberwise Grassmann multiplication. Then $[K,A]$ is a natural operator on ${\mathcal{Q}}$ as well. We will consider two special cases when the series

[TABLE]

defines a natural formal differential operator on ${\mathcal{Q}}$.

Lemma 5.2**.**

Let $A=A_{0}+\nu A_{1}+\ldots$ be a natural formal differential operator on ${\mathcal{Q}}$ and $K\in{\mathcal{Q}}$ be an even element given by (30). Then in the following two cases the operator (31) is natural:

1. (i)

if $\operatorname{fdeg}K\geq 0$; 2. (ii)

if $\operatorname{fdeg}K\geq-1$ and $\deg A_{r}=0$ for all $r$.

Proof.

Since the operator $A$ is natural, we have

[TABLE]

Each summand

[TABLE]

is a natural differential operator. Using in case $(i)$ that $\operatorname{fdeg}A_{r}\geq-r$, we see that in both cases $(i)$ and $(ii)$ the filtration degree of (32) is at least  $r$ and the operator $e^{K}Ae^{-K}$ is given by a series convergent in the topology induced by the standard filtration. It is well defined on the space ${\mathcal{Q}}$, which implies the statement of the lemma. ∎

Let $\star$ be a star product with separation of variables with classifying form $\omega$ on a pseudo-Kähler manifold $(M,\omega_{-1})$ and $\ast$ be the star product on $TM\oplus\Pi TM$ defined by the local superpotentials (18) as in Section 4. The star product $\ast$ induces a star product on ${\mathcal{Q}}$ which will be denoted by the same symbol. It was proved in [20] that a star product with separation of variables on a split supermanifold is natural. Therefore, for $f=\nu^{p}f_{p}+\nu^{p+1}f_{p+1}+\ldots\in{\mathcal{Q}}$ the operators $\nu^{-p}L_{f}$ and $\nu^{-p}R_{f}$ on ${\mathcal{Q}}$ are natural, extend to the space ${\mathcal{F}}$, and respect the standard filtration. It follows that the operators $L_{f}$ and $R_{f}$ extend to ${\mathcal{F}}$ as well.

Proposition 5.1**.**

The superalgebra $({\mathcal{Q}},\ast)$ is a filtered algebra with respect to the standard filtration. The space ${\mathcal{F}}$ is a filtered superbimodule over the superalgebra $({\mathcal{Q}},\ast)$.

Proof.

It suffices to prove that the superalgebra $({\mathcal{Q}}(U),\ast)$ is a filtered algebra for $U$ a coordinate chart and ${\mathcal{F}}(U)$ is a filtered bimodule over it. An element $f\in C^{\infty}(U)$ identified with its lift to $TU\oplus\Pi TU$ lies in ${\mathcal{Q}}(U)$. One can see from formula (20) that the operator $L_{f}$ leaves invariant ${\mathcal{F}}(U)$ and all filtration spaces ${\mathcal{F}}^{i}(U)$. The operators ${\mathcal{L}}_{\eta^{k}}=\eta^{k}$ and $L_{\theta^{k}}=\theta^{k}$ leave invariant ${\mathcal{F}}(U)$ and increase the filtration degree by 1. It follows from formula (20) that

[TABLE]

Using formula (24) we get that

[TABLE]

Therefore, the operator $L_{\bar{\theta}^{l}}$ leaves invariant ${\mathcal{F}}(U)$ and increases the filtration degree by 1. We have from (4) that

[TABLE]

Using Corollary 4.1, we get that

[TABLE]

where $\Gamma_{kp}^{s}=g_{kp\bar{q}}g^{\bar{q}s}$ is the Christoffel symbol of the Levi-Civita connection.

Given a function $f\in C^{\infty}(U)$, we see from (20) that the operator $f-L_{f}$ increases the filtration degree by 1. It follows that the operator $L_{g_{kq}\bar{\eta}^{q}}$ leaves invariant ${\mathcal{F}}(U)$ and increases the filtration degree by 1. We have from formula (20) that

[TABLE]

It implies that the operator $L_{\bar{\eta}^{l}}$ also leaves invariant ${\mathcal{F}}(U)$ and increases the filtration degree by 1. The elements of $C^{\infty}(U)((\nu))$ and the variables $\eta,\bar{\eta},\theta,\bar{\theta}$ generate the algebra $({\mathcal{Q}}(U),\ast)$. Therefore, $({\mathcal{Q}}(U),\ast)$ is a filtered algebra and ${\mathcal{F}}(U)$ is a filtered left supermodule over $({\mathcal{Q}}(U),\ast)$. Similar statements can be proved for the graded right $\ast$-multiplication operators which imply that ${\mathcal{F}}(U)$ is also a filtered right supermodule over $({\mathcal{Q}}(U),\ast)$. ∎

We will use the symbol $\ast$ to denote the left and the right actions of the algebra $({\mathcal{Q}},\ast)$ on ${\mathcal{F}}$. Let ${\mathcal{J}}_{r}$ be the right submodule of ${\mathcal{F}}$ whose elements written in local coordinates are of the form

[TABLE]

where $A_{k},B_{k}\in{\mathcal{F}}$, and let ${\mathcal{J}}_{l}$ be the left submodule of ${\mathcal{F}}$ whose elements are locally of the form

[TABLE]

where $C_{l},D_{l}\in{\mathcal{F}}$. The definitions of the submodules ${\mathcal{J}}_{l}$ and ${\mathcal{J}}_{r}$ do not depend on the choice of local holomorphic coordinates.

6. The Lie superalgebra $\langle\chi,\tilde{\chi},\sigma\rangle$

Let $(M,\omega_{-1})$ be a pseudo-Kähler manifold and $\star$ be a star product with separation of variables on $M$ with classifying form $\omega$. Recall that the function $\psi=\nu^{-1}\psi_{-1}$ on $TM\oplus\Pi TM$ was defined by (17). Let $\ast$ be the star product with separation of variables on $TM\oplus\Pi TM$ determined by the product $\star$ and the function $\psi$, as described in Section 4. In the rest of this paper we will use global functions

[TABLE]

on $TM\oplus\Pi TM$ given in local coordinates by the formulas

[TABLE]

where $\Phi$ is a potential of $\omega$. Denote by $\sigma$ the $\ast$-supercommutator of the odd functions $\chi$ and $\tilde{\chi}$,

[TABLE]

The formal functions $\chi,\bar{\chi}$, and $\sigma$ are formal analogues of symbols of the operators $\bar{\partial},\bar{\partial}^{\ast}$, and of the Laplace operator, respectively, on the $(0,\ast)$-forms with values in a holomorphic line bundle on $M$ used in the heat kernel proof of the index theorem for the Dirac operator $\bar{\partial}+\bar{\partial}^{\ast}$ (see [3]).

Proposition 6.1**.**

The formal functions $\chi$ and $\tilde{\chi}$ are nilpotent with respect to the star product $\ast$, $\chi\ast\chi=0$ and $\tilde{\chi}\ast\tilde{\chi}=0$. Equivalently, they satisfy the supercommutator relations $[\chi,\chi]_{\ast}=0$ and $[\tilde{\chi},\tilde{\chi}]_{\ast}=0$. The formal function $\sigma$ is given by the formula

[TABLE]

In particular, $\sigma\in{\mathcal{Q}}^{0}$.

Proof.

Let $U\subset M$ be a contractible coordinate chart. We get from formulas (24) and (5) that in local coordinates

[TABLE]

We see from these formulas that

[TABLE]

According to formula (20), for any function $f\in C^{\infty}(U)$ we have

[TABLE]

We obtain from these formulas that

[TABLE]

Formula (35) follows from (36) and (37). ∎

The functions $\chi,\bar{\chi}$, and $\sigma$ form a basis in the Lie superalgebra $\langle\chi,\tilde{\chi},\sigma\rangle$ equipped with the supercommutator $[\cdot,\cdot]_{\ast}$. The element $\sigma$ generates its supercenter. We define an element $S=\nu^{-1}S_{-1}\in{\mathcal{Q}}$ such that

[TABLE]

The $\deg$-homogeneous component of $\sigma$ of degree zero is $-S$. One can show by a direct calculation that

[TABLE]

Since $\operatorname{fdeg}\sigma=0$, it follows from Proposition 5.1 that $\mathrm{fdeg}L_{\sigma}=0$ and $\mathrm{fdeg}R_{\sigma}=0$. One can see from (6) that the range of the operator $L_{\sigma}$ lies in the submodule  ${\mathcal{J}}_{r}$. Similarly, the range of the operator $R_{\sigma}$ lies in the submodule  ${\mathcal{J}}_{l}$. The series

[TABLE]

are well defined elements of ${\mathcal{F}}$. We have $\deg S=\deg e^{\pm S}=0$. Denote by ${\mathcal{E}}$ and $\bar{\mathcal{E}}$ the global holomorphic and antiholomorphic fiberwise Euler operators on $TM\oplus\Pi TM$, respectively. In local coordinates,

[TABLE]

Let $A^{0}$ and $B^{0}$ denote the $\deg$-homogeneous components of degree zero of the operators $L_{\sigma}$ and $R_{\sigma}$, respectively. One can see from (6) and the corresponding formula for $R_{\sigma}$ that

[TABLE]

7. The subspace ${\mathcal{K}}$

Lemma 7.1**.**

The following statements hold.

1. (i)

If $F\in{\mathcal{J}}_{r}$ and $L_{\sigma}F=0$, then $F=0$. 2. (ii)

If $F\in{\mathcal{J}}_{l}$ and $R_{\sigma}F=0$, then $F=0$. 3. (iii)

If $F\in{\mathcal{J}}_{l}+{\mathcal{J}}_{r}$ and $(L_{\sigma}+R_{\sigma})F=0$, then $F=0$.

Proof.

Assume that $F\in{\mathcal{J}}_{r}$ satisfies the equation $L_{\sigma}F=0$ and is nonzero. Then there exists $p\in\mathbb{Z}$ such that $F=\sum_{i=p}^{\infty}F^{i}$, where $\deg F^{i}=i$ and $F^{p}$ is nonzero. We have $A^{0}F^{p}=0$, where $A^{0}$ is the zero degree component of $L_{\sigma}$. We see from (39) that

[TABLE]

Since $F^{p}$ is a nonzero element of ${\mathcal{J}}_{r}$, we get that $e^{S}F^{p}$ is also a nonzero element of ${\mathcal{J}}_{r}$, which contradicts (40). Statements (ii) and (iii) can be proved similarly. ∎

The ranges of the operators ${\mathcal{E}}$ and $\bar{\mathcal{E}}$ lie in the spaces ${\mathcal{J}}_{r}$ and ${\mathcal{J}}_{l}$, respectively. The restriction of the operator ${\mathcal{E}}$ to ${\mathcal{J}}_{r}$ is invertible. Denote by ${\mathcal{E}}^{-1}:{\mathcal{J}}_{r}\to{\mathcal{J}}_{r}$ its inverse. One can define similarly the operators $\bar{\mathcal{E}}^{-1}:{\mathcal{J}}_{l}\to{\mathcal{J}}_{l}$ and $({\mathcal{E}}+\bar{\mathcal{E}})^{-1}:{\mathcal{J}}_{l}+{\mathcal{J}}_{r}\to{\mathcal{J}}_{l}+{\mathcal{J}}_{r}$.

Lemma 7.2**.**

Given $G\in\ker{\mathcal{E}}\subset{\mathcal{F}}$ and $H\in{\mathcal{J}}_{r}$, the equation

[TABLE]

has a unique solution $F\in{\mathcal{F}}$ such that $F-G\in{\mathcal{J}}_{r}$,

[TABLE]

Proof.

Clearly, (42) is a solution of (41). Assume that $F$ is a solution of (41) satisfying $F-G\in{\mathcal{J}}_{r}$. Since $S\in{\mathcal{J}}_{r}$, we have $e^{S}F-G\in{\mathcal{J}}_{r}$. Therefore, $e^{S}F-G={\mathcal{E}}^{-1}H$, which implies the uniqueness. ∎

Given $G\in\ker\bar{\mathcal{E}}\subset{\mathcal{F}}$ and $H\in{\mathcal{J}}_{l}$, the unique solution of the equation $\bar{\mathcal{E}}e^{S}F=H$ is $F=e^{-S}(G+\bar{\mathcal{E}}^{-1}H)$. Also, given $G\in C^{\infty}(M)((\nu))$ and $H\in{\mathcal{J}}_{l}+{\mathcal{J}}_{r}$, one can find the unique solution of the equation $({\mathcal{E}}+\bar{\mathcal{E}})e^{S}F=H$.

Proposition 7.1**.**

Given an element $G\in\ker{\mathcal{E}}\subset{\mathcal{F}}$, there exists a unique element $F\in{\mathcal{F}}$ such that

[TABLE]

If $G=\sum_{i\geq p}G^{i}$, where $\deg G^{i}=i$ and $G^{p}$ is nonzero, then $F=\sum_{i\geq p}F^{i}$, where $\deg F^{i}=i$ and $F^{p}=e^{-S}G^{p}$.

Proof.

Assume that $G=\sum_{i\geq p}G^{i}$ and $G^{p}$ is nonzero. We will be looking for $F$ of the form $F=\sum_{i\geq p}F^{i}$ with $F^{i}-G^{i}\in{\mathcal{J}}_{r}$ for $i\geq p$. Writing $L_{\sigma}=A^{0}+A^{1}+\ldots$, where $\deg A^{i}=i$ and $A^{0}=e^{-S}(-{\mathcal{E}})e^{S}$, we rewrite the equation $L_{\sigma}F=0$ as the system of equations

[TABLE]

where the right-hand side of (43) is zero when $k=p$. The condition that $F-G\in{\mathcal{J}}_{r}$ is equivalent to the condition that $F^{k}-G^{k}\in{\mathcal{J}}_{r}$ for all $k$. By Lemma 7.2, $F^{p}=e^{-S}G^{p}$. Since the range of each operator $A^{i}$ lies in ${\mathcal{J}}_{r}$, the terms $e^{S}F^{k}$ for $k>p$ can be uniquely determined by induction from system (43) using Lemma 7.2. The solution $F$ is unique by Lemma 7.1. ∎

One can prove similarly the following two propositions.

Proposition 7.2**.**

Given an element $G\in\ker\bar{\mathcal{E}}\subset{\mathcal{F}}$, there exists a unique element $F\in{\mathcal{F}}$ such that

[TABLE]

If $G=\sum_{i\geq p}G^{i}$, where $\deg G^{i}=i$ and $G^{p}$ is nonzero, then $F=\sum_{i\geq p}F^{i}$, where $\deg F^{i}=i$ and $F^{p}=e^{-S}G^{p}$.

Proposition 7.3**.**

Given an element $f\in C^{\infty}(M)((\nu))\subset{\mathcal{F}}$, there exists a unique element $F\in{\mathcal{F}}$ such that

[TABLE]

If $f=\sum_{r\geq p}\nu^{r}f_{r}$, where $f_{r}\in C^{\infty}(M)$ for $r\geq p$ and $f_{p}$ is nonzero, then $F=\sum_{i\geq 2p}F^{i}$ and $F^{2p}=\nu^{p}e^{-S}f_{p}$.

Proposition 7.4**.**

An element $F\in{\mathcal{F}}$ satisfies the equation

[TABLE]

if and only if it satisfies the equations

[TABLE]

Proof.

Equations (45) imply (44). Assume that condition (44) holds and set $G:=L_{\sigma}F$. Since the operators $L_{\sigma}$ and $R_{\sigma}$ commute, we have

[TABLE]

Since the range of the operator $L_{\sigma}$ lies in ${\mathcal{J}}_{r}\subset{\mathcal{J}}_{l}+{\mathcal{J}}_{r}$, we obtain from part   (iii) of Lemma  7.1 that $L_{\sigma}F=0$. One can prove similarly that $R_{\sigma}F=0$. ∎

Theorem 7.1**.**

The following conditions on $F\in{\mathcal{F}}$ are equivalent:

1. (1)

$L_{\sigma}F=0$. 2. (2)

$L_{\chi}F=0\mbox{ and }L_{\tilde{\chi}}F=0$. 3. (3)

On any coordinate chart, $L_{\bar{\eta}^{l}}F=0\mbox{ and }L_{\bar{\theta}^{l}}F=0$ for all $l$.

Proof.

Clearly, (3) $\Rightarrow$ (1) and (2). Also, (2) $\Rightarrow$ (1) because of the supercommutation relation $\left[\chi,\tilde{\chi}\right]_{\ast}=\sigma$. Let us prove that (1) $\Rightarrow$ (2). Set $G:=L_{\chi}F$. We have

[TABLE]

Locally,

[TABLE]

hence $G\in{\mathcal{J}}_{r}$. Lemma 7.1 implies that $G=L_{\chi}F=0$. The statement that $L_{\tilde{\chi}}F=0$ can be proved similarly. It remains to prove that (1), (2) $\Rightarrow$ (3). Recall that $\psi$ is the function on $TM\oplus\Pi TM$ given by (17). Assume that $L_{\sigma}F=0$ and represent $F$ as the sum

[TABLE]

where $F_{i}$ is such that $e^{\psi}F_{i}$ is homogeneous of degree $i$ in the variables $\theta$. Inspecting (6), one can see that the operator $e^{\psi}L_{\sigma}e^{-\psi}$ does not contain the variables $\bar{\theta}$ and is of degree zero with respect to the variables $\theta$. Since $L_{\sigma}F=0$, it follows that

[TABLE]

Therefore, $L_{\sigma}F_{i}=0$ for $0\leq i\leq m$. Clearly, $F_{i}\in{\mathcal{J}}_{r}$ for $i\geq 1$. By Lemma 7.1, the equation $L_{\sigma}F_{i}=0$ for $i\geq 1$ has only the zero solution. Therefore, $F=F_{0}$, so that $\tilde{F}:=e^{\psi}F$ does not depend on the variables  $\theta$. We have for all $p$ that

[TABLE]

One gets from the formula $\bar{\theta}^{l}=\nu g^{lk}\ast\left(\nu^{-1}g_{kq}\bar{\theta}^{q}\right)$ that

[TABLE]

In order to prove that $L_{\bar{\eta}^{l}}F=0$, we use that $L_{\tilde{\chi}}F=\theta^{p}L_{\nu^{-1}g_{pq}\bar{\eta}^{q}}F=0$. We see from (5) that the operator

[TABLE]

does not contain the variables $\bar{\theta}$ and is of degree zero with respect to the variabes $\theta$. Since $\tilde{F}=e^{\psi}F$ does not depend on the variables  $\theta$, the element

[TABLE]

also does not depend on the variables $\theta$ for any $p$. We have

[TABLE]

hence $W_{p}=0$ for all $p$. One can show as above that it implies that $L_{\bar{\eta}^{q}}F=0$ for all $q$. ∎

One can prove similarly the following theorem.

Theorem 7.2**.**

The following equations on $F\in{\mathcal{F}}$ are equivalent:

1. (1)

$R_{\sigma}F=0$. 2. (2)

$R_{\chi}F=0\mbox{ and }R_{\tilde{\chi}}F=0$. 3. (3)

On any coordinate chart, $R_{\eta^{k}}F=0\mbox{ and }R_{\theta^{k}}F=0$ for all $k$.

For any open subset $U\subset M$ we denote by ${\mathcal{K}}(U)$ the subspace of ${\mathcal{F}}(U)$ of elemens $F$ satisfying the following equivalent conditions:

1. (a)

$(L_{\sigma}+R_{\sigma})F=0$; 2. (b)

$L_{\sigma}F=0$ and $R_{\sigma}F=0$; 3. (c)

On any coordinate chart on $U$, $\bar{\eta}^{l}\ast F=\bar{\theta}^{l}\ast F=F\ast\eta^{k}=F\ast\theta^{k}=0$.

According to Proposition 7.3, for every element $f\in C^{\infty}(U)((\nu))$ there exists a unique element $F\in{\mathcal{K}}(U)$ such that $F-f\in{\mathcal{J}}_{l}+{\mathcal{J}}_{r}$. It will be denoted by $K_{f}$. The mapping $f\mapsto K_{f}$ is a bijection from $C^{\infty}(U)((\nu))$ onto ${\mathcal{K}}(U)$. We set ${\mathcal{K}}:={\mathcal{K}}(M)$.

Lemma 7.3**.**

Assume that $f,g\in C^{\infty}(M)((\nu)),G\in{\mathcal{F}},$ and $G-g\in{\mathcal{J}}_{l}+{\mathcal{J}}_{r}$. Then

[TABLE]

Proof.

One can write in local coordinates

[TABLE]

for some $A_{k},B_{l},C_{k},D_{l}\in{\mathcal{F}}$. We have

[TABLE]

Therefore, $K_{f}\ast G=K_{f}\ast g\mod{\mathcal{J}}_{l}$. The second statement can be proved similarly. ∎

We introduce the following notation,

[TABLE]

We have $\varepsilon-{\bf{1}}\in{\mathcal{J}}_{l}+{\mathcal{J}}_{r}$. One can prove a stronger statement.

Proposition 7.5**.**

The element $\varepsilon$ is such that $\varepsilon-{\bf{1}}\in{\mathcal{J}}_{l}\cap{\mathcal{J}}_{r}$.

Proof.

It follows from Proposition 7.1 that there exists a unique element $F\in{\mathcal{F}}$ such that $L_{\sigma}F=0$ and

[TABLE]

Set $G:=R_{\sigma}F$. Since $\sigma\in{\mathcal{J}}_{l}\cap{\mathcal{J}}_{r}$ and ${\mathcal{J}}_{r}$ is a right submodule, we obtain from (46) that $G=R_{\sigma}F\in{\mathcal{J}}_{r}$. We also have that

[TABLE]

Lemma 7.1 implies that $G=R_{\sigma}F=0$, whence $F\in{\mathcal{K}}$. We see from (46) that $F=\varepsilon$ and therefore $\varepsilon-{\bf{1}}\in{\mathcal{J}}_{r}$. One can prove similarly that $\varepsilon-{\bf{1}}\in{\mathcal{J}}_{l}$. ∎

Theorem 7.3**.**

There exists an even element

[TABLE]

such that $\varepsilon=e^{-(S+\varkappa)}$ and $\mathrm{fdeg}\,\varkappa\geq 1$.

Proof.

It follows from Propositions 7.3 and 7.5 that $\varepsilon-{\bf{1}}\in{\mathcal{J}}_{l}\cap{\mathcal{J}}_{r}$, $\mathrm{fdeg}\,\varepsilon=0$, and the $\deg$-homogeneous component of $\varepsilon$ of degree zero is $e^{-S}$. Therefore, there exists an element $\varkappa\in{\mathcal{F}}$ such that $\varepsilon=e^{-(S+\varkappa)},\ \varkappa\in{\mathcal{J}}_{l}\cap{\mathcal{J}}_{r}$, and $\mathrm{fdeg}\,\varkappa\geq 1$. We will write $\varkappa=\varkappa^{1}+\varkappa^{2}+\ldots$, where $\deg\varkappa^{i}=i$. We will prove by induction on $i$ that the $\nu$-filtration degree of $\varkappa^{i}$ as at least  $-1$. Since the star product $\ast$ is natural, the $\nu$-filtration degree of $\nu\sigma$ is zero, and $\mathrm{fdeg}\,(\nu\sigma)=2$, we get that the operator $\nu(L_{\sigma}+R_{\sigma})$ is natural and $\operatorname{fdeg}\nu(L_{\sigma}+R_{\sigma})=2$. By Lemma  5.2, the operator

[TABLE]

is natural. Since $\operatorname{fdeg}C=2$, we can write $C=C^{2}+C^{3}+\ldots$, where $\deg C^{i}=i$. By Lemma 5.1, $C^{i}$ is a differential operator of order not greater than $i$. It follows from equation (39) that

[TABLE]

The condition that $(L_{\sigma}+R_{\sigma})\varepsilon=0$ implies that $(e^{\varkappa}Ce^{-\varkappa}){\bf{1}}=0$. We rewrite this equation as follows,

[TABLE]

Extracting the $\deg$-homogeneous component of degree 3 from (47), we get

[TABLE]

Since the range of the operator $C$ lies in ${\mathcal{J}}_{l}+{\mathcal{J}}_{r}$, we obtain that

[TABLE]

whence the $\nu$-filtration degree of $\varkappa^{1}$ is at least -1. Now assume that for $d>1$ the $\nu$-filtration degree of $\varkappa^{i}$ is at least $-1$ for all $i<d$. Extracting the $\deg$-homogeneous component of degree $d+2$ from (47), we get that

[TABLE]

Equation (48) contains $\varkappa^{i}$ for $i\leq d$. The only summand in (48) containing $\varkappa^{d}$ is

[TABLE]

By the induction assumption, the other summands in (48) are of $\nu$-filtration degree at least zero. Since all other summands in equation (48) lie in ${\mathcal{J}}_{l}+{\mathcal{J}}_{r}$, the element $\varkappa^{d}$ is uniquely determined by this equation and its $\nu$-filtration degree is at least $-1$, which implies the statement of the theorem. ∎

8. The algebras ${\mathcal{A}}$ and ${\mathcal{B}}$

Let $(M,\omega_{-1})$ be a pseudo-Kähler manifold and $\star$ be a star product with separation of variables on $M$ with classifying form $\omega$. In this section we fix a contractible coordinate chart $U\subset M$. Let $\Phi_{-1}$ and $\Phi$ be potentials of $\omega_{-1}$ and $\omega$ on $U$, respectively, $g_{kl}$ be the metric tensor given by (6), and $\ast$ be the star product with separation of variables on $TU\oplus\Pi TU$ determined by the potential (18) written as

[TABLE]

where

[TABLE]

In this section we will define two subalgebras, ${\mathcal{A}}$ and ${\mathcal{B}}$, of the algebra $({\mathcal{Q}}(U),\ast)$ and describe their action on the space ${\mathcal{K}}(U)$.

We lift differential operators on $U$ to $TU\oplus\Pi TU$ using the trivialization $TU\oplus\Pi TU\cong U\times\mathbb{C}^{m|m}$ induced by the choice of local coordinates on $U$. Their lifts commute with the multiplication operators by the variables $\eta,\bar{\eta},\theta,\bar{\theta}$ and the operators $\partial/\partial\eta,\partial/\partial\bar{\eta},\partial/\partial\theta,\partial/\partial\bar{\theta}$.

Lemma 8.1**.**

Given $f\in C^{\infty}(U)((\nu))$, the operators

[TABLE]

are a left and a right $\ast$-multiplication operators on the space ${\mathcal{Q}}(U)$, respectively.

Proof.

We have $Y\in{\mathcal{Q}}^{-1}(U)$ and $\operatorname{fdeg}L^{\star}_{f}=\operatorname{fdeg}R^{\star}_{f}=\operatorname{fdeg}f$. If the $\nu$-filtration degree of $f$ is $p$, then, according to Lemmas 5.2 and 5.1, the even formal differential operators $\nu^{-p}e^{-Y}L_{f}^{\star}e^{Y}$ and $\nu^{-p}e^{-Y}R_{f}^{\star}e^{Y}$ are natural and act on ${\mathcal{Q}}(U)$ and ${\mathcal{F}}(U)$. The operator $e^{-Y}L_{f}^{\star}e^{Y}$ commutes with the multiplication operators by the antiholomorphic variables $\bar{z},\bar{\eta},$ and $\bar{\theta}$ and the operators

[TABLE]

Therefore, it is a left $\ast$-multiplication operator on the space ${\mathcal{Q}}(U)$. Similarly, $e^{-Y}R_{f}^{\star}e^{Y}$ is a right $\ast$-multiplication operator on ${\mathcal{Q}}(U)$. ∎

Given $f\in C^{\infty}(U)((\nu))$, we define two even elements of ${\mathcal{Q}}(U)$,

[TABLE]

We have

[TABLE]

whence it follows that $\alpha,\beta:(C^{\infty}(U)((\nu)),\star)\to({\mathcal{Q}}(U),\ast)$ are injective homomorphisms. Their images are subalgebras of $({\mathcal{Q}}(U),\ast)$ which will be denoted by ${\mathcal{A}}$ and ${\mathcal{B}}$, respectively.

Lemma 8.2**.**

For $f\in C^{\infty}(U)((\nu))$,

[TABLE]

Proof.

The lemma follows directly from the definitions of $\alpha(f)$ and  $\beta(f)$. ∎

Lemma 8.3**.**

Given $f\in C^{\infty}(U)((\nu))$, the element $\alpha(f)$ $\ast$-commutes with the variables $\bar{\eta}$ and $\bar{\theta}$ and $\beta(f)$ $\ast$-commutes with $\eta$ and $\theta$.

Proof.

The operator $R_{f}^{\star}$ commutes with the variables $\bar{\eta}$ and $\bar{\theta}$. Therefore, $R_{\alpha(f)}=e^{-Y}R_{f}^{\star}e^{Y}$ commutes with the operators $R_{\bar{\eta}^{l}}=\bar{\eta}^{l}$ and $R_{\bar{\theta}^{l}}=\bar{\theta}^{l}$. It follows that $\alpha(f)$ $\ast$-commutes with the variables $\bar{\eta}$ and $\bar{\theta}$. Similarly, $\beta(f)$ $\ast$-commutes with $\eta$ and $\theta$. ∎

Corollary 8.1**.**

The left action of the algebra ${\mathcal{A}}$ and the right action of the algebra ${\mathcal{B}}$ on ${\mathcal{F}}(U)$ leave ${\mathcal{K}}(U)$ invariant.

Proof.

The corollary follows immediately from the definition of the space ${\mathcal{K}}(U)$. ∎

Lemma 8.4**.**

Given $f\in C^{\infty}(U)((\nu))$,

[TABLE]

Proof.

By Proposition 7.5, $\varepsilon-{\bf{1}}\in{\mathcal{J}}_{l}$, whence $\alpha(f)\ast\varepsilon-\alpha(f)\in{\mathcal{J}}_{l}\subset{\mathcal{J}}_{l}+{\mathcal{J}}_{r}$. We get from Lemma 8.2 that $\alpha(f)\ast\varepsilon-f\in{\mathcal{J}}_{l}+{\mathcal{J}}_{r}$ which, according to Corollary 8.1, implies the first equation in (49). The proof of the second equality is similar. ∎

Proposition 8.1**.**

Given $f,g\in C^{\infty}(U)((\nu))$,

[TABLE]

Proof.

We have

[TABLE]

The proof of the second equality is similar. ∎

Corollary 8.2**.**

Given $f,g\in C^{\infty}(U)((\nu))$,

[TABLE]

Proof.

Since $\alpha(f)-f\in{\mathcal{J}}_{l}+{\mathcal{J}}_{r}$, we have by Lemma 7.3 that

[TABLE]

The proof of the second statement is similar. ∎

Given $f\in C^{\infty}(U)((\nu))$, we denote by $\tilde{\alpha}(f)$ the element of ${\mathcal{Q}}(U)$ which does not depend on the variables $\bar{\eta},\bar{\theta}$ and is such that $\alpha(f)-\tilde{\alpha}(f)\in{\mathcal{J}}_{l}$, that is,

[TABLE]

We get from Lemma 8.2 that $\tilde{\alpha}(f)-f\in{\mathcal{J}}_{r}$. Then for $g\in C^{\infty}(U)((\nu))$ we have

[TABLE]

We define similarly an element $\tilde{\beta}(f):=\beta(f)|_{\eta=\theta=0}$ of ${\mathcal{Q}}(U)$ which satisfies the condition $\tilde{\beta}(f)-f\in{\mathcal{J}}_{l}$ and is such that

[TABLE]

Then we introduce an element

[TABLE]

Proposition 8.2**.**

Given $f,g\in C^{\infty}(U)((\nu))$,

[TABLE]

Proof.

We have from (50) and (51) that

[TABLE]

∎

9. An evolution equation

Lemma 9.1**.**

Given a nonzero complex number $k$ and a nonnegative integer $l$, the equation

[TABLE]

has a unique polynomial solution

[TABLE]

Proof.

Equation (53) is equivalent to the following one,

[TABLE]

Since $k\neq 0$, it can be rewritten as follows,

[TABLE]

Using the identity

[TABLE]

we see that for the polynomial (54),

[TABLE]

Since $k\neq 0$, the homogeneous equation

[TABLE]

has no nonzero polynomial solutions. Therefore (54) is a unique polynomial solution of (53). ∎

We consider the solutions of the evolution equation

[TABLE]

on the space ${\mathcal{F}}$ of the form $F(t)=F^{k}(t)+F^{k+1}(t)+\ldots$, where $k\in\mathbb{Z}$ and $\deg F^{i}(t)=i$ for $i\geq k$. Each $\deg$-homogeneous component $F^{i}(t)$ of $F$ admits an expansion in the powers of $\nu$,

[TABLE]

where $({\mathcal{E}}+\bar{\mathcal{E}})F_{r}^{j}(t)=jF_{r}^{j}(t)$.

It follows from formula (35) that the operator $L_{\nu\sigma}$ is natural and $\operatorname{fdeg}L_{\nu\sigma}=2$, so that $L_{\nu\sigma}=A^{2}+A^{3}+\ldots$, where $\deg A^{i}=i$ and $A^{2}=-\nu({\mathcal{E}}+S)=e^{-S}(-\nu{\mathcal{E}})e^{S}$. Observe that

[TABLE]

Lemma 9.2**.**

Equation (55) has a unique solution $F(t)$ with the initial condition $F(0)=0$, the zero solution.

Proof.

Assume that $F(t)=\sum_{i\geq p}F^{i}(t)$ with $\deg F^{i}(t)=i$ and nonzero $F^{p}(t)$ is a nontrivial solution of (55) with the initial condition $F(0)=0$. Then

[TABLE]

We have from (57) that

[TABLE]

Therefore, $e^{t{\mathcal{E}}}e^{S}F^{p}(t)$ does not depend on $t$. Since $F^{p}(0)=0$, it follows that $e^{t{\mathcal{E}}}e^{S}F^{p}(t)=0$ for all $t$, whence $F^{p}(t)=0$ for all $t$. This contradiction proves the lemma. ∎

Theorem 9.1**.**

Equation (55) with the initial condition $F(0)={\bf{1}}$ on the space ${\mathcal{F}}$ has a unique solution, $F(t)=F^{0}(t)+F^{1}(t)+\ldots$, where $\deg F^{i}(t)=i$ and

[TABLE]

The component $F^{i}(t)$ can be expressed as (56), where for each pair $(j,r)$ the function $F_{r}^{j}(t)$ is a finite sum

[TABLE]

such that $({\mathcal{E}}+\bar{\mathcal{E}})F_{r,k,l}^{j}=jF_{r,k,l}^{j}$ and $F_{r,k,l}^{j}=0$ if $k=0$ and $l>0$. In particular,

[TABLE]

Proof.

We will be looking for a solution $F(t)$ of filtration degree zero. Equation (55) can be rewritten as the system

[TABLE]

with the initial conditions $F^{0}(0)={\bf{1}}$ and $F^{l}(0)=0$ for $l>0$. For $l=0$ the right-hand side of (58) is zero. We have from formulas (57) and (58) that

[TABLE]

Thus, $e^{t{\mathcal{E}}}e^{S}F^{0}(t)$ does not depend on $t$. Since $F^{0}(0)={\bf{1}}$, we have

[TABLE]

It follows that

[TABLE]

We will prove the theorem by induction on $i$. We see from (60) that the statement of the theorem holds for $i=0$. Assume that it holds for all $i<l$ for $l\geq 1$. Since $F^{l}(0)=0$ for $l\geq 1$, we obtain from (59) that

[TABLE]

According to Lemma 5.1, the operator $A^{j}$ can be written as

[TABLE]

where $\deg A_{r}^{k}=k$. The component $F_{r}^{l-2r}(t)$ of $F^{l}(t)$ will be expressed as the sum

[TABLE]

where

[TABLE]

and the sum in (62) is over the tuples $(i,a,b,u,v)$ such that

[TABLE]

In particular, this sum is finite. According to the induction assumption, the function $F_{v}^{l-i-2v}(\tau)$ in (63) is a finite sum of expressions

[TABLE]

where $P\in C^{\infty}(TM\oplus\Pi TM)$ is polynomial on fibers, $k,l\geq 0$, and the condition $k=0$ implies that $l=0$. Consider the contribution of one such expression to (63),

[TABLE]

We see from (6) that for every pair $(r,j)$, the range of the differential operator $A_{r}^{j}$ lies in ${\mathcal{J}}_{r}$. Therefore, $A_{u}^{i+2-2u}P$ can be represented as a finite sum

[TABLE]

of fiberwise polynomial functions $Q_{j}$ such that ${\mathcal{E}}P=jP$. Consider the contribution of one such function $Q_{j}$ to (64),

[TABLE]

Set

[TABLE]

If $b-k+j=0$, then

[TABLE]

Since $b\geq 0$ and $j\geq 1$, we see that $b+j\geq 1$. If $b-k+j\neq 0$, then, according to Lemma 9.1, there exists a polynomial $p(\tau)$ such that

[TABLE]

It follows that

[TABLE]

If $k=0$, then $l=0$ and

[TABLE]

We have thus shown that all summands contributing to $F_{r}^{l-2r}(t)$ satisfy the conditions of Theorem 9.1. Thus, $F(t)$ exists and satisfies the conditions of the theorem. By Lemma 9.2, it is a unique solution of (55) with the initial condition $F(0)={\bf{1}}$. ∎

Proposition 9.1**.**

If $F(t)$ is the solution of equation (55) with the initial condition $F(0)={\bf{1}}$ and $W$ is an element of the Lie superalgebra $\langle\chi,\tilde{\chi},\sigma\rangle$, then

[TABLE]

The function $F(t)$ is a unique solution of the equation

[TABLE]

with the initial condition $F(0)={\bf{1}}$.

Proof.

We use the fact that $\sigma$ lies in the supercenter of $\langle\chi,\tilde{\chi},\sigma\rangle$. Set

[TABLE]

We have

[TABLE]

and

[TABLE]

Lemma 9.2 implies that $G$ is the zero function, i.e., $L_{W}F(t)=R_{W}F(t)$. Therefore, $F(t)$ is a solution of equation (65) with the initial condition $F(0)={\bf{1}}$. The uniqueness of this solution can be proved as the uniqueness in Theorem 9.1. ∎

Lemma 9.3**.**

The solution $F(t)$ of equation (55) with the initial condition $F(0)={\bf{1}}$ satisfies the property that $F(t)-{\bf{1}}\in{\mathcal{J}}_{l}\cap{\mathcal{J}}_{r}$ for every value of $t$.

Proof.

Since the range of the operator $L_{\sigma}$ lies in ${\mathcal{J}}_{r}$, equation (55) implies that

[TABLE]

Since $F(0)={\bf{1}}$, it follows that $F(t)-{\bf{1}}\in{\mathcal{J}}_{r}$. Since the range of the operator $R_{\sigma}$ lies in ${\mathcal{J}}_{l}$, we see that equation (65) similarly implies that $F(t)-{\bf{1}}\in{\mathcal{J}}_{l}$. ∎

Theorem 9.2**.**

If $F(t)$ is the solution of the evolution equation (55) with the initial condition $F(0)={\bf{1}}$, then

[TABLE]

Proof.

The limit in (66) exists by Theorem 9.1. Denote it temporarily by $Z$. It follows from Lemma 9.3 that $Z-{\bf{1}}\in{\mathcal{J}}_{l}\cap{\mathcal{J}}_{r}$. To prove the theorem it remains to show that $L_{\sigma}Z=0$. We write

[TABLE]

where for each pair $(j,r)$ the $\deg$-homogeneous element $F_{r}^{j}(t)$ of degree $j$ is expressed as a finite sum

[TABLE]

such that $F^{j}_{r,k,l}\in C^{\infty}(TM\oplus\Pi TM)$ is polynomial on fibers, $\deg F^{j}_{r,k,l}=j$, and $F^{j}_{r,k,l}=0$ for $k=0$ and $l\geq 1$. In particular,

[TABLE]

Therefore, for any pair $(j,r)$ we have that

[TABLE]

The operator $L_{\nu\sigma}$ is a natural operator of filtration degree 2. According to Lemma 5.1,

[TABLE]

where $\deg A_{r}^{j}=j$. Equation (55) is equivalent to the system

[TABLE]

where the summation is over the tuples $(j,k,p,q)$ satisfying the conditions $j+k=i+2,p+q=r+1,j\geq 2,0\leq p\leq j,k\geq 0,q\leq\lfloor k/2\rfloor$. In particular, the sum in (67) is finite. Taking the limit as $t\to\infty$ of both sides of (67) we obtain a system equivalent to the equation $L_{\sigma}Z=0$. It follows from Proposition 7.1 that $Z=\varepsilon$. ∎

Let $F(t)=F^{0}(t)+F^{1}(t)+\ldots$ be the solution of equation (55) with the initial condition $F(0)={\bf{1}}$. According to Theorem 9.1,

[TABLE]

There exists a function $G(t)=G^{0}(t)+G^{1}(t)+\ldots$, where $\deg G^{i}(t)=i$, such that $\exp G(t)=F(t),\ G(0)=0$, and

[TABLE]

Lemma 9.3 implies that $G(t)\in{\mathcal{J}}_{l}\cap{\mathcal{J}}_{r}$.

Theorem 9.3**.**

The $\nu$-filtration degree of the function $G(t)$ is $-1$.

Proof.

We will prove by induction on $i$ that for every $i\geq 0$ the $\nu$-filtration degree of the function $G^{i}=G^{i}(t)$ is at least $-1$. This is true for $i=0$. Assume that this is true for $i<p$. Rewrite equation (55) in terms of $G$,

[TABLE]

Since $\operatorname{fdeg}\sigma=0$, one can write $L_{\sigma}=A^{0}+A^{1}+\ldots$, where $\deg A^{i}=i$. According to (39),

[TABLE]

Extract the component of (68) of degree $p$:

[TABLE]

The summands on the right-hand side of (69) containing $G^{p}$ have all but one $i_{j}=0$ and $l=0$. They add up to

[TABLE]

Equation (69) can be written as

[TABLE]

where $H^{p}$ is the sum of all terms on the right-hand side of (69) which do not contain $G^{p}$. One can rewrite (70) as follows,

[TABLE]

Since the range of the operator $L_{\sigma}$ lies in ${\mathcal{J}}_{r}$, we have that $H^{p}\in{\mathcal{J}}_{r}$ and therefore

[TABLE]

Using the induction assumption and the fact that the operator $\nu L_{\sigma}$ is natural, it is easy to check that the $\nu$-filtration degree of $H^{p}$ is at least $-1$. Therefore, the $\nu$-filtration degree of $G^{p}$ is also at least $-1$, which concludes the induction proof. ∎

10. Oscillatory symbols

Given an open set $U\subset M$, let $\hat{\mathcal{P}}(U)$ denote the subspace of ${\mathcal{F}}(U)$ of elements of the form

[TABLE]

where $p,r_{p}\in\mathbb{Z}$ and $f_{r,i}\in{\mathcal{P}}_{i-2r}(U)$. We set $\hat{\mathcal{P}}:=\hat{\mathcal{P}}(M)$. One can check using Lemma 5.1 that a natural formal differential operator on ${\mathcal{Q}}$ extended to ${\mathcal{F}}$ leaves invariant $\hat{\mathcal{P}}$. We define an oscillatory symbol $F$ as an element of ${\mathcal{F}}$ which admits a representation

[TABLE]

where $G\in\hat{\mathcal{P}}$ and $h$ is a global function on $TM\oplus\Pi TM$ such that in local coordinates $h=\nu^{-1}h_{kl}(z,\bar{z})\eta^{k}\bar{\eta}^{l}$ and $\left(h_{kl}(z,\bar{z})\right)$ is an $m\times m$-matrix nondegenerate at every point $(z,\bar{z})$. We denote by ${\mathcal{O}}$ the space of oscillatory symbols in ${\mathcal{F}}$. It is a union of linear spaces ${\mathcal{O}}_{h}$ of oscillatory symbols with a fixed function $h$. For any open subset $U\subset M$ one can similarly define the space ${\mathcal{O}}(U)$ of oscillatory symbols in ${\mathcal{F}}(U)$.

Lemma 10.1**.**

A nonzero oscillatory symbol $F\in{\mathcal{O}}$ has a unique representation (72).

Proof.

Suppose that a nonzero element $F\in{\mathcal{O}}$ has two representations of the form (72),

[TABLE]

Since $\deg h=\deg\tilde{h}=0$, we can assume that $F$ is $\deg$-homogeneous. Then $\deg G=\deg\tilde{G}=\deg F$ and $G,\tilde{G}$ are formal functions on $TM\oplus\Pi TM$ polynomial on fibers whose $\nu$-degree is bounded below and above. We obtain the equality

[TABLE]

which holds if and only if $h=\tilde{h}$ and $G=\tilde{G}$. ∎

Lemma 10.2**.**

A natural formal differential operator $A$ on the space ${\mathcal{Q}}$ extended to ${\mathcal{F}}$ leaves invariant each space ${\mathcal{O}}_{h}$ of oscillatory symbols, i.e., given an element $e^{-h}G\in{\mathcal{O}}$, there exists an element $\tilde{G}\in\hat{\mathcal{P}}$ such that

[TABLE]

Proof.

By Lemma 5.2, the operator $e^{h}Ae^{-h}$ is natural and therefore leaves invariant the space $\hat{\mathcal{P}}$. We have $\tilde{G}=\left(e^{h}Ae^{-h}\right)G$. ∎

Let $h,w$ be global functions on $TM\oplus\Pi TM$ given in local coordinates by the formulas $h=\nu^{-1}h_{kl}(z,\bar{z})\eta^{k}\bar{\eta}^{l}$ and $w=\nu^{-1}w_{kl}(z,\bar{z})\theta^{k}\bar{\theta}^{l}$, where $(h_{kl})$ is a nondegenerate matrix. Assume that $H\in{\mathcal{J}}_{l}\cap{\mathcal{J}}_{r}$ is an even element whose $\nu$-filtration degree as at least $-1$, $\operatorname{fdeg}H=0$, and the $\deg$-homogeneous component of $H$ of degree zero is $h+w$.

Lemma 10.3**.**

We have $e^{-H}\in{\mathcal{O}}$.

Proof.

One can write

[TABLE]

where $\tilde{H}\in{\mathcal{Q}}^{1}$ and the $\nu$-flitration degree of $\tilde{H}$ is at least $-1$. Set

[TABLE]

Since $\exp\{-\tilde{H}\}\in\hat{\mathcal{P}}$ and $w$ is nilpotent, we see that $G\in\hat{\mathcal{P}}$. Now,

[TABLE]

whence the lemma follows. ∎

Proposition 10.1**.**

For any $f\in C^{\infty}(M)((\nu))$ we have $K_{f}\in{\mathcal{O}}$. For any $t\geq 0$ we have $F(t)\in{\mathcal{O}}$.

Proof.

The proposition follows from Lemma 10.3 and Theorems 7.3 and 9.3. ∎

Assume that, as above, a global function $h$ on $TM\oplus\Pi TM$ is given in local coordinates by the formula $h=\nu^{-1}h_{kl}(z,\bar{z})\eta^{k}\bar{\eta}^{l}$, where $(h_{kl})$ is a nondegenerate matrix at every point $(z,\bar{z})$. Then there exists a global differential operator $\Delta_{h}$ on $TM\oplus\Pi TM$ given in local coordinates by the formula

[TABLE]

where $\left(h^{lk}\right)$ is the matrix inverse to $\left(h_{kl}\right)$. There exists a fiberwise endomorphism $\Lambda_{h}$ of the holomorphic cotangent bundle of $M$ given in local coordinates by the formula

[TABLE]

where $g_{kl}$ is the pseudo-Kähler metric tensor. Let

[TABLE]

denote the restriction mapping to the zero section of the vector bundle $TM\oplus\Pi TM\to\Pi TM$ (we identify the zero section with $\Pi TM$). In local coordinates, $\zeta(F)=F|_{\eta=\bar{\eta}=0}$. Define a global mapping

[TABLE]

by the formula

[TABLE]

Since $\deg\left(\Delta_{h}\right)=0$, the operator $\exp\{\Delta_{h}\}$ acts upon each homogeneous component of $G$ as a differential operator of finite order. Let $G^{j}$ be the $\deg$-homogeneous component of $G$ of degree $j$. It follows that $\deg T_{h}(G^{j})=j$. Since in local coordinates $T_{h}(G^{j})$ does not depend on the variables $\eta,\bar{\eta}$, the $\nu$-filtration degree of $T_{h}(G^{j})$ is bounded below by $j/2-m$, which implies that the $\nu$-degree of $T_{h}(G)$ is bounded below. Therefore, the mapping $T_{h}$ is well-defined. One can interpret (74) as a fiberwise formal oscillatory integral on the vector bundle $TM\oplus\Pi TM\to\Pi TM$,

[TABLE]

where $\gamma$ is given by (26). If $h_{kl}$ is a Hermitian metric tensor, $\nu$ is a positive number, and $G\in C^{\infty}(TM\oplus\Pi TM)$ is fiberwise polynomial, then the integral in (75) converges to the right-hand side.

Let $U\subset M$ be a coordinate chart. Recall that $\mathbf{g}=\det(g_{kl})$ and $\log\mathbf{g}$ is any branch of the logarithm of $\mathbf{g}$ on $U$. Define similarly $\mathbf{h}:=\det(h_{kl})$ and $\log\mathbf{h}$.

Theorem 10.1**.**

Let $f\in C^{\infty}(\Pi TU)((\nu))$ and $G\in\hat{\mathcal{P}}(U)$. The following identities hold true:

1. (1)

$T_{h}\left(fG\right)=fT_{h}\left(G\right)$; 2. (2)

$T_{h}\left(\left(\frac{\partial}{\partial\eta^{p}}-\nu^{-1}h_{pl}\bar{\eta}^{l}\right)G\right)=0$; 3. (3)

$T_{h}\left(\left(\frac{\partial}{\partial\bar{\eta}^{q}}-\nu^{-1}h_{kq}\eta^{k}\right)G\right)=0$; 4. (4)

$\frac{d}{d\nu}T_{h}\left(G\right)=T_{h}\left(\left(\frac{d}{d\nu}+\frac{h}{\nu}-\frac{m}{\nu}\right)G\right)$. 5. (5)

$\frac{\partial}{\partial z^{p}}T_{h}\left(G\right)=T_{h}\left(\left(\frac{\partial}{\partial z^{p}}-\frac{\partial h}{\partial z^{p}}+\frac{\partial}{\partial z^{p}}\log\mathbf{g}\right)G\right)$; 6. (6)

$\frac{\partial}{\partial\bar{z}^{q}}T_{h}\left(G\right)=T_{h}\left(\left(\frac{\partial}{\partial\bar{z}^{q}}-\frac{\partial h}{\partial\bar{z}^{q}}+\frac{\partial}{\partial\bar{z}^{q}}\log\mathbf{g}\right)G\right)$; 7. (7)

$\frac{\partial}{\partial\theta^{p}}T_{h}\left(G\right)=T_{h}\left(\frac{\partial}{\partial\theta^{p}}G\right)$; 8. (8)

$\frac{\partial}{\partial\bar{\theta}^{q}}T_{h}\left(G\right)=T_{h}\left(\frac{\partial}{\partial\bar{\theta}^{q}}G\right)$. 9. (9)

$\frac{\partial}{\partial h_{kl}}T_{h}\left(G\right)=T_{h}\left(-\frac{1}{\nu}\eta^{k}\bar{\eta}^{l}G\right)$.

Proof.

Statements (1), (7), and (8) are trivial. We prove (2) as follows:

[TABLE]

Statement (3) can be proved similarly. To prove (4), we observe that

[TABLE]

It remains to show that $T_{h}\left(\Delta_{h}G\right)=T_{h}\left(\left(h-m\right)G\right)$. This identity readily follows from items (1), (2), and (3). We prove (5) as follows:

[TABLE]

Now it remains to show that

[TABLE]

This equality can be derived from items (1), (2), (3), and the formula

[TABLE]

Identity (6) can be proved similarly. In order to show (9), we use the formula

[TABLE]

to prove that

[TABLE]

and then use formulas (2) and (3). ∎

This theorem justifies the interpretation of the mapping $T_{h}$ as a formal oscillatory integral. Identities (2) and (3) can be obtained by integrating the formal integral in (75) by parts and identities (4) - (9) can be obtained by differentiating it with respect to a parameter.

Let $U\subset M$ be a coordinate chart, $(h_{kl})$ be a nondegenerate $m\times m$-matrix with elements from $C^{\infty}(U)$, and $(\alpha_{kl})$ be a matrix with even nilpotent elements from $C^{\infty}(U)[\theta,\bar{\theta}]$. Suppose that $f$ is a smooth function in $m^{2}$ complex variables such that the composition

[TABLE]

is defined. Then one can define the composition of $f$ with the functions $h_{kl}+\alpha_{kl}$ using the Taylor series of $f$ which terminates due to the nilpotency of $\alpha_{kl}$,

[TABLE]

We set $h:=\nu^{-1}h_{kl}\eta^{k}\bar{\eta}^{l}$ and $\alpha:=\nu^{-1}\alpha_{kl}\eta^{k}\bar{\eta}^{l}$. Given $e^{-h}G\in{\mathcal{O}}(U)$, we can rewrite it as

[TABLE]

Also, we can define the matrix $\Lambda_{h+\alpha}$, the operator $\Delta_{h+\alpha}$, and the mapping $T_{h+\alpha}$ by the same formulas, because the matrix $(h_{kl}+\alpha_{kl})$ is invertible. The formal oscillatory integral (75) should not change if we rewrite the integrand as (76). This is indeed the case.

Lemma 10.4**.**

Given $G\in\hat{\mathcal{P}}(U)$, the following identity holds:

[TABLE]

Proof.

Using Theorem 10.1 (9), we get that

[TABLE]

∎

This lemma holds true in the global setting when $h$ and $\alpha$ are defined on $TM\oplus\Pi TM$ and $G\in\hat{\mathcal{P}}$.

Suppose that an element $e^{-h}G\in{\mathcal{O}}$ is compactly supported over $M$. We define a formal integral of $e^{-h}G$ with respect to the density $\mu$ given in (27) as follows,

[TABLE]

We want to show that this formal integral is a supertrace functional on the space of formal oscillatory symbols ${\mathcal{O}}$ with respect to the action of the algebra $({\mathcal{Q}},\ast)$.

Let $A$ be a differential operator on the space $TM\oplus\Pi TM$. There exists a differential operator $A^{t}$, the transpose of $A$, on that space such that for any $f,g\in C^{\infty}(TM\oplus\Pi TM)$ with $f$ or $g$ compactly supported over $TM$ the following identity holds,

[TABLE]

The mapping $A\mapsto A^{t}$ is involutive and has the property that

[TABLE]

If $A$ is a multiplication operator by a function with respect to the fiberwise Grassmann product, then $A~{}=~{}A^{t}$. In local coordinates we have

[TABLE]

The mapping $A\mapsto A^{t}$ induces a transposition mapping on the differential operators on the space ${\mathcal{P}}$ . The transpose operator of a differential operator $A$ on ${\mathcal{P}}$ will be denoted also by $A^{t}$.

Proposition 10.2**.**

Given $f\in{\mathcal{Q}}$ and $e^{-h}G\in{\mathcal{O}}$ such that $f$ or $G$ is compactly supported over $M$, then for any differential operator $A$ on ${\mathcal{Q}}$ we have

[TABLE]

Proof.

We will prove the proposition on a coordinate chart $U\subset M$. To prove (78) for $A=\partial/\partial\eta^{p}$ we verify the identity

[TABLE]

We have

[TABLE]

by item (2) of Theorem 10.1. Identity (78) for $A=\partial/\partial\bar{\eta}^{q}$ follows from  item (3) of Theorem 10.1. To prove (78) for $A=\partial/\partial\theta^{p}$ we verify the identity

[TABLE]

Using item (7) of Theorem 10.1, we have that

[TABLE]

One can similarly verify (78) for $A=\partial/\partial\bar{\theta}^{q},\partial/\partial z^{p},$ and $\partial/\partial\bar{z}^{q}$ using items (8), (5), and (6) of Theorem 10.1, respectively. Now the statement of the Proposition follows from (77). ∎

Theorem 10.2**.**

Given $f\in{\mathcal{Q}}$ and $e^{-h}G\in{\mathcal{O}}$, where $G$ is compactly supported over $M$, the following identity holds,

[TABLE]

Proof.

The condition that $\mu$ is a trace density for the star product $\ast$ on $TM\oplus\Pi TM$ is equivalent to the condition that

[TABLE]

for any $f\in C^{\infty}(TM\oplus\Pi TM)((\nu))$. Therefore, (79) holds for any $f\in{\mathcal{Q}}$. By Proposition 10.2,

[TABLE]

∎

We introduce a functional $\tau$ on the compactly supported formal functions on $M$ by the formula

[TABLE]

It follows from Proposition 10.1 that it is well defined. Using partition of unity, Proposition 8.2, and Theorem 10.2 one can show that $\tau$ is a trace functional on the algebra $(C^{\infty}(M)((\nu)),\star)$.

Theorem 10.3**.**

Assume that the manifold $M$ is compact and $F(t)$ is the solution of (55) with the initial condition $F(0)={\bf{1}}$. Then the identity

[TABLE]

holds for all $t\geq 0$.

Proof.

According to Proposition 10.1, the formal integral in (80) is well defined. Using evolution equation (55), Proposition 9.1, and Theorem 10.2 we get

[TABLE]

Therefore, the integral in (80) does not depend on $t$. Now the statement of the theorem follows from Theorem 9.2. ∎

11. Identification of the trace functional $\tau$

In this section we will prove that for any contractible open subset $U\subset M$ there exists a constant $c\in\mathbb{C}$ such that

[TABLE]

for all $f\in C_{0}^{\infty}(U)((\nu))$. The local $\nu$-derivation

[TABLE]

for the star product $\ast$ on $TU\oplus\Pi TU$ induces a derivation on the algebra $({\mathcal{Q}}(U),\ast)$ which we also denote by $\delta$. Moreover, the action of $\delta$ on ${\mathcal{Q}}(U)$ extends to ${\mathcal{F}}(U)$ so that the Leibniz rule holds. Namely, for $f\in{\mathcal{Q}}(U)$ and $g\in{\mathcal{F}}(U)$,

[TABLE]

We will modify the derivation $\delta$ by an inner derivation so that the resulting derivation will leave invariant the subspace ${\mathcal{K}}(U)\subset{\mathcal{F}}(U)$. Set

[TABLE]

and define

[TABLE]

Theorem 11.1**.**

Given $f\in C^{\infty}(U)((\nu))$, we have that

[TABLE]

where

[TABLE]

is a derivation of $(C^{\infty}(U)((\nu)),\star)$.

Proof.

First we will prove that the space ${\mathcal{K}}(U)$ is invariant under the action of $\tilde{\delta}$. We have

[TABLE]

Given $f\in C^{\infty}(U)((\nu))$, we get using (51) that

[TABLE]

Thus, $\tilde{\delta}(\bar{\eta}^{l})\ast K_{f}=0$. One can prove similarly that $\tilde{\delta}(\bar{\theta}^{l})\ast K_{f}=0$. Next,

[TABLE]

Given $f\in C^{\infty}(U)((\nu))$, we have using (51) that

[TABLE]

Similarly, $K_{f}\ast\tilde{\delta}(\theta^{k})=0$. It follows that

[TABLE]

We prove along the same lines that

[TABLE]

Therefore, $\tilde{\delta}(K_{f})\in{\mathcal{K}}(U)$. Now we need to find an element $g\in C^{\infty}(U)((\nu))$ such that $\tilde{\delta}(K_{f})-g\in{\mathcal{J}}_{l}+{\mathcal{J}}_{r}$. For this element we will have $\tilde{\delta}(K_{f})=K_{g}$. We write explicitly

[TABLE]

Since $K_{f}=f\mod({\mathcal{J}}_{l}+{\mathcal{J}}_{r})$ and $\frac{dX}{d\nu}=\frac{d\Phi}{d\nu}\mod({\mathcal{J}}_{l}+{\mathcal{J}}_{r})$, it follows that

[TABLE]

By Lemma 7.3 and Corollary 8.2,

[TABLE]

Using (51) we get that

[TABLE]

Therefore, by Corollary 8.2,

[TABLE]

Combining (81), (82), and (83), we get

[TABLE]

which concludes the proof. ∎

Theorem 11.2**.**

Given $e^{-h}G\in{\mathcal{O}}(U)$ such that $G$ is compactly supported over $U$, the following identity holds,

[TABLE]

Proof.

Writing $\tilde{\delta}=\frac{d}{d\nu}+A$, we see that Theorem 4.1 is equivalent to the fact that

[TABLE]

which implies Theorem 11.2 according to Proposition 10.2. ∎

Corollary 11.1**.**

There exists a constant $c\in\mathbb{C}$ such that

[TABLE]

for any $f\in C_{0}^{\infty}(U)((\nu))$.

Proof.

By Theorem 11.1, we have

[TABLE]

whence the corollary follows. ∎

Corollary 11.1 implies the following theorem.

Theorem 11.3**.**

If the manifold $M$ is connected, then there exists a constant $c$ such that

[TABLE]

for all compactly supported formal functions $f$ on $M$.

12. Getzler’s rescaling

In this section we use the rescaling of $TM\oplus\Pi TM$ introduced by Getzler in [12]. Consider the operator $\lambda_{s}$ on $C^{\infty}(TM\oplus\Pi TM)$ given in local coordinates by the formula

[TABLE]

Given a function $F$ on $TM\oplus\Pi TM$ compactly supported over $TM$, it is easy to verify that

[TABLE]

does not depend on $s$. An analogous statement holds also for the formal integral when $F$ is an oscillatory symbol.

Proposition 12.1**.**

Given $e^{-h}G\in{\mathcal{O}}$ such that $G\in\hat{P}$ is compactly supported over $M$, the formal integral

[TABLE]

does not depend on $s$.

Proof.

We have

[TABLE]

Since only the component of $G$ of bidegree $(m,m)$ with respect to the odd variables $(\theta,\bar{\theta})$ contributes to the integral, it suffices to prove that

[TABLE]

Clearly, $\det(\Lambda_{s^{2}h})=s^{-2m}\det(\Lambda_{h})$ and $\Delta_{s^{2}h}=s^{-2}\Delta_{h}$. Denote by $G_{k,l}$ the component of $G$ of bidegree $(k,l)$ with respect to the variables $(\eta,\bar{\eta})$. Then

[TABLE]

does not depend on $s$, whence the proposition follows. ∎

We introduce an operator

[TABLE]

and a function

[TABLE]

where $F(t)$ is the solution of (55) with the initial condition $F(0)={\bf{1}}$.

Lemma 12.1**.**

The function $G(s,t)$ is the unique solution of the equation

[TABLE]

with the initial condition $G|_{t=0}={\bf{1}}$ on the space ${\mathcal{F}}$.

Proof.

The lemma follows from the calculation

[TABLE]

∎

Consider the grading on the functions on $TM\oplus\Pi TM$ polynomial on fibers given by the operator ${\mathcal{E}}+\bar{\mathcal{E}}$. For the variables $\eta,\bar{\eta},\theta,\bar{\theta}$,

[TABLE]

(we assume that $|\nu|=0$). This grading induces an ascending filtration on the space of formal differential operators on ${\mathcal{Q}}$. The subspace of filtration degree $d$ consists of the operators of the form $A=A_{d}+A_{d-1}+\ldots$, where $A_{j}$ is homogeneous of degree $j$ with respect to the this grading. We call this grading the $\lambda$-grading, because

[TABLE]

It follows from (20) that for $f\in C^{\infty}(M)((\nu))$ the operator $f-L_{f}$ has the $\lambda$-filtration degree $-1$. We see from (6) that the $\lambda$-filtration degree of the operator $L_{\sigma}$ is 2. Denote by $L_{\sigma}^{0}$ the homogeneous component of $L_{\sigma}$ of $\lambda$-degree 2. We have

[TABLE]

The curvature $R=R_{k}^{u}$ of the Kähler connection on $M$ is given by the formula $R_{k}^{u}=R^{u}_{kp\bar{q}}dz^{p}\wedge d\bar{z}^{q}$, where

[TABLE]

In local coordinates the operator $L_{\sigma}^{0}$ is expressed as follows,

[TABLE]

where $\hat{R}_{k}^{u}:=R^{u}_{kp\bar{q}}\theta^{p}\bar{\theta}^{q}$.

The operator $L_{\sigma}^{s}$ can be written as a series $L_{\sigma}^{s}=B_{0}+sB_{1}+\ldots$, where the $\lambda$-degree of $B_{i}$ is $2-i$ and $B_{0}=L_{\sigma}^{0}$.

Theorem 12.1**.**

The function $G(s,t)$ is regular at $s=0$.

Proof.

We will prove by induction on $i$ that the $\deg$-homogeneous component $G^{i}$ of degree $i$ of the function $G$ is regular at $s=0$. We have $G^{i}=\lambda_{s}^{-1}F^{i}(s^{2}t)$, where $F^{i}$ is the $\deg$-homogeneous component of degree $i$ of the function $F(t)$. We get from Theorem 9.1 that

[TABLE]

This function is regular at $s=0$ and

[TABLE]

Assume that $G^{i}$ is regular at $s=0$ for $i<l$. In Theorem 9.1 we used the notation $L_{\nu\sigma}=A^{2}+A^{3}+\ldots$, where $\deg A^{i}=i$. Using that

[TABLE]

we can rewrite formula (61) as follows:

[TABLE]

Applying $\lambda_{s}^{-1}$ to both sides of (86), we get

[TABLE]

Replacing $t$ with $s^{2}t$ and using the substitution $\tau=s^{2}u$, we obtain that

[TABLE]

Since the $\lambda$-filtration degree of the operator $L_{\nu\sigma}$ is 2, the operator $s^{2}\lambda_{s}^{-1}A^{i+2}\lambda_{s}$ is regular at $s=0$. Therefore, by the induction assumption, $G^{l}$ is also regular at $s=0$, whence the theorem follows. ∎

The matrix

[TABLE]

is well-defined and the elements of the matrix $H(t)-t\cdot 1$ are even and nilpotent. Theorem 12.1 implies that the function $G(0,t)$ is a solution of the equation

[TABLE]

with the initial condition $G(0,0)={\bf{1}}$. It is easy to prove that this solution is unique. Denote by $\tilde{h}$ the global function on $TM\oplus\Pi TM$ given in local coordinates by the formula $\tilde{h}=-\nu^{-1}H_{k}^{u}(t)g_{u\bar{l}}\eta^{k}\bar{\eta}^{l}$. A direct check shows that

[TABLE]

where $\hat{\omega}$ is given by (34). It follows that

[TABLE]

where $\tilde{G}(t)\in\hat{\mathcal{P}}$, so that $G(0,t)\in{\mathcal{O}}$ for $t\neq 0$. By (73),

[TABLE]

Using Lemma 10.4, we can calculate the following formal oscillatory integral,

[TABLE]

Now assume that the manifold $M$ is compact and connected. According to Theorem 10.3 and Proposition 12.1,

[TABLE]

for any $s\neq 0$ and $t>0$. Passing to the limit as $s\to 0$, we obtain that

[TABLE]

for any $t\neq 0$. We will set $t=-1$. Theorem 11.3 implies that there exists a constant $c\in\mathbb{C}$ such that

[TABLE]

where $[\omega]$ is the de Rham class of $\omega$. Since the leading term of the canonical trace density $\mu_{\star}$ is given by (3), we see that $c=1$.

Using the fact that the Todd genus ${Td}(M)$ of $M$ has a de Rham representative

[TABLE]

where $R$ is the curvature of the Kähler connection on $M$, we obtain the following algebraic Riemann-Roch-Hirzebruch theorem for deformation quantization with separation of variables.

Theorem 12.2**.**

Let $\star$ be a star product with separation of variables on a compact connected pseudo-Kähler manifold $M$ with classifying form $\omega$. Then

[TABLE]

where $\mu_{\star}$ is the canonical trace density of $\star$.

The curvature of the Kähler connection on $T_{\mathbb{C}}M=T^{(1,0)}M\oplus T^{(0,1)}M\cong T^{(1,0)}M\oplus T^{*(1,0)}M$ is given by the matrix

[TABLE]

where we identify $T^{(0,1)}M$ and $T^{*(1,0)}M$ via the pseudo-Kähler metric on $M$. Therefore, the $\hat{A}$-genus of $M$ has a de Rham representative

[TABLE]

Now the index formula (4) follows from formulas (87) and (9) and the fact that $\rho=i\operatorname{tr}R$.