Showing 1–34 of 34 results for author: Frediani, P

Higher Gaussian maps on the hyperelliptic locus and second fundamental form

Authors: Dario Faro, Paola Frediani, Antonio Lacopo

Abstract: In this paper we study higher even Gaussian maps of the canonical bundle on hyperelliptic curves and we determine their rank, giving explicit descriptions of their kernels. Then we use this descriptions to investigate the hyperelliptic Torelli map $j_h$ and its second fundamental form. We study isotropic subspaces of the tangent space $T_{{\mathcal H}_g, [C]}$ to the moduli space ${\mathcal H}_g$… ▽ More In this paper we study higher even Gaussian maps of the canonical bundle on hyperelliptic curves and we determine their rank, giving explicit descriptions of their kernels. Then we use this descriptions to investigate the hyperelliptic Torelli map $j_h$ and its second fundamental form. We study isotropic subspaces of the tangent space $T_{{\mathcal H}_g, [C]}$ to the moduli space ${\mathcal H}_g$ of hyperelliptic curves of genus $g$ at a point $[C]$, with respect to the second fundamental form $ρ_{HE}$ of $j_h$. In particular, for any Weierstrass point $p \in C$, we construct a subspace $V_p$ of dimension $\lfloor\frac{g}{2} \rfloor$ of $T_{{\mathcal H}_g, [C]}$ generated by higher Schiffer variations at $p$, such that the only isotropic tangent direction $ζ\in V_p$ for the image of $ρ_{HE}$ is the standard Schiffer variation $ξ_p$ at the Weierstrass point $p \in C$. △ Less

Submitted 25 June, 2024; originally announced June 2024.

MSC Class: 14H10; 14H15; 32G20

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.

Second fundamental form and higher Gaussian maps

Authors: Paola Frediani

Abstract: In this paper we show a relation between higher even Gaussian maps of the canonical bundle on a smooth projective curve of genus $g \geq 4$ and the second fundamental form of the Torelli map. This generalises a result obtained by Colombo, Pirola and Tortora on the second Gaussian map and the second fundamental form. As a consequence, we prove that for any non-hyperelliptic curve, the Gaussian map… ▽ More In this paper we show a relation between higher even Gaussian maps of the canonical bundle on a smooth projective curve of genus $g \geq 4$ and the second fundamental form of the Torelli map. This generalises a result obtained by Colombo, Pirola and Tortora on the second Gaussian map and the second fundamental form. As a consequence, we prove that for any non-hyperelliptic curve, the Gaussian map $μ_{6g-6}$ is injective, hence all even Gaussian maps $μ_{2k}$ are identically zero for all $k >3g-3$. We also give an estimate for the rank of $μ_{2k}$ for $g-1 \leq k \leq 3g-3.$ △ Less

Submitted 3 July, 2023; v1 submitted 31 August, 2022; originally announced August 2022.

Comments: minor changes

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

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

Abelian covers and second fundamental form

Authors: Paola Frediani

Abstract: We give some conditions on a family of abelian covers of ${\mathbb P}^1$ of genus $g$ curves, that ensure that the family yields a subvariety of ${\mathsf A}_g$ which is not totally geodesic, hence it is not Shimura. As a consequence, we show that for any abelian group $G$, there exists an integer $M$ which only depends on $G$ such that if $g >M$, then the family yields a subvariety of… ▽ More We give some conditions on a family of abelian covers of ${\mathbb P}^1$ of genus $g$ curves, that ensure that the family yields a subvariety of ${\mathsf A}_g$ which is not totally geodesic, hence it is not Shimura. As a consequence, we show that for any abelian group $G$, there exists an integer $M$ which only depends on $G$ such that if $g >M$, then the family yields a subvariety of ${\mathsf A}_g$ which is not totally geodesic. We prove then analogous results for families of abelian covers of ${\tilde C}_t \rightarrow {\mathbb P}^1 = {\tilde C}_t/{\tilde G}$ with an abelian Galois group ${\tilde G}$ of even order, proving that under some conditions, if $σ\in {\tilde G}$ is an involution, the family of Pryms associated with the covers ${\tilde C}_t \rightarrow C_t= {\tilde C}_t/\langle σ\rangle$ yields a subvariety of ${\mathsf A}_{p}^δ$ which is not totally geodesic. As a consequence, we show that if ${\tilde G} =({\mathbb Z}/N{\mathbb Z})^m$ with $N$ even, and $σ$ is an involution in ${\tilde G}$, there exists an integer $M(N)$ which only depends on $N$ such that, if ${\tilde g} = g({\tilde C}_t) > M(N)$, then the subvariety of the Prym locus in ${\mathsf A}^δ_{p}$ induced by any such family is not totally geodesic (hence it is not Shimura). △ Less

Submitted 24 March, 2024; v1 submitted 17 May, 2021; originally announced May 2021.

Comments: Final version. To appear in Manuscripta Mathematica

MSC Class: 14H40; 14H10

Higher dimensional Shimura varieties in the Prym loci of ramified double covers

Authors: Paola Frediani, Gian Paolo Grosselli, Abolfazl Mohajer

Abstract: In this paper we construct Shimura subvarieties of dimension bigger than one of the moduli space of polarised abelian varieties of a given dimension, which are generically contained in the Pym loci of (ramified) double covers. The idea is to adapt the techniques already used to construct Shimura curves in the Prym loci to the higher dimensional case, namely to use families of Galois covers of the… ▽ More In this paper we construct Shimura subvarieties of dimension bigger than one of the moduli space of polarised abelian varieties of a given dimension, which are generically contained in the Pym loci of (ramified) double covers. The idea is to adapt the techniques already used to construct Shimura curves in the Prym loci to the higher dimensional case, namely to use families of Galois covers of the projective line. The case of abelian covers is treated in detail, since in this case it is possible to make explicit computations that allow to verify a sufficient condition for such a family to yield a Shimura subvariety of the space polarised abelian varieties of a given dimension. △ Less

Submitted 22 January, 2021; originally announced January 2021.

Comments: arXiv admin note: text overlap with arXiv:2007.09646

MSC Class: 14H10; 14H15; 14H40; 14K12

On the dimension of totally geodesic submanifolds in the Prym loci

Authors: Elisabetta Colombo, Paola Frediani

Abstract: In this paper we give a bound on the dimension of a totally geodesic submanifold of the moduli space of polarised abelian varieties of a given dimension, which is contained in the Prym locus of a (possibly) ramified double cover. This improves the already known bounds. The idea is to adapt the techniques introduced by the authors in collaboration with A. Ghigi and G. P. Pirola for the Torelli map… ▽ More In this paper we give a bound on the dimension of a totally geodesic submanifold of the moduli space of polarised abelian varieties of a given dimension, which is contained in the Prym locus of a (possibly) ramified double cover. This improves the already known bounds. The idea is to adapt the techniques introduced by the authors in collaboration with A. Ghigi and G. P. Pirola for the Torelli map to the case of the Prym maps of (ramified) double covers. △ Less

Submitted 13 January, 2021; originally announced January 2021.

MSC Class: 14H10; 14H15; 14H40; 14K12

Shimura curves in the Prym loci of ramified double covers

Authors: Paola Frediani, Gian Paolo Grosselli

Abstract: We study Shimura curves of PEL type in the space of polarised abelian varieties $A^δ_p$ generically contained in the ramified Prym locus. We generalise to ramified double covers, the construction done in [10] in the unramified case and in the case of two ramification points. Namely, we construct families of double covers which are compatible with a fixed group action on the base curve. We only con… ▽ More We study Shimura curves of PEL type in the space of polarised abelian varieties $A^δ_p$ generically contained in the ramified Prym locus. We generalise to ramified double covers, the construction done in [10] in the unramified case and in the case of two ramification points. Namely, we construct families of double covers which are compatible with a fixed group action on the base curve. We only consider the case of one-dimensional families and where the quotient of the base curve by the group is ${\mathbb P}^1$. Using computer algebra we obtain 184 Shimura curves contained in the (ramified) Prym loci. △ Less

Submitted 19 July, 2020; originally announced July 2020.

MSC Class: 14H40; 14H15; 14G35

The fibers of the ramified Prym map

Authors: P. Frediani, J. C. Naranjo, I. Spelta

Abstract: We study the ramified Prym map $\mathcal P_{g,r} \longrightarrow \mathcal A_{g-1+\frac r2}^δ$ which assigns to a ramified double cover of a smooth irreducible curve of genus $g$ ramified in $r$ points the Prym variety of the covering. We focus on the six cases where the dimension of the source is strictly greater than the dimension of the target giving a geometric description of the generic fibre.… ▽ More We study the ramified Prym map $\mathcal P_{g,r} \longrightarrow \mathcal A_{g-1+\frac r2}^δ$ which assigns to a ramified double cover of a smooth irreducible curve of genus $g$ ramified in $r$ points the Prym variety of the covering. We focus on the six cases where the dimension of the source is strictly greater than the dimension of the target giving a geometric description of the generic fibre. We also give an explicit example of a totally geodesic curve which is an irreducible component of a fibre of the Prym map ${\mathcal P}_{1,2}$. △ Less

Submitted 7 May, 2021; v1 submitted 4 July, 2020; originally announced July 2020.

Comments: Final version. To appear in Communications in Contemporary Mathematics

MSC Class: 14H40 14K10

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

Infinitely many Shimura varieties in the Jacobian locus for $g \leq 4$

Authors: Paola Frediani, Alessandro Ghigi, Irene Spelta

Abstract: We study families of Galois covers of curves of positive genus. It is known that under a numerical condition these families yield Shimura subvarieties generically contained in the Jacobian locus. We prove that there are only 6 families satisfying this condition, all of them in genus 2,3 or 4. We also show that these families admit two fibrations in totally geodesic subvarieties, generalizing a res… ▽ More We study families of Galois covers of curves of positive genus. It is known that under a numerical condition these families yield Shimura subvarieties generically contained in the Jacobian locus. We prove that there are only 6 families satisfying this condition, all of them in genus 2,3 or 4. We also show that these families admit two fibrations in totally geodesic subvarieties, generalizing a result of Grushevsky and Möller. Countably many of these fibres are Shimura. Thus the Jacobian locus contains infinitely many Shimura subvarieties of positive dimension of any $g \leq 4$. △ Less

Submitted 30 August, 2020; v1 submitted 29 October, 2019; originally announced October 2019.

Comments: Corrected version. To appear in Annali S.N.S

MSC Class: 14G35; 14H15; 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

Second fundamental form of the Prym map in the ramified case

Authors: Elisabetta Colombo, Paola Frediani

Abstract: In this paper we study the second fundamental form of the Prym map $P_{g,r}: R_{g,r} \rightarrow {\mathcal A}^δ_{g-1+r}$ in the ramified case $r>0$. We give an expression of it in terms of the second fundamental form of the Torelli map of the covering curves. We use this expression to give an upper bound for the dimension of a germ of a totally geodesic submanifold, and hence of a Shimura subvarie… ▽ More In this paper we study the second fundamental form of the Prym map $P_{g,r}: R_{g,r} \rightarrow {\mathcal A}^δ_{g-1+r}$ in the ramified case $r>0$. We give an expression of it in terms of the second fundamental form of the Torelli map of the covering curves. We use this expression to give an upper bound for the dimension of a germ of a totally geodesic submanifold, and hence of a Shimura subvariety of ${\mathcal A}^δ_{g-1+r}$, contained in the Prym locus. △ Less

Submitted 11 August, 2019; v1 submitted 17 December, 2018; originally announced December 2018.

Comments: To appear in Galois Covers, Grothendieck-Teichmueller Theory and Dessins d'Enfants - Interactions between Geometry, Topology, Number Theory and Algebra. Springer Proceedings in Mathematics & Statistics. arXiv admin note: text overlap with arXiv:1711.03421

On the Bielliptic and bihyperelliptic loci

Authors: Paola Frediani, Paola Porru

Abstract: We study some particular loci inside the moduli space $\mathcal{M}_g$, namely the bielliptic locus (i.e. the locus of curves admitting a $2:1$ cover over an elliptic curve $E$) and the bihyperelliptic locus (i.e. the locus of curves admitting a $2:1$ cover over a hyperelliptic curve $C'$, $g(C') \geq 2$). We show that the bielliptic locus is not a totally geodesic subvariety of $\mathcal{A}_g$ if… ▽ More We study some particular loci inside the moduli space $\mathcal{M}_g$, namely the bielliptic locus (i.e. the locus of curves admitting a $2:1$ cover over an elliptic curve $E$) and the bihyperelliptic locus (i.e. the locus of curves admitting a $2:1$ cover over a hyperelliptic curve $C'$, $g(C') \geq 2$). We show that the bielliptic locus is not a totally geodesic subvariety of $\mathcal{A}_g$ if $g \geq 4$ (while it is for $g=3$, see [16]) and that the bihyperelliptic locus is not totally geodesic in $\mathcal{A}_g$ if $g \geq 3g'$. We also give a lower bound for the rank of the second gaussian map on the generic point of the bielliptic locus and an upper bound for this rank for every bielliptic curve. △ Less

Submitted 9 September, 2019; v1 submitted 5 July, 2018; originally announced July 2018.

Comments: Final version. To appear in the Michigan Mathematical Journal

A bound on the dimension of a totally geodesic submanifold in the Prym locus

Authors: Elisabetta Colombo, Paola Frediani

Abstract: We give an upper bound for the dimension of a germ of a totally geodesic submanifold, and hence of a Shimura variety of A_{g-1}, contained in the Prym locus. First we give such a bound for a germ passing through a Prym variety of a k-gonal curve in terms of the gonality k. Then we deduce a bound only depending on the genus g. We give an upper bound for the dimension of a germ of a totally geodesic submanifold, and hence of a Shimura variety of A_{g-1}, contained in the Prym locus. First we give such a bound for a germ passing through a Prym variety of a k-gonal curve in terms of the gonality k. Then we deduce a bound only depending on the genus g. △ Less

Submitted 9 November, 2017; originally announced November 2017.

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

Shimura curves in the Prym locus

Authors: Elisabetta Colombo, Paola Frediani, Alessandro Ghigi, Matteo Penegini

Abstract: We study Shimura curves of PEL type in $\mathsf{A}_g$ generically contained in the Prym locus. We study both the unramified Prym locus, obtained using étale double covers, and the ramified Prym locus, corresponding to double covers ramified at two points. In both cases we consider the family of all double covers compatible with a fixed group action on the base curve. We restrict to the case where… ▽ More We study Shimura curves of PEL type in $\mathsf{A}_g$ generically contained in the Prym locus. We study both the unramified Prym locus, obtained using étale double covers, and the ramified Prym locus, corresponding to double covers ramified at two points. In both cases we consider the family of all double covers compatible with a fixed group action on the base curve. We restrict to the case where the family is 1-dimensional and the quotient of the base curve by the group is $\mathbb{P}^1$. We give a simple criterion for the image of these families under the Prym map to be a Shimura curve. Using computer algebra we check all the examples gotten in this way up to genus 28. We obtain 43 Shimura curves generically contained in the unramified Prym locus and 9 families generically contained in the ramified Prym locus. Most of these curves are not generically contained in the Jacobian locus. △ Less

Submitted 15 January, 2018; v1 submitted 7 June, 2017; originally announced June 2017.

Comments: Final version. To appear in Communications in Contemporary Mathematics

Étale homotopy types of moduli stacks of polarised abelian schemes

Authors: Paola Frediani, Frank Neumann

Abstract: We determine the Artin-Mazur étale homotopy types of moduli stacks of polarised abelian schemes using transcendental methods and derive some arithmetic properties of the étale fundamental groups of these moduli stacks. Finally we analyse the Torelli morphism between the moduli stacks of algebraic curves and principally polarised abelian schemes from an étale homotopy point of view. We determine the Artin-Mazur étale homotopy types of moduli stacks of polarised abelian schemes using transcendental methods and derive some arithmetic properties of the étale fundamental groups of these moduli stacks. Finally we analyse the Torelli morphism between the moduli stacks of algebraic curves and principally polarised abelian schemes from an étale homotopy point of view. △ Less

Submitted 8 December, 2016; v1 submitted 23 December, 2015; originally announced December 2015.

Comments: Final version. To appear: Journal of Homotopy and Related Structures

Shimura varieties in the Torelli locus via Galois coverings of elliptic curves

Authors: Paola Frediani, Matteo Penegini, Paola Porru

Abstract: We study Shimura subvarieties of $\mathsf{A}_g$ obtained from families of Galois coverings $f: C \rightarrow C'$ where $C'$ is a smooth complex projective curve of genus $g' \geq 1$ and $g= g(C)$. We give the complete list of all such families that satisfy a simple sufficient condition that ensures that the closure of the image of the family via the Torelli map yields a Shimura subvariety of… ▽ More We study Shimura subvarieties of $\mathsf{A}_g$ obtained from families of Galois coverings $f: C \rightarrow C'$ where $C'$ is a smooth complex projective curve of genus $g' \geq 1$ and $g= g(C)$. We give the complete list of all such families that satisfy a simple sufficient condition that ensures that the closure of the image of the family via the Torelli map yields a Shimura subvariety of $\mathsf{A}_g$ for $g' =1,2$ and for all $g \geq 2,4$ and for $g' > 2$ and $g \leq 9$. In a previous work of the first and second author together with A. Ghigi [FGP] similar computations were done in the case $g'=0$. Here we find 6 families of Galois coverings, all with $g' = 1$ and $g=2,3,4$ and we show that these are the only families with $g'=1$ satisfying this sufficient condition. We show that among these examples two families yield new Shimura subvarieties of $\mathsf{A}_g$, while the other examples arise from certain Shimura subvarieties of $\mathsf{A}_g$ already obtained as families of Galois coverings of $\mathbb{P}^1$ in [FGP]. Finally we prove that if a family satisfies this sufficient condition with $g'\geq 1$, then $g \leq 6g'+1$. △ Less

Submitted 3 November, 2015; v1 submitted 4 August, 2015; originally announced August 2015.

Comments: 18 pages, to appear in Geometriae Dedicata

Shimura varieties in the Torelli locus via Galois coverings

Authors: Paola Frediani, Alessandro Ghigi, Matteo Penegini

Abstract: Given a family of Galois coverings of the projective line we give a simple sufficient condition ensuring that the closure of the image of the family via the period map** is a special (or Shimura) subvariety in A_g. By a computer program we get the list of all families in genus up to 8 satisfying our condition. There is no family in genus 8, all of them are in genus at most 7. These examples are… ▽ More Given a family of Galois coverings of the projective line we give a simple sufficient condition ensuring that the closure of the image of the family via the period map** is a special (or Shimura) subvariety in A_g. By a computer program we get the list of all families in genus up to 8 satisfying our condition. There is no family in genus 8, all of them are in genus at most 7. These examples are related to a conjecture of Oort. Among them we get the cyclic examples constructed by various authors (Shimura, Mostow, De Jong-Noot, Rohde, Moonen and others) and the abelian non-cyclic examples found by Moonen-Oort. We get 7 new non-abelian examples. △ Less

Submitted 27 December, 2014; v1 submitted 5 February, 2014; originally announced February 2014.

Comments: Final version. To appear on Intenational Mathematics Research Notices

MSC Class: 14G35; 14H15; 14H40; 32G20 (primary) and 14K22 (secondary)

On totally geodesic submanifolds in the Jacobian locus

Authors: Elisabetta Colombo, Paola Frediani, Alessandro Ghigi

Abstract: We study submanifolds of A_g that are totally geodesic for the locally symmetric metric and which are contained in the closure of the Jacobian locus but not in its boundary. In the first section we recall a formula for the second fundamental form of the period map due to Pirola, Tortora and the first author. We show that this result can be stated quite neatly using a line bundle over the product o… ▽ More We study submanifolds of A_g that are totally geodesic for the locally symmetric metric and which are contained in the closure of the Jacobian locus but not in its boundary. In the first section we recall a formula for the second fundamental form of the period map due to Pirola, Tortora and the first author. We show that this result can be stated quite neatly using a line bundle over the product of the curve with itself. We give an upper bound for the dimension of a germ of a totally geodesic submanifold passing through [C] in M_g in terms of the gonality of C. This yields an upper bound for the dimension of a germ of a totally geodesic submanifold contained in the Jacobian locus, which only depends on the genus. We also study the submanifolds of A_g obtained from cyclic covers of the projective line. These have been studied by various authors. Moonen determined which of them are Shimura varieties using deep results in positive characteristic. Using our methods we show that many of the submanifolds which are not Shimura varieties are not even totally geodesic. △ Less

Submitted 11 January, 2015; v1 submitted 4 September, 2013; originally announced September 2013.

Comments: To appear on International Journal of Mathematics

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

On the first Gaussian map for Prym-canonical line bundles

Authors: Caterina Barchielli, Paola Frediani

Abstract: We prove by degeneration to Prym-canonical binary curves that the first Gaussian map of the Prym canonical line bundle $ω_C \otimes A$ is surjective for the general point [C,A] of R_g if g >11, while it is injective if g < 12. We prove by degeneration to Prym-canonical binary curves that the first Gaussian map of the Prym canonical line bundle $ω_C \otimes A$ is surjective for the general point [C,A] of R_g if g >11, while it is injective if g < 12. △ Less

Submitted 25 June, 2013; v1 submitted 29 October, 2012; originally announced October 2012.

Comments: To appear in Geometriae Dedicata. arXiv admin note: text overlap with arXiv:1105.4472

MSC Class: 14H10; 14H45; 13D06

On the Koszul cohomology of canonical and Prym-canonical binary curves

Authors: Elisabetta Colombo, Paola Frediani

Abstract: In this paper we study Koszul cohomology and the Green and Prym-Green conjectures for canonical and Prym-canonical binary curves. We prove that if property $N_p$ holds for a canonical or a Prym-canonical binary curve of genus $g$ then it holds for a generic canonical or Prym-canonical binary curve of genus $g+1$. We also verify the Green and Prym-Green conjectures for generic canonical and Prym-ca… ▽ More In this paper we study Koszul cohomology and the Green and Prym-Green conjectures for canonical and Prym-canonical binary curves. We prove that if property $N_p$ holds for a canonical or a Prym-canonical binary curve of genus $g$ then it holds for a generic canonical or Prym-canonical binary curve of genus $g+1$. We also verify the Green and Prym-Green conjectures for generic canonical and Prym-canonical binary curves of low genus ($6\leq g\leq 15$, $g\neq 8$ for Prym-canonical and $3\leq g\leq 12$ for canonical). △ Less

Submitted 4 March, 2013; v1 submitted 13 July, 2012; originally announced July 2012.

Comments: Final version. To appear in the Bulletin of the London Mathematical Society

MSC Class: 14H10; 14H40; 13D02

Prym map and second gaussian map for Prym-canonical line bundles

Authors: Elisabetta Colombo, Paola Frediani

Abstract: We show that the second fundamental form of the Prym map lifts the second gaussian map of the Prym-canonical bundle. We prove, by degeneration to binary curves, that this gaussian map is surjective for the general point [C,A] of R_g for g > 19. We show that the second fundamental form of the Prym map lifts the second gaussian map of the Prym-canonical bundle. We prove, by degeneration to binary curves, that this gaussian map is surjective for the general point [C,A] of R_g for g > 19. △ Less

Submitted 25 February, 2013; v1 submitted 23 May, 2011; originally announced May 2011.

Comments: Final version. To appear in Advances in Mathematics

MSC Class: 14H10; 14K12

On the second gaussian map for curves on a K3 surface

Authors: Elisabetta Colombo, Paola Frediani

Abstract: By a theorem of Wahl, for canonically embedded curves which are hyperplane sections of K3 surfaces, the first gaussian map is not surjective. In this paper we prove that if C is a general hyperplane section of high genus (greater than 280) of a general polarized K3 surface, then the second gaussian map of C is surjective. The resulting bound for the genus g of a general curve with surjective sec… ▽ More By a theorem of Wahl, for canonically embedded curves which are hyperplane sections of K3 surfaces, the first gaussian map is not surjective. In this paper we prove that if C is a general hyperplane section of high genus (greater than 280) of a general polarized K3 surface, then the second gaussian map of C is surjective. The resulting bound for the genus g of a general curve with surjective second gaussian map is decreased to g >152. △ Less

Submitted 4 March, 2010; v1 submitted 14 May, 2009; originally announced May 2009.

Comments: final version, to appear in Nagoya Mathematical Journal

MSC Class: 14H10; 14J28

Hyperplane sections of abelian surfaces

Authors: Elisabetta Colombo, Paola Frediani, Giuseppe Pareschi

Abstract: By a theorem of Wahl, the canonically embedded curves which are hyperplane section of K3 surfaces are distinguished by the non-surjectivity of their Wahl map. In this paper we address the problem of distinguishing hyperplane sections of abelian surfaces. The somewhat surprising result is that the Wahl map of such curves is (tendentially) surjective, but their second Wahl map has corank at least… ▽ More By a theorem of Wahl, the canonically embedded curves which are hyperplane section of K3 surfaces are distinguished by the non-surjectivity of their Wahl map. In this paper we address the problem of distinguishing hyperplane sections of abelian surfaces. The somewhat surprising result is that the Wahl map of such curves is (tendentially) surjective, but their second Wahl map has corank at least 2 (in fact a more precise result is proved). △ Less

Submitted 28 January, 2010; v1 submitted 16 March, 2009; originally announced March 2009.

Comments: final version, to appear in Journal of Algebraic Geometry

MSC Class: 14H10; 14K12

Siegel metric and curvature of the moduli space of curves

Authors: Elisabetta Colombo, Paola Frediani

Abstract: We study the curvature of the moduli space M_g of curves of genus g with the Siegel metric induced by the period map. We give an explicit formula for the holomorphic sectional curvature of M_g along a Schiffer variation at a point P on the curve X, in terms of the holomorphic sectional curvature of A_g and the second Gaussian map. Finally we extend the Kaehler form of the Siegel metric as a clos… ▽ More We study the curvature of the moduli space M_g of curves of genus g with the Siegel metric induced by the period map. We give an explicit formula for the holomorphic sectional curvature of M_g along a Schiffer variation at a point P on the curve X, in terms of the holomorphic sectional curvature of A_g and the second Gaussian map. Finally we extend the Kaehler form of the Siegel metric as a closed current on the Deligne-Mumford compatification of M_g and we determine its cohomology class as a multiple of the first Chern class of the Hodge bundle. △ Less

Submitted 22 May, 2008; originally announced May 2008.

MSC Class: 14H10; 14h15; 14K25; 53C42; 53C55

Some results on the second Gaussian map for curves

Authors: Elisabetta Colombo, Paola Frediani

Abstract: We study the second Gaussian map for a curve X of genus g, in relation with the second fundamental form of the period map. We exhibit a class of infinitely many curves with surjective second Gaussian map. We compute its rank on the hyperelliptic and trigonal locus and show global generation of its image for X not hyperelliptic nor trigonal. We study the second Gaussian map for a curve X of genus g, in relation with the second fundamental form of the period map. We exhibit a class of infinitely many curves with surjective second Gaussian map. We compute its rank on the hyperelliptic and trigonal locus and show global generation of its image for X not hyperelliptic nor trigonal. △ Less

Submitted 22 May, 2008; originally announced May 2008.

MSC Class: 14H10; 14h40; 14H45; 14H51

Real structures on torus bundles and their deformations

Authors: Fabrizio Catanese, Paola Frediani

Abstract: We describe the family of real structures $σ$ on principal holomorphic torus bundles $X$ over tori, and prove its connectedness when the complex dimension is at most three. From this and previous results of the authors follows that the differentiable type (more precisely, the orbifold fundamental group) determines the deformation type of the pair $(X, σ)$ provided we have complex dimension at mo… ▽ More We describe the family of real structures $σ$ on principal holomorphic torus bundles $X$ over tori, and prove its connectedness when the complex dimension is at most three. From this and previous results of the authors follows that the differentiable type (more precisely, the orbifold fundamental group) determines the deformation type of the pair $(X, σ)$ provided we have complex dimension at most three, fibre dimension one, and a certain 'reality' condition on the fundamental group is satisfied. △ Less

Submitted 5 January, 2006; originally announced January 2006.

Comments: 26 pages, to appear in the Proceedings for 10th anniversary (2004) conference of the East China Normal University (Shanghai), published by AMS and Int. Press

MSC Class: 32G08; 32L05; 32Q99; 14J15; 14P99

Deformation in the large of some complex manifolds, II

Authors: Fabrizio Catanese, Paola Frediani

Abstract: The compact complex manifolds considered in this article are principal torus bundles over a torus. We consider the Kodaira Spencer map of the complete Appell Humbert family (introduced by the first author in Part I) and are able to show that we obtain in this way a connected component of the space of complex structures each time that the base dimension is two, the fibre dimension is one, and a s… ▽ More The compact complex manifolds considered in this article are principal torus bundles over a torus. We consider the Kodaira Spencer map of the complete Appell Humbert family (introduced by the first author in Part I) and are able to show that we obtain in this way a connected component of the space of complex structures each time that the base dimension is two, the fibre dimension is one, and a suitable topological condition is verified. △ Less

Submitted 25 July, 2005; originally announced July 2005.

Comments: 23 pages, to appear in the AMS Series 'Contemporary Mathematics',in the Proceedings of the 10th anniversary (2004) Conference for the Mathematics Institute at East China Normal University

MSC Class: 14D15; 32G08; 32G13; 32L05; 32Q57; 53C30

Real Kodaira surfaces

Authors: Paola Frediani

Abstract: In this paper we give the topological classification of real primary Kodaira surfaces and we describe in detail the structure of the corresponding moduli space. One of the main tools is the orbifold fundamental group of a real variety. Our first result is that if $(S, σ)$ is a real primary Kodaira surface, then the differentiable type of the pair $(S,σ)$ is completely determined by the orbifold… ▽ More In this paper we give the topological classification of real primary Kodaira surfaces and we describe in detail the structure of the corresponding moduli space. One of the main tools is the orbifold fundamental group of a real variety. Our first result is that if $(S, σ)$ is a real primary Kodaira surface, then the differentiable type of the pair $(S,σ)$ is completely determined by the orbifold fundamental group exact sequence. This result allows us to determine all the possible topological types of $(S, σ)$. Finally, we show that once we fix the topological type of $(S, σ)$ corresponding to a real primary Kodaira surface, the corresponding moduli space is irreducible (and connected). △ Less

Submitted 21 April, 2004; originally announced April 2004.

Comments: 29 pages

MSC Class: 14P99; 14P25; 14J15; 32Q57

Journal ref: Collect. Math. 55, 1 (2004), 61-96

Etale homotopy types of moduli stacks of algebraic curves with symmetries

Authors: Paola Frediani, Frank Neumann

Abstract: Using the machinery of etale homotopy theory a' la Artin-Mazur we determine the etale homotopy types of moduli stacks over $\bar{\Q}$ parametrizing families of algebraic curves of genus g greater than 1 endowed with an action of a finite group G of automorphisms, which comes with a fixed embedding in the map** class group, such that in the associated complex analytic situation the action of G… ▽ More Using the machinery of etale homotopy theory a' la Artin-Mazur we determine the etale homotopy types of moduli stacks over $\bar{\Q}$ parametrizing families of algebraic curves of genus g greater than 1 endowed with an action of a finite group G of automorphisms, which comes with a fixed embedding in the map** class group, such that in the associated complex analytic situation the action of G is precisely the differentiable action induced by this specified embedding of G in the map** class group. △ Less

Submitted 21 April, 2004; originally announced April 2004.

Comments: 27 pages

MSC Class: 14F35; 14H10

Journal ref: K-Theory 30: 315-340, 2003

Real hyperelliptic surfaces and the orbifold fundamental group

Authors: Fabrizio Catanese, Paola Frediani

Abstract: In this paper we finish the topological classification of real algebraic surfaces of Kodaira dimension zero and we make a step towards the Enriques classification of real algebraic surfaces, by describing in detail the structure of the moduli space of real hyperelliptic surfaces. Moreover, we point out the relevance in real geometry of the notion of the orbifold fundamental group of a real var… ▽ More In this paper we finish the topological classification of real algebraic surfaces of Kodaira dimension zero and we make a step towards the Enriques classification of real algebraic surfaces, by describing in detail the structure of the moduli space of real hyperelliptic surfaces. Moreover, we point out the relevance in real geometry of the notion of the orbifold fundamental group of a real variety, and we discuss related questions on real varieties $(X, σ)$ whose underlying complex manifold $X$ is a $K (π, 1)$. Our first result is that if $(S, σ)$ is a real hyperelliptic surface, then the differentiable type of the pair $(S, σ)$ is completely determined by the orbifold fundamental group exact sequence. This result allows us to determine all the possible topological types of $(S, σ)$, and to prove that they are exactly 78. It follows also as a corollary that there are exactly eleven cases for the topological type of the real part of S. Finally, we show that once we fix the topological type of $(S, σ)$ corresponding to a real hyperelliptic surface, the corresponding moduli space is irreducible (and connected). We also give, through a series of tables, explicit analytic representations of the 78 components of the moduli space. △ Less

Submitted 1 December, 2000; originally announced December 2000.

Comments: 55 pages