The parametric degree of a rational surface is the degree of the polynomials in the smallest possible proper parametrization. An example shows that the parametric degree is not a geometric but an arithmetic concept, in the sense that it depends on the choice of the ground field. In this paper, we introduce two geometrical invariants of a rational surface, namely level and keel. These two numbers govern the parametric degree in the sense that there exist linear upper and lower bounds.
We prove a stronger version of a criterion of rationality given by Ionescu and Russo. We use this stronger version to define an invariant for rational varieties (we call it rationality degree), and we classify rational varieties for small values of the invariant.
This is a continuation of "Rational curves on hypersurfaces of low degree", math.AG/0203088. We prove that if d^2+d+1 < n and d > 2, then for a general hypersurface X_d in P^n of degree d, for each degree e the space of rational curves of degree e on X is itself a rationally connected variety.
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 characterize plane rational curves of degree four with two or more inner Galois points. A computer verifies the existence of plane rational curves of degree four with three inner Galois points. This would be the first example of a curve with exactly three them. Our result implies that Miura's bound is sharp for rational curves.
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 compute the degree of the variety parametrizing rational ruled surfaces of degree d in the projective space by relating the problem to Gromov-Witten invariants and Quantum cohomology.
According to a conjecture of H. Clemens, the dimension of the space of rational curves on a general projective hypersurface should equal the number predicted by a naïve dimension count. In the case of a general hypersurface of degree 7 in $\mathbb{P}^5$, the conjecture predicts that the only rational curves should be lines. This has been verified by Hana and Johnsen for rational curves of degree at most 15. Here we extend their results to show that no rational curves of degree 16 lie on a general heptic fourfold.
We prove the following statement, predicted by Clemens' conjecture: A generic quintic threefold contains only finitely many smooth rational curves of degree 12.
We construct the canonical structure of an irreducible projective variety on the set of connected curves of degree $d$ in $\Bbb P^n$ with rational components (some components can be multiple). The set of rational curves is open subset in the Zariski topology under this structure.
We provide a resultant-based formula for the total degree w.r.t. the spatial variables of the generic offset to a parametric surface. The parametrization of the surface is not assumed to be proper.
We prove the "strong form" of the Clemens conjecture in degree 10. Namely, on a general quintic threefold F in P^4, there are only finitely many smooth rational curves of degree 10, and each curve is embedded in F with normal bundle O(-1)^2. Moreover, in degree 10, there are no singular, reduced, and irreducible rational curves, nor any reduced, reducible, and connected curves with rational components in F.
In this paper, we present an algorithm for reparametrizing algebraic plane curves from a numerical point of view. That is, we deal with mathematical objects that are assumed to be given approximately. More precisely, given a tolerance $ε>0$ and a rational parametrization $\cal P$ with perturbed float coefficients of a plane curve $\cal C$, we present an algorithm that computes a parametrization $\cal Q$ of a new plane curve $\cal D$ such that ${\cal Q}$ is an {\it $ε$--proper reparametrization} of $\cal D$. In addition, the error bound is carefully discussed and we present a formula that measu…
We prove an elementary method to classify, up to rigid isotopy, all nodal degree 4 real rational curves in $\mathbb{RP}^2$ that have only real double points. We show how to associate a chord diagram to a nodal real degree 4 planar rational curve and prove that such curves are defined up to rigid isotopy by their chord diagrams.
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.
With any \emph{surjective rational map} $f: \mathbb{P}^n \dashrightarrow \mathbb{P}^n$ of the projective space we associate a numerical invariant (\emph{ML degree}) and compute it in terms of a naturally defined vector bundle $E_f \longrightarrow \mathbb{P}^n$.
We prove a criterion of nonsingularity of a complete intersection of two fiberwise quadrics in a scroll over $P^1$. As a corollary we derive the following addition to the Alexeev theorem on rationality of standard Del Pezzo fibrations of degree 4 over $P^1$: we prove that any fibration of this kind with the topological Euler characteristic -4 is rational.
This paper is to give some concrete examples of the general fibers of the evaluation map of some Kontsevich mapping spaces parametrize low degree rational curves on low degree complete intersection varieties. We prove these examples are Fano or Calabi-Yau vareities of low dimension, e.g, surface and threefold. In usual, the "moduli" fibers are constructed in an abstract way, but here we give a down-to-earth interpretation to some of these fibers from the perspective of projective geometry.
We prove the irreducibility of moduli spaces of rational curves on a general del Pezzo threefold of Picard rank $1$ and degree $1$. As corollaries, we confirm Geometric Manin's conjecture and enumerativity of certain Gromov-Witten invariants for these threefolds.
We give an upper bound for the degree of rational curves in a family that covers a given birational ruled surface in projective space. The upper bound is stated in terms of the degree, sectional genus and arithmetic genus of the surface. We introduce an algorithm for constructing examples where the upper bound is tight. As an application of our methods we improve an inequality on lattice polygons.
A variety is rationally connected if two general points can be joined by a rational curve. A higher version of this notion is rational simple connectedness, which requires suitable spaces of rational curves through two points to be rationally connected themselves. We prove that smooth, complex, weighted complete intersections of low enough degree are rationally simply connected. This result has strong arithmetic implications for weighted complete intersections defined over the function field of a smooth, complex curve. Namely, it implies that these varieties satisfy weak approximation at all p…
Let n > 2 and let d < (n+1)/2. We prove that for a general hypersurface X of degree d in P^n, all the genus 0 Kontsevich moduli spaces M_{0,n}(X,e) are irreducible, reduced, local complete intersection stacks of the expected dimension.
In this paper we address Fano manifolds X with a locally unsplit dominating family of rational curves of anticanonical degree equal to the dimension of X. We first observe that their Picard number is at most 3, and then we provide a classification of all cases with maximal Picard number. We also give examples of locally unsplit dominating families of rational curves whose varieties of minimal tangents at a general point is singular.
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.
We propose a general study of standard bases of polynomial ideals with parameters in the case where the monomial order is arbitrary. We give an application to the computation of the stratification by the local Hilbert-Samuel function. Moreover, we give an explicit upper bound for the degree of a standard basis for an arbitrary order and also for the number of the possible affine or local Hilbert-Samuel functions depending on the number of variables and the maximal degree of the given generators.
In this paper we investigate complex uniruled varieties $X$ whose rational curves of minimal degree satisfy a special property. Namely, we assume that the tangent directions to such curves at a general point $x\in X$ form a linear subspace of $T_xX$. As an application of our main result, we give a unified geometric proof of Mori's, Wahl's, Campana-Peternell's and Andreatta-Wiśniewski's characterizations of ${\mathbb P}^n$.
Let X be any generalized flag variety with Picard group of rank one. Given a degree d, consider the Gromov-Witten variety of rational curves of degree d in X that meet three general points. We prove that, if this Gromov-Witten variety is rationally connected for all large degrees d, then the structure constants of the small quantum K-theory ring of X vanish for large degrees.
Let $\Bbbk$ be any field of characteristic zero, $X$ be a del Pezzo surface of degree~$2$ and $G$ be a group acting on $X$. In this paper we study $\Bbbk$-rationality questions for the quotient surface $X / G$. If there are no smooth $\Bbbk$-points on $X / G$ then $X / G$ is obviously non-$\Bbbk$-rational. Assume that the set of smooth $\Bbbk$-points on the quotient is not empty. We find a list of groups, such that the quotient surface can be non-$\Bbbk$-rational. For these groups we construct examples of both $\Bbbk$-rational and non-$\Bbbk$-rational quotients of both $\Bbbk$-rational and non…
The ruled surface is a typical modeling surface in computer aided geometric design. It is usually given in the standard parametric form. However, it can also be in the forms than the standard one. For these forms, it is necessary to determine and find the standard form. In this paper, we present algorithms to determine whether a given implicit surface is a rational ruled surface. A parametrization of the surface is computed for the affirmative case. We also consider the parametric situation. More precisely, after a given rational parametric surface is determined as a ruled one, we reparameteri…
Let X be a projective variety which is covered by rational curves, for instance a Fano manifold over the complex numbers. In this setup, characterization and classification problems lead to the natural question: "Given two points on X, how many minimal degree rational curve are there which contain those points?". A recent answer to this question led to a number of new results in classification theory. As an infinitesimal analogue, we ask "How many minimal degree rational curves exist which contain a prescribed tangent vector?" In this paper, we give sufficient conditions which guarantee that e…
For a hypersurface in complex projective space $X\subset \PP^n$, we investigate the singularities and Kodaira dimension of the Kontsevich moduli spaces $\Kbm{0,0}{X,e}$ parametrizing rational curves of degree $e$ on $X$. If $d+e \leq n$ and $X$ is a general hypersurface of degree $d$, we prove that $\Kbm{0,0}{X,e}$ has only canonical singularities and we conjecture the same is true for the coarse moduli space $\kbm{0,0}{X,e}$.This investigation is motivated by the question of which Fano hypersurfaces are unirational.
Given d in IN, we prove that all smooth K3 surfaces (over any field of characteristic p other than 2,3) of degree greater than 84d^2 contain at most 24 rational curves of degree at most d. In the exceptional characteristics, the same bounds hold for non-unirational K3 surfaces, and we develop analogous results in the unirational case. For d at least 3, we also construct K3 surfaces of any degree greater than 4d(d+1) with 24 rational curves of degree exactly d, thus attaining the above bounds.
We prove that the sweeping components of the space of smooth rational curves in a smooth hypersurface of degree $d$ in $P^n$ are not uniruled if $(n+1)/2 \leq d \leq n-3$. We also show that for any positive integer $e$, the space of smooth rational curves of degree $e$ in a general hypersurface of degree $d$ in $P^n$ is not uniruled when $d \geq e \sqrt{n}$.
For a semistable reflexive sheaf $E$ of rank $r$ and $c_1=a$ on $¶^n$ and an integer $d$ such that $r|ad$, we give sufficient conditions so that the restriction of $E$ on a generic rational curve of degree $d$ is balanced, i.e. a twist of the trivial bundle (for instance, if $E$ has balanced restriction on a generic line, or $r=2$ or $E$ is an exterior power of the tangent bundle). Assuming this, we give a formula for the 'virtual degree', interpreted enumeratively, of the locus of rational curves of degree $d$ on which the restriction of $E$ is not balanced, generalizing a classical formula d…
The developable surface is an important surface in computer aided design, geometric modeling and industrial manufactory. It is often given in the stan- dard parametric form, but it can also be in the implicit form which is commonly used in algebraic geometry. Not all algebraic developable surfaces have rational parametrizations. In this paper, we focus on the rational developable surfaces. For a given algebraic surface, we first determine whether it is developable by geometric inspection, and we give a rational proper parametrization for the af- firmative case. For a rational parametric surfac…
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.
We prove that the incidence scheme of rational curves of degree 11 on quintic threefolds is irreducible. This implies a strong form of the Clemens conjecture in degree 11. Namely, on a general quintic threefold $F$ in $\mathbb{P}^4$, there are only finitely many smooth rational curves of degree 11, and each curve $C$ is embedded in $F$ with normal bundle $\mathcal{O}(-1) \oplus \mathcal{O}(-1)$. Moreover, in degree 11, there are no singular, reduced, and irreducible rational curves, nor any reduced, reducible, and connected curves with rational components on $F$.
We classify real families of minimal degree rational curves that cover an embedded rational surface. A corollary is that if the projective closure of a smooth surface is not biregular isomorphic to the projective closure of the unit-sphere, then the set of minimal degree rational curves that cover the surface is either empty or of dimension at most two. Moreover, if these curves are of minimal degree over the real numbers, but not over the complex numbers, then almost all the curves are smooth. Our methods lead to an algorithm that takes as input a real surface parametrization and outputs all …
We find a parametric solution of an arbitrary symmetric homogeneous diophantine equation of 5th degree in 6 variables using two primitive solutions. We then generalize this approach to symmetric forms of any odd degree by proving the following results. (1) Every symmetric form of odd degree $n\ge 5$ in $6 \cdot 2^{n-5}$ variables has a rational parametric solution depending on $2n-8$ parameters. (2) Let $F(x_1, ..., x_N)$ be a symmetric form of odd degree $n\ge 5$ in $N=6 \cdot 2^{n-4}$ variables, and let $q$ be any rational number. Then the equation $F(x_i)=q$ has a rational parametric soluti…
We prove the following form of the Clemens conjecture in low degree. Let $d\le9$, and let $F$ be a general quintic threefold in $\IP^4$. Then (1)~the Hilbert scheme of rational, smooth and irreducible curves of degree $d$ on $F$ is finite, nonempty, and reduced; moreover, each curve is embedded in $F$ with normal bundle $Ø(-1)\oplusØ(-1)$, and in $\IP^4$ with maximal rank. (2)~On $F$, there are no rational, singular, reduced and irreducible curves of degree $d$, except for the 17,601,000 six-nodal plane quintics (found by Vainsencher). (3)~On $F$, there are no connected, reduced and reducible …
One considers the behavior of the degree of a rational map under specialization of the coefficients of the defining linear system. The method rests on the classical idea of Kronecker as applied to the context of projective schemes and their specializations. For the theory to work one is led to develop the details of rational maps and their graphs when the ground ring of coefficients is a Noetherian integral domain.
For a finite dimensional vector space equipped with a $\mathbb C$-algebra structure, one can define rational maps using the algebraic structure. In this paper, we describe the growth of the degree sequences for this type of rational maps.
In this paper, we directly derive generalized mirror transformation of projective hypersurfaces up to degree 3 genus 0 Gromov-Witten invariants by comparing Kontsevich localization formula with residue integral representation of the virtual structure constants. We can easily generalize our method for rational curves of arbitrary degree except for combinatorial complexities.
