Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Kindly asking for any hints about the following questions:

1- Suppose, $X$ be an scheme and $g$ an finite-dimensional Lie algebra over an algebraically closed field $k$. We denote by $M(X,g)$, the Lie algebra of regular functions on $X$ with values in $g$ (equivalently, the set of morphisms of schemes $X\to g‎$). If $A = ‎‎\mathcal{O}‎‎_X(X)$, then proof that there is an isomorphism $M(X,g)≅g⊗A$ of Lie algebras over $A$ and hence also over $k$.

Thanks for your help!

share|cite|improve this question
I would define the Lie algebra of regular functions on $X$ with values in $\mathfrak{g}$ to be $\mathfrak{g} \otimes k[X]$ (assuming that the base field is $k$). What definitions are you using? – Qiaochu Yuan Jan 4 '13 at 10:06
Whose sentence you want to know the meaning of? – Mariano Suárez-Alvarez Jan 6 '13 at 0:03
@QiaochuYuan, that's cheating :-) – Mariano Suárez-Alvarez Jan 6 '13 at 0:03
By the way, there is nothing «equivariant» in the question. Maybe you can think of a better title? – Mariano Suárez-Alvarez Jan 6 '13 at 0:05
After your latest edit: the fact that $g$ is a Lie algebra is irrelevant now. View it just as a finite dimensional vector space. Suppose $X$ is an affine space: can you do this in that case? (now there are even less equivariant things in the question... you should fix the title!) – Mariano Suárez-Alvarez Jan 28 '13 at 8:20

Your Answer


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

Browse other questions tagged or ask your own question.