# The cardinality of fibers of quasi-finite morphism is locally constant (The open-ness of proper locus)

Mathematics Asked by zom on October 19, 2020

Let $$f : X to Y$$ be an etale surjective separated quasi-compact morphism of schemes.
Then does there exist an integer $$d > 0$$ such that there exists the maximal open subset over which $$f$$ is finite etale of degree $$d$$?

Since the degree function of finite locally free morphism is locally constant, it suffices to see that, there exists the maximal open subset over which $$f$$ is finite etale.

Or, by Deligne-Rapoport’s II.1.19 of "Les schemas…", it suffices to see that there exists an integer $$d > 0$$ such that the subset $${ y in Y | # f^{-1}(bar{y}) = d }$$ (where $$bar{y}$$ is a geometric point over $$y$$) is open.

(Or by the surjectivity, it’s sufficient to show the open-ness of $${ y in Y | # f^{-1}(bar{y}) < d }$$ for any $$d$$.
If $$f$$ is proper, then this is just a semi-continuity theorem.
But now $$f$$ is not proper.)

How can I show it?

Please give me a proof or references.

## Related Questions

### $f:X to Y$ is a continuous map. Suppose it induces an isomorphism $f_*:H_*(X) to H_*(Y)$. Does that imply $f:X to Y$ is a homotopy equivalence?

2  Asked on December 24, 2020 by zero2infinity

### Show that if $gcd(|G|,|H|) = 1$, then $text{Aut}(G times H) cong text{Aut}(G) times text{Aut}(H)$.

1  Asked on December 24, 2020 by la-rias

### Calculating the Fundamental Group of a CW Complex with Attaching Maps of Varying Degrees

1  Asked on December 24, 2020

### prove the ratio of the line in the question

1  Asked on December 24, 2020 by sniperking

### prove the following inequality for integral

1  Asked on December 24, 2020 by yi-li

### Verify: Prove that $(A times B) cap (C times D) = (A cap C) times (B cap D)$

0  Asked on December 24, 2020

### Standard Basis of $SU(2)$–where does the 1/2 come from?

1  Asked on December 24, 2020 by jmj

### Explicit function definition with the normal vector included

2  Asked on December 24, 2020 by user719062

### Nonlinear system for origin translation

1  Asked on December 23, 2020 by toy

### Check if line lies between two planes

1  Asked on December 23, 2020 by michalt38

### Distance of two points in a rotated rectangle

1  Asked on December 23, 2020 by fygo

### Smash product of CW complexes

2  Asked on December 23, 2020 by lucas-giraldi-a-coimbra

### Intersection of irreducible hypersurface with tangent hyperplane in a non-singular point is singular

0  Asked on December 23, 2020 by lupidupi

### Prime subfield of a field is $mathbb{Z}/pmathbb{Z}$ or $mathbb{Q}$.

1  Asked on December 23, 2020 by eraldcoil

### Give example of 2 standard uniform random variables with given Pearson correlation

1  Asked on December 23, 2020 by jeff-nguyen

### Proof of a concept over Distributions

1  Asked on December 23, 2020 by hans-andr-marie-stamm

### Unsure what this Eigenvalue means?

0  Asked on December 23, 2020 by tybg

### Give an example of a set A with equivalence relations R and S for which S∘R ≠ R∘S

1  Asked on December 22, 2020 by harry-solomon

### Question on permutation cycles and order of a permutation

0  Asked on December 22, 2020 by ramesh-karl

### Inequality involving medians

2  Asked on December 22, 2020 by daniel-kawai