Finite, Étale Morphism Of Varieties - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T13:24:47Z http://mathoverflow.net/feeds/question/72364 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/72364/finite-tale-morphism-of-varieties Finite, Étale Morphism Of Varieties Jesko Hüttenhain 2011-08-08T15:45:47Z 2011-08-08T17:44:42Z <p>I have a, probably very simple, question: My intuition tells me that the following statement should be true, but I couldn't find it anywhere and I wanted to make sure I am not missing something.</p> <p>Let $\pi:Y\to X$ be a finite, étale morphism of nonsingular varieties over some algebraically closed field $\Bbbk$. Is it true that every point $P\in X$ has an affine neighbourhood $U$ such that $\pi^{-1}(U)$ consists of $\deg(\pi)$ irreducible components, each of which is isomorphic to $U$ via $\pi$?</p> <p>Of course, if it is true, I would also be happy if you could provide a proof, in literature or otherwise.</p> http://mathoverflow.net/questions/72364/finite-tale-morphism-of-varieties/72366#72366 Answer by Anton Geraschenko for Finite, Étale Morphism Of Varieties Anton Geraschenko 2011-08-08T16:00:16Z 2011-08-08T17:44:42Z <p>No, it's not true. Consider the map $x\mapsto x^2$ as a map from $X=\mathbb A^1-{0}$ to itself. The "problem" is that Zariski neighborhoods are too big. <em>Any</em> open subset of $X$ has exactly one irreducible component (in general, an open subset cannot have more components than the ambient space), so there is no hope to get the preimage of an open set to have two components.</p> <p>However, if you refine your topology to allow "etale open neighborhoods" (i.e. you allow pullback by etale maps $U\to X$, not just open immersions $U\to X$), then the answer is yes. Perhaps the easiest way to prove that is to pull back by $\pi$ itself, after which you can "peel off" the diagonal component of $Y\times_X Y$. Now you have a finite etale map $(Y\times_X Y -\Delta)\to Y$ which has degree one less. Repeat until the degree is $1$, at which point you have an etale map $U\to \cdots \to Y\to X$ so that $Y\times_X U$ is $deg(\pi)$ copies of $U$.</p> http://mathoverflow.net/questions/72364/finite-tale-morphism-of-varieties/72367#72367 Answer by Mohan for Finite, Étale Morphism Of Varieties Mohan 2011-08-08T16:01:21Z 2011-08-08T16:01:21Z <p>This is almost never true. For example if $X,Y$ are irreducible, then for any (affine) Zariski open $U$ of $X$, the inverse image is open in $Y$ and hence irreducible.</p>