Normality conjecture for special pieces

Let $P$ be a special piece in the unipotent variety of a reductive algebraic group. Normality conjecture for special pieces. Every special piece $P$ is normal. This is a necessary consequence of Lusztig's quotient conjecture, since a quotient of a smooth variety by a finite group is normal; the source therefore identifies it as a subconjecture of that stronger statement.