The symmetric invariants of centralizers and Slodowy grading II
Let g be a finite-dimensional simple Lie algebra of rank ℓ over an algebraically closed field k of characteristic zero, and let (e,h,f) be an sl2-triple of g. Denote by ge the centralizer of e in g and by S(ge)ge the algebra of symmetric invariants of ge. We say that e is good if the nullvariety of some ℓ homogenous elements of S(ge)ge in (ge)∗ has codimension ℓ. If e is good then S(ge)ge is a polynomial algebra. In this paper, we prove that the converse of the main result of arXiv:1309.6993 is true. Namely, we prove that e is good if and only if for some homogenous generating sequence q1,…,qℓ, the initial homogenous components of their restrictions to e+gf are algebraically independent over k.