Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $\alpha: \mathfrak g_A \to T_{A/k}$ be a Lie algebroid over a $k$-algebra $A$. Numerous facts about and its universal enveloping algebra comes from the theory of ring differential operators on $A$. A generalization of theory of D-modules has been used to characterize modules over $\mathfrak g_A$ (eg. Sophi Chemla paper on Inverse image functor for Lie algebroids). But I couldn't find is a good reference for the notion itself. What is a $\mathfrak g_A$-module?

share|cite|improve this question
I don't know this stuff, so I will leave only a comment. I think that there is some disagreement over the correct notion of module. In particular, my friend Alfonso Garcia-Saz has some papers where they look towards a more general notion of module. The test is whether the Lie algebroid is a module over itself; in some older definitions, it is not. – Theo Johnson-Freyd May 14 '10 at 20:09
Yes, the adjoint action will not give a a module structure over the Lie algebroid itself because it is not $A$-linear. Thank you for the paper-- – lemin May 14 '10 at 23:31

2 Answers 2

A $\mathfrak{g}_A$-module $M$ is a $k$-module endowed with structures of $A$-module and $\mathfrak{g}_A$-module satisfying the compatibility equations $(ax)m = a(xm)$ and $x(am) = x(a)m + a(xm)$ for any $a\in A$, $x\in\mathfrak{g}_A$, and $m\in M$. Here $x(a)$ denotes the action of $\mathfrak{g}_A$ in $A$, while the three other actions are denoted by $ax$, $am$, and $xm$.

A $\mathfrak{g}_A$-module is the same that a module over the enveloping algebra $U_A(\mathfrak{g}_A)$.

share|cite|improve this answer

Since Leonid already gave the definition, let me give a reference: Beilinson and Bernstein's A Proof of the Jantzen Conjectures.

share|cite|improve this answer

Your Answer


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.