A compactification of the moduli space of multiple-spin curves

TL;DR

This paper introduces a new smooth compactification of the moduli space of curves with multiple spin structures, using line bundles on quasi-stable curves, and provides a detailed combinatorial and component classification.

Contribution

It presents a novel compactification approach for multiple-spin curves, avoiding stacky curves, with a comprehensive local structure description and component classification.

Findings

Constructed a smooth Deligne-Mumford compactification.

Provided a combinatorial description of local structures.

Classified all irreducible and connected components.

Abstract

We construct a smooth Deligne-Mumford compactification for the moduli space of curves with an m-tuple of spin structures using line bundles on quasi-stable curves as limiting objects, as opposed to line bundles on stacky curves. For all m, we give a combinatorial description of the local structure of the corresponding coarse moduli spaces. We also classify all irreducible and connected components of the resulting moduli spaces of multiple-spin curves.

Tables

Table 1. Table 1. The number N ​ ( m , g ) 𝑁 𝑚 𝑔 N(m,g) of non-degenerate components of 𝒮 g m subscript superscript 𝒮 𝑚 𝑔 \mathcal{S}^{m}_{g} . If g ≥ m 𝑔 𝑚 g\geq m then N ​ ( m , g ) = 2 m + ( m − 1 2 ) 𝑁 𝑚 𝑔 superscript 2 𝑚 binomial 𝑚 1 2 N(m,g)=2^{m+{m-1\choose 2}} . If 2 ​ g < m − 1 2 𝑔 𝑚 1 2g<m-1 then N ​ ( m , g ) = 0 𝑁 𝑚 𝑔 0 N(m,g)=0 .

$m\backslash g$	0	1	2	3	4	5	6	7
1	1	2	2	2	2	2	2	2
2	0	3	4	4	4	4	4	4
3	0	4	15	16	16	16	16	16
4	0	0	84	127	128	128	128	128
5	0	0	448	1876	2047	2048	2048	2048
6	0	0	0	41664	64852	65535	65536	65536
7	0	0	0	888832	3819200	4191572	4194303	4194304

Equations

$${\left(h^0(L_i)\mathrm{mod}2;h^0(L_j\otimes L_k\otimes L_1^{\vee })\mathrm{mod}2\right)}_{\begin{array}{c}1\le i\le m\\ 1<j<k\le m\end{array}}\in \text{mathbbm}{F}_2^{m+\left(\genfrac{}{}{0ex}{}{m-1}{2}\right)}.$$

$$\leavevmode\hbox to75.33pt{\vbox to50.01pt{\pgfpicture\makeatletter\hbox{\hskip 37.66412pt\lower-25.05704pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{}{}{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{\offinterlineskip{}{}{{{}}{{}}{{}}}{{{}}}{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-37.66412pt}{-24.9572pt}\pgfsys@invoke{ }\hbox{\vbox{\halign{\pgf@matrix@init@row\pgf@matrix@step@column{\pgf@matrix@startcell#\pgf@matrix@endcell}&#\pgf@matrix@padding&&\pgf@matrix@step@column{\pgf@matrix@startcell#\pgf@matrix@endcell}&#\pgf@matrix@padding\cr\hfil\hskip 13.35846pt\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-9.05292pt}{0.0pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{${\pi^{*}\mathcal{E}^{2}}$} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}}}&\hskip 13.35846pt\hfil&\hfil\hskip 23.99997pt\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}&\hskip 0.0pt\hfil\cr\vskip 18.00005pt\cr\hfil\hskip 8.83055pt\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-4.52501pt}{0.0pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{${\mathcal{L}^{2}}$} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}&\hskip 8.83055pt\hfil&\hfil\hskip 36.30565pt\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-8.00014pt}{0.0pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{${\pi^{*}\mathcal{N}}$} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}&\hskip 12.30568pt\hfil\cr}}}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}}{{{{}}}{{}}{{}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{ {}{}{}}{}{ {}{}{}} {{{{{}}{ {}{}}{}{}{{}{}}}}}{}{{{{{}}{ {}{}}{}{}{{}{}}}}}{{}}{}{}{}{}{}{{{}{}}}{}{{}}{}{}{}{{{}{}}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.39998pt}\pgfsys@invoke{ }{}{}{}{}{{}}{}{}{{}}\pgfsys@moveto{-15.00542pt}{5.14032pt}\pgfsys@lineto{13.05151pt}{-14.03848pt}\pgfsys@stroke\pgfsys@invoke{ }{{}{{}}{}{}{{}}{{{}}}}{{}{{}}{}{}{{}}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.82555}{-0.56432}{0.56432}{0.82555}{13.21661pt}{-14.15132pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{}}{} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{1.54091pt}{-2.20915pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{$\scriptstyle{\pi^{*}b}$} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{ {}{}{}}{}{ {}{}{}} {{{{{}}{ {}{}}{}{}{{}{}}}}}{}{{{{{}}{ {}{}}{}{}{{}{}}}}}{{}}{}{}{}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.39998pt}\pgfsys@invoke{ }{}{}{}{}{{}}{}{}{{}}\pgfsys@moveto{-24.30566pt}{5.14032pt}\pgfsys@lineto{-24.30566pt}{-12.05977pt}\pgfsys@stroke\pgfsys@invoke{ }{{}{{}}{}{}{{}}{{{}}}}{{}{{}}{}{}{{}}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.0}{-1.0}{1.0}{0.0}{-24.30566pt}{-12.25975pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{ {}{}{}}{}{ {}{}{}} {{{{{}}{ {}{}}{}{}{{}{}}}}}{}{{{{{}}{ {}{}}{}{}{{}{}}}}}{{}}{}{}{}{}{}{{{}{}}}{}{{}}{}{}{}{{{}{}}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.39998pt}\pgfsys@invoke{ }\pgfsys@setdash{0.39998pt,2.0pt}{0.0pt}\pgfsys@invoke{ }{}{}{}{}{{}}{}{}{{}}\pgfsys@moveto{-15.27512pt}{-22.4572pt}\pgfsys@lineto{12.4528pt}{-22.4572pt}\pgfsys@stroke\pgfsys@invoke{ }{{}{{}}{}{}{{}}{{{}}}}{{}{{}}{}{}{{}}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{12.65279pt}{-22.4572pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.45013pt}{-20.10443pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{$\scriptstyle{\alpha}$} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}.$$

$${\mathrm{Sym}}^{\ast }{\mathrm{Sym}}^2{\mathcal{E}}_i{|}_{V_{ij}}\to {\mathrm{Sym}}^{2\ast }{\mathcal{E}}_j{|}_{V_{ij}}.$$

$$D_{\xi }\to D_p{\times }_{G_1}{H}_1{\times }_{G_2}{H}_2\cdots {\times }_{G_{n^{\prime }}}{H}_{n^{\prime }}.$$

$${\hat{\mathcal{O}}}_{\overline{\mathcal{S}}{}^m(\mathcal{N}),\xi }\simeq {\hat{\mathcal{O}}}_{\mathcal{M},p}[{\tau }_1,\dots ,{\tau }_{n^{\prime }}]/({\tau }_1^2-{\bar{t}}_1,\dots ,{\tau }_{n^{\prime }}^2-{\bar{t}}_{n^{\prime }}).$$

$$\rho :{\mathrm{Aut}}_0(\xi )\to \mathrm{Aut}({\hat{\mathcal{O}}}_{\overline{\mathcal{S}}{}^m(\mathcal{N}),\xi }/{\hat{\mathcal{O}}}_{\mathcal{M},p}).$$

$$0$$

$$\sigma :C^1(\Gamma )\hookrightarrow \mathrm{Aut}({\hat{\mathcal{O}}}_{\overline{\mathcal{S}}{}^m(\mathcal{N}),\xi }/{\hat{\mathcal{O}}}_{\mathcal{M},p}).$$

$$\leavevmode\hbox to203.24pt{\vbox to55.29pt{\pgfpicture\makeatletter\hbox{\hskip 101.62128pt\lower-27.64609pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }{}{}{}{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{\offinterlineskip{}{}{{{}}{{}}{{}}}{{{}}}{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-101.62128pt}{-27.64609pt}\pgfsys@invoke{ }\hbox{\vbox{\halign{\pgf@matrix@init@row\pgf@matrix@step@column{\pgf@matrix@startcell#\pgf@matrix@endcell}&#\pgf@matrix@padding&&\pgf@matrix@step@column{\pgf@matrix@startcell#\pgf@matrix@endcell}&#\pgf@matrix@padding\cr\hfil\hskip 20.2542pt\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-15.94865pt}{0.0pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{${\operatorname{Aut}_{0}(\xi)}$} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}}}&\hskip 20.2542pt\hfil&\hfil\hskip 23.99997pt\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}}}&\hskip 0.0pt\hfil&\hfil\hskip 40.65067pt\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-12.34515pt}{0.0pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{${C^{1}(\Gamma)}$} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}&\hskip 16.6507pt\hfil\cr\vskip 18.00005pt\cr\hfil\hskip 0.0pt\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}&\hskip 0.0pt\hfil&\hfil\hskip 64.71638pt\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-36.41087pt}{0.0pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{${\operatorname{Aut}(\hat{\mathcal{O}}_{\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N}),\xi}/\hat{\mathcal{O}}_{\mathcal{M},p})}$} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}&\hskip 40.71642pt\hfil&\hfil\hskip 23.99997pt\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}&\hskip 0.0pt\hfil\cr}}}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}}{{{{}}}{{}}{{}}{{}}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} {}{ {}{}{}}{}{ {}{}{}} {{{{{}}{ {}{}}{}{}{{}{}}}}}{}{{{{{}}{ {}{}}{}{}{{}{}}}}}{{}}{}{}{}{}{}{{{}{}}}{}{{}}{}{}{}{{{}{}}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.39998pt}\pgfsys@invoke{ }{}{}{}{}{{}}{}{}{{}}\pgfsys@moveto{-60.91289pt}{10.17339pt}\pgfsys@lineto{67.71992pt}{10.17339pt}\pgfsys@stroke\pgfsys@invoke{ }{{}{{}}{}{}{{}}{{{}}}}{{}{{}}{}{}{{}}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{67.9199pt}{10.17339pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ {}{}}}{ {}{}} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{1.32364pt}{13.88725pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{$\scriptstyle{\psi}$} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{ {}{}{}}{}{ {}{}{}} {{{{{}}{ {}{}}{}{}{{}{}}}}}{}{{{{{}}{ {}{}}{}{}{{}{}}}}}{{}}{}{}{}{}{}{{{}{}}}{}{{}}{}{}{}{{{}{}}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.39998pt}\pgfsys@invoke{ }{}{}{}{}{{}}{}{}{{}}\pgfsys@moveto{-60.91289pt}{1.67567pt}\pgfsys@lineto{-18.0742pt}{-16.13286pt}\pgfsys@stroke\pgfsys@invoke{ }{{}{{}}{}{}{{}}{{{}}}}{{}{{}}{}{}{{}}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.92339}{-0.38387}{0.38387}{0.92339}{-17.88956pt}{-16.20961pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{}}{} {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-45.28075pt}{-12.672pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{$\scriptstyle{\rho}$} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{ {}{}{}}{}{ {}{}{}} {{{{{}}{ {}{}}{}{}{{}{}}}}}{}{{{{{}}{ {}{}}{}{}{{}{}}}}}{{}}{}{}{}{}{}{{{}{}}}{}{{}}{}{}{}{{{}{}}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@setlinewidth{0.39998pt}\pgfsys@invoke{ }{}{}{}{}{{}}{{ {\pgfsys@beginscope \pgfsys@setdash{}{0.0pt}\pgfsys@miterjoin\pgfsys@roundcap{{{}} {{}} {} {{{{}{}{}{}}}{{}{}{}{}}} } \pgfsys@moveto{0.0pt}{1.95987pt}\pgfsys@curveto{0.6848pt}{1.95987pt}{1.23993pt}{1.52113pt}{1.23993pt}{0.97993pt}\pgfsys@curveto{1.23993pt}{0.43874pt}{0.6848pt}{0.0pt}{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@endscope}} }{}{}{{}}\pgfsys@moveto{66.79904pt}{2.28654pt}\pgfsys@lineto{24.37505pt}{-16.12714pt}\pgfsys@stroke\pgfsys@invoke{ }{{}{{}}{}{}{{}}{{{}}{{{}}{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{0.91731}{0.39815}{0.39815}{-0.91731}{66.79904pt}{2.28654pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}}{{}{{}}{}{}{{}}{{{}}{{{}}{\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{-0.91731}{-0.39815}{0.39815}{-0.91731}{24.1916pt}{-16.20676pt}\pgfsys@invoke{ }\pgfsys@invoke{ \lxSVG@closescope }\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}{{}}}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{}{{ }}{ } {{}{{}}}{{}{}}{}{{}{}} { }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{48.4168pt}{-12.07993pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{$\scriptstyle{\sigma}$} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}.$$

$${\underline{\mathrm{Aut}}}_0({\xi }_0)$$

$$\mathrm{Spec}K$$

$$k[[t_1,\dots ,t_{3g-3}]]\to k[[{\tau }_{11},{\tau }_{12},t_2,\dots ,t_{3g-3}]]/({\tau }_{11}^2-t_1,{\tau }_{12}^2-t_1).$$

$$k[[{\tau }_{11},{\tau }_{12},t_2,\dots ,t_{3g-3}]]/({\tau }_{11}^2-t_1,{\tau }_{12}^2-t_1)$$

$$\left[\begin{array}{c}{\tau }_{11}\\ {\tau }_{12}\end{array}\right]$$

$$P(\eta ):=h^0(\eta )(\text{operator@font}mod2)\in \text{mathbbm}{F}_2.$$

$$\mathrm{syzy}({\eta }_{\bullet }):={\left(P({\eta }_i);P({\eta }_j\otimes {\eta }_k\otimes {\eta }_1^{\vee })\right)}_{\begin{array}{c}1\le i\le m\\ 1<j<k\le m\end{array}}\in \text{mathbbm}{F}_2^{m+\left(\genfrac{}{}{0ex}{}{m-1}{2}\right)}.$$

$${\eta }_1^{c_1}\otimes \cdots \otimes {\eta }_m^{c_m}\simeq {\omega }_X^k\text{ for some }k\in \text{mathbbm}Z.$$

$${\eta }_i\simeq {\omega }_X^{k^{\prime }}\underset{j\ne i}{⨂}{\eta }_j^{c_j}$$

$${\mathcal{S}}_g^{(R,\mathfrak{a})}:=\{(X,{\eta }_{\bullet })\in {\mathcal{S}}_g^m\mid R({\eta }_{\bullet })=R,\widetilde{\mathrm{syzy}}({\eta }_{\bullet })=\mathfrak{a}\}.$$

$$\bigcup _{k=0}^{m-1}\mathrm{Gr}(m-k,m)\times \text{mathbbm}{F}_2^{k+\left(\genfrac{}{}{0ex}{}{k-1}{2}\right)}.$$

$${\mathrm{Syzy}}_g^m=\{\mathfrak{a}\in \text{mathbbm}{F}_2^{m+\left(\genfrac{}{}{0ex}{}{m-1}{2}\right)}\mid {\mathcal{S}}_g^{\mathfrak{a}}\ne \varnothing \}.$$

$${\mathcal{S}}_g^m=\bigcup _{k=0}^{m-1}\bigcup _{R\in \mathrm{Gr}(m-k,m)}\bigcup _{\mathfrak{a}\in {\mathrm{Syzy}}_g^k}{\mathcal{S}}_g^{(R,\mathfrak{a})}.$$

$$N(2k+1,k)=\frac{\#\mathrm{GL}(\text{mathbbm}{F}_2^{2k})}{\#O^{+}(2k)}+\frac{\#\mathrm{GL}(\text{mathbbm}{F}_2^{2k})}{\#O^{-}(2k)},$$

$$\#\mathrm{GL}(\text{mathbbm}{F}_2^{2k})=\prod _{j=0}^{2k-1}\left(2^{2k}-2^j\right),\#O^{\pm }(2k)=2^{k^2-k+1}\cdot \left(2^k\mp 1\right)\prod _{j=1}^{k-1}\left(2^{2j}-1\right).$$

$$\forall u,v\in V_X,q(u+v)+q(u)+q(v)=u\cdot v.$$

$$\forall v\in V_X,q_{\eta }(v)=h^0(\eta \otimes v)-h^0(\eta )(\text{operator@font}mod2).$$

$$\mathrm{Arf}(q_{\eta })=h^0(\eta )(\text{operator@font}mod2)=P(\eta ).$$

$$\mathrm{syzy}(q_{\bullet }):=(\mathrm{Arf}(q_i);\mathrm{Arf}(q_i+q_j+q_1){)}_{\begin{array}{c}1\le i\le m\\ 1<j<k\le m\end{array}}\in \text{mathbbm}{F}_2^{m+\left(\genfrac{}{}{0ex}{}{m-1}{2}\right)}.$$

$$\mathrm{Arf}(q_i)=\mathrm{Arf}(q_1+v_i)=\mathrm{Arf}(q_1)+q_1(v_i).$$

$$q_{\mathfrak{a}}=\sum _{i=2}^m{e}_i{x}_i^2+\sum _{2\le i<j\le m}{e}_{ij}{x}_i{x}_j,$$

$$c(q_{W},a)=\left\{\begin{array}[]{ccc}0&:&q_{W}|_{K}\not\equiv 0\\ 0&:&q_{W}|_{K}\equiv 0,\,\operatorname{Arf}(q_{W}|_{U})=a\\ 1&:&q_{W}|_{K}\equiv 0,\,\operatorname{Arf}(q_{W}|_{U})\neq a\end{array}\right.$$

Full text

1. Introduction

The configuration of the $28$ bitangents of a smooth quadric curve in the plane form a beautiful chapter in classical algebraic geometry [riemann-g3, dolgachev]. A similar structure is observed again with the $120$ tritangents of a generic canonical space sextic [coble--theta-book, DelCentina-Recillas1983, lehavi15, lehavi22, bruin-sertoz] or, more generally, with the ${2^{g}\choose 2}$ contact hyperplanes of a generic canonically embedded curve of genus $g$ [caporaso-sernesi]. The unifying idea is that these hyperplanes correspond to odd spin structures on the curve, i.e., to square roots of the canonical bundle of the curve with a non-zero section.

In the study of algebraic curves, degeneration techniques play an important role. However, there is a technical gap prohibiting the study of “configurations”, or tuples, of spin structures on curves via degeneration: there is no compactification of the relevant moduli spaces that uses curves with line bundles as limiting objects. There are notable exceptions where this gap was partially addressed, or circumvented, with great success. Most prominently, the moduli space of spin curves was compactified by Cornalba [cornalba] which gave rise to a complete Kodaira classification of the resulting spaces [farkas-even, farkas-verra-even]. These moduli spaces allow only for the study of a single spin structure on each curve. On the other extreme, Caporaso and Sernesi [caporaso-sernesi] considered the degeneration of all odd spin structures to prove that a generic curve is determined by its contact hyperplanes. The work [caporaso-sernesi] could largely avoid the aforementioned technical gap because one can degenerate curves together with all of their odd or even spin structures without constructing a new moduli space. Fan, Jarvis and Ruan [fan-jarvis-ruan] do indeed construct a compactification of the moduli space of curves with more than one spin structure using stacky curves as limiting objects.

We find that the quasi-stable curves of Cornalba retain their intuitive appeal in approaching projective geometric problems. In particular, the study of effective limit linear systems keeps their geometric flavor when working with quasi-stable curves. For this reason, we develop here a compactification of the moduli spaces of “multiple spin curves” from the point of view of quasi-stable curves. This construction opens the door to studying multiple and fractional limit linear series on quasi-stable curves. We establish local structural properties of these moduli spaces, such as the smoothness of the moduli stacks and the quotient singularity types of the coarse moduli spaces. We also classify the connected components of these spaces. We describe these results in greater detail in Section 1.1.

1.1. Idea of the construction and main results

Let $k$ be an algebraically closed field of characteristic not two. A spin structure on a proper smooth curve $C/k$ is a pair $(L,\alpha\colon L^{\otimes 2}\overset{\sim}{\to}\omega_{C/k})$ where $L$ is a line bundle on $C$ and $\omega_{C/k}$ is the canonical bundle of $C$. The tuple $(C,L,\alpha)$ is called a spin curve. The moduli space $\mathcal{S}_{g}$ of spin curves of genus $g$ is quasi-finite over the moduli space $\mathcal{M}_{g}$ of curves of genus $g$.

Fix a positive integer $m$. A sequence $(L_{i},\alpha_{i})_{i=1}^{m}$ of spin structures on $C$ will be called a multiple-spin structure on $C$. The tuple $(C,(L_{i},\alpha_{i})_{i=1}^{m})$ will be called a multiple-spin curve. For each genus $g$, the moduli space of multiple-spin curves will be denoted by $\mathcal{S}^{m}_{g}$ which is the $m$-fold fiber product $\mathcal{S}_{g}\times_{\mathcal{M}_{g}}\dots\times_{\mathcal{M}_{g}}\mathcal{S}_{g}$. The purpose of this paper is to give a natural compactification of $\mathcal{S}^{m}_{g}$, determine its irreducible components, and describe its basic geometric properties.

There is a compactification $\overline{\mathcal{S}}\vphantom{\mathcal{S}}_{g}\to\overline{\mathcal{M}}_{g}$ of $\mathcal{S}_{g}$ over the moduli space $\overline{\mathcal{M}}_{g}$ of stable curves, whose coarse moduli scheme over the complex numbers was originally constructed by Cornalba [cornalba]. Later, the work was completed by Jarvis [jarvis-torsion-free] by the construction of the moduli stack.

Cornalba compactifies $\mathcal{S}_{g}$ by considering limit spin curves, which are tuples of the form $(X,\mathcal{L},\alpha\colon\mathcal{L}^{\otimes 2}\to\omega_{X/k})$ where:

• •

$X$ is a quasi-stable curve of genus $g$,

• •

$\mathcal{L}$ is a line bundle of degree $g-1$ on $X$ and degree 1 on unstable components,

• •

$\alpha$ is an isomorphism away from the unstable components and zero on the unstable components.

Note that any unstable component of $X$ is isomorphic to $\mathbbm{P}^{1}$ and such a component contains exactly two nodes of $X$. The stabilization of $X$ contracts each unstable component to a point.

Our compactification will be based upon that of Cornalba’s and, in particular, on the product $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{\times m}_{g}\colonequals\overline{\mathcal{S}}\vphantom{\mathcal{S}}_{g}\times_{\overline{\mathcal{M}}_{g}}\dots\times_{\overline{\mathcal{M}}_{g}}\overline{\mathcal{S}}\vphantom{\mathcal{S}}_{g}$. Although the product $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{\times m}_{g}$ is compact, the objects it parametrizes are not entirely natural. By definition, an element $(\pi_{i}\colon X_{i}\to C,\mathcal{L}_{i},\alpha_{i})_{i=1}^{m}\in\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{\times m}_{g}(k)$ is based upon a tuple of curves $(X_{i})_{i=1}^{m}$ whose stabilizations $C$ are all identified but the unstable components of $X_{i}$’s remain distinct. Not only is it unnatural to work with $m$ partially identified curves, but this causes the space $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{\times m}_{g}$ to be non-normal. We prove in Proposition 6.10 that the compactification we give normalizes $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{\times m}_{g}$.

Roughly, the normalization of $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{\times m}_{g}$ could be constructed by adding to each tuple $(\pi_{i}\colon X_{i}\to C,\mathcal{L}_{i},\alpha_{i})_{i=1}^{m}\in\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{\times m}_{g}$ a master curve $X$ to dominate all $X_{i}$. For each $i=1,\dots,m$ let $\chi_{i}\subset C$ denote the subset of the nodes over which $\pi_{i}\colon X_{i}\to C$ is not an isomorphism. We define a “destabilization” $\pi\colon X\to C$ of $\chi=\cup_{i=1}^{m}\chi_{i}$ by inserting a rational curve to separate the branches at each node in $\chi$ (see Definition 2.1). For each $i=1,\dots,m$ we can factor the map $\pi$ into $\pi_{i}\circ\rho_{i}$ using a partial stabilization map $\rho_{i}\colon X\to X_{i}$. Denote by $(\mathcal{L}_{i}^{\prime},\alpha_{i}^{\prime})$ the pullback of $(\mathcal{L}_{i},\alpha_{i})$ via $\rho_{i}$. At this point the intermediate objects $(\pi,\mathcal{L}_{i})$ can be forgotten and we may consider the tuple $(X,(\mathcal{L}_{i}^{\prime},\alpha_{i}^{\prime})_{i=1}^{m})$ as a natural limit of multiple-spin curves.

We must warn, however, that this construction needs to be refined as there are typically infinitely many choices of maps $(\rho_{i})_{i=1}^{m}$ leading to infinitely many non-equivalent tuples $(\mathcal{L}_{i}^{\prime},\alpha_{i}^{\prime})_{i=1}^{m}$, even modulo automorphisms of $X$. In other words, the resulting moduli space of such tuples does not have finite fibers over $\overline{\mathcal{M}}_{g}$.

We fix the issues of the rough construction by imposing a constraint on the choice of $\rho_{i}$. Infinitely many non-equivalent choices of $\rho_{i}$’s occur only when there is a pair of indices $i\neq j$ for which $X_{i}$ and $X_{j}$ have unstable components over the same node of $C$, i.e., when $\chi_{i}\cap\chi_{j}\neq\emptyset$. In this case, the line bundles $\mathcal{L}_{i}$ and $\mathcal{L}_{j}$ both have degree one on the unstable components lying above $\chi_{i}\cap\chi_{j}$ and they can be used to stabilize these components.

We will, then, allow only for sequences of maps $(\rho_{i})_{i=1}^{m}$ where for every $i,j$ and every $x\in\chi_{i}\cap\chi_{j}$ the line bundles $\rho_{i}^{*}\mathcal{L}_{i}^{\otimes 2}$ and $\rho_{j}^{*}\mathcal{L}_{j}^{\otimes 2}$ are isomorphic in an open neighbourhood of $\pi^{-1}(x)\subset X$. The resulting tuple $(X,(\mathcal{L}_{i}^{\prime},\alpha_{i}^{\prime})_{i=1}^{m})$ will be called a limit multiple-spin curve. See Section 2.4 for examples and an intrinsic definition which encapsulates families of limit multiple-spin curves. We denote the moduli space of limit multiple-spin curves by $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}$.

Theorem 1.1**.**

The moduli space of limit multiple-spin curves $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}$ is a smooth and proper Deligne–Mumford stack. Moreover, the canonical inclusion $\mathcal{S}^{m}_{g}\hookrightarrow\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}$ is dense and open. The forgetful map $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}\to\overline{\mathcal{M}}_{g}$ is quasi-finite.

Remark 1.2**.**

This is a special case of our Theorem 6.8. Another special case gives a similar compactification for the moduli space of marked curves with roots of the twisted canonical bundle. Section 6.3 explains these deductions.

For the birational classification of moduli spaces, understanding the nature of the singularities of the coarse moduli spaces associated to the moduli stacks is often a necessary step [harris-mumford--kodaira, ludwig, farkas-ludwig, chiodo-farkas]. The singularities of the coarse moduli space associated to $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}$ are finite quotient singularities. These quotients are described by the action of the automorphism groups of multiple-spin curves on their local deformation functors. In Section 5.2 we give a completely combinatorial description of these group actions using a form of dual graph associated to each curve, see Theorem 5.10 and Proposition 5.14.

A complete classification of the connected components of $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}$ is possible. Note that $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}$ is smooth and, therefore, its irreducible and connected components coincide. Moreover, $\mathcal{S}^{m}_{g}$ is Zariski dense in $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}$ so the irreducible and connected components of these two spaces coincide.

Given an $m$-spin structure $(L_{i},\alpha_{i})_{i=1}^{m}$ on a genus $g$ curve $C$ we call the associated syzygy relations to be the tuple

[TABLE]

Any tuple that can be obtained in this manner will be called an $(m,g)$-syzygy relation. Let $\operatorname{Gr}(a,b)$ be the Grassmannian of $a$-planes in $\mathbbm{F}_{2}^{b}$. Section 7 contains the proof of the following theorem.

Theorem 1.3**.**

The irreducible (and connected) components of $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}$ are in natural bijection with tuples $(W,\mathfrak{a})$ where $W\in\operatorname{Gr}(m-k,m)$, $\mathfrak{a}\in\mathbbm{F}_{2}^{k+{k-1\choose 2}}$ is a $(k,g)$-syzygy relation, and $k=0,\dots,m-1$. If $g\geq k$ then every $\mathfrak{a}\in\mathbbm{F}_{2}^{k+{k-1\choose 2}}$ is a $(k,g)$-syzygy relation and if $g<k$ then Algorithm 7.14 finds all $(k,g)$-syzygy relations.

1.2. Outline of the paper

In Section 2 we expand the notion of a limit multiple-spin curve defined above and give rigorous definitions. These definitions, employing line bundles on quasi-stable curves, are convenient for solving geometric problems but not for solving the present problem of studying the structure of the relevant moduli spaces. Therefore, in Section 3 we give an equivalent definition using torsion-free sheaves on stable curves. In Section 4 we prove that the moduli problem is represented by an algebraic stack. In Section 5 we undertake a study of the local structure of the moduli stacks. In Section 6 we prove basic geometric properties of these moduli stacks. In Section 7 we classify the components of $\mathcal{S}^{m}_{g}$. In Appendix A we establish some of the technical aspects required for the study of the local deformation functors of limit multiple-spin curves.

1.3. Acknowledgments

It is my pleasure to thank my adviser Gavril Farkas for generously sharing his insight into research as well as giving me financial and academic support during the course of my PhD. I would like to thank my co-adviser Gerard van der Geer for numerous discussions during my stay in Amsterdam. In addition, thanks to Lenny Taelman and David Holmes for providing helpful suggestions at key moments. Special thanks go to Fabio Tonini for helping me with stacks and to Klaus Altmann for helping me extend my scholarship. Finally, I thank Özde Bayer Sertöz for the help with the picture. This research constitutes a chapter in my PhD thesis. My PhD was funded by the Berlin Mathematical School and Graduiertenkolleg 1800 of the Deutsche Forschungsgemeinschaft. I am grateful to the referee for their careful reading and insightful comments.

2. Families of multiple limit roots

In this section we generalize the construction of limit multiple spin curves given in the introduction to families of curves. As there is nothing special about square roots of the canonical bundle from the point of view of our construction, we will consider the square roots of any line bundle.

2.1. Destabilization of curves

Let $k$ be an algebraically closed field with $\operatorname{char}k\neq 2$. Let $C$ be a connected nodal curve over $k$. If the relative dualizing sheaf of $C$ is ample then $C$ is said to be stable. Let $\chi\in C$ be a subset of the nodes of $C$ and $I\subset\mathcal{O}_{C}$ the ideal sheaf corresponding to $\chi$.

Definition 2.1**.**

Let $\pi\colon X=\operatorname{\underline{Proj}}_{C}(\operatorname{Sym}^{*}I)\to C$. Then the map $\pi$, and sometimes $X$, is called a destabilization of $C$ at $\chi$. If $C$ is stable then $X$ is quasi-stable.

For each $x\in\chi$, the fiber $\pi^{-1}(x)$ is isomorphic to $\mathbbm{P}^{1}_{k}$. The map $\pi$ is an isomorphism over $C\setminus\chi$ .

Definition 2.2**.**

Let $\pi\colon X\to C$ be a destabilization of the nodes $\chi\subset C$. Then for each $x\in\chi$ we will call the fiber $\pi^{-1}(x)\subset X$ an exceptional component of $X$.

2.2. Families of limit roots

We recall the notion of a limit root given in Definition 2.1.1 of [caporaso-casagrande-cornalba] but only for square roots. All the definitions in this subsection are adapted from loc. cit. Fix a line bundle $N$ on the curve $C$ of even degree. Consider a triplet $(\pi\colon X\to C,L,\alpha\colon L^{\otimes 2}\to\pi^{*}N)$ where $\pi$ is a destabilization and $L$ is a line bundle on $X$ of degree $(\deg N)/2$.

Definition 2.3**.**

Suppose $\alpha$ is an isomorphism in the complement of the exceptional components of $X$. If $L$ has degree $1$ on each exceptional component then $(\pi,L,\alpha)$ is a limit root of $N$. If $L$ has degree [math] or $1$ on the exceptional components then $(\pi,L,\alpha)$ stabilizes to a limit root of $N$.

Let $T$ be a scheme over $\mathbbm{Z}[\frac{1}{2}]$, $\mathcal{C}/T$ be a family of stable curves [stacks-project, Tag 0E73] and $\mathcal{X}/T$ a family of nodal curves [stacks-project, Tag 0C58]. Fix a line bundle $\mathcal{N}$ on $\mathcal{C}$ of relative even degree $d$.

Definition 2.4**.**

If a morphism $\pi\colon\mathcal{X}\to\mathcal{C}$ restricts on each geometric fiber to a destabilization then $\pi$ is a destabilization.

Let $\pi\colon\mathcal{X}\to\mathcal{C}$ be a destabilization, $\mathcal{L}$ a line bundle on $\mathcal{X}$ and $\alpha\colon\mathcal{L}^{\otimes 2}\to\pi^{*}\mathcal{N}$ a morphism.

Definition 2.5**.**

If at each geometric fiber of $(\mathcal{X}\overset{\pi}{\to}\mathcal{C},\mathcal{L},\alpha)$ is (or stabilizes to) a limit root then $(\mathcal{X}\overset{\pi}{\to}\mathcal{C},\mathcal{L},\alpha)$ is (or stabilizes to) a family of limit roots.

If $(\pi,\mathcal{L},\alpha)$ stabilizes to a family of limit roots then there exists a family of limit roots $(\pi^{\prime}\colon\mathcal{X}^{\prime}\to\mathcal{C},\mathcal{L}^{\prime},\alpha^{\prime})$ and a morphism $\rho\colon\mathcal{X}\to\mathcal{X}^{\prime}$ such that $(\mathcal{L},\alpha)\simeq\rho^{*}(\mathcal{L}^{\prime},\alpha^{\prime})$. The map $\rho$ is the partial stabilization map with respect to $\mathcal{L}$. A partial stabilization contracts the unstable components of each fiber on which $\mathcal{L}$ has degree [math].

Notation 2.6**.**

If $(\pi,\mathcal{L},\alpha)$ stabilizes to a family of limit roots then denote by $V(\mathcal{L})\subset\mathcal{X}$ the largest open set on which the partial stabilization $\rho$ is an isomorphism.

An isomorphism between two families of limit roots $(\mathcal{X}_{i}\overset{\pi_{i}}{\to}\mathcal{C},\mathcal{L}_{i},\alpha_{i})_{i=1,2}$ is a pair of isomorphisms $(f\colon\mathcal{X}_{1}\to\mathcal{X}_{2},g\colon\mathcal{L}_{1}\to f^{*}\mathcal{L}_{2})$ such that $\alpha_{1}=f^{*}\alpha_{2}\circ g^{\otimes 2}$.

2.3. Families of multiple limit roots

We now want to consider $m$-tuples of limit roots of $\mathcal{N}$ over $\mathcal{C}$ for a fixed positive integer $m$.

Definition 2.7**.**

Let $\pi\colon\mathcal{X}\to\mathcal{C}$ be a destabilization. Let $\mathfrak{L}\colonequals\{\mathcal{L}_{i},\alpha_{i}\colon\mathcal{L}_{i}^{\otimes 2}\to\pi^{*}\mathcal{N}\}_{i=1}^{m}$ be such that each $(\mathcal{L}_{i},\alpha_{i})$ stabilizes to a limit root, but $\mathfrak{L}$ itself is not pulled back from a partial stabilization. Consider a line bundle $\mathcal{L}$ and a sequence of morphisms $\varphi_{i}\colon\mathcal{L}\to\mathcal{L}_{i}^{\otimes 2}$ satisfying the following:

• •

$\alpha_{i}\circ\varphi_{i}=\alpha_{j}\circ\varphi_{j}$ for each $i,j$.

• •

Each $\varphi_{i}$ restricts to an isomorphism on $V(\mathcal{L}_{i})$, see Notation 2.6.

Then, we will call $\mathfrak{F}=(\varphi_{i})_{i=1}^{2}$ a synchronization data. The tuple $(\pi,\mathfrak{L},\mathfrak{F})$ will be called a multiple limit root. An isomorphism of multiple limit roots is a sequence of isomorphism of the limit roots commuting with the synchronization data.

Remark 2.8**.**

The definition above agrees with the construction given in the introduction. Indeed, on $V(\mathcal{L}_{i})\cap V(\mathcal{L}_{j})$ the map $\varphi_{j}\circ\varphi_{i}^{-1}$ identifies $\mathcal{L}_{i}^{\otimes 2}$ and $\mathcal{L}_{j}^{\otimes 2}$.

We will give an alternative formulation of multiple limit roots in the next section and prove the equivalence of these two notions in Proposition 3.14. To make this equivalence precise, we make the following definition.

Definition 2.9**.**

For $(C\to T,\mathcal{N})$ and $m$ fixed, let $\mathcal{S}^{m}_{\mathrm{lim}}(\mathcal{N})$ denote the category of limit multiple roots of $\mathcal{N}$. That is, $\mathcal{S}^{m}_{\mathrm{lim}}(\mathcal{N})\to T$ is fibered in groupoids with fiber over $T^{\prime}\to T$ consisting of the multiple limit roots of $(C|_{T^{\prime}}\to T^{\prime},\mathcal{N}|_{T^{\prime}})$.

2.4. Multiple-spin curves

Take $N$ to be the canonical bundle. In this case, limit roots are called limit spin curves, therefore we will refer to multiple limit roots as a multiple-spin curves. Taking $m=2$ we will give some examples of multiple-spin curves. For basic results on limit spin curves we refer to [cornalba]. We will say that a spin curve $\xi=(\pi\colon\tilde{C}\to C,L,\alpha)$ over $C$ requires destabilization if $\pi$ is not an isomorphism.

The examples above can be readily computed from definitions. Especially the Appendix A and Section 5 are helpful in constructing more elaborate examples. A form of dual graph is introduced in Section 5.2 which gives the general framework to tackle examples like the ones below. For a detailed study of the examples below and additional examples we refer to [me-thesis, § II.1.6.2].

Example 2.10**.**

For $i=1,2$ let $(C_{i},p_{i})$ be marked smooth irreducible curves. Consider the nodal curve $C=C_{1}\cup_{p_{1}\sim p_{2}}C_{2}$. Every spin curve over $C$ requires destabilization. Given any pair of spin curves $\xi_{i}=(\pi_{i},L_{i},\alpha_{i})$, $i=1,2$, we can uniquely form a limit multiple-spin curve over $(\xi_{1},\xi_{2})$ upto isomorphisms.

Example 2.11**.**

Let $C=\overline{C}/(p\sim q)$ where $p,q\in\overline{C}$ are distinct points on a smooth irreducible curve $\overline{C}$. Some spin curves over $C$ requires destabilization and some do not. If we take a pair of spin curves $\xi_{i}=(\pi_{i},L_{i},\alpha_{i})$, $i=1,2$, over $C$ then there is a unique way to form a multiple spin curve, upto isomorphisms, unless both spin curves require destabilization. In the latter case, from each pair $(\xi_{1},\xi_{2})$ we can form two distinct isomorphism classes of multiple-spin curves.

There are three kinds of interactions that can happen over each node between two limit spin structures: both, one or neither may require destabilization. The following demonstrates all three on one curve.

Example 2.12**.**

Consider a smooth irreducible curve $\overline{C}$ with six distinct points $p_{ij}\in\overline{C}$ for $i=1,2,3$ and $j=1,2$. Form the curve $C=\overline{C}/(p_{i1}\sim p_{i2})_{i=1}^{3}$ and let $x_{i}$ stand for the node $[p_{i1}]$. We will take limit roots $\xi_{1}$ and $\xi_{2}$ over $C$ such that $\xi_{1}$ requires only the node $x_{1}$ to be blown-up while $\xi_{2}$ requires $x_{1}$ and $x_{2}$ to be blown-up. We can check that there are two isomorphism classes of limit multiple-spin curves over $(\xi_{1},\xi_{2})$.

3. Torsion-free sheaves

The definition given in Section 2 is what is intended to be used in geometric applications. However, for the problem of constructing the relevant moduli spaces and studying the local deformation spaces, we gain an advantage by working with stable curves instead of quasi-stable curves. We will now give our “working definition” for limit multiple roots using torsion-free sheaves.

3.1. Torsion-free roots

Let $\mathcal{M}$ be an algebraic stack. The definitions in this subsection are from [jarvis-torsion-free].

Definition 3.1** (Jarvis).**

A torsion-free sheaf on a stable curve $\mathcal{C}\to\mathcal{M}$ is a coherent $\mathcal{O}_{\mathcal{C}}$-module $\mathcal{E}$ which is flat and of finite presentation over $\mathcal{M}$ such that over each $s\in\mathcal{M}$ the fiber $\mathcal{E}|_{\mathcal{C}_{s}}$ has no associated primes of height one.

Note that the smooth locus of the map $\mathcal{C}\to\mathcal{M}$ is contained in the locus where $\mathcal{E}$ is locally free.

Definition 3.2** (Deligne, Jarvis).**

Let $\mathcal{E}$ be a rank-1 torsion-free sheaf on a curve $\mathcal{C}\to\mathcal{M}$ and $\mathcal{N}$ a line bundle on $\mathcal{C}$. Let $\delta\colon\mathcal{E}\overset{\sim}{\to}\mathcal{N}\otimes\mathcal{E}^{\vee}$ be an isomorphism. Then the pair $(\mathcal{E},\delta)$ will be called a (square) root of $\mathcal{N}$.

Definition 3.3**.**

Given a coherent module $\mathcal{E}$ and a line bundle $\mathcal{N}$ on a scheme $\mathcal{X}$, a homomorphism $b\colon\mathcal{E}^{\otimes 2}\to\mathcal{N}$ will be called a bilinear form. A bilinear form induces two maps $b^{l},b^{r}\colon\mathcal{E}\to\mathcal{E}^{\vee}\otimes\mathcal{N}$ where $\mathcal{E}^{\vee}=\hom(\mathcal{E},\mathcal{O}_{\mathcal{X}})$, $b^{r}(e)=b(e,\_)$ and $b^{l}(e)=b(\_,e)$. If both $b^{r}$ and $b^{l}$ are isomorphisms then $b$ is non-degenerate. If $b^{r}=b^{l}$ then $b$ is symmetric, and $b$ factors through the symmetrizing map $\mathcal{E}^{\otimes 2}\to\operatorname{Sym}^{2}\mathcal{E}$.

We will adopt an unusual notational custom and for any $A$-module $E$ write the $d$-th symmetric product $\operatorname{Sym}^{d}_{A}(E)$ simply as $E^{d}$, and given $\mu\colon E\to F$ we will denote by $\mu^{d}$ the induced map $E^{d}\to F^{d}$. The same goes for sheaves of modules and morphisms between them. In compensation, we will write out tensor powers and direct sums explicitly as $E^{\otimes d}$ and $E^{\oplus d}$, respectively. We will use the following reformulation of Definition 3.2.

Definition 3.4**.**

Let $\mathcal{E}$ be a rank-1 torsion-free sheaf on a curve $\mathcal{C}\to\mathcal{M}$ and $\mathcal{N}$ a line bundle on $\mathcal{C}$. Let $b\colon\mathcal{E}^{2}\to\mathcal{N}$ be a non-degenerate symmetric form. Then the pair $(\mathcal{E},b)$ will be called a (torsion-free) root of $\mathcal{N}$ on $\mathcal{C}/\mathcal{M}$.

An isomorphism $\mu\colon(\mathcal{E},b)\to(\mathcal{E}^{\prime},b^{\prime})$ of roots is defined to be an isomorphism of the underlying sheaf of modules $\mu\colon\mathcal{E}\overset{\sim}{\to}\mathcal{E}^{\prime}$ such that $b=b^{\prime}\circ\mu^{2}$.

3.2. Relation to limit roots

Suppose $(\mathcal{E},b)$ is a torsion-free root of $\mathcal{N}$ on $\mathcal{C}/\mathcal{M}$. Define $\mathbbm{P}(\mathcal{E})\colonequals\operatorname{\underline{Proj}}_{\mathcal{C}}(\operatorname{Sym}^{*}\mathcal{E})$ with $\pi\colon\mathbbm{P}(\mathcal{E})\to\mathcal{C}$ the structure map and $\mathcal{L}=\mathcal{O}_{\mathbbm{P}(\mathcal{E})}(1)$ the line bundle corresponding to the $\operatorname{\underline{Proj}}$ construction. Notice that $\pi$ is a destabilization.

There are natural surjective maps $\pi^{*}\mathcal{E}^{d}\to\mathcal{L}^{\otimes d}=\mathcal{O}_{\mathbbm{P}(\mathcal{E})}(d)$ for each $d\geq 0$ and there is the map $\pi^{*}b\colon\pi^{*}\mathcal{E}^{2}\to\pi^{*}\mathcal{N}$. As is shown in §3.1.3 of [jarvis-torsion-free] there is a natural map $\alpha$ making the following diagram commute:

[TABLE]

Proposition 3.5**.**

Let $(\mathcal{E},b)$ be a root of $\mathcal{N}$. Then $(\mathbbm{P}(\mathcal{E})\overset{\pi}{\to}\mathcal{C},\mathcal{O}_{\mathbbm{P}(\mathcal{E})}(1),\alpha)$, constructed above, is a family of limit roots of $\mathcal{N}$.

Proof.

Both $\operatorname{\underline{Proj}}$ and $\operatorname{Sym}$ constructions behave well with respect to base change. So we may reduce to $T=\operatorname{Spec}k$ where $k$ is an algebraically closed field. Let $L=\mathcal{O}(1)$ and note $\pi_{*}L\simeq\mathcal{E}$, see Lemma 3.1.4.(2) [jarvis-torsion-free]. To see that $L$ has degree one over any exceptional fiber $E$ over a node $x$ we simply observe $h^{0}(E,L|_{E})=\dim_{k}\mathcal{E}|_{x}=2$. Since $E\simeq\mathbbm{P}^{1}_{k}$ we are done. The map $\alpha$ is an isomorphism away from the exceptional divisors because $b$ is an isomorphism away from the corresponding nodes. The degrees of $L$ and $\mathcal{E}$ agree because $\pi_{*}L\simeq\mathcal{E}$. This completes the proof. ∎

Conversely, given a family of limit roots $(\pi\colon\mathcal{X}\to\mathcal{C},\mathcal{L},\alpha)$, let $\mathcal{E}\colonequals\pi_{*}\mathcal{L}$. Then, using Lemma 3.1.4.(2) [jarvis-torsion-free] again, we have $\pi_{*}\mathcal{L}^{2}\simeq\mathcal{E}^{2}$. Using the adjunction map $a\colon\pi_{*}\pi^{*}\mathcal{N}\to\mathcal{N}$ we may define $b\colonequals a\circ\pi_{*}\alpha\colon\mathcal{E}^{2}\to\pi_{*}\pi^{*}\mathcal{N}\to\mathcal{N}$.

Proposition 3.6**.**

The tuple $(\mathcal{E},b)$ obtained in this way is a torsion-free root of $\mathcal{N}$.

Proof.

This is similar to the proposition above. The main ingredients are Proposition 3.1.2.(3) and Proposition 3.1.5 of [jarvis-torsion-free] which says that $\pi_{*}\mathcal{L}$ is torsion-free and $b$ is of the right form respectively. ∎

As in Definition 2.9 we may define the category of torsion-free roots. The results of this section imply the following.

Corollary 3.7**.**

The category of torsion-free roots of $\mathcal{N}$ is equivalent to the category of limit roots of $\mathcal{N}$.

3.3. Multiple torsion-free roots

Let $(\mathcal{E}_{i},b_{i})_{i=1}^{m}$ be a sequence of torsion-free roots of $\mathcal{N}$ on a family of curves $\mathcal{C}\to\mathcal{M}$. Now we will phrase the notion of multiple limit roots from Section 2.3 in terms of torsion-free roots using the equivalence identified in Section 3.2.

For each root we have the destabilization $\mathcal{X}_{i}\colonequals\operatorname{\underline{Proj}}_{\mathcal{C}}(\operatorname{Sym}^{*}\mathcal{E}_{i})\to\mathcal{C}$, and the goal is to find a common destabilization $\mathcal{X}\to\mathcal{C}$. The roots are partially identified with one another after squaring them and $\mathcal{X}_{i}$ can also be constructed by taking even powers in the symmetric algebra, i.e., $\mathcal{X}_{i}\simeq\operatorname{\underline{Proj}}_{\mathcal{C}}(\operatorname{Sym}^{2*}\mathcal{E}_{i})$. Our goal is then to isolate the conditions for which the even symmetric algebras are identified wherever possible.

Notation 3.8**.**

Let $V_{i}\subset\mathcal{C}$ be the open locus (Lemma 4.6) where the rank of $\mathcal{E}_{i}$ is maximal amongst all $\mathcal{E}_{j}$. This is the analogue of Notation 2.6.

Definition 3.9**.**

Let $\mathcal{F}$ be a sheaf of modules on $\mathcal{C}$ and let $(\varphi_{i}\colon\mathcal{F}\to\mathcal{E}_{i}^{2})_{i=1}^{m}$ be a sequence of maps such that: (1) for all $i,j$ we have $b_{i}\circ\varphi_{i}=b_{j}\circ\varphi_{j}$, (2) for all $i$ the map $\varphi_{i}|_{V_{i}}$ is an isomorphism. Then, we will call $(\varphi_{i})_{i=1}^{m}$ a pre-sync data for the sequence of roots $(\mathcal{E}_{i},b_{i})_{i=1}^{m}$. The two conditions above are pre-sync conditions.

Suppose $(\varphi_{i})_{i=1}^{m}$ is a pre-sync data for $(\mathcal{E}_{i},b_{i})_{i=1}^{m}$. On $V_{ij}\colonequals V_{i}\cap V_{j}$ we can define $\psi_{ij}=\varphi_{j}|_{V_{ij}}\circ\varphi_{i}|_{V_{ij}}^{-1}\colon\mathcal{E}_{i}^{2}|_{V_{ij}}\overset{\sim}{\to}\mathcal{E}_{j}^{2}|_{V_{ij}}$. Using $\psi_{ij}$, we get a surjective map

[TABLE]

Lemma 3.10**.**

The map (3.3.2) factors through an isomorphism $\operatorname{Sym}^{2*}\mathcal{E}_{i}|_{V_{ij}}\to\operatorname{Sym}^{2*}\mathcal{E}_{j}|_{V_{ij}}$ if and only if $\operatorname{Sym}^{2}\operatorname{Sym}^{2}\mathcal{E}_{i}|_{V_{ij}}\to\operatorname{Sym}^{4}\mathcal{E}_{j}|_{V_{ij}}$ factors through $\operatorname{Sym}^{4}\mathcal{E}_{i}|_{V_{ij}}\to\operatorname{Sym}^{4}\mathcal{E}_{j}|_{V_{ij}}$.

Proof.

The kernel of $\operatorname{Sym}^{*}\operatorname{Sym}^{2}\mathcal{E}_{i}\to\operatorname{Sym}^{2*}\mathcal{E}_{i}$ is generated by the kernel of $\operatorname{Sym}^{2}\operatorname{Sym}^{2}\mathcal{E}_{i}\to\operatorname{Sym}^{4}\mathcal{E}_{i}$. ∎

Definition 3.11**.**

If the map $\operatorname{Sym}^{2}\operatorname{Sym}^{2}\mathcal{E}_{i}|_{V_{ij}}\to\operatorname{Sym}^{4}\mathcal{E}_{j}|_{V_{ij}}$ factors through $\operatorname{Sym}^{4}\mathcal{E}_{i}|_{V_{ij}}\to\operatorname{Sym}^{4}\mathcal{E}_{j}|_{V_{ij}}$ then we will call $(\varphi_{i})_{i=1}^{m}$ a sync data for the sequence of roots $(\mathcal{E}_{i},b_{i})_{i=1}^{m}$. This condition will be called the sync condition.

Definition 3.12**.**

The tuple $(\mathcal{E}_{i},b_{i},\varphi_{i})_{i=1}^{m}$ will be called a multiple-root of $\mathcal{N}$ if $(\varphi_{i})_{i=1}^{m}$ satisfy the sync condition.

An isomorphism between a pair of multiple-roots is a sequence of isomorphisms between the underlying roots compatible with the sync data.

Definition 3.13**.**

For $(\mathcal{C}\to\mathcal{M},\mathcal{N})$ and $m$ fixed, let $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ denote the category of multiple-roots of $\mathcal{N}$. That is, $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to\mathcal{M}$ is fibered in groupoids with fiber over a scheme $T/\mathcal{M}$ consisting of the multiple-roots of $(\mathcal{C}|_{T}\to T,\mathcal{N}|_{T})$. The sub-category $\mathcal{S}^{m}(\mathcal{N})\hookrightarrow\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ is defined by taking the objects where all the roots are line bundles.

Proposition 3.14**.**

The categories $\mathcal{S}^{m}_{\mathrm{lim}}(\mathcal{N})$ and $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ are equivalent.

Proof.

In light of Proposition 3.6 the pushforward of a multiple limit root is clearly a multiple-root with the synchronization data of the former mapping down to the sync data of the latter.

Conversely, let $(\mathcal{E}_{i},b_{i},\varphi_{i})_{i=1}^{m}$ be a multiple-root of $\mathcal{N}$ on $\mathcal{C}$. As in Proposition 3.5 let $\mathcal{X}_{i}\to\mathcal{C}$ be the destabilization obtained by the symmetric algebra of $\mathcal{E}_{i}$ and let $(\mathcal{L}_{i},\alpha_{i})$ be the limit root on $\mathcal{X}_{i}$.

Let $D_{i}=\operatorname{Sym}^{2*}\mathcal{E}_{i}$ and construct $D$ by gluing $D_{i}$ on the charts $V_{i}$ using the sync data $(\varphi_{i})_{i=1}^{m}$, this construction equips $D$ with a map to $\operatorname{Sym}^{2*}\mathcal{N}$. Since $D_{i}$ are isomorphic to $\operatorname{Sym}^{2*}\mathcal{N}$ on an open neighbourhood containing the complement of $V_{i}$, we can construct maps $D\to D_{i}$.

Let $\mathcal{X}\to\mathcal{C}$ be obtained as $\operatorname{\underline{Proj}}_{\mathcal{C}}(D)$ with $\mathcal{L}\colonequals\mathcal{O}_{\mathcal{X}}(1)$. Since $\mathcal{X}_{i}$ can also be constructed as $\operatorname{\underline{Proj}}_{\mathcal{C}}(D_{i})$, the maps $D\to D_{i}$ induce partial contraction maps $\rho_{i}\colon\mathcal{X}\to\mathcal{X}_{i}$ and maps $\mathcal{L}\to\rho_{i}^{*}\mathcal{L}_{i}^{\otimes 2}$. It is now clear that the tuple $(\mathcal{X}/\mathcal{C},\rho_{i}^{*}\mathcal{L}_{i},\rho_{i}^{*}\alpha_{i},\mathcal{L}\to\rho_{i}^{*}\mathcal{L}_{i}^{\otimes 2})$ is a multiple limit root.

These two constructions are inverses to one another and they are functorial with respect to pullback because pushforward and $\operatorname{\underline{Proj}}$ are functorial. ∎

Remark 3.15**.**

Examples of multiple roots, parallel to the examples given in Section 2.4 can be found in [me-thesis, § 1.6.1].

3.4. Bounded degree

For technical reasons we need to introduce a boundedness condition on the degree of the line bundles. For the rest of this article we assume our line bundles have absolutely bounded degree in the following sense.

Definition 3.16**.**

If there exists a constant $c\in\mathbbm{Z}$ such that on any component $Y$ of any geometric fiber of $\mathcal{C}\to\mathcal{M}$ we have $\deg\mathcal{N}|_{Y}\geq c$ then $\mathcal{N}$ will be said to have absolutely bounded degree.

This boundedness condition is weak enough that unless $\mathcal{M}$ has infinitely many disconnected components, the condition is automatically satisfied. Even without this condition, the line bundle $\omega_{\mathcal{C}/\mathcal{M}}^{\otimes l}$ for any $l\in\mathbbm{Z}$ has absolutely bounded degree (Sublemma 4.1.10 [jarvis-torsion-free] for $l=1$, the idea readily generalizes to all $l\in\mathbbm{Z}$).

4. The moduli space of multiple-roots is algebraic

Let $m$ be a positive integer $m$. In this section we will show that the moduli space $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ (Definition 3.13) is an algebraic stack and is locally of finite type over the base $\mathcal{M}$. Note that we assume $\mathcal{N}$ has absolutely bounded degree (Definition 3.16).

4.1. The moduli space of single roots

When $m=1$ we call $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ the moduli space of single roots and denote it by $\overline{\mathcal{S}}(\mathcal{N})$. The basic properties of $\overline{\mathcal{S}}(\mathcal{N})$ follow directly from the work of Jarvis [jarvis-torsion-free]. We will list these properties, briefly highlighting the differences in proofs.

Theorem 4.1**.**

The category $\overline{\mathcal{S}}(\mathcal{N})$ is an algebraic stack. Moreover, the morphism $\pi\colon\mathcal{S}(\mathcal{N})\to\mathcal{M}$ is proper, of finite type and quasi-finite. The diagonal of this morphism is finite and unramified. If $\mathcal{M}$ is a Deligne–Mumford stack then so is $\mathcal{S}(\mathcal{N})$.

Proof.

When $\mathcal{N}=\omega_{\mathcal{C}/\mathcal{M}}$ these results from those of [jarvis-torsion-free]. However, those proofs apply with little modification to the present case. The only condition required is that of absolutely bounded degree (Definition 3.16) which we assume. The last statement follows from the condition on the diagonal, see also [stacks-project, Tag 04YV]. ∎

4.2. The moduli space of multiple-roots

Lemma 4.2**.**

For each proper subset $J\subsetneq\{1,\dots,m\}$ there is a natural forgetful functor $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{\#J}(\mathcal{N})$ obtained by forgetting all the roots except for those at position $i\in J$ and adjusting the sync data appropriately.

Proof.

Let $(C/T,(\mathcal{E}_{i},b_{i},\varphi_{i}\colon\mathcal{F}\to\mathcal{E}_{i}^{2})_{i=1}^{m})$ be a multiple root. After forgetting the roots in the complement of $J$, use the partial isomorphisms between the remaining roots induced by $\varphi_{i}$’s to glue together a new sheaf $\mathcal{F}^{\prime}$ and new maps $\varphi_{i}^{\prime}\colon\mathcal{F}^{\prime}\to\mathcal{E}_{i}^{2}$ for $i\in J$. ∎

Remark 4.3**.**

It is clear from the proof that there is a natural map $\tau\colon\mathcal{F}\to\mathcal{F}^{\prime}$ commuting with $\varphi_{i}$’s and $\varphi_{i}^{\prime}$’s.

Theorem 4.4**.**

The moduli space $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ is an algebraic stack, locally of finite type over $\mathcal{M}$.

Proof.

The proof is by induction on $m$, with the case $m=1$ taken care of in Section 4.1. Let us write $\mathcal{Y}=\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m-1}(\mathcal{N})\times_{\mathcal{M}}\overline{\mathcal{S}}\vphantom{\mathcal{S}}(\mathcal{N})$ which is an algebraic stack, locally of finite type over $\mathcal{M}$ by induction hypothesis. Use the forgetful maps of Lemma 4.2 corresponding to the subsets $J=\{1,\dots,m-1\}$ and $J=\{m\}$ respectively to obtain a map $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to\mathcal{Y}$.

Let $\mathcal{A}^{\prime}\to\mathcal{Y}$ be the category consisting of tuples $(C/T,\mathcal{F})$ where $\mathcal{F}$ is a quasi-coherent sheaf on $C$, finitely presented and $T$-flat with $T$-proper support. Using [hall-openness-of-versality] we conclude that $\mathcal{A}^{\prime}$ is an algebraic stack, locally of finite type over $\mathcal{Y}$.

A morphism $T\to\mathcal{A}^{\prime}$ corresponds to a tuple $(C/T,(\mathcal{E}_{i},b_{i},\varphi_{i}\colon\mathcal{G}\to\mathcal{E}_{i}^{2})_{i=1}^{m-1},(\mathcal{E}_{m},b_{m}),\mathcal{F})$. Consider the category $\mathcal{A}$ over $\mathcal{A}^{\prime}$ of tuples of the form $(T\to\mathcal{A}^{\prime},\tau_{1},\tau_{2})$ where $\tau_{1}\colon\mathcal{F}\to\mathcal{G}$ and $\tau_{2}\colon\mathcal{F}\to\mathcal{E}_{m}^{2}$ are morphisms such that $b_{i}\circ\varphi_{i}\circ\tau_{1}=b_{m}\circ\tau_{2}$ for each $i=1,\dots,m-1$. Since all relevant modules are finitely presented, $\mathcal{A}$ is an algebraic stack. Let us define $\varphi_{i}^{\prime}\colonequals\varphi_{i}\circ\tau_{1}$ for $i=1,\dots,m-1$ and $\varphi_{m}^{\prime}\colonequals\tau_{2}$. We can define the subcategory $\mathcal{A}_{1}$ of $\mathcal{A}$ where $(\varphi_{i}^{\prime})_{i=1}^{m}$ satisfies the pre-sync condition (Definition 3.9) and the subcategory $\mathcal{A}_{2}$ of $\mathcal{A}_{1}$ where $(\varphi_{i}^{\prime})_{i=1}^{m}$ satisfies—in addition—the sync condition (Definition 3.11).

In light of Remark 4.3 the forgetful map $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to\mathcal{Y}$ factors through a map $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to\mathcal{A}$ and identifies $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ with $\mathcal{A}_{2}$. To conclude the proof, we will show that $\mathcal{A}_{1}\hookrightarrow\mathcal{A}$ is an open immersion and $\mathcal{A}_{2}\hookrightarrow\mathcal{A}_{1}$ is a closed immersion. The first of these statements is proven in Proposition 4.9. The second of these statements is a direct application of [EGAIII-2, Corollaire 7.7.8]. ∎

4.2.1. Pre-sync condition is open

We use the setting in the proof of Theorem 4.4. Let us recall that a morphism $T\to\mathcal{A}$ corresponds to a tuple $(C/T,(\mathcal{E}_{i},b_{i},\varphi_{i}\colon\mathcal{G}\to\mathcal{E}_{i}^{2})_{i=1}^{m-1},(\mathcal{E}_{m},b_{m}),\mathcal{F},(\tau_{1},\tau_{2}))$. We will prove that the subcategory $\mathcal{A}_{1}\subset\mathcal{A}$ where $(\tau_{1},\tau_{2})$ induces a pre-sync condition is open in the algebraic stack $\mathcal{A}$.

Notation 4.5**.**

For any $T\to\mathcal{A}$ we define the loci $U_{i}(T),V_{i}(T)\subset C_{T}$ for $i=1,2$ in the following manner: Let $U_{i}(T)$ be the locus where $\tau_{i}$ is an isomorphism. Let $V_{1}(T)$ be the complement of the locus where $\mathcal{F}^{\prime}$ is free but $\mathcal{E}_{m}$ is not. Let $V_{2}(T)$ be the complement of the locus where $\mathcal{E}_{m}$ is free but $\mathcal{F}^{\prime}$ is not.

Whenever we are working locally on $C$, we may assume $m=2$ since $\mathcal{F}^{\prime}$ is locally isomorphic to one of $\mathcal{E}_{i}^{2}$. When $m=2$ then $\mathcal{F}^{\prime}=\mathcal{E}_{1}^{2}$. With this remark in mind we will assume $m=2$. In this case, we simply have a pair of maps $(\varphi_{i}\colon\mathcal{F}\to\mathcal{E}_{i}^{2})_{i=1}^{2}$ satisfying $b_{1}\circ\varphi_{1}=b_{2}\circ\varphi_{2}$ and that our goal is to show the second pre-sync condition defines an open locus on the base $T$. Note that the second pre-sync condition is equivalent to having $U_{i}(T)=V_{i}(T)$.

Lemma 4.6**.**

The loci $U_{i}$ and $V_{i}$ are open and respect base change. Precisely, for any $S\to T\to\mathcal{A}$ we have $V_{i}(S)=V_{i}(T)|_{S}$ and $U_{i}(S)=U_{i}(T)|_{S}$.

Proof.

The complement of $V_{i}$ is the locus of points for which $\mathcal{E}_{i}$ is free but $\mathcal{E}_{j}$ is not ($j\neq i$). This locus is supported on the discriminant locus. We show in Lemma 4.7 that the rank of a root is constant on each connected component of the discriminant locus. Thus $V_{i}^{c}$ is a union of components of the discriminant locus, which is closed. Moreover, the condition of being locally free or not behaves well with respect to base change. Therefore it is clear that $V_{i}(S)=V_{i}(T)|_{S}$.

The fact that the $U_{i}$’s respect base change is a consequence of the following general fact. Let $\psi\colon F\to E$ be a map of finitely presented modules on $C_{T}$. Then the set where $\psi$ is an isomorphism is the intersection $\{\ker\psi=0\}\cap\{\operatorname{coker}\psi=0\}$. When $E$ is flat over $T$ then for any $T^{\prime}\to T$ we have $\{(\ker\psi)|_{T^{\prime}}=0\}\cap\{(\operatorname{coker}\psi)|_{T^{\prime}}=0\}=\{\ker(\psi|_{T^{\prime}})=0\}\cap\{\operatorname{coker}(\psi|_{T^{\prime}})=0\}$. The zero locus of a finitely generated module is open and respects base change. ∎

Lemma 4.7**.**

Let $C\to T$ be a stable curve and $\mathcal{E}$ a locally self-dual rank-1 torsion-free module on $C$. Then the rank of $\mathcal{E}$ is constant on each component of the discriminant locus $Z\subset C$.

Proof.

Pick any point $\mathfrak{p}\in Z$ and note $\operatorname{rk}\mathcal{E}|_{\mathfrak{p}}$ is either $1$ or $2$. By semi-continuity, the locus where the rank of $\mathcal{E}$ is $1$ is open in $C$ and therefore on $Z$. It remains to show that the locus in $Z$ where the rank of $\mathcal{E}$ is $2$ is also open.

By making an étale base change and passing to an étale neighbourhood $U$ of $\mathfrak{p}$, we may assume that $T=\operatorname{Spec}R$ and $U=\operatorname{Spec}A$ where $\exists x,y\in A$, $\pi=xy\in R$ such that $Z|_{U}$ is defined by the ideal $(x,y)$. With $U$ chosen appropriately, we may apply Faltings’ classification [faltings-bundles] and conclude that $E=\mathcal{E}|_{U}$ is either free or of the form $E(p,p)$ with $p^{2}=\pi$ (see the notation in loc. cit. or Appendix A). The discriminant locus $Z|_{U}$ is isomorphic to $\operatorname{Spec}R/(\pi)$ and $E(p,p)$ is free at a point iff $p$ is invertible there. This is impossible on $Z|_{U}$ since $p^{2}=0\allowbreak\mkern 10.0mu({\operator@font mod}\,\,\pi)$. ∎

Lemma 4.8**.**

If $V_{1}\subset U_{1}$ then $U_{2}\subset V_{2}$. Similarly with the indices swapped.

Proof.

Assuming $V_{1}\subset U_{1}$ we have $V_{2}^{c}\subset V_{1}\subset U_{1}$ by definitions. Therefore, if $\exists x\in V_{2}^{c}\cap U_{2}$ then $x\in U_{1}\cap U_{2}$. But this is a contradiction, if $\varphi_{1}$ and $\varphi_{2}$ are isomorphisms at $x$ then $\mathcal{E}_{i}$’s are isomorphic at $x$. On the other hand $x\in V_{2}^{c}$ implies that the roots have different ranks at $x$. ∎

The following proposition proves that $\mathcal{A}_{1}\to\mathcal{A}$ is an open immersion.

Proposition 4.9**.**

Take a map $\operatorname{Spec}R\to\mathcal{A}$. Let $\mathfrak{p}\in\operatorname{Spec}R$ be a point such that $U_{i}(k)=V_{i}(k)$ for $i=1,2$ where $k$ is the residue field of $\mathfrak{p}$. Then there exists a Zariski open neighbourhood $W$ of $\mathfrak{p}$ such that $U_{i}(W)=V_{i}(W)$ for $i=1,2$.

Proof.

Let $j\colon C|_{\mathfrak{p}}\hookrightarrow C$ be the inclusion of the fiber over $\mathfrak{p}$. The fact that $U_{i}(k)=U_{i}(R)|_{\operatorname{Spec}k}$ implies that $U_{i}(R)$ is an open neighbourhood of of $j(U_{i}(k))$, similarly for $V_{i}$’s. We know $V_{i}(k)$’s cover the fiber $C|_{\mathfrak{p}}$ and, by hypothesis, $U_{i}(k)=V_{i}(k)$. Therefore the open sets $U_{i}(R)\cap V_{i}(R)$ for $i=1,2$ cover the fiber $C|_{\mathfrak{p}}$.

Pick a Zariski neighbourhood $W\subset\operatorname{Spec}R$ of $\mathfrak{p}$ such that the preimage of $W$ is covered by $U_{i}(R)\cap V_{i}(R)$. Shrink $W$ so that every component of the discriminant locus intersects the fiber over $\mathfrak{p}$. Let $Z$ be the components of the discriminant locus on which the $\mathcal{E}_{i}$’s are both non-free. On $Z|_{\mathfrak{p}}$ the $\varphi_{i}$’s are isomorphisms, hence they will remain an isomorphism in a neighbourhood of $Z\cap C_{\mathfrak{p}}\subset C$. Shrink $W$ one last time so that the $\varphi_{i}$’s are isomorphisms on all of $Z$.

We claim that $U_{i}(W)=V_{i}(W)$. By Lemma 4.8 it will be sufficient to show $V_{i}(W)\subset U_{i}(W)$ for $i=1,2$. Pick $x\in V_{1}(W)$ and suppose for a contradiction that $x\notin U_{1}(W)\cap V_{1}(W)$. Then $x$ must lie in $U_{2}(W)\cap V_{2}(W)$ which implies that either both $\mathcal{E}_{i}$’s are free or both $\mathcal{E}_{i}$ are non-free at $x$. Furthermore, $x\in U_{2}(W)$ implies $\varphi_{2}$ is an isomorphism at $x$. If both the $\mathcal{E}_{i}$’s are free then the fact that $\varphi_{i}$’s commute with $b_{i}$’s imply that $\varphi_{1}$ is also an isomorphism. Hence $x\in U_{1}(W)$. If the $\mathcal{E}_{i}$’s are both non-free, then $x\in Z$. But, by our construction of $W$, $x\in Z$ implies that $\varphi_{1}$ is an isomorphism at $x$. ∎

5. Local analysis

Fix a family of stable genus $g$ curves $\mathcal{C}\to\mathcal{M}$, together with a line bundle $\mathcal{N}$ on $\mathcal{C}$. The family $\mathcal{C}\to\mathcal{M}$ corresponds to a map $\mathcal{M}\to\overline{\mathcal{M}}_{g}$. For this section we assume that $\mathcal{M}$ is a Deligne–Mumford stack. We work over an excellent base scheme $S$ defined over $\mathbbm{Z}[1/2]$. A natural choice is to take $\mathcal{M}=\overline{\mathcal{M}}_{g}$ and $S=\operatorname{Spec}\mathbbm{Z}[1/2]$. Our main result in this section is the following theorem, whose proof is at the end of Section 5.1.

Theorem 5.1**.**

If the moduli map $\mathcal{M}\to\overline{\mathcal{M}}_{g}$ is smooth, then $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ is smooth over the base scheme $S$.

In order to facilitate the study of the coarse moduli space associated to $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$, we will study the action of the automorphism groups of objects in $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ on their local deformation functors. We end this section with a purely combinatorial description of this action.

5.1. Patching local deformations

For general notions regarding deformation theory using Artin rings we refer to Schlessinger’s original work [schlessinger] and Sernesi’s textbook [sernesi-deformation]. See Appendix A for the deformation theory of nodes and roots near nodes.

Smoothness of $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to S$ can be checked around geometric points of $S$. Fix an algebraically closed field $k$ and a $k$-valued point $\xi$ of $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$. Let $p\in\mathcal{M}(k)$ and $q\in\overline{\mathcal{M}}_{g}(k)$ be the images of $\xi$. Then $q$ corresponds to a stable curve $X/k$ and $p$ induces a line bundle $\mathcal{N}_{X}$ on $X$. Let $x_{1},\dots,x_{n}\in X$ be the nodes of $X$ and suppose the nodes are indexed so that at least one of the roots of $\mathcal{N}_{X}$ appearing in $\xi$ is non-free at $x_{i}$ precisely when $i\leq n^{\prime}$ for some $n^{\prime}\leq n$.

Let $s\in S(k)$ be the image of $\xi$ and write $\Lambda$ for the complete local ring $\hat{\mathcal{O}}_{S,s}$ (Definition A.39). Denote by $\operatorname{Art}_{\Lambda}$ the category of local Artinian $\Lambda$-algebras with residue field $k$. Let us write $D_{\xi}\colon\operatorname{Art}_{\Lambda}\to{(\text{Sets})}$ for the functor of infinitesimal deformations of $\xi$, this functor is pro-represented by the complete local ring of $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ at $\xi$. We will compute this pro-representing ring by breaking the deformation functor $D_{\xi}$ into simpler pieces.

Denote $\xi$ by the tuple $(X/k,\mathcal{N}_{X},\bar{\mathcal{R}})$ where $\bar{\mathcal{R}}=(\bar{\mathcal{E}}_{i},\bar{b}_{i},\bar{\varphi}_{i})_{i=1}^{m}$ is a multiple root of $\mathcal{N}_{X}$ on $X$. A deformation of $\xi$ over $R\in\operatorname{Art}_{\Lambda}$ begins with a deformation $(\mathcal{X}/R,\mathcal{N}_{\mathcal{X}},\iota)$ of $(X/k,\mathcal{N}_{X})$ where $\iota$ is an identification of the central fiber of $\mathcal{X}\to\operatorname{Spec}R$ with $X\to\operatorname{Spec}k$. In addition, we must have a deformation of the root $\bar{\mathcal{R}}$ which will consist of a multiple root $\mathcal{R}\colonequals(\mathcal{E}_{i},b_{i},\varphi_{i})_{i=1}^{m}$ of $\mathcal{N}_{\mathcal{X}}$ and a sequence of isomorphisms $(j_{i}\colon\mathcal{E}_{i}|_{X}\to\bar{\mathcal{E}}_{i})_{i=1}^{m}$ compatible with the sync data $(\varphi_{i})_{i=1}^{m}$ and $(\bar{\varphi}_{i})_{i=1}^{m}$.

Let $D_{p}\colon\operatorname{Art}_{\Lambda}\to{(\text{Sets})}$ be the functor of infinitesimal deformations of $p$ over $\mathcal{M}$. Forgetting the deformation of the multiple root $\bar{\mathcal{R}}$ we obtain a map $D_{\xi}\to D_{p}$ which is the local version of the forgetful map $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to\mathcal{M}$.

Let $x_{v}\in X$ be a node of $X$ and $\hat{x}_{v}\colon\operatorname{Spec}\hat{\mathcal{O}}_{X,v}\to X$ be the complete local neighbourhood of $x_{v}$ in $X$. By pulling back the multiple root $\bar{\mathcal{R}}$ via $\hat{x}_{v}$ we obtain a local multiple root $\bar{\mathcal{R}}_{v}\colonequals\hat{x}_{v}^{*}\bar{\mathcal{R}}$ on $\hat{\mathcal{O}}_{X,v}$.

Notation 5.2**.**

Let $G_{v}\colon\operatorname{Art}_{\Lambda}\to{(\text{Sets})}$ denote the functor of infinitesimal deformations of the node $\hat{\mathcal{O}}_{X,x_{v}}$ as in Definition A.2. Let $H_{v}\colon\operatorname{Art}_{\Lambda}\to{(\text{Sets})}$ denote the functor of infinitesimal deformations of the node $\hat{\mathcal{O}}_{X,x_{v}}$ together with the local multiple root $\bar{\mathcal{R}}_{v}$ as in Definition A.31.

Remark 5.3**.**

Recall that if a root is free then it deforms trivially so that the forgetful map $H_{v}\to G_{v}$ is an isomorphism if all roots are free at $x_{v}$, that is, if $v>n^{\prime}$. See Lemma A.8.

Given a deformation $(\mathcal{X}/R,\mathcal{N}_{\mathcal{X}},\iota,(\mathcal{E}_{i},b_{i},\varphi_{i},j_{i})_{i=1}^{m})$ of $\xi$, we can first forget the roots and then pass to a local neighbourhood of $x_{v}$ or we can first pass to a local neighbourhood of $x_{v}$ in $\mathcal{X}$ and then forget the roots. As a result, we obtain the map

[TABLE]

Lemma 5.4**.**

The natural transformation (5.1.3) is an isomorphism. In particular, a deformation of a multiple root is completely recovered by its deformations around the nodes.

Proof.

Fix an element $(\mathcal{X}/R,\mathcal{N}_{\mathcal{X}},\iota)$ of $D_{p}(R)$. For each $1\leq v\leq n^{\prime}$ pick a deformation $\mathcal{R}_{v}\colonequals(E_{v,i},b_{v,i},\varphi_{v,i},j_{v,i})_{i=1}^{m}$ on $\hat{\mathcal{O}}_{\mathcal{X},x_{v}}$ of the local multiple root $\hat{\mathcal{R}}_{v}$. We will to show that there exists a unique deformation on $\mathcal{X}$ of the multiple root $\bar{\mathcal{R}}$ which pulls back to $\mathcal{R}_{v}$ on the complete local neighbourhood of $x_{v}$ in $\mathcal{X}$.

Let $\mathfrak{m}_{R}$ be the maximal ideal of $R$. Let $R_{l}\colonequals R/\mathfrak{m}_{R}^{l}$ and $\mathcal{X}_{l}\colonequals\mathcal{X}|_{R_{l}}$ for all $l\geq 0$. For each $l$ and $v\leq n^{\prime}$ we can pullback $\mathcal{R}_{v}$ to the formal neighbourhood of $x_{v}$ in $\mathcal{X}_{l}$. We will denote this deformation of $\bar{\mathcal{R}}_{v}$ by $\mathcal{R}_{v,l}$.

Using induction, we fix $N\geq 0$ and suppose that there is a unique deformation of the multiple root $\bar{\mathcal{R}}$ on $\mathcal{X}_{N}$ such that for all $v\leq n^{\prime}$ this deformation agrees with $\mathcal{R}_{v,N}$ around the node $x_{v}$.

By constructing a lift of this deformation to $\mathcal{X}_{n+1}$ and showing that this lift is unique up to a unique isomorphism will end the proof. We will do this by fpqc-descent on $\mathcal{X}_{n+1}$. The synchronized roots around the formal neighbourhoods of the nodes are one portion of the descent data. For the rest of the descent data, we will construct the root away from the nodes and then show compatibility.

On the complement $W$ of the nodes $x_{1},\dots,x_{n^{\prime}}$, the roots we have are all free. Use Lemma A.8 and Remark A.9 to conclude that each root deforms uniquely in $W$. This uniqueness also proves compatibility with the formal neighbourhoods around the nodes. ∎

It is well known [deligne-mumford] that $\hat{\mathcal{O}}_{\overline{\mathcal{M}}_{g},q}\simeq\Lambda[[t_{1},\dots,t_{3g-3}]]$ where the generators $t_{i}$ to correspond to the deformation of the node $x_{i}$ for $i=1,\dots,n$, the labeling of the rest of the generators correspond to deformations of the components of the normalization of $X$.

With $n^{\prime}\leq n$ defined as above, let us define a finite extension $\Lambda[[t_{1},\dots,t_{3g-3}]]\to\Lambda[[\tau_{1},\dots,\tau_{3g-3}]]$ so that $t_{i}\mapsto\tau_{i}^{2}$ when $i\leq n^{\prime}$ and $t_{i}\mapsto\tau_{i}$ when $i>n^{\prime}$.

Proposition 5.5**.**

The complete local ring of $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ at $\xi$ is isomorphic over $\Lambda$ to the tensor product $\hat{\mathcal{O}}_{\mathcal{M},p}\otimes_{\Lambda[[t_{1},\dots,t_{3g-3}]]}\Lambda[[\tau_{1},\dots,\tau_{3g-3}]]$.

Proof.

We computed in Appendix A that $G_{v}$ is pro-represented by $\Lambda[[t_{v}]]$ and $H_{v}$ is pro-represented by $\Lambda[[\tau_{v}]]$ with the map $H_{v}\to G_{v}$ given by $t_{v}\mapsto\tau_{v}^{2}$ if $v\leq n^{\prime}$ and $t_{v}\mapsto\tau_{v}$ if $v>n^{\prime}$. The isomorphism of the map (5.1.3) proved in Lemma 5.4 finishes the proof. ∎

Now we are ready to prove the main theorem of this section. We will stick to the notation of Proposition 5.5.

Proof of Theorem 5.1.

If $\mathcal{M}\to\overline{\mathcal{M}}_{g}$ is smooth then $\hat{\mathcal{O}}_{\mathcal{M},p}$ is smooth over $\Lambda[[t_{1},\dots,t_{3g-3}]]$. Since smoothness is stable under pullbacks, the tensor product representing the local ring of $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ at $\xi$ is smooth over $\Lambda[[\tau_{1},\dots,\tau_{3g-3}]]$, which in turn is smooth over $\Lambda$. Being smooth is stable under composition and it follows that $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to S$ is smooth. ∎

5.2. Automorphism groups

The complete local ring of $\overline{\mathcal{M}}_{g}$ at $X$ is $\Lambda[[t_{1},\dots,t_{3g-3}]]$. The moduli map $\mathcal{M}\to\overline{\mathcal{M}}_{g}$ gives rise to the map $\Lambda[[t_{1},\dots,t_{3g-3}]]\to\hat{\mathcal{O}}_{\mathcal{M},p}$. For each $i=1,\dots,n$ let us denote the image of $t_{i}$ in $\hat{\mathcal{O}}_{\mathcal{M},p}$ by $\bar{t}_{i}$. As a result, we can reinterpret Proposition 5.5 as follows:

[TABLE]

Scaling $\tau_{i}$ by $\pm 1$ gives an automorphisms of the ring $\hat{\mathcal{O}}_{\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N}),\xi}$ fixing $\hat{\mathcal{O}}_{\mathcal{M},p}$.

There is an action of $\operatorname{Aut}(\xi)$ on $\hat{\mathcal{O}}_{\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N}),\xi}$ defined as follows. The group $\operatorname{Aut}(\xi)$ acts on the functor of infinitesimal deformations $D_{\xi}$ of $\xi$ by changing the identification of the central fiber of a deformation through post-composition via an automorphism of the central fiber. Since $\hat{\mathcal{O}}_{\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N}),\xi}$ pro-represents $D_{\xi}$, the group $\operatorname{Aut}(\xi)$ acts on it. Any subgroup of $\operatorname{Aut}(\xi)$ fixing $(X,\mathcal{N}_{X})$ over $\mathcal{M}$ will fix $\hat{\mathcal{O}}_{\mathcal{M},p}$.

Definition 5.6**.**

The subgroup of $\operatorname{Aut}(\xi)$ fixing $(X,\mathcal{N}_{X})$ in $\mathcal{M}$ will be denoted by $\operatorname{Aut}_{0}(\xi)$ and will be called the group of inessential automorphisms, in accordance with [cornalba, caporaso-casagrande-cornalba]. By the paragraph above, we get a natural morphism

[TABLE]

Let $W=\{x_{1},\dots,x_{n^{\prime}}\}\subset X$ be the set of nodes where at least one root in $\xi$ is non-free. Denote by $X_{W}\to X$ the partial normalization of $X$ at $W$. We will write $V$ for the set of connected components of $X_{W}$.

Notation 5.7**.**

Let $\Gamma$ be the graph with vertex set $V$ and edge set $W$, the ends of an edge $w\in W$ are the components of the partial resolution $X_{W}\to X$ containing a preimage of $w$.

We will consider the cohomology of the graph $\Gamma$ with coefficients in the field $\mathbbm{F}_{2}$ with two elements. Note that we do not need an orientation on the edges of $\Gamma$ when working with these coefficients. For our applications, it makes sense to identify $\mathbbm{F}_{2}$ with the set $\{\pm 1\}$ using the bijection $\mathbbm{F}_{2}\to\{\pm 1\};u\mapsto(-1)^{u}$. Through this bijection we endow the set $\{\pm 1\}$ with a field structure and denote the resulting field by $\mathbbm{F}_{2}^{\pm}$.

Let $C^{0}(\Gamma)=\mathbbm{F}_{2}^{\pm}\langle V\rangle$ and $C^{1}(\Gamma)=\mathbbm{F}_{2}^{\pm}\langle W\rangle$ be the 0-chains and 1-chains of $\Gamma$ respectively. The usual coboundary map $\partial\colon C^{0}(\Gamma)\to C^{1}(\Gamma)$ gives rise to the cohomology groups $\mathrm{H}^{0}(\Gamma)$ and $\mathrm{H}^{1}(\Gamma)$ which fit into the exact sequence

[TABLE]

Remark 5.8**.**

For each element $h\in C^{1}(\Gamma)$ we can define an automorphism of $\hat{\mathcal{O}}_{\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N}),\xi}$ over $\hat{\mathcal{O}}_{\mathcal{M},p}$ by scaling $\tau_{i}$ by the value of $h(x_{i})\in\{\pm 1\}$, this gives an inclusion

[TABLE]

Define a map $\psi\colon\operatorname{Aut}_{0}(\xi)\to C^{1}(\Gamma)$ by the following rule. For each $a\in\operatorname{Aut}_{0}(\xi)$ we need to define a value $a(x)\in\{\pm 1\}$ for each $x\in W$. Given $x\in W$, there is at least one index $i\leq m$ such that the $i$-th root $(\bar{\mathcal{E}}_{i},b_{i})$ is not locally free at $x$. Pull back $(\bar{\mathcal{E}}_{i},\bar{b}_{i})$ to the formal neighbourhood $\hat{\mathcal{O}}_{X,x}$ and apply Lemma A.21 to conclude that the action of the automorphism $a$ on the $i$-th root around $x$ can be described by a matrix of the form $\begin{pmatrix}\varepsilon_{1}&0\\ 0&\varepsilon_{2}\end{pmatrix}$ where $\varepsilon_{1},\varepsilon_{2}\in\{\pm 1\}$. Let us define $\psi(a)(x)=\varepsilon_{1}\varepsilon_{2}$.

Lemma 5.9**.**

The value of $\psi(a)(x)$ is well defined.

Proof.

Although the sign $\varepsilon_{1}\varepsilon_{2}$ obtained from Lemma A.21 is not well defined for an isomorphism between two different roots, it is well defined for an automorphism of a root. As for the choice of $i$ used in defining $\psi(a)(x)$, the sync data forces the sign $\varepsilon_{1}\varepsilon_{2}$ to be independent of this choice, see Appendix A.6 for more details on local multiple roots. ∎

Theorem 5.10**.**

The map $\psi$ defined above commutes with the natural maps defined in (5.2.7) and (5.2.5). That is, the following diagram is commutative:

[TABLE]

Proof.

Fix $a\in\operatorname{Aut}_{0}(\xi)$ and $x_{i}\in W$. We will denote the parity by $c\colonequals\varepsilon_{1}\varepsilon_{2}=\psi(a)$. Consider the pullback of $\xi$ to $\hat{\mathcal{O}}_{X,x_{i}}$ and its universal deformation as in Appendix A.6. We show in Theorem A.38 that this universal deformation has base $\Lambda[[\tau_{i}]]$. The automorphism $a$ induces an action on this base ring $\Lambda[[\tau_{i}]]$ defined as in the description leading up to Definition 5.6. It suffices to show that this induced action consists of scaling $\tau_{i}$ by $c$.

Since $\tau_{i}\neq 0$ this change in sign is required to accommodate an isomorphism between the two universal families of local multiple roots whose square has parity $c$, as in Definition A.34. This follows directly from the arguments given in Appendix A.6. ∎

Now we want to express the image of the map $\psi\colon\operatorname{Aut}_{0}(\xi)\to C^{1}(\Gamma)$ in a more combinatorial fashion. For each $i=1,\dots,m$ we can forget all but the $i$-th root in $\xi$ in order to obtain $\xi_{i}\colonequals(X,\mathcal{N}_{X},\bar{\mathcal{E}}_{i},\bar{b}_{i})$. We will write $W_{i}\subset W$ for the set of nodes on which $\bar{\mathcal{E}}_{i}$ is not free and by $V_{i}$ the irreducible components of the normalization $X_{W_{i}}\to X$ of $X$ at $W_{i}$. As in Notation 5.7 we define a graph $\Gamma_{i}=(V_{i},W_{i})$. Moreover, the construction of the map $\psi$ applies also when $m=1$ and in particular to $\xi_{i}$ giving us maps $\psi_{i}\colon\operatorname{Aut}_{0}(\xi_{i})\to C^{1}(\Gamma_{i})$. We have exact sequences as in (5.2.6) obtained by replacing $\Gamma$ with $\Gamma_{i}$.

In $\operatorname{Aut}_{0}(\xi)$ and $\operatorname{Aut}_{0}(\xi_{i})$ we have a distinguished automorphism which scales all roots by $-1$. Let $\{\pm 1\}$ denote the corresponding subgroup generated by this element. It is clear that both $\psi$ and $\psi_{i}$ contain the subgroup $\{\pm 1\}$ in their kernels, which prompts the following notation.

Notation 5.11**.**

Let $\operatorname{\underline{Aut}}_{0}(\xi)=\operatorname{Aut}_{0}(\xi)/\{\pm 1\}$ and $\operatorname{\underline{Aut}}_{0}(\xi_{i})=\operatorname{Aut}_{0}(\xi_{i})/\{\pm 1\}$ for $i=1,\dots,m$.

Lemma 5.12** ([cornalba, caporaso-casagrande-cornalba]).**

For $i=1,\dots,m$ we have $\operatorname{Aut}_{0}(\xi_{i})\simeq C^{0}(\Gamma_{i})$ and $\psi_{i}$ establishes an isomorphism $\operatorname{\underline{Aut}}_{0}(\xi_{i})\overset{\sim}{\to}\ker(C^{1}(\Gamma_{i})\to\mathrm{H}^{1}(\Gamma_{i}))$.

Proof.

Let $\nu_{i}\colon X_{W_{i}}\to X$ be the partial normalization of $W_{i}\subset X$. Let $P_{i}=\nu_{i}^{*}(W_{i})$ and $N_{i}\colonequals\nu_{i}^{*}(\mathcal{N}_{X})(-P_{i})$. Jarvis shows in §4.1.1 [jarvis-torsion-free] that there exists a line bundle $L_{i}$ on $X_{W_{i}}$, and a squaring map $\beta_{i}:L_{i}^{\otimes 2}\overset{\sim}{\to}N_{i}$ such that $\bar{\mathcal{E}}_{i}\simeq\nu_{i,*}L_{i}$ and $\bar{b}_{i}$ is obtained from $\beta_{i}$. Furthermore, he shows that $\operatorname{Aut}(\bar{\mathcal{E}}_{i},\bar{b}_{i})\simeq\operatorname{Aut}(L_{i},\beta_{i})$.

The automorphism group of $(L_{i},\beta_{i})$ is clearly isomorphic to $\mathrm{H}^{0}(X_{W_{i}},\mu_{2})$ where $\mu_{2}\subset\mathcal{O}_{X_{W_{i}}}^{*}$ is the kernel of the squaring map. We have an obvious identification $\mathrm{H}^{0}(X_{W_{i}},\mu_{2})\simeq C^{0}(\Gamma_{i})$ which proves $\operatorname{Aut}_{0}(\xi_{i})\simeq C^{0}(\Gamma_{i})$. Since $\Gamma_{i}$ is connected, $\mathrm{H}^{0}(\Gamma_{i})\simeq\{\pm 1\}$. Therefore, $\operatorname{\underline{Aut}}_{0}(\xi_{i})=\operatorname{Aut}_{0}(\xi_{i})/\{\pm 1\}\simeq C^{0}(\Gamma_{i})/\mathrm{H}^{0}(\Gamma_{i})\simeq\operatorname{im}\partial$. ∎

Since elements in $\operatorname{Aut}_{0}(\xi)$ act on individual roots, we have natural maps $\operatorname{Aut}_{0}(\xi)\to\operatorname{Aut}_{0}(\xi_{i})$ obtained by restricting the action of an automorphism of $\xi$ to just the $i$-th root. Any automorphism of multiple roots can be recovered from its action on the individual roots so the combined map $\operatorname{Aut}_{0}(\xi)\to\prod_{i=1}^{m}\operatorname{Aut}_{0}(\xi_{i})$ is an injection.

We can also define maps $C^{1}(\Gamma)\twoheadrightarrow C^{1}(\Gamma_{i})$ obtained by sending all edges in $W\setminus W_{i}$ to zero. The joint map $C^{1}(\Gamma)\to\prod_{i=1}^{m}C^{1}(\Gamma_{i})$ is an injection since each edge in $W$ appears in at least one $W_{i}$.

Lemma 5.13**.**

With the natural maps described above, we obtain the following Cartesian diagram:

[TABLE]

Proof.

The commutativity is immediate since the value of $\psi(a)(x)$ is determined by the action of $a$ on any any root $(\bar{\mathcal{E}}_{i},\bar{b}_{i})$ which is not free on $x$. To see that the diagram is Cartesian, we observe that a sequence of automorphisms $(a_{i})_{i=1}^{m}$ where $a_{i}$ acts on $\xi_{i}$ are compatible with the sync data if the image of $(a_{i})_{i=1}^{m}$ lies in the image of $C^{1}(\Gamma)$. ∎

Proposition 5.14**.**

The map $\psi$ identifies $\operatorname{\underline{Aut}}_{0}(\xi)$ with the kernel of the map $C^{1}(\Gamma)\to\prod_{i=1}^{m}\mathrm{H}^{1}(\Gamma_{i})$.

Proof.

By Lemma 5.13 we conclude that $\operatorname{\underline{Aut}}_{0}(\xi)$ is the intersection of $C^{1}(\Gamma)$ with $\prod_{i=1}^{m}\operatorname{\underline{Aut}}_{0}(\xi_{i})$ in $\prod_{i=1}^{m}C^{1}(\Gamma_{i})$. Now apply Lemma 5.12. ∎

Example 5.15**.**

Let us consider Example 2.10. Here $\Gamma=\Gamma_{1}=\Gamma_{2}$ consists of two vertices and one edge between them. Therefore, $C^{1}(\Gamma)\simeq\mathbbm{F}_{2}$ and $\prod_{i=1}^{2}\mathrm{H}^{1}(\Gamma_{i})=0$. We conclude that $\operatorname{\underline{Aut}}_{0}(\xi)\simeq\mathbbm{F}_{2}$. In (5.2.4) we have $n^{\prime}=1$ so $\hat{\mathcal{O}}_{\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N}),\xi}\simeq\hat{\mathcal{O}}_{\mathcal{M},p}[\tau_{1}]/(\tau_{1}^{2}-\bar{t}_{1})$ and the generator of $\operatorname{\underline{Aut}}_{0}(\xi)$ acts by $\tau_{1}\mapsto-\tau_{1}$. In particular, the coarse moduli space of double spin curves is not branched around $\xi$ over the moduli space of curves.

Example 5.16**.**

Consider Example 2.11. Here $\Gamma=\Gamma_{1}=\Gamma_{2}$ consists of one vertex and a loop. Therefore, $C^{1}(\Gamma)\to\prod_{i=1}^{2}\mathrm{H}^{1}(\Gamma_{i})$ becomes $\mathbbm{F}_{2}\to\mathbbm{F}_{2}^{2}:1\mapsto(1,1)$. In particular, $\operatorname{\underline{Aut}}_{0}(\xi)=0$. Using (5.2.4) we see that the locus of such $\xi$ form a divisorial branch locus of the coarse moduli of double spin curves over the moduli space of curves.

6. Fundamental properties of the moduli of multiple-roots

In this section we prove the additional structural results regarding $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to\mathcal{M}$ in order to complete the proof of Theorem 1.1. Throughout this section we will assume $\mathcal{M}$ is a Deligne–Mumford stack.

6.1. Proper, Deligne–Mumford compactification

As we proved in Theorem 4.4 that $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ is algebraic, it follows that the relative diagonal $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to\mathcal{M}$ is representable by algebraic spaces.

Lemma 6.1**.**

The diagonal $\Delta\colon\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\times_{\mathcal{M}}\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ is finite and unramified.

Proof.

Fix a morphism $B\to\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\times_{\mathcal{M}}\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ where $B$ is a scheme. This defines a curve $C\to B$ and a pair of multiple roots $\mathcal{R}=(\mathcal{E}_{i},b_{i},\varphi_{i})_{i=1}^{m}$ and $\mathcal{R}^{\prime}=(\mathcal{E}_{i}^{\prime},b_{i}^{\prime},\varphi_{i}^{\prime})_{i=1}^{m}$ on the curve $C$. We claim that the isomorphism functor $\operatorname{Iso}_{C}(\mathcal{R},\mathcal{R}^{\prime})$ is represented by a finite and unramified scheme over $B$.

An isomorphism of a multiple root is an isomorphism of the underlying sequence of roots compatible with the sync data. Let $\mathcal{R}_{i}=(\mathcal{E}_{i},b_{i})$ and $\mathcal{R}_{i}^{\prime}=(\mathcal{E}_{i}^{\prime},b_{i}^{\prime})$ be the $i$-th roots and consider the natural injection $\operatorname{Iso}_{C}(\mathcal{R},\mathcal{R}^{\prime})\to\prod_{i=1}^{m}\operatorname{Iso}_{C}(\mathcal{R}_{i},\mathcal{R}_{i}^{\prime})$, where the product of the functors $\operatorname{Iso}_{C}(\mathcal{R}_{i},\mathcal{R}_{i}^{\prime})$ is to be taken over $B$. This product is finite and unramified since each component $\operatorname{Iso}_{C}(\mathcal{R}_{i},\mathcal{R}_{i}^{\prime})$ is represented by a finite and unramified scheme over $B$ as shown in §4.1.4.3 of [jarvis-torsion-free]. We claim $\operatorname{Iso}_{C}(\mathcal{R},\mathcal{R}^{\prime})$ is a component of the product and we will perform a series of reductions to prove this.

Since the stacks under consideration are locally noetherian and the question is local on the target of $\Delta$ we may assume $B$ to be noetherian. Since the diagonal is representable, $\operatorname{Iso}_{C}(\mathcal{R},\mathcal{R}^{\prime})$ is locally noetherian and we may reduce to the case where $B=\operatorname{Spec}R$ where $R$ is a complete discrete valuation ring. Let the $\eta$ and $\sigma$ denote the generic and special points of $B$ respectively. To conclude the proof we need only prove that given a sequence of isomorphisms between the roots, the property of being compatible with the sync data both specializes and generalizes. This problem requires studying pairs of roots at a time and therefore we will assume $m=2$.

Consider a map $h\colon\operatorname{Spec}R\to\prod_{i=1}^{m}\operatorname{Iso}_{C}(\mathcal{R}_{i},\mathcal{R}_{i}^{\prime})$, which gives us a family of curves $\mathcal{X}\to\operatorname{Spec}R$ and a sequence of isomorphism $(h_{i}\colon(\mathcal{E}_{i}^{\prime},b_{i}^{\prime})\to(\mathcal{E}_{i}^{\prime},b_{i}^{\prime}))_{i=1}^{m}$ between the roots. We need to check that the sequence $(h_{i})_{i=1}^{m}$ is compatible with the sync data over the generic fiber iff it is compatible with the sync data over the special fiber.

Compatibility is trivially satisfied except around the nodes where both roots may be singular. In this respect, Lemma 5.4 implies that compatibility need only be checked around the formal neighbourhood of the node of the special fiber. In Lemma A.21 we show that in the formal neighbourhood of a node, the isomorphisms $h_{i}$ between $\mathcal{E}_{i}$ and $\mathcal{E}_{i}^{\prime}$ are of the form $\begin{bmatrix}\varepsilon_{i}^{\prime}&0\\ 0&\varepsilon_{i}^{\prime\prime}\end{bmatrix}$, with $\varepsilon_{i}^{\prime},\varepsilon_{i}^{\prime\prime}\in\{\pm 1\}$. The symmetric square $h_{i}^{2}$ equals $\begin{bmatrix}1&0&0\\ 0&\varepsilon_{i}&0\\ 0&0&1\end{bmatrix}$, where $\varepsilon_{i}=\varepsilon_{i}^{\prime}\varepsilon_{i}^{\prime\prime}$.

In this formal neighbourhood of the node, we can replace the sync data with an isomorphism $\psi:\mathcal{E}_{1}^{2}\to\mathcal{E}_{2}^{2}$ on the first pair of roots and $\psi^{\prime}$ on the second pair of roots (see Remark A.32). From Proposition A.33 we know that $\psi=\begin{bmatrix}1&0&0\\ 0&\varepsilon&0\\ 0&0&1\end{bmatrix}$ and $\psi^{\prime}=\begin{bmatrix}1&0&0\\ 0&\varepsilon^{\prime}&0\\ 0&0&1\end{bmatrix}$ where $\varepsilon,\varepsilon^{\prime}\in\{\pm 1\}$.

These four isomorphisms give a commuting diagram iff $\varepsilon\varepsilon_{1}=\varepsilon^{\prime}\varepsilon_{2}$. This equality holds over the special fiber iff it holds over the generic fiber. ∎

Proposition 6.2**.**

The moduli space $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ is a Deligne–Mumford stack.

Proof.

The proposition above combined with the fact that $\mathcal{M}$ is Deligne–Mumford stack yields this result. ∎

Lemma 6.3**.**

The morphism $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to\mathcal{M}$ is proper.

Proof.

We prove this by the valuative criterion of properness and induction on $m\geq 1$. The result for $m=1$ is part of Theorem 4.1. Then we need only show that the map $\mathcal{Y}\colonequals\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m-1}(\mathcal{N})\times_{\mathcal{M}}\overline{\mathcal{S}}\vphantom{\mathcal{S}}(\mathcal{N})$ constructed in the first paragraph of the proof of Theorem 4.4 is proper. As the diagonal is locally noetherian we restrict to checking the valuative criterion using complete DVRs.

Let $R$ be a complete DVR, with residue field $K$. Consider a 2-commutative diagram:

[TABLE]

This means that we have a synchronized $(m-1)$-tuple of roots and an $m$-th root over the curve $C_{R}\to\operatorname{Spec}R$. Furthermore, these roots are all synchronized over the general fiber. However, as we demonstrated in the proof of Proposition 6.1 a synchronization on the generic fiber over a complete DVR extends to the entire family uniquely. ∎

We now prove that $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ is indeed a ‘closure’ of $\mathcal{S}^{m}(\mathcal{N})$ in the sense we would expect.

Lemma 6.4**.**

If $\mathcal{C}\to\mathcal{M}$ is generically smooth then $\mathcal{S}^{m}(\mathcal{N})\to\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ is a dense open immersion.

Proof.

Since all roots on a smooth curve are locally free, it suffices to show that any root can be deformed onto a smooth curve. Provided that any singular curve $X$ can be deformed to a smooth curve over $\mathcal{M}$, it follows immediately from the local deformation functors discussed in Section 5.1 that any tuple of roots on $X$ can also be deformed onto a smooth curve over $\mathcal{M}$. In particular, this is an immediate consequence of Lemma 5.4. ∎

Remark 6.5**.**

If $\mathcal{C}\to\mathcal{M}$ is not assumed to be generically smooth the result will certainly not hold, even when $m=1$. For example one could take $\mathcal{M}=\operatorname{Spec}k$. In this case, the isomorphism classes of roots of a fixed line bundle form a discrete set. If $\mathcal{C}$ is singular, then some of these roots will not be free.

6.2. The coarse moduli space

Lemma 6.6**.**

The map $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to\mathcal{M}$ is quasi-finite.

Proof.

We will build on the fact that $\overline{\mathcal{S}}\vphantom{\mathcal{S}}(\mathcal{N})\to\mathcal{M}$ is quasi-finite which is a part of Theorem 4.1. Fix a geometric point of the $m$-fold product $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N}){}\times_{\mathcal{M}}\dots\times_{\mathcal{M}}\overline{\mathcal{S}}\vphantom{\mathcal{S}}(\mathcal{N})$. Our goal is to show that there are finitely many synchronizations on the corresponding sequence of roots. Using Lemma 5.4 we see that we need to synchronize the roots only around the nodes. Now apply Remark A.32 to express synchronizations as a sequence of isomorphisms of the local multiple roots. Now apply Lemma A.21 to see that there are only finitely many isomorphisms. ∎

The proof below is adapted from Proposition 3.1.1 [jarvis-geometry].

Proposition 6.7**.**

If the coarse moduli space of $\mathcal{M}$ is projective over $S$ then the coarse moduli space of $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ is projective over $S$.

Proof.

It is well known that separated Deligne–Mumford stacks are coarsely represented by algebraic spaces (e.g. Corollary 1.3.1 [keel-mori-quotient]). So we let $X=\mathfrak{coarse}(\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N}))$ and $Y=\mathfrak{coarse}(\mathcal{M})$ be these coarse moduli spaces with $f:X\to Y$ the natural map between them.

This map $f$ is proper because the corresponding map between the stacks is proper. Also $f$ is quasi-finite by Lemma 6.6. Therefore $f$ is finite and hence projective. When $Y\to S$ is projective then so is $X\overset{f}{\to}Y\to S$. ∎

6.3. Proof of Theorem 1.1

We will first prove a general version of Theorem 1.1 below. To that end, let us recall all assumptions. Take $S\to\operatorname{Spec}\mathbbm{Z}[1/2]$ to be an excellent scheme. Suppose that $\mathcal{M}$ is a proper Deligne–Mumford stack over $S$ and $\mathcal{C}\to\mathcal{M}$ is a stable curve of genus $g\geq 2$. Further assume that the generic fiber of $\mathcal{C}\to\mathcal{M}$ over each irreducible component of $\mathcal{M}$ is smooth. Take a line bundle $\mathcal{N}$ on $\mathcal{C}$ of absolutely bounded degree (Definition 3.16).

Theorem 6.8**.**

With the conditions above the moduli space $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ is a smooth and proper Deligne–Mumford stack over the base scheme $S$. Furthermore, the inclusion $\mathcal{S}^{m}(\mathcal{N})\hookrightarrow\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ is dense and open while the forgetful map $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to\mathcal{M}$ is quasi-finite.

Proof.

The moduli space $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ is smooth by Theorem 5.1 and Deligne–Mumford by Proposition 6.2. The inclusion $\mathcal{S}^{m}(\mathcal{N})\hookrightarrow\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ is a dense open immersion by Lemma 6.4. The map $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to\mathcal{M}$ is proper by Lemma 6.3 and therefore $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to S$ is proper since $\mathcal{M}\to S$ is assumed to be proper. Lemma 6.6 establishes the claim on quasi-finiteness. ∎

Take $S=\operatorname{Spec}\mathbbm{Z}[1/2]$ or one of its geometric points. Let $\mathcal{M}=\overline{\mathcal{M}}_{g,n}$ be the moduli space of marked stable curves and take the universal curve $\overline{\mathcal{C}}_{g,n}\to\overline{\mathcal{M}}_{g,n}$ over it with sections $\sigma_{1},\dots,\sigma_{n}\colon\overline{\mathcal{M}}_{g,n}\to\overline{\mathcal{C}}_{g,n}$. Fix a tuple $(a_{1},\dots,a_{n})\in\mathbbm{Z}^{n}$ and define the line bundle $\mathcal{N}$ to be the twisted relative dualizing sheaf $\omega_{\overline{\mathcal{C}}_{g}/\overline{\mathcal{M}}_{g}}(\sum_{i=1}^{n}a_{i}\sigma_{i})$. With these conditions the moduli space $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ satisfies the hypotheses of Theorem 6.8.

Definition 6.9**.**

The moduli space of multiple-spin curves $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}$ is the space $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ where we are using the setup above with $n=0$ and $\mathcal{N}=\omega_{\mathcal{C}/\mathcal{M}_{g}}$.

Theorem 1.1 is a special case of Theorem 6.8.

6.4. Normalization of the product

Take $\mathcal{M}=\overline{\mathcal{M}}_{g}$ with the universal curve $\overline{\mathcal{C}}_{g}\to\overline{\mathcal{M}}_{g}$ and take as the line bundle $\mathcal{N}$ the relative dualizing sheaf $\omega_{\overline{\mathcal{C}}_{g}/\overline{\mathcal{M}}_{g}}$. The resulting moduli space $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})$ comes with a map $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{\times m}_{g}$ which forgets the synchronizations.

Proposition 6.10**.**

The moduli space $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{\times m}_{g}$ is not normal for $m\geq 2$ and the forgetful map $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}(\mathcal{N})\to\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{\times m}_{g}$ is the normalization.

Proof.

Cornalba [cornalba] proves that there is a unique divisorial component of the ramification locus of the map $\overline{\mathcal{S}}\vphantom{\mathcal{S}}_{g}\to\overline{\mathcal{M}}_{g}$ on each of the two components of $\overline{\mathcal{S}}\vphantom{\mathcal{S}}_{g}$. The two components are defined by the parity of the spin structure which plays no role for the nature of our problem.

The general member of the ramification locus is a limit spin structure on an irreducible curve with a single node, with the spin structure acquiring a singularity at the node. Therefore, $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{\times m}_{g}$ has divisorial singularities precisely along the closure of the locus of curves whose generic member is an irreducible curve with a single node and at least two of the $m$ roots are singular at the node. For the rest of the proof we may assume $m=2$, the argument being similar for $m\geq 2$.

Using Example 5.4.(b) of [cornalba] we can describe the map $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{\times 2}_{g}\to\overline{\mathcal{M}}_{g}$ locally around the non-normal locus, which in local coordinates is given by the map

[TABLE]

The normalization of the ring on the right is given by

[TABLE]

The two components of the normalization correspond to the choice of parity (Definition A.34) of the local sync data around the node. The corresponding formal neighbourhoods in $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{2}(\mathcal{N})$ are given exactly as in the normalized components on the left. This follows from the description of the local deformation functors (Proposition 5.5) and the fact that a generic irreducible nodal curve has no automorphisms and, in this case, there are no inessential automorphisms of the roots that act non-trivially on the base of the local deformation functors (Proposition 5.14). When there are $m\geq 2$ roots and $n\leq m$ of them are singular around the node, we would get $2^{n-1}$ components from the normalization which agrees with the number of choices of parity. ∎

7. Components of the moduli space of multiple-spin curves

Let $\mathcal{S}_{g}/k$ be the moduli space of spin curves, as described in the introduction, over an algebraically closed field $k$ of characteristic not $2$. In this section, we will classify the irreducible components of $\mathcal{S}^{m}_{g}=\mathcal{S}_{g}\times_{\mathcal{M}_{g}}\dots\times_{\mathcal{M}_{g}}\mathcal{S}_{g}$ for any $m\geq 1$. In doing so, we will also classify the irreducible components of its compactification $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}$ (Definition 6.9).

Lemma 7.1**.**

The connected components of $\mathcal{S}^{m}_{g}$ are irreducible. The number of (connected and irreducible) components of $\mathcal{S}^{m}_{g}$ does not depend on the field $k$. In fact, for any $k$ these components are in natural bijection with the components of $\mathcal{S}^{m}_{g}/\mathbbm{C}$. These statements are also true for $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}$ in place of $\mathcal{S}^{m}_{g}$.

Proof.

The inclusion $\mathcal{S}^{m}_{g}\hookrightarrow\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}$ is dense and open by Theorem 1.1 so that the irreducible components of $\mathcal{S}^{m}_{g}$ and $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}$ coincide.

Theorem 6.8 implies that we can define $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}$ over $\mathbbm{Z}[1/2]$, where it is still proper and smooth. Apply Theorem 4.17.(iii) of [deligne-mumford] to conclude that for any algebraically closed field $k$ of $\operatorname{char}(k)\neq 2$, the number of connected components of $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}|_{k}$ is the same as the number of connected components of $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}|_{\mathbbm{C}}$. The bijection of the components are attained by taking the closure of the components over $\overline{\mathcal{S}}\vphantom{\mathcal{S}}^{m}_{g}|_{\mathbbm{C}}$. Alternatively, the classification of the components given in Section 7.1 is characteristic independent and makes the bijection more explicit.

Finally, since the spaces in question are smooth, their connected components and irreducible components coincide. ∎

We have thus reduced the problem to classifying the components over $k=\mathbbm{C}$. We will take our base field to be $\mathbbm{C}$ for the rest of this section. The components of $\mathcal{S}^{m}_{g}$ over $\mathbbm{C}$ will be classified via the monodromy action on the fibers of $\mathcal{S}^{m}_{g}\to\mathcal{M}_{g}$.

7.1. Deformation invariants of spin structures

In this subsection we will describe a natural set of deformation invariants of an $m$-tuple of spin structures on a curve. The main theorem of this section states that these deformation invariants fully classify the components of $\mathcal{S}^{m}_{g}=\mathcal{S}_{g}\times_{\mathcal{M}_{g}}\dots\times_{\mathcal{M}_{g}}\mathcal{S}_{g}$. The proofs given in this subsection are outlines with proofs completed in the rest of this section.

Let $X$ be smooth proper genus $g$ curve over $\mathbbm{C}$ and let $S_{X}$ denote the fiber of $\mathcal{S}_{g}\to\mathcal{M}_{g}$ over $X$, which we will view as the isomorphism classes of spin structures $(\eta,\alpha\colon\eta^{\otimes 2}\overset{\sim}{\to}\omega_{X/\mathbbm{C}})$ on $X$. Up to isomorphisms, we can drop the map $\alpha$. In other words, the set $S_{X}$ is in bijection with the isomorphism classes of line bundles $\eta$ such that $\eta^{\otimes 2}\overset{\sim}{\to}\omega_{C}$. These isomorphism classes (and, by abuse of notation, the line bundles themselves) are called theta characteristics.

The only deformation invariant of a spin curve $(X,\eta)$ is the parity of the theta characteristic $\eta$ [mumford-theta-chars], which is defined to be the parity of the dimension of the global sections of $\eta$. We will denote the parity by

[TABLE]

In other words, $\mathcal{S}_{g}$ consists of two components and the component to which $(X,\eta)$ belongs is determined by the parity of $\eta$.

Given three theta characteristics $\eta_{1},\eta_{2},\eta_{3}\in S_{X}$, we can build a fourth one $\eta_{1}\otimes\eta_{2}\otimes\eta_{3}\otimes\omega_{X}^{\vee}=\eta_{1}\otimes\eta_{2}\otimes\eta_{3}^{\vee}$. In general, the parity of $\eta_{i}$’s alone do not determine the parity of $\eta_{1}\otimes\eta_{2}\otimes\eta_{3}\otimes\omega_{X}^{\vee}$ which, therefore, introduces another deformation invariant.

Definition 7.2**.**

For an $m$-tuple $\eta_{\bullet}=(\eta_{1},\dots,\eta_{m})\in S_{X}^{m}$ we define the syzygy relations $\operatorname{syzy}(\eta_{\bullet})$ to be the parities of all $\eta_{i}$ and all $\eta_{j}\otimes\eta_{k}\otimes\eta_{1}^{\vee}$:

[TABLE]

Once we account for the relations between the theta characteristics, the syzygy relations will give a complete set of deformation invariants. Moreover, we will see that the syzygy relations will be a minimal set of deformation invariants when $g\geq m$ and when there are no relations between the theta characteristics.

Definition 7.3**.**

A vector $c_{\bullet}\in\mathbbm{F}_{2}^{m}$ with $\sum c_{i}=0$ is a relation for a tuple $\eta_{\bullet}\in S_{X}^{m}$ if

[TABLE]

The set of relations $R(\eta_{\bullet})\subset\mathbbm{F}_{2}^{m}$ of $\eta_{\bullet}$ is a vector space. If $R(\eta_{\bullet})=0$ then $\eta_{\bullet}$ (as well as $(X,\eta_{\bullet})$) will be called non-degenerate.

Remark 7.4**.**

Note that the condition $\sum c_{i}=0$ is redundant if $g\neq 1$ by degree considerations. Also the lift of $c_{i}\in\mathbbm{F}_{2}$ to $\mathbbm{Z}$ in taking a power of $\eta_{i}$ influences only the value of $k$, but is otherwise immaterial.

Remark 7.5**.**

If $c_{\bullet}$ is a relation for $\eta_{\bullet}$ and $c_{i}\neq 0$ then

[TABLE]

for some $k^{\prime}$. In other words, if $R(\eta_{\bullet})\neq 0$ then $\eta_{\bullet}$ can be reconstructed from a non-degenerate sub-tuple of $\eta_{\bullet}$.

A portion of the main result of this section can be stated as follows.

Theorem 7.6**.**

The pair $(R(\eta_{\bullet}),\operatorname{syzy}(\eta_{\bullet}))$ is a complete deformation invariant of $(X,\eta_{\bullet})$. That is, two elements $(X,\eta_{\bullet}),(X^{\prime},\eta_{\bullet}^{\prime})\in\mathcal{S}^{m}_{g}$ lie in the same component of $\mathcal{S}^{m}_{g}$ if and only if $R(\eta_{\bullet})=R(\eta_{\bullet}^{\prime})$ and $\operatorname{syzy}(\eta_{\bullet})=\operatorname{syzy}(\eta_{\bullet}^{\prime})$.

Proof.

The deformation invariance of $(R,\operatorname{syzy})$ is Proposition 7.19. In particular, we can deform $(X^{\prime},\eta_{\bullet}^{\prime})$ to some $(X,\eta_{\bullet}^{\prime\prime})$ while keeping $(R,\operatorname{syzy})$ constant. Now we use the monodromy action of $\mathcal{S}^{m}_{g}\to\mathcal{M}_{g}$ over $X$ to argue that $(X,\eta_{\bullet})$ and $(X,\eta_{\bullet}^{\prime\prime})$ lie on the same component if and only if their space of relations and their syzygies coincide. The last step combines Section 7.3 (Corollary 7.21) and Section 7.4 (Corollary 7.27). ∎

The theorem above can be strengthened by describing exactly which syzygy relations can occur. We begin by shortening the syzygy relations by using a non-degenerate sub-tuple.

Definition 7.7**.**

Given $\eta_{\bullet}\in S_{X}^{m}$, there is a unique non-degenerate sub-tuple $\widetilde{\eta}_{\bullet}=(\eta_{i_{1}},\dots,\eta_{i_{k}})$ where $k=m-\dim R(\eta_{\bullet})$ and $i_{1}<\dots<i_{k}$ is the lexicographically smallest index set. Define the reduced syzygy relations $\widetilde{\operatorname{syzy}}(\eta_{\bullet})$ to be the syzygy relations $\operatorname{syzy}(\widetilde{\eta}_{\bullet})$ of this sub-tuple.

Let $\operatorname{Gr}(a,m)$ be the Grassmannian of $a$-dimensional subspaces in $\mathbbm{F}_{2}^{m}$.

Definition 7.8**.**

Given $R\in\operatorname{Gr}(m-k,m)$ and $\mathfrak{a}\in\mathbbm{F}_{2}^{k+{k-1\choose 2}}$ define

[TABLE]

If $R=0$ then we denote $\mathcal{S}^{(0,\mathfrak{a})}_{g}$ by $\mathcal{S}^{\mathfrak{a}}_{g}$ and call it a non-degenerate component of $\mathcal{S}^{m}_{g}$. When $R\neq 0$, the component $\mathcal{S}^{(R,\mathfrak{a})}_{g}$ is degenerate.

For any $R\in\operatorname{Gr}(m-k,m)$ and $\mathfrak{a}\in\mathbbm{F}_{2}^{k+{k-1\choose 2}}$ we can consider two spaces $\mathcal{S}^{\mathfrak{a}}_{g}\subset\mathcal{S}^{k}_{g}$ and $\mathcal{S}^{(R,\mathfrak{a})}_{g}\subset\mathcal{S}^{m}_{g}$. It is clear that there is an isomorphism $\mathcal{S}^{\mathfrak{a}}_{g}\overset{\sim}{\to}\mathcal{S}^{(R,\mathfrak{a})}_{g}$ which maps $(X,\eta_{\bullet})$ to $(X,\omega_{X}^{k_{\bullet}}\bigotimes_{j}\eta_{j}^{c_{\bullet,j}})$ where $k_{i}\in\mathbbm{Z}$ and $c_{i,j}\in\mathbbm{F}_{2}$ depend only on $R$. In particular, $\mathcal{S}^{(R,\mathfrak{a})}_{g}$ is non-empty iff $\mathcal{S}^{\mathfrak{a}}_{g}$ is non-empty, regardless of $R$.

As a consequence, $\widetilde{\operatorname{syzy}}(\eta_{\bullet})$ determines $\operatorname{syzy}(\eta_{\bullet})$ and Theorem 7.6 holds with the syzygy relations $\operatorname{syzy}$ replaced by reduced syzygy relations $\widetilde{\operatorname{syzy}}$. Hence, the components of $\mathcal{S}^{m}_{g}$ are indexed by a subset of

[TABLE]

Definition 7.9**.**

Let $\operatorname{Syzy}_{g}^{m}\subset\mathbbm{F}_{2}^{m+{m-1\choose 2}}$ be the set of all admissible syzygy relations,

[TABLE]

Since $\mathcal{S}^{(R,\mathfrak{a})}_{g}\simeq\mathcal{S}^{\mathfrak{a}}_{g}$, the decomposition of $\mathcal{S}^{m}_{g}$ into its (non-empty) irreducible components is given by

[TABLE]

To complete the classification of components of $\mathcal{S}^{m}_{g}$, it remains to describe the set $\operatorname{Syzy}_{g}^{m}$ for any $m$.

Theorem 7.10**.**

If $g\geq m$ then $\operatorname{Syzy}_{g}^{m}=\mathbbm{F}_{2}^{m+{m-1\choose 2}}$, i.e., $\forall\mathfrak{a}\in\mathbbm{F}_{2}^{m+{m-1\choose 2}}$ the space $\mathcal{S}^{\mathfrak{a}}_{g}$ is non-empty. If $g<\frac{m-1}{2}$ then $\operatorname{Syzy}_{g}^{m}=\emptyset$. In general, for given $(\mathfrak{a},g)$, Algorithm 7.14 decides if $\mathcal{S}^{\mathfrak{a}}_{g}$ is empty or not.

Proof.

We use the equivalence of theta characteristics and quadratic forms (Section 7.2) so that the problem is about the existence of a non-degenerate $m$-tuple of quadratic forms with syzygy relations $\mathfrak{a}$ on a $2g$-dimensional non-singular symplectic $\mathbbm{F}_{2}$-vector space. This problem is addressed in Section 7.5, in particular by Lemma 7.29 and Proposition 7.32. See the last paragraph of Section 7.5 to see Algorithm 7.14 rephrased in that context. ∎

Remark 7.11**.**

The bounds in the theorem are optimal. If $g<m$, some $\mathcal{S}^{\mathfrak{a}}_{g}$ will be empty. In fact, the sequence $\mathfrak{a}$ consisting solely of $1$s will give an empty component whenever $g<m$. If $g\geq\frac{m-1}{2}$ then some $\mathcal{S}^{\mathfrak{a}}_{g}$ will be non-empty.

Example 7.12**.**

For $g\geq 2$, $\mathcal{S}_{g}^{2}$ has $4$ irreducible components: $\mathcal{S}_{g}^{(0,0)},\mathcal{S}_{g}^{(1,0)},\mathcal{S}_{g}^{(0,1)},\mathcal{S}_{g}^{(1,1)}$. If $g=1$ then $\mathcal{S}_{g}^{(1,1)}$ is empty. Indeed, an elliptic curve has only one odd ($P=1$) theta characteristic.

Example 7.13**.**

For $g\geq 3$, $\mathcal{S}_{g}^{3}$ has $16$ components of the form $\mathcal{S}_{g}^{(a_{1},a_{2},a_{3};a_{23})}$. If $g=2$ then $\mathcal{S}_{g}^{(1,1,1;1)}$ is empty. To see this directly, take a genus 2 hyperelliptic curve $C$ with Weierstrass points $w_{1},\dots,w_{6}$. Up to relabeling, any three distinct odd theta characteristics can be written as $\eta_{i}\equiv w_{i}$ for $i=1,2,3$. But then $\eta_{1}\otimes\eta_{2}\otimes\eta_{3}^{-1}\equiv w_{1}+w_{2}+w_{3}-g_{2}^{1}$ is an even ($P=0$) theta characteristic.

Algorithm 7.14**.**

Given $\mathfrak{a}=(a_{i};a_{ij})\in\mathbbm{F}_{2}^{m+{m-1\choose 2}}$ and $g\in\mathbbm{N}$ this algorithm decides if $\mathcal{S}^{\mathfrak{a}}_{g}$ is empty or not. For $i,j\in\{2,\dots,m\}$ let $e_{ii}=0$ and $e_{ij}=a_{ij}+a_{i}+a_{j}+a_{1}$ for $i\neq j$. Let $E=\left(e_{ij}\right)_{2\leq i,j\leq m}$ and $K=\ker E\subset\mathbbm{F}_{2}^{m-1}$. Consider the quadratic form $q=\sum_{2\leq i\leq m}(a_{i}+a_{1})x_{i}^{2}+\sum_{2\leq i<j\leq m}e_{ij}x_{i}x_{j}$ as a function on $\mathbbm{F}_{2}^{m-1}$ with coordinates $x_{2},\dots,x_{m}$. Let $U\subset\mathbbm{F}_{2}^{m-1}$ be a space complementary to $K$, i.e., $U\oplus K=\mathbbm{F}_{2}^{m-1}$. If $q|_{K}\not\equiv 0$ or if the Arf invariant of $q|_{U}$ is $a_{1}$ then let $c=0$, otherwise let $c=1$. The equality $2g\geq(m-1)+\dim K+2c$ holds iff $\mathcal{S}^{\mathfrak{a}}_{g}$ is non-empty.

For small $(m,g)$ we can count the number of non-degenerate components $\mathcal{S}^{\mathfrak{a}}_{g}\subset\mathcal{S}^{m}_{g}$ using this algorithm. Let $N(m,g)$ be the cardinality of $\operatorname{Syzy}_{g}^{m}$. Theorem 7.10 implies that $N(m,\geq m)=2^{m+{m-1\choose 2}}$ and $N(2k+1,<k)=0$. The Table 1 lists the values of $N(m,g)$ for $m,g\leq 7$ obtained by applying Algorithm 7.14 to each possible $\mathfrak{a}$.

Remark 7.15**.**

It is easy to prove using Section 7.5 that $N(m,m-1)=N(m,m)-1$. The other extreme is also easy to describe: $N(2k+1,k)$ counts the number of non-singular quadratic forms on $\mathbbm{F}_{2}^{2k}$. We can evaluate this number by summing the orbit sizes of an even and odd quadratic form:

[TABLE]

where $O^{\pm}(2k)\subset\operatorname{GL}(\mathbbm{F}_{2}^{2k})$ is the orthogonal group preserving a non-singular even ($+$) or odd ($-$) quadratic form. The cardinality of these groups are well known [kleidman90]:

[TABLE]

7.2. Theta characteristics and quadratic forms

This section translates the set-up from the previous section on theta characteristics into the language of quadratic forms, which will be more convenient for the proofs. See [gross-harris--geometric_constructions] for our point of view and a survey of the connection between quadratic forms, theta characteristics and Arf invariants.

We recall our notation from the previous section: $X/\mathbbm{C}$ is a smooth proper curve of genus $g\geq 0$ and $S_{X}$ is the set of theta characteristics on $X$, i.e., isomorphism classes of line bundles $\eta$ on such that $\eta^{\otimes 2}\simeq\omega_{X}$.

Let $V_{X}$ be the set of $2$-torsion line bundles of $X$ up to isomorphism, i.e., for $\varepsilon\in V_{X}$ we have $\varepsilon^{\otimes 2}\simeq\mathcal{O}_{X}$. We will make the identification $V_{X}=\mathrm{H}^{1}(X,\mathbbm{F}_{2})$ where the right hand side uses Betti cohomology. This identification comes from viewing $\operatorname{Pic}^{0}_{X}$ as the quotient $\mathrm{H}^{1}(X,\mathcal{O}_{X})/\mathrm{H}^{1}(X,\mathbbm{Z})$ from which it follows that the $2$-torsion elements are $\mathrm{H}^{1}(X,\mathbbm{F}_{2})\simeq\mathrm{H}^{1}(X,\frac{1}{2}\mathbbm{Z})/\mathrm{H}^{1}(X,\mathbbm{Z})$. Note that $V_{X}\simeq\mathbbm{F}_{2}^{2g}$ and $S_{X}$ is a $V_{X}$ torsor.

Using the intersection product on Betti cohomology (or equivalently the Weil pairing on $2$-torsion line bundles [acgh, p.282]) we see that $V_{X}$ is a non-singular symplectic vector space: $\forall v\in V_{X}$, $v\cdot v=0$ and $\forall v\in V_{X},\,\exists u\in V_{X}$ such that $u\cdot v\neq 0$. Let $\operatorname{Sp}(V_{X})$ be the symplectic linear group acting on $V_{X}$.

Denote by $Q_{X}\subset\operatorname{Sym}^{2}V_{X}^{\vee}$ the set of quadratic forms $V_{X}\to\mathbbm{F}_{2}$ associated to the inner product on $V_{X}$. In characteristic $2$ this means that for any $q\in Q_{X}$ we have

[TABLE]

The set $Q_{X}$ is an affine space (i.e., torsor) over $V_{X}$. Given $v\in V_{X}$ and $q\in Q_{X}$ we write $q+v$ for the quadratic form defined by $(q+v)(u)=q(u)+v\cdot u$. Conversely, given two quadratic forms $q,q^{\prime}\in Q_{X}$ we denote by $q-q^{\prime}$ the element of $V_{X}$ translating $q^{\prime}$ to $q$. The only $\operatorname{Sp}(V_{X})$-invariant of a quadratic form $q\in Q_{X}$ is its Arf invariant $\operatorname{Arf}(q)\in\mathbbm{F}_{2}$, see [arf-invariant]. The value $\operatorname{Arf}(q)$ coincides with the value which $q$ attains most frequently on $V_{X}$.

The spaces $Q_{X}$ and $S_{X}$ are canonically identified, see [acgh, p.290] and [mumford-theta-chars]. We will denote this identification by $S_{X}\overset{\sim}{\to}V_{X}\colon\eta\mapsto q_{\eta}$ where $q_{\eta}$ is defined by

[TABLE]

The Arf invariant of the quadratic form $q_{\eta}$ coincides with the parity of $\eta$, [mumford-theta-chars],

[TABLE]

As we are in characteristic $2$, we have $q_{i}-q_{j}=q_{j}-q_{i}$ so we define $q_{i}+q_{j}\colonequals q_{i}-q_{j}=q_{j}-q_{i}$. It is standard that with this operation $V_{X}\oplus Q_{X}$ becomes a vector space with $\mathbbm{F}_{2}$-grading.

Definition 7.16**.**

A relation of $q_{\bullet}$ is an element $c_{\bullet}\in\mathbbm{F}_{2}^{m}$ satisfying $\sum c_{j}q_{j}=0$. The $\mathbbm{F}_{2}$-grading implies that $\sum c_{j}=0$. We denote the subspace of relations of $q_{\bullet}$ by $R(q_{\bullet})\subset\mathbbm{F}_{2}^{m}$. When $R(q_{\bullet})=0$ we say $q_{\bullet}$ is non-degenerate.

Let $\eta_{\bullet}\in S_{X}^{m}$ be an $m$-tuple of theta characteristics and $q_{\bullet}\in Q_{X}^{m}$ be the corresponding sequence of quadratic forms ($q_{i}\colonequals q_{\eta_{i}}$).

Lemma 7.17**.**

The space of relations for $\eta_{\bullet}$ and $q_{\bullet}$ coincide, i.e., $R(q_{\bullet})=R(\eta_{\bullet})\subset\mathbbm{F}_{2}^{m}$.

Proof.

Using (7.2.21) and (7.2.20) it can be checked that $q_{i}+q_{j}=q_{\eta_{i}\otimes\eta_{j}\otimes\omega_{X}^{\vee}}$. It is now clear that the relations of $\eta_{\bullet}$ as defined in Definition 7.3 coincides with the relations of $q_{\bullet}$. ∎

Remark 7.18**.**

Using $q_{i}+q_{j}=q_{\eta_{i}\otimes\eta_{j}\otimes\omega_{X}^{\vee}}$ we find $q_{1}+q_{2}+q_{3}=q_{\eta_{1}\otimes\eta_{2}\otimes\eta_{3}\otimes\omega_{X}^{\vee}}$. Therefore, the syzygy relations of a sequence of theta characteristics on $X$ (Definition 7.2) and the syzygy relations of the corresponding quadratic forms (Definition 7.23) coincide.

Proposition 7.19**.**

For any deformation of $(X,\eta_{\bullet})$ the space of relations $R(\eta_{\bullet})\subset\mathbbm{F}_{2}^{m}$ and the syzygy relations $\operatorname{syzy}(\eta_{\bullet})$ remains unchanged.

Proof.

As $(X,\eta_{\bullet})$ varies in a smooth family, the space $V_{X}$ remains analytic locally constant (Ehresmann’s fibration theorem) and, therefore, so does $Q_{X}$. As the parity of a theta characteristic is a deformation invariant [mumford-theta-chars] the identification of $\eta_{\bullet}$ with quadratic forms $q_{\bullet}$ can be done in families using (7.2.21). In particular, the syzygy relations remain constant during deformations.

As $V_{X}$ and $Q_{X}$ are discrete, the sections corresponding to $\eta_{\bullet}$ and $q_{\bullet}$ are locally constant. Then the space of relations $R(q_{\bullet})$ is locally constant. But the ambient space $\mathbbm{F}_{2}^{m}$ of $R(q_{\bullet})$ is globally constant and then so is $R(q_{\bullet})$. Now use Lemma 7.17. ∎

7.3. Monodromy action on theta characteristics

We can deduce the connected components of $\mathcal{S}^{m}_{g}$ by studying the monodromy action of the finite cover $\pi\colon\mathcal{S}^{m}_{g}\to\mathcal{M}_{g}$. The references for the standard results in this section are [earle-fowler--families_of_riemann_surfaces], [groth--teich] and [acgh, Appendix B].

Let $X$ be a smooth proper complex curve of genus $g\geq 1$, $S_{X}$ the fiber of $\pi$ over $X$, $V_{X}=\mathrm{H}^{1}(X,\mathbbm{F}_{2})\simeq\mathbbm{F}_{2}^{2g}$, and $Q_{X}$ is the affine space of quadratic forms on $V_{X}$ compatible with the symplectic intersection product.

We recall that the orbifold fundamental group of $\mathcal{M}_{g}$ is isomorphic to the mapping class group $\Gamma_{g}$. The monodromy action of the mapping class group $\Gamma_{g}$ on $V_{X}=\mathrm{H}^{1}(X,\mathbbm{F}_{2})$ preserves the intersection product and induces a surjective map $s\colon\Gamma_{g}\twoheadrightarrow\operatorname{Sp}(V_{X})$. Let $\operatorname{Sp}(V_{X})$ act on $Q_{X}$ from the left by inverse precomposition, that is $\operatorname{Sp}(V_{X})\times Q_{X}\to Q_{X}:(\gamma,q)\mapsto q\circ\gamma^{-1}$. The following statement appears to be well known [sipe--roots-of-canonical] and, in any case, is not hard to prove (see [acgh, p.294]).

Proposition 7.20**.**

The monodromy action of $\Gamma_{g}$ on $S_{X}$ factors through the natural surjective map $s\colon\Gamma_{g}\twoheadrightarrow\operatorname{Sp}(V_{X})$. With respect to the identification $S_{X}\mapsto Q_{X}\colon\eta\mapsto q_{\eta}$, the monodromy action on $S_{X}$ coincides with the precomposition action of $\operatorname{Sp}(V_{X})$ on $Q_{X}$. More precisely, $\forall u\in\Gamma_{g},\,\forall\eta\in S_{X}$ we have $q_{u\cdot\eta}=q_{\eta}\circ s(u)^{-1}$.

Combining Proposition 7.20 with the irreducibility of $\mathcal{M}_{g}$ we can determine the irreducible components of the $m$-fold product $\mathcal{S}^{m}_{g}=\mathcal{S}_{g}\times_{\mathcal{M}_{g}}\dots\times_{\mathcal{M}_{g}}\mathcal{S}_{g}$.

Corollary 7.21**.**

The irreducible (and connected) components of $\mathcal{S}^{m}_{g}$ are in bijection with the $\operatorname{Sp}(V_{X})$-orbits of $Q_{X}^{m}=Q_{X}\times\dots\times Q_{X}$ acting by precomposition, where $\gamma\in\operatorname{Sp}(V_{X})$ maps $(q_{1},\dots,q_{m})$ to $(q_{1}\circ\gamma^{-1},\dots,q_{m}\circ\gamma^{-1})$.

Proof.

The morphism $\pi\colon\mathcal{S}^{m}_{g}\to\mathcal{M}_{g}$ is an orbifold finite cover. Therefore, the components of $\mathcal{S}^{m}_{g}$ are in bijection with the orbits of any fiber of $\pi$ under the monodromy action. Proposition 7.20 states that the monodromy action of $\pi_{1}(\mathcal{M}_{g},X)\simeq\Gamma_{g}$ on $S_{X}\simeq Q_{X}$ factors through a surjective map $\Gamma_{g}\twoheadrightarrow\operatorname{Sp}(V_{X})$ followed by the precomposition action of $\operatorname{Sp}(V_{X})$ on $Q_{X}$. ∎

7.4. Affine geometry of quadratic forms

The goal of this subsection is to classify the orbits of $m$-tuples of quadratic forms on a symplectic $\mathbbm{F}_{2}$-vector space under the action of the symplectic group. Via Corollary 7.21 this will allow us to classify the components of $\mathcal{S}^{m}_{g}$. The standard text book [artin--geometric_algebra] offers a comprehensive treatment of quadratic spaces in characteristic not $2$, the basic treatment in characteristic $2$ is similar [knebusch2010].

Let $V$ be a $2g$-dimensional vector space over $\mathbbm{F}_{2}$ with a non-singular symplectic inner product $f\colon V\times V\to\mathbbm{F}_{2}$. Let $Q$ be the set of quadratic forms on $V$ associated to the inner product $f$. The set $Q$ is an affine space with space of translations $V$. The translation action is given by $V\times Q\to V\colon(v,q)\mapsto q+f(v,\cdot)$. We will simply write the latter quadratic form as $q+v$. Moreover, if $q,q^{\prime}\in Q$ are such that $q^{\prime}=q+v$ then we will express $v$ as $q^{\prime}-q$, or as $q^{\prime}+q$ since the characteristic is 2.

Let $\operatorname{Sp}(V)\colonequals\operatorname{Sp}(V,f)$ be the symplectic group of $V$ preserving $f$. There is a natural action of $\operatorname{Sp}(V)$ on $Q$ via precomposition. In other words, there is a pairing $\operatorname{Sp}(V)\times Q\to Q:(\gamma,q)\mapsto\gamma_{*}q=q\circ\gamma^{-1}$. Notice that $\gamma_{*}(q+v)=\gamma_{*}q+\gamma(v)$ since $f$ is invariant under $\gamma$. The Arf invariant $\operatorname{Arf}\colon Q\to\mathbbm{F}_{2}$ is the only invariant under the action of $\operatorname{Sp}(V)$ [arf-invariant].

To classify the $\operatorname{Sp}(V)$-orbits of $Q^{m}=Q\times\dots\times Q$ under precomposition we could remove the diagonals from $Q^{m}$ and use induction, since the orbits contained in a diagonal correspond to orbits in $Q^{m-1}$. However, we can do better: the affine linear structure on $Q$ allows us to reduce the number of elements in a tuple of quadratic forms to an affine linearly independent subset. As a consequence, we need only consider affine linearly independent tuples from $Q^{m}$.

Definition 7.22**.**

A sequence $q_{\bullet}=(q_{1},\dots,q_{m})$ of quadratic forms on $V$ is called non-degenerate if the affine span generated by $q_{\bullet}$ in $Q$ is of dimension $m-1$. (This definition agrees with the one in Definition 7.16.)

For non-degenerate tuples, we will see that the “syzygy relations” as defined below classify the $\operatorname{Sp}(V)$-orbits.

Definition 7.23**.**

Given a sequence of quadratic forms $q_{\bullet}=(q_{1},\dots,q_{m})$, let the syzygy relation of $q_{\bullet}$ to be the tuple

[TABLE]

Notation 7.24**.**

Given $q_{\bullet}\in Q^{m}$ define $W(q_{\bullet})=(W,q)$ where $W$ is obtained by translating the affine span of $q_{\bullet}$ by $q_{1}$ and the quadratic form $q$ is the restriction of $q_{1}$ to $W\subset V$. The obvious generating vectors for $W$ will be denoted by $v_{i}=q_{i}+q_{1}$ for $i=2,\dots,m$. Let $e_{i}=q(v_{i})$, $e_{ij}=f(v_{i},v_{j})$.

Lemma 7.25**.**

If $\operatorname{syzy}(q_{\bullet})=(a_{i};a_{ij})$ then $q(v_{i})=a_{i}+a_{1}$ and $f(v_{i},v_{j})=a_{ij}+a_{i}+a_{j}+a_{1}$.

Proof.

There is a relation between the Arf invariant of a quadratic form and the Arf invariant of its translate, which give

[TABLE]

Hence we deduce $q(v_{i})=a_{1}+a_{i}$. To evaluate $f(v_{i},v_{j})$ we combine the relation above and the bilinearity relation as in (7.2.20). ∎

Witt’s Lemma** (Theorem 3.3 and Exercise 3.31 in [wilson--finite_simple_groups]).**

Let $(V,q)$ and $(V^{\prime},q^{\prime})$ be isometric non-singular quadratic spaces. Let $W\subset V$ and $W^{\prime}\subset V^{\prime}$ be subspaces and $\mu\colon(W,q|_{W})\overset{\sim}{\to}(W^{\prime},q^{\prime}|_{W^{\prime}})$ be an isometry. Then, there is an isometry $\gamma\colon(V,q)\to(V^{\prime},q^{\prime})$ such that $\gamma|_{W}=\mu$.

Proposition 7.26**.**

Two sequences of non-degenerate quadratic forms on $V$ are in the same $\operatorname{Sp}(V)$-orbit if and only if their syzygy relations are equal.

Proof.

Let $q_{\bullet},q^{\prime}_{\bullet}\in Q^{m}$ be non-degenerate. Since $\operatorname{Sp}(V)$ preserves the Arf invariant, if there is a $\gamma\in\operatorname{Sp}(V)$ such that $\gamma_{*}q_{\bullet}=q^{\prime}_{\bullet}$ then the associated syzygy relations are equal, that is, $\operatorname{syzy}(q_{\bullet})=\operatorname{syzy}(q^{\prime}_{\bullet})$.

Conversely, suppose that $\operatorname{syzy}(q_{\bullet})=\operatorname{syzy}(q_{\bullet}^{\prime})$. Since, $\operatorname{Arf}(q_{1})=\operatorname{Arf}(q_{1}^{\prime})$ the non-singular quadratic spaces $(V,q_{1})$ and $(V,q_{1}^{\prime})$ are isometric. Let $W(q_{\bullet})=(W,q)$ and $W(q_{\bullet}^{\prime})=(W^{\prime},q^{\prime})$ be given as in Notation 7.24. The obvious generating elements form a basis since $q_{\bullet}$ and $q_{\bullet}^{\prime}$ are non-degenerate. We denote these bases by $W=\langle v_{2},\dots,v_{m}\rangle$ and $W^{\prime}=\langle v_{2}^{\prime},\dots,v_{m}^{\prime}\rangle$.

Define a linear map $\mu\colon W\to W^{\prime}:v_{i}\mapsto v^{\prime}_{i}$. Lemma 7.25 and the equality of the syzygy relations implies that $q(v_{i})=q^{\prime}(v^{\prime}_{i})$ and $f(v_{i},v_{j})=f(v_{i}^{\prime},v_{j}^{\prime})$. Therefore, $\mu\colon(W,q_{1}|_{W})\to(W^{\prime},q^{\prime}_{1}|_{W^{\prime}})$ is an isometry.

Applying Witt’s Lemma above we conclude that there is an isometry $\gamma\colon(V,q_{1})\to(V,q_{1}^{\prime})$ extending $\mu$. Necessarily $\gamma\in\operatorname{Sp}(V)$ and $\gamma_{*}q_{1}=q_{1}^{\prime}$. Furthermore, $\gamma_{*}(q_{i})=\gamma_{*}(q_{1}+v_{i})=\gamma_{*}(q_{1})+\gamma(v_{i})=q_{i}^{\prime}$. Thus $\gamma_{*}q_{\bullet}=q_{\bullet}^{\prime}$. ∎

Let $q_{\bullet}\in Q^{m}$ be a possibly degenerate $m$-tuple. We will use the space of relations $R(q_{\bullet})\subset\mathbbm{F}_{2}^{m}$ from Definition 7.16 and the obvious adaptation of the reduced syzygy relations $\widetilde{\operatorname{syzy}}(q_{\bullet})$ from Definition 7.7. The following follows immediately from Proposition 7.26.

Corollary 7.27**.**

Two tuples $q_{\bullet},q^{\prime}_{\bullet}\in Q^{m}$ are in the same $\operatorname{Sp}(V)$-orbit if and only if $R(q_{\bullet})=R(q^{\prime}_{\bullet})$ and $\widetilde{\operatorname{syzy}}(q_{\bullet})=\widetilde{\operatorname{syzy}}(q^{\prime}_{\bullet})$.

7.5. Prescribing syzygy relations

In this section we will give an algorithm to decide if given $\mathfrak{a}=(a_{i};a_{ij})\in\mathbbm{F}_{2}^{m+{m-1\choose 2}}$ there is a non-degenerate sequence $q_{\bullet}\in Q^{m}$ with $\operatorname{syzy}(q_{\bullet})=\mathfrak{a}$.

With Notation 7.24 and Lemma 7.25 in mind we define what would be an abstract copy of $W(q_{\bullet})$ if non-degenerate $q_{\bullet}$ corresponding to $\mathfrak{a}$ exists.

Notation 7.28**.**

Let $(W_{\mathfrak{a}},q_{\mathfrak{a}})$ be such that $W_{\mathfrak{a}}=\mathbbm{F}_{2}^{m-1}$ with basis $v_{2},\dots,v_{m}$ and dual basis $x_{2},\dots,x_{m}$. Let

[TABLE]

where $e_{i}=a_{i}+a_{1}$ and $e_{ij}=a_{ij}+a_{i}+a_{j}+a_{1}$.

Lemma 7.29**.**

There exists a non-degenerate sequence $q_{\bullet}$ of quadratic forms on $V$ with syzygy relations $\mathfrak{a}$ if and only there is a quadratic form $q_{V}$ on $V$ with $\operatorname{Arf}(q_{V})=a_{1}$ and an isometric immersion $\iota\colon(W_{\mathfrak{a}},q_{\mathfrak{a}})\hookrightarrow(V,q_{V})$.

Proof.

If there is an immersion $\iota$, let $q_{1}=q_{V}$ and $q_{i}=q_{1}+\iota(v_{i})$ for $i=2,\dots,m$. Then $q_{\bullet}=(q_{1},\dots,q_{m})$ is non-degenerate with syzygy relations $\mathfrak{a}$. Conversely, given $q_{\bullet}=(q_{1},\dots,q_{m})$ let $q_{V}=q_{1}$ and consider the subspace $W(q_{\bullet})$ of $V$ as defined in Notation 7.24. By design $(W_{\mathfrak{a}},q_{\mathfrak{a}})$ is isomorphic to $W(q_{\bullet})$, giving the map $\iota$. ∎

We now give an easy criterion to check for the existence of immersions of the kind required by Lemma 7.29. Let $(V,q_{V})$ and $(W,q_{W})$ be quadratic spaces with $V$ non-singular symplectic and $W$ possibly singular symplectic. The intersection pairing on $W$ defines a linear map $W\to W^{\vee}$ with kernel $K$. Choose a subspace $U\subset W$ complementary to $K$, i.e., $W=K\oplus U$. Note that the intersection pairing on $U$ is non-degenerate and the value of $\operatorname{Arf}(q_{W}|_{U})$ does not depend on our choice of $U$.

Notation 7.30**.**

For $a\in\mathbbm{F}_{2}$ let $c(q_{W},a)\in\{0,1\}$ be the correction term defined as follows:

[TABLE]

Remark 7.31**.**

In evaluating the correction term for $K=0$ or $U=0$, use the convention that the quadratic form on the zero space is zero and has Arf invariant zero.

Proposition 7.32**.**

There is an isometric immersion $(W,q_{W})\hookrightarrow(V,q_{V})$ iff the following inequality is satisfied:

[TABLE]

Proof.

Recall our decomposition $W=K\oplus U$. Let $K^{\prime}$ be an isomorphic copy of $K$ and define $W^{\prime}=W\oplus K^{\prime}$. Extend the symplectic pairing on $W$ to $W^{\prime}$ so that $K^{\prime}$ is orthogonal to $U$ and is dual to $K$. Naturally, $W^{\prime}$ is a non-singular symplectic space and any embedding $W\hookrightarrow V$ will extend to an embedding $W^{\prime}\hookrightarrow V$. This forces the inequality $\dim V\geq\dim W+\dim K$.

Pick a basis $\gamma_{1},\dots,\gamma_{s}$ of $K$ and its dual basis $\gamma_{1}^{\prime},\dots,\gamma_{s}^{\prime}\in K^{\prime}$. Any extension of the quadratic form $q_{W}$ to a quadratic form $q_{W^{\prime}}$ on $W^{\prime}$ requires only the values $q_{W^{\prime}}(\gamma_{i}^{\prime})$ for $i=1,\dots,s$. Using the obvious hyperbolic decomposition of $K\oplus K^{\prime}$ defined by our choice of bases, we note that:

[TABLE]

If $q_{W}|_{K}\not\equiv 0$ then we can choose an extension $q_{W^{\prime}}$ of either Arf invariant. However, if $q_{W}|_{K}\equiv 0$ then any extension $q_{W^{\prime}}$ will necessarily have $\operatorname{Arf}(q_{W^{\prime}})=\operatorname{Arf}(q_{W}|_{U})$. To change the parity, we would have to join an odd plane to $W^{\prime}$, increasing the dimension by 2 and obtaining, say $(W^{\prime\prime},q_{W^{\prime\prime}})$. This forces the refined inequality $\dim V\geq\dim W+\dim K+2c(q_{W},\operatorname{Arf}(q_{V}))$.

However, this inequality is also sufficient. Construct $(W^{\prime},q_{W^{\prime}})$ (or the larger $(W^{\prime\prime},q_{W^{\prime\prime}})$ if necessary) such that $\operatorname{Arf}(q_{W^{\prime}})=\operatorname{Arf}(q_{V})$ (or $\operatorname{Arf}(q_{W^{\prime\prime}})=\operatorname{Arf}(q_{V})$). Using the hyperbolic decompositions of $V$ and $W^{\prime}$ (or $W^{\prime\prime}$) it is clear that we can find an embedding $W^{\prime}\hookrightarrow V$ (or $W^{\prime\prime}\hookrightarrow V$). ∎

Corollary 7.33**.**

For any $\mathfrak{a}\in\mathbbm{F}_{2}^{m+{m-1\choose 2}}$ there exists a non-degenerate sequence $q_{\bullet}=(q_{1},\dots,q_{m})$ of quadratic forms on $V$ with syzygy relations $\mathfrak{a}$ if

[TABLE]

Proof.

Observe that $m-1=\dim W_{\mathfrak{a}}\geq\dim K$ and $1\geq c(q_{\mathfrak{a}},\bullet)$ so that the right hand side of (7.5.26) is at most $2m$. Since $\dim V\geq 2m$, Proposition 7.32 implies the existence of an isometric immersion $(W_{\mathfrak{a}},q_{\mathfrak{a}})\hookrightarrow(V,q_{V})$. We conclude by Lemma 7.29. ∎

Remark 7.34**.**

Note that the inequality (7.5.27) is optimal. Indeed, if $g<m$ then the tuple $\mathfrak{a}$ consisting entirely of $1$s does not constitute a syzygy relation. In this case, the intersection product on $W_{\mathfrak{a}}$ is identically zero. Therefore, $K=W$, $U=0$, and $\operatorname{Arf}(q_{\mathfrak{a}}|_{U})=0\neq 1=\operatorname{Arf}(q_{V})$. The inequality (7.5.26) is then violated.

In general, we can decide if $\mathfrak{a}$ is the syzygy relation of a non-degenerate $m$-tuple of quadratic forms on a $2g$-dimensional non-singular symplectic space as follows. The tuple $\mathfrak{a}$ allows us to construct $q_{\mathfrak{a}}$ as in (7.5.25). The bilinear pairing on $W_{\mathfrak{a}}=\mathbbm{F}_{2}^{m-1}$ induced by $q_{\mathfrak{a}}$ is given by the coefficients $e_{ij}$ of $x_{i}x_{j}$ ($i\neq j$). In the context of Lemma 7.29 we can thus evaluate the correction term $c(q_{\mathfrak{a}},a_{1})$ to check if the inequality in Proposition 7.32 holds. In this setting, this inequality specializes to

[TABLE]

The inequality holds if and only if the syzygy relations are realized. This is Algorithm 7.14.

Appendix A The universal deformation of a rooted node

In this section we describe the universal deformation of a node together with a root of a line bundle, that is, of a rooted node. This amounts to bringing together the results available in literature, specifically [faltings-bundles] and [jarvis-torsion-free]. Faltings [faltings-bundles] studies, essentially, square roots of vector bundles whereas Jarvis [jarvis-torsion-free] studies $r$-th roots of line bundles. We are interested in the intersection of the two, the square roots of line bundles. Because of its simplicity, a treatment of this special case is quite revealing.

A.1. Conventions

In this section we are solely concerned with local, or inifinitesimal, deformation functors. Therefore, at times, we will simply refer to these as deformation functors. Infinitesimal deformations of an affine scheme are always affine [sernesi-deformation] and therefore we will work in the dual category of algebras instead of schemes.

For the rest of this section $k$ is an algebraically closed field of characteristic $\neq 2$ and $\Lambda$ is a complete noetherian local ring with residue field $k$. The category of Artinian local $\Lambda$-algebras with residue field $k$ is denoted by $\operatorname{Art}_{\Lambda}$. We denote by $\text{\^{A}rt}_{\Lambda}$ the category of complete noetherian local $\Lambda$-algebras $(R,\mathfrak{m}_{R})$ such that for each $n\geq 1$ the quotient $R/\mathfrak{m}_{R}^{n}$ belongs to $\operatorname{Art}_{\Lambda}$. Every $R\in\text{\^{A}rt}_{\Lambda}$ comes equipped with a natural map $R\to k=R/\mathfrak{m}_{R}$.

A functor $F\colon\operatorname{Art}_{\Lambda}\to{(\text{Sets})}$ is said to be pro-represented by $R\in\text{\^{A}rt}_{\Lambda}$ if $F$ is isomorphic to the restriction of the functor $\hom_{\text{\^{A}rt}_{\Lambda}}(R,\cdot)$ to $\operatorname{Art}_{\Lambda}$, see [schlessinger] for more details.

We will use equality between two objects $X=Y$ to mean that there exists a unique isomorphism between $X$ and $Y$.

A.2. Deformations of a node

Definition A.1**.**

The $k$-algebra $\bar{A}\colonequals k[[x,y]]/(xy)$ is called the standard node. A tuple $(A/R,\iota\colon A\to\bar{A})$ where $A$ is a complete local flat $R$-algebra and $\iota$ factors through an isomorphism $A\otimes_{R}k\to\bar{A}$ is called a deformation of the node over $R$. Two deformations $(A/R,\iota)$ and $(A^{\prime}/R,\iota^{\prime})$ are isomorphic if there is an $R$-isomorphism of $A$ and $A^{\prime}$ commuting with the maps $\iota$ and $\iota^{\prime}$.

Definition A.2**.**

The functor of infinitesimal deformations of the node is the functor $G\colon\operatorname{Art}_{\Lambda}\to{(\text{Sets})}$ which maps $R$ to the set of isomorphism classes of deformations of the node over $R$.

The following theorem is folklore. See [stacks-project, Tag 0CBX] for the idea of proof.

Theorem A.3**.**

The deformation $(\Lambda[[x,y,t]]/(xy-t)/\Lambda[[t]],j\colon t\mapsto 0)$ is universal. That is, $\Lambda[[\tau]]$ pro-represents $G$, which for any deformation $(A/R,\iota)\in G(R)$ defines a unique map $\Lambda[[t]]\to R$ giving rise to an isomorphism $A\simeq R[[x,y]]/(xy-\pi)$.

A.3. Deformations of a root

Definition A.4**.**

Let $(A/R,\iota)$ be a deformation of the node and let $E$ be an $R$-flat and $R$-relatively torsion-free rank-1 $A$-module. Suppose $b\colon E^{\otimes 2}\to A$ is a non-degenerate bilinear form (Definition 3.3). Then the pair $(E,b)$ will be called a root. If $E$ is a free $A$-module, and hence $E\simeq A$, then $(E,b)$ is called a free root. An isomorphism between two roots $(E,b)$ and $(E^{\prime},b^{\prime})$ is an isomorphism $\mu\colon E\to E^{\prime}$ such that $b^{\prime}\circ\mu^{2}=b$.

Notation A.5**.**

For a root $(E,b)$ on $(A/R,\iota)$ we will write $\iota_{*}E$ for $E\otimes_{A}\bar{A}$ and $\iota_{*}b$ for the map $\iota_{*}E^{2}\to\bar{A}$ induced from $b$.

Definition A.6**.**

Let $(\bar{E},\bar{b})$ be a root on the standard node and let $(E,b)$ be a root on a deformation of the node $(A/R,\iota)$. An isomorphism $j\colon\iota_{*}E\overset{\sim}{\to}\bar{E}$ such that $\bar{b}\circ j^{2}=\iota_{*}b$ is called a restriction map. The tuple $(E,b,j)$ is a deformation of the root $(\bar{E},\bar{b})$. An isomorphism of deformations is an isomorphism of roots commuting with the restriction maps.

Definition A.7**.**

The standard node together with a root $(\bar{A}/k,\bar{E},\bar{s})$ will be called a rooted node. A deformation of the standard node together with a deformation of the root $(\bar{E},\bar{s})$ is a tuple $(A/R,\iota,(E,b,j))$, which will be called a deformation of the rooted node over $R$. Isomorphisms are defined in the obvious way.

Lemma A.8**.**

If $(\bar{E},\bar{s})$ is a free root on $\bar{A}/k$, then for any $R\in\text{\^{A}rt}_{\Lambda}$ there exists a unique deformation of $(\bar{A}/k,\bar{E},\bar{s})$ over $R$, up to unique isomorphisms.

Proof.

Since $A$ is complete with respect to $\mathfrak{m}_{R}\cdot A$ we just have to show that there exists a unique lift of a free root from $R/\mathfrak{m}_{R}^{n}$ to $R/\mathfrak{m}_{R}^{n+1}$. Existence of the lift is clear. In order to conclude that there exists a unique isomorphisms between any two lifts, we observe that any two lifts of square roots of an invertible element in $R/\mathfrak{m}_{R}^{n}$ are equal. ∎

Remark A.9**.**

The proof does not require the presence of a node and the argument works just as well around a smooth point of a curve.

Definition A.10**.**

Given a root $(\bar{E},\bar{s})$ on $\bar{A}/k$ let $F\colon\operatorname{Art}_{\Lambda}\to{(\text{Sets})}$ be the functor of isomorphism classes of deformations of the rooted node $(\bar{A}/k,\bar{E},\bar{s})$.

Recall that $G\colon\operatorname{Art}_{\Lambda}\to{(\text{Sets})}$ is the functor of infinitesimal deformations of the node $\bar{A}/k$. There is a natural transformation $F\to G$ obtained by forgetting the root. Lemma A.8 implies that if $(\bar{E},\bar{s})$ is a free root then the forgetful functor $F\to G$ is an isomorphism. Complementing Theorem A.3 we have the following result.

Theorem A.11**.**

If $(\bar{E},\bar{s})$ is not free then $F$ is pro-represented by $\Lambda[[\tau]]$. The natural transformation $F\to G$ obtained by forgetting the root corresponds to the map $\Lambda[[t]]\to\Lambda[[\tau]]:t\mapsto\tau^{2}$.

We will prove this theorem by constructing a universal family over $\Lambda[[\tau]]$, see Theorem A.26. To do this we need Faltings’ classification of torsion-free modules.

A.4. Classification of roots

Fix $R\in\text{\^{A}rt}_{\Lambda}$ and $A=R[[x,y]]/(xy-\pi)$ for some $\pi\in\mathfrak{m}_{R}$. Define $\iota\colon A\to\bar{A}=k[[x,y]]/(xy)$ using $R\to R/\mathfrak{m}_{R}=k$. For the rest of this section, we will be interested in non-free roots.

A.4.1. Faltings’ construction

Let $p,q\in R$ be such that $pq=\pi$. Define $2\times 2$ matrices with entries in $A$:

[TABLE]

To avoid confusion, we may write $\alpha(p,q)$ and $\beta(p,q)$ instead. Clearly $\alpha\beta=\beta\alpha=0$ but, moreover, we get an exact infinite periodic complex (see [faltings-bundles]):

[TABLE]

Definition A.12**.**

Define $E(p,q)\subset A^{\oplus 2}$ to be the image of $\alpha$ or, equivalently, the kernel of $\beta$. Truncating the complex above we get a free resolution of $E(p,q)$. Whenever we refer to the standard resolution of $E(p,q)$ this is the one we mean.

Remark A.13**.**

The module $E(p,q)$ is relatively torsion-free and $R$-flat as shown in Construction 3.2 of [faltings-bundles].

Remark A.14**.**

If either $p$ or $q$ is invertible, then $E(p,q)$ is free. As we are interested in non-free roots, from now on we assume $p,q\in\mathfrak{m}_{R}$. This forces $\pi$ to be in $\mathfrak{m}_{R}^{2}$.

There is a natural isomorphism between $E(p,q)^{\vee}=\hom(E(p,q),A)$ and $E(q,p)$. In particular, when $p=q$ the module $E(p,p)$ is self-dual and we get a natural pairing $s_{p}\colon E(p,p)^{2}\to A$.

Definition A.15**.**

The natural pairing $s_{p}\colon E(p,p)^{2}\to A$ will be called the standard map.

Definition A.16**.**

Let us refer to $(E(p,p),s_{p})$ as a standard root on $(A/R,\iota)$.

A.4.2. Properties of standard roots

Given any bilinear map $b$ on $E(p,q)$ we can lift it to $\operatorname{Sym}^{2}A^{\oplus 2}\twoheadrightarrow\operatorname{Sym}^{2}E(p,q)$ to get a morphism $\tilde{b}:\operatorname{Sym}^{2}A^{\oplus 2}\to A$. Letting $e_{1},e_{2}$ be the standard generators of $A^{\oplus 2}$ and $e_{1}^{2},e_{1}e_{2},e_{2}^{2}$ the corresponding generators of $\operatorname{Sym}^{2}A^{\oplus 2}$ we may uniquely identify $b$ with the values $b_{0}\colonequals\tilde{b}(e_{1}^{2}),b_{1}\colonequals\tilde{b}(e_{1}e_{2}),b_{2}\colonequals\tilde{b}(e_{2}^{2})$. By abuse of notation we will write $b=(b_{0},b_{1},b_{2})$.

Lemma A.17**.**

For a standard root $(E(p,p),s_{p})$ we have $s_{p}=(x,p,y)$.

Proof.

Let $\langle\cdot,\cdot\rangle$ denote the natural pairing $A^{\oplus 2}\times A^{\oplus 2}\to A$. The identification of $E(p,p)^{\vee}$ with $E(p,p)$ makes it clear that if $e,f\in E(p,p)$ and $u,v\in A^{\oplus 2}$ are such that $e=\alpha(u)$ and $f=\alpha(v)$ then we have $s_{p}(e,f)=\langle u,\alpha(v)\rangle=\langle\alpha(u),v\rangle$. Now, direct computation yields the result. ∎

Lemma A.18**.**

Any root $(E(p,p),b)$ on $A/R$ is isomorphic to $(E(p,p),s_{p})$.

Proof.

Lemma 5.4.10 [jarvis-torsion-free] states that $b=(ax,b_{1},awy)$ where $a\in A^{*}$ and $w\in R^{*}$ such that $wp=p$. Note here that as we are working with square roots of line bundles, the hypothesis of the cited lemma is satisfied (as stated in Corollary 5.4.9 loc.cit.).

Let $v$ be a square root of $w$ and consider the isomorphism $\mu:E\to E$ which descends from multiplication by $\begin{pmatrix}v&0\\ 0&v^{-1}\end{pmatrix}$ on $A^{\oplus 2}$. Clearly $\mu^{*}b=a(vb_{0},b_{1},v^{-1}b_{2})=va(x,v^{-1}b_{1},y)$. By scaling $E$ we may now assume $va=1$ and $b=(x,b_{1},y)$ where we changed $b_{1}$.

Since $\alpha(y,0)=\alpha(0,p)$ and $\alpha(0,x)=\alpha(p,0)$ we see that $pb_{2}=yb_{1}$ and $pb_{0}=xb_{1}$. Which means $y(b_{1}-p)=x(b_{1}-p)=0$ (we used $wp=p$). But $\operatorname{Ann}_{A}(x,y)=0$ hence $b_{1}=p$. ∎

Theorem A.19** (Faltings).**

For any root $(E,b)$ on $A$, $\exists\,p\in\mathfrak{m}_{R}$ such that $(E,b)\overset{\sim}{\to}(E(p,p),s_{p})$.

Proof.

In [faltings-bundles, Theorem 3.7] Faltings classifies non-degenerate quadratic forms on $E$, or equivalently bilinear forms $b\colon E^{2}\to A$. The conclusion is that $(E,b)\simeq(E(p,p),b^{\prime})$ for some $p\in\mathfrak{m}_{R}$ and $b^{\prime}$. Apply Lemma A.18 to change $b^{\prime}$ to the standard map $s_{p}$. ∎

Notation A.20**.**

If $\mu\in\hom(E(p,p),E(q,q))$ lifts to a map $\begin{pmatrix}a_{11}&a_{12}\\ a_{21}&a_{22}\end{pmatrix}:A^{\oplus 2}\to A^{\oplus 2}$ then we will write $\mu=\begin{bmatrix}a_{11}&a_{12}\\ a_{21}&a_{22}\end{bmatrix}$.

Lemma A.21**.**

$\operatorname{Iso}((E(p,p),s_{p}),(E(q,q),s_{q}))=\left\{\begin{bmatrix}\varepsilon_{1}&0\\ 0&\varepsilon_{2}\end{bmatrix}\mid\varepsilon_{1},\,\varepsilon_{2}\in\{\pm 1\},\,q=\varepsilon_{1}\varepsilon_{2}p\right\}$**

Proof.

We adapt the proof of Proposition 4.1.12 of [jarvis-torsion-free]. An easy observation is that we can choose a lift of $\mu$ of the form

[TABLE]

where $u_{+},v_{+}\in R[[x]]\subset A$ and $u_{-},v_{-}\in R[[y]]\subset A$. Now we simply have to calculate what it means to have $\mu^{*}s_{p}=s_{q}$ in terms of $u_{\pm},v_{\pm}$. Using that $x$ (resp. $y$) does not annihilate $R[[x]]$ (resp. $R[[y]]$) we see immediately that $v_{\pm}=0$, $u_{\pm}\in\{\pm 1\}$ is forced. Then $q=u_{+}u_{-}p$. ∎

Notation A.22**.**

On the standard node $\bar{A}/k$ we will define $\bar{E}\colonequals E(0,0)$ and $\bar{s}\colonequals s_{0}$.

Definition A.23**.**

On $(A/R,\iota)$ there is a natural restriction map from $E(p,q)$ to $\bar{E}=E(0,0)$ which is the map $r$ completing the diagram below:

[TABLE]

Remark A.24**.**

Lemma A.21 implies that choosing a restriction map $r$ rigidifies the root. That is, $\operatorname{Aut}(E(p,p),s_{p},r)=1$. The following result takes this observation one step further.

Proposition A.25**.**

Suppose that $(E,b,j)$ is a deformation of $(\bar{E},\bar{s})$. Then there exists precisely one $p\in R$ such that $(E,b,j)\simeq(E(p,p),s_{p},r)$. Moreover, this isomorphism is unique.

Proof.

Uniqueness of the isomorphism follows from Remark A.24. By Theorem A.19 we know that $(E,b)\simeq(E(p,p),s_{p})$ for some $p\in R$. Picking one such isomorphism we may assume $(E,b,j)=(E(p,p),s_{p},j)$ for some $j$. However, with our choice of identification, $j$ is not necessarily equal to the natural restriction $r$.

Let $\gamma=j\circ r^{-1}:(\bar{E},\bar{s})\to(\bar{E},\bar{s})$. Then $\gamma$ is uniquely defined by $\gamma(0)\in\{\pm\operatorname{id},\pm\begin{pmatrix}1&0\\ 0&-1\end{pmatrix}\}$. An isomorphism $\mu\colon(E(p,p),s_{p})\overset{\sim}{\to}(E(q,q),s_{q})$ commutes with $j$ and $r$ iff $\iota_{*}\mu\colon(\bar{E},\bar{s})\overset{\sim}{\to}(\bar{E},\bar{s})$ is the inverse of $\gamma$. Having classified such $\mu$ in Lemma A.21 we know that there exists precisely one $q$ and one $\mu$ which will restrict to $\gamma^{-1}$. ∎

A.5. Universal deformation of rooted node

Take a non-free root $(\bar{E},\bar{s})$ on $\bar{A}/k$ and let $F\colon\operatorname{Art}_{\Lambda}\to{(\text{Sets})}$ be the deformation functor of $(\bar{A}/k,\bar{E},\bar{s})$ (Definition A.10).

Theorem A.26**.**

The ring $\Lambda[[\tau]]$ pro-represents $F$ via the universal family

[TABLE]

Proof.

Given any deformation of the rooted node $(A/R,\iota,E,b,j)$ we wish to show that there exists a unique map $\varphi\colon\Lambda[[\tau]]\to R$ such that $A$ is canonically isomorphic to $\Lambda[[x,y,\tau]]/(xy-\tau^{2})\otimes_{\Lambda[[\tau]]}R$ and $\varphi_{*}(E(\tau,\tau),s_{\tau},r)\simeq(E,b,j)$. Furthermore, that this isomorphism is unique.

Proposition A.25 shows that there exists a unique $p\in R$ such that $(E,b,j)$ is (uniquely) isomorphic to $(E(p,p),s_{p},r)$, moreover this implies $A=R[[x,y]]/(xy-\pi)$ with $\pi=p^{2}$. Define $\varphi$ by $\tau\mapsto p$. Since the maps $s_{p}$ and $r$ are natural, the pushforward of $(E(\tau,\tau),s_{\tau},r)$ is (uniquely) isomorphic to $(E(p,p),s_{p},r)$.

Choosing any other map $\tau\mapsto q$ would give a root that is not isomorphic to $(E,b,j)$. Thus we have proven the existence and uniqueness of the map $\varphi$ of the desired form. ∎

A.6. Deformations of nodes with multiple roots

Taking a multiple root in the sense of Definition 3.12 and restricting it to the formal neighbourhood of a node in a family of curves warrants the study of the objects defined here. Fix a positive integer $m$, let $(A/R,\iota)$ be a deformation of the node as in Definition A.1 and let $(E_{i},b_{i})_{i=1}^{m}$ be a sequence of roots on $A/R$.

Notation A.27**.**

We will reorder the roots so that we may assume there is an $m^{\prime}\in\{0,\dots,m\}$ such that a root $E_{i}$ is free if and only if $i>m^{\prime}$.

Definition A.28**.**

A sequence of maps $(\varphi_{i}\colon F\to E_{i}^{2})_{i=1}^{m}$ which satisfy the following conditions are called a local pre-sync data: (1) if $E_{i}$ is not free then $\varphi_{i}$ is an isomorphism, (2) if $E_{i}$ are free then all $\varphi_{i}$ are isomorphisms, (3) for all $i,j$ we have $b_{i}\circ\varphi_{i}=b_{j}\circ\varphi_{j}$.

Remark A.29**.**

It will be often more convenient to identify the sequence $(\varphi_{i})_{i=1}^{m}$ with a sequence of isomorphisms $(E_{1}^{2}\to E_{i}^{2})_{i=1}^{m^{\prime}}$. The free roots do not need additional synchronization as the maps $b_{i}$ already identify their squares with the target.

Definition A.30**.**

Let $(\varphi_{i})_{i=1}^{m}$ be a local pre-sync data. If for every $i,j\leq m^{\prime}$ the natural maps $\operatorname{Sym}^{2}\operatorname{Sym}^{2}E_{i}\to\operatorname{Sym}^{4}E_{j}$ factor through an isomorphism $\operatorname{Sym}^{4}E_{i}\to\operatorname{Sym}^{4}E_{j}$ then $(\varphi_{i})_{i=1}^{m}$ is called a local sync data.

Believing this can be no source of confusion, we will abuse notation and call a tuple $(E_{i},b_{i},\varphi_{i})_{i=1}^{m}$ a multiple-root on $A$, where $(\varphi_{i})_{i=1}^{m}$ is a local sync data for the roots $(E_{i},b_{i})_{i=1}^{m}$. An isomorphism between two multiple-roots $(E_{i},b_{i},\varphi_{i}\colon F\to E_{i}^{2})_{i=1}^{m}$ and $(E_{i}^{\prime},b_{i}^{\prime},\varphi_{i}^{\prime}\colon F^{\prime}\to(E_{i}^{\prime})^{2})_{i=1}^{m}$ is a sequence of isomorphisms $(h_{i}\colon E_{i}\to E_{i}^{\prime})_{i=1}^{m}$ for which there exists an isomorphism $f\colon F\to F^{\prime}$ satisfying $h_{i}^{2}\circ\varphi_{i}=\varphi_{i}^{\prime}\circ f$.

Using the map $\iota\colon A\to\bar{A}$ we can define the push-forward $\iota_{*}(E_{i},b_{i},\varphi_{i})_{i=1}^{m}$ to be the tuple $(\iota_{*}E_{i},\iota_{*}b_{i},\iota_{*}\varphi_{i})_{i=1}^{m}$ with $\iota_{*}E_{i}=E_{i}\otimes_{A}\bar{A}$ and $\iota_{*}b_{i}$ as in Definition A.5 and $\iota_{*}\varphi_{i}\colon F\otimes_{A}\bar{A}\to\iota_{*}E_{i}$ the natural restriction of $\varphi_{i}$.

Fix a multiple-root $\bar{\xi}\colonequals(\bar{E}_{i},\bar{b}_{i},\bar{\varphi}_{i})_{i=1}^{m}$ on the standard node $\bar{A}$. Suppose $\xi\colonequals(E_{i},b_{i},\varphi_{i})_{i=1}^{m}$ is a multiple-root on $A$ such that there exists a sequence of isomorphism $h_{i}\colon\iota_{*}E_{i}\to\bar{E}_{i}$ giving rise to an isomorphism between the multiple-roots $\iota_{*}\xi$ and $\bar{\xi}$. Then, the sequence of maps $j_{i}\colon E_{i}\to\iota_{*}E_{i}\overset{h_{i}}{\to}\bar{E}_{i}$ will be called a restriction map of $\xi$ to $\bar{\xi}$. The tuple $(A/R,\iota,(E_{i},b_{i},\varphi_{i},j_{i})_{i=1}^{m})$ will be called a deformation of $(\bar{A}/k,\bar{\xi})$. An isomorphism between two such deformations must commute with the restriction maps.

Definition A.31**.**

Let $H\colon\operatorname{Art}_{\Lambda}\to{(\text{Sets})}$ be the functor assigning to each $R$ the set of isomorphism classes of deformations of $(\bar{A}/k,\bar{\xi})$.

Remark A.32**.**

Given a sync data $(\varphi_{i})_{i=1}^{m}$, we can replace it with a sequence of isomorphisms $(E_{1}^{2}\to E_{i}^{2})_{i\leq m^{\prime}}$.

In order to construct a universal family for the functor $H$, we will reformulate the definition of local sync data by analyzing isomorphisms between squares of roots. Let $(E(p,p),s_{p})$ and $(E(q,q),s_{q})$ be standard roots on $A/R$ as in Definition A.16. Suppose $\varphi\colon E(p,p)^{2}\overset{\sim}{\to}E(q,q)^{2}$ is an isomorphism satisfying $s_{p}=s_{q}\circ\varphi$.

Proposition A.33**.**

The map $\widetilde{\varphi}\colon\operatorname{Sym}^{2}\operatorname{Sym}^{2}E(p,p)\to\operatorname{Sym}^{4}E(q,q)$ induced by $\varphi$ factors through an isomorphism $\operatorname{Sym}^{4}E(p,p)\to\operatorname{Sym}^{4}E(q,q)$ if and only if there is an isomorphism $\mu\colon E(p,p)\to E(q,q)$ such that $\varphi=\mu^{2}$.

Proof.

Let $A^{\oplus 2}\to E(p,p)$ be the first step in the standard resolution (Definition A.12). Denote the images of $(1,0)$ and $(0,1)$ by $\xi_{1},\xi_{2}\in E(p,p)$ respectively. Similarly define $\zeta_{1},\zeta_{2}\in E(q,q)$. We need to characterize the condition that

[TABLE]

Identify $\operatorname{Sym}^{2}A^{\oplus 2}$ with $A^{\oplus 3}$. Using standard arguments (§A2.3 [eisenbud-comm]) we find presentations of $E(p,p)^{2}$ and $E(q,q)^{2}$, for instance:

[TABLE]

where

[TABLE]

We want to choose a simple lift of $\varphi$ to a map $A^{\oplus 3}\to A^{\oplus 3}$. Using the relations provided by $L(p,p)$ and $L(q,q)$ we may construct a lift $A^{\oplus 3}\to A^{\oplus 3}$ such that the corresponding $3\times 3$ matrix contains no terms involving $y$ in the first row, $x$ or $y$ in the second row, $x$ in the third row. In fact, such a lift is unique and we will denote it by $\hat{\varphi}$. It is easily seen that $\varphi$ commutes with $s_{p}$ and $s_{q}$ iff the lift can be expressed as

[TABLE]

where $u\in R^{\times}$ is such that $p=uq$ and $a_{1},a_{2}\in\operatorname{Ann}(q)=\operatorname{Ann}(p)$.

In terms of the entries of this matrix we may now write

[TABLE]

As before, we can calculate a presentation of $E(q,q)^{4}$. This presentation looks similar to Equation A.6.31 but with an extra block. It follows that the equality (A.6.29) is satisfied iff $a_{1}=a_{2}=0$ and $u^{2}=1$. Since $R$ is a complete local ring of characteristic not two, we have $u^{2}=1$ iff $u=\pm 1$.

Supposing (A.6.29) holds, we conclude $p=uq=\pm q$. By Lemma A.21 we can find isomorphisms $\mu$ between the two roots. Moreover, $\mu$ admits a representation $\begin{bmatrix}\varepsilon_{1}&0\\ 0&\varepsilon_{2}\end{bmatrix}$ where $\varepsilon_{1},\varepsilon_{2}\in\{-1,1\}$ and $\varepsilon_{1}\varepsilon_{2}=u$. It is now clear that $\varphi=\mu^{2}$. Conversely, if $\varphi=\mu^{2}$ then the representation $\hat{\varphi}$ is of the required form and (A.6.29) holds. ∎

Definition A.34**.**

Let $\varphi$ be the square of an isomorphism $\mu\colon(E(p,p),s_{p})\to(E(q,q),s_{q})$. Then the entry $u\in\{\pm 1\}$ appearing in (A.6.32) will be called the parity of $\varphi$. If $p=q$ and $\mu=\pm\operatorname{id}$ then $u=1$ otherwise $u=-1$.

Remark A.35**.**

Observe that the parity of $\varphi$ can be determined by restricting $\varphi$ to the central fiber $\bar{A}/k$. In particular, the root with multiple roots $(\bar{A}/k,\bar{\xi})$ completely determines the local sync data for any of its deformations.

Notation A.36**.**

For our fixed root $\bar{\xi}$ on $\bar{A}/k$ let us identify the non-free roots with the standard root $(\bar{E},\bar{s})=(E(0,0),s_{0})$. We can and will choose this identification so that the parity of each of the isomorphisms $(\bar{E}_{1}^{2}\to\bar{E}_{i}^{2})_{i=1}^{m^{\prime}}$ induced by the local sync data $(\bar{\varphi}_{i})_{i=1}^{m^{\prime}}$ is 1.

The following lemma shows how we can put a deformations of $\bar{\xi}$ into standard form. In light of the Remark A.35 above, we will omit the local sync data of these deformations as they are already determined by the local sync data of $\bar{\xi}$.

Lemma A.37**.**

Let $(A/R,\iota,(E_{i},b_{i},\varphi_{i},j_{i})_{i=1}^{m})$ be a deformation of $(\bar{A}/k,\bar{\xi})$. Then $\exists!p\in R$ such that for all $i\leq m^{\prime}$ we have $(E_{i},b_{i},j_{i})=(E(p,p),s_{p},r)$ with $r$ the natural restriction map from Definition A.23.

Proof.

By Proposition A.25 we know that $\forall i\leq m^{\prime}$ $\exists!p_{i}\in R$ such that $(E_{i},b_{i},j_{i})=(E(p_{i},p_{i}),s,r)$. Let $p=p_{1}$. From Proposition A.33 we observe that all roots $(E_{i},b_{i})$ must be isomorphic and by Lemma A.21 we conclude $p_{i}\in\{\pm p\}$.

If $p=0$ then there is nothing more to prove so assume $p\neq 0$. Then the sign of $p_{i}$ is completely determined by the local sync data and in particular by the sign of $u$ in (A.6.32). We choose the identification of the roots on the central fiber so that this sign is always $1$. ∎

Since free roots have no non-trivial deformations and they face no obstructions in deforming, if all $m$ roots in $\bar{\xi}$ are free ($m^{\prime}=0$) then the deformation functor $H$ of $(\bar{A}/k,\bar{\xi})$ agrees with the deformation functor of $\bar{A}/k$ alone (Lemma A.8). Therefore, we will now assume $m^{\prime}>0$.

Theorem A.38**.**

The functor of infinitesimal deformations $H$ of $(\bar{A}/k,\bar{\xi})$ is pro-represented by $\Lambda[[\tau]]$ with the universal deformation given by $(\Lambda[[\tau]]\to\Lambda[[\tau,x,y]]/(xy-\tau^{2}),\tau\mapsto 0)$ with the first $m^{\prime}$ roots equal to $(E(\tau,\tau),s_{\tau},r)$ and the remaining roots free. The local sync data are trivially obtained from those of $\bar{\xi}$, which by our Notation A.36 correspond to the squares of the identity maps.

Proof.

Let $(A/R,\iota)$ be a deformation of the node and let $(\mathcal{R},\mathfrak{j})=(E_{i},b_{i},j_{i})_{i=1}^{m}$ together with the local sync data $(\varphi_{i})_{i=1}^{m}$ be a deformation of $(\bar{A}/k,\bar{\xi})$. Any map $\nu\colon\Lambda[[\tau]]\to R$ is uniquely defined by the choice of $p\in R$ for which $\tau\mapsto p$. Lemma A.37 tells us that there is a unique $p\in R$ for which $\nu_{*}(E(\tau,\tau),s_{\tau},r)=(E_{i},b_{i},j_{i})$. This proves the existence and uniqueness of $\nu$ provided we show that the synchronizations agree. This is done by reducing to the central fiber, where the compatibility of the synchronizations is immediate. ∎

A.7. Formal neighbourhoods in general

Let $k$ be any field. Then by Cohen structure theorem there exists a universal coefficient ring, which we will denote by $\mathfrak{o}_{k}$, so that any complete local ring with residue field $k$ contains a copy of $\mathfrak{o}_{k}$. If $\operatorname{char}k=0$ then $\mathfrak{o}_{k}=k$.

Let $S$ be scheme over $k$ and let $s\colon\operatorname{Spec}k\to S$ be $k$-valued point. The usual complete local ring $\hat{\mathcal{O}}_{S,s}$ pro-represents the functor $\operatorname{Art}_{\mathfrak{o}_{k}}\to{(\text{Sets})}$ defined by $A\mapsto\hom_{s}(A,S)$, where the subscript $s$ indicates that the morphisms must restrict to $s$ on the residue field. This allows one to generalize the definition of a complete local ring to more general situations, for instance to geometric points of Deligne–Mumford stacks.

If $k^{\prime}$ is any field and $s^{\prime}\colon\operatorname{Spec}k^{\prime}\to S$ is a $k^{\prime}$-valued point of $S$ then we can still define the functor $Q_{s^{\prime}}\colon\operatorname{Art}_{\mathfrak{o}_{k^{\prime}}}\to{(\text{Sets})}$ via the rule $A\mapsto\hom_{s^{\prime}}(A,S)$. If $s^{\prime}$ factors through a $k$-valued point $s\colon\operatorname{Spec}k\to S$ then $Q_{s^{\prime}}$ is pro-represented by the complete local ring $\hat{\mathcal{O}}_{S,s}\otimes_{\mathfrak{o}_{k}}\mathfrak{o}_{k^{\prime}}$.

For a Deligne–Mumford stack $\mathcal{M}$ and a point $p\colon\operatorname{Spec}k\to\mathcal{M}$ the functor $Q_{p}\colon\operatorname{Art}_{\mathfrak{o}_{k}}\to{(\text{Sets})}$ can be defined as above. This functor is seen to be pro-representable by using any étale chart.

Definition A.39**.**

Let $\mathcal{M}$ be a Deligne–Mumford stack and let $p\colon\operatorname{Spec}k\to\mathcal{M}$ be any $k$-valued point. The complete local ring pro-representing $Q_{p}$ will be denoted by $\hat{\mathcal{O}}_{\mathcal{M},p}$. The functor $Q_{p}$ is called the local deformation functor of $p$ and $\operatorname{Spec}\mathcal{O}_{\mathcal{M},p}$ is called the formal neighbourhood of $p$.