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

First, pick a commutative ring $k$ as the "ground field". Everything I say will be $k$-linear, e.g. "algebra" means "unital associative algebra over $k$". Then recall the following construction due to Grothendieck:

Let $A$ be a commutative algebra, and $X$ an $A$-module. Then the differential operators on $X$ is the filtered algebra $D = D(A,X)$ given inductively by: $$ D_{\leq 0} = \text{image of $A$ in }\hom_k(X,X) $$ $$ D_{\leq n} = \{ \phi \in \hom_k(X,X) \text{ s.t. } [\phi,a] \in D_{\leq n-1}\\, \forall a\in A\} $$ $$ D = \bigcup_{n=0}^\infty D_{\leq n} $$ (Edit: In the comments, Michael suggests that $D_{\leq 0} = \hom_A(X,X)$ is the more standard definition, and the rest is the same.)

Then the following facts are more or less standard:

  • If $A$ acts freely on $X$, then $D_{\leq 1}$ acts on $A$ by derivations. (It's always true that $D_{\leq 1}$ acts on $D_{\leq 0}$ by derivations; the question is whether $D_{\leq 0} = A$ or a quotient.) If $X = A$ by multiplication, then $D_{\leq 1}$ splits as a direct sum $D_{\leq 1} = \text{Der}(A) \oplus A$.
  • If $k=\mathbb R$, $M$ is a finite-dimensional smooth manifold, and $A = C^\infty(M) = X$, then $D$ is the usual algebra of differential operators generated by $A$ and $\text{Vect}(M) = \Gamma(TM \to M)$.
  • If $A,X$ are actually sheaves, so is $D$.

Thus, at least in the situation where $A = X = C^{\infty}(M)$, the algebra $D$ is acting very much like the universal enveloping algebra of $U (\text{Vect}(M))$; in particular, the map $U(\text{Vect}(M)) \to D$ is filtered and is (almost) a surjection: it misses only the non-constant elements of $A$. So when $A = X = C^\infty(-)$ are sheaves on $M$, it's very tempting to think of $D$ as a sheafy version of $U(\text{Vect}(-))$. Note that $U(\text{Vect}(-))$ is not a sheaf: its degree $\leq 0$ part consists of constant functions, not locally constant, for example, and there are non-zero elements in $U_{\leq 2}$ that restrict to $0$ on an open cover. I think that it cannot be true that the sheafification of $U(\text{Vect}(-))$ is $D$, as the sheafification of $U_{\leq 0}$ is the locally-constant sheaf, not $C^\infty$.

So: is there a description of $D$ that makes it more obviously like a universal enveloping algebra? E.g. is there some adjunction or other categorical description? Is it really true that $D$ is a "sheafy" version of $U$ in a precise sense, or is this just a chimera?

share|improve this question
    
If $U(g)$ acts on $R$ by Hopf-action,$g$ acts on $R$ by differential operator –  Shizhuo Zhang Mar 14 '10 at 22:40
    
This definition of differential operators on $X$ look strange to me. The one I know defines $D_{\leq 0}$ to be $Hom_A(X,X)$, and not as the image of $A$. Can you point me to some reference where this definition is used? –  Michael Bächtold Mar 15 '10 at 9:55
    
@Michael: It's very possible that I've misremembered the definition; $\hom_A(X,X)$ certainly makes sense. –  Theo Johnson-Freyd Mar 15 '10 at 15:31
    
Well, when $X=A$ the two options give the same thing, up to an $(\mathord-)^{\mathrm{op}}$. –  Mariano Suárez-Alvarez Mar 15 '10 at 16:20
    
@MSA: Which is why I don't know which the standard definition is. Oh, and as for a reference, most immediately I'm going from my class on topics in Lie and Quantum groups, by V. Serganova. I have (unedited!) notes at math.berkeley.edu/~theojf/QuantumGroups10.pdf –  Theo Johnson-Freyd Mar 16 '10 at 1:23
show 1 more comment

3 Answers

up vote 13 down vote accepted

The construction you're looking for is the universal enveloping algebra of a Lie algebroid.

A Lie algebra is a Lie algebroid on a point. It's universal enveloping algebra as an algebroid is the same as the usual.

Every smooth manifold has a Lie algebroid structure on its tangent bundle, which differential operators are the universal enveloping algebra of.

Another cool examples is that TDOs (sheaves of twisted differential operators) can be constructed from central extensions of the tangent Lie algebroid by the structure sheaf (you take UEA, and then identify the two copies of the structure sheaf).

(I'll just note: Mariano's answer and mine are essentially equivalent. See the nLab page linked above for brief explanation).

share|improve this answer
    
This whole notion seems very stacky (or at least fibered-category-y). Is there a connection? –  Harry Gindi Mar 15 '10 at 3:36
    
Oh, ha! It appears there's an nLab page about stacky lie groupoids (I thought I was using the word stacky informally)! Alright! –  Harry Gindi Mar 15 '10 at 3:41
add comment

In the affine, characteristic zero, smooth case, you can obtain $\mathcal D$ as the envelopping algebra of the Lie-Rinehart pair $(\mathcal O_X, \mathrm{Der}(X))$ (I think this is precise in for the global sections only, but I do not recall having seen the notion of a sheaffy Lie-Rinehart pair...).

In the general case, things are surely harder, since $\mathcal D$ is not generated in general from derivations and functions only: you need higher order generators. (In fact, a very famous conjecture of Nakai claims that an affine variety is smooth iff $\mathcal D$ is generated by functions and derivations.) In positive characteristic, things are worse, as you already need more generators on $\mathbb A^1$.

PS: I cannot find Nakai's Higher order derivations, I in MathSciNet nor in Zentralblatt... I don't think lots of progress has happened with respect to that conjecture, sadly (Villamayor-Mount, Becker, &c have special cases)

share|improve this answer
add comment

Linear maps from X to X form A-A-bimodule or A\otimes A-modules. Let I be the multiplication kernel. A linear map is a differential operator if it is annihilated by a power of I. It is essentially Grothendieck's definition, retold to sound functorially.

share|improve this answer
add comment

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.