Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $X$ be a smooth variety over $\mathbb{C}$ and $\mathscr{A}$ a sheaf of twisted differential operators on $X$. The latter comes equipped with a natural filtration and the associated graded algebra $\text{gr } \mathscr{A}$ is identified with $\text{Sym } \mathscr{T}_X$, the sheaf of functions on the cotangent bundle $T^*X$.

Both of these algebras have a Poisson structure: $\text{gr } \mathscr{A}$ the one induced by the commutator, and $\text{Sym } \mathscr{T}_X$ the one arising from the canonical symplectic structure on $T^*X$. Can anyone explain to me why these Poisson structures coincide under the aforementioned isomorphism?

Edit: When I say "sheaf of twisted differential operators" I just mean a quasicoherent sheaf of filtered associative algebras $\mathscr{A}$ on $X$ together with an isomorphism $\text{gr } \mathscr{A} \cong \text{Sym } \mathscr{T}_X$. The answer probably doesn't involve any difficult computations but I'm pretty murky about what's happening on the cotangent bundle. Any general remarks in that direction, especially from an algebraic perspective, would be helpful.

share|improve this question
    
Which definition of a sheaf of twisted differential operators are you working with? If you take the one from Beilinson and Bernstein, the isomorphism of Poisson structures is straightforward. –  YBL Aug 27 '13 at 17:35
    
Yes, I'm reading that paper. I learned about Poisson structures in a differential geometry class that emphasized computation in local coordinates, so I'm pretty bad at working with them in a nice coordinate-free way (which I very much prefer). –  Justin Campbell Aug 27 '13 at 18:10
    
The problem is that you are forgetting the last axiom in B-B's definition of a TDO, namely how $gr^1 A$ is identified with $T_X$ through $\sigma(d)(f) = fd - df$. The Poisson bracket on the cotengant bundle is the equivalent of a first ordre non commutative deformation. A simple isomorphism of algebras $gr A \simeq Sym T_X$ forgets about this information. The Poisson bracket is just a Lie bracket that is also a derivation. To get the desired result you just have to check that $\sigma$ given in degree 1 extends uniquely to the whole symetric algebra. –  YBL Aug 28 '13 at 1:38

1 Answer 1

up vote 1 down vote accepted

Both of these constructions are étale local on $X$. I'm using étale since you seem to want to work in algebraic geometry; it's probably better to say it's local in the classical/analytic topology.

In either case, I only need to show this for $\mathbb{C}^n$. In that case, it's simply a matter of writing things down; my TDO is trivial now, so it's just algebraic differential operators on C^n. It's associated graded is the polynomial ring $\mathbb C[x_1,\dots, x_n,\partial_1,\dots, \partial_n]$ with the rule that $\{\partial_i,x_j\}=\delta_{ij}$.

On the other hand, if you trace through the definition of the Poisson bivector on $T^*\mathbb{C}^n$, then what happens? If you want to compute $\{w_i,x_j\}$, where $w_i$ is the dual coordinate to $x_i$ on $T^*\mathbb{C}^n$: you turn these into vector fields using the symplectic form (you get $d/dx_i$ and $-d/dw_j$), and you pair these using the symplectic form. If you chose the symplectic form $\sum_i dw_i\wedge dx_i$ then you get a cookie, because you exactly get $\{w_i,x_j\}=\delta_{ij}$, and all is right. You'll note, I ignored the Poisson brackets of "like" coordinates, but these follow easily from the same principle.

If you want to do this in a coordinate-free way, what you should do is realize the computations you need to do are:

  • $\{f,g\}=0$ for functions on $X$ in both cases (easy)
  • $\{Y,f\}=Y(f)$ for $f$ a function on $X$ and $Y$ a vector field on $X$, thought of as a function on $T^*X$ linear on the fibers.
  • $\{Y,Z\}=[Y,Z]$ for $Y$ and $Z$ both vector fields (here $[Y,Z]$ is Lie bracket); at that point you'll be set, since the symmetric powers of the tangent bundle are generated by these.

These are essentially defining properties for a TDO, so we just need to check them for the canonical structure.

The latter 2 equations follow from a basic property: that if you think of a vector field as a function on the contingent bundle, and turn it into Hamiltonian vector field using the symplectic form, you'll get the vector field itself on the base and a natural extension of it to the cotangent bundle which you can think of as something like geodesic flow. (In any set of coordinates, it's clear what to do, but the coordinate free version isn't coming to mind). Since we can think of $\{Y,f\}$ or $\{Y,Z\}$ as Lie derivative with respect to this vector field, the desired formulas follow.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.