Deformations of symplectic Lie algebroids, deformations of holomorphic symplectic structures, and index theorems (Q700522)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Deformations of symplectic Lie algebroids, deformations of holomorphic symplectic structures, and index theorems
scientific article

    Statements

    Deformations of symplectic Lie algebroids, deformations of holomorphic symplectic structures, and index theorems (English)
    0 references
    0 references
    0 references
    22 October 2002
    0 references
    The paper classifies deformation quantizations for a class of Poisson structures, for which explicit methods of Fedosov work. Using these methods an index theorem for this class of deformations is obtained. A Lie algebroid is a vector bundle \(E\) over \(M\) whose sheaf of sections is a sheaf of Lie algebras, and a morphism of bundles \(\rho:E\to TM\) satisfying \(\rho[\xi,\eta]= [\rho(\xi), \rho(\eta)]\) and \([f\xi,\eta]= f[\xi,\eta]- L_{\rho(\eta)}(f)\xi\), \(f\in C^\infty(M)\), \(\xi,\eta\in \Gamma(M, E)\). One defines \(E\)-differential forms as elements of \(\Gamma(M,\Lambda E^*)\), and introduces the de Rham differential using the Cartan formula. A symplectic Lie algebroid is a Lie algebroid with a nondegenerate closed \(2\)-\(E\)-differential form. Examples of symplectic Lie algebroids are: symplectic manifolds, constant rank Poisson structures, symplectic structures with logarithmic singularities along submanifolds of codimension one, manifolds with corners, compactified cotangent bundles, complex symplectic manifolds. A deformation is a formal power series \(\overline\omega= \sum_{k\geq 0}(i\hslash)^k P_k\), where \(P_k\) are \(E\)-bidifferential operators, \(P_0(f, g)= fg\) and \(P_1(f,g)- P_1(g, f)= \{f,g\}\). The main classification results of the paper are Theorem 1.1. Let \((E,[,],\rho,\omega)\) be a symplectic Lie algebroid on \(M\). The set \(\mathbb{A}^{\hslash}(M)\) of isomorphism classes of \(E\)-deformations of \((E,[,],\rho,\omega)\) is an bijective correspondence with the space \[ {1\over i\hslash} \omega+{^E H^2}(M, \mathbb{C}[[\hslash]]), \] where \({^EH^2}(M,\mathbb{C}[[\hslash]])\) is the second cohomology group of the \(E\)-de Rham complex. The cohomology class \(\theta\) associated to the deformation by the above theorem is called its characteristic class. Theorem 1.2. Let \(\mathbb{A}^{\hslash}(M)= (C^\infty(M)[[\hslash]],*)\) be an \(E\)-deformation of \(M\). There exists a Lie algebra extension \[ 0\to \text{Ad}(\mathbb{A}^{\hslash}(M))\to {^E\text{Der}}(\mathbb{A}^{\hslash}(M))\to {^EH^1}(M, \mathbb{C}[[\hslash]])\to 0. \] A deformation of a complex manifold \(M\) is a structure of a sheaf of algebras on \({\mathcal O}_M[[\hslash]]\) which is equal to \({\mathcal O}_M\) modulo \(\hslash\) and such that the local multiplication law and the transition isomorphisms are given by power series in \(\hslash\) with coefficients in bidifferential operators. Given a complex manifold \(M\), let \(F^* \Omega^{*,*}\) denote the decreasing filtration of the de Rham complex \[ F^i \Omega^{*,*}(M)= \sum_{0\leq k,l\leq i}\Omega^{(k,l)}(M). \] The classification result for complex manifolds is Theorem 1.3. Let \((M,\omega)\) be a complex manifold with a holomorphic symplectic structure \(\omega\), such that the maps \[ H^i(M,\mathbb{C})\to H^i(M,{\mathcal O}_M);\quad i= 1,2 \] are surjective. The set of isomorphism classes of formal deformations of \((M,\omega)\) is in bijective correspondence with \(H^2(F^1\Omega^{*,*}(M), d)[[\hslash]]\). Moreover, there exists a family of smooth maps \[ \tau: \{H^2(F^1\Omega^{*,*}(M), d)\}^n\to H^2(M,{\mathcal O}_M) \] such that the characteristic class of the deformation associated to \(\alpha_0+ \hslash\alpha_1+\cdots\) is given by the sum \[ {1\over i\hslash} \omega+ \sum_n \hslash^n(\alpha_n+ \tau_n(\alpha_0,\dots, \alpha_{n- 1})). \] The associated formal deformation of the sheaf of algebras of holomorphic functions is locally isomorphic to the Weyl deformation of holomorphic functions on an open polydisk in \(\mathbb{C}^{\dim M}\). The basic tool used in the proofs is the notion of \(E\)-jets, a generalization of the notion of infinite jets of smooth functions. In the last section of the paper the authors prove an index theorem which is a consequence of the Riemann-Roch theorem for periodic cyclic cochains.
    0 references
    0 references
    deformation quantization
    0 references
    star products
    0 references
    index theorems
    0 references
    Lie algebroid
    0 references
    cohomology group
    0 references
    \(E\)-de Rham complex
    0 references
    characteristic class
    0 references
    \(E\)-jets
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references