Finite, Étale Morphism Of Varieties

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

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.

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$?

Of course, if it is true, I would also be happy if you could provide a proof, in literature or otherwise.

-

7
Perhaps next time you should take some time to consider simple examples first (see Mahon's answer). – Martin Brandenburg Aug 8 2011 at 19:34

11
I wish there were downvotes for comments right now. – Mattia Talpo Aug 8 2011 at 19:59

2 Answers

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. Any 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.

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$.

-
Another way to see the last fact is to note that finite etale covers of a strictly henselian ring are split, together with the fact that the strict henselianization at a point is the "limit" of etale neighborhoods (and a "noetherian descent" argument to argue that the splitting must descend to some etale neighborhood after all). – Akhil Mathew Aug 8 2011 at 16:26

9
It's worth pointing out that it's a general philosophy that things that you expect to be true because of your experience with the analytic topology are usually true in the etale topology. – Anton Geraschenko♦ Aug 8 2011 at 16:38
@Anton Geraschenko:How to see an finite etale morphism of degree one is an isomorphism? I think you use this fact in your answer. – ZhuangXiaobo Jan 2 at 2:30

1
@ZhuangXiaobo: Let's work locally, so that the map is $Spec(S)\to Spec(R)$. By definition, "degree $n$" means that the corresponding ring homomorphism $R\to S$ makes $S$ into a free module of rank $n$ over $R$. If $n=1$, the map is bijective, so an isomorphism of rings. – Anton Geraschenko♦ Jan 2 at 14:58

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

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.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 32, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9318795800209045, "perplexity_flag": "head"}