Corrigendum to the paper "The Mori fan of the Dolgachev-Nikulin-Voisin family in genus $2$'' by K. Hulek and C. Liese
Extracted source text ยท arXiv 2505.02104
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%% Corrigendum [HL22]
%% Authors: Mathieu Dutour Sikiri\'c, Klaus Hulek, Christian Lehn
%% Date: August 21, 2024
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentclass[11pt]{amsart}
\include{headercorr} % contains packages, macros, theorem environments, title and authors
%-----------------------------------------------------
\begin{document}
\thispagestyle{empty}
\begin{abstract}
In this note, we correct some of the results of \cite{HL22} concerning the number of maximal cones in the Mori fan of the Dolgachev-Nikulin-Voisin fan in genus $2$.
The mistakes in the original paper concern the correct
enumeration of cones. The method and the main theoretical results are not affected.
\end{abstract}
\subjclass[2020]{14D20, 14J28 (primary), 14D06, 14E30, 14J33 (secondary).}
\keywords{K3 surfaces; moduli; degenerations; mirror symmetry}
\maketitle
\setlength{\parindent}{1em}
\setcounter{tocdepth}{1}
% Primary:
% 14D20 Algebraic moduli problems, moduli of vector bundles
% 14J28 K3 surfaces and Enriques surfaces
% Secondary:
% 14D06 Fibrations, degenerations in algebraic geometry
% 14E30 Minimal model program (Mori theory, extremal rays)
% 14J33 Mirror symmetry (algebro-geometric aspects)
\input{mainCorrigendumHL.tex} % contains math
%-----------------------------------------------------
\bibliography{literatur}
\bibliographystyle{alpha}
%-----------------------------------------------------
\end{document}
\renewcommand{\baselinestretch}{1.25}
\usepackage{anysize} \marginsize{1.3in}{1.3in}{1in}{1in}
\usepackage{comment}
\usepackage{xcolor}
\usepackage{amsmath}
\usepackage{mathtools}
\usepackage[all]{xy}
\usepackage[utf8]{inputenc}
\usepackage{varioref}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{bbm}
\usepackage{esint}
\usepackage{graphicx}
\usepackage{tikz}
\usepackage{empheq}
\usepackage{enumitem}
\usepackage{tikz-cd}
\usetikzlibrary{matrix,arrows,decorations.pathmorphing}
\usepackage{mathrsfs}
\usepackage[hypertexnames=false,backref=page,pdftex,
pdfpagemode=UseNone,
breaklinks=true,
extension=pdf,
colorlinks=true,
linkcolor=blue,
citecolor=red,
urlcolor=blue,
]{hyperref}
\renewcommand*{\backref}[1]{{-- cited on p.~#1}}
% speziell in dieser Arbeit
\newcommand{\NEbar}{{\overline{\operatorname{NE}}}}
\newcommand{\std}{{\operatorname{std}}}
\newcommand{\DNVmo}[1]{{\operatorname{DNV}_{#1}^{\scriptscriptstyle (-1)}}}
\newcommand{\DNV}{{\operatorname{DNV}}}
\newcommand{\Bl}{{\operatorname{Bl}}}
\newcommand{\og}[1][n]{{$\operatorname{OG}_{#1}$}}
\newcommand{\OG}[1][n]{{\operatorname{OG}_{#1}}}
\newcommand{\NLlt}{{\gothN_\Lambda^\lt}}
\newcommand{\MT}{{\operatorname{MT}}}
\newcommand{\Exc}{{\operatorname{Exc}}}
\newcommand{\Gr}{{\operatorname{Gr}}}
\newcommand{\DP}{{\operatorname{DP}}}
\newcommand{\tf}{\mathrm{tf}}
\def\sp{\operatorname{sp}}
\newcommand{\constr}{{\operatorname{constr}}}
\newcommand{\coh}{{\operatorname{coh}}}
\newcommand{\flop}{{\operatorname{flop}}}
\newcommand{\old}{{\operatorname{old}}}
\newcommand{\new}{{\operatorname{new}}}
% kaligraphische Buchstaben
\newcommand{\sA}{{\mathcal A}}
\newcommand{\sB}{{\mathcal B}}
\newcommand{\sC}{{\mathcal C}}
\newcommand{\sD}{{\mathcal D}}
\newcommand{\sE}{{\mathcal E}}
\newcommand{\sF}{{\mathcal F}}
\newcommand{\sG}{{\mathcal G}}
\newcommand{\sH}{{\mathcal H}}
\newcommand{\sI}{{\mathcal I}}
\newcommand{\sJ}{{\mathcal J}}
\newcommand{\sK}{{\mathcal K}}
\newcommand{\sL}{{\mathcal L}}
\newcommand{\sM}{{\mathcal M}}
\newcommand{\sN}{{\mathcal N}}
\newcommand{\sO}{{\mathcal O}}
\newcommand{\sP}{{\mathcal P}}
\newcommand{\sQ}{{\mathcal Q}}
\newcommand{\sR}{{\mathcal R}}
\newcommand{\sS}{{\mathcal S}}
\newcommand{\sT}{{\mathcal T}}
\newcommand{\sU}{{\mathcal U}}
\newcommand{\sV}{{\mathcal V}}
\newcommand{\sW}{{\mathcal W}}
\newcommand{\sX}{{\mathcal X}}
\newcommand{\sY}{{\mathcal Y}}
\newcommand{\sZ}{{\mathcal Z}}
% skript Buchstaben
\newcommand{\scrA}{{\mathscr A}}
\newcommand{\scrB}{{\mathscr B}}
\newcommand{\scrC}{{\mathscr C}}
\newcommand{\scrD}{{\mathscr D}}
\newcommand{\scrE}{{\mathscr E}}
\newcommand{\scrF}{{\mathscr F}}
\newcommand{\scrG}{{\mathscr G}}
\newcommand{\scrH}{{\mathscr H}}
\newcommand{\scrI}{{\mathscr I}}
\newcommand{\scrJ}{{\mathscr J}}
\newcommand{\scrK}{{\mathscr K}}
\newcommand{\scrL}{{\mathscr L}}
\newcommand{\scrM}{{\mathscr M}}
\newcommand{\scrN}{{\mathscr N}}
\newcommand{\scrO}{{\mathscr O}}
\newcommand{\scrP}{{\mathscr P}}
\newcommand{\scrQ}{{\mathscr Q}}
\newcommand{\scrR}{{\mathscr R}}
\newcommand{\scrS}{{\mathscr S}}
\newcommand{\scrT}{{\mathscr T}}
\newcommand{\scrU}{{\mathscr U}}
\newcommand{\scrV}{{\mathscr V}}
\newcommand{\scrW}{{\mathscr W}}
\newcommand{\scrX}{{\mathscr X}}
\newcommand{\scrY}{{\mathscr Y}}
\newcommand{\scrZ}{{\mathscr Z}}
% Sonderbuchstaben mit Doppellinie
\newcommand{\A}{{\mathbb A}}
\newcommand{\B}{{\mathbb B}}
\newcommand{\C}{{\mathbb C}}
\newcommand{\D}{{\mathbb D}}
\newcommand{\E}{{\mathbb E}}
\newcommand{\F}{{\mathbb F}}
\newcommand{\G}{{\mathbb G}}
\newcommand{\HH}{{\mathbb H}}
\newcommand{\I}{{\mathbb I}}
\newcommand{\J}{{\mathbb J}}
\newcommand{\K}{{\mathbb K}}
\renewcommand{\L}{{\mathbb L}}
\newcommand{\M}{{\mathbb M}}
\newcommand{\N}{{\mathbb N}}
\renewcommand{\P}{{\mathbb P}}
\newcommand{\Q}{{\mathbb Q}}
\newcommand{\R}{{\mathbb R}}
\newcommand{\IS}{{\mathbb S}}
\newcommand{\T}{{\mathbb T}}
\newcommand{\U}{{\mathbb U}}
\newcommand{\V}{{\mathbb V}}
\newcommand{\W}{{\mathbb W}}
\newcommand{\X}{{\mathbb X}}
\newcommand{\Y}{{\mathbb Y}}
\newcommand{\Z}{{\mathbb Z}}
% Frakturbuchstaben
\newcommand{\gotha}{{\mathfrak a}}
\newcommand{\gothb}{{\mathfrak b}}
\newcommand{\gothc}{{\mathfrak c}}
\newcommand{\gothd}{{\mathfrak d}}
\newcommand{\gothe}{{\mathfrak e}}
\newcommand{\gothf}{{\mathfrak f}}
\newcommand{\gothg}{{\mathfrak g}}
\newcommand{\gothh}{{\mathfrak h}}
\newcommand{\gothi}{{\mathfrak i}}
\newcommand{\gothj}{{\mathfrak j}}
\newcommand{\gothk}{{\mathfrak k}}
\newcommand{\gothl}{{\mathfrak l}}
\newcommand{\gothm}{{\mathfrak m}}
\newcommand{\gothn}{{\mathfrak n}}
\newcommand{\gotho}{{\mathfrak o}}
\newcommand{\gothp}{{\mathfrak p}}
\newcommand{\gothq}{{\mathfrak q}}
\newcommand{\gothr}{{\mathfrak r}}
\newcommand{\goths}{{\mathfrak s}}
\newcommand{\gotht}{{\mathfrak t}}
\newcommand{\gothu}{{\mathfrak u}}
\newcommand{\gothv}{{\mathfrak v}}
\newcommand{\gothw}{{\mathfrak w}}
\newcommand{\gothx}{{\mathfrak x}}
\newcommand{\gothy}{{\mathfrak y}}
\newcommand{\gothz}{{\mathfrak z}}
%
\newcommand{\gothA}{{\mathfrak A}}
\newcommand{\gothB}{{\mathfrak B}}
\newcommand{\gothC}{{\mathfrak C}}
\newcommand{\gothD}{{\mathfrak D}}
\newcommand{\gothE}{{\mathfrak E}}
\newcommand{\gothF}{{\mathfrak F}}
\newcommand{\gothG}{{\mathfrak G}}
\newcommand{\gothH}{{\mathfrak H}}
\newcommand{\gothI}{{\mathfrak I}}
\newcommand{\gothJ}{{\mathfrak J}}
\newcommand{\gothK}{{\mathfrak K}}
\newcommand{\gothL}{{\mathfrak L}}
\newcommand{\gothM}{{\mathfrak M}}
\newcommand{\gothN}{{\mathfrak N}}
\newcommand{\gothO}{{\mathfrak O}}
\newcommand{\gothP}{{\mathfrak P}}
\newcommand{\gothQ}{{\mathfrak Q}}
\newcommand{\gothR}{{\mathfrak R}}
\newcommand{\gothS}{{\mathfrak S}}
\newcommand{\gothT}{{\mathfrak T}}
\newcommand{\gothU}{{\mathfrak U}}
\newcommand{\gothV}{{\mathfrak V}}
\newcommand{\gothW}{{\mathfrak W}}
\newcommand{\gothX}{{\mathfrak X}}
\newcommand{\gothY}{{\mathfrak Y}}
\newcommand{\gothZ}{{\mathfrak Z}}
%----------------------------------------------------------------------------------------
% Abkuerzungen
%----------------------------------------------------------------------------------------
\newcommand{\Ab}{{\operatorname{Ab}}}
\newcommand{\abs}[1]{{\left|#1\right|}}
\newcommand{\alg}{\mathrm{alg}}
\newcommand{\an}{{\operatorname{an}}}
\newcommand{\Ann}{\operatorname{Ann}}
\newcommand{\Art}{\operatorname{Art}}
\newcommand{\Aut}{\operatorname{Aut}}
\newcommand{\ba}[1]{\overline{#1}}
\newcommand{\Br}{{\operatorname{Br}}}
\newcommand{\Bs}{{\operatorname{Bs}}}
\newcommand{\CaCl}{{\operatorname{CaCl}}}
\newcommand{\centre}{{\operatorname{center}}}
\newcommand{\Ch}{{\textrm{Ch}}}
\newcommand{\ch}{{\rm ch}}
\newcommand{\chr}{\operatorname{char}}
\newcommand{\chern}{{\rm c}}
\newcommand{\Cl}{{\operatorname{Cl}}}
\newcommand{\coeff}{{\operatorname{coeff}}}
\newcommand{\codim}{\operatorname{codim}}
\newcommand{\Coh}{\operatorname{Coh}}
\newcommand{\coker}{\operatorname{coker}}
\newcommand{\Cx}{\mathcal C^{\infty}_X}
\newcommand{\Lx}{L^{\infty}_X}
\newcommand{\PHx}{\mathrm{PH}_X}
\newcommand{\dd}{{{\vee\vee}}}
\newcommand{\ddual}{{{\vee\vee}}}
\newcommand{\Def}{{\operatorname{Def}}}
\newcommand{\defx}[1][X]{{\Def(#1)}}
\newcommand{\deflt}[1][X]{{\Def^\lt(#1)}}
\newcommand{\del}{\partial}
\newcommand{\delbar}{\ba\partial}
\newcommand{\Der}{\operatorname{Der}}
\newcommand{\diag}{\operatorname{diag}}
\newcommand{\di}{\partial}
\newcommand{\dibar}{\ba\partial}
\newcommand{\Div}{{\operatorname{Div}}}
\newcommand{\End}{{\operatorname{End}}}
\newcommand{\Ext}{{\operatorname{Ext}}}
\newcommand{\sExt}{{\mathcal{E}xt}}
\newcommand{\Exz}{{\operatorname{Exc}}}
\newcommand{\eins}[1]{{{\mathbf 1}_{#1 \times #1}}}
\newcommand{\eps}{\varepsilon}
\newcommand{\equivalent}{\Leftrightarrow}
\newcommand{\ev}{\operatorname{ev}}
\newcommand{\grad}{{\operatorname{grad}}}
\newcommand{\GL}{\operatorname{GL}}
\newcommand{\Hilb}{{\rm Hilb}}
\newcommand{\Hdg}{\operatorname{Hdg}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\sHom}{{\sH om}}
\newcommand{\sEnd}{{\sE nd}}
\newcommand{\intprod}{{\righthalfcup}}
\newcommand{\Iso}{\operatorname{Iso}}
\newcommand{\iso}{\cong}
\renewcommand{\implies}{\Rightarrow}
\renewcommand{\iff}{\Leftrightarrow}
\renewcommand{\Im}{\operatorname{Im}}
\newcommand{\id}{{\rm id}}
\newcommand{\img}{\operatorname{im}}
\newcommand{\into}{{\, \hookrightarrow\,}}
\newcommand{\isom}{{\ \cong\ }}
\newcommand{\kolimes}[1][]{{\varinjlim_{ #1 }\;}}
\newcommand{\Kthree}{$K3\;$}
\newcommand{\Kthreen}{$K3^{[n]}$}
\newcommand{\length}{\operatorname{length}}
\newcommand{\Lie}{\operatorname{Lie}}
\newcommand{\limes}[1][]{{\varprojlim_{ #1 }\;}}
\newcommand{\loc}{{\operatorname{loc}}}
\newcommand{\lt}{{\rm{lt}}}
\setlength\marginparsep{0.1cm}
\newcommand{\margincom}[1]{\marginpar{\sffamily\tiny #1}}
\newcommand{\Map}{{\operatorname{Map}}}
\newcommand{\Mor}{\operatorname{Mor}}
\newcommand {\Morifan}{\operatorname{MF}}
\newcommand{\Mod}{\operatorname{Mod}}
\newcommand{\Nef}{{\operatorname{Nef}}}
\newcommand{\nil}{\operatorname{nil}}
\newcommand{\NS}{\operatorname{NS}}
\newcommand{\Num}{\operatorname{Num}}
\newcommand{\numeq}{{\,\equiv\,}}
\renewcommand{\O}{{\rm O}}
\newcommand{\ob}{{\operatorname{ob}}}
\newcommand{\Ob}{\operatorname{Ob}}
\newcommand{\ohne}{{\ \setminus \ }}
\newcommand{\ohnenull}{{\ \setminus \{0\} }}
\newcommand{\ol}[1]{{\overline{#1}}}
\newcommand{\onto}{{{\twoheadrightarrow}}}
\newcommand{\op}{{\rm op}}
\newcommand{\ord}{{\rm ord}}
\newcommand{\ot}[1][]{\xleftarrow{\ #1\ }}
\newcommand{\para}{{$\mathsection\,$}}
\newcommand{\PD}{\operatorname{PD}}
\newcommand{\PGL}{{\rm PGL}}
\newcommand{\Pic}{\operatorname{Pic}}
\newcommand{\pr}{\operatorname{pr}}
\newcommand{\proArt}{{\widehat{\operatorname{Art}}}}
\newcommand{\Psh}{{\rm Psh}}
\newcommand{\pt}{{\operatorname{pt}}}
\newcommand{\PMod}{\operatorname{PMod}}
\newcommand{\qis}{\simeq}
\newcommand{\ran}{\operatorname{ran}}
\newcommand{\rank}{{\rm rank}}
\newcommand{\rat}[1][]{{\stackrel{\ #1\ }{\ratl}}}
\newcommand{\rational}{\xdashrightarrow{}}
\newcommand{\ratl}{\dashrightarrow}
\renewcommand{\Re}{\operatorname{Re}}
\newcommand{\red}{{\operatorname{red}}}
\newcommand{\reg}{{\operatorname{reg}}}
\newcommand{\res}{\mathrm{res}}
\newcommand{\restr}[1]{{\vert_{ #1 }\;}}
\newcommand{\rg}{\operatorname{rg}}
\newcommand{\RHom}{\operatorname{RHom}}
\newcommand{\rk}{{\rm rk}}
\newcommand{\Schm}{{\rm Sch }}
\newcommand{\skp}[2]{{ \left\langle #1, #2\right\rangle}}
\newcommand{\Sch}[1]{{\rm Sch / #1}}
\newcommand{\Set}{{\rm Set}}
\newcommand{\sing}{{\operatorname{sing}}}
\newcommand{\Sing}{\operatorname{Sing}}
\newcommand{\sgn}{sgn}
\newcommand{\socle}{{\rm socle}}
\newcommand{\sm}{{\operatorname{sm}}}
\newcommand{\Spec}{\operatorname{Spec}}
\newcommand{\Spin}{{\rm Spin}}
\newcommand{\st}{{\operatorname{1st}}}
\newcommand{\Stab}{{\operatorname{Stab}}}
\newcommand{\SO}{{\rm SO}}
\newcommand{\SU}{{\rm SU}}
\newcommand{\supp}{\operatorname{supp}}
\newcommand{\Sym}{{\rm Sym}}
\renewcommand{\to}[1][]{\xrightarrow{\ #1\ }}
\newcommand{\Tor}{{\rm Tor}}
\newcommand{\Tors}{{\rm Tors}}
\newcommand{\tensor}{\otimes}
\newcommand{\tr}{{\rm tr}}
\newcommand{\td}{{\rm td}}
\newcommand{\ul}[1]{{\underline{#1}}}
\newcommand{\veps}{\varepsilon}
\newcommand{\vphi}{\varphi}
\newcommand{\vrho}{{\varrho}}
\newcommand{\vthe}{\vartheta}
\newcommand{\wh}[1]{{\widehat{#1}}}
\newcommand{\wt}[1]{{\widetilde{#1}}}
\newcommand{\Zar}{{\rm Zar}}
\newcommand{\om}{\omega}
\pdfstringdefDisableCommands{%
\def\textsuperscript#1{\textasciicircum(#1)}%
}
\makeatletter
\newcommand*{\da@rightarrow}{\mathchar"0\hexnumber@\symAMSa 4B }
\newcommand*{\da@leftarrow}{\mathchar"0\hexnumber@\symAMSa 4C }
\newcommand*{\xdashrightarrow}[2][]{%
\mathrel{%
\mathpalette{\da@xarrow{#1}{#2}{}\da@rightarrow{\,}{}}{}%
}%
}
\newcommand{\xdashleftarrow}[2][]{%
\mathrel{%
\mathpalette{\da@xarrow{#1}{#2}\da@leftarrow{}{}{\,}}{}%
}%
}
\newcommand*{\da@xarrow}[7]{%
% #1: below
% #2: above
% #3: arrow left
% #4: arrow right
% #5: space left
% #6: space right
% #7: math style
\sbox0{$\ifx#7\scriptstyle\scriptscriptstyle\else\scriptstyle\fi#5#1#6\m@th$}%
\sbox2{$\ifx#7\scriptstyle\scriptscriptstyle\else\scriptstyle\fi#5#2#6\m@th$}%
\sbox4{$#7\dabar@\m@th$}%
\dimen@=\wd0 %
\ifdim\wd2 >\dimen@
\dimen@=\wd2 %
\fi
\count@=2 %
\def\da@bars{\dabar@\dabar@}%
\@whiledim\count@\wd4<\dimen@\do{%
\advance\count@\@ne
\expandafter\def\expandafter\da@bars\expandafter{%
\da@bars
\dabar@
}%
}%
\mathrel{#3}%
\mathrel{%
\mathop{\da@bars}\limits
\ifx\\#1\\%
\else
_{\copy0}%
\fi
\ifx\\#2\\%
\else
^{\copy2}%
\fi
}%
\mathrel{#4}%
}
\makeatother
%--------------------------------------
%-----------------------------------------------------------
%CUSTOM OVERLINE
%-----------------------------------------------------------
\makeatletter
\newsavebox\myboxA
\newsavebox\myboxB
\newlength\mylenA
\newcommand*\xtilde[2][0.8]{%
\sbox{\myboxA}{$\m@th#2$}%
\setbox\myboxB\null% Phantom box
\ht\myboxB=\ht\myboxA%
\dp\myboxB=\dp\myboxA%
\wd\myboxB=#1\wd\myboxA% Scale phantom
\sbox\myboxB{$\m@th\widetilde{\copy\myboxB}$}% Overlined phantom
\setlength\mylenA{\the\wd\myboxA}% calc width diff
\addtolength\mylenA{-\the\wd\myboxB}%
\ifdim\wd\myboxB<\wd\myboxA%
\rlap{\hskip 0.5\mylenA\usebox\myboxB}{\usebox\myboxA}%
\else
\hskip -0.5\mylenA\rlap{\usebox\myboxA}{\hskip 0.5\mylenA\usebox\myboxB}%
\fi}
%\makeatother
\newbox\usefulbox
%\makeatletter
\def\getslant #1{\strip@pt\fontdimen1 #1}
\def\xxtilde #1{\mathchoice
{{\setbox\usefulbox=\hbox{$\m@th\displaystyle #1$}%
\dimen@ \getslant\the\textfont\symletters \ht\usefulbox
\divide\dimen@ \tw@
\kern\dimen@
\xtilde{\kern-\dimen@ \box\usefulbox\kern\dimen@ }\kern-\dimen@ }}
{{\setbox\usefulbox=\hbox{$\m@th\textstyle #1$}%
\dimen@ \getslant\the\textfont\symletters \ht\usefulbox
\divide\dimen@ \tw@
\kern\dimen@
\xtilde{\kern-\dimen@ \box\usefulbox\kern\dimen@ }\kern-\dimen@ }}
{{\setbox\usefulbox=\hbox{$\m@th\scriptstyle #1$}%
\dimen@ \getslant\the\scriptfont\symletters \ht\usefulbox
\divide\dimen@ \tw@
\kern\dimen@
\xtilde{\kern-\dimen@ \box\usefulbox\kern\dimen@ }\kern-\dimen@ }}
{{\setbox\usefulbox=\hbox{$\m@th\scriptscriptstyle #1$}%
\dimen@ \getslant\the\scriptscriptfont\symletters \ht\usefulbox
\divide\dimen@ \tw@
\kern\dimen@
\xtilde{\kern-\dimen@ \box\usefulbox\kern\dimen@ }\kern-\dimen@ }}%
{}}
\newcommand*\xoverline[2][0.75]{%
\sbox{\myboxA}{$\m@th#2$}%
\setbox\myboxB\null% Phantom box
\ht\myboxB=\ht\myboxA%
\dp\myboxB=\dp\myboxA%
\wd\myboxB=#1\wd\myboxA% Scale phantom
\sbox\myboxB{$\m@th\overline{\copy\myboxB}$}% Overlined phantom
\setlength\mylenA{\the\wd\myboxA}% calc width diff
\addtolength\mylenA{-\the\wd\myboxB}%
\ifdim\wd\myboxB<\wd\myboxA%
\rlap{\hskip 0.5\mylenA\usebox\myboxB}{\usebox\myboxA}%
\else
\hskip -0.5\mylenA\rlap{\usebox\myboxA}{\hskip 0.5\mylenA\usebox\myboxB}%
\fi}
\def\xxoverline #1{\mathchoice
{{\setbox\usefulbox=\hbox{$\m@th\displaystyle #1$}%
\dimen@ \getslant\the\textfont\symletters \ht\usefulbox
\divide\dimen@ \tw@
\kern\dimen@
\overline{\kern-\dimen@ \box\usefulbox\kern\dimen@ }\kern-\dimen@ }}
{{\setbox\usefulbox=\hbox{$\m@th\textstyle #1$}%
\dimen@ \getslant\the\textfont\symletters \ht\usefulbox
\divide\dimen@ \tw@
\kern\dimen@
\xoverline{\kern-\dimen@ \box\usefulbox\kern\dimen@ }\kern-\dimen@ }}
{{\setbox\usefulbox=\hbox{$\m@th\scriptstyle #1$}%
\dimen@ \getslant\the\scriptfont\symletters \ht\usefulbox
\divide\dimen@ \tw@
\kern\dimen@
\xoverline{\kern-\dimen@ \box\usefulbox\kern\dimen@ }\kern-\dimen@ }}
{{\setbox\usefulbox=\hbox{$\m@th\scriptscriptstyle #1$}%
\dimen@ \getslant\the\scriptscriptfont\symletters \ht\usefulbox
\divide\dimen@ \tw@
\kern\dimen@
\xoverline{\kern-\dimen@ \box\usefulbox\kern\dimen@ }\kern-\dimen@ }}%
{}}
\makeatother
%---------
\makeatletter
\newcommand{\mylabel}[2]{#2\def\@currentlabel{#2}\label{#1}}
\makeatother
\makeatletter
\newcommand{\Mac}{}
\DeclareRobustCommand{\Mac}{%
M%
\raisebox{\dimexpr\fontcharht\font`M-\height}{%
\check@mathfonts\fontsize{\sf@size}{0}\selectfont
c%
}%
}
\makeatother
%********* Theoremumgebungen
\newtheoremstyle{citing}% name
{}% Space above, empty = `usual value'
{}% Space below
{\itshape}% Body font
{}% Indent amount (empty = no indent, \parindent = para indent)
{\bfseries}% Thm head font
{\textbf{.}}% Punctuation after thm head
{.5em}% Space after thm head: " " = normal interword space;
% \newline = linebreak
{\thmnote{#3}}% Thm head spec
\theoremstyle{plain}
\newtheorem{satz}[subsection]{Satz}
\newtheorem{theorem}[subsection]{Theorem}
\newtheorem{question}[subsection]{Question}
\newtheorem{lemma}[subsection]{Lemma}
\newtheorem{corollary}[subsection]{Corollary}
\newtheorem{assumption}[subsection]{Assumption}
\newtheorem{setup}[subsection]{Setup}
\newtheorem{set}[subsection]{Setting}
\newtheorem{bigthm}{Theorem}
\renewcommand{\thebigthm}{\Alph{bigthm}}
\newtheorem{proposition}[subsection]{Proposition}
\theoremstyle{remark}
\newtheorem{example}[subsection]{Example}
\theoremstyle{definition}
\newtheorem{conjecture}[subsection]{Conjecture}
\newtheorem{definition}[subsection]{Definition}
\newtheorem{hypothesis}[subsection]{Hypothesis}
\numberwithin{equation}{section}
\theoremstyle{remark}
\newtheorem{remark}[subsection]{Remark}
\newtheorem*{claim}{Claim}
\newcounter{stepcounter}
\newtheorem{step}[stepcounter]{Step}
% Umgebung fuer Zitate (ohne Nummer)
{\theoremstyle{citing}
\newtheorem*{custom}{}}
{\theoremstyle{definition}
\newtheorem{Ex}[subsection]{Example}}
%-----------------------------------------------------------
\title[Corrigendum]{Corrigendum to the paper ``The Mori fan of the Dolgachev-Nikulin-Voisin family in genus $2$'' by K. Hulek and C. Liese}
\author{Mathieu Dutour Sikiri\'c}
\address{Mathieu Dutour Sikiri\'c\\ MSM programming, Karlova\v{c}ka Cesta 28B, 10452 Croatia}
\email{mathieu.dutour@gmail.com}
\author{Klaus Hulek}
\address{Klaus Hulek\\Institut f\"ur Algebraische Geometrie, Leibniz Universit\"at Hannover, Welfengarten 1, 30167 Hannover,
Germany}
\email{hulek@math.uni-hannover.de}
\author{Christian Lehn}
\address{Christian Lehn\\ Fakult\"at f\"ur Mathematik\\Ruhr-Universit\"at Bochum\\ Universit\"ats\-stra\ss e~150\\ Postfach IB 45\\ 44801 Bochum, Germany}
\email{christian.lehn@rub.de}
\let\origmaketitle\maketitle
\def\maketitle{
\begingroup
\def\uppercasenonmath##1{} % this disables uppercasing title
\let\MakeUppercase\relax % this disables uppercasing authors
\origmaketitle
\endgroup
}
%\numberwithin{theorem}{section}
%-----------------------------------------------------
%-----------------------------------------------------
%-----------------------------------------------------
\section{Introduction}\label{section intro}
The principal purpose of \cite{HL22} was to study the Morifan $\Morifan(\sY/S)$ of the Dolgachev-Nikulin-Voisin family of degree $2$. One of the main results of this paper is an enumeration of all
maximal cones of this fan. When using the results of \cite{HL22} for further studies, we noticed that \cite{HL22} contains some enumeration errors. The mistakes made, are in tracing the different
cases and are of a bookkeeping nature. The fundamental approach and the main theoretical results of \cite{HL22} are not affected. We found the mistakes by using a
computer program which
can be used to list all possible models, see Remark~\ref{remark computer program}. Comparing this with the results in \cite{HL22} we found that we had overcounted the number of models in some cases.
The required corrections can be checked independently of
the computer program by hand, purely using the methods developed in \cite{HL22}. In this corrigendum, we provide the correct numbers and point out where the counting errors were made.
\subsection*{Acknowledgements} Klaus Hulek has been partially supported by DFG grant Hu 337/7-2 and Christian Lehn has been partially supported by DFG grants Le 3093/2-2 and Le 3093/3-1.
\section{Model \texorpdfstring{$\mathscr{T}$}{T}}
We first correct the enumeration of the models of type $\mathscr{T}$. The number of $131$ models given in \cite[Theorem 7.7]{HL22} must be corrected to:
\begin{theorem}\label{modelsT} There are $129$ surfaces in $\PMod_2(\mathscr{T})$.
\end{theorem}
\begin{proof}
The error is in the enumeration for the case $n_1=2$. In the first case the number of $(-1)$-curves which can be flopped is given by $r_1 \in \{0,...,8\}$ and in the second case we have $r_2 \in \{0,...,7\}$. The
cases $r_1=9$ and $r_2=8$ do not exist, as there is no $(-1)$-curve left which can be contracted. Hence, this gives us $19$ rather than $21$ cases. Altogether, we find $30+19+34 = 83$ models for
$n_1 \geq -1$ and $n_2 \leq -1$. The other cases were enumerated correctly. In particular, we get $1$ model for $n_1,n_2 \geq 0$, namely $(n_1,n_2)=(0,0)$ and $36$ models for $n_1,n_2 \leq -2$.
This gives a total of $83 + 1 + 45=129$ models.
\end{proof}
\section{Model \texorpdfstring{$\mathscr{P}$}{P}}
Here the enumeration of the models is divided into several parts. The first correction concerns \cite[Theorem 7.8 (ii)]{HL22}, where we listed one model too many. The correct version is:
\begin{theorem}\label{modelsP}
There are $103$ surfaces $Y_c=Y_1\cup Y_2 \cup Y_3 $
in $\PMod_2(\mathscr{P})$ such that there is a component $Y_i$ with very degenerate curve structure. Explicitly,
these are given as follows:
\begin{itemize}
\item[\rm{(i)}] Surfaces $Y_c$ such that $\Gamma_{Y_1}$ is very degenerate, $\Gamma_{Y_2}$ is non-degenerate and $\Gamma_{Y_3}$ is tamely degenerate. There are $71$ such models.
\item[\rm{(ii)}] Surfaces $Y_c$ such that $\Gamma_{Y_1}$ is very degenerate, $\Gamma_{Y_2}$ is non-degenerate and $\Gamma_{Y_3}$ is very degenerate. There are $7$ such models.
\item[\rm{(iii)}] Surfaces $Y_c$ such that $\Gamma_{Y_1}$ is very degenerate, $\Gamma_{Y_2}$ is non-degenerate and $\Gamma_{Y_3}$ is non-degenerate. There are $25$ such models.
\end{itemize}
\end{theorem}
\begin{proof}
The error lies in the first subcase. Here $D_{13}^2\in [-3,-1]$, giving only 3 cases (instead of $D_{13}^2\in [-3,0]$, giving 4 cases).
\end{proof}
The next step is to correct \cite[Theorem 7.12]{HL22}. In (i) and (iii) we counted 2, respectively 6 surfaces double, not taking into account that they are isomorphic.
Also, the parameter sets in (ii) and (iii) must be
slightly modified, but this does not change the number of cones.
\begin{theorem}\label{modelsPreg} There are $25+103+219=347$ surfaces $Y=Y_1\cup Y_2\cup Y_3$ in $\PMod_2(\mathscr{P})$ such that the curve structures $\Gamma_{Y_i}$ are all regular. Explicitly, these are, up to equivalence, given as follows:
\begin{itemize}
\item[\rm{(i)}] Surfaces with all $\Gamma_{Y_i}$ non-degenerate. These are given by the triples
\begin{align*}
&(0,1,-1),(0,1,2),(0,1,-2),(0,2,1),(0,2,-2),(0,-1,2),\\ &(0,-1,1),(0,-2,2),
(1,2,-1),(1,2,-2),(1,-1,2),(1,-2,2),\end{align*} surfaces $(x,y,y)$ with $x\in \{1,2\}$ and $y\in \{-2,-1,0,1,2\}\backslash \{x\}$, the surfaces $(0,1,1)$ and $(0,2,2)$ and surfaces $(x,x,x)$ with $x\in\{0,1,2\}$. These are $25$ surfaces.
\item[\rm{(ii)}] Surfaces with one $\Gamma_{Y_i}$ degenerate: triples $(3,y,-3)$ with $0 \leq y \leq 2$ and triples $(x,y,z)$ with $x,y \in \{-2,...,2\}$, $z\in \{x-6,...,-3\}$. These are $103$ surfaces.
\item[\rm{(iii)}] Surfaces with two $\Gamma_{Y_i}$ degenerate. These are given by the sets
\begin{align*}
&K = \{(x,-3,3) \mid 3 \leq x \leq 9\}\\
&M(0)=\{ (x,0,z) \mid -3\geq x \geq -6, 6\geq z\geq 3, |z| \leq |x| \}\\
&M(-1)=\{ (x,-1,z) \mid -3\geq x \geq -7, 5\geq z\geq 3\ \}\\
&M(-2)=\{ (x,-2,z) \mid -3\geq x \geq -8, 4\geq z\geq 3\}\\
&N(-2)=\{ (x,y,-2) \mid -3\geq y\geq -8 , -3\geq x\geq y-6\}\\
&N(-1)=\{ (x,y,-1) \mid -3\geq y\geq -7, -3\geq x\geq y-6\}\\
&N(0)=\{ (x,y,0) \mid: -3\geq y\geq -6, -3\geq x\geq y-6\}\\
&N(1)=\{ (x,y,1) \mid -3\geq y\geq -5, -3\geq x\geq y-6\}\\
&N(2)=\{ (x,y,2) \mid -3\geq y\geq -4, -3\geq x\geq y-6\}.
\end{align*}
Adding up, these are $7+10+15+12+57+45+34+24+15= 219$ surfaces.
\end{itemize}
\end{theorem}
\begin{proof}
In (i) the enumeration given in \cite{HL22} included the triples $(x,x,x)$ with $x\in\{-2,-1,0,1,2\}$. However, the triples $(-1,-1,-1)$ and $(1,1,1)$, and also $(-2,-2,-2)$ and $(2,2,2)$,
are equivalent since they differ by an involution in the sense of
\cite[Definition 7.9]{HL22} and hence have isomorphic associated surfaces. Thus, we obtain 2 surfaces fewer.
In (ii) we also note that $z\in \{y-6,...,-3\}$ must be replaced by $z\in \{x-6,...,-3\}$. This does not affect the enumeration.
In (iii) we first note that $K=\{(x,-3,-3)\mid 3\leq x\leq 9\}$ must be replaced by $K=\{(x,-3,3)\mid 3\leq x\leq 9\}$. This does not affect the enumeration.
The error in \cite{HL22} was to set
$$
M(0)=\{ (x,0,z) \mid -3\geq x \geq -6, 6\geq z\geq 3 \}
$$
However, not all triples in this definition of $M(0)$ are inequivalent. The triple $(-6, 0, 3)$ is equivalent to $(0, 3,-6)$ by a shift in the sense of \cite[Definition 7.9]{HL22}, which in turn is equivalent to
$(-3,0,6) \in M(0)$ by the involution of \cite[Definition 7.9]{HL22}. The same discussion applies to the triples $(-6, 0, 4)$, $(-6, 0, 5)$, $(-5, 0, 3)$, $(-5, 0, 4)$, $(-4, 0, 3)$. Hence
$M(0)$ only contributes $10$ and not $16$ non-isomorphic surfaces, resulting in an overcount of 6 surfaces in \cite{HL22}.
\end{proof}
Combining Theorem \ref{modelsP} and \ref{modelsPreg} we obtain
\begin{theorem}
\label{the:allmodelsP}
There are $103+347=450$ surfaces in $\PMod_2(\mathscr{P})$.
\end{theorem}
\begin{remark}\label{remark computer program}
While both the enumeration of models and the verification of the above claims can be performed by hand, we used a computer program for this task. It is based on the fact that the curve structures on the components of the central fiber uniquely determine the model by \cite[Sections 4.2 and 7.1]{HL22}. So in the program, a model can be represented by a labelled graph and type I flops are implemented as operations on the graph. In a first step, we compute all models corresponding to cones in the Mori fan by performing type I flops starting from a model in $(-1)$-form. To do this, we begin with a list containing a model in $(-1)$-form and add successively new models to the list by systematically performing all type I flops from models in the list, checking whether the resulting models are already in the list (graph isomorphism test), and appending the model if it is new. The search is complete if the list is closed under type I flops. In a second step, we test for degeneracy and regularity. Note that these properties are by definition determined by the graph.
We are currently expanding the capabilities of the program so that it can also explicitly calculate the cones of the Mori fan. We expect to release a version as part of an upcoming work. Independent of this, we
want to stress again that the verification of the number of cones can be done by hand using the methods established in \cite{HL22} and are thus independent of this program.
\end{remark}
\section{Enumeration of maximal cones}
The above corrections also have consequences for the enumeration of the maximal cones. For this we have to analyse the symmetric cones, i.e., those cones, or equivalently
models, which have non-trivial symmetries.
\begin{proposition}
\label{por::symmetricmodelsP}
There are $13$ models of type $\mathscr{P}$ which are symmetric. These are:
\begin{itemize}
\item[\rm{(i)}] The model given by $(0,0,0)$ in Theorem \ref{modelsPreg}(i). This has $S_3$-symmetry and hence orbit length $1$.
\item[\rm{(ii)}] The $2$ models given by $(x,x,x), x \in \{1,2\}$ in Theorem \ref{modelsPreg}(i). This has cyclic $\Z/3\Z$-symmetry and hence orbit length $2$.
\item[\rm{(iiii)}] There are $10$ models which have a $\Z/2 \Z$-symmetry and hence orbit length $3$. Concretely, these are the following models
\begin{itemize}
\item[(1)] The $4$ models belonging to the triples $(0,-1,1), (0,1,-1), (0,-2,2), (0,2,-2)$ in Theorem \ref{modelsPreg} (i).
\item[(2)] The model belonging to the triple $(3,0,-3)$ in Theorem \ref{modelsPreg} (ii).
\item[(3)] The $4$ models belonging to the triples $(-x,0,x), x \in \{3,4,5,6 \}$ in $M(0)$ in Theorem \ref{modelsPreg} (iii).
\item[(4)] The model with $D_{12}^2=D_{23}^2=4$ and $D_{13}^2=-1$ in Theorem \ref{modelsP}(ii).
\end{itemize}
\end{itemize}
\end{proposition}
\begin{proof}
It is clear that the surfaces listed have the symmetries as claimed. One can use the proof of \cite[Theorem 7.14]{HL22}, or a computer calculation, that these are the only symmetric models.
\end{proof}
\begin{remark}
Comparing this to \cite[Theorem 7.14]{HL22} one sees that the orbits of length $2$, namely the triples $(x,x,x), x \in \{1,2\}$ were forgotten.
\end{remark}
\begin{corollary}
\label{cor:maximalconesPP}
There are $1 \times 1 + 2 \times 2 + 10 \times 3 + 437 \times 6= 2657$ maximal cones of type $\mathscr{P}$ in the Mori fan.
\end{corollary}
The number of symmetric cones of type $\mathscr{T}$ is stated correctly in \cite[Theorem~7.14]{HL22}. This implies
\begin{theorem}\label{maxconesT} There are $741$ maximal cones of type $\mathscr{T}$ in $\Morifan(\mathscr{Y}/S)$.
\end{theorem}
\begin{proof}
There are now 129 models of type $\mathscr{T}$ of which 11 are symmetric (and have orbit length 3). This give $118 \times 6 + 11 \times 3= 747$ maximal cones.
\end{proof}
Combining these results finally gives us
\begin{theorem}\label{finalsum}
Let $\sY \to S$ be a model of the Dolgachev-Nikulin-Voisin family of degree $2$. Then the Mori fan $\Morifan(\sY/S)$ has $3398$ maximal cones. Of these $741$ are of type $\mathscr{T}$
and $2657$ are of type $\mathscr{P}$.
\end{theorem}
%-----------------------------------------------------
\begin{thebibliography}{HL22}
\bibitem[HL22]{HL22}
Klaus Hulek and Carsten Liese.
\newblock The {M}ori fan of the {D}olgachev-{N}ikulin-{V}oisin family in genus
{$2$}.
\newblock {\em \'{E}pijournal G\'{e}om. Alg\'{e}brique}, 6:Art. 2, 68, 2022.
\end{thebibliography}