The paper is a second step in the study of $\overline{M}_{0,n}$ started in arXiv:1006.0987 [math.AG]. We study fiber type morphisms of this moduli space via Kapranov's beautiful description. Our final goal is to understand if any dominant morphism $f: \overline{M}_{0,n} \to X$ with positive dimensional fibers factors through forgetful morphisms. We prove that this is true if either $n \leq 7$ or $\rm {dim} X \leq 2$ or the rational map induced on $P^{n-3}$ has linear general fibers. Along the way we give examples of forgetful morphisms whose fibers are connected curves of arbitrarily high positive genus, for $n>>0$.
We determine the $\ell$-adic étale cohomology and the eigenvalues of the geometric Frobenius for the moduli stack $\mathcal{L}_{1,12n} := \mathrm{Hom}_{n}(\mathbb{P}^1, \overline{\mathcal{M}}_{1,1})$ of stable elliptic fibrations over $\mathbb{P}^{1}$ with $12n$ nodal singular fibers and a marked Weierstrass section over $\overline{\mathbb{F}}_q$ with $\mathrm{char}(\overline{\mathbb{F}}_q) \neq 2,3$.
We introduce the $2$-nodal spherical deformation of certain singular fibers of genus $2$ fibrations, and use such deformations to construct various examples of simply connected minimal symplectic $4$-manifolds with small topology. More specifically, we construct new exotic minimal symplectic $4$-manifolds homeomorphic but not diffeomorphic to ${\mathbb{CP}}^{2}\#6({\overline{\mathbb{CP}}^{2}})$, ${\mathbb{CP}}^{2}\#7({\overline{\mathbb{CP}}^{2}})$, and $3{\mathbb{CP}}^{2}\#k({\overline{\mathbb{CP}}^{2}})$ for $k=16, 17, 18, 19$ using combinations of such deformations, symplectic blowups, and (…
In this paper, we prove that for a fibration $f:X\to Z$ from a smooth projective 3-fold to a smooth projective curve, over an algebraically closed field $k$ with $\mathrm{char} k =p >5$, if the geometric generic fiber $X_{\overlineη}$ is smooth, then subadditivity of Kodaira dimensions holds, i.e. $$κ(X)\geκ(X_{\overlineη})+κ(Z).$$
Let $X$ be a hyperkähler variety admitting a Lagrangian fibration. Beauville's "splitting property" conjecture predicts that fibres of the Lagrangian fibration should have a particular behaviour in the Chow ring of $X$. We study this conjectural behaviour for two very classical examples of Lagrangian fibrations.
We study the quasimap invariants of elliptic and K3 fibrations. Oberdieck and Pixton conjectured that the Gromov-Witten potentials of elliptic fibrations are quasi-modular forms. Analogously, we propose similar conjecture for the quasimap potentials of elliptic fibrations. We also conjecture some finite generation properties of quasimap potentials of K3 fibrations. Via wall-crossing conjecture, this will imply some quasi-modularity of the Gromov-Witten potentials of K3 fibrations. We provide some evidences for our conjectures through several examples. The method here can be further generalized…
We will prove that given a genus-2 fibration $f: X \rightarrow C$ on a smooth projective surface $X$ such that $b_1(X)=b_1(C)+2$, the fundamental group of $X$ is almost isomorphic to $π_1(C) \times π_1(E)$, where $E$ is an elliptic curve. We will also verify the Shafarevich Conjecture on holomorphic convexity of the universal cover of surfaces $X$ with genus-2 fibration $X\rightarrow C$ such that $b_1(X)>b_1(C)$.
A complete classification is presented of elliptic and K3 fibrations birational to certain mildly singular complex Fano 3-folds. Detailed proofs are given for one example case, namely that of a general hypersurface X of degree 30 in weighted P^4 with weights 1,4,5,6,15; but our methods apply more generally. For constructing birational maps from X to elliptic and K3 fibrations we use Kawamata blowups and Mori theory to compute anticanonical rings; to exclude other possible fibrations we make a close examination of the strictly canonical singularities of (X,(1/n)H), where H is the linear system …
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.
We study the polynomial fibration induced by the equation of the Klein surfaces obtained as quotient of finite linear groups of automorphisms of the plane; this surfaces are of type A, D, E, corresponding to their singularities. The generic fibre of the polynomial fibration is a surface defined over the function field of the line. We proved that it is not rational in cases D, E, although it is obviously rational in the case A. The group of automorphisms of the Klein surfaces is also described, and is linear and of finite dimension in cases D, E; this result being obviously false in case A.
We consider (holomorphic) Lagrangian fibrations X->P^n that satisfy some natural hypotheses. We prove that there are only finitely many such Lagrangian fibrations up to deformation.
This paper is concerned with the construction of extremal elliptic K3 surfaces. It gives a complete treatment of those fibrations which can be derived from rational elliptic surfaces by easy manipulations of their Weierstrass equations. In particular, this approach enables us to find explicit equations for 38 semi-stable extremal elliptic K3 fibrations, 32 of which are indeed defined over the rationals. They are realized as pull-back of non-semi-stable extremal rational elliptic surfaces via base change. This is related to work of J. Top and N. Yui which exhibited the same procedure for the se…
Even if there are too many elliptic fibrations to investigate and describe on the singular $K3$ surface $Y_{10}$ of discriminant 72 and belonging to the Apéry-Fermi pencil $(Y_k)$, we find on it many interesting properties. For example some of its elliptic fibrations with 3-torsion section induce by 3-isogeny either an elliptic fibration of $Y_2$, the unique $K3$ surface of discriminant 8, or an elliptic fibration of other $K3$ surfaces of discriminant 72.
We prove that a terminal three-dimensional del Pezzo fibration has no fibers of multiplicity $\ge 6$. We also obtain a rough classification possible configurations of singular points on multiple fibers and give some examples.
Let X be a smooth, complex Fano variety. For every prime divisor D in X, we set c(D):=dim ker(r:H^2(X,R)->H^2(D,R)), where r is the natural restriction map, and we define an invariant of X as c_X:=max{c(D)|D is a prime divisor in X}. In a previous paper we showed that c_X<9, and that if c_X>2, then either X is a product, or X has a flat fibration in Del Pezzo surfaces. In this paper we study the case c_X=2. We show that up to a birational modification given by a sequence of flips, X has a conic bundle structure, or an equidimensional fibration in Del Pezzo surfaces. We also show a weaker prope…
Guillet and Soulé have shown that, for a fibration $π: Y \to X$ with fibre $Z$, locally trivial in the Zariski topology, we have a decomposition \[ [Y] = [X] \cdot [Z], \] where $[\cdot]$ denotes a class in the Grothendieck group $K_{0}(\mathcal{M}_{Rat}(k))$ associated to the category of (pure effective) Chow motives $\mathcal{M}_{Rat}(k)$ for a field $k$. By assuming some additional properties for the fibre $Z$, we construct an explicit isomorphism $h(Y) \cong h(X) \otimes h(Z)$ in the category $\mathcal{M}_{Rat}(k)$, and we use it to prove, for this type of fibrations, some conjectures diss…
We formulate some precise conjectures concerning the existence and structure of supersymmetric T3 fibrations of Calabi-Yau threefolds, and describe how these conjectural fibrations would give rise to the Strominger-Yau-Zaslow version of mirror symmetry.
This paper has been withdrawn. A completely rewritten new version will be soon submitted. In order to obtain the inequality $6(g-1) \le K_f^2$ some additional conditions must be imposed on the fibration, involving the number on certain exceptional curves.
We find a characterization for Fano 4-folds $X$ with Lefschetz defect $δ_{X}=3$: besides the product of two del Pezzo surfaces, they correspond to varieties admitting a conic bundle structure $f\colon X\to Y$ with $ρ_{X}-ρ_{Y}=3$. Moreover, we observe that all of these varieties are rational. We give the list of all possible targets of such contractions. Combining our results with the classification of toric Fano $4$-folds due to Batyrev and Sato we provide explicit examples of Fano conic bundles from toric $4$-folds with $δ_{X}=3$.
We discuss the geometry of the genus one fibrations associated to an elliptic fibration on a K3 surface. We show that the two-torsion subgroup of the Brauer group of a general elliptic fibration is naturally isomorphic to the two-torsion of the Jacobian of a curve associated to the fibration. We remark that this is related to Recillas' trigonal construction. Finally we discuss the two-torsion in the Brauer group of a general K3 surface with a polarisation of degree two.
We prove that the perverse Leray filtration for the Hitchin morphism is locally constant in families, thus providing some evidence towards the validity of the $P=W$ conjecture due to de Cataldo, Hausel and Migliorini in non Abelian Hodge theory.
For a number field $K$, an algebraic variety $X/K$ is said to have the Hilbert Property if $X(K)$ is not thin. We are going to describe some examples of algebraic varieties, for which the Hilbert Property is a new result. The first class of examples is that of smooth cubic hypersurfaces with a $K$-rational point in $\mathbb{P}_n/K$, for $n \geq 3$. These fall in the class of unirational varieties, for which the Hilbert Property was conjectured by Colliot-Thélène and Sansuc. We then provide a sufficient condition for which a surface endowed with multiple elliptic fibrations has the Hilbert Prop…
Polarized rational surfaces $(X, \mathcal L)$ of sectional genus two ruled in conics are studied. When they are not minimal, they are described as the blow-up of $\mathbb F_1$ at some points lying on distinct fibers. Ampleness and very ampleness of $\mathcal L$ are studied in terms of their location. When $\mathcal L$ is very ample and there is a line contained in $X$ and transverse to the fibers, the conic fibrations $(X, \mathcal L)$ are classified and a related property concerned with the inflectional locus is discussed.
We show that the image of a dominant meromorphic map from an irreducible compact Calabi-Yau manifold $X$ whose general fiber is of dimension strictly between $0$ and $\dim X$ is rationally connected. Using this result, we construct for any hyper-Kähler manifold $X$ admitting a Lagrangian fibration a Lagrangian constant cycle subvariety $Σ_H$ in $X$ which depends on a divisor class $H$ whose restriction to some smooth Lagrangian fiber is ample. If $\dim X = 4$, we also show that up to a scalar multiple, the class of a zero-cycle supported on $Σ_H$ in $\mathrm{CH}_0(X)$ depend neither on $H$ nor…
We prove some results on the fibers and images of rational maps from a hyper-Kähler manifold. We study in particular the minimal genus of fibers of a fibration into curves. The last section of this paper is devoted to the study of the rational map defined by a linear system on a hyper-Kähler fourfold satisfying numerical conditions similar to those considered by O'Grady in his study of fourfolds numerically equivalent to $K3^{[2]}$. We extend his results to this more general context.
We consider the problem of counting the number of varieties in a family over $\mathbb{Q}$ with a rational point. We obtain lower bounds for this counting problem for some families over $\mathbb{P}^1$, even if the Hasse principle fails. We also obtain sharp results for some multinorm equations and for specialisations of certain Brauer group elements on higher dimensional projective spaces, where we answer some cases of a question of Serre. Our techniques come from arithmetic geometry and additive combinatorics.
In this talk we discuss the description of the moduli space of principal G-bundles on an elliptic fibration X-->S in terms of cameral covers and their distinguished Prym varieties. We emphasize the close relationship between this problem and the integrability of Hitchin's system and its generalizations. The discussion roughly parallels that of [D2], but additional examples are included and some important steps of the argument are illustrated. Some of the applications to heterotic/F-theory duality were described in the accompanying ICMP talk (hep-th/9802093).
We show that some of centeral fibers of degenerations of hyperelliptic curves are realized as those trigonal curves. In particular, any hyperelliptic curve can be the central fiber of a degeneration of trigonal curves.
In this survey, we remind some fibrations structure theorems (also called Milnor's fibrations) recently proved in the real and complex case, in the local and global settings. We give several Poincaré-Hopf type formulae which relates the Euler-Poincaré characteristic of these fibers (also called Milnor's fibers) and indices (topological degree) of appropriated vector fields defined on spheres of radii small or big enough.
A question of Griffiths-Schmid asks when the monodromy group of an algebraic family of complex varieties is arithmetic. We resolve this in the affirmative for the class of algebraic surfaces known as Atiyah-Kodaira manifolds, which have base and fibers equal to complete algebraic curves. Our methods are topological in nature and involve an analysis of the "geometric" monodromy, valued in the mapping class group of the fiber.
In this article we obtain a result about the uniqueness of factorization in terms of conjugates of the matrix $U=(\xymatrix{1 & 1 0 & 1})$, of some matrices representing the conjugacy classes of those elements of $SL(2,Z)$ arising as the monodromy around a singular fiber in an elliptic fibration (i.e. those matrices that appear in Kodaira's list).
We argue that M-theory compactified on an arbitrary genus-one fibration, that is, an elliptic fibration which need not have a section, always has an F-theory limit when the area of the genus-one fiber approaches zero. Such genus-one fibrations can be easily constructed as toric hypersurfaces, and various $SU(5)\times U(1)^n$ and $E_6$ models are presented as examples. To each genus-one fibration one can associate a $τ$-function on the base as well as an $SL(2,\mathbb{Z})$ representation which together define the IIB axio-dilaton and 7-brane content of the theory. The set of genus-one fibration…
Kodaira's classification of singular fibers in elliptic fibrations and its translation into the language of monodromies and Lefschetz fibrations has been a boon to the study of 4-manifolds. In this article, we begin the work of translating between singular fibers of genus 2 families of algebraic curves and the positive Dehn twist factorizations of Lefschetz fibrations for a certain subset of the singularities described by Namikawa and Ueno in the 70s. We look at four families of hypersurface singularities in $\mathbb{C}^3$. Each hypersurface comes equipped with a fibration by genus 2 algebraic…
