arXiv subjects

Alice Garbagnati

Publications and source records attributed to Alice Garbagnati.

At least 19 recordsLinked to original sources

arXiv2026

Generalized Nikulin surfaces and irreducible symplectic fourfolds

A Nikulin surface is the minimal resolution of the quotient of a $K3$ surface $S$ by a symplectic involution $\iota_S$. Equivalently, it is the $2$-dimensional component of the fixed locus of the involution induced by $\iota_S$ on the Hilbert scheme $S^{[2]}$. We study $K3$ surfaces $F$ that are the $2$-dimensional component of the fixed locus of a symplectic involution $\iota$ on hyper-K\"ahler manifolds $X$ of $K3^{[2]}$-type; we call them generalized Nikulin surfaces. We show that a projective $K3$ surface is a generalized Nikulin surface if and only if its N\'eron-Severi lattice contains primitively the lattice $E_7(-2)$. Moreover, we show that the transcendental lattices $T_F$ and $T_{\widetilde{X/ \iota}}$, where $\widetilde{X/ \iota}$ is the terminalization of the quotient $X/\iota$, are Hodge isometric. Finally, we describe projective models of generalized Nikulin surfaces of small degrees.

math.AG↗

arXiv2026

Specializations of symplectic and van Geemen--Sarti involutions on K3 surfaces

Given a symplectic involution $\iota$ on a K3 surface $X$, the desingularization $Y$ of $X/\iota$ is still a K3 surface, which in general has a different N\'eron--Severi group. Nevertheless, if the involution is induced by the translation by a 2-torsion section on an elliptic fibration (i.e. it is a van Geemen--Sarti involution) and the Picard number is minimal, the N\'eron--Severi groups of $X$ and $Y$ are known to be isometric. We first determine infinitely many codimension 2 subfamilies of projective K3 surfaces with a symplectic involution (not of van Geemen--Sarti type) whose generic members satisfy $NS(X)\simeq NS(Y)$. Then, we describe the cohomological action of a van Geemen--Sarti involution and we characterize specializations of K3 surfaces with a van Geemen--Sarti involution for which it is still true that $NS(X)\simeq NS(Y)$. There is a 5-dimensional family of K3 surfaces with van Geemen--Sarti involution for which $X\simeq Y$. The K3 surfaces in such a family admit complex multiplication, and we describe its cohomological action. We briefly discuss similar problems for order 3 symplectic automorphisms induced by a translation by a 3-torsion section on an elliptic fibration.

math.AG↗

arXiv2025

Rank jumps and Multisections of elliptic fibrations on K3 surfaces

We consider the countably many families $\mathcal{L}_d$, $d\in\mathbb{N}_{\geq 2}$, of K3 surfaces admitting an elliptic fibration with positive Mordell--Weil rank. We prove that the elliptic fibrations on the very general member of these families have the potential Mordell--Weil rank jump property for $d\neq 2,3$ and moreover the Mordell--Weil rank jump property for $d\equiv 3\mod 4$, $d\neq 3$. We provide explicit examples and discuss some extensions to subfamilies. The result is based on the geometric interaction between the (potential) Mordell--Weil rank jump property and the presence of special multisections of the fibration.

math.AG↗

arXiv2024

Singular symplectic surfaces

In this paper we classify all singular irreducible symplectic surfaces, i.e., compact, connected complex surfaces with canonical singularities that have a holomorphic symplectic form $\sigma$ on the smooth locus, and for which every finite quasi-\'etale covering has the algebra of reflexive forms spanned by the reflexive pull-back of $\sigma$. We moreover prove that the Hilbert scheme of two points on such a surface $X$ is an irreducible symplectic variety, at least in the case where the smooth locus of $X$ is simply connected.

math.AG↗

arXiv2023

Hodge Structures of K3 type of bidouble covers of rational surfaces

A bidouble cover is a flat $G:=\left(\mathbb{Z}/2\mathbb{Z}\right)^2$-Galois cover $X \rightarrow Y$. In this situation there exist three intermediate quotients $Y_1,Y_2$ and $Y_3$ which correspond to the three subgroups $\mathbb{Z}/2\mathbb{Z} \leq G$. In this paper we consider the following situation: $Y$ will be a rational surface and $Y_i$ will be either a surface with $p_g=0$ or a K3 surface. These assumptions will enable us to have a strong control on the weight 2 Hodge structure of the covering surface $X$. In particular, we classify all covers with these properties if $Y$ is minimal, obtaining surfaces $X$ with $p_g(X)=1,2,3$. Moreover, we will discuss the Infinitesimal Torelli Property, the Chow groups and Chow motive, and the Tate and Mumford-Tate conjectures for $X$. We also introduce another construction, called iterated bidouble cover, which allows us to obtain surfaces with higher value of $p_g$ for which we still have a strong control on the weight 2 Hodge structure.

math.AG↗

arXiv2023

Elliptic fibrations and involutions on K3 surfaces

We survey our contributions on the classification of elliptic fibrations on K3 surfaces with a non-symplectic involution. We place them in the more general framework of K3 surfaces with an involution without any hypothesis on its fixed locus or on the action on the symplectic 2-form. We revisit the complete classification of elliptic fibrations on K3 surfaces with a 2-elementary Néron--Severi lattice, and give a complete classification of extremal elliptic fibrations on K3 surfaces that are quadratic covers of rational elliptic surfaces.

math.AG↗

arXiv2022

Order 3 symplectic automorphisms on K3 surfaces

The aim of this paper is to generalize results known for the symplectic involutions on K3 surfaces to the order 3 symplectic automorphisms on K3 surfaces. In particular, we will explicitly describe the action induced on the lattice $Λ_{K3}$, isometric to the second cohomology group of a K3 surface, by a symplectic automorphism of order 3; we exhibit the maps $π_*$ and $π^*$ induced in cohomology by the rational quotient map $π:X\dashrightarrow Y$, where $X$ is a K3 surface admitting an order 3 symplectic automorphism $σ$ and $Y$ is the minimal resolution of the quotient $X/σ$; we deduce the relation between the Néron--Severi group of $X$ and the one of $Y$. Applying these results we describe explicit geometric examples and generalize the Shioda--Inose structures, relating Abelian surfaces admitting order 3 endomorphisms with certain specific K3 surfaces admitting particular order 3 symplectic automorphisms.

math.AG↗

arXiv2022

Generalized Shioda--Inose structures of order 3

A Shioda--Inose structure is a geometric construction which associates to an Abelian surface a projective K3 surface in such a way that their transcendental lattices are isometric. This geometric construction was described by Morrison by considering special symplectic involutions on the K3 surfaces. After Morrison several authors provided explicit examples. The aim of this paper is to generalize Morrison's results and some of the known examples to an analogous geometric construction involving not involutions, but order 3 automorphisms. Therefore we define the generalized Shioda--Inose structures of order 3, we identify the K3 surfaces and the Abelian surfaces which appear in these structures and we provide explicit examples.

math.AG↗

arXiv2022

Elliptic fibrations on covers of the elliptic modular surface of level 5

We consider the K3 surfaces that arise as double covers of the elliptic modular surface of level 5, $R_{5,5}$. Such surfaces have a natural elliptic fibration induced by the fibration on $R_{5,5}$. Moreover, they admit several other elliptic fibrations. We describe such fibrations in terms of linear systems of curves on $R_{5,5}$. This has a major advantage over other methods of classification of elliptic fibrations, namely, a simple algorithm that has as input equations of linear systems of curves in the projective plane yields a Weierstrass equation for each elliptic fibration. We deal in detail with the cases for which the double cover is branched over the two reducible fibers of type $I_5$ and for which it is branched over two smooth fibers, giving a complete list of elliptic fibrations for these two scenarios.

math.AG↗

arXiv2022

Triple covers of K3 surfaces

We study triple covers of K3 surfaces, following Miranda's theory of triple covers. We relate the geometry of the covering surfaces with the properties of both the branch locus and the Tschirnhausen vector bundle. In particular, we classify Galois triple covers computing numerical invariants of the covering surface and of its minimal model. We provide examples of non Galois triple covers, both in the case in which the Tschirnhausen bundle splits into the sum of two line bundles and in the case in which it is an indecomposable rank 2 vector bundle. We provide a criterion to construct rank 2 vector bundles on a K3 surface $S$ which determine a non-Galois triple cover of $S$. The examples presented are in any admissible Kodaira dimension and in particular we provide the constructions of irregular covers of K3 surfaces and of surfaces with geometrical genus equal to 2 whose transcendental Hodge structure splits in the sum of two Hodge structures of K3 type.

math.AG↗

arXiv2021

Views on level $\mathit \ell$ curves, K3 surfaces and Fano threefolds

An analogue of the Mukai map $m_g: \mathcal P_g \to \mathcal M_g$ is studied for the moduli $\mathcal R_{g, \ell}$ of genus $g$ curves $C$ with a level $\ell$ structure. Let $\mathcal P^{\perp}_{g, \ell}$ be the moduli space of $4$-tuples $(S, \mathcal L, \mathcal E, C)$ so that $(S, \mathcal L)$ is a polarized K3 surface of genus $g$, $\mathcal E$ is orthogonal to $\mathcal L$ in Pic$S$ and defines a standard degree $\ell$ K3 cyclic cover of $S$, $C \in \vert \mathcal L \vert$. We say that $(S, \mathcal L, \mathcal E)$ is a level $\ell$ K3 surface. These exist for $\ell \leq 8$ and their families are known. We define a level $\ell$ Mukai map $r_{g, \ell}: \mathcal P^{\perp}_{g, \ell} \to \mathcal R_{g, \ell}$, induced by the assignment of $(S, \mathcal L, \mathcal E, C)$ to $ (C, \mathcal E \otimes \mathcal O_C)$. We investigate a curious possible analogy between $m_g$ and $r_{g, \ell}$, that is, the failure of the maximal rank of $r_{g, \ell}$ for $g = g_{\ell} \pm 1$, where $g_{\ell}$ is the value of $g$ such that $\dim \mathcal P^{\perp}_{g, \ell} = \dim \mathcal R_{g,\ell}$. This is proven here for $\ell = 3$. As a related open problem we discuss Fano threefolds whose hyperplane sections are level $\ell$ K3 surfaces and their classification.

math.AG↗

arXiv2021

Projective models of Nikulin orbifolds

We study projective fourfolds of $K3^{[2]}$-type with a symplectic involution and the deformations of their quotients, called orbifolds of Nikulin types; they are IHS orbifolds. We compute the Riemann--Roch formula for Weil divisors on such orbifolds and describe the first complete family of orbifolds of Nikulin type with a polarization of degree $2$ as double covers of special complete intersections $(3,4)$ in $\mathbb{P}^6$.

math.AG↗

arXiv2020

Fields of definition of elliptic fibrations on covers of certain extremal rational elliptic surfaces

We study K3 surfaces over a number field $k$ which are double covers of extremal rational elliptic surfaces. We provide a list of all elliptic fibrations on certain K3 surfaces together with the degree of a field extension over which each genus one fibration is defined and admits a section. We show that the latter depends, in general, on the action of the cover involution on the fibers of the genus 1 fibration.

math.AG↗

arXiv2020

Elliptic fibrations and Kodaira dimensions of Schreieder's varieties

We discuss the birational geometry and the Kodaira dimension of certain varieties previously constructed by Schreieder, proving that in any dimension they admit an elliptic fibration and they are not of general type. The $l$-dimensional variety $Y_n^l$, which is the quotient of the product of a certain curve $C_n$ by itself $l$ times by a group $G\simeq\left(\mathbb{Z}/n\mathbb{Z}\right)^{l-1}$ of automorphisms, was constructed by Schreieder to obtain varieties with prescribed Hodge numbers. If $n=3^c$ Schreieder constructed an explicit smooth birational model of it, and Flapan proved: the Kodaira dimension of this smooth model is 1, if $c>1$; if $l=2$ it is a modular elliptic surface; if $l=3$ it admits a fibration in K3 surfaces. In this paper we generalize these results: without any assumption on $n$ and $l$ we prove that $Y_n^l$ admits many elliptic fibrations and its Kodaira dimension is at most 1. Moreover, if $l=2$ its minimal resolution is a modular elliptic surface, obtained by a base change of order $n$ on a specific extremal rational elliptic surface; if $l\geq 3$ it has a birational model which admits a fibration in K3 surfaces and a fibration in $(l-1)$-dimensional varieties of Kodaira dimension at most 0.

math.AG↗

arXiv2019

On certain isogenies between K3 surfaces

The aim of this paper is to construct "special" isogenies between K3 surfaces, which are not Galois covers between K3 surfaces, but are obtained by composing cyclic Galois covers, induced by quotients by symplectic automorphisms. We determine the families of K3 surfaces for which this construction is possible. To this purpose we will prove that there are infinitely many big families of K3 surfaces which both admit a finite symplectic automorphism and are (desingularizations of) quotients of other K3 surfaces by a symplectic automorphism. In the case of involutions, for any $n\in\mathbb{N}_{>0}$ we determine the transcendental lattices of the K3 surfaces which are $2^n:1$ isogenous (by a non Galois cover) to other K3 surfaces. We also study the Galois closure of the $2^2:1$ isogenies and we describe the explicit geometry on an example.

math.AG↗

arXiv2018

Elliptic fibrations on K3 surfaces with a non-symplectic involution fixing rational curves and a curve of positive genus

In this paper we complete the classification of the elliptic fibrations on K3 surfaces which admit a non-symplectic involution acting trivially on the Néron--Severi group. We use the geometric method introduced by Oguiso and moreover we provide a geometric construction of the fibrations classified. If the non-symplectic involution fixes at least one curve of genus 1, we relate all the elliptic fibrations on the K3 surface with either elliptic fibrations or generalized conic bundles on rational elliptic surfaces. This description allows us to write the Weierstrass equations of the elliptic fibrations on the K3 surfaces explicitly and to study their specializations.

math.AG↗

arXiv2017

A remark on generalized complete intersections

We observe that an interesting method to produce non-complete intersection subvarieties, the generalized complete intersections from L. Anderson and coworkers, can be understood and made explicit by using standard Cech cohomology machinery. We include a worked example of a generalized complete intersection Calabi-Yau threefold.

math.AG↗

arXiv2017

Calabi-Yau 4-folds of Borcea--Voisin type from F-Theory

In this paper, we apply Borcea--Voisin's construction and give new examples of Calabi--Yau fourfolds $Y$, which admit an elliptic fibration onto a smooth threefold $V$, whose singular fibers of type $I_5$ lie above a del Pezzo surface $dP \subset V$. These are relevant models for F-theory according to papers by C. Beasley, J. J. Heckman, C. Vafa. Moreover, at the end of the paper we will give the explicit equations of some of these Calabi--Yau fourfolds and their fibrations.

math.AG↗