Skip to main content
1 of 4
Emre
  • 833
  • 6
  • 14

Is there a formal local criterion of finiteness

Vaguely

Is there a criterion to deduce that a morphism between algebraic stacks is finite based on the local deformation functors?

For sure this is not enough, so let me be more specific.

Specifically

Suppose $f: X \to Y$ is a morphism of algebraic stacks. Let us assume in addition that the diagonal $\Delta_f : X \to X \times_Y X$ is finite and unramified.

Now assume that for each point $x \in |X|$ of finite type over $y \in |Y|$ the morphism between the (pro-representing rings of the) deformation functors is finite.

Under these conditions can we assume $X \to Y$ is finite?

Emre
  • 833
  • 6
  • 14