Skip to main content
2 of 4
added 26 characters in body; edited tags; edited title
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283

Is there a formal local criterion of finiteness?

Vague question: 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.

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

Specific question: Under these conditions can we assume that $X \to Y$ is finite?

Emre
  • 833
  • 6
  • 14