Skip to main content
2 of 2
The wording is improved slightly
aglearner
  • 14.3k
  • 8
  • 40
  • 99

Is there a "geometric" intuition underlying the notion of normal varieties?

I first got concious of the notion of normal varieties around 3 years ago and despite the fact that by now I can manipulate with it a bit, this notion still puzzles me a lot. One thing that strikes me is that the definition of normality is so entirely algebraic.

From my common sense understanding the notion of normal varieties restricts the class of spaces that we consider to more-less reasonable ones. It looks to me that this definition is analogous to the definition of pseudo-manifold. At least the obvious similarity is that in both cases the set of non-singular points is connected.

Normality pops up everywhere and its definition is very short. But it is hard for me to imagine that a differential topologist or differential geometer could come up with such a definition. Why is the notion of normatilty is so omnipresent? What is "geometric" meaning of normality?

Maybe a more concrete question would be like this. Suppose $X$ is an irreducible algebraic subvariety in $\mathbb C^n$ with singularities in co-dimension $2$. Can one somehow looking on singularities, their stratification and the way $X$ lies in $\mathbb C^n$ say if it is normal or not?

Added. Who was the person who invented this notion?

I would like to thank everybody for useful comments and links.

aglearner
  • 14.3k
  • 8
  • 40
  • 99