1
$\begingroup$

I am a bit confused and am trying to clarify some notions. First consider the following well-known statement.

A dominant map $f:X\rightarrow Y$ between regular varieties is flat if and only if it is equidimensional.

Question 1. Doesn't a regular variety mean that it is nonsingular?

Question 2. I am not sure what equidimensional means in this context. Does it mean that the fibers $f^{-1}(c)$ for each $c\in Y$ are equidimensional?

Question 3. What are some examples of a variety that is equidimensional but not a complete intersection?

Thank you.

  • 0
    I believe regular and nonsingular are equivalent for perfect fields, but not in general.2012-07-05

1 Answers 1

1

Googling, I find this article, which seems worth a look: www.emis.de/journals/UIAM/actamath/PDF/35-243-246.pdf. Particularly, saying that a morphism is equidimensional at a point of the domain means that nearby fibres of the morphism have the same dimension. This is different from equidimensionality for a scheme, which means that all irreducible components of the scheme should have the same dimension.

An example for question 3 is the twisted cubic, which is not a (global) complete intersection, but is an equidimensional variety of dimension $1$ (i.e. a curve).

  • 0
    Thank you Andrew! I will definitely check out the article.2012-07-05