The ideal which defines the nilpotent cone is generated by the homogeneous elements of positive degree in $\mathbb{C}[\mathfrak g]^G$. In the case of $GL_n$, this ideal is generated by the functions $\mathrm{tr}\;X^k$ for $k$ up to the dimension, and also by the coefficients of the characteristic polynomial. See, for example, [Springer, T. A. Invariant theory. Lecture Notes in Mathematics, Vol. 585. Springer-Verlag, Berlin-New York, 1977. iv+112 pp. MR0447428]
Mariano Suárez-Álvarez
- 47.3k
- 14
- 147
- 264