We classify all the surfaces of general type whose canonical map is composed with a pencil if they are the quotient of the diagonal action by an Abelian group acting over the product of two curves. As far as we know all the previous examples with isotrivial canonical map are very particular cases of our construction; moreover we find an unexpected action by a group of order 16. This construction can be easily generalizable to all dimensions.
A fibration is said to be isotrivial if all of its smooth fibres are isomorphic to a single fixed variety. We classify the elliptic K3 surfaces that are isotrivial, and use them to construct Lagrangian fibrations that are isotrivial. We then modify the construction to produce new examples of holomorphic symplectic orbifolds, that also admit isotrivial Lagrangian fibrations.
In this paper we investigate the numerical properties of relatively minimal isotrivial fibrations $φ\colon X \lr C$, where $X$ is a smooth, projective surface and $C$ is a curve. In particular we prove that, if $g(C) \geq 1$ and $X$ is neither ruled nor isomorphic to a quasi-bundle, then $K_X^2 \leq 8 χ(\mO_X)-2$; this inequality is sharp and if equality holds then $X$ is a minimal surface of general type whose canonical model has precisely two ordinary double points as singularities. Under the further assumption that $K_X$ is ample, we obtain $K_X^2 \leq 8 χ(\mO_X)-5$ and the inequality is al…
A smooth, projective surface $S$ of general type is said to be a \emph{standard isotrivial fibration} if there exist a finite group $G$ which acts faithfully on two smooth projective curves $C$ and $F$ so that $S$ is isomorphic to the minimal desingularization of $T:=(C \times F)/G$. If $T$ is smooth then $S=T$ is called a $\emph{quasi-bundle}$. In this paper we classify the standard isotrivial fibrations with $p_g=q=1$ which are not quasi-bundles, assuming that all the singularities of $T$ are rational double points. As a by-product, we provide several new examples of minimal surfaces of gene…
A smooth, projective surface $S$ is called a $\emph{standard isotrivial fibration}$ if there exists a finite group $G$ which acts faithfully on two smooth projective curves $C$ and $F$ so that $S$ is isomorphic to the minimal desingularization of $T:=(C \times F)/G$. Standard isotrivial fibrations of general type with $p_g=q=1$ have been classified in \cite{Pol07} under the assumption that $T$ has only Rational Double Points as singularities. In the present paper we extend this result, classifying all cases where $S$ is a minimal model. As a by-product, we provide the first examples of minimal…
In this paper, we study the ordinarity of an isotrivial elliptic surface defined over a field of positive characteristic. If an isotrivial elliptic fibration $π:X \to C$ is given, $X$ is ordinary when the common fiber of $π$ is ordinary and a certain finite cover of the base $C$ is ordinary. By this result, we may obtain the ordinary reduction theorem for some kinds of isotrivial elliptic fibrations.
We construct, for every prime p, a function field K of characteristic p and an ordinary abelian variety A over K, with no isotrivial factors, that admits an etale self-isogeny of p-power degree. As a consequence, we deduce that there exist ordinary abelian varieties over function fields whose groups of points over the maximal purely inseparable extension is not finitely generated, answering in the negative a question of Thomas Scanlon.
We show that the Mordell Weil rank of an isotrivial abelian variety with a cyclic holonomy depends only on the fundamental group of the complement to the discriminant provided the discriminant has singularities in the introduced here CM class. This class of singularities includes all unibranched plane curves singularities. As a corollary we give a family of simple Jacobians over field of rational functions in two variable for which the Mordell Weil rank is arbitrary large.
Let $alb_X: X \rightarrow A$ be the Albanese map of a smooth projective variety and $f: X \rightarrow Y$ the fibration from the Stein factorization of $alb_X$. For a positive integer $m$, if $f$ and $m$ satisfy the assumptions AS(1,2), then the translates through the origin of all components of cohomological locus $V^0(ω_X^m, alb_X)$ generates $I^*Pic^0(S)$ where $I: X \rightarrow S$ denotes the Iitaka fibration. This result applies to studying pluricanonical maps. We also considered the problem about whether a fibration is isotrivial and isogenous to a product.
We prove a "Generic Equivalence Theorem which says that two affine morphisms $p: S \to Y$ and $q: T \to Y$ of varieties with isomorphic (closed) fibers become isomorphic under a dominant etale base change $ϕ: U \to Y$. A special case is the following result. Call a morphism $ϕ: X \to Y$ a "fibration with fiber $F$" if $ϕ$ is flat and all fibers are (reduced and) isomorphic to $F$. Then an affine fibration with fiber $F$ admits an etale dominant morphism $μ: U \to Y$ such that the pull-back is a trivial fiber bundle: $U\times_Y X \simeq U\times F$. As an application we give short proofs of the …
We prove that the genus $g$, the relative irregularity $q_f$ and the Clifford index $c_f$ of a non-isotrivial fibration $f$ satisfy the inequality $q_f \leq g - c_f$. This gives in particular a proof of Xiao's conjecture for fibrations whose general fibres have maximal Clifford index.
In this paper we construct an abelian fibration over ${\bf P}^3$ on the Hilbert cube of the primitive K3 surface of genus 9. After the abelian fibration constructed by Mukai on the Hilbert square on the primitive K3 surface S of genus 5, this is the second example where the abelian fibration on such Hilb_n(S) is directly constructed. Our example is also the first known abelian fibration on a Hilbert scheme Hilb_n(S) of a primitive K3 surface S which is not the Hilbert square of S; the primitive K3 surfaces on the Hilbert square of which such a fibration exists are known by a recent result of H…
We show that there exists no smooth fibration of a smooth complex quasi-projective variety of log-general type over a quasi-abelian variety. The proof uses M. Popa and C. Schnell's construction of Higgs bundle.
We study the group of relative Fourier-Mukai transforms for Weierstrass fibrations, abelian schemes and Fano or anti-Fano fibrations. For Weierstrass and Fano or anti-Fano fibrations we are able to describe this group completely. For abelian schemes over an arbitrary base we prove that if two of them are relative Fourier-Mukai partners then there is an isometric isomorphism between the fibre products of each of them and its dual abelian scheme. If the base is normal and the slope map is surjective we show that these two conditions are equivalent. Moreover in this situation we completely determ…
(1,d)-polarized abelian surfaces in P^(d-1) with two plane cubic curve fibrations lie in two elliptic P^2-scrolls. The union of these scrolls form a reducible Calabi-Yau 3-fold. In this paper we show that this occurs when d<10 and analyse the family of such surfaces and 3-folds in detail when d=6. In particular, the reducible Calabi-Yau 3-folds deform in that case to irreducible ones with non-normal singularities.
We analyze K3 surfaces admitting an elliptic fibration $E$ and a finite group $G$ of symplectic automorphisms preserving this elliptic fibration. We construct the quotient elliptic fibration $E/G$ comparing its properties to the ones of $E$. We show that if $E$ admits an $n$-torsion section, its quotient by the group of automorphisms induced by this section admits again an $n$-torsion section. Considering automorphisms coming from the base of the fibration, we can describe the Mordell--Weil lattice of a fibration described by Kloosterman. We give the isometries between lattices described by th…
Let X be an abelian scheme over a scheme B. The Fourier--Mukai transform gives an equivalence between the derived category of X and the derived category of the dual abelian scheme. We partially extend this to certain schemes X over B (which we call degenerate abelian schemes) whose generic fiber is an abelian variety, while special fibers are singular. Our main result provides a fully faithful functor from a twist of the derived category of Pic$^τ$(X/B) to the derived category of X. Here Pic$^τ$(X/B) is the algebraic space classifying fiberwise numerically trivial line bundles. Next, we show t…
Let $f:X@>>>\Bbb P^1$ be a fibered surface with fibers of genus g>1. If f is semistable and non isotrivial we prove that X of non negative Kodaira dimension implies that the number s of singular fibers is at least 5. Information about the nature of X if s=6,5 and g<6 is given. If f is any relatively minimal fibration we bound by below K_f^2, the bound depending on g and the Kodaira dimension of X, a classification of rational surfaces with minimal K_f^2 is given. Moreover, we prove several properties of positivity for the linear system K_X+F (F a fibre of f). Examples of a K3 surfaces admittin…
We consider fibrations by abelian surfaces and K3 surfaces over a one dimensional base that are Calabi-Yau and we obtain dual fibrations that are derived equivalent to the original fibration. Finally, we relate the problem to mirror symmetry.
We study the minimal complex surfaces of general type with $p_g=0$ and $K^2=7$ or 8 whose bicanonical map is not birational. In the paper 'The bicanonical map of surfaces with $p_g=0$ and $K^2\ge 7$' we have shown that if $S$ is such a surface, then the bicanonical map has degree 2. Here we describe precisely such surfaces showing that there is a fibration $f\colon S\to \pp^1$ such that: i) the general fibre $F$ of $f$ is a genus 3 hyperelliptic curve; ii) the involution induced by the bicanonical map of $S$ restricts to the hyperelliptic involution of $F$. Furthermore, if $K^2_S=8$, then $f$ …
SYZ mirror conjecture predicts that a Calabi-Yau manifold $X$ consists of a family of tori which are dual to a family of special lagrangian tori on the mirror dual manifold $\hat{X}$. Here we consider a fibration of polarized abelian varieties and we construct a dual one. Moreover we prove that they are equivalent at the level of derived categories.
Four-folds with trivial canonical bundles are divided into six classes according to their holonomy group. We consider examples that are fibred by abelian surfaces over the projective plane. We construct such fibrations in five of the six classes, and prove that there is no such fibration in the sixth class. We classify all such fibrations whose generic fibre is the Jacobian of a genus two curve.
We describe the minimal number of critical points and the minimal number $s$ of singular fibres for a non isotrivial fibration of a surface $S$ over a curve $B$ of genus $1$, constructing a fibration with $s=1$ and irreducible singular fibre with $4$ nodes. Then we consider the associated factorizations in the mapping class group and in the symplectic group. We describe explicitly which products of transvections on homologically independent and disjoint circles are a commutator in the Symplectic group $Sp (2g, \mathbb{Z})$.
We study holomorphic symplectic manifolds which are fibred by abelian varieties. This structure is a higher dimensional analogue of an elliptic fibration on a K3 surface. We investigate when a holomorphic symplectic manifold is fibred in this way, and are led to several natural conjectures. We then study the geometry of these fibrations. The expectation is that this point of view will prove useful in understanding holomorphic symplectic manifolds, and possibly lead to a classification.
For every fibration $f : X \to B$ with $X$ a compact Kähler manifold, $B$ a smooth projective curve, and a general fiber of $f$ an abelian variety, we prove that $f$ has an algebraic approximation.
Let $A$ be a non-isotrivial ordinary abelian surface over a global function field with good reduction everywhere. Suppose that $A$ does not have real multiplication by any real quadratic field with discriminant a multiple of $p$. We prove that there are infinitely many places modulo which $A$ is isogenous to the product of two elliptic curves.
We study the topology of Hitchin fibrations via abelian surfaces. We establish the P=W conjecture for genus $2$ curves and arbitrary rank. In higher genus and arbitrary rank, we prove that P=W holds for the subalgebra of cohomology generated by even tautological classes. Furthermore, we show that all tautological generators lie in the correct pieces of the perverse filtration as predicted by the P=W conjecture. In combination with recent work of Mellit, this reduces the full conjecture to the multiplicativity of the perverse filtration. Our main technique is to study the Hitchin fibration as a…
We are interested in studying the variation of the Hitchin fibration in moduli spaces of parabolic Higgs bundles, under the action of a ramified covering. Given a degree two map $π$ : Y $\rightarrow$ X between compact Riemann surfaces, we may pull back a Higgs bundle from X to Y , the lifted Higgs bundle tends to have many apparent singularities, then we perform a suitable birational transformation in order to eliminate them. This correspondence preserves the Hitchin fibrations and then its restriction to a general fiber gives a map between Abelian varieties. The aim of this paper is to descri…
The geometry of elliptic fibrations translates to the physics of gauge theories in F-theory. We systematically develop the dictionary between arithmetic structures on elliptic curves as well as desingularized elliptic fibrations and symmetries of gauge theories on a circle. We show that the Mordell-Weil group law matches integral large gauge transformations around the circle in Abelian gauge theories and explain the significance of Mordell-Weil torsion in this context. We also use Higgs transitions and circle large gauge transformations to introduce a group law for genus-one fibrations with mu…
Given a variety over a number field, are its rational points potentially dense, i.e., does there exist a finite extension over which rational points are Zariski dense? We study the question of potential density for symmetric products of surfaces. Contrary to the situation for curves, rational points are not necessarily potentially dense on a sufficiently high symmetric product. Our main result is that rational points are potentially dense for the Nth symmetric product of a K3 surface, where N is explicitly determined by the geometry of the surface. The basic construction is that for some N, th…
In this paper we describe the fundamental group-scheme of a proper variety fibered over an abelian variety with rationally connected fibers over an algebraically closed field. We use old and recent results for the Nori fundamental group-scheme, and of finite group-schemes in general to prove that the kernel of such a fibration is finite, and that the homotopy exact sequence holds in this case. As an application, we describe the fundamental group-schemes of certain proper varieties that are connected by curves or are related to them.
Nikulin has classified all finite abelian groups acting symplectically on a K3 surface and he has shown that the induced action on the K3 lattice $U^3\oplus E_8(-1)^2$ depends only on the group but not on the K3 surface. For all the groups in the list of Nikulin we compute the invariant sublattice and its orthogonal complement by using some special elliptic K3 surfaces.
The aim of this paper is to describe the geometry of the generic Kummer surface associated to a $(1,2)$-polarized abelian surface. We show that it is the double cover of a weak del Pezzo surface and that it inherits from the del Pezzo surface an elliptic fibration with twelve singular fibers of type $I_2.$
A vector bundle on a smooth projective variety, if it is generically generated by global sections, yields a rational map to a Grassmannian, called Kodaira map. We investigate the asymptotic behaviour of the Kodaira maps for the symmetric powers of a vector bundle, and we show that these maps stabilize to a map dominating all of them, as it happens for a line bundle via the Iitka fibration. Through this Iitaka-type construction, applied to the cotangent bundle, we give a new characterization of Abelian varieties.
Mumford constructed a family of abelian fourfolds with special stucture not characterized by endomorphism ring. Galluzzi showed that the weight 2 Hodge structure of such a variety decomposes into Hodge substructures via the action of Mumford-Tate group, one of which is of K3 type with Hodge number (1,7,1). We will compute the intersection form of such a Hodge structure and provide a canonical integral Hodge structure on this subspace. Furthermore, we shall show two applications of this invariant. Firstly, using the above formula we shall show that every K3 surface obtained in this way will adm…
We construct infinitely many non-isotrivial families of abelian varieties over given four punctured projective lines. These families lead to algebraic solutions of Painleve VI equation. Finally, based on a recent paper by Lin-Sheng-Wang, we prove a complete characterization for the locus of motivic Higgs bundles in the moduli space as fixed points of an ``additive'' self-map. This is a note based on the lecture given by the second named author on 04 Nov. 2022 at Tsinghua University.
We prove some new results on the arithmetic of abelian varieties over function fields of one variable over finitely generated (infinite) fields. Among other things, we introduce certain new natural objects `discrete Selmer groups' and `discrete Shafarevich-Tate groups', and prove that they are finitely generated $\Bbb Z$-modules. Further, we prove that in the isotrivial case, the discrete Shafarevich-Tate group vanishes and the discrete Selmer group coincides with the Mordell-Weil group. One of the key ingredients to prove these results is a new specialisation theorem à la Néron for first Galo…
Double planes branched in 6 lines give a famous example of K3 surfaces. Their moduli are well understood and related to abelian fourfolds of Weil type. We compare these two moduli interpretations and in particular divisors on the moduli spaces. On the K3 side, this is achieved with the help of elliptic fibrations. We also study the Kuga-Satake correspondence on these special divisors.
