5
$\begingroup$

For a Lie algebra $L$ of dimension $n$ over a field ${\mathbb F}$ we denote by $\beta(L)$ the maximal dimension of abelian ideals of $L$. In general, $\beta(L)$ is not preserved under extensions of the ground field (see e.g. Example 2.7 in http://homepage.univie.ac.at/dietrich.burde/papers/burde_39_max_ab.pdf). Do you know any example in which $\beta(L)<\beta(L\otimes_{\mathbb F} \bar{{\mathbb F}})=n-1$, where $\bar{\mathbb F}$ is the algebraic closure of ${\mathbb F}$? (In other words, is it possible that $L\otimes_{\mathbb F} \bar{{\mathbb F}}$ contains an abelian ideal of codimension 1 and $L$ has no abelian ideal of codimension 1?)

I am mainly interested in the case where $L$ is a restricted Lie algebra over a field of characteristic $p>0$.

$\endgroup$
4
  • $\begingroup$ It seems risky to jump into prime characteristic here (including finite fields) when the existing literature is mostly oriented toward characteristic 0. But the question asked does make sense. $\endgroup$ Mar 10, 2012 at 16:59
  • $\begingroup$ Professor Humphreys: I agree that jumping in positive characteristic could seem risky, but I faced with this problem when I was dealing with restricted enveloping algebras satisfying certain polynomial identities. This is the real motivation of my question. $\endgroup$ Mar 10, 2012 at 17:34
  • $\begingroup$ What I find strange is that in the paper you linked, Burde and Ceballos formulate Proposition 3.1 only for the case when the field has characteristic zero. In my opinion, his proof (modulo one trivial typo: "Rescaling $e_1$" should be "Rescaling $e_2$") works equally well in every characteristic. $\endgroup$ May 5, 2012 at 0:19
  • $\begingroup$ darij: I agree with you. $\endgroup$ May 5, 2012 at 12:11

1 Answer 1

4
$\begingroup$

There's no such example.

Since this is convenient, I denote by $L$ the Lie algebra over the algebraic closure. Let $A$ be a codimension 1 abelian ideal and let us show that some (possibly other) abelian ideal $A'$ is defined over the ground field, i.e. is a hyperplane that can be defined by a linear equation with coefficients in $K$.

Since $L/A$ is abelian, we have $[L,L]$ contained in $A$. In particular, $A$ is contained in the centralizer of $[L,L]$. In case $A$ is equal to the centralizer of $[L,L]$, this is defined over the ground field and thus we are done. So I now assume that the centralizer of $[L,L]$ is all of $L$ (so $L$ is nilpotent of step 2).

The case when $L$ is abelian is trivial. If the derived subalgebra of $L$ is 1-dimensional, then the Lie algebra law can be viewed as an alternate form. Since $A$ is a codimension 1 isotropic subspace for this form, it is easy to check that the kernel of this alternate form has codimension 2 (and is defined over the ground field) and contains $[L,L]$ because $L$ is nilpotent of step 2. Every hyperplane $A'$ containing this kernel is an abelian ideal; we can pick it to be defined over the ground field.

If the derived subalgebra of $L$ is at least 2-dimensional, there exist two linear forms $f_1,f_2$ on $L$ such that the alternate bilinear forms $(x,y)\mapsto b_i(x,y)=f_i([x,y])$, $i=1,2$ are not proportional. They can be chosen to be defined over the ground field. Let $K_i$ be the kernel of $b_i$. Then $K_i$ is contained in $A$ (otherwise $b_i$ would be zero). Besides, $K_1$ and $K_2$ have codimension 2 (because $A$ is an isotropic subspace for $b_i$) and are not equal, because otherwise $b_1$ and $b_2$ would be alternate forms on the plane $L/K_1$ and would thus be proportional as the set of antisymmetric matrices of size 2 is 1-dimensional. So the codimension of $K_1+K_2$ is at most 1. Since it's contained in $A$, we deduce that $A=K_1+K_2$. So $A$ is defined over the ground field and the proof is complete.

$\endgroup$
1
  • 1
    $\begingroup$ Very nice! Even better, it seems that this argument works in the infinite dimensional case, as well! $\endgroup$ May 11, 2012 at 22:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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