Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $f:X\rightarrow Y$ be a flat morphism of schemes of finite type over a field $k$, and assume $Y$ is irreducible. Let $X_1, \dots, X_n$ be the scheme-theoretic irreducible components of $X$ (i.e., including embedded components).

  • Is it true that each $X_i$ is flat over $Y$?
  • If there are counterexamples to flatness of the $X_i$, is it true at least that each of them has equidimensional fibers?
share|improve this question
    
If you take a plane and a line intersecting at the origin, isn't that a flat map of finite type over your ground field with components of different dimensions? –  Jacob Bell Nov 22 '12 at 23:22
    
By each component having equidimensional fibers I mean that $dim (X_i)_y$ is independent of $y$. Of course these dimensions will depend on $i$. –  quim Nov 23 '12 at 9:27

1 Answer 1

up vote 8 down vote accepted

No to the first question. Let $Y$ be a nodal cubic curve and let $X$ be its connected two-sheeted covering space. Each of the two components of $X$ is the normalization of $Y$.

share|improve this answer
    
Sometimes the nomenclature is weird... That a connected covering of something have two components! –  Mariano Suárez-Alvarez Nov 22 '12 at 14:25
1  
@Mariano: if the two components intersect, what is the problem in calling the covering "connected"? –  Francesco Polizzi Nov 22 '12 at 14:46
3  
The weirdness is the conflict between topology language and algebraic geometry language. In topology the connected components of a space are sometimes referred to as simply "components". In alg geo the irreducible components of a scheme are sometimes referred to as simply "components". But connectedness plays a role in alg geo, too. –  Tom Goodwillie Nov 22 '12 at 15:33
1  
@Tom Goodwillie: Thank you! I have been able to track down this example to EGA IV, Remarques 6.5.5(ii) and 12.1.2(i). On the other hand, the immediately preceding proposition 12.1.1.5 shows that my second question has positive answer –  quim Nov 29 '12 at 21:13

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.