It is proved that a smooth rational surface in projective four-space, which is ruled by cubics or quartics has degree at most 12. It is also proved that a smooth rational surface in projective four-space which is the image of Fn by a linear system with "simple base points" (see text) has degree at most 12.
We study rational curves on general Fano hypersurfaces in projective space, mostly by degenerating the hypersurface along with its ambient projective space to reducible varieties. We prove results on existence of low-degree rational curves with balanced normal bundle, and reprove some results on irreducibility of spaces of rational curves of low degree.
We give a classification of embedded smooth projective varieties swept out by rational homogeneous varieties whose Picard number and codimension are one.
Answering a problem raised by Lazarsfeld, Hwang and Mok proved that a surjective holomorphic map from a rational homogeneous space of Picard number 1 onto projective manifold different from projective space must be a biholomorphism. THe aim of this paper is to generalized this result to irreducible rational homogeneous space of higher Picard number.
We prove the irredcibility (and the rational connectedness) of the moduli spaces of (free) morphisms from a projective line to a successive blowing-up of a product of projective spaces if a suitable numerical condition on morphisms is provided (and also if all centers of the blowing-up are rationally connected).
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.
We study global deformations of certain projective bundles over projective spaces. We show that any projective global deformation of a projective bundle over $\bP^1$ carries the structure of a projective bundle over some projective space. Furthermore, we construct examples in arbitrary dimension $\ge 3$ of almost homogeneous Fano projective bundles over $\bP^2$ which can be globally deformed to non-almost homogeneous manifolds.
The aim of this paper is to present two different constructions of smooth rational surfaces in projective fourspace with degree 12 and sectional genus 13. In particular, we establish the existences of five different families of smooth rational surfaces in projective fourspace with the prescribed invariants.
We shortly describe the algorithms behind some of the functions provided by the Macaulay2 package MultiprojectiveVarieties, a package for multi-projective varieties and rational maps between them.
We consider possibly singular rational projective k*-surfaces and provide an explicit description of the unit component of the automorphism group in terms of isotropy group orders and intersection numbers of suitable invariant curves. As an application, we characterize the almost homogeneous rational projective k*-surfaces and we specify the two-dimensional groups acting almost transitively as well as the corresponding homogeneous spaces.
We generalize results by Wakabayashi and Orevkov about rational cuspidal curves on the projective plane to that on $\mathbb{Q}$-homology projective planes. It turns out that the result is exactly the same as the projective plane case under suitable assumptions. We also provide examples which demonstrate sharpness of the results. The ambient surface is singular in these examples.
A normal projective complex surface is called a rational homology projective plane if it has the same Betti numbers with the complex projective plane $\mathbb{C}\mathbb{P}^2$. It is known that a rational homology projective plane with quotient singularities has at most 5 singular points. So far all known examples have at most 4 singular points. In this paper, we prove that a rational homology projective plane $S$ with quotient singularities such that $K_S$ is nef has at most 4 singular points except one case. The exceptional case comes from Enriques surfaces with a configuration of 9 smooth ra…
We construct rational projective 4-dimensional varieties with the property that certain Lawson homology groups tensored with Q are infinite dimensional Q-vector spaces. More generally, each pair of integers p and k, with k\geq 0, p>0, we find a projective variety Y, such that L_pH_{2p+k}(Y) is infinitely generated. We also construct two singular rational projective 3-dimensional varieties Y and Y' with the same homeomorphism type but different Lawson homology groups, specifically L_1H_3(Y) is not isomorphic to L_1H_3(Y')even up to torsion.
We prove the rationality and irreducibility of the moduli space of---what we call---the endomorphism-general instanton vector bundles of arbitrary rank on the projective space. In particular, we deduce the rationality of the moduli spaces of rank-two mathematical instantons. This problem was first studied by Hartshorne, Hirschowitz-Narasimhan in the late 1970s, and it has been reiterated within the framework of the ICM 2018.
We determine the splitting (isomorphism) type of the normal bundle of a generic genus-0 curve with 1 or 2 components in any projective space, as well as the (sometimes nontrivial) way the bundle deforms locally with a general deformation of the curve. We deduce an enumerative formula for divisorial loci of smooth rational curves whose normal bundle is of non-generic splitting type.
The space of smooth rational curves of degree $d$ in a projective variety $X$ has compactifications by taking closures in the Hilbert scheme, the moduli space of stable sheaves or the moduli space of stable maps respectively. In this paper we compare these compactifications by explicit blow-ups and -downs when $X$ is a projective homogeneous variety and $d\leq 3$. Using the comparison result, we calculate the Betti numbers of the compactifications when $X$ is a Grassmannian variety.
Let $X$ be the product of two projective spaces and consider the general CICY threefold $Y$ in $X$ with configuration matrix $A$. We prove the finiteness part of the analogue of the Clemens' conjecture for such a CICY in low bidegrees. More precisely, we prove that the number of smooth rational curves on $Y$ with low bidegree and with nondegenerate birational projection is at most finite (even in cases in which positive dimensional families of degenerate rational curves are known).
The main aim of this article is to show that a very general 3-dimensional del Pezzo fibration of degree 1,2,3 is not stably rational except for a del Pezzo fibration of degree 3 belonging to explicitly described 2 families. Higher dimensional generalizations are also discussed and we prove that a very general del Pezzo fibration of degree 1,2,3 defined over the projective space is not stably rational provided that the anticanonical divisor is not ample.
The aim of this paper is to present a construction of smooth rational surfaces in projective fourspace with degree 12 and sectional genus 13. The construction is based on exterior algebra methods, finite field searches and standard deformation theory.
We show, among other things, that for each integer $n \ge 3$, there is a smooth complex projective rational variety of dimension $n$, with discrete non-finitely generated automorphism group and with infinitely many mutually non-isomorphic real forms. Our result is inspired by the work of Lesieutre and the work of Dinh and Oguiso.
In this paper we consider a generalization of a well known result by Veronese about rational normal curves. More precisely, given a collection of linear spaces in $\PP^n$ we study the existence of rational normal curves intersecting each component of the configuration maximally. We introduce different methods to show existence and non-existence of such curves. We also show how to apply these techniques to the study of defectivity of Segre-Veronese varieties.
We give several constructions of bicuspidal rational complex projective plane curves, and list the Newton pairs and the multiplicity sequences of the singularities on the resulting curves. Although the existence of some of the listed cusp configurations is already proved in the literature, the advantage of our approach is that on one hand we explicitly state the Newton pairs and the multiplicity sequences of the singularities on the curves, on the other hand, we also give birational transformations transforming a conic or a bicuspidal curve with simple equation to these rational bicuspidal cur…
We show that if $X$ is a projective hyperkähler fourfold and there exists a nonzero effective divisor $D$ which is not of bi-elliptic type and contained in the boundary of the nef cone of $X$, then $X$ contains a rational curve. This is a very special case of Oguiso's conjecture for projective hyperkähler fourfolds.
The main aim of this paper is to show that a cyclic cover of $\mathbb{P}^n$ branched along a very general divisor of degree $d$ is not stably rational provided that $n \ge 3$ and $d \ge n+1$. This generalizes the result of Colliot-Thélène and Pirutka. Generalizations for cyclic covers over complete intersections and applications to suitable Fano manifolds are also discussed.
It is a very old and interesting open problem to characterize those collections of embedded topological types of local plane curve singularities which may appear as singularities of a projective plane curve C of degree d. The goal of the present article is to give a complete (topological) classification of those cases when C is rational and it has a unique singularity which is locally irreducible (i.e. C is unicuspidal) with one Puiseux pair.
We give an explicit parametrization of the Hilbert schemes of rational curves C in P^n having a given splitting type of the restricted tangent bundle from P^n to C. The adopted technique uses the description of such curves as projections of a rational normal curve from a suitable linear vertex and a classification of those vertices that correspond to the required splitting type of the restricted tangent bundle. This classification involves the study of a suitable PGL(2) action on the relevant Grassmannian variety.
Let $k$ be an integer such that $1\leq k\leq n-5$, and $X_{2n-2-k}\subset \mathbf P^n$ a general projective hypersurface of degree $d=2n-2-k$. In this paper we prove that the only $k$-dimensional subvariety $Y$ of $X_{2n-2-k}$ having geometric genus zero is the one covered by the lines. As an immediate corollary we obtain that, for $n>5$, the general $X_{2n-3}\subset \mathbf P^n$, contains no rational curves of degree $δ>1$.
We characterize the integral Zariski decomposition of a smooth projective surface with Picard number 2 to partially solve a problem of B. Harbourne, P. Pokora, and H. Tutaj-Gasinska [Electron. Res. Announc. Math. Sci. 22 (2015), 103--108].
We study the projective normality of a minimal surface $X$ which is a ramified double covering over a rational surface $S$ with $\dim|-K_S|\ge 1$. In particular Horikawa surfaces, the minimal surfaces of general type with $K^2_X=2p_g(X)-4$, are of this type, up to resolution of singularities. Let $π$ be the covering map from $X$ to $S$. We show that the $\mathbb{Z}_2$-invariant adjoint divisors $K_X+rπ^*A$ are normally generated, where the integer $r\ge 3$ and $A$ is an ample divisor on $S$.
In this paper,we count the rational points on the weighted projective spaces defined over number fields w.r.t. ``size''. An asymptotic formula which generalizes the result of Schanuel's ``Heights in number fields'' is obtained. Furthermore, we count also the rational points on the product of weighted projective spaces.
The aim is to give a geometric characterization of the finite generation of the Cox ring of anticanonical rational surfaces. This characterization is encoded in the finite generation of the effective monoid. Furthermore, we prove that in the case of a smooth projective rational surface having a negative multiple of its canonical divisor with only two linearly independent global sections (e.g., an elliptic rational surface), the finite generation is equivalent to the fact that there are only a finite number of smooth projective rational curves of self-intersection -1. The ground field is assume…
Let $\cM_{0,n}$ the moduli space of $n$-pointed rational curves. The aim of this note is to give a new, geometric construction of $\cM_{0,2n}^{GIT}$, the GIT compacification of $\cM_{0,2n}$, in terms of linear systems on $\PP^{2n-2}$ that contract all the rational normal curves passing by the points of a projective base. These linear systems are a projective analogue of the forgetful maps between $\bar{\cM}_{0,2n+1}$ and $\bar{\cM}_{0,2n}$. The construction is performed via a study of the so-called $\textit{contraction}$ maps from the Knudsen-Mumford compactification $\bar{\cM}_{0,2n}$ to $\cM…
We prove a numerical characterization of $\mathbb{P}^n$ for varieties with at worst isolated local complete intersection quotient singularities. In dimension three, we prove such a numerical characterization of $\mathbb{P}^3$ for normal $\mathbb{Q}$-Gorenstein projective varieties.
We give a complete classification of complex Q-homology projective planes with isolated rational double point singularities and numerically trivial canonical bundle. There are 31 types, and each has one-dimensional moduli. In fact, all moduli curves are rational and defined over Q, and we determine all families explicitly using extremal rational elliptic surfaces and Enriques involutions of base change type.
The Macaulay2 package Cremona performs some computations on rational and birational maps between irreducible projective varieties. For instance, it provides methods to compute degrees and projective degrees of rational maps without any theoretical limitation, from which is derived a general method to compute the push-forward to projective space of Segre classes. Moreover, the computations can be done both deterministically and probabilistically. We give here a brief description of the methods and algorithms implemented.
In the open problem of classification of rational cuspidal plane curves it is essential to find good necessary conditions on the type of singularities of a curve C in order C to exit. Motivated by the study of the Seiberg-Witten invariant of normal surface singularities whose link is a rational homology sphere we have found good candidates for such necessary conditions. In this paper we study this compatibility conditions and proved them for all curves whose logarithmic Kodaira dimension is strictly less than 2.
Let $ϕ: X \to \mathbb P^n$ be a double cover branched along a smooth hypersurface of degree $2m, 2 \leq m \leq n-1$. We study the varieties of minimal rational tangents $\mathcal C_x \subset \mathbb P T_x(X)$ at a general point $x$ of $X$. We describe the homogeneous ideal of $\mathcal C_x$ and show that the projective isomorphism type of $\mathcal C_x$ varies in a maximal way as $x$ varies over general points of $X$. Our description of the ideal of $\mathbb C_x$ implies a certain rigidity property of the covering morphism $ϕ$. As an application of this rigidity, we show that any finite morphi…
We give a formula computing the number of one-nodal rational curves that pass through an appropriate collection of constraints in a complex projective space. We combine the methods and results from three different papers.
We consider the notion of mixed multiplicities for multigraded modules by using Hilbert series, and this is later applied to study the projective degrees of rational maps. We use a general framework to determine the projective degrees of a rational map via a computation of the multiplicity of the saturated special fiber ring. As specific applications, we provide explicit formulas for all the projective degrees of rational maps determined by perfect ideals of height two or by Gorenstein ideals of height three.
In this paper, we extend our result in [3] to hypersurfaces of any smooth projective variety $Y$. Precisely we let $X_0$ be a generic hypersurface of $Y$ and $c_0:\mathbf P^1\to X_0$ be a generic birational morphism to its image, i.e. $c_0\in Hom_{bir}(\mathbf P^1, X_0)$ is generic, such that (1) $dim(X_0)\geq 3$, (2) $H^1( N_{c_0/Y})=0$. Then \begin{equation} H^1(N_{c_0/X_0})=0. \end{equation} As an application we prove that the Clemens' conjecture holds for Calabi-Yau complete intersections of dimension 3.
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 compute the number of rational quartics on a general Calabi-Yau hypersurface in weighted projective space P(2,1^4). The result agrees with the prediction made by mirror symmetry.
Given a rational projective parametrization $\cP(\ttt,\sss,\vvv)$ of a rational projective surface $\cS$ we present an algorithm such that, with the exception of a finite set (maybe empty) $\cB$ of projective base points of $\cP$, decomposes the projective parameter plane as $\projdos\setminus \cB=\cup_{k=1}^{\ell} \cSm_k$ such that if $(\ttt_0:\sss_0:\vvv_0)\in \cSm_k$ then $\cP(\ttt_0,\sss_0,\vvv_0)$ is a point of $\cS$ of multiplicity $k$.
We present an approach to a large class of enumerative problems concerning rational curves in projective spaces. This approach uses analysis to obtain topological information about moduli spaces of stable maps. We demonstrate it by enumerating one-component rational curves with a triple point or a tacnodal point in the three-dimensional projective space and with a cusp in any projective space.