%~Mouliné par MaN_auto v.0.27.3 2024-02-29 10:22:47
\documentclass[CRMATH,Unicode,XML,published]{cedram}
\usepackage[noadjust]{cite}

\TopicEN{Algebraic geometry}
\TopicFR{Géométrie algébrique}

\newcommand{\clO}{\mathcal{O}}
\newcommand{\clX}{\mathcal{X}}
\newcommand{\frkM}{\mathfrak{M}}
\newcommand{\bbZ}{\mathbb{Z}}
\newcommand{\bbC}{\mathbb{C}}
\newcommand{\bbP}{\mathbb{P}}
\newcommand{\bbF}{\mathbb{F}}
\newcommand{\Aut}{\mathrm{Aut}}
\newcommand{\degg}{\mathrm{deg}}
\newcommand{\fix}{\mathrm{fix}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\graphicspath{{./figures/}}

\newcommand*{\mk}{\mkern -1mu}
\newcommand*{\Mk}{\mkern -2mu}
\newcommand*{\mK}{\mkern 1mu}
\newcommand*{\MK}{\mkern 2mu}

%\hypersetup{urlcolor=purple, linkcolor=blue, citecolor=red}

\newcommand*{\relabel}{\renewcommand{\labelenumi}{(\theenumi)}}
\newcommand*{\romanenumi}{\renewcommand*{\theenumi}{\roman{enumi}}\relabel}
\newcommand*{\Romanenumi}{\renewcommand*{\theenumi}{\Roman{enumi}}\relabel}
\newcommand*{\alphenumi}{\renewcommand*{\theenumi}{\alph{enumi}}\relabel}
\newcommand*{\Alphenumi}{\renewcommand*{\theenumi}{\Alph{enumi}}\relabel}
\let\oldhat\hat
\renewcommand*{\hat}[1]{\mathchoice{\widehat{#1}}{\widehat{#1}}{\oldhat{#1}}{\oldhat{#1}}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\title{On the group of automorphisms of Horikawa surfaces}

\author{\firstname{Vicente} \lastname{Lorenzo}\CDRorcid{0000-0003-2077-6095}}
\address{Telematic Engineering Department, Universidad Carlos III de Madrid, Avenida de la Universidad 30, Leganés (Madrid), Spain.}

\email[V. Lorenzo]{vlorenzogarcia@gmail.com}
\thanks{The author is a research support technician at Universidad Carlos III de Madrid. The author did the main part of this work as a Ph.D student of the Department of Mathematics and Center for Mathematical Analysis, Geometry and Dynamical Systems of Instituto Superior T\'{e}cnico, Universidade de Lisboa and was supported by Fundac\~{a}o para a Ci\^{e}ncia e a Tecnologia (FCT), Portugal through the program Lisbon Mathematics PhD (LisMath), scholarship FCT - PD/BD/128421/2017 and projects UID/MAT/04459/2019 and UIDB/04459/2020.}

\subjclass{14J29}

\begin{abstract}
Minimal algebraic surfaces of general type $X$ such that $K^2_X=2\chi(\mathcal{O}_X)-6$ are called Horikawa surfaces. In this note the group of automorphisms of Horikawa surfaces is studied. The main result states that given an admissible pair $(K^2, \chi)$ such that $K^2=2\chi-6$, every irreducible component of Gieseker's moduli space $\mathfrak{M}_{K^2,\chi}$ contains an open subset consisting of surfaces with group of automorphisms isomorphic to $\mathbb{Z}_2$.
\end{abstract}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\dateposted{2024-05-02}
\begin{document}
\maketitle

\section{Introduction.}\label{Intro}

We work over the field $\bbC$ of complex numbers. The main numerical invariants of an algebraic surface $X$ are the self-intersection of its canonical class $K^2_X$ and its holomorphic Euler characteristic $\chi(\clO_X)$. If $X$ is minimal and of general type, the following inequalities are well known to be satisfied (cf.~\cite[Chapter~VII]{Barth2004}):
\begin{equation}\label{GeneralType}
\chi(\clO_X)\geq 1,\quad K_X^2\geq 1, \quad 2\chi(\clO_X)-6\leq K_X^2\leq 9\chi(\clO_X).
\end{equation}
Minimal algebraic surfaces of general type $X$ such that $K^2_X=2\chi(\clO_X)-6$ were already studied by Enriques~\cite{EnriquesPaper}, \cite[Section~VIII.11]{EnriquesBook} but they are often called Horikawa surfaces because of Horikawa's contribution to their deformation theory~\cite{Hor1}. One property of Horikawa surfaces is that their canonical system is base-point-free and induces a morphism whose image is a surface. Moreover, this morphism has degree~2 (see Theorem~\ref{StructureEvenHorikawa}). As a consequence, every Horikawa surface $X$ has a $\bbZ_2$-action generated by the involution that sends a general point of $X$ to the point with the same image via the canonical map of $X$. In particular, the group of automorphisms $\Aut(X)$ of $X$ has a subgroup isomorphic to $\bbZ_2$ and one may wonder whether this subgroup is proper or not when $X$ is sufficiently general.

It is known that under some ampleness and generality assumptions, the group of automorphisms of a surface that can be realized as an abelian $G$-cover is precisely the group $G$ (see~\cite{FanPar} or~\cite{Manetti1997}). Since Horikawa surfaces can be realized as $\bbZ_2$-covers via their canonical map, one could expect the group of automorphisms of a general Horikawa surface to be $\bbZ_2$. Nevertheless, Horikawa surfaces do not satisfy the hypothesis of~\cite[Theorem~4.6]{FanPar} nor~\cite[Corollary~B]{Manetti1997} and, to the best of the author's knowledge, there is no reference allowing to prove this in a straightforward way.

Given an admissible pair $(K^2, \chi)$, i.e. a pair of integers satisfying the inequalities~\eqref{GeneralType}, let us denote by $\frkM_{K^2,\chi}$ Gieseker’s moduli space of canonical models of surfaces of general type with fixed self-intersection of the canonical class $K^2$ and fixed holomorphic Euler characteristic $\chi$. The aim of this note is to prove the following:

\begin{theo}\label{AutomorphismsEvenHorikawa}
Let $(K^2, \chi)$ be an admissible pair such that $K^2=2\chi-6$. Then every irreducible component of $\frkM_{K^2, \chi}$ contains an open subset consisting of surfaces with group of automorphisms isomorphic to $\bbZ_2$.
\end{theo}

The proof of Theorem~\ref{AutomorphismsEvenHorikawa} is based on the following idea. Let $X$ be a smooth surface with an involution $\tau$ that induces a $\bbZ_2$-cover $X\to X/\langle \tau\rangle$ with building data $\{L,B\}$ (see Section~\ref{SectionSimpleCyclic}). Then every automorphism $\sigma$ of $X$ that commutes with $\tau$ induces an automorphism $\overline{\sigma}$ of $X/\langle \tau\rangle$ such that $\overline{\sigma}(B)=B$. Hence, if $\tau$ were in the center of $\Aut(X)$ and there were no non-trivial automorphism of $X/\langle \tau\rangle$ leaving $B$ invariant, it would follow that $\Aut(X)=\langle \tau\rangle\simeq \bbZ_2$. This idea is simple and familiar to experts on the topic but there are several technical details that have to be worked out. Furthermore, even if some of these technical details are somehow expected, as far as the author knows they have not been written down elsewhere and they are interesting on their own.

The paper is structured as follows. Section~\ref{Horikawa surfaces.} contains the results about Horikawa surfaces that will be needed throughout the note. In Section~\ref{SectionSimpleCyclic} it is explained how to construct simple cyclic covers and to obtain information about them. An elementary criterion for a surface that can be realized as a degree $n$ simple cyclic cover to have group of automorphisms isomorphic to $\bbZ_n$ is included. Section~\ref{AutoSection} contains a well known upper semicontinuity theorem for families of stable curves. A proof of this theorem is included for lack of a reference. Section~\ref{SectionSimplyConnected} consists of a series of results about simply connected algebraic surfaces that will be needed to prove Theorem~\ref{AutomorphismsEvenHorikawa}. Section~\ref{FinalSect} is devoted to prove Theorem~\ref{AutomorphismsEvenHorikawa} making use of the tools developed in the previous sections.

\section{Horikawa surfaces on the line \texorpdfstring{$K^2=2\chi-6$}{K2}} \label{Horikawa surfaces.}

This section collects the results about Horikawa surfaces that will be needed throughout the note.

\begin{theo}[{\cite[Lemma~1.1]{Hor1}}]\label{StructureEvenHorikawa}
Let $X$ be a minimal algebraic surface with $K_X^2=2\chi(\clO_X)-6$ and $\chi(\clO_X) \geq 4$. Then the canonical system $|K_X|$ has no base point. Moreover, the canonical map $\varphi_{K_X}\colon X\to \bbP^{p_g(X)-1}$ is a morphism of degree~2 onto a surface of degree $p_g(X)-2$ in $\bbP^{p_g(X)-1}$.
\end{theo}

\begin{theo}[{\cite[Theorem~3.3, Theorem~4.1 and Theorem~7.1]{Hor1}}]\label{DefClass}
Let $(K^2, \chi)$ be an admissible pair such that $K^2=2\chi-6$. If $K^2\notin 8\cdot\bbZ$ then $\frkM_{K^2, \chi}$ has a unique irreducible component. If $K^2\in 8\cdot\bbZ$ then $\frkM_{K^2, \chi}=\frkM_{K^2, \chi}^I\sqcup\frkM_{K^2, \chi}^{II}$ has two irreducible connected components. The image of the canonical map of a surface in $\frkM_{K^2, \chi}^I$ is $\bbF_e$ for some $e\in\{0,2,\,\ldots,\,\frac{1}{4}K^2\}$. The image of the canonical map of a surface in $\frkM_{K^2, \chi}^{II}$ is $\bbF_{\frac{1}{4}K^2+2}$ if $K^2>8$ and $\bbP^2$ or a cone over a rational curve of degree~$4$ in $\bbP^4$ if $K^2=8$.
\end{theo}



\section{Simple cyclic abelian covers}\label{SectionSimpleCyclic}
Let $Y$ be a smooth surface. Suppose there exist a line bundle $L$ and an effective divisor $B$ on $Y$ such that $B\in |nL|$. We denote by $V(L)$ the total space of the bundle $L$, by $\pi\colon V(L)\to Y$ the bundle projection and by $t\in H^0(V(L),\pi^*L)$ the tautological section. If $s\in H^0(Y, nL)$ is a section vanishing exactly along $B$, then the zero divisor $X$ of the section $t^n-\pi^*s\in H^0(V(L),\pi^*(nL))$ defines a surface in $V(L)$. Moreover, if we denote by $\mu$ a primitive $n$-root of unity, the map $\tau\colon t\mapsto \mu\cdot t$ induces a $\bbZ_n$-action on $X$ such that $f:=\pi|_{X}$ can be realized as the quotient map $X\to X/\bbZ_n\simeq Y$. The morphism $f\colon X\to Y$ is said to be a simple cyclic cover of degree $n$ with branch locus $B$ (see~\cite[Section~I.17]{Barth2004}). The set $\{L,B\}$ is known as the building data of the simple cyclic cover.

Simple cyclic covers are a special type of abelian cover. Let $G$ be a finite abelian group. A $G$-cover of a surface $Y$ is a finite map $f\colon X\to Y$ together with a faithful action of $G$ on $X$ such that $f$ exhibits $Y$ as $X/G$. Abelian covers in general were first studied by Pardini~\cite{Par1991} but simple cyclic covers were already considered by Comessatti~\cite{Comessatti}. Other references where particular types of covers were studied are~\cite{Cata1984,Mir1985,PerssonDC} or~\cite{Tan1991}.

In this note we are mainly interested in $\bbZ_2$-covers. Since every $\bbZ_2$-cover is simple cyclic and some of the results needed to prove Theorem~\ref{AutomorphismsEvenHorikawa} can be easily generalized to simple cyclic covers, we will also deal with this type of covers.

\begin{rema}\label{RedRedBuildingData}
Let $f\colon X\to Y$ be a simple cyclic cover of degree $n$ with branch locus $B$. Note that if the Picard group of $Y$ has no $n$-torsion then the line bundle $L$ can be deduced from the divisor $B$. In this note we are only going to consider covers of simply connected surfaces, for which the Picard group has no torsion (cf.~\cite[Remark~3.10]{MendesPardini2021}).
\end{rema}

\begin{rema}
Let $f\colon X\to Y$ be a simple cyclic cover of degree $n$ with branch locus $B$. If $Y$ is smooth, then $X$ is smooth if and only if $B$ is smooth (cf.~\cite[Section~I.17]{Barth2004} or~\cite[Proposition~3.1]{Par1991}) and in this case we will say that $f\colon X\to Y$ is a smooth simple cyclic cover.
\end{rema}


\begin{prop}[{\cite[Proposition~4.2]{Par1991}}] \label{SimpleCyclicInvariants}
Let $Y$ be a smooth surface and $f\colon X\to Y$ a smooth degree $n$ simple cyclic cover with building data $\{L,B\}$. Then:
\begin{align*}
K_X\equiv f^*(K_Y+(n-1)L),\\
K_X^2=n(K_Y+(n-1)L)^2,\\
p_g(X)=p_g(Y)+\sum_{i=1}^{n-1}h^0(K_Y+iL),\\
\chi(\clO_X)=n\chi(\clO_Y)+\frac{1}{2}\sum_{i=1}^{n-1}iL(iL+K_Y).
\end{align*}
\end{prop}

\begin{rema}\label{CanonicalImageSimpleCyclicCover}
Let $Y$ be a smooth surface and let us consider a smooth simple cyclic cover $f\colon X\to Y$ of degree $n$ with building data $\{L,B\}$. Let us assume that
\begin{equation*}
h^0(K_Y)=h^0(K_Y+L)=\cdots=h^0(K_Y+(n-2)L)=0.
\end{equation*}
Then $K_X=f^*(K_Y+(n-1)L)$ and $p_g(X)=h^0(K_Y+(n-1)L)=:N$ by Proposition~\ref{SimpleCyclicInvariants}. If we denote by $i\colon Y\dashrightarrow \bbP^{N-1}$ the (possibly rational) map defined by the complete linear system $|K_Y+(n-1)L|$, it follows that $i\circ f$ is the map induced by the complete linear system $|K_X|$, i.e. it is the canonical map of $X$. In particular $i(Y)$ is the canonical image of $X$.
\end{rema}

\begin{rema}\label{AutXD}
Let $D$ be an effective divisor on $Y$. In what follows we will denote by $\Aut(Y,D)$ the subset of $\Aut(Y)$ consisting of automorphisms $h$ of $Y$ such that $h(D)=D$.
\end{rema}

The following result is clearly inspired by~\cite[Lemma~5.3]{Manetti1996} and~\cite{Manetti1997}. Although it is probably well known, a proof is included for lack of a reference.

\begin{theo}\label{AutomorphismsSimpleCyclicCovers}
Let $Y$ be a smooth surface and $f\colon X\to Y$ a degree $n\geq 2$ simple cyclic cover with building data $\{L,B\}$ such that the branch locus $B$ is a general member of the linear system $|nL|$. Suppose that the map defined by the complete linear system $|K_Y+(n-1)L|$ is birational and that
\begin{equation*}
h^0(K_Y)=h^0(K_Y+L)=\cdots=h^0(K_Y+(n-2)L)=0.
\end{equation*}
If we denote by $\tau$ an order $n$ automorphism of $X$ such that $f$ can be realized as the quotient of $X$ by the action of $\langle \tau\rangle\simeq \bbZ_n$, then:
\begin{enumerate}\romanenumi
\item\label{theo9.1} $\langle \tau\rangle\simeq \bbZ_n$ is a normal subgroup of $\Aut(X)$;
\item\label{theo9.2} $\langle \tau\rangle\simeq \bbZ_2$ is in the center of $\Aut(X)$ if $n=2$;
\item\label{theo9.3} $\Aut(X)=\langle \tau\rangle\simeq \bbZ_n$ if $\Aut(Y,B)=\{1\}$.
\end{enumerate}
\end{theo}

\begin{proof}
First of all, it follows from Remark~\ref{CanonicalImageSimpleCyclicCover} that the canonical map $\Phi$ of $X$ is the composition of $f$ with the map $\Psi$ induced by the complete linear system $|K_Y+(n-1)L|$. In particular, $\Phi$ has degree $\degg(\Phi)=n$ because $\Psi$ is birational.

Let us consider the Galois group $G=\{g\in\Aut (X):\Phi\circ g=\Phi\}$ of $\Phi$. On the one hand, $\langle\tau\rangle\simeq \bbZ_n$ is contained in $G$. Given that the order of $G$ is at most $\degg(\Phi)=n$, we infer that $G=\langle\tau\rangle\simeq \bbZ_n$. On the other hand, $G$ coincides with $\{g\in\Aut (X):g^*C=C\text{ for every }C\in|K_X|\}$ and this is clearly a normal subgroup of $\Aut(X)$. Hence, we conclude that $\langle\tau\rangle\simeq \bbZ_n$ is a normal subgroup of $\Aut(X)$. If $n=2$, then $\langle\tau\rangle\simeq \bbZ_2$ is in the center of $\Aut(X)$ because order $2$ normal subgroups are always central.

That being said, we deduce from the fact that $\langle\tau\rangle\simeq \bbZ_n$ is normal in $\Aut(X)$ that $h$ induces an automorphism $\overline{h}$ of $X/\bbZ_n\simeq Y$ for every $h\in \Aut(X)$. Moreover, denoting by $R=(f^*B)_{\text{red}}$ the ramification of $f$, I claim that $h(R)=R$ and therefore $\overline{h}(B)=B$. Indeed, let $T=\fix(\tau)$ be the set of points fixed by $\tau$. Then the set $\fix(h\tau h^{-1})$ of points fixed by $h\tau h^{-1}$ is equal to $h(T)$. Now, since $G$ is normal, there exists an integer $k$ coprime to $n$ such that $h\tau h^{-1}=\tau^k$ and therefore $h(T)=\fix(h\tau h^{-1})=\fix(\tau^k)=T$. We conclude that $h(R)=R$ because $R$ is the divisorial part of $T$. As a consequence, $\overline{h}(B)=B$. If besides $\Aut(Y,B)=\{1\}$, then $\overline{h}$ is the trivial automorphism of $Y\simeq X/\bbZ_n$ and therefore $h$ belongs to $\langle\tau\rangle\simeq \bbZ_n$. Thus, $\Aut(X)=\langle\tau\rangle\simeq \bbZ_n$ in this case.
\end{proof}



\section{Automorphisms of a family of stable curves}\label{AutoSection}

Let $f\colon X\to B$ be a fibration, i.e. a proper and surjective morphism with connected fibers from a surface $X$ to a smooth connected curve $B$. As in~\cite{FanPar} we will denote by $\Aut_{X/B}$ the $B$-scheme of automorphisms of the fibers of $f$. In particular, the fiber of $\Aut_{X/B}\to B$ over $b\in B$ is isomorphic to the group of automorphisms of the fiber of $f$ over $b$. The aim of this section is to prove the following:

\begin{theo}\label{SemicontResult}
Let $\clX\to \Delta$ be a genus $g\geq 2$ fibration over the unit disc $\Delta\subset \bbC$ such that $\clX$ is smooth and $\clX_t$ is a stable curve for every $t\in\Delta$. Then $\Aut_{\clX/\Delta}\to \Delta$ is proper and the map sending $t\in\Delta$ to the order of the group of automorphisms of $\clX_t$ is an upper semicontinuous function.
\end{theo}

This result is well known but we include a proof, that was pointed out to the author by Rita Pardini, for lack of a reference.

\begin{proof}[Proof of Theorem~\ref{SemicontResult}]
Denoting $\Delta^*=\Delta\setminus\{0\}$ and $\clX^*=\clX\setminus\clX_0$, the properness of $\Aut_{\clX/\Delta}\to \Delta$ will follow if we show that every section of $\Aut_{\clX^*/\Delta^*}\to \Delta^*$ can be extended uniquely to a section of $\Aut_{\clX/\Delta}\to \Delta$ by the valuative criterion of properness. Let $\sigma$ be a section of $\Aut_{\clX^*/\Delta^*}\to \Delta^*$ and denote by $\hat{\sigma}\colon\clX\dashrightarrow \clX$ the birational map induced by $\sigma$. Suppose that $\hat{\sigma}$ cannot be extended to a morphism and consider a minimal sequence of blow-ups $\varepsilon\colon\clX'\to \clX$ such that $f:=\hat{\sigma}\circ \varepsilon$ is a morphism. Write
\begin{equation*}
K_{\clX'}=f^*K_{\clX}+\sum_{i=1}^r E_i
\end{equation*}
where each $E_i, i\in\{1,\,\ldots,\,r\}$ is an $f$-exceptional curve. By construction the last irreducible $(-1)$-curve $\Gamma$ arising from $\varepsilon$ is not contracted by $f$ and so $\Gamma\sum_{i=1}^r E_i\geq 0$ because $\Gamma$ is not a component of $\sum_{i=1}^r E_i$. In addition, since $\clX_t$ is a stable curve for every $t\in\Delta$ the divisor $K_{\clX}$ is relatively nef and $\Gamma f^*K_{\clX}\geq0$. We conclude that:
\begin{equation*}
-1= \Gamma K_{\clX'}= \Gamma f^*K_{\clX}+\Gamma\sum_{i=1}^r E_i \geq 0,
\end{equation*}
which is a contradiction. Hence we can assume $\hat{\sigma}$ to be a morphism because it can be extended to $\clX$. Moreover, this extension is unique because $\clX^*$ is an open and dense subset of $\clX$. Since $\Aut_{\clX/\Delta}\to \Delta$ has finite fibers because $\clX_t$ is a stable curve for every $t\in\Delta$, there exists an integer $m>0$ such that $(\hat{\sigma}|_{\clX^*})^m$ is the trivial automorphism and therefore $\hat{\sigma}^m$ is the trivial automorphism on $\clX$. In particular, $\hat{\sigma}$ is an automorphism and $\sigma$ can be extended uniquely to a section of $\Aut_{\clX/\Delta}\to \Delta$. It follows that $\Aut_{\clX/\Delta}\to \Delta$ is proper.

Write $\Aut_{\clX/\Delta}=Y\sqcup Z$ where $Y$ is the union of the $1$-dimensional components of $\Aut_{\clX/\Delta}$ and $Z$ consists of isolated points. Then the restriction $Y\to \Delta$ of $\Aut_{\clX/\Delta}\to \Delta$ to $Y$ is flat by~\cite[Proposition~III.9.7]{Hartshorne1977}. Moreover, $Y\to\Delta$ is étale. Indeed, by~\cite[Exercise~III.10.3]{Hartshorne1977} it suffices to show that $Y\to\Delta$ is unramified, but this is clear since $\Aut(\clX_t)$ is reduced (because it is a complex group scheme) and finite (because $\clX_t$ is a stable curve) for every $t\in\Delta$. In particular, the cardinality $\# Y_t$ of the fibers of $Y\to \Delta$ is constant for every $t\in \Delta$ (cf.~\cite[Corollary to Proposition~3.13]{Fischer}). The semicontinuity of the map sending $t\in\Delta$ to the order $|\Aut(\clX_t)|$ of the group of automorphisms of $\clX_t$ follows taking into account that:
\begin{enumerate}\romanenumi
\item $|\Aut(\clX_t)|=\# Y_t$ if $Z$ is disjoint from the fiber of $\Aut_{\clX/\Delta}\to \Delta$ over $t\in \Delta$;
\item $|\Aut(\clX_t)|>\# Y_t$ otherwise.\qedhere
\end{enumerate}
\end{proof}

\section{Simply connected algebraic surfaces.}\label{SectionSimplyConnected}

In this section we gather some results about simply connected algebraic surfaces that will be needed to prove Theorem~\ref{AutomorphismsEvenHorikawa}. They will come up as corollaries of the following:

\begin{theo}\label{Lefschetz}
Let $S$ be a smooth and simply connected algebraic surface and $\Lambda$ a very ample linear system on $S$ such that the general curve in $\Lambda$ has genus $\geq 3$ and is non-hyperelliptic. Then there exists a dense open subset of $\Lambda$ consisting of curves without non-trivial automorphisms.
\end{theo}

\begin{proof}
By~\cite[10.6.18]{RMFEM} all but at most finitely many of the curves in a general $1$-dimensional linear subspace of $\Lambda$ have no non-trivial automorphisms. Therefore a general element of $\Lambda$ has no non-trivial automorphism.
\end{proof}

As a consequence we obtain the following (see Remark~\ref{AutXD}):

\begin{coro}\label{Fe}
Let $\bbF_e$ be the Hirzebruch surface with negative section $\Delta_0$ of self-intersection $(-e)$ and fiber $F$. Then a general member $D$ of the linear system $|a\Delta_0+bF|$ with $a>2, b>\max\{ae, (a-1)e+2\}$ satisfies $\Aut(\bbF_e,D)=\{1\}$.
\end{coro}

\begin{proof}
First of all, the linear system $|a\Delta_0+bF|$ is very ample by~\cite[Corollary~V.2.18]{Hartshorne1977}. On the other hand, by the Adjunction Formula
\begin{equation*}
K_D\equiv \left(K_{\bbF_e}+D\right)|_{D}\equiv \big((a-2)\Delta_0+(b-2-e)F\big)\big|_D.
\end{equation*}
Since $(a-2)\Delta_0+(b-2-e)F$ is very ample again by~\cite[Corollary~V.2.18]{Hartshorne1977}, we have that $K_D$ is very ample and therefore $D$ is a non-hyperelliptic curve of genus greater than $2$. Therefore we can apply Theorem~\ref{Lefschetz} to the smooth and simply connected surface $\bbF_e$ and the linear system $|a\Delta_0+bF|$ to conclude that $D$ has no non-trivial automorphisms.

Let us consider $h\in \Aut(\bbF_e, D)$. We are going to show that it is necessarily the trivial automorphism of $\bbF_e$. Firstly, $h|_D$ is an automorphism of $D$ and therefore it is trivial. Hence $D$ belongs to the fixed locus of $h$ and a general fiber $F$ of $\bbF_e$ has at least $FD=a$ points fixed by $h$. Then $F$ and $h(F)$ are irreducible curves such that $F\cdot h(F)\geq FD=a>2$ and $0=F^2=h(F)^2$. I claim that this yields $h(F)=F$. Indeed, if $e\neq 0$ the only irreducible self-intersection~$0$ curves of $\bbF_e$ are the elements of $|F|$. If $e=0$ the only irreducible self-intersection~$0$ curves of $\bbF_e$ are the elements of the pencils $|F|$ and $|\Delta_0|$. In both cases the fact that $F$ contains $a>2$ fixed points implies $h(F)=F$. It follows that $h|_F$ is an automorphism of $F\simeq \bbP^1$ with at least $a>2$ fixed points. We conclude that $h|_F$ is the trivial automorphism of $F$. As a consequence $h$ is trivial in an open and dense subset of $\bbF_e$ and it must be the trivial automorphism.
\end{proof}

\begin{coro}\label{F2k+2}
Let $\bbF_{2k+2}$ be the Hirzebruch surface with negative section $\Delta_0$ of self-intersection $-(2k+2)$ and fiber $F$. If $k\geq 1$ then a general member $D$ of the linear system $|\clO_{\bbF_{2k+2}}(5\Delta_0+10(k+1)F)|$ satisfies $\Aut(\bbF_{2k+2},D)=\{1\}$. In particular $\Aut(\bbF_{2k+2},\Delta_0+D)=\{1\}$
\end{coro}

\begin{proof}
Let us denote by $|\Aut(C)|$ the order of the group of automorphisms of a member $C$ of the linear system $|5\Delta_0+10(k+1)F|$. By~\cite[Corollary~4.5]{FanPar} the map $C\mapsto |\Aut(C)|$ is an upper semicontinuous function on the subset of $|5\Delta_0+10(k+1)F|$ consisting of smooth divisors. Hence, there will be an open and dense subset of curves in $|5\Delta_0+10(k+1)F|$ without non-trivial automorphisms as long as the set of smooth curves with this property is not empty. Moreover, arguing like we did in the proof of Corollary~\ref{Fe} we can show that a divisor $C\in|5\Delta_0+10(k+1)F|$ without non-trivial automorphisms satisfies $\Aut(\bbF_{2k+2},C)=\{1\}$. Therefore the result will follow if we find a smooth divisor $C\in|5\Delta_0+10(k+1)F|$ without non-trivial automorphisms.

Now, by Theorem~\ref{Lefschetz} a general curve $B'\in|4\Delta_0+10(k+1)F|$ has no non-trivial automorphisms. We can assume $B'$ to be smooth and irreducible and to intersect $\Delta_0$ transversally in $2(k+1)$ different points. Then it is clear that $B=\Delta_0+B'\in |5\Delta_0+10(k+1)F|$ has trivial group of automorphisms. Denote by $\Delta\subset\bbC$ the unit disc. We can consider a family $p\colon \clX\to \Delta$ of curves of $|5\Delta_0+10(k+1)F|$ such that $B$ is the central fiber, the rest of fibers are smooth and $\clX$ is smooth. By Theorem~\ref{SemicontResult} the cardinality of the fiber of $\Aut_{\clX/\Delta}\to \Delta$ is an upper semicontinuous function. Hence, the general fiber of $p$ has trivial group of automorphisms because $B$ does.
\end{proof}


\begin{coro}\label{P2}
A general member $D$ of the linear system $|\clO_{\bbP^2}(d)|$ with $d\geq 4$ satisfies $\Aut(\bbP^2,D)\linebreak=\{1\}$.
\end{coro}

\begin{proof}
The proof of this result is analogous to the proof of Corollary~\ref{Fe}.
\end{proof}

\begin{coro}\label{ParticularAutGroups}
Let $(S,D)$ be one of the following pairs:
\begin{enumerate}\romanenumi
\item\label{coro15.1} $S$ is the Hirzebruch surface $\bbF_e$ with $e\geq 0$ and $D$ is a general member of the linear system $|a\Delta_0+bF|$ with even $a\geq 6$ and even $b>\max\{ae$, $ (a-1)e+2, (a-2)e+4\}$.
\item\label{coro15.2} $S$ is the Hirzebruch surface $\bbF_{2k+2}$ with $k\geq 2$ and $D$ is a general member of the linear system $|\clO_{\bbF_{2k+2}}(6\Delta_0+10(k+1)F)|$.
\item\label{coro15.3} $S=\bbP^2$ and $D$ is a general member of the linear system $|\clO_{\bbP^2}(d)|$ with even $d\geq 8$.
\end{enumerate}
Then $\Aut(X)\simeq\bbZ_2$ where $X\to S$ is a $\bbZ_2$-cover of $S$ branched along $D$.
\end{coro}

\begin{proof}
We know that $\Aut(S,D)=\{1\}$ by Corollary~\ref{Fe}, Corollary~\ref{F2k+2} or Corollary~\ref{P2} depending on whether we are in case~\eqref{coro15.1}, \eqref{coro15.2} or~\eqref{coro15.3} respectively. The result follows now from Theorem~\ref{AutomorphismsSimpleCyclicCovers}$\MK$\eqref{theo9.3} taking into account that $h^0(K_S)=0$ and $K_S+\frac{1}{2}D$ is very ample.
\end{proof}

\section{Group of automorphisms of Horikawa surfaces.}\label{FinalSect}

The aim of this section is to prove Theorem~\ref{AutomorphismsEvenHorikawa}. We will need the following:

\begin{lemm}\label{AutoLemma}
Let $(K^2,\chi)$ be an admissible pair such that $K^2=2\chi-6$. Suppose there exists a smooth surface $X\in \frkM_{K^2, \chi}$ whose group of automorphisms is isomorphic to $\bbZ_2$ and denote by $\frkM$ the irreducible component of $\frkM_{K^2, \chi}$ containing $X$. Then the group of automorphisms of a general surface in $\frkM$ is isomorphic to $\bbZ_2$.
\end{lemm}

\begin{proof}
Let us denote by $|\Aut(Y)|$ the order of the group of automorphisms of a surface $Y\in \frkM_{K^2, \chi}$. By~\cite[Corollary~4.5]{FanPar} the map $Y\mapsto |\Aut(Y)|$ is an upper semicontinuous function on the subset of $\frkM$ consisting of smooth surfaces. The result follows taking into account that the group of automorphisms of every Horikawa surface has a subgroup isomorphic to $\bbZ_2$ (see Section~\ref{Intro}).
\end{proof}

We are ready to prove Theorem~\ref{AutomorphismsEvenHorikawa}.

\begin{proof}[Proof of Theorem~\ref{AutomorphismsEvenHorikawa}]
By Lemma~\ref{AutoLemma} finding a smooth surface with group of automorphisms isomorphic to $\bbZ_2$ in each irreducible component of $\frkM_{K^2, \chi}$ suffices to prove Theorem~\ref{AutomorphismsEvenHorikawa}. The rest of the proof is devoted to construct such surfaces distinguishing the case $\chi$ even from the case $\chi$ odd. Notice that if $\chi$ is even then $K^2\notin 8\cdot \bbZ$ and $\frkM_{K^2, \chi}$ has a unique irreducible component by Theorem~\ref{DefClass}. If $\chi$ is odd it may happen that $K^2\in 8\cdot \bbZ$ and $\frkM_{K^2, \chi}$ has two irreducible components by Theorem~\ref{DefClass}.

Let us begin by assuming that $\chi$ is odd. We denote by $\Delta_0$ and $F$ the two classes of fibers of $\bbP^1\times \bbP^1$ and we consider a $\bbZ_2$-cover $f\colon X\to \bbP^1\times \bbP^1$ whose branch locus $B$ is a general member of the linear system $|6\Delta_0+(\chi+1)F|$. The formulas for simple cyclic covers (see Proposition~\ref{SimpleCyclicInvariants}) yield $K^2_X=K^2$ and $\chi(\clO_X)=\chi$. Moreover, $K_X$ is ample because it is the pullback via $f$ of the ample divisor $\Delta_0+\frac{\chi-3}{2}F$. Hence, $X\in\frkM_{K^2, \chi}$ and $\Aut(X)=\bbZ_2$ by Corollary~\ref{ParticularAutGroups}. Furthermore, if $K^2=8k$ for some integer $k\geq 1$ the surface $X$ belongs to $\frkM^I_{8k, 4k+3}$ (see Theorem~\ref{DefClass}) because its canonical image is $\bbP^1\times \bbP^1$. Indeed, since $\Delta_0+\frac{\chi-3}{2}F$ is not only ample but very ample and $h^0(K_{\bbP^1\times \bbP^1})=0$ the canonical image of $X$ is $\bbP^1\times \bbP^1$ by Remark~\ref{CanonicalImageSimpleCyclicCover}.

In order to construct a surface with group of automorphisms isomorphic to $\bbZ_2$ in $\frkM^{II}_{8k, 4k+3}$ when $k\geq 2$ it suffices to consider a $\bbZ_2$-cover $f\colon X\to \bbF_{2k+2}$ of the Hirzebruch surface $\bbF_{2k+2}$ with negative section $\Delta_0$ of self-intersection $-(2k+2)$ and fiber $F$. The branch locus $B$ consists of $\Delta_0$ plus a general element of the linear system $|5\Delta_0+10(k+1)F|$. The formulas for simple cyclic covers (see Proposition~\ref{SimpleCyclicInvariants}) yield $K^2_X=8k$ and $\chi(\clO_X)=4k+3$. Moreover, $K_X$ is ample because it is the pullback via $f$ of the ample divisor $\Delta_0+(3k+1)F$. Hence, $X\in\frkM_{8k, 4k+3}$ and $\Aut(X)=\bbZ_2$ by Corollary~\ref{ParticularAutGroups}. The surface $X$ belongs to $\frkM^{II}_{8k, 4k+3}$ (see Theorem~\ref{DefClass}) because its canonical image is $\bbF_{2k+2}$. Indeed, since $\Delta_0+(3k+1)F$ is not only ample but very ample and $h^0(K_{\bbF_{2k+2}})=0$ the canonical image of $X$ is $\bbF_{2k+2}$ by Remark~\ref{CanonicalImageSimpleCyclicCover}.

If $k=1$ in the previous example, the canonical divisor of $X$ is not ample. Therefore we need to construct another surface for this case. Let us consider a $\bbZ_2$-cover $f\colon X\to \bbP^2$ whose branch locus $B$ is a general member of the linear system $|\clO_{\bbP^2}(10)|$. The formulas for simple cyclic covers (see Proposition~\ref{SimpleCyclicInvariants}) yield $K^2_X=8$ and $\chi(\clO_X)=7$. Moreover, $K_X$ is ample because it is the pullback via $f$ of the ample line bundle $\clO_{\bbP^2}(2)$. Hence, $X\in\frkM_{8, 7}$ and $\Aut(X)=\bbZ_2$ by Corollary~\ref{ParticularAutGroups}. The surface $X$ belongs to $\frkM^{II}_{8, 7}$ (see Theorem~\ref{DefClass}) because its canonical image is $\bbP^2$. Indeed, since $\clO_{\bbP^2}(2)$ is not only ample but very ample and $h^0(K_{\bbP^2})=0$ the canonical image of $X$ is $\bbP^2$ by Remark~\ref{CanonicalImageSimpleCyclicCover}.


Let us assume now that $\chi>4$ is even. We consider a $\bbZ_2$-cover $f\colon X\to \bbF_1$ of the Hirzebruch surface $\bbF_{1}$ with negative section $\Delta_0$ of self-intersection $(-1)$ and fiber $F$. The branch locus $B$ is a general element of the linear system $|6\Delta_0+(\chi+4)F|$. The formulas for simple cyclic covers (see Proposition~\ref{SimpleCyclicInvariants}) yield $K^2_X=K^2$ and $\chi(\clO_X)=\chi$. Moreover, $K_X$ is ample because it is the pullback via $f$ of the ample divisor $\Delta_0+\frac{\chi-2}{2}F$. Hence, $X\in\frkM_{K^2, \chi}$ and $\Aut(X)=\bbZ_2$ by Corollary~\ref{ParticularAutGroups}.


If $\chi=4$ in the previous example, the canonical divisor of $X$ is not ample. Therefore we need to construct another surface for this case. Let us consider a $\bbZ_2$-cover $f\colon X\to \bbP^2$ whose branch locus $B$ is a general element of the linear system $|\clO_{\bbP^2}(8)|$. The formulas for simple cyclic covers (see Proposition~\ref{SimpleCyclicInvariants}) yield $K^2_X=2$ and $\chi(\clO_X)=4$. Moreover, $K_X$ is ample because it is the pullback via $f$ of the ample line bundle $\clO_{\bbP^2}(1)$. Hence, $X\in\frkM_{2, 4}$ and $\Aut(X)=\bbZ_2$ by Corollary~\ref{ParticularAutGroups}.
\end{proof}

\begin{rema}
There are many examples of Horikawa surfaces whose group of automorphisms is not isomorphic to $\bbZ_2$. Indeed, let $(K^2,\chi)$ be an admissible pair such that $K^2=2\chi-6$. Then:
\begin{itemize}
\item[-] Every irreducible component of $\frkM_{K^2, \chi}$ contains surfaces whose group of automorphisms has a subgroup isomorphic to $\bbZ_2^2$ by~\cite[Theorem~1]{Lorenzo2021}.
\item[-] Every irreducible component of $\frkM_{K^2, \chi}$ contains surfaces whose group of automorphisms has a subgroup isomorphic to $\bbZ_3$ by~\cite[Theorem~1.1]{Lorenzo2021Z3}.
\end{itemize}
\end{rema}

\section*{Acknowledgments}
The author is deeply indebted to Margarida Mendes Lopes for all her help. The author also thanks Rita Pardini for pointing out some mistakes and showing him how to prove the upper semicontinuity result for families of stable curves. Finally, the author would like to express his gratitude to the anonymous reviewer for her/his thorough reading of the paper and suggestions.

\section*{Declaration of interests}
The authors do not work for, advise, own shares in, or receive funds from any organization that could benefit from this article, and have declared no affiliations other than their research organizations.

\bibliographystyle{crplain}
\bibliography{crmath20220632}
\end{document}
