\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{deformation functor}

[[!redirects Schlessinger's criterion]] [[!redirects schlessinger's criterion]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea_and_motivation}{Idea and Motivation}\dotfill \pageref*{idea_and_motivation} \linebreak
\noindent\hyperlink{definitions}{Definitions}\dotfill \pageref*{definitions} \linebreak
\noindent\hyperlink{the_conditions}{The Conditions}\dotfill \pageref*{the_conditions} \linebreak
\noindent\hyperlink{deformation_functors}{Deformation Functors}\dotfill \pageref*{deformation_functors} \linebreak
\noindent\hyperlink{schlessingers_criterion}{Schlessinger's Criterion}\dotfill \pageref*{schlessingers_criterion} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{tangent_and_obstruction_theories}{Tangent and Obstruction Theories}\dotfill \pageref*{tangent_and_obstruction_theories} \linebreak
\noindent\hyperlink{effectivization}{Effectivization}\dotfill \pageref*{effectivization} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea_and_motivation}{}\subsection*{{Idea and Motivation}}\label{idea_and_motivation}

One motivation for studying deformations over Artin rings is that one may wish to classify/parameterize or create a [[moduli space]] of some particular type of object. Often it is very easy to write down a [[functor of points]] for the space. For instance, curves of genus $g$, vector bundles on some fixed variety, maps between varieties, closed subschemes, quotients of a coherent sheaf, and the list goes on.

But then one must ask, is this really a space? In other words, is it [[representable functor| representable]]? This rarely happens, but even if you don't have a legitimate space, you can see what the ``points'' are formally locally. If everything in your original problem was noetherian, then [[completion]] of the [[local ring]] at a point gives rise to the Artin rings we consider. The deformations of the object over infinitesimal thickenings gives us a way to tell what the points near our given point look like on the original [[moduli space]].

This reduces us to now asking for a given deformation problem to be representable, but this is almost always too much to hope for as well. Schlessinger's criterion refers to two weaker notions of representability, namely that of hulls and that of [[prorepresentable functor| prorepresentability]]. The criterion gives a beautifully simple necessary and sufficient way to determine when we get each.

Once we determine these formal local points, we must then go backwards and see if these correspond to actually points in the original space. This is known as effectivization.

\hypertarget{definitions}{}\subsection*{{Definitions}}\label{definitions}

$\Lambda$ will denote a complete [[noetherian ring]].

Unless otherwise specified, everything will be in the category of local Artin $\Lambda$-algebras with residue field $k$ and will be denoted $_\Lambda Art_k$.

Define $_\Lambda Noeth_k$ to be the category of complete noetherian local $\Lambda$-algebras with residue field $k$.

A \emph{thickening} is a surjection $A' \stackrel{f}{\to} A\to 0$ such that $I=ker(f)$ satisfies $m_{A'}I=0$.

A \emph{small thickening} is a thickening in which $I$ is principal. Note that in our category any surjection can be factored as a sequence of small thickenings.

A \emph{predeformation functor} is a functor $F: _\Lambda Art_k \to \text{Set}$ such that $F(k)=\{*\}$ is a singleton. This condition is the notion that we are really over a ``point'', and so any deformation must be the trivial one.

The functor $\overhat{F}: _\Lambda Noeth_k\to \text{Set}$ is defined to be $\displaystyle \overhat{F}(A)= \lim_n F(R/\mathfrak{m}^n)$.

A predeformation functor is [[prorepresentable functor| prorepresentable]] if $\overhat{F}$ is representable.

A hull for $F$ is a pair $(R, \eta)$ where $R\in _\Lambda Noeth_k$ and $\eta\in \overhat{F}(R)$ such that $h_R\to F$ is formally smooth and we have a bijection on tangent spaces $T_{h_R}\to T_F$.

$k[\epsilon]$ is defined to be the ring $k[\epsilon]/(\epsilon^2)$ with the trivial $\Lambda$-algebra structure.

\hypertarget{the_conditions}{}\subsection*{{The Conditions}}\label{the_conditions}

Note that whenever we are given a predeformation functor $F$, and two maps of rings: $A'\to A$ and $A''\to A$ we get an induced map $F(A'\times_A A'')\to F(A')\times_{F(A)} F(A'')$ by functoriality of $F$ and the universal property of a [[pullback]]. Call this map (*).

Schlessinger gives four conditions in his \hyperlink{Schless}{paper} called (H1) - (H4).

(H1) If $A''\to A$ is a small thickening then (*) is surjective.

(H2) If $A=k$ and $A''=k[\epsilon]$, then (*) is bijective.

(H3) $T_F$ is finite-dimensional

(H4) If $A''=A'$ and $A'\to A$ is a small thickening, then (*) is bijective

Geometrically the conditions can informally be thought of as follows:

One can think of (H1) as being able to ``glue''.

One can think of (H2) as gluing being unique over infinitesimal neighborhoods.

(H3) is having a finite dimensional tangent space

One can think of (H4) as gluing being unique on a small thickening over itself.

\hypertarget{deformation_functors}{}\subsection*{{Deformation Functors}}\label{deformation_functors}

We call a predeformation functor a \emph{deformation functor} if it satisfies (H1) and (H2). Here we make precise what was meant in the motivation section. Suppose you have a moduli functor $\tilde{F}: \text{Sch}\to \text{Set}$ and you would like to know what the [[moduli space]] looks like in a neighborhood of some point say $\eta_0\in \overline{F}(\text{Spec} k)$. Then if we consider the functor of deformations of $\eta_0$, we get $F: _\Lambda Art_k \to \text{Set}$ by the following prescription $F(A)=\{ \eta \in \overline{F}(\text{Spec} A): \eta|_{\text{Spec} k}=\eta_0\}$. This $F$ can be seen to be a deformation functor.

Of course, this doesn't \emph{always} work if we're parametrizing objects with automorphisms, but this general approach does work for most of the examples in the motivation section and explains why this class of functors is what we consider.

\hypertarget{schlessingers_criterion}{}\subsection*{{Schlessinger's Criterion}}\label{schlessingers_criterion}

The main theorem of Schlessinger's \hyperlink{Schless}{paper} says that (H1), (H2), and (H3) are satisfied if and only if $F$ has a hull. The second part of the theorem is that $F$ is prorepresentable if and only if in addition (H4) is satisfied.

\hypertarget{examples}{}\subsection*{{Examples}}\label{examples}

Let $Def_X$ be the predeformation functor parametrizing flat deformations of $X$. Then (H1) and (H2) are always satisfied and hence it is a deformation functor. If $X$ is proper, then (H3) is satisfied and it has a hull. $Def_X$ is prorepresentable if and only if every automorphism extends over a small thickening.

Consider the node $X=\text{Spec} k[ [ x,y ] ] /(xy)$. Then the pair $(k[ [ t ] ], \text{Spec} k [ [ x,y,t ] ] /(xy - t))$ is a hull for $Def_X$. Note that this functor is not prorepresentable.

\emph{Several more can be added.}

\hypertarget{tangent_and_obstruction_theories}{}\subsection*{{Tangent and Obstruction Theories}}\label{tangent_and_obstruction_theories}

I haven't come up with a nice succinct way to do this yet. I think there is a nice streamlined gerbe/stacky way to think about it in the Brian Osserman article cited below.

\hypertarget{effectivization}{}\subsection*{{Effectivization}}\label{effectivization}

Given a deformation functor, $F$, that came from a moduli problem and some object $\eta\in \overhat{F}(R)$, we'd like to tell when it corresponds to a point on the original moduli space over $\text{Spec}R$, or if $(R,\eta)$ is a hull for $F$ does there exist a universal object over $\text{Spec}R$?

An example where we do have effectivization is Grothendieck's existence theorem for coherent sheaves. Let $f:X\to \text{Spec}A$ be proper and $A$ complete, local, [[noetherian ring]]. Let $A_n=A/m^n$ and $X_n=X\otimes_A A_n$ the thickenings over $A_n$. If $\mathcal{F}_n$ is a compatible collection of coherent sheaves on $X_n$, then there exists a coherent sheaf $\mathcal{F}$ on $X$ whose restriction to each $X_n$ is $\mathcal{F}_n$.

\hypertarget{references}{}\subsection*{{References}}\label{references}

See also [[deformation theory]] and references therein.

\begin{itemize}%
\item B. Osserman, \emph{Deformations and automorphisms: a framework for globalizing local tangent and obstruction spaces}, Annali della Scuola Normale Superiore di Pisa, Classe di Scienze, IX (2010), no. 3, 581-633.


\item M. Schlessinger, \emph{Functors of Artin rings}, Trans. AMS 130, 208-222 (1968)



\end{itemize}
this was a groundbreaking article at the time, still much cited.



\end{document}