Abstract:We show that the isomorphism class of a two-step solvable Lie poset subalgebra of a semisimple Lie algebra is determined by its dimension. We further establish that all such algebras are absolutely rigid.
What problem does this paper attempt to address?
The problems that this paper attempts to solve are related to the classification and rigidity of Frobenius, two - step solvable Lie poset algebras. Specifically:
1. **Classification problem**: The author proves that if two Frobenius, two - step solvable Lie poset algebras have the same dimension, then they are isomorphic. This means that the isomorphism classes of these algebras are determined only by their dimensions.
2. **Rigidity problem**: The author further proves that all such Frobenius, height - one Lie poset algebras are absolutely rigid, that is, they have no infinitesimal deformations. This shows that these algebras are very structurally stable and cannot change their structures through small deformations.
### Main results
- **Classification theorem**: Frobenius, two - step solvable Lie poset algebras are determined only by their dimensions up to isomorphism.
- **Rigidity theorem**: All Frobenius, height - one Lie poset algebras are absolutely rigid, that is, \( H^2(\Phi_n, \Phi_n)=0 \).
### Background and definitions
- **Lie poset algebra**: Given a semisimple Lie algebra \( \mathfrak{g} \), let \( \mathfrak{b}\subset\mathfrak{g} \) be a Borel subalgebra and \( \mathfrak{h} \) be its corresponding Cartan subalgebra. A Lie subalgebra \( \mathfrak{p}\subset\mathfrak{g} \) satisfying \( \mathfrak{h}\subset\mathfrak{p}\subset\mathfrak{b} \) is called a Lie poset algebra.
- **Frobenius Lie algebra**: The index of a Lie algebra \( \mathfrak{g} \) is defined as:
\[
\text{ind}(\mathfrak{g})=\min_{F\in\mathfrak{g}^*}\dim(\ker(B_F))
\]
where \( B_F \) is the skew - symmetric Kirillov form defined by \( B_F(x,y) = F([x,y]) \). If the index of \( \mathfrak{g} \) is zero, then \( \mathfrak{g} \) is called Frobenius.
- **Two - step solvable Lie algebra**: A Lie algebra \( \mathfrak{g} \) is called two - step solvable if its derived series terminates at the zero subalgebra at the second term.
### Proof ideas
- **Classification theorem**: By constructing a specific basis, prove that all Frobenius, two - step solvable Lie poset algebras are isomorphic to a standard form \( \Phi_n \).
- **Rigidity theorem**: By calculating the second - order cohomology group \( H^2(\Phi_n, \Phi_n) \), prove that it is zero, thus concluding that these algebras are absolutely rigid.
### Applications and extensions
- This research is not only of great theoretical significance, but also provides a basis for further research on other types of Lie poset algebras.
- The author proposes several open problems, such as whether the results of type A can be generalized to other classical types, and whether Lie poset algebras are essentially simplicial complexes at the homological level.
Through these results, the paper provides a solid theoretical basis for understanding and classifying Frobenius, two - step solvable Lie poset algebras.