arXiv subjects
Publications and source records attributed to Paola Frediani.
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 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$.
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.
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 mapping 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.
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.
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).
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.
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.
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).
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 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.
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.
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.
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 mapping 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 mapping class group.
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).
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.