Searcharxiv⌕ Search

arXiv subjects

Sara Torelli

Publications and source records attributed to Sara Torelli.

15 recordsLinked to original sources
arXiv2026

Components of simple and non--simple type of Hurwitz schemes

Let $\mathcal{H}_{g \to b,d; \mathbf{e}}$, with $\mathbf{e}=(e_1,\ldots, e_n)$, be the Hurwitz space, parametrizing all morphisms $\pi: C\to B$ of degree $d$, with $n$ points $x_1,\ldots, x_n\in C$ of ramification order $e_1,\ldots, e_n$ respectively, and where $C$ and $B$ are smooth, irreducible, projective curves of genera $g$ and $b$ respectively. In this paper we study the question of when there exist components of $\mathcal{H}_{g \to b,d; \mathbf{e}}$ whose members $\pi: C \to B$ all factor through an intermediate curve, in which case we say that these components are \emph{of non--simple type}. We give necessary and sufficient conditions for the existence of components of non--simple type. Then we prove that for $b\geq 2$ there are always components of simple type, and for $b\in \{0,1\}$ there are such components under suitable sufficient conditions. However there are easy examples for $b\in \{0,1\}$ in which there are never components of simple type.

math.AG↗
arXiv2024

Brill-Noether loci of pencils with prescribed ramification on moduli of curves and on Severi varieties on $K3$ surfaces

Under the assumption that the adjusted Brill-Noether number $\widetilde{\rho}$ is at least $-g$, we prove that the Brill-Noether loci in $\mathcal{M}_{g,n}$ of pointed curves carrying pencils with prescribed ramification at the marked points have a component of the expected codimension with pointed curves having Brill-Noether varieties of pencils of the minimal dimension. As an application, the map from the Hurwitz scheme to $\mathcal{M}_g$ is dominant if $n+\widetilde{\rho} \geq 0$ and generically finite otherwise, settling a variation of a classical problem of Zariski. In the second part of the paper, we study the analogous loci of curves in Severi varieties on $K3$ surfaces, proving existence of curves with non-general behaviour from the point of view of Brill-Noether theory. This extends previous results of Ciliberto and the first named author to the ramified case. We apply these results to study correspondences and cycles on $K3$ surfaces in relation to Beauville-Voisin points and constant cycle curves.

math.AG↗
arXiv2024

General infinitesimal variations of Hodge structure of ample curves in surfaces

Given a smooth projective complex curve inside a smooth projective surface, one can ask how its Hodge structure varies when the curve moves inside the surface. In this paper we develop a general theory to study the infinitesimal version of this question in the case of ample curves. We can then apply the machinery to show that the infinitesimal variation of Hodge structure of a general deformation of an ample curve in $\mathbb{P}^1\times\mathbb{P}^1$ is an isomorphism.

math.AG↗
arXiv2023

Correspondences acting on constant cycle curves on K3 surfaces

Constant cycle curves on a K3 surface $X$ over $\mathbb{C}$ have been introduced by Huybrechts (2014) as curves whose points all define the same class in the Chow group. In this paper we study correspondences $Z \subseteq X\times X$ over $\mathbb{C}$ acting on the group $\mbox{ccc}(X)$ of cycles generated by irreducible constant cycle curves. We construct for any $n\geq 2$ and any very ample line bundle $L$ a locus $Z_n(L)\subseteq X\times X$ of expected dimension $2$, which yields a correspondence that acts on $\mbox{ccc}(X)$, when it has the expected dimension. We provide examples of $Z_n(L)$ for low $n$ and exhibit one correspondence different from $Z_n(L)$ acting on $\mbox{ccc}(X)$.

math.AG↗
arXiv2023

Rigidity of modular morphisms via Fujita decomposition

In this note we prove that the Torelli, Prym and Spin-Torelli morphisms, as well as covering maps between moduli stacks of projective curves can not be deformed. The proofs use properties of the Fujita decomposition of the Hodge bundle of families of curves.

math.AG↗
arXiv2022

Holomorphic 1-forms on some coverings of the moduli space of curves

In this paper we consider unramified coverings of the moduli space $\mathcal{M}_g$ of smooth projective complex curves of genus $g$. Under some hypothesis on the branch locus of the finite extended map to the Deligne-Mumford compactification, we prove the vanishing of the vector space of holomorphic 1-forms on the preimage of the smooth locus of $\mathcal{M}_g$. This applies to several moduli spaces, as the moduli space of curves with 2-level structures, of spin curves and of Prym curves. In particular, we obtain that there are no non-trivial holomorphic 1-forms on the smooth open set of the Prym locus.

math.AG↗
arXiv2021

Punctual characterization of the unitary flat bundle of weight 1 PVHS and application to families of curves

In this paper we consider the problem of pointwise determining the fibres of the flat unitary subbundle of a PVHS of weight one. Starting from the associated Higgs field, and assuming the base has dimension $1$, we construct a family of (smooth but possibly non-holomorphic) morphisms of vector bundles with the property that the intersection of their kernels at a general point is the fibre of the flat subbundle. We explore the first one of these morphisms in the case of a geometric PVHS arising from a family of smooth projective curves, showing that it acts as the cup-product with some sort of "second-order Kodaira-Spencer class" which we introduce, and check in the case of a family of smooth plane curves that this additional condition is non-trivial.

math.AG↗
arXiv2021

Quillen connection and the uniformization of Riemann surfaces

The Quillen connection on ${\mathcal L} \rightarrow {\mathcal M}_g$, where ${\mathcal L}^*$ is the Hodge line bundle over the moduli stack of smooth complex projective curves curves ${\mathcal M}_g$, $g \geq 5$, is uniquely determined by the condition that its curvature is the Weil--Petersson form on ${\mathcal M}_g$. The bundle of holomorphic connections on ${\mathcal L}$ has a unique holomorphic isomorphism with the bundle on ${\mathcal M}_g$ given by the moduli stack of projective structures. This isomorphism takes the $C^\infty$ section of the first bundle given by the Quillen connection on ${\mathcal L}$ to the $C^\infty$ section of the second bundle given by the uniformization theorem. Therefore, any one of these two sections determines the other uniquely.

math.AG↗
arXiv2020

On the Jacobian locus in the Prym locus and geodesics

In the paper we consider the Jacobian locus $\overline{J_g}$ and the Prym locus $\overline{P_{g+1}}$, in the moduli space $A_g$ of principally polarized abelian varieties of dimension $g$, for $g\geq 7$, and we study the extrinsic geometry of $\overline{J_g}\subset \overline{P_{g+1}}$, under the inclusion provided by the theory of generalized Prym varieties as introduced by Beauville. More precisely, we study certain geodesic curves with respect to the Siegel metric of $A_g$, starting at a Jacobian variety $[JC]\in A_g$ of a curve $[C]\in M_g$ and with direction $ζ\in T_{[JC]}J_g$. We prove that for a general $JC$, any geodesic of this kind is not contained in $\overline{J_g}$ and even in $\overline{P_{g+1}}$, if $ζ$ has rank $k<\Cliff C-3$, where $\Cliff C$ denotes the Clifford index of $C$.

math.AG↗
arXiv2019

Families of curves with Higgs field of arbitrarily large kernel

In this note we consider the flat bundle U and the kernel K of the Higgs field naturally associated to any (polarized) variation of Hodge structures of weight 1. We study how strict the inclusion of U in K can be in the geometric case. More precisely, for any smooth projective curve C of genus g (at least 2) and any k (between 0 and g-1), we construct non-isotrivial deformations of C over a quasi-projecive base such that K has rank k and U has rank at most (g+1)/2.

math.AG↗
arXiv2019

Totally geodesic subvarieties in the moduli space of curves

In this paper we study totally geodesic subvarieties $Y \subset \mathsf{A}_g$ of the moduli space of principally polarized abelian varieties with respect to the Siegel metric, for $g\geq 4$. We prove that if $Y$ is generically contained in the Torelli locus, then $\dim Y \leq (7g -2)/3$.

math.AG↗
arXiv2018

Massey Products and Fujita decompositions on fibrations of curves

Let $f:S\to B$ be a fibration of curves and let $f_\astω_{S/B}=\cU\oplus \cA$ be the second Fujita decomposition of $f.$ In this paper we study a kind of Massey products, which are defined as infinitesimal invariants by the cohomology of a curve, in relation to the monodromy of certain subbundles of $\cU$. The main result states that their vanishing on a general fibre of $f$ implies that the monodromy group acts faithfully on a finite set of morphisms and is therefore finite. In the last part we apply our result in terms of the normal function induced by the Ceresa cycle. On the one hand, we prove that the monodromy group of the whole $\cU$ of hyperelliptic fibrations is finite (giving another proof of a result due to Luo and Zuo). On the other hand, we show that the normal function is non torsion if the monodromy is infinite (this happens e.g. in the examples shown by Catanese and Dettweiler).

math.AG↗
arXiv2018

On the rank of the flat unitary summand of the Hodge bundle

Let $f\colon S\to B$ be a non-isotrivial fibred surface. We prove that the genus $g$, the rank $u_f$ of the unitary summand of the Hodge bundle $f_*ω_f$ and the Clifford index $c_f$ satisfy the inequality $u_f \leq g - c_f$. Moreover, we prove that if the general fibre is a plane curve of degree $\geq 5$ then the stronger bound $u_f \leq g - c_f-1$ holds. In particular, this provides a strengthening of the bounds of \cite{BGN} and of \cite{FNP}. The strongholds of our arguments are the deformation techniques developed by the first author in \cite{Rigid} and by the third author and Pirola in \cite{PT}, which display here naturally their power and depht.

math.AG↗
arXiv2017

Covering of elliptic curves and the kernel of the Prym map

Motivated by a conjecture of Xiao, we study families of coverings of elliptic curves and their corresponding Prym map $Φ$. More precisely, we describe the codifferential of the period map $P$ associated to $Φ$ in terms of the residue of meromorphic $1$-forms and then we use it to give a characterization for the coverings for which the dimension of $\ker(dP)$ is the least possibile. This is useful in order to exclude the existence of non isotrivial fibrations with maximal relative irregularity and thus also in order to give counterexamples to the Xiao's conjecture mentioned above. The first counterexample to the original conjecture, due to Pirola, is then analysed in our framework.

math.AG↗