TY - UNPB

T1 - On the numerically and cohomologically trivial automorphisms of elliptic surfaces II: $χ(S)>0$

AU - Catanese, Fabrizio

AU - Liu, Wenfei

AU - Schuett, Matthias

N1 - 64 pages, Keywords: Compact K\"ahler manifolds, algebraic surfaces, elliptic surfaces, automorphisms, cohomologically trivial automorphisms, numerically trivial automorphisms, Enriques--Kodaira classfication

PY - 2024/12/22

Y1 - 2024/12/22

N2 - In this second part we study first the group $Aut_{\mathbb{Q}}(S)$ of numerically trivial automorphisms of a properly elliptic surface $S$, that is, of a minimal surface with Kodaira dimension $\kappa(S)=1$, in the case $\chi(S) \geq 1$. Our first surprising result is that, against what has been believed for over 40 years, we have nontrivial such groups for $p_g(S) >0$. Indeed, we show even that there is no absolute upper bound for their cardinalities $|Aut_{\mathbb{Q}}(S)|$. At any rate, we give explicit and almost sharp upper bounds for $|Aut_{\mathbb{Q}}(S)|$ in terms of the numerical invariants of $S$, as $\chi(S)$, the irregularity $q(S)$, and the bigenus $P_2(S)$. Moreover, we come quite close to a complete description of the possible groups $Aut_{\mathbb{Q}}(S)$, and we give an effective criterion for surfaces to have trivial $Aut_{\mathbb{Q}}(S)$. Our second surprising results concern the group $Aut_{\mathbb{Z}}(S)$ of cohomologically trivial automorphisms; we are able to give the explicit upper bounds for $|Aut_{\mathbb{Z}}(S)|$ in special cases: $9$ when $p_g(S) =0$, and the sharp upper bound $3$ when $S$ (i.e., the pluricanonical elliptic fibration) is isotrivial. We produce also non isotrivial examples where $Aut_{\mathbb{Z}}(S)$ is a cyclic group of order $2$ or $3$.

AB - In this second part we study first the group $Aut_{\mathbb{Q}}(S)$ of numerically trivial automorphisms of a properly elliptic surface $S$, that is, of a minimal surface with Kodaira dimension $\kappa(S)=1$, in the case $\chi(S) \geq 1$. Our first surprising result is that, against what has been believed for over 40 years, we have nontrivial such groups for $p_g(S) >0$. Indeed, we show even that there is no absolute upper bound for their cardinalities $|Aut_{\mathbb{Q}}(S)|$. At any rate, we give explicit and almost sharp upper bounds for $|Aut_{\mathbb{Q}}(S)|$ in terms of the numerical invariants of $S$, as $\chi(S)$, the irregularity $q(S)$, and the bigenus $P_2(S)$. Moreover, we come quite close to a complete description of the possible groups $Aut_{\mathbb{Q}}(S)$, and we give an effective criterion for surfaces to have trivial $Aut_{\mathbb{Q}}(S)$. Our second surprising results concern the group $Aut_{\mathbb{Z}}(S)$ of cohomologically trivial automorphisms; we are able to give the explicit upper bounds for $|Aut_{\mathbb{Z}}(S)|$ in special cases: $9$ when $p_g(S) =0$, and the sharp upper bound $3$ when $S$ (i.e., the pluricanonical elliptic fibration) is isotrivial. We produce also non isotrivial examples where $Aut_{\mathbb{Z}}(S)$ is a cyclic group of order $2$ or $3$.

KW - math.AG

KW - math.CV

KW - 14J50, 14J80, 14J27, 14H30, 14F99, 32L05, 32M99, 32Q15, 32Q55

M3 - Preprint

BT - On the numerically and cohomologically trivial automorphisms of elliptic surfaces II: $χ(S)>0$

ER -