Skip to main content
deleted 42 characters in body
Source Link
user120812
user120812

Suppose that an inverse limit of finite flat morphisms $X_k\to S$ of qcqs schemes, with affine transition maps, is $X\to S$, such that a closed fiber of $X\to S$ is finite. 

Is $X\to S$ finite?

If true, flatness should be the whole point.

Suppose that an inverse limit of finite flat morphisms $X_k\to S$ of qcqs schemes, with affine transition maps, is $X\to S$, such that a closed fiber of $X\to S$ is finite. Is $X\to S$ finite?

If true, flatness should be the whole point.

Suppose that an inverse limit of finite flat morphisms $X_k\to S$ of qcqs schemes, with affine transition maps, is $X\to S$, such that a closed fiber of $X\to S$ is finite. 

Is $X\to S$ finite?

Source Link
user120812
user120812

Inverse limit of finite flat morphisms

Suppose that an inverse limit of finite flat morphisms $X_k\to S$ of qcqs schemes, with affine transition maps, is $X\to S$, such that a closed fiber of $X\to S$ is finite. Is $X\to S$ finite?

If true, flatness should be the whole point.