We prove that there are at most $(24-r_0)$ low-degree rational curves on high-degree models of K3 surfaces with at most Du Val singularities, where $r_0$ is the number of exceptional divisors on the minimal resolution. We also provide several existence results in the above setting (i.e. for rational curves on quasi-polarized K3 surfaces), which imply that for various values of $r_0$ our bound cannot be improved.
In this paper we investigate Fano manifolds $X$ whose Chern characters $ch_k(X)$ satisfy some positivity conditions. Our approach is via the study of polarized minimal families of rational curves $(H_x,L_x)$ through a general point $x\in X$. First we translate positivity properties of the Chern characters of $X$ into properties of the pair $(H_x,L_x)$. This allows us to classify polarized minimal families of rational curves associated to Fano manifolds $X$ satisfying $ch_2(X)\geq0$ and $ch_3(X)\geq0$. As a first application, we provide sufficient conditions for these manifolds to be covered by…
In this paper we prove that a smooth family of canonically polarized manifolds parametrized by a special (in the sense of Campana) quasi-projective variety is isotrivial.
We prove that the moduli space A_{11}^{lev} of (1,11) polarized abelian surfaces with level structure of canonical type is birational to Klein's cubic hypersurface: a^2b+b^2c+c^2d+d^2e+e^2a=0 in P^4. Therefore, A_{11}^{lev} is unirational but not rational, and there are no Gamma_{11}-cusp forms of weight 3. The same methods also provide an easy proof of the rationality of A_{9}^{lev}.
Let $\mathfrak B_g$ denote the moduli space of primitively polarized $K3$ surfaces $(S,H)$ of genus $g$ over $\mathbb C$. It is well-known that $\mathfrak B_g$ is irreducible and that there are only finitely many rational curves in $|H|$ for any primitively polarized $K3$ surface $(S,H)$. So we can ask the question of finding the monodromy group of such curves. The case of $g=2$ essentially follows from the results of Harris \cite{Ha} to be the full symmetric group $S_{324}$, here we solve the case $g=3$ and $4$.
In our previous papers, we investigated a lower bound for the second sectional geometric genus $g_{2}(X,L)$ of $n$-dimensional polarized manifolds $(X,L)$ and by using these, we studied the dimension of global sections of $K_{X}+tL$ with $t\geq 2$. In this paper, we consider the case where $(X,L)$ is a quasi-polarized manifold. First we will prove $g_{2}(X,L)\geq h^{1}(\mathcal{O}_{X})$ for the following cases: (a) $n=3$, $κ(X)=-\infty$ and $κ(K_{X}+L)\geq 0$. (b) $n\geq 3$ and $κ(X)\geq 0$. Moreover, by using this inequality, we will study $h^{0}(K_{X}+tL)$ for the case where $(X,L)$ is a qua…
We present a structure theorem for the moduli space R_7 of Prym curves of genus 7 as a projective bundle over the moduli space of 7-nodal rational curves. The existence of this parametrization implies the unirationality of R_7 and that of the moduli space of Nikulin surfaces of genus 7, as well as the rationality of the moduli space of Nikulin surfaces of genus 7 with a distinguished line. Using the results in genus 7, we then establish that R_8 is uniruled.
We study extremality properties of covering families of rational curves on projective varieties. Among others, we show that on a normal and Q-factorial projective variety of dimension at most 4, every covering and quasi-unsplit family of rational curves generates a geometric extremal ray of the Mori cone.
We construct quasi-projective moduli spaces of $K$-general lattice polarized irreducible holomorphic symplectic manifolds. Moreover, we study their Baily--Borel compactification and investigate a relation between one-dimensional boundary components and equivalence classes of rational Lagrangian fibrations defined on mirror manifolds.
We show that a real rational (over $\C$) surfaces are quasi-simple, i.e., that such a surface is determined up to deformation in the class of real surfaces by the topological type of its real structure.
Let X be a complex, rationally connected, projective manifold. We show that X admits a modification X' that contains a quasi-line, ie a smooth rational curve whose normal bundle is a direct sum of copies of O_{P^1}(1). For manifolds containing quasi-lines, a sufficient condition of rationality is exploited: There is a unique quasi-line from a given family passing through two general points. We define a numerical birational invariant, e(X), and prove that X is rational if and only if e(X)=1. If X is rational, there is a modification X' which is strongly-rational We prove that strongly-rational …
By means of analytic methods the quasi-projectivity of the moduli space of algebraically polarized varieties with a not necessarily reduced complex structure is proven including the case of non-uniruled polarized varieties.
Let $(X,L)$ be a quasi-polarized canonical Calabi-Yau threefold. In this note, we show that $\vert mL\vert$ is basepoint free for $m\geq 4$. Moreover, if the morphism $Φ_{\vert 4L\vert}$ is not birational onto its image and $h^0(X,L)\geq 2$, then $L^3=1$. As an application, if $Y$ is a $n$-dimensional Fano manifold such that $-K_Y=(n-3)H$ for some ample divisor $H$, then $\vert mH\vert$ is basepoint free for $m\geq 4$ and if the morphism $Φ_{\vert 4H\vert}$ is not birational onto its image, then $Y$ is either a weighted hypersurface of degree $10$ in the weighted projective space $\mathbb{P}(1…
In this paper, we study the moduli space of quasi-polarized complex K3 surfaces of degree 6 and 8 via geometric invariant theory. The general members in such moduli spaces are complete intersections in projective spaces and we have natural GIT constructions for the corresponding moduli spaces and we show that the K3 surfaces with at worst ADE singularities are GIT stable. We give a concrete description of boundary of the compactification of the degree 6 case via the Hilbert-Mumford criterion. We compute the Picard group via Noether-Lefschetz theory and discuss the connection to the Looijenga's…
This paper investigates the structure of the automorphism scheme of a smooth canonically polarized surface $X$ defined over an algebraically closed field of characteristic 2. In particular it is investigated when Aut(X) is not smooth. This is a situation that appears only in positive characteristic and it is closely related to the structure of the moduli stack of canonically polarized surfaces. Restrictions on certain numerical invariants of X are obtained in order for Aut(X) to be smooth or not and information is provided about the structure of the component of Aut(X) containing the identity.…
This paper investigates the geometry of a smooth canonically polarized surface $X$ defined over an algebraically closed field of characteristic $p>0$ in the case when the automorphism scheme of $X$ is not smooth. This is a situation that appears only in positive characteristic and it is closely related to the structure of the moduli stack of canonically polarized surfaces. Restrictions on certain numerical invariants of $X$ are obtained in order for Aut(X) to be smooth or not and information is provided about the structure of the component of Aut(X) containing the identity. In particular, it i…
Given d in IN, we prove that any polarized Enriques surface (over any field of characteristic different from 2 or with a smooth K3 cover) of degree greater than 12d^2 contains at most 12 rational curves of degree at most d. For d>2 we construct examples of Enriques surfaces of high degree that contain exactly 12 rational degree d curves.
The aim of the present paper is to prove the rationality of the universal family of polarized $ K3 $ surfaces of degree 14. This is achieved by identifying it with the moduli space of cubic fourfolds plus the data of a quartic scroll. The last moduli space is finally proved to be rational since it has a natural structure of $\mathbb P^n$-bundle over a $ k $-stably rational variety with $k \leq n$.
We study the groups of automorphisms of rational algebraic surfaces that admit a relatively minimal pencil of curves of arithmetic genus one over an algebraically closed field of arbitrary characteristic. In particular, we classify such surfaces that admit non-trivial automorphisms that act trivially on the Picard group. As an application, we classify classical Enriques surfaces in characteristic $2$ that admit non-trivial numerically trivial automorphisms.
We show that every smooth toric variety (and many other algebraic spaces as well) can be realized as a moduli space for smooth, projective, polarized varieties. Some of these are not quasi--projective. This contradicts a recent paper (Quasi--projectivity of moduli spaces of polarized varieties, Ann. of Math. 159 (2004) 597--639.).
If a smooth, geometrically rational surface over a finite field is not rational over that field, then over some finite extension of that field the Brauer group of the surface is nonzero. In particular such a surface is not stably rational. This is a special case of a general statement about geometrically rational surfaces which split over a cyclic extension of their field of definition.
A systematic study of the contributions at infinity for the cohomology of variations of polarized Hodge structures over quasicompact Kähler manifolds. Several isomorphisms between different cohomologies given.
We start by constructing a new root system for rational triple singularities and determine the number of roots for each rational triple singularity. Then we show that, for each root, we obtain a linear free divisor. So we obtain a new family of linear free divisors. This gives the converse part of an existing theorem which says, by using the quiver representation, that linear free divisors come from a tree. We prove that our construction is independent of the orientation on the rational triple trees. Furthermore, we deduce that linear free divisors defined by rational triple quivers satisfy th…
The moduli space of (1,7)-polarized abelian surfaces with a level structure was shown by Manolache and Schreyer to be rational with compactification a Fano 3-fold of genus 12 which is also a compactification of the variety of powersum presentations of the Klein quartic curve. In this paper the possible degenerations of the abelian surfaces are classified in terms of degenerations of powersum presentations. In particular, the surface degenerations into fourteen planes are recovered. These were independently discovered by Alfio Marini using degenerations of twisted cubic curves.
In this paper we study smooth complex projective polarized varieties (X,H) of dimension n \ge 2 which admit a dominating family V of rational curves of H-degree 3, such that two general points of X may be joined by a curve parametrized by V, and such that there is a covering family of rational curves of H-degree one. Our main result is that the Picard number of these manifolds is at most three, and that, if equality holds, (X,H) has an adjuction theoretic scroll structure over a smooth variety.
An endomorphism $f$ of a projective variety X is polarized (resp. quasi-polarized) if $f^*H$ is linearly equivalent to $qH$ for some ample (resp. nef and big) Cartier divisor $H$ and integer $q > 1$. First, we use cone analysis to show that a quasi-polarized endomorphism is always polarized, and the polarized property descends via any equivariant dominant rational map. Next, we show that a suitable maximal rationally connected fibration (MRC) can be made $f$-equivariant using a construction of N. Nakayama, that $f$ descends to a polarized endomorphism of the base Y of this MRC and that this Y …
We study qualitative aspects of the Welschinger-like $\mathbb Z$-valued count of real rational curves on primitively polarized real $K3$ surfaces. In particular, we prove that with respect to the degree of the polarization, at logarithmic scale, the rate of growth of the number of such real rational curves is, up to a constant factor, the rate of growth of the number of complex rational curves. We indicate a few instances when the lower bound for the number of real rational curves provided by our count is sharp. In addition, we exhibit various congruences between real and complex counts.
We describe a notion of lattice polarization for rational elliptic surfaces and weak del Pezzo surfaces, and describe the complex moduli of the former and the Kähler cone of the latter. We then propose a version of mirror symmetry relating these two objects, which should be thought of as a form of Fano-LG correspondence. Finally, we relate this notion to other forms of mirror symmetry, including Dolgachev-Nikulin-Pinkham mirror symmetry for lattice polarized K3 surfaces and the Gross-Siebert program.
Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective surface that maps to the moduli stack, we employ extension properties of logarithmic pluri-forms to establish a strong relationship between the moduli map and the minimal model program of the surface. As a result, we can describe the fibration induced by the moduli map quite explicitly. A refined affirmativ…
We study smooth complex projective polarized varieties $(X,H)$ of dimension $ n \ge 2$ which admit a dominating family $V$ of rational curves of $H$-degree $3$, such that two general points of $X$ may be joined by a curve parametrized by $V$ and which do not admit a covering family of lines (i.e. rational curves of $H$-degree one). We prove that such manifolds are obtained from RCC manifolds of Picard number one by blow-ups along smooth centers. If we further assume that $X$ is a Fano manifold, we obtain a stronger result, classifying all Fano RCC manifolds of Picard number $ρ_X \ge 3$
The main result is that a quasi-projective surface has negative log Kodaira dimension (i.e. no log pluricanonical sections) iff it is dominated by images of the affine line. This follows from our main intermediate result, that the smooth locus of a log Fano surface is rationally connected. We also give a classification of all but a bounded family of rank one log del Pezzo surfaces.
Consider the moduli functor of canonically polarized complex manifolds with Hilbert polynomial h, and let M_h be the corresponding coarse quasi-projective moduli scheme. We show that M_h is Brody hyperbolic in the following sense: Assume that for some quasi-projective variety U there exists a morphism U --> M_h, quasi-finite over its image, which is induced by a family f: V --> U, belonging to the moduli problem. Then all holomorphic maps from the complex plane to U are constant.
We prove that the moduli space X(1,7) of (1,7)-polarized abelian surfaces with canonical level structure is birational to the Fano 3-fold V22 of polar hexagons of the Klein quartic X(7). In particular X(1,7) is rational and the birational map to P^3 is defined over Q. As a byproduct we obtain explicitely the equations of the (1,7)-very-ample polarized abelian surfaces in P^6.
Let $X$ be a smooth projective surface over the complex number field and let $L$ be a nef-big divisor on $X$. Here we consider the following conjecture; If the Kodaira dimension $κ(X)\geq 0$, then $K_{X}L\geq 2q(X)-4$, where $q(X)$ is the irregularity of $X$. In this paper, we prove that this conjecture is true if (1) the case in which $κ(X)=0$ or 1, (2) the case in which $κ(X)=2$ and $h^{0}(L)\geq 2$, or (3) the case in which $κ(X)=2$, $X$ is minimal, $h^{0}(L)=1$, and $L$ satisfies some conditions.
In this paper, we study maps between moduli spaces of lattice-polarized K3 surfaces induced by sublattices of prime index. We show that these maps can be used to determine if a rational point of the moduli space belongs to the Noether-Lefschetz locus. As an application, we prove that the Bombieri-Lang conjecture implies non-density statements for the rational points in the Noether-Lefschetz locus, as predicted by a conjecture of Shafarevich.
Let $E$ be an ordinary elliptic curve over a finite field and $g$ be a positive integer. Under some technical assumptions, we give an algorithm to span the isomorphism classes of principally polarized abelian varieties in the isogeny class of $E^g$. The varieties are first described as hermitian lattices over (not necessarily maximal) quadratic orders and then geometrically in terms of their algebraic theta null point. We also show how to algebraically compute Siegel modular forms of even weight given as polynomials in the theta constants by a careful choice of an affine lift of the theta null…
Let $X$ be any rational surface. We construct a tilting bundle $T$ on $X$. Moreover, we can choose $T$ in such way that its endomorphism algebra is quasi-hereditary. In particular, the bounded derived category of coherent sheaves on $X$ is equivalent to the bounded derived category of finitely generated modules over a finite dimensional quasi-hereditary algebra $A$. The construction starts with a full exceptional sequence of line bundles on $X$ and uses universal extensions. If $X$ is any smooth projective variety with a full exceptional sequence of coherent sheaves (or vector bundles, or even…
Consider a smooth projective family of complex polarized manifolds with semi-ample canonical sheaf over a quasi-projective manifold $V$. When the associated moduli map $V\to P_h$ from the base to coarse moduli space is quasi-finite, we prove that the generalized big Picard theorem holds for the base manifold $V$: for any projective compactification $Y$ of $V$, any holomorphic map $f:Δ-\{0\}\to V$ from the punctured unit disk to $V$ extends to a holomorphic map of the unit disk $Δ$ into $Y$. This result generalizes our previous work on the Brody hyperbolicity of $V$ (i.e. there are no entire cu…
We investigate global properties of the mappings entering the description of symmetries of integrable spin and vertex models, by exploiting their nature of birational transformations of projective spaces. We give an algorithmic analysis of the structure of invariants of such mappings. We discuss some characteristic conditions for their (quasi)--integrability, and in particular its links with their singularities (in the 2--plane). Finally, we describe some of their properties {\it qua\/} dynamical systems, making contact with Arnol'd's notion of complexity, and exemplify remarkable behaviours.
The space $D$ of Hodge structures on a fixed polarized lattice is known as Griffiths period domain and its quotient by the isometry group of the lattice is the moduli of polarized Hodge structures of a fixed type. When $D$ is a Hermition symmetric domain then we have automorphic forms on $D$, which according to Baily-Borel theorem, they give an algebraic structure to the mentioned moduli space. In this article we slightly modify this picture by considering the space $U$ of polarized lattices in a fixed complex vector space with a fixed Hodge filtration and polarization. It turns out that the i…
