On the Commuting variety of a reductive Lie algebra
arXiv:1206.5592
Abstract
The commuting variety of a reductive Lie algebra ${\goth g}$ is the underlying variety of a well defined subscheme of . In this note, it is proved that this scheme is normal. In particular, its ideal of definition is a prime ideal.
A proof is completed