# “How many” matrices generate 2d Lie algebra (i.e. $[c_1,c_2]=k_1 c_1 +k_2 c_2$)?

Consider a pair of matrices $(c_1, c_2)$. The words "it generates the 2-dimensional Lie algebra", means that there exists a pair of scalars $k_1$, $k_2$, such that $$[c_1, c_2] = k_1 c_1 + k_2 c_2,$$ where $[a,b]$ is the "commutator" $ab-ba$.

Not any pair generates 2-d Lie algebra.

Question: what is the dimension of the subset of matrices $(c_1,c_2)$ which generate 2-d Lie algebra? at least for $2\times 2$ matrices ?

It is clearly greater than $n^2+n$ since I can take - $c_1$ - arbitrary (so $n^2$) and $c_2$ - commuting with $c_1$, which gives ($+n$ for generic matrices). But in this way I get only $[c_1, c_2] =0$.

The motivation for the question comes from this question on MathOverflow.

-

It seems the dimension is n^2+n. The subtlety is that this manifold is highly reducible, there are about n^2+1 components, and n^2 of them of small dimensions, the only one component of dimension n^2+n is [A,B]=0.

Details.

Consider [A,B]=aA+bB. Take A - diagonal matrix with different values on the diagonal. Consider a, b non-zeros.

Remark 1. [A, * ] - has always a trivivial diagonal.

Corollary diag(B) = - aA/b.

Remark 2. [A, *] on the space of matrices with trivial diagonal has eigen matrices E_{ij} with eigenvalues (a_i - a_j).

Corollary off-diag of B is equal to kE_{ij} for some i,j and b=(a_i-a_j).

Hence if we fix A - diagonal, and a,b (non-zeros), then matrix B is determined uniquely as B= -aA/b + E_{ij}/(a_i-a_j)

Hence the dimension of the of the variety for fixed a,b which are non-zero is n^2.

While for a,b=0 we have n^2+n .

-