Showing 1–50 of 66 results for author: Pirola, G P

Pencils of plane cubics with one base point

Authors: Riccardo Moschetti, Gian Pietro Pirola, Lidia Stoppino

Abstract: We study pencils of plane cubics with only one base point and general member smooth, giving a complete classification. Under the additional hypothesis that all members are irreducible, we prove that there exists a unique non-isotrivial pencil with these properties up to projective transformation. We compare our construction with the classical approaches given by Gattazzo, Beauville and Miranda-Per… ▽ More We study pencils of plane cubics with only one base point and general member smooth, giving a complete classification. Under the additional hypothesis that all members are irreducible, we prove that there exists a unique non-isotrivial pencil with these properties up to projective transformation. We compare our construction with the classical approaches given by Gattazzo, Beauville and Miranda-Persson. △ Less

Submitted 5 July, 2024; originally announced July 2024.

Comments: 18 pages, 9 figures. Comments welcome!

MSC Class: 14C21; 14H50; 14H10

On the irreducibility of Hessian loci of cubic hypersurfaces

Authors: Davide Bricalli, Filippo F. Favale, Gian Pietro Pirola

Abstract: We study the problem of the irreducibility of the Hessian variety $\mathcal{H}_f$ associated with a smooth cubic hypersurface $V(f)\subset \mathbb{P}^n$. We prove that when $n\leq5$, $\mathcal{H}_f$ is normal and irreducible if and only if $f$ is not of Thom-Sebastiani type, i.e., roughly, one can not separate its variables. This also generalizes a result of Beniamino Segre dealing with the case o… ▽ More We study the problem of the irreducibility of the Hessian variety $\mathcal{H}_f$ associated with a smooth cubic hypersurface $V(f)\subset \mathbb{P}^n$. We prove that when $n\leq5$, $\mathcal{H}_f$ is normal and irreducible if and only if $f$ is not of Thom-Sebastiani type, i.e., roughly, one can not separate its variables. This also generalizes a result of Beniamino Segre dealing with the case of cubic surfaces. The geometric approach is based on the study of the singular locus of the Hessian variety and on infinitesimal computations arising from a particular description of these singularities. △ Less

Submitted 17 June, 2024; originally announced June 2024.

Comments: 39 pages. Comments are welcome

MSC Class: Primary: 14J70; Secondary: 14M12; 14J17; 14J30; 14J35; 14C34

Projective structures and Hodge theory

Authors: Andrea Causin, Gian Pietro Pirola

Abstract: Every compact Riemann surface $X$ admits a natural projective structure $p_u$ as a consequence of the uniformization theorem. In this work we describe the construction of another natural projective structure on $X$, namely the Hodge projective structure $p_h$, related to the second fundamental form of the period map. We then describe how projective structures correspond to $(1,1)$-differential for… ▽ More Every compact Riemann surface $X$ admits a natural projective structure $p_u$ as a consequence of the uniformization theorem. In this work we describe the construction of another natural projective structure on $X$, namely the Hodge projective structure $p_h$, related to the second fundamental form of the period map. We then describe how projective structures correspond to $(1,1)$-differential forms on the moduli space of projective curves and, from this correspondence, we deduce that $p_u$ and $p_h$ are not the same structure. △ Less

Submitted 12 July, 2024; v1 submitted 28 May, 2024; originally announced May 2024.

Comments: This paper is based on the plenary conference "Strutture proiettive e teoria di Hodge" given by the second author at the XXII Congress of the "Unione Matematica Italiana", held in Pisa in September 5, 2023

MSC Class: 14H10; 53B10; 14K20; 14H40

Asymptotic directions in the moduli space of curves

Authors: Elisabetta Colombo, Paola Frediani, Gian Pietro Pirola

Abstract: In this paper we study asymptotic directions in the tangent bundle of the moduli space ${\mathcal M}_g$ of curves of genus $g$, namely those tangent directions that are annihilated by the second fundamental form of the Torelli map. We give examples of asymptotic directions for any $g \geq 4$. We prove that if the rank $d$ of a tangent direction $ζ\in H^1(T_C)$ (with respect to the infinitesimal de… ▽ More In this paper we study asymptotic directions in the tangent bundle of the moduli space ${\mathcal M}_g$ of curves of genus $g$, namely those tangent directions that are annihilated by the second fundamental form of the Torelli map. We give examples of asymptotic directions for any $g \geq 4$. We prove that if the rank $d$ of a tangent direction $ζ\in H^1(T_C)$ (with respect to the infinitesimal deformation map) is less than the Clifford index of the curve $C$, then $ζ$ is not asymptotic. If the rank of $ζ$ is equal to the Clifford index of the curve, we give sufficient conditions ensuring that the infinitesimal deformation $ζ$ is not asymptotic. Then we determine all asymptotic directions of rank 1 and we give an almost complete description of asymptotic directions of rank 2. △ Less

Submitted 14 May, 2024; originally announced May 2024.

MSC Class: 14H10; 14H15; 32G20

On the local geometry of the moduli space of $(2,2)$-threefolds in ${\mathcal A}_9$

Authors: Elisabetta Colombo, Paola Frediani, Juan Carlos Naranjo, Gian Pietro Pirola

Abstract: We study the local geometry of the moduli space of intermediate Jacobians of $(2,2)$-threefolds in ${\mathbb P}^2 \times {\mathbb P}^2$. More precisely, we prove that a composition of the second fundamental form of the Siegel metric in $\mathcal A_9$ restricted to this moduli space, with a natural multiplication map is a nonzero holomorphic section of a vector bundle. We also describe its kernel.… ▽ More We study the local geometry of the moduli space of intermediate Jacobians of $(2,2)$-threefolds in ${\mathbb P}^2 \times {\mathbb P}^2$. More precisely, we prove that a composition of the second fundamental form of the Siegel metric in $\mathcal A_9$ restricted to this moduli space, with a natural multiplication map is a nonzero holomorphic section of a vector bundle. We also describe its kernel. We use the two conic bundle structures of these threefolds, Prym theory, gaussian maps and Jacobian ideals. △ Less

Submitted 16 October, 2023; originally announced October 2023.

On the Hessian of cubic hypersurfaces

Authors: D. Bricalli, F. F. Favale, G. P. Pirola

Abstract: In this paper, we analyze the Hessian locus associated to a general cubic hypersurface, by describing for every $n$ its singular locus and its desingularization. The strategy is based on strong connections between the Hessian and the quadrics defined as partial derivatives of the cubic polynomial. In particular, we focus our attention on the singularities of the Hessian hypersurface associated to… ▽ More In this paper, we analyze the Hessian locus associated to a general cubic hypersurface, by describing for every $n$ its singular locus and its desingularization. The strategy is based on strong connections between the Hessian and the quadrics defined as partial derivatives of the cubic polynomial. In particular, we focus our attention on the singularities of the Hessian hypersurface associated to the general cubic fourfold. It turns out to be a minimal surface of general type: its analysis is developed by exploiting the nature of this surface as a degeneracy locus of a symmetric vector bundle map and by describing an unramified double cover, which is constructed in a more general setting. △ Less

Submitted 18 May, 2023; originally announced May 2023.

Comments: 25 pages. Comments are welcome

MSC Class: Primary: 14M12; Secondary: 14J70; 14J17; 13E10; 14J35

Journal ref: International Mathematics Research Notices, Volume 2024, Issue 10, May 2024, Pages 8672--8694

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

Authors: Filippo Francesco Favale, Juan Carlos Naranjo, Gian Pietro Pirola, Sara Torelli

Abstract: 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 spac… ▽ More 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. △ Less

Submitted 13 October, 2022; originally announced October 2022.

The second fundamental form of the moduli space of cubic threefolds in $\mathcal A_5$

Authors: Elisabetta Colombo, Paola Frediani, Juan Carlos Naranjo, Gian Pietro Pirola

Abstract: We study the second fundamental form of the Siegel metric in $\mathcal A_5$ restricted to the locus of intermediate Jacobians of cubic threefolds. We prove that the image of this second fundamental form, which is known to be non-trivial, is contained in the kernel of a suitable multiplication map. Some ingredients are: the conic bundle structure of cubic threefolds, Prym theory, Gaussian maps and… ▽ More We study the second fundamental form of the Siegel metric in $\mathcal A_5$ restricted to the locus of intermediate Jacobians of cubic threefolds. We prove that the image of this second fundamental form, which is known to be non-trivial, is contained in the kernel of a suitable multiplication map. Some ingredients are: the conic bundle structure of cubic threefolds, Prym theory, Gaussian maps and Jacobian ideals. △ Less

Submitted 26 October, 2023; v1 submitted 27 July, 2022; originally announced July 2022.

MSC Class: 14J30; 14J10; 32G20; 14H40

Journal ref: Épijournal de Géométrie Algébrique, Special volume in honour of Claire Voisin (October 27, 2023) epiga:9962

A theorem of Gordan and Noether via Gorenstein rings

Authors: Davide Bricalli, Filippo F. Favale, Gian Pietro Pirola

Abstract: Gordan and Noether proved in their fundamental theorem that an hypersurface $X=V(F)\subseteq \mathbb{P}^n$ with $n\leq 3$ is a cone if and only if $F$ has vanishing hessian (i.e. the determinant of the Hessian matrix). They also showed that the statement is false if $n\geq 4$, by giving some counterexamples. Since their proof, several others have been proposed in the literature. In this paper we g… ▽ More Gordan and Noether proved in their fundamental theorem that an hypersurface $X=V(F)\subseteq \mathbb{P}^n$ with $n\leq 3$ is a cone if and only if $F$ has vanishing hessian (i.e. the determinant of the Hessian matrix). They also showed that the statement is false if $n\geq 4$, by giving some counterexamples. Since their proof, several others have been proposed in the literature. In this paper we give a new one by using a different perspective which involves the study of standard Artinian Gorenstein $\mathbb{K}$-algebras and the Lefschetz properties. As a further application of our setting, we prove that a standard Artinian Gorenstein algebra $R=\mathbb{K}[x_0,\dots,x_4]/J$ with $J$ generated by a regular sequence of quadrics has the strong Lefschetz property. In particular, this holds for Jacobian rings associated to smooth cubic threefolds. △ Less

Submitted 19 January, 2022; originally announced January 2022.

Comments: 21 pages

Report number: 29, Article number: 74 MSC Class: Primary: 14J70; Secondary: 14J30; 13E10; 14A25; 14A05

Journal ref: Selecta Mathematica (2023)

Infinitesimal variation functions for families of smooth varieties

Authors: Filippo Francesco Favale, Gian Pietro Pirola

Abstract: In this paper we introduce some {\it variation functions} associated to the rank of the Infinitesimal Variations of Hodge Structure for a family of smooth projective complex curves. We give some bounds and inequalities and, in particular, we prove that if $X$ is a smooth plane curve $X$, then there exists a first order deformation $ξ\in H^1(T_X)$ which deforms $X$ as plane curve, such that… ▽ More In this paper we introduce some {\it variation functions} associated to the rank of the Infinitesimal Variations of Hodge Structure for a family of smooth projective complex curves. We give some bounds and inequalities and, in particular, we prove that if $X$ is a smooth plane curve $X$, then there exists a first order deformation $ξ\in H^1(T_X)$ which deforms $X$ as plane curve, such that $ξ\cdot:H^0(ω_X)\to H^1(\mathcal{O}_{X})$ is an isomorphism. We also generalize the notions of variation functions to the higher dimensional case and we analyze the link between IVHS and the Weak and Strong Lefschetz properties of the Jacobian ring of a smooth hypersurface. △ Less

Submitted 4 August, 2021; originally announced August 2021.

Comments: 19 pages. Comments are welcome

MSC Class: Primary: 14D07; Secondary: 14H10; 14H15; 14J70; 13E10

Journal ref: Milan Journal of Mathematics (2022)

Quillen connection and the uniformization of Riemann surfaces

Authors: Indranil Biswas, Filippo Francesco Favale, Gian Pietro Pirola, Sara Torelli

Abstract: 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… ▽ More 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. △ Less

Submitted 2 July, 2021; originally announced July 2021.

MSC Class: 30F10; 14H15; 53C07; 53B10

Reconstructing curves from their Hodge classes

Authors: Maria Gioia Cifani, Gian Pietro Pirola, Enrico Schlesinger

Abstract: Let $S$ be a smooth algebraic surface in $\mathbb{P}^3(\mathbb{C})$. A curve $C$ in $S$ has a cohomology class $η_C \in H^1 \hspace{-3pt}\left( Ω^1_S \right)$. Define $α(C)$ to be the equivalence class of $η_C$ in the quotient of $H^1 \hspace{-3pt}\left( Ω^1_S \right)$ modulo the subspace generated by the class $η_H$ of a plane section of $S$. In the paper "Reconstructing subvarieties from their p… ▽ More Let $S$ be a smooth algebraic surface in $\mathbb{P}^3(\mathbb{C})$. A curve $C$ in $S$ has a cohomology class $η_C \in H^1 \hspace{-3pt}\left( Ω^1_S \right)$. Define $α(C)$ to be the equivalence class of $η_C$ in the quotient of $H^1 \hspace{-3pt}\left( Ω^1_S \right)$ modulo the subspace generated by the class $η_H$ of a plane section of $S$. In the paper "Reconstructing subvarieties from their periods" the authors Movasati and Sertöz pose several interesting questions about the reconstruction of $C$ from the annihilator $I_{α(C)}$ of $α(C)$ in the polynomial ring $R=H^0_*(\mathcal{O}_{\mathbb{P}^3})$. It contains the homogeneous ideal of $C$, but is much larger as $R/I_{α(C)}$ is artinian. We give sharp numerical conditions that guarantee $C$ is reconstructed by forms of low degree in $I_{α(C)}$. We also show it is not always the case that the class $α(C)$ is \textit{perfect}, that is, that $I_{α(C)}$ could be bigger than the sum of the Jacobian ideal of $S$ and of the homogeneous ideals of curves $D$ in $S$ for which $I_{α(D)}=I_{α(C)}$. △ Less

Submitted 12 April, 2021; originally announced April 2021.

Hyperelliptic odd coverings

Authors: Riccardo Moschetti, Gian Pietro Pirola

Abstract: We investigate a class of odd (ramification) coverings $C \to \mathbb{P}^1$ where $C$ is hyperelliptic, its Weierstrass points maps to one fixed point of $\mathbb{P}^1$ and the covering map makes the hyperelliptic involution of $C$ commute with an involution of $\mathbb{P}^1$. We show that the total number of hyperelliptic odd coverings of minimal degree $4g$ is ${3g \choose g-1} 2^{2g}$ when $C$… ▽ More We investigate a class of odd (ramification) coverings $C \to \mathbb{P}^1$ where $C$ is hyperelliptic, its Weierstrass points maps to one fixed point of $\mathbb{P}^1$ and the covering map makes the hyperelliptic involution of $C$ commute with an involution of $\mathbb{P}^1$. We show that the total number of hyperelliptic odd coverings of minimal degree $4g$ is ${3g \choose g-1} 2^{2g}$ when $C$ is general. Our study is approached from three main perspectives: if a fixed effective theta characteristic is fixed they are described as a solution of a certain class of differential equations; then they are studied from the monodromy viewpoint and a deformation argument that leads to the final computation. △ Less

Submitted 24 November, 2020; originally announced November 2020.

Comments: 15 pages, comments very welcome

MSC Class: 14H30; 14H52; 14J10; 14D05

Holomorphic 1-forms on the moduli space of curves

Authors: F. F. Favale, G. P. Pirola, S. Torelli

Abstract: Since the sixties it is well known that there are no non-trivial closed holomorphic $1$-forms on the moduli space $\mathcal{M}_g$ of smooth projective curves of genus $g>2$. In this paper, we strengthen such result proving that for $g\geq 5$ there are no non-trivial holomorphic $1$-forms. With this aim, we prove an extension result for sections of locally free sheaves $\mathcal{F}$ on a projective… ▽ More Since the sixties it is well known that there are no non-trivial closed holomorphic $1$-forms on the moduli space $\mathcal{M}_g$ of smooth projective curves of genus $g>2$. In this paper, we strengthen such result proving that for $g\geq 5$ there are no non-trivial holomorphic $1$-forms. With this aim, we prove an extension result for sections of locally free sheaves $\mathcal{F}$ on a projective variety $X$. More precisely, we give a characterization for the surjectivity of the restriction map $ρ_D:H^0(\mathcal{F})\to H^0(\mathcal{F}|_{D})$ for divisors $D$ in the linear system of a sufficiently large multiple of a big and semiample line bundle $\mathcal{L}$. Then, we apply this to the line bundle $\mathcal{L}$ given by the Hodge class on the Deligne Mumford compactification of $\mathcal{M}_g$. △ Less

Submitted 19 May, 2023; v1 submitted 22 September, 2020; originally announced September 2020.

Comments: Several improvements were made. The last version has been accepted for publication in "Geometry & Topology"

MSC Class: 14H15; 32L10

On the dimension of Voisin sets in the moduli space of abelian varieties

Authors: E. Colombo, G. P. Pirola, J. C. Naranjo

Abstract: We study the subsets $V_k(A)$ of a complex abelian variety $A$ consisting in the collection of points $x\in A$ such that the zero-cycle $\{x\}-\{0_A\}$ is $k$-nilpotent with respect to the Pontryagin product in the Chow group. These sets were introduced recently by Voisin and she showed that $\dim V_k(A) \leq k-1$ and $V_k(A)$ is countable for a very general abelian variety of dimension at least… ▽ More We study the subsets $V_k(A)$ of a complex abelian variety $A$ consisting in the collection of points $x\in A$ such that the zero-cycle $\{x\}-\{0_A\}$ is $k$-nilpotent with respect to the Pontryagin product in the Chow group. These sets were introduced recently by Voisin and she showed that $\dim V_k(A) \leq k-1$ and $V_k(A)$ is countable for a very general abelian variety of dimension at least $2k-1$. We study in particular the locus $\mathcal V_{g,2}$ in the moduli space of abelian varieties of dimension $g$ with a fixed polarization, where $V_2(A)$ is positive dimensional. We prove that an irreducible subvariety $\mathcal Y \subset \mathcal V_{g,2}$, $g\ge 3$, such that for a very general $y \in \mathcal Y $ there is a curve in $V_2(A_y)$ generating $A$ satisfies $\dim \mathcal Y \le 2g - 1.$ The hyperelliptic locus shows that this bound is sharp. △ Less

Submitted 7 January, 2021; v1 submitted 15 April, 2020; originally announced April 2020.

Comments: Final version to appear in Mathematische Annalen

A Hodge theoretic projective structure on Riemann surfaces

Authors: Indranil Biswas, Elisabetta Colombo, Paola Frediani, Gian Pietro Pirola

Abstract: Given any compact Riemann surface $C$, there is a canonical meromorphic 2--form $\widehatη$ on $C\times C$, with pole of order two on the diagonal $Δ\, \subset\, C\times C$, constructed in \cite{cfg}. This meromorphic 2--form $\widehatη$ produces a canonical projective structure on $C$. On the other hand the uniformization theorem provides another canonical projective structure on any compact Riem… ▽ More Given any compact Riemann surface $C$, there is a canonical meromorphic 2--form $\widehatη$ on $C\times C$, with pole of order two on the diagonal $Δ\, \subset\, C\times C$, constructed in \cite{cfg}. This meromorphic 2--form $\widehatη$ produces a canonical projective structure on $C$. On the other hand the uniformization theorem provides another canonical projective structure on any compact Riemann surface $C$. We prove that these two projective structures differ in general. This is done by comparing the $(0,1)$--component of the differential of the corresponding sections of the moduli space of projective structures over the moduli space of curves. The $(0,1)$--component of the differential of the section corresponding to the projective structure given by the uniformization theorem was computed by Zograf and Takhtadzhyan in \cite{ZT} as the Weil--Petersson Kähler form $ω_{wp}$ on the moduli space of curves. We prove that the $(0,1)$--component of the differential of the section of the moduli space of projective structures corresponding to $\widehatη$ is the pullback of a nonzero constant scalar multiple of the Siegel form, on the moduli space of principally polarized abelian varieties, by the Torelli map. △ Less

Submitted 15 December, 2020; v1 submitted 18 December, 2019; originally announced December 2019.

Comments: Final version; to appear in Jour. Math. Pures. Appl

MSC Class: 14H10; 53B10; 14K20; 14H40

On the geometry of the second fundamental form of the Torelli map

Authors: Paola Frediani, Gian Pietro Pirola

Abstract: In this paper we give a geometric interpretation of the second fundamental form of the period map of curves and we use it to improve the upper bounds on the dimension of a totally geodesic subvariety Y of A_g generically contained in the Torelli locus obtained in [3], [7]. We get dim Y < 2g if g is even, dim Y < 2g+1 if g is odd. We also study totally geodesic subvarieties Z of A_g generically con… ▽ More In this paper we give a geometric interpretation of the second fundamental form of the period map of curves and we use it to improve the upper bounds on the dimension of a totally geodesic subvariety Y of A_g generically contained in the Torelli locus obtained in [3], [7]. We get dim Y < 2g if g is even, dim Y < 2g+1 if g is odd. We also study totally geodesic subvarieties Z of A_g generically contained in the hyperelliptic Torelli locus and we show that dim Z < g+2. △ Less

Submitted 11 October, 2020; v1 submitted 26 July, 2019; originally announced July 2019.

Comments: Final version. To appear in Proceedings of the AMS

Degree of irrationality of a very general abelian variety

Authors: Elisabetta Colombo, Olivier Martin, Juan Carlos Naranjo, Gian Pietro Pirola

Abstract: Consider a very general abelian variety $A$ of dimension at least $3$ and an integer $0<d\leq \dim A$. We show that if the map $A^k\to CH_0(A)$ has a $d$-dimensional fiber then $k\geq d+(\dim A+1)/2$. This extends results of the second-named author which covered the cases $d=1,2$. As a geometric application, we obtain that any dominant rational map from a very general abelian $g$-fold to… ▽ More Consider a very general abelian variety $A$ of dimension at least $3$ and an integer $0<d\leq \dim A$. We show that if the map $A^k\to CH_0(A)$ has a $d$-dimensional fiber then $k\geq d+(\dim A+1)/2$. This extends results of the second-named author which covered the cases $d=1,2$. As a geometric application, we obtain that any dominant rational map from a very general abelian $g$-fold to $\mathbb{P}^g$ has degree at least $(3\dim A+1)/2$ for $g\geq 3$. This improves results of Alzati and the last-named author in the case of a very general abelian variety. △ Less

Submitted 26 June, 2019; originally announced June 2019.

Comments: 9 pages

MSC Class: 14E05; 14C15

Alternating Catalan numbers and curves with triple ramification

Authors: Gavril Farkas, Riccardo Moschetti, Juan Carlos Naranjo, Gian Pietro Pirola

Abstract: It is known that the monodromy group of each cover of a general curve of genus g>3 equals either the symmetric or the alternating group. The classical Catalan numbers count the minimal degree covers (with symmetric monodromy) of a general curve of even genus. We solve the analogous problem for the alternating group and we determine the number of alternating covers of minimal degree 2g+1 of a gener… ▽ More It is known that the monodromy group of each cover of a general curve of genus g>3 equals either the symmetric or the alternating group. The classical Catalan numbers count the minimal degree covers (with symmetric monodromy) of a general curve of even genus. We solve the analogous problem for the alternating group and we determine the number of alternating covers of minimal degree 2g+1 of a general curve of genus g. △ Less

Submitted 26 January, 2020; v1 submitted 25 June, 2019; originally announced June 2019.

Comments: 18 pages. Minor improvements, also referencing the related work of Lian. Final version to appear in Annali Scuola Normale di Pisa

Totally geodesic subvarieties in the moduli space of curves

Authors: Alessandro Ghigi, Gian Pietro Pirola, Sara Torelli

Abstract: 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$. 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$. △ Less

Submitted 16 February, 2019; originally announced February 2019.

MSC Class: 14C30; 14H10; 14H15; 32G20

Trigonal deformations of rank one and Jacobians

Authors: Valentina Beorchia, Gian Pietro Pirola, Francesco Zucconi

Abstract: In this paper we study the infinitesimal deformations of a trigonal curve that preserve the trigonal series and such that the associate infinitesimal variation of Hodge structure (IVHS) is of rank 1. We show that if the genus g is greater or equal to 8 or g=6,7 and the curve is Maroni general, this locus is zero dimensional. Moreover, we complete a result of Naranjo and Pirola. We show in fact tha… ▽ More In this paper we study the infinitesimal deformations of a trigonal curve that preserve the trigonal series and such that the associate infinitesimal variation of Hodge structure (IVHS) is of rank 1. We show that if the genus g is greater or equal to 8 or g=6,7 and the curve is Maroni general, this locus is zero dimensional. Moreover, we complete a result of Naranjo and Pirola. We show in fact that if the genus g is greater or equal to 6, the hyperelliptic locus is the only 2g-1-dimensional sub-locus Y of the moduli space of curves of genus g, such that for the general element [C] in Y, its Jacobian J(C) is dominated by a hyperelliptic Jacobian of genus g' greater or equal to g. △ Less

Submitted 21 December, 2018; originally announced December 2018.

Comments: 10 pages

MSC Class: 14J10; 14D07

Vanishing cohomology on a double cover

Authors: Yongnam Lee, Gian Pietro Pirola

Abstract: In this paper, we prove the irreducibility of the monodromy action on the anti-invariant part of the vanishing cohomology on a double cover of a very general element in an ample hypersurface of a complex smooth projective variety branched at an ample divisor. As an application, we study dominant rational maps from a double cover of a very general surface $S$ of degree$\geq 7$ in ${\mathbb P}^3$ br… ▽ More In this paper, we prove the irreducibility of the monodromy action on the anti-invariant part of the vanishing cohomology on a double cover of a very general element in an ample hypersurface of a complex smooth projective variety branched at an ample divisor. As an application, we study dominant rational maps from a double cover of a very general surface $S$ of degree$\geq 7$ in ${\mathbb P}^3$ branched at a very general quadric surface to smooth projective surfaces $Z$. Our method combines the classification theory of algebraic surfaces, deformation theory, and Hodge theory. △ Less

Submitted 5 September, 2020; v1 submitted 7 July, 2018; originally announced July 2018.

Comments: 11 pages, final version to appear in BLMS

MSC Class: Primary 14C30; Secondary 14J29; 14E05; 32J25

Fujita decomposition and Hodge loci

Authors: Paola Frediani, Alessandro Ghigi, Gian Pietro Pirola

Abstract: This paper contains two results on Hodge loci in the moduli space of curves. The first concerns fibrations over curves with a non-trivial flat part in the Fujita decomposition. If local Torelli theorem holds for the fibres and the fibration is non-trivial, an appropriate exterior power of the cohomology of the fiber admits a Hodge substructure. In the case of curves it follows that the moduli imag… ▽ More This paper contains two results on Hodge loci in the moduli space of curves. The first concerns fibrations over curves with a non-trivial flat part in the Fujita decomposition. If local Torelli theorem holds for the fibres and the fibration is non-trivial, an appropriate exterior power of the cohomology of the fiber admits a Hodge substructure. In the case of curves it follows that the moduli image of the fibers is contained in a proper Hodge locus. The second result deals with divisors in the moduli space of curves. It is proved that the image of a divisor in the moduli of principally polarized abelian varieties is not contained in a proper totally geodesic subvariety. It follows that a Hodge locus in the moduli space of curves has codimension at least 2. △ Less

Submitted 7 October, 2018; v1 submitted 10 October, 2017; originally announced October 2017.

Comments: To appear on Journal de l'Institut de Mathématiques de Jussieu

Journal ref: J. Inst. Math. Jussieu 19 (2020) 1389-1408

Massey Products and Fujita decompositions on fibrations of curves

Authors: Gian Pietro Pirola, Sara Torelli

Abstract: 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 monod… ▽ More 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). △ Less

Submitted 11 December, 2018; v1 submitted 8 October, 2017; originally announced October 2017.

MSC Class: [2010]{14D06; 14C30; 32G20}

Semistable fibrations over an elliptic curve with only one singular fibre

Authors: Abel Castorena, Margarida Mendes Lopes, Gian Pietro Pirola

Abstract: In this work we describe a construction of semistable fibrations over an elliptic curve with one unique singular fibre and we give effective examples using monodromy of curves. In this work we describe a construction of semistable fibrations over an elliptic curve with one unique singular fibre and we give effective examples using monodromy of curves. △ Less

Submitted 5 March, 2018; v1 submitted 26 July, 2017; originally announced July 2017.

Comments: 7 pages. This version contains a corrected version of example 2. Added new references

MSC Class: Primary 14H10; 14D06; Secondary 14C20; 14J29

Hyperelliptic Jacobians and isogenies

Authors: Juan Carlos Naranjo, Gian Pietro Pirola

Abstract: Motivated by results of Mestre and Voisin, in this note we mainly consider abelian varieties isogenous to hyperelliptic Jacobians In the first part we prove that a very general hyperelliptic Jacobian of genus $g\ge 4$ is not isogenous to a non-hyperelliptic Jacobian. As a consequence we obtain that the Intermediate Jacobian of a very general cubic threefold is not isogenous to a Jacobian. Anothe… ▽ More Motivated by results of Mestre and Voisin, in this note we mainly consider abelian varieties isogenous to hyperelliptic Jacobians In the first part we prove that a very general hyperelliptic Jacobian of genus $g\ge 4$ is not isogenous to a non-hyperelliptic Jacobian. As a consequence we obtain that the Intermediate Jacobian of a very general cubic threefold is not isogenous to a Jacobian. Another corollary tells that the Jacobian of a very general $d$-gonal curve of genus $g \ge 4$ is not isogenous to a different Jacobian. In the second part we consider a closed subvariety $\mathcal Y \subset \mathcal A_g$ of the moduli space of principally polarized varieties of dimension $g\ge 3$. We show that if a very general element of $\mathcal Y$ is dominated by a hyperelliptic Jacobian, then $\dim \mathcal Y\ge 2g$. In particular, if the general element in $\mathcal Y$ is simple, its Kummer variety does not contain rational curves. Finally we show that a closed subvariety $\mathcal Y\subset \mathcal M_g$ of dimension $2g-1$ such that the Jacobian of a very general element of $\mathcal Y$ is dominated by a hyperelliptic Jacobian is contained either in the hyperelliptic or in the trigonal locus. △ Less

Submitted 23 July, 2018; v1 submitted 29 May, 2017; originally announced May 2017.

Comments: New version. Accepted in Adavances in Mathematics

On the Xiao conjecture for plane curves

Authors: Filippo Francesco Favale, Juan Carlos Naranjo, Gian Pietro Pirola

Abstract: Let $f: S\longrightarrow B$ be a non-trivial fibration from a complex projective smooth surface $S$ to a smooth curve $B$ of genus $b$. Let $c_f$ the Clifford index of the generic fibre $F$ of $f$. In [arXiv:1401.7502v4] it is proved that the relative irregularity of $f$, $q_f=h^{1,0}(S)-b$ is less than or equal to $g(F)-c_f$. In particular this proves the (modified) Xiao's conjecture:… ▽ More Let $f: S\longrightarrow B$ be a non-trivial fibration from a complex projective smooth surface $S$ to a smooth curve $B$ of genus $b$. Let $c_f$ the Clifford index of the generic fibre $F$ of $f$. In [arXiv:1401.7502v4] it is proved that the relative irregularity of $f$, $q_f=h^{1,0}(S)-b$ is less than or equal to $g(F)-c_f$. In particular this proves the (modified) Xiao's conjecture: $q_f\le 1+g(F)/2$ for fibrations of general Clifford index. In this short note we assume that the generic fiber of $f$ is a plane curve of degree $d\ge 5$ and we prove that $q_f\le g(F)-c_f-1$. In particular we obtain the conjecture for families of quintic plane curves. This theorem is implied for the following result on infinitesimal deformations: let $F$ a smooth plane curve of degree $d\ge 5$ and let $ξ$ be an infinitesimal deformation of $F$ preserving the planarity of the curve. Then the rank of the cup-product map $\cdot ξ: H^0(F,ω_F) \rightarrow H^1(F,O_F)$ is at least $d-3$. We also show that this bound is sharp. △ Less

Submitted 30 September, 2017; v1 submitted 21 March, 2017; originally announced March 2017.

Comments: 8 pages. Some typos have been corrected. To appear in "Geometriae Dedicata"

MSC Class: 14H50; 14D06; 14J99; 14B10

Hurwitz spaces and liftings to the Valentiner group

Authors: Riccardo Moschetti, Gian Pietro Pirola

Abstract: We study the components of the Hurwitz scheme of ramified coverings of $\mathbb{P}^1$ with monodromy given by the alternating group $A_6$ and elements in the conjugacy class of product of two disjoint cycles. In order to detect the connected components of the Hurwitz scheme, inspired by the case of the spin structures studied by Fried for the $3$-cycles, we use as invariant the lifting to the Vale… ▽ More We study the components of the Hurwitz scheme of ramified coverings of $\mathbb{P}^1$ with monodromy given by the alternating group $A_6$ and elements in the conjugacy class of product of two disjoint cycles. In order to detect the connected components of the Hurwitz scheme, inspired by the case of the spin structures studied by Fried for the $3$-cycles, we use as invariant the lifting to the Valentiner group, triple covering of $A_6$. We prove that the Hurwitz scheme has two irreducible components when the genus of the covering is greater than zero, in accordance with the asymptotic solution found by Bogomolov and Kulikov. △ Less

Submitted 5 August, 2016; v1 submitted 11 July, 2016; originally announced July 2016.

Comments: 18 pages

MSC Class: 14D05; 14H30; 14Q05

Torsion points on theta divisors

Authors: Robert Auffarth, Giuseppe Pareschi, Gian Pietro Pirola, Riccardo Salvati Manni

Abstract: Using the irreducibility of a natural irreducible representation of the theta group of an ample line bundle on an abelian variety, we derive a bound for the number of $n$-torsion points that lie on a given theta divisor. We present also two alternate approaches to attacking the case $n=2$. Using the irreducibility of a natural irreducible representation of the theta group of an ample line bundle on an abelian variety, we derive a bound for the number of $n$-torsion points that lie on a given theta divisor. We present also two alternate approaches to attacking the case $n=2$. △ Less

Submitted 28 June, 2017; v1 submitted 31 December, 2015; originally announced December 2015.

Comments: The second and fourth authors discovered that one of the methods of the main paper, along with a result of George Kempf, actually gives an optimal bound for the number of 2-torsion points on a theta divisor. This result is added as an appendix to the main paper

Some results on deformations of sections of vector bundles

Authors: Abel Castorena, Gian Pietro Pirola

Abstract: Let $E$ be a vector bundle on a smooth complex projective variety $X$. We study the family of sections $s_t\in H^0(E\otimes L_t)$ where $L_t\in Pic^0(X)$ is a family of topologically trivial line bundle and $L_0=\mathcal O_X,$ that is, we study deformations of $s=s_0$. By applying the approximation theorem of Artin [2] we give a transversality condition that generalizes the semi-regularity of an e… ▽ More Let $E$ be a vector bundle on a smooth complex projective variety $X$. We study the family of sections $s_t\in H^0(E\otimes L_t)$ where $L_t\in Pic^0(X)$ is a family of topologically trivial line bundle and $L_0=\mathcal O_X,$ that is, we study deformations of $s=s_0$. By applying the approximation theorem of Artin [2] we give a transversality condition that generalizes the semi-regularity of an effective Cartier divisor. Moreover, we obtain another proof of the Severi-Kodaira-Spencer theorem [4]. We apply our results to give a lower bound to the continuous rank of a vector bundle as defined by Miguel Barja [3] and a proof of a piece of the generic vanishing theorems [6] and [7] for the canonical bundle. We extend also to higher dimension a result given in [8] on the base locus of the paracanonical base locus for surfaces. △ Less

Submitted 11 April, 2016; v1 submitted 10 October, 2015; originally announced October 2015.

Comments: 12 pages. An extra hypothesis is added to the results in last section. Final version will appear in Collectanea Mathematica

MSC Class: 14B12. 14C20

About the semiample cone of the symmetric product of a curve

Authors: Michela Artebani, Antonio Laface, Gian Pietro Pirola

Abstract: Let $C$ be a smooth curve which is complete intersection of a quadric and a degree $k>2$ surface in $\mathbb{P}^3$ and let $C^{(2)}$ be its second symmetric power. In this paper we study the finite generation of the extended canonical ring $R(Δ,K) := \bigoplus_{(a,b)\in\mathbb{Z}^2}H^0(C^{(2)},aΔ+bK)$, where $Δ$ is the image of the diagonal and $K$ is the canonical divisor. We first show that… ▽ More Let $C$ be a smooth curve which is complete intersection of a quadric and a degree $k>2$ surface in $\mathbb{P}^3$ and let $C^{(2)}$ be its second symmetric power. In this paper we study the finite generation of the extended canonical ring $R(Δ,K) := \bigoplus_{(a,b)\in\mathbb{Z}^2}H^0(C^{(2)},aΔ+bK)$, where $Δ$ is the image of the diagonal and $K$ is the canonical divisor. We first show that $R(Δ,K)$ is finitely generated if and only if the difference of the two $g_k^1$ on $C$ is torsion non-trivial and then show that this holds on an analytically dense locus of the moduli space of such curves. △ Less

Submitted 1 February, 2015; originally announced February 2015.

Comments: 16 pages

MSC Class: 14C20; 14D07

Connectedness Bertini Theorem via numerical equivalence

Authors: Diletta Martinelli, Juan Carlos Naranjo, Gian Pietro Pirola

Abstract: Let $X$ be an irreducible projective variety and $f$ a morphism $X \rightarrow \mathbb{P}^n$. We give a new proof of the fact that the preimage of any linear variety of dimension $k\ge n+1-\dim f(X)$ is connected. We prove that the statement is a consequence of the Generalized Hodge Index Theorem using easy numerical arguments that hold in any characteristic. We also prove the connectedness Theore… ▽ More Let $X$ be an irreducible projective variety and $f$ a morphism $X \rightarrow \mathbb{P}^n$. We give a new proof of the fact that the preimage of any linear variety of dimension $k\ge n+1-\dim f(X)$ is connected. We prove that the statement is a consequence of the Generalized Hodge Index Theorem using easy numerical arguments that hold in any characteristic. We also prove the connectedness Theorem of Fulton and Hansen as application of our main theorem. △ Less

Submitted 15 September, 2015; v1 submitted 5 December, 2014; originally announced December 2014.

Comments: 11 pages, New version, incorporating the referee's suggestions

On rational maps from the product of two general curves

Authors: Yongnam Lee, Gian Pietro Pirola

Abstract: This paper treats the dominant rational maps from the product of two very general curves to nonsingular projective surfaces. Combining the result by Bastianelli and Pirola, we prove that the product of two very general curves of genus $g\geq 7$ and $g'\geq 3$ does not admit dominant rational maps of degree $> 1$ if the image surface is non-ruled. We also treat the case of the 2-symmetric product o… ▽ More This paper treats the dominant rational maps from the product of two very general curves to nonsingular projective surfaces. Combining the result by Bastianelli and Pirola, we prove that the product of two very general curves of genus $g\geq 7$ and $g'\geq 3$ does not admit dominant rational maps of degree $> 1$ if the image surface is non-ruled. We also treat the case of the 2-symmetric product of a curve. △ Less

Submitted 6 July, 2015; v1 submitted 16 November, 2014; originally announced November 2014.

Comments: 13 pages; exposition improved; Ann. Sc. Norm. Super. Pisa Cl. Sci. (to appear)

MSC Class: 14E05; 14H10; 14J29

On subfields of the function field of a general surface in ${\mathbb P}^3$

Authors: Yongnam Lee, Gian Pietro Pirola

Abstract: In this paper we study birational immersions from a very general smooth plane curve to a non-rational surface with $p_g=q=0$ to treat dominant rational maps from a very general surface $X$ of degree$\geq 5$ in ${\mathbb P}^3$ to smooth projective surfaces $Y$. Based on the classification theory of algebraic surfaces, Hodge theory, and deformation theory, we prove that there is no dominant rational… ▽ More In this paper we study birational immersions from a very general smooth plane curve to a non-rational surface with $p_g=q=0$ to treat dominant rational maps from a very general surface $X$ of degree$\geq 5$ in ${\mathbb P}^3$ to smooth projective surfaces $Y$. Based on the classification theory of algebraic surfaces, Hodge theory, and deformation theory, we prove that there is no dominant rational map from $X$ to $Y$ unless $Y$ is rational or $Y$ is birational to $X$. △ Less

Submitted 25 March, 2015; v1 submitted 3 September, 2014; originally announced September 2014.

Comments: 12 pages, IMRN(to appear)

MSC Class: 14E05; 14H10; 14J29

Dihedral Monodromy and Xiao Fibrations

Authors: Alberto Albano, Gian Pietro Pirola

Abstract: We construct three new families of fibrations $π: S \to B$ where $S$ is an algebraic complex surface and $B$ a curve that violate Xiao's conjecture relating the relative irregularity and the genus of the general fiber. The fibers of $π$ are certain étale cyclic covers of hyperelliptic curves that give coverings of $P^1$ with dihedral monodromy. As an application, we also show the existence of bi… ▽ More We construct three new families of fibrations $π: S \to B$ where $S$ is an algebraic complex surface and $B$ a curve that violate Xiao's conjecture relating the relative irregularity and the genus of the general fiber. The fibers of $π$ are certain étale cyclic covers of hyperelliptic curves that give coverings of $P^1$ with dihedral monodromy. As an application, we also show the existence of big and nef effective divisors in the Brill-Noether range. △ Less

Submitted 29 June, 2015; v1 submitted 24 June, 2014; originally announced June 2014.

Comments: 12 pages. Exposition improved. The last section has been expanded with more details of the proof. Accepted for publication in Ann. Mat. Pura Appl

MSC Class: 14D06 (primary); 14J29; 14H40 (Secondary)

Isogenies of Jacobians

Authors: V. Marcucci, J. C. Naranjo, G. P. Pirola

Abstract: We prove by means of the study of the infinitesimal variation of Hodge structure and a generalization of the classical Babbage-Enriques-Petri theorem that the Jacobian variety of a generic element of a $k$ codimensional subvariety of $\mathcal M_g$ is not isogenous to a distinct Jacobian if $g>3k+4$. We extend this result to $k=1, g\ge 5$ by using degeneration methods. We prove by means of the study of the infinitesimal variation of Hodge structure and a generalization of the classical Babbage-Enriques-Petri theorem that the Jacobian variety of a generic element of a $k$ codimensional subvariety of $\mathcal M_g$ is not isogenous to a distinct Jacobian if $g>3k+4$. We extend this result to $k=1, g\ge 5$ by using degeneration methods. △ Less

Submitted 13 February, 2016; v1 submitted 11 May, 2014; originally announced May 2014.

Comments: Final version with minor corrections. To appear in Algebraic Geometry

The Hodge number h^1,1 of irregular algebraic surfaces

Authors: Andrea Causin, Margarida Mendes Lopes, Gian Pietro Pirola

Abstract: We prove a new inequality for the Hodge number h^1,1 of irregular complex smooth projective surfaces of general type without irregular pencils of genus >1. More specifically we show that if the irregularity q satisfies q=2^k+1 then h^1,1>4q-4. We prove a new inequality for the Hodge number h^1,1 of irregular complex smooth projective surfaces of general type without irregular pencils of genus >1. More specifically we show that if the irregularity q satisfies q=2^k+1 then h^1,1>4q-4. △ Less

Submitted 25 February, 2014; originally announced February 2014.

MSC Class: 14J29; 14C30; 15A30; 32J25

Subcanonical points on projective curves and triply periodic minimal surfaces in the Euclidean space

Authors: Francesco Bastianelli, Gian Pietro Pirola

Abstract: A point $p$ on a smooth complex projective curve $C$ of genus $g>3$ is subcanonical if the divisor $(2g-2)p$ is canonical. In the moduli space of pointed curves, the subcanonical locus is described by pairs $(C,p)$ as above, and it consists of three irreducible components of dimension $2g-1$. Apart from the hyperelliptic component $\mathcal{G}_g^{hyp}$, the other components $\mathcal{G}_g^{odd}$ a… ▽ More A point $p$ on a smooth complex projective curve $C$ of genus $g>3$ is subcanonical if the divisor $(2g-2)p$ is canonical. In the moduli space of pointed curves, the subcanonical locus is described by pairs $(C,p)$ as above, and it consists of three irreducible components of dimension $2g-1$. Apart from the hyperelliptic component $\mathcal{G}_g^{hyp}$, the other components $\mathcal{G}_g^{odd}$ and $\mathcal{G}_g^{even}$ depend on the parity of $h^0(C,(g-1)p)$, and their general points satisfy $h^0(C,(g-1)p)=1$ and $2$, respectively. In this paper, we study the subloci of pairs $(C,p)$ such that $h^0(C,(g-1)p)$ is at least $r+1$ and it has the same parity as $r+1$. In particular, we provide a lower bound on their dimension, and we prove its sharpness for $r<4$. As an application, we further give an existence result for triply periodic minimal surfaces immersed in the 3-dimensional Euclidean space, completing a previous result of the second author. △ Less

Submitted 25 September, 2015; v1 submitted 7 February, 2014; originally announced February 2014.

Comments: Accepted version. Sections 3 and 5 have been shortened. Some typos have been corrected. 17 pages. For copyright reasons, we note that the final publication is available at Springer via http://dx.doi.org/10.1007/s00209-014-1401-8

Journal ref: Math. Z. 279 (2015), 1029-1046

Continuous families of divisors, paracanonical systems and a new inequality for varieties of maximal Albanese dimension

Authors: Margarida Mendes Lopes, Rita Pardini, Gian Pietro Pirola

Abstract: Given a smooth complex projective variety X, a line bundle L of X an element v of H^1(O_X) and a section s in H^0(L) that deforms to first order in the direction v, we give a sufficient condition on v in terms of Koszul cohomology for this first order deformation to extend to an analytic deformation. We apply this result to improve known results on the paracanonical system of a variety of maxima… ▽ More Given a smooth complex projective variety X, a line bundle L of X an element v of H^1(O_X) and a section s in H^0(L) that deforms to first order in the direction v, we give a sufficient condition on v in terms of Koszul cohomology for this first order deformation to extend to an analytic deformation. We apply this result to improve known results on the paracanonical system of a variety of maximal Albanese dimension, due to Beauville in the case of surfaces and to Lazarsfeld-Popa in higher dimension. In particular, we prove the inequality p_g(X)>=χ(K_X)+q(X)-1 for a variety X of maximal Albanese dimension without irregular fibrations of Albanese general type. △ Less

Submitted 18 July, 2012; originally announced July 2012.

Journal ref: Geom. Topol. 17 (2013) 1205-1223

On dominant rational maps from products of curves to surfaces of general type

Authors: Francesco Bastianelli, Gian Pietro Pirola

Abstract: In this paper we investigate the existence of generically finite dominant rational maps from products of curves to surfaces of general type. We prove that the product CxD of two distinct very general curves of genus g>6 and g'>1 does not admit dominant rational maps on other surfaces of general type. In this paper we investigate the existence of generically finite dominant rational maps from products of curves to surfaces of general type. We prove that the product CxD of two distinct very general curves of genus g>6 and g'>1 does not admit dominant rational maps on other surfaces of general type. △ Less

Submitted 11 June, 2013; v1 submitted 20 June, 2012; originally announced June 2012.

Comments: 13 pages, minor changes, to appear on Bull. Lond. Math. Soc

MSC Class: 14E05 14J29

Journal ref: Bull. Lond. Math. Soc. 45 (2013), 1310-1322

Parametrization of rational maps on a variety of general type, and the finiteness theorem

Authors: Lucio Guerra, Gian Pietro Pirola

Abstract: In a previous paper, we provided some update in the treatment of the finiteness theorem for rational maps of finite degree from a fixed variety to varieties of general type. In the present paper we present another improvement, introducing the natural parametrization of maps by means of the space of linear projections in a suitable projective space, and this leads to some new insight in the geometr… ▽ More In a previous paper, we provided some update in the treatment of the finiteness theorem for rational maps of finite degree from a fixed variety to varieties of general type. In the present paper we present another improvement, introducing the natural parametrization of maps by means of the space of linear projections in a suitable projective space, and this leads to some new insight in the geometry of the finiteness theorem. △ Less

Submitted 10 March, 2012; originally announced March 2012.

Comments: 9 pages, to appear in Proc. Amer. Math. Soc

MSC Class: 14E05; 14N05

Points of order two on theta divisors

Authors: Valeria Ornella Marcucci, Gian Pietro Pirola

Abstract: We give a bound on the number of points of order two on the theta divisor of a principally polarized abelian variety A. When A is the Jacobian of a curve C the result can be applied in estimating the number of effective square roots of a fixed line bundle on C. We give a bound on the number of points of order two on the theta divisor of a principally polarized abelian variety A. When A is the Jacobian of a curve C the result can be applied in estimating the number of effective square roots of a fixed line bundle on C. △ Less

Submitted 7 February, 2012; originally announced February 2012.

Comments: 4 pages

Brill-Noether loci for divisors on irregular varieties

Authors: Margarida Mendes Lopes, Rita Pardini, Gian Pietro Pirola

Abstract: For a projective variety X, a line bundle L on X and r a natural number we consider the r-th Brill-Noether locus W^r(L,X):={η\in Pic^0(X)|h^0(L+η)\geq r+1}: we describe its natural scheme structure and compute the Zariski tangent space. If X is a smooth surface of maximal Albanese dimension and C is a curve on X, we define a Brill-Noether number ρ(C, r) and we prove, under some mild additional ass… ▽ More For a projective variety X, a line bundle L on X and r a natural number we consider the r-th Brill-Noether locus W^r(L,X):={η\in Pic^0(X)|h^0(L+η)\geq r+1}: we describe its natural scheme structure and compute the Zariski tangent space. If X is a smooth surface of maximal Albanese dimension and C is a curve on X, we define a Brill-Noether number ρ(C, r) and we prove, under some mild additional assumptions, that if ρ(C, r) is non negative then W^r(C,X) is nonempty of dimension bigger or equal to ρ(C,r). As an application, we derive lower bounds for h^0(K_D) for a divisor D that moves linearly on a smooth projective variety X of maximal Albanese dimension and inequalities for the numerical invariants of curves that do not move linearly on a surface of maximal Albanese dimension. △ Less

Submitted 7 October, 2012; v1 submitted 29 December, 2011; originally announced December 2011.

Comments: Final version, to appear in Journal of the European Mathematical Society

MSC Class: 14C20; 14J29; 14H51

The Fano normal function

Authors: A. Collino, J. C. Naranjo, G. P. Pirola

Abstract: The Fano surface $F$ of lines in the cubic threefold $V$ is naturally embedded in the intermediate Jacobian $J(V)$, we call "Fano cycle" the difference $F-F^-$, this is homologous to 0 in $J(V)$. We study the normal function on the moduli space which computes the Abel-Jacobi image of the Fano cycle. By means of the related infinitesimal invariant we can prove that the primitive part of the normal… ▽ More The Fano surface $F$ of lines in the cubic threefold $V$ is naturally embedded in the intermediate Jacobian $J(V)$, we call "Fano cycle" the difference $F-F^-$, this is homologous to 0 in $J(V)$. We study the normal function on the moduli space which computes the Abel-Jacobi image of the Fano cycle. By means of the related infinitesimal invariant we can prove that the primitive part of the normal function is not of torsion. As a consequence we get that, for a general $V$, $F-F^-$ in not algebraically equivalent to zero in $J(V)$ (already proved by van der Geer-Kouvidakis) and, moreover, there is no a divisor in $JV$ containing both $F$ and $F^-$ and such that these surfaces are homologically equivalent in the divisor. Our study of the infinitesimal variation of Hodge structure for $V$ produces intrinsically a threefold $Ξ(V)$ in $\mathbb G$ the Grasmannian of lines in $\mathbb P^4.$ We show that the infinitesimal invariant at $V$ attached to the normal function gives a section for a natural bundle on $Ξ(V)$ and more specifically that this section vanishes exactly on $Ξ\cap F,$ which turns out to be the curve in $F$ parameterizing the "double lines" in the threefold. We prove that this curve reconstructs $V$ and hence we get a Torelli-like result: the infinitesimal invariant for the Fano cycle determines $V$. △ Less

Submitted 21 January, 2012; v1 submitted 7 September, 2011; originally announced September 2011.

Comments: Final form. Accepted in the Journal de Mathématiques Pures et Appliquées

MSC Class: 14C25

On the canonical map of surfaces with q>=6

Authors: Margarida Mendes Lopes, Rita Pardini, Gian Pietro Pirola

Abstract: We carry out an analysis of the canonical system of a minimal complex surface of general type with irregularity q>0. Using this analysis we are able to sharpen in the case q>0 the well known Castelnuovo inequality K^2>=3p_g+q-7. Then we turn to the study of surfaces with p_g=2q-3 and no fibration onto a curve of genus >1. We prove that for q>=6 the canonical map is birational. Combining this resul… ▽ More We carry out an analysis of the canonical system of a minimal complex surface of general type with irregularity q>0. Using this analysis we are able to sharpen in the case q>0 the well known Castelnuovo inequality K^2>=3p_g+q-7. Then we turn to the study of surfaces with p_g=2q-3 and no fibration onto a curve of genus >1. We prove that for q>=6 the canonical map is birational. Combining this result with the analysis of the canonical system, we also prove the inequality: K^2>=7χ+2. This improves an earlier result of the first and second author [M.Mendes Lopes and R.Pardini, On surfaces with p_g=2q-3, Adv. in Geom. 10 (3) (2010), 549-555]. △ Less

Submitted 4 April, 2011; v1 submitted 3 February, 2011; originally announced February 2011.

Comments: Dedicated to Fabrizio Catanese on the occasion of his 60th birthday. To appear in the special issue of Science of China Ser.A: Mathematics dedicated to him. V2:some typos have been corrected

MSC Class: 14J29

Generic Torelli theorem for Prym varieties of ramified coverings

Authors: Valeria Ornella Marcucci, Gian Pietro Pirola

Abstract: In this paper we prove that the Prym map, from the space of double coverings of a curve of genus g with r branch points to the moduli space of abelian varieties, is generically injective if r>6 and g>1, r=6 and g>2, r=4 and g>4, r=2 and g>5. We also show that a very generic Prym variety of dimension at least 4 is not isogenous to a Jacobian. In this paper we prove that the Prym map, from the space of double coverings of a curve of genus g with r branch points to the moduli space of abelian varieties, is generically injective if r>6 and g>1, r=6 and g>2, r=4 and g>4, r=2 and g>5. We also show that a very generic Prym variety of dimension at least 4 is not isogenous to a Jacobian. △ Less

Submitted 6 February, 2012; v1 submitted 21 October, 2010; originally announced October 2010.

Comments: 24 pages, 2 figures. One reference added. To appear in Compositio Mathematica

Journal ref: Compositio Math. 148 (2012) 1147-1170

A characterization of the symmetric square of a curve

Authors: Margarida Mendes Lopes, Rita Pardini, Gian Pietro Pirola

Abstract: In this paper a new intrinsic geometric characterization of the symmetric square of a curve and of the ordinary product of two curves is given. More precisely it is shown that the existence on a surface of general type S of irregularity q of an effective divisor D having self-intersection D^2>0 and arithmetic genus q implies that S is either birational to a product of curves or to the second symme… ▽ More In this paper a new intrinsic geometric characterization of the symmetric square of a curve and of the ordinary product of two curves is given. More precisely it is shown that the existence on a surface of general type S of irregularity q of an effective divisor D having self-intersection D^2>0 and arithmetic genus q implies that S is either birational to a product of curves or to the second symmetric product of a curve. △ Less

Submitted 10 August, 2010; originally announced August 2010.

Comments: International Mathematics Research Notices 2011

On surfaces of general type with q=5

Authors: Margarida Mendes Lopes, Rita Pardini, Gian Pietro Pirola

Abstract: We prove that a complex surface S with irregularity q(S)=5 that has no irrational pencil of genus >1 has geometric genus p_g(S)>7. As a consequence, one is able to classify minimal surfaces S of general type with q(S)=5 and p_g(S)<8. This result is a negative answer, for q=5, to the question asked in arXiv:0811.0390 of the existence of surfaces of general type with irregularity q>3 that have… ▽ More We prove that a complex surface S with irregularity q(S)=5 that has no irrational pencil of genus >1 has geometric genus p_g(S)>7. As a consequence, one is able to classify minimal surfaces S of general type with q(S)=5 and p_g(S)<8. This result is a negative answer, for q=5, to the question asked in arXiv:0811.0390 of the existence of surfaces of general type with irregularity q>3 that have no irrational pencil of genus >1 and with the lowest possible geometric genus p_g=2q-3. This gives some evidence for the conjecture that the only irregular surface with no irrational pencil of genus >1 and p_g=2q-3 is the symmetric product of a genus three curve. △ Less

Submitted 31 March, 2010; originally announced March 2010.

Comments: 9 pages.

MSC Class: 14J29

A New Curve Algebraically but not Rationally Uniformized by Radicals

Authors: Gian Pietro Pirola, Cecilia Rizzi, Enrico Schlesinger

Abstract: We give a new example of a curve C algebraically, but not rationally, uniformized by radicals. This means that C has no map onto the projective line P^1 with solvable Galois group, while there exists a curve C' that maps onto C and has a finite morphism to P^1 with solvable Galois group. We construct such a curve C of genus 9 in the second symmetric product of a general curve of genus 2. It is als… ▽ More We give a new example of a curve C algebraically, but not rationally, uniformized by radicals. This means that C has no map onto the projective line P^1 with solvable Galois group, while there exists a curve C' that maps onto C and has a finite morphism to P^1 with solvable Galois group. We construct such a curve C of genus 9 in the second symmetric product of a general curve of genus 2. It is also an example of a genus 9 curve that does not satisfy condition S(4,2,9) of Abramovich and Harris. △ Less

Submitted 25 March, 2010; originally announced March 2010.

Comments: 12 pages

MSC Class: 14H10; 14H30; 20B25

Galois closure and Lagrangian varieties

Authors: Francesco Bastianelli, Gian Pietro Pirola, Lidia Stoppino

Abstract: We use Galois closures of finite rational maps between complex projective varieties to introduce a new method for producing varieties such that the holomorphic part of the cup product map has non-trivial kernel. We then apply our result to the two-dimensional case and we construct a new family of surfaces which are Lagrangian in their Albanese variety. Moreover, we analyze these surfaces computing… ▽ More We use Galois closures of finite rational maps between complex projective varieties to introduce a new method for producing varieties such that the holomorphic part of the cup product map has non-trivial kernel. We then apply our result to the two-dimensional case and we construct a new family of surfaces which are Lagrangian in their Albanese variety. Moreover, we analyze these surfaces computing their Chern invariants, and proving that they are not fibred over curves of genus greater than one. △ Less

Submitted 14 June, 2010; v1 submitted 17 December, 2009; originally announced December 2009.

Comments: 36 pages, 3 figures

MSC Class: 14J25

Journal ref: Adv. Math. 225 (2010), 3463-3501