By studying the theory of rational curves, we introduce a notion of rational simple connectedness for projective homogeneous spaces. As an application, we prove that over a function field of an algebraic surface, a projective homogeneous space admits a rational point if the elementary obstruction vanishes.
We prove a structure theorem for the Albanese maps of varieties with Q-linearly trivial log canonical divisors. Our start point is the action of a nonlinear algebraic group on a projective variety.
In this paper we complete the classification of the elliptic fibrations on K3 surfaces which admit a non-symplectic involution acting trivially on the Néron--Severi group. We use the geometric method introduced by Oguiso and moreover we provide a geometric construction of the fibrations classified. If the non-symplectic involution fixes at least one curve of genus 1, we relate all the elliptic fibrations on the K3 surface with either elliptic fibrations or generalized conic bundles on rational elliptic surfaces. This description allows us to write the Weierstrass equations of the elliptic fibr…
We consider threefold del Pezzo fibrations over a curve germ whose central fiber is non-rational. Under the additional assumption that the singularities of the total space are at worst ordinary double points, we apply a suitable base change and show that there is a 1-to-1 correpspondence between such fibrations and certain non-singular del Pezzo fibrations equipped with a cyclic group action.
A Kodaira fibration is a non-isotrivial fibration $f\colon S\rightarrow B$ from a smooth algebraic surface $S$ to a smooth algebraic curve $B$ such that all fibers are smooth algebraic curves of genus $g$. Such fibrations arise as complete curves inside the moduli space $\mathcal{M}_g$ of genus $g$ algebraic curves. We investigate here the possible connected monodromy groups of a Kodaira fibration in the case $g=3$ and classify which such groups can arise from a Kodaira fibration obtained as a general complete intersection curve inside a subvariety of $\mathcal{M}_3$ parametrizing curves whose…
Automorphism groups and Homogeneous fibrations on projective varieties with nef anticanonical divisors
Department of Mathematics, Southern University of Science and Technology(南方科技大学数学系);Department of Mathematical Sciences, Xi’an Jiaotong-Liverpool University(西交利物浦大学数学科学系)
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.
We complete the classification of smooth surfaces swept out by a 1-dimensional family of plane curves that do not form a fibration. As a consequence, we characterize manifolds swept out by a 1-dimensional family of hypersurfaces that do not form a fibration.
In this paper we look for necessary and sufficient conditions for a genus one fibration to have rational curves. We show that a projective variety with log terminal singularities that admits a relatively minimal genus one fibration $X\rightarrow B$ does contain vertical rational curves if and only if it not isomorphic to a finite étale quotient of a product $\tilde{B}\times E$ over $B$. Many sufficient conditions for the existence of rational curves in a variety that admits a genus one fibration are proved in this paper.
We give a systematic method for computation of Beilinson's regulator map on K_1 of a fibration of curves which has a totally degenerate semistable fiber.
We consider log deformations of affine surfaces with fibrations by the affine lines. Such a fibration is of affine type (resp. of complete type) if the base curve of the fibration is an affine curve (resp. a complete curve). The case of affine type is mainly treated in the article.
In this paper, we study the structure, deformations and the moduli spaces of complex projective surfaces admitting genus two fibrations over elliptic curves. We observe that, a surface admitting a smooth fibration as above is elliptic and we employ results on the moduli of polarized elliptic surfaces, to construct moduli spaces of these smooth fibrations. In the case of nonsmooth fibrations, we relate the moduli spaces to the Hurwitz schemes ${\cal H}(1,X(d),n)$ of morphisms of degree $n$ from elliptic curves to the modular curve $X(d)$, $d\geq 3$. Ultimately, we show that the moduli spaces in…
In the present paper, we study deformations of polar weighted homogeneous polynomials which are also polar weighted homogeneous polynomials. We describe a round handle decomposition of the Milnor fibration of a deformation of a polar weighted homogeneous polynomial concretely and give the number of round handles by the number of positive and negative components of the links of singularities appearing before and after the deformation. We also give a formula of characteristic polynomials of these singularities by using the decomposition of the monodromy of the Milnor fibration induced by a round…
The theorem referred to in the title is a technical result that is needed for the classification of elliptic and K3 fibrations birational to Fano 3-fold hypersurfaces in weighted projective space. We present a complete proof of the Curve Exclusion Theorem, which first appeared in the author's unpublished PhD thesis [Ry02] and has since been relied upon in solutions to many cases of the fibration classification problem. We give examples of these solutions and discuss them briefly.
We define a cone curve to be a reduced sextic space curve which lies on a quadric cone and does not go through the vertex. We classify families of bitangent planes of cone curves. The methods we apply can be used for any space curve with ADE singularities, though in this paper we concentrate on cone curves. An embedded complex projective surface which is adjoint to a degree one weak Del Pezzo surface contains families of minimal degree rational curves, which cannot be defined by the fibers of a map. Such families are called minimal non-fibration families. Families of bitangent planes of cone c…
We consider quadric surface fibrations over curves, defined over algebraically closed and finite fields. Our goal is to understand, in geometric terms, spaces of sections for such fibrations. We analyze varieties of maximal isotropic subspaces in the fibers as P^1-bundles over the discriminant double cover. When the P^1-bundle is suitably stable, we deduce effective estimates for the heights of sections over finite fields satisfying various approximation conditions. We also discuss the behavior of the spaces of sections as the base of the fibration acquires singularities.
Looking in positive characteristic for failures of the Bertini-Sard theorem, we determine, up to birational equivalence, the separable proper morphisms of smooth algebraic varieties in characteristic two, whose fibres are non-smooth curves of arithmetic genus two.
The aim of this paper is to study further the universal toric genus of compact homogeneous spaces and their homogeneous fibrations. We consider the homogeneous spaces with positive Euler characteristic. It is well known that such spaces carry many stable complex structures equivariant under the canonical action of the maximal torus $T^k$. As the torus action in this case has only isolated fixed points it is possible to effectively apply localization formula for the universal toric genus. Using this we prove that the famous topological results related to rigidity and multiplicativity of a Hirze…
(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.
A well known result of Miyaoka asserts that a complex projective manifold is uniruled if its cotangent bundle restricted to a general complete intersection curve is not nef. Using the Harder-Narasimhan filtration of the tangent bundle, it can moreover be shown that the choice of such a curve gives rise to a rationally connected foliation of the manifold. In this note we show that, conversely, a movable curve can be found so that the maximal rationally connected fibration of the manifold may be recovered as a term of the associated Harder-Narasimhan filtration of the tangent bundle.
Let Y->P^n be a flat family of reduced Gorenstein curves, such that the compactified relative Jacobian X=\bar{J}^d(Y/P^n) is a Lagrangian fibration. We prove that X is a Beauville-Mukai integrable system if n=3, 4, or 5, and the curves are irreducible and non-hyperelliptic. We also prove that X is a Beauville-Mukai system if n=3, d is odd, and the curves are canonically positive 2-connected hyperelliptic curves.
Arakelov-Parshin rigidity is concerned with varieties mapping rigidly to the moduli stack M_h of canonically polarized manifolds. Affirmative answer for any class of maps implies finiteness of the given class. This article studies Arakelov-Parshin rigidity on an open subspace of M_h, on the locus KF_h of iterated Kodaira fibrations. First, we prove rigidity for all complete curves mapping finitely onto KF_h. Then, for generic affine curves mapping into KF_h, rigidity is shown when deg h =2. The method used in the latter part is showing that the iterated Kodaira-Spencer map is injective.
The goal of this paper is to present a modified version (GML) of ML invariant which should take into account rulings over a projective base and allow further stratification of smooth affine rational surfaces. We provide a non-trivial example where GML invariant is computed for a smooth affine rational surface admitting no C-actions. We apply GML invariant to computation of ML invariant of some threefolds.
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 p…
We bound the slope of sweeping curves in the fourgonal locus of the moduli space of genus g algebraic curves. Our results follow from some Bogomolov-type inequalities for weakly positive rank two vector bundles on ruled surfaces.
We compute the supports of the perverse cohomology sheaves of the Hitchin fibration for $GL_n$ over the locus of reduced spectral curves. In contrast to the case of meromorphic Higgs fields we find additional supports at the loci of reducible spectral curves. Their contribution to the global cohomology is governed by a finite twist of Hitchin fibrations for Levi subgroups. The corresponding summands give non-trivial contributions to the cohomology of the moduli spaces for every $n \geq 3$. A key ingredient is a restriction result for intersection cohomology sheaves that allows us to compare th…
Let $f: X \to B$ be a relatively minimal fibration of maximal Albanese dimension from a variety $X$ of dimension $n \ge 2$ to a curve $B$ defined over an algebraically closed field of characteristic zero. We prove that $K_{X/B}^n \ge 2n! χ_f$, which was conjectured by Barja in [2]. Via the strategy outlined in [5], it also leads to a new proof of the Severi inequality for varieties of maximal Albanese dimension. Moreover, when the equality holds and $χ_f > 0$, we prove that the general fiber $F$ of $f$ has to satisfy the Severi equality that $K_F^{n-1} = 2(n-1)! χ(F, ω_F)$. We also prove some …
We obtain finiteness theorems for algebraic cycles of small codimension on quadric fibrations X over curves over perfect fields k. For example, if k is finitely generated over Q and the fibration has odd relative dimension at least 11, then CH^{i}(X) is finitely generated for i<=4.
In this paper, we proved that, for a semi-stable fibration of a proper smooth surface to a proper smooth curve over a filed of positive characteristic, if the p-rank of the generic fiber is 0, then the base change of the fibration by a sufficiently many iterative Frobenius morphism of the base curve violates the semi-positivity theorem. As an application, we suggest a statement on a distribution of p-ranks of reductions for a certain non-closed point in the moduli space over a number field.
We classify quartic del Pezzo surface fibrations over the projective line via numerical invariants, giving explicit examples for small values of the invariants. For generic such fibrations, we describe explicitly the geometry of spaces of sections to the fibration, and mappings to the intermediate Jacobian of the total space. We exhibit examples where these are birational, which has applications to arithmetic questions, especially over finite fields.
A theorem of Graber, Harris, and Starr states that a rationally connected fibration over a curve has a section. We study an analogous question in symplectic geometry. Namely, given a rationally connected fibration over a curve, can one find a section which gives a non-zero Gromov-Witten invariant? We observe that for any fibration, the existence of a section which gives a non-zero Gromov-Witten invariant only depends on the generic fiber, i.e. a variety defined over the function field of a curve. Some examples of rationally connected fibrations with this property are given, including all ratio…
We give a Kodaira-type classification of general singular fibers of a holomorphic Lagrangian fibration in Fujiki's class $\mathcal C$. Our approach is based on the study of the characteristic vector field of the discriminantal hypersurface, which naturally arises from the defining equation of the hypersurface via the symplectic form. As an application, we show that the characteristic foliation of the discriminantal hypersurface has algebraic leaves which are either rational curves or smooth elliptic curves.
In the present paper we consider fibrations $f: S \ra B$ of an algebraic surface onto a curve $B$, with general fibre a curve of genus $g$. Our main results are: 1) A structure theorem for such fibrations in the case $g=2$ 2) A structure theorem for such fibrations in the case $g=3$ and general fibre nonhyperelliptic 3) A theorem giving a complete description of the moduli space of minimal surfaces of general type with $ K^2_S = 3, p_g = q=1$, showing in particular that it has four unirational connected components 4) some other applications of the two structure theorems.
We consider the K3 surfaces that arise as double covers of the elliptic modular surface of level 5, $R_{5,5}$. Such surfaces have a natural elliptic fibration induced by the fibration on $R_{5,5}$. Moreover, they admit several other elliptic fibrations. We describe such fibrations in terms of linear systems of curves on $R_{5,5}$. This has a major advantage over other methods of classification of elliptic fibrations, namely, a simple algorithm that has as input equations of linear systems of curves in the projective plane yields a Weierstrass equation for each elliptic fibration. We deal in de…
Let G be a simple and simply connected complex linear algebraic group. In this paper, we discuss the generalization of the parabolic construction of holomorphic principal G-bundles over a smooth elliptic curve to the case of a singular curve of arithmetic genus one and to a fibration of Weierstrass cubics over a base B. Except for G of type E_8, the method gives a family of weighted projective spaces associated to a sum of line bundles over B. Working with the universal family of Weierstrass curves over affine two-space and its natural C^*-action, we determine the line bundles that arise in th…
To classify complex rational cuspidal curves $E\subseteq \mathbb{P}^2$ it remains to classify the ones with complement of log general type, i.e. the ones for which $κ(K_X+D)=2$, where $(X,D)$ is a log resolution of $(\mathbb{P}^2,E)$. It is conjectured that $κ(K_X+\frac{1}{2}D)=-\infty$ and hence $\mathbb{P}^2\setminus E$ is $\mathbb{C}^{**}$-fibered, where $\mathbb{C}^{**}=\mathbb{C}^1\setminus\{0,1\}$, or $-(K_X+\frac{1}{2}D)$ is ample on some minimal model of $(X,\frac{1}{2}D)$. Here we classify, up to a projective equivalence, those rational cuspidal curves for which the complement is $\ma…
In this short note, making use of the recent theory of noncommutative mixed motives, we prove that the Voevodsky's mixed motive of a quadric fibration over a smooth curve is Kimura-finite.
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.
We study sections of a Calabi-Yau threefold fibered over a curve by K3 surfaces. We show that there exist infinitely many isolated sections on certain K3 fibered Calabi-Yau threefolds and the subgroup of the Néron-Severi group generated by these sections is not finitely generated. This also gives examples of K3 surfaces over the function field F of a complex curve with Zariski dense F-rational points, whose geometric model is Calabi-Yau.
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.
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 $X$ be a del Pezzo surface over the function field of a complex curve. We study the behavior of rational points on $X$ leading to bounds on the counting function in Geometric Manin's Conjecture. A key tool is the Movable Bend and Break Lemma which yields an inductive approach to classifying relatively free sections for a del Pezzo fibration over a curve. Using this lemma we prove Geometric Manin's Conjecture for certain split del Pezzo surfaces of degree $\geq 2$ admitting a birational morphism to $\mathbb P^2$ over the ground field.
A new, simple method to approach enumerative questions about rational curves on rational surfaces is described. Applications include a short proof of Kontsevich's formula for plane curves and a the solution of the analogous problem for the Hirzebruch surface F_3.
We give a slope equality for fibered surfaces whose general fiber is a smooth plane curve. As a corollary, we prove a "strong" Durfee-type inequality for isolated hypersurface surface singularities, which implies Durfee's strong conjecture for such singularities with non-negative topological Euler number of the exceptional set of the minimal resolution.
Using deformation theory of rational curves, we prove a conjecture of Sommese on the extendability of morphisms from ample subvarieties when the morphism is a smooth (or mildly singular) fibration with rationally connected fibers. We apply this result in the context of Fano fibrations and prove a classification theorem for projective bundle and quadric fibration structures on ample subvarieties.