We describe a new method of constructing rational surfaces with given invariants in P^4 and present a family of degree 11 rational surfaces of sectional genus 11 with 2 six-secants that we found with this method.
We study Fano manifolds $X$ admitting an unsplit dominating family of rational curves and we prove that the Generalized Mukai Conjecture holds if $X$ has pseudoindex $i_X = (\dim X)/3$ or dimension $\dim X=6$. We also show that this conjecture is true for all Fano manifolds with $i_X > (\dim X)/3$.
We study families of rational curves on an algebraic variety satisfying incidence conditions. We prove an analogue of bend-and-break: that is, we show that under suitable conditions, such a family must contain reducibles. In the case of curves in $¶^n$ incident to certain complete intersections, we prove the family is irreducible.
We prove that a complete family of linearly non-degenerate rational curves of degree $e > 2$ in $\mathbb{P}^n$ has at most $n-1$ moduli. For $e = 2$ we prove that such a family has at most $n$ moduli. It is unknown whether or not this is the best possible result. The general method involves exhibiting a map from the base of a family $X$ to the Grassmaninian of $e$-planes in $\mathbb{P}^n$ and analyzing the resulting map on cohomology.
We prove that in a family of projective threefolds defined over an algebraically closed field, the locus of rational fibers is a countable union of closed subsets of the locus of separably rationally connected fibers. When the ground field has characteristic zero, this implies that the locus of rational fibers in a smooth family of projective threefolds is the union of at most countably many closed subfamilies.
We show that if a family of complex varieties over a base B admits a section when restricted to a very general curve in B, then the family must contain a subfamily of rationally connected varieties dominating B. As an application, we deduce the existence of one parameter families of Enriques surfaces with no section.
We construct a concrete example of a 1-parameter family of smooth projective geometrically integral varieties over an open subscheme of P^1_Q such that there is exactly one rational fiber with no rational points. This makes explicit a construction of Poonen.
We discuss the strong rational connectedness of smooth rationally connected surfaces. We prove in lots of cases, including the smooth locus of a log del Pezzo surface, the rational connectedness indeed implies the strong rational conectedness. This confirms a conjecture due to Hassett and Tschinkel in \cite{ht08}.
Consider the scheme parametrizing non-constant morphisms from a fixed projective curve to a projective surface. There is a rational map between this scheme and the Chow variety of $1$-cycles on the surface. We prove that, if the curve is non-singular, then this rational map is a morphism. As a consequence, we obtain that, if the surface is rational and we fix a divisor class containing a non-singular rational curve, then the scheme parametrizing rational curves on this class is irreducible. Further, if the class has non-negative self-intersection, then the scheme of rational curves has expecte…
In this paper, we show that the Bäcklund transformations of Painlevé equations come from birational maps of rational surfaces constructed by Okamoto as the spaces of initial conditions. The simultaneous resolutions of rational double points of the families of rational surfaces give rise to flops which are origins of symmetry groups of Painlevé equation. Moreover we point out that Kodaira--Spencer theory of deformations of rational surfaces explains a geomrtric meaning of Painlevé equations.
We consider K3 surfaces which are double cover of rational elliptic surfaces. The former are endowed with a natural elliptic fibration, which is induced by the latter. There are also other elliptic fibrations on such K3 surfaces, which are necessarily induced by special linear systems on the rational elliptic surfaces. We describe these linear systems. In particular, we observe that every conic bundle on the rational surface induces a genus 1 fibration on the K3 surface and we classify the singular fibers of the genus 1 fibration on the K3 surface it terms of singular fibers and special curves…
We proved the existence of rational curves in every linear system on a general K3 surface and that all rational curves in the hyperplane class are nodal on a general K3 surface of small genus.
We classify all complex surfaces with quotient singularities that do not contain any smooth rational curves, under the assumption that the canonical divisor of the surface is not pseudo-effective. As a corollary we show that if $X$ is a log del Pezzo surface such that for every closed point $p\in X$, there is a smooth curve (locally analytically) passing through $p$, then $X$ contains at least one smooth rational curve.
We discuss the rational points on del Pezzo surface of degree 1 and 2 over any finite field $\mathbb F_q$, and give out the explicit equations of del Pezzo surfaces that have unique rational point.
We prove that the Kawamata-Viehweg vanishing theorem holds on rational surfaces in positive characteristic by means of the lifting property to W_2(k) of certain log pairs on smooth rational surfaces. As a corollary, the Kawamata-Viehweg vanishing theorem holds on log del Pezzo surfaces in positive characteristic.
We classify Galois actions on Picard lattices of del Pezzo surfaces of degrees 1,2, and 3 giving rise to minimal surfaces with no cohomological obstructions to stable rationality.
In this paper, we compare the moduli spaces of rank-3 vector bundles stable with respect to different ample divisors over rational ruled surfaces. We also discuss the irreducibility, unirationality, and rationality of these moduli spaces.
We consider the problem of counting the number of varieties in a family over a number field which contain a rational point. In particular, for products of Brauer-Severi varieties and closely related counting functions associated to Brauer group elements. Using harmonic analysis on toric varieties, we provide a positive answer to a question of Serre on such counting functions in some cases. We also formulate some conjectures on generalisations of Serre's problem.
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.
We show that over any algebraically closed field of positive characteristic, there exists a smooth rational surface which violates Kawamata-Viehweg vanishing.
We define a categorical birational invariant for minimal geometrically rational surfaces with a conic bundle structure over a perfect field via components of a natural semiorthogonal decomposition. Together with the similar known result on del Pezzo surfaces, this provides a categorical birational invariant for geometrically rational surfaces.
We study the dominant rational maps from a general surface in P^{3} to surfaces of general type. We prove restrictions on the target surfaces, and special properties of the rational maps. We show that for a small degree the general surface has no such map. Moreover a slight improvement of a result of Catanese, on the number of moduli of a surface of general type, is also obtained.
We classify webs of minimal degree rational curves on surfaces and give a criterion for webs being hexagonal. In addition, we classify Neron-Severi lattices of real weak del Pezzo surfaces. These two classifications are related to root subsystems of E8.
We give explicit blowups of the projective plane in positive characteristic that contain smooth rational curves of arbitrarily negative self-intersection, showing that the Bounded Negativity Conjecture fails even for rational surfaces in positive characteristic.
Let X be a smooth complex projective surface. We prove that for any sufficiently big m there exists a rational dominant map f from X into a complex rational ruled surface Y, such that f is generically finite of degree m and has monodromy the alternating group Am.
Given a curve C on a projective nonsingular rational surface S, over an algebraically closed field of characteristic zero, we are interested in the set Omega_C of linear systems Lambda on S satisfying C is in Lambda, dim Lambda > 0, and the general member of Lambda is a rational curve. The main result of the paper gives a complete description of Omega_C and, in particular, characterizes the curves C for which Omega_C is non empty.
We classify, up to some lattice-theoretic equivalence, all possible configurations of rational double points that can appear on a surface whose minimal resolution is a complex Enriques surface.
For any positive integer $r$, we construct a smooth complex projective rational surface which has at least $r$ real forms not isomorphic over $\mathbb{R}$.
The ruled surfaces, i.e., surfaces generated by one parametric set of lines, are widely used in the~field of applied geometry. An~isophote on a surface is a curve consisting of surface points whose normals form a constant angle with some fixed vector. Choosing an angle equal to $π/2$ we obtain a special instance of a~isophote -- the so called contour curve. While contours on rational ruled surfaces are rational curves, this is no longer true for the isophotes. Hence we will provide a formula for their genus. Moreover we will show that the only surfaces with a~rational generic contour are just …
A general strategy is given for the classification of graphs of rational surface singularities. For each maximal rational double point configuration we investigate the possible multiplicities in the fundamental cycle. We classify completely certain types of graphs. This allows to extend the classification of rational singularities to multiplicity 8. We also discuss the complexity of rational resolution graphs.
We develop a mixed-characteristic version of the Mori-Mukai technique for producing rational curves on K3 surfaces. We reduce modulo p, produce rational curves on the resulting K3 surface over a finite field, and lift to characteristic zero. As an application, we prove that all complex K3 surfaces with Picard group generated by a class of degree two have an infinite number of rational curves.
Comessatti proved that the set of real points of a rational real algebraic surface is either a nonorientable surface, or the two-sphere, or the torus. Conversely, it is easy to see that all of these surfaces admit a rational real algebraic model. We prove that they admit exactly one rational real algebraic model. This was known earlier only for the two-sphere, torus, projective plane and the Klein bottle.
We prove that the moduli spaces of K3 surfaces with non-symplectic involution are rational for four deformation types. With the previous results, this establishes the rationality of those moduli spaces except two classical cases.
A curve on a projective variety is called movable if it belongs to an algebraic family of curves covering the variety. We consider when the cone of movable curves can be characterized without existence statements of covering families by studying the complete intersection cone on a family of blow-ups of complex projective space, including the moduli space of stable six-pointed rational curves, $\bar{M}_{0,6}$, and the permutohedral or Losev-Manin moduli space of four-pointed rational curves. Our main result is that the movable and complete intersection cones coincide for the toric members of th…
We show that the number of generators of the n-th cotangent cohomology group (n >=2) is the same for all rational surface singularities Y. For a large class of rational surface singularities, including quotient singularities, this number is also the dimension. For them we obtain an explicit formula for the corresponding Poincare series.
We investigate configurations of rational double points with the total Milnor number 21 on supersingular $K3$ surfaces. The complete list of possible configurations is given. As an application, we also give the complete list of extremal (quasi-)elliptic fibrations on supersingular $K3$ surfaces.
We discuss some relations of moduli of sheaves on rational surfaces by using universal extensions. These are a generalization of Maruyama's method to construct Uhlenbeck compactification of moduli of vector bundles.
The purpose of this article is to shed light on the question of how many and what kind of cusps a rational cuspidal curve on a Hirzebruch surface can have. We use birational transformations to construct rational cuspidal curves with four cusps on the Hirzebruch surfaces and find associated results for these curves.
We give the first evidence for a conjecture that a general, index-one, Fano hypersurface is not unirational: (i) a general point of the hypersurface is contained in no rational surface ruled, roughly, by low-degree rational curves, and (ii) a general point is contained in no image of a Del Pezzo surface.
In this paper, we derive the family switching formula of -n two-sphere fiber bundle embedded in a smooth four-manifold fiber bundle. In the smooth category, it is a partial generalization of Fintushel-Stern's argument for four-manifolds. We also derive an algebraic analogue of the family switching formula, allowing the P^1 fibration to carry singular fibers. At the end, we apply the idea of switching to compare the canonical algebraic Kuranishi models of different classes on the so-called "universal family".
We prove that the redundant blow-up preserves the finite generation of the Cox ring of a rational surface under a suitable assumption, and we study the birational structure of Mori dream rational surfaces via redundant blow-ups. It turns out that the redundant blow-up completely characterizes birational morphisms of Mori dream rational surfaces with anticanonical Iitaka dimension $0$. As an application, we construct new Mori dream rational surfaces with anticanonical Iitaka dimension $0$ and $-\infty$ of arbitrarily large Picard number.
Let X be a smooth rational surface. We calculate a DG quiver of a full exceptional collection of line bundles on X obtained by an augmentation from a strong exceptional collection on the minimal model of X. In particular, we calculate canonical DG algebras of smooth toric surfaces.
We construct a smooth complex projective rational surface with infinitely many mutually non-isomorphic real forms. This gives the first definite answer to a long standing open question if a smooth complex projective rational surface has only finitely many non-isomorphic real forms or not.