Artin's criterion for representability

From stacky wiki
Jump to: navigation, search

Note: This page is not yet suitable for human consumption. I'll add it to Category:Blog when it is done. However, if you do read it and have some feedback (e.g. corrections or clarifications), please do let me know or leave a comment on the discussion page.

[Todo: write this page]

We work over an excellent base $\ast$ (need not be a Dedekind domain[1]).

A functor $F:Sch^{op}\to Set$ is a locally finitely presented algebraic space if and only if the following are true:
0. $F$ is locally finitely presented (i.e. it commutes with filtered(?) projective limits); ref to theorem that for schemes/algspaces this agrees with usual notion.
1. $F$ is an fppf sheaf (is etale sheaf enough?)
2. $F$ has representable diagonal (can this be removed in light of that result in the stacks project? i.e. is it any easier to check representability of the cover constructed in the subsequent steps?)
3a. ("prorepresentability") For any field $k$ of finite type over $\ast$, and any point $\xi_0\in F(k)$, there is a formal versal deformation of $\xi_0$. That is, there is a complete local noetherian ring $R$ with residue field $k$ and a compatible family $\xi_i\in F(R/m^{i+1})$ (such that $\xi_0=\xi_0$) such that the "formal morphism" $Spec(R)\to F$ is formally smooth at the closed point.

This is done with Schlessinger's criteria.[2][Todo: explain criteria] Only need H1-3 to get a formal versal deformation, but may as well mention that H4 will give you a universal deformation.

You verify Schelessinger's conditions by using deformation theory to get your hands on $F(A)$. If $F$ parameterizes flat families of foos, then use deformation theory of foos.

3b. ("effectivization") Given a compatible family $\xi_i\in F(R/m^{i+1})$ which is formally smooth at the closed point, show that it is actually induced by some $\xi\in F(R)$ which is formally smoth at the closed point.

If $F$ parameterizes things that are controlled by coherent sheaves, this is where you can use Grothendieck's existence theorem.[3] [Todo: once this is written, add a link from Research#Grothendieck's Existence Theorem for good moduli spaces]

But GET gives you more that you need. There are other approaches to effectivization; see §3[Todo: ?] of [4]

[Todo: Matt tells me that Martin uses a trick where he shows effectivizes (and algebraizes?) by showing that there is some other functor with the same completed local ring (?)]

3c. ("algebraization") Given $\xi\in F(R)$ with $R$ a complete local noetherian ring, show that there is a finite type scheme $X$, $f\in F(X)$, and a closed point $x\in X$ such that $\widehat\O_{X,x}\cong R$ and the $\xi_i\in F(R/m^{i+1})$ are induced by $f$.

You don't actually need to check this, as Artin's theorem (Theorem 1.6 of [4]) says it always works. (note: $\xi$ need not itself be induced by $f$; it's possible to have multiple algebraizations) The result is supposed to boil down to Artin's approximation theorem (Theorem 1.12 of [5]), but I don't understand how.

3d. ("openness of versality") Given a finite type scheme $X$ and $f\in F(X)$ which is formally smooth at a closed point $x\in X$, show there is an open neighborhood $U$ of $x\in X$ so that $f|_U$ is (formally?) smooth.

If the deformation theory is unobstructed, openness of versality should be essentially automatic.

Putting these steps together produces a smooth surjection from a scheme to $F$ (note that $F$ must be locally finitely presented to know that the map is a surjection). This shows that $F$ is an algebraic stack, but since it's a functor, it's an algebraic space.

If you want to check that $F$ is an algebraic stack, the same criterion works (in particular, Artin's theorem in step 3c applies to the functor of isomorphism classes of the stack), but you have to allow finite separable field extensions in step

Notes and references[edit]

  1. Conrad and de Jong, Approximation of versal deformations [Todo: read that paper; find precise ref]
  2. Schlessinger, Functors of Artin rings
  3. EGA III$_1$ 5.1.4
  4. 4.0 4.1 Artin, Algebraization of Formal Moduli I
  5. Artin, Algebraic approximation of structures over complete local rings