Bracket width of simple Lie algebras (Q2240465)

Consider a simple Lie algebra \(L\). Then \([L,L]=L\) (note that for associative \(PI\)-algebra \(A\) equality \([A,A]=A\) never holds [\textit{A. Ya. Belov}, Sib. Mat. Zh. 44, No. 6, 1239--1254 (2003; Zbl 1054.16015); translation in Sib. Math. J. 44, No. 6, 969--980 (2003)]. In analogy to the group case, the authors deal with notion of {\em commutator with} i.e. minimal \(n\) such that any element \(x\in L\) can be presented as a sum \[x=H_n=\sum_{i=1}^n [a_i,b_i].\] This can be viewed as a question of possible values of polynomial \(H_n\) on the algebra \(L\) (see review of [the reviewer et al., SIGMA, Symmetry Integrability Geom. Methods Appl. 16, Paper 071, 61 p. (2020; Zbl 1459.16012)]) For finite dimensional simple Lie algebras over algebraically closed field of characteristic zero commutator width equal 1, for many other fields including reals the answer is still unknown. The paper deals with Lie algebras of (sometimes symplectic) vector fields on algebraic varieties mostly with curves and Danilevsky surfaces. Algebraic geometry properties of these varieties cause some width consequences. Note that Yu.P. Razmyslov established restitution of algebraic variety \(M\) by the Lie algebra of vector fields on \(M\) (I recommend the very deep book [\textit{Yu. P. Razmyslov}, Identities of algebras and their representations. Providence, RI: American Mathematical Society (1994; Zbl 0827.17001)]) In non-rational case for curves, the authors proved that commutator width is at least \(2\). For Danilevsky surfaces some relations with Jacobian Conjecture type questions are established. The authors discuss some open problems including possible commutator width. Can it be arbitrary large for vector field algebras on algebraic varieties?