Let $\mathfrak{g}$ be positively graded Lie algebra over $\mathbb{Q}$, concentrated in even degrees.
Question: If $\mathfrak{g}$ is not free, must there exist linearly independent elements $a,b\in\mathfrak{g}$ such that $[a,b]=0$?
MathOverflow is a question and answer site for professional mathematicians. It only takes a minute to sign up.
Sign up to join this communityLet $\mathfrak{g}$ be positively graded Lie algebra over $\mathbb{Q}$, concentrated in even degrees.
Question: If $\mathfrak{g}$ is not free, must there exist linearly independent elements $a,b\in\mathfrak{g}$ such that $[a,b]=0$?
Consider the complex Lie algebra $\mathfrak{h}=\mathbb{C}[t,t^{-1}]\partial_t$ with Lie bracket $$[t^m\partial_t,t^n\partial_t]=(n-m)t^{n+m-1}\partial_t$$ ie the natural bracket that arises considering the natural action of $\mathfrak{h}$ on $\mathbb{C}[t,t^{-1}]$ by derivations. This is known as the Witt algebra. If we give $t^n\partial_t$ degree $n-1$ then this is a $\mathbb{Z}$-graded Lie algebra.
I claim that the $\mathbb{Q}$-Lie-subalgebra $\mathfrak{g}$ of $\mathfrak{h}$ spanned by the elements $t^n\partial_t$ with $n\geq 3$ and odd does not contain linearly independent elements $a,b$ such that $[a,b]=0$. Indeed $\mathfrak{h}$ does not.
Suppose $a=\sum_{i\leq n}\lambda_it^i\partial_t$ and $b=\sum_{j\leq n}\mu_jt^j\partial_t$ are linearly independent with $[a,b]=0$. We can assume WLOG that $\lambda_n=1$. Suppose that $m\leq n$ is the largest number such that $\mu_m\neq 0$. Then the degree ${n+m-2}$ piece of $[a,b]$ is simultaneously $\mu_m (n-m)$ and $0$. Thus $m=n$ and by rescaling $b$ we may assume $\mu_n=1$.
Since $a\neq b$ we may now find $k$ maximal such that $\lambda_k\neq \mu_k$. Write $a=a_1+a_2$ and $b=b_1+b_2$ with $a_1,b_1$ a sum of homogenous terms of degree less than $k$ and $a_2=b_2$ a sum of homogenous terms at least $k$. Then $$0=[a,b]=[a_1,b_1]+[a_2,b_1]+[a_1,b_2]+[b_2,a_2]=[a_1,b_1]+[a_2,b_1-a_1].$$
The leading term of $[a_1,b_1]$ has degree at most $(2k-2)$ and the leading term of $[a_2,b_1-a_1]$ is $(\mu_k-\lambda_k)(n-k)t^{n+k-1}\partial_t$ which has degree $n+k-2$ and so we obtain the desired contradiction.
It is straightforward to verify that $\mathfrak{g}$ is not free.