Computing curves on real rational surfaces

Niels Lubbes

DOI: https://doi.org/10.48550/arXiv.1805.03860

2018-05-10

Abstract:We present an algorithm for computing curves and families of curves of prescribed degree and geometric genus on real rational surfaces.

Algebraic Geometry,Symbolic Computation

What problem does this paper attempt to address?

A degree bound for families of rational curves on surfaces

Niels Lubbes

DOI: https://doi.org/10.1016/j.jpaa.2018.02.033

IF: 0.834

2019-01-01

Journal of Pure and Applied Algebra

Abstract:We give an upper bound for the degree of rational curves in a family that covers a given birationally 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.

mathematics, applied
Matrix Weighted Rational Curves and Surfaces

Xunnian Yang

DOI: https://doi.org/10.1016/j.cagd.2015.11.005

IF: 1.368

2015-01-01

Computer Aided Geometric Design

Abstract:Rational curves and surfaces are powerful tools for shape representation and geometric modeling. However, the real weights are generally difficult to choose except for a few special cases such as representing conics. This paper presents an extension of rational curves and surfaces by replacing the real weights with matrices. The matrix weighted rational curves and surfaces have the same structures as the traditional rational curves and surfaces but the matrix weights can be defined in geometric ways. In particular, the weight matrices for the extended rational Bézier, NURBS or the generalized subdivision curves and surfaces are computed using the normal vectors specified at the control points. Similar to the effects of control points, the specified normals can be used to control the curve or the surface's shape efficiently. It is also shown that matrix weighted NURBS curves and surfaces can pass through their control points, thus curve or surface reconstruction by the extended NURBS model no longer needs solving any large system but just choosing control points and control normals from the input data.
Rational curves on Hermitian manifolds

Huitao Feng,Kefeng Liu,Xueyuan Wan,Xiaokui Yang

2014-01-01

Abstract: By using analytic method, we prove that there exist rational curves on compact Hermitian manifolds with positive holomorphic bisectional curvature. It confirms a question of S.-T. Yau. It is well-known that Mori proved in \cite{Mori79} that every compact complex manifold $N$ with $c_1(N)>0$ contains at least one rational curve. However, as a borderline example, we show that the standard Hopf surface $S^1\times S^3$ has a Hermitian metric with non-negative holomorphic bisectional curvature (in particular, $c_1(S^1\times S^3)\geq 0$), but it contains no rational curve.
Negative Curves and Elliptic Fibrations on a Special Rational Surface

Luís Gustavo Mendes,Liliana Puchuri

2024-09-28

Abstract:The blown up complex projective plane in the twelve triple points of the dual Hesse arrangement has an infinite number of irreducible rational curves of self-intersection $-1$, for short, $(-1)$-curves. In the preprint version of [Dumnicki, 2019], T. Szemberg et alii tried to keep track of plane rational curves which produce $(-1)$-curves, by applying successively to a straight line compositions taken from three different quadratic Cremona maps preserving the dual Hesse arrangement, in such a way as to produce a diagram of bifurcations. The symmetric aspect of the degrees of curves encoded in the entries of the diagram motivated them to propose the problem of to give a closed formula for the degree of the rational curve at the entry $a_{i,j}$. We solved this problem for a slightly different diagram of bifurcations of the same Cremona maps, which recover and extends the data on degrees of the original diagram. We also are able to describe the position and multiplicites of singularities of each rational curve encoded in the diagram, as well as their equations (implemented in Python and Singular softwares). Our idea is to embed the plane rational curves as components of special elements of elliptic pencils, then apply a closed formula for the degrees of the generic curves of the elliptic pencils of [Puchuri, 2013], and, from this, extract the data of the rational curves on each entry of the diagram.

Algebraic Geometry
Enumerating curves on rational surfaces: the rational fibration method

Lucia Caporaso,Joe Harris

DOI: https://doi.org/10.48550/arXiv.alg-geom/9608023

1996-08-22

Algebraic Geometry

Abstract: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.
Rational Curves on Real Classical Groups

Zijia Li,Ke Ye

2024-08-08

Abstract:This paper is concerned with rational curves on real classical groups. Our contributions are three-fold: (i) We determine the structure of quadratic rational curves on real classical groups. As a consequence, we completely classify quadratic rational curves on $\mathrm{U}_n$, $\mathrm{O}_n(\mathbb{R})$, $\mathrm{O}_{n-1,1}(\mathbb{R})$ and $\mathrm{O}_{n-2,2}(\mathbb{R})$. (ii) We prove a decomposition theorem for rational curves on real classical groups, which can be regarded as a non-commutative generalization of the fundamental theorem of algebra and partial fraction decomposition. (iii) As an application of (i) and (ii), we generalize Kempe's Universality Theorem to rational curves on homogeneous spaces.

Algebraic Geometry,Symbolic Computation,Group Theory
Computing the Singularities of Rational Space Curves

Xiaoran Shi,Falai Chen

DOI: https://doi.org/10.1145/1837934.1837970

2010-01-01

Abstract:In this paper, we discuss the singularities of rational space curves. Two methods are provided to compute the singularities of arbitrary degree curves. These methods are a generalization of the paper (Chen, Wang and Liu. Computing singular points of plane rational curves. Journal of Symbolic Computation 43, 92--117, 2008), which are based on the μ-basis of the rational space curve and on random technique. The μ-basis induces a matrix M which contains all the information about the singularities including the parameter values corresponding to the singularities, multiplicities and infinitely near singularities. These information can be obtained by computing the Smith form of the matrix M . We compare our methods with previous approaches such as generalized resultants, and provide some examples to illustrate the effectiveness of our methods.
Severi curves of rational elliptic surfaces

François Greer,Joseph Helfer,John Sheridan

2023-06-06

Abstract:We study Severi curves parametrizing rational bisections of elliptic fibrations associated to general pencils of plane cubics. Our main results show that these Severi curves are connected and reduced, and we give an upper bound on their geometric genus using quasi-modular forms. We conjecture that these Severi curves are eventually reducible, and we formulate a precise conjecture for their degrees in $\mathbb{P}^2$, featuring a divisor sum formula for collision multiplicities of branch points.

Algebraic Geometry
Computation of symmetries of rational surfaces

Juan Juan Gerardo Alcázar,Carlos Hermoso,Hüsnü Anıl Çoban,Uğur Gözütok

2024-10-24

Abstract:In this paper we provide, first, a general symbolic algorithm for computing the symmetries of a given rational surface, based on the classical differential invariants of surfaces, i.e. Gauss curvature and mean curvature. In practice, the algorithm works well for sparse parametrizations (e.g. toric surfaces) and PN surfaces. Additionally, we provide a specific, also symbolic algorithm for computing the symmetries of ruled surfaces; this algorithm works extremely well in practice, since the problem is reduced to that of rational space curves, which can be efficiently solved by using existing methods. The algorithm for ruled surfaces is based on the fact, proven in the paper, that every symmetry of a rational surface must also be a symmetry of its line of striction, which is a rational space curve. The algorithms have been implemented in the computer algebra system Maple, and the implementations have been made public; evidence of their performance is given in the paper.

Computational Geometry,Algebraic Geometry
Curves with prescribed rational points

Katerina Santicola

2024-10-31

Abstract:Given a smooth curve $C/\mathbb{Q}$ with genus $\geq 2$, we know by Faltings' Theorem that $C(\mathbb{Q})$ is finite. Here we ask the reverse question: given a finite set of rational points $S\subseteq \mathbb{P}^n(\mathbb{Q})$, does there exist a smooth curve $C/\mathbb{Q}$ contained in $\mathbb{P}^n$ such that $C(\mathbb{Q})=S$? We answer this question in the affirmative by providing an effective algorithm for constructing such a curve.

Number Theory
On families of rational curves in the Hilbert square of a surface (with an Appendix by Edoardo Sernesi)

Flaminio Flamini,Andreas Leopold Knutsen,Gianluca Pacienza,Edoardo Sernesi

DOI: https://doi.org/10.48550/arXiv.0704.1367

2007-04-11

Algebraic Geometry

Abstract:Under natural hypotheses we give an upper bound on the dimension of families of singular curves with hyperelliptic normalizations on a surface S with p_g(S) >0 via the study of the associated families of rational curves in Hilb^2(S). We use this result to prove the existence of nodal curves of geometric genus 3 with hyperelliptic normalizations, on a general K3 surface, thus obtaining specific 2-dimensional families of rational curves in its Hilbert square. We describe two infinite series of examples of general, primitively polarized K3's such that their Hilbert squares contain a IP^2 or a threefold birational to a IP^1-bundle over a K3. We discuss some consequences on the Mori cone of the Hilbert square of a general K3.
The cone of curves and the Cox ring of rational surfaces over Hirzebruch surfaces

Carlos Galindo,Francisco Monserrat,Carlos-Jesús Moreno-Ávila

2024-01-14

Abstract:Let $X$ be a rational surface obtained by blowing up at a configuration $\mathcal{C}$ of infinitely near points over a Hirzebruch surface $\mathbb{F}_\delta$. We prove that there exist two positive integers $a \leq b$ such that the cone of curves of $X$ is finite polyhedral and minimally generated when $\delta \geq a$, and the Cox ring of $X$ is finitely generated whenever $\delta \geq b$. The integers $a$ and $b$ depend only on a combinatorial object (a graph decorated with arrows) representing the strict transforms of the exceptional divisors, their intersections and those with the fibers and special section of $\mathbb{F}_\delta$.

Algebraic Geometry
Nodal rational curves on Enriques surfaces of base change type

Simone Pesatori

2024-12-09

Abstract:Using lattice theory, Hulek and Schütt proved that for every $m\in\mathbb{Z}_+$ there exists a nine-dimensional family $\mathcal{F}_m$ of K3 surfaces covering Enriques surfaces having an elliptic pencil with a rational bisection of arithmetic genus $m$. We present a purely geometrical lattice free construction of these surfaces, that allows us to prove that generically the mentioned bisections are nodal. Moreover, we show that, for every $m\in\mathbb{Z}_+$, the very general Enriques surface covered by a K3 surface in $\mathcal{F}_m$ admits a countable set of nodal rational curves of arithmetic genus $(4k^2-4k+1)m+4k^2-4k$ for every $k\in\mathbb{Z}_+$, that form a rank 8 subgroup of the automorphism group of the surface. As an application, we compute the linear class of the $n$-torsion multisection for every $n\in\mathbb{N}$ for a general rational elliptic surface.

Algebraic Geometry
Extensions of curves with high degree with respect to the genus

Ciro Ciliberto,Thomas Dedieu

2024-07-08

Abstract:We classify linearly normal surfaces $S \subset \mathbf{P}^{r+1}$ of degree $d$ such that $4g-4 \leq d \leq 4g+4$, where $g>1$ is the sectional genus (it is a classical result that for larger $d$ there are only cones). We apply this to the study of the extension theory of pluricanonical curves and genus $3$ curves, whenever they verify Property $N_2$, using and slightly expanding the theory of integration of ribbons of the authors and E.~Sernesi. We compute the corank of the relevant Gaussian maps, and we show that all ribbons over such curves are integrable, and thus there exists a universal extension. We carry out a similar program for linearly normal hyperelliptic curves of degree $d\geq 2g+3$. We classify surfaces having such a curve $C$ as a hyperplane section, compute the corank of the relevant Gaussian maps, and prove that all ribbons over $C$ are integrable if and only if $d=2g+3$. In the latter case we obtain the existence of a universal extension.

Algebraic Geometry
Computing self-intersection curves of rational ruled surfaces

Xiaohong Jia,Falai Chen,Jiansong Deng

DOI: https://doi.org/10.1016/j.cagd.2008.09.005

IF: 1.368

2009-01-01

Computer Aided Geometric Design

Abstract:An algorithm is presented to compute the self-intersection curves of a rational ruled surface based on the theory of @m-bases. The algorithm starts by constructing the principal subresultants for a @m-basis of the rational ruled surface. The principal subresultant coefficients provide information about not only the parametric loci of the self-intersection curves, but also the orders of the self-intersection curves. Based on this observation, an efficient algorithm is provided to compute the parametric loci of the self-intersection curves as well as their corresponding orders. The isolated singular points of the rational ruled surface are also computed.
Rational Points of some genus $3$ curves from the rank $0$ quotient strategy

Tony Ezome,Brice Miayoka Moussolo,Régis Freguin Babindamana

2023-11-01

Abstract:In 1922, Mordell conjectured that the set of rational points on a smooth curve $C$ over $\mathbb{Q}$ with genus $g \ge 2$ is finite. This has been proved by Faltings in 1983. However, Coleman determined in 1985 an upper bound of $#C(\mathbb{Q})$ by following Chabauty's approach which considers the special case when the Jacobian variety of $C$ has Mordell-Weil rank $< g$. In 2006, Stoll improved the Coleman's bound. Balakrishnan with her co-authors in [1] implemented the Chabauty-Coleman method to compute the rational points of genus $3$ hyperelliptic curves. Then, Hashimoto and Morrison [8] did the same work for Picard curves. But it happens that this work has not yet been done for all genus 3 curves. In this paper, we describe an algorithm to compute the complete set of rational points $C(\mathbb{Q})$ for any genus $3$ curve $C/\mathbb{Q}$ that is a degree-$2$ cover of a genus $1$ curve whose Jacobian has rank $0$. We implemented this algorithm in Magma, and we ran it on approximately $40, 000$ curves selected from databases of plane quartics and genus $3$ hyperellitic curves. We discuss some interesting examples, and we exhibit curves for which the number of rational points meets the Stoll's bound

Number Theory
Low degree rational curves on quasi-polarized K3 surfaces

Sławomir Rams,Matthias Schütt

2024-03-13

Abstract: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.

Algebraic Geometry
Representation of non-special curves of genus 5 as plane sextic curves and its application to finding curves with many rational points

Momonari Kudo,Shushi Harashita

DOI: https://doi.org/10.1016/j.jsc.2023.102272

2023-11-19

Abstract:In algebraic geometry, it is important to provide effective parametrizations for families of curves, both in theory and in practice. In this paper, we present such an effective parametrization for the moduli of genus-$5$ curves that are neither hyperelliptic nor trigonal. Subsequently, we construct an algorithm for a complete enumeration of non-special genus-$5$ curves having more rational points than a specified bound, where ``non-special curve'' means that the curve is non-hyperelliptic and non-trigonal with mild singularities of the associated sextic model that we propose. As a practical application, we implement this algorithm using the computer algebra system MAGMA, specifically for curves over the prime field of characteristic $3$.

Algebraic Geometry
Parameter spaces for curves on surfaces and enumeration of rational curves

Lucia Caporaso,Joe Harris

DOI: https://doi.org/10.48550/arXiv.alg-geom/9608024

1996-08-22

Algebraic Geometry

Abstract:We answer some enumerative questions about irreducible rational curves on Hirzebruch surfaces, by combining an idea of Kontsevich with the study of the geometry of certain natural parameter spaces. Our formulas generalize Kontsevich's formula for rational plane curves of given degree.
Sesquicuspidal curves, scattering diagrams, and symplectic nonsqueezing

Dusa McDuff,Kyler Siegel

2024-12-01

Abstract:We construct a large new family of rational algebraic curves in the complex projective plane with a (p,q) cusp singularity. More precisely, we classify all such pairs (p,q) for curves which are rigid (in a suitable sense), finding a phase transition from discrete to continuous as the ratio p/q crosses the fourth power of the golden ratio. In particular, for many values of (p,q), our curves solve the minimal degree problem for plane curves with a (p,q) cusp singularity. Our technique relies on (i) explicit bijections between curves in log Calabi-Yau surfaces and curves in nontoric blowups of toric surfaces, (ii) the tropical vertex group and its connections with relative Gromov--Witten invariants, and (iii) recent positivity results for scattering diagrams. As our main application, we completely solve the stabilized symplectic embedding problem for four-dimensional ellipsoids into the four-dimensional round ball. The answer is neatly encoded in a single piecewise smooth function which transitions from an infinite Fibonacci staircase to an explicit rational function. Many of our results also extend to other target spaces, e.g. del Pezzo surfaces and more general rational surfaces.

Algebraic Geometry,Symplectic Geometry

Computing curves on real rational surfaces

A degree bound for families of rational curves on surfaces

Matrix Weighted Rational Curves and Surfaces

Rational curves on Hermitian manifolds

Negative Curves and Elliptic Fibrations on a Special Rational Surface

Enumerating curves on rational surfaces: the rational fibration method

Rational Curves on Real Classical Groups

Computing the Singularities of Rational Space Curves

Severi curves of rational elliptic surfaces

Computation of symmetries of rational surfaces

Curves with prescribed rational points

On families of rational curves in the Hilbert square of a surface (with an Appendix by Edoardo Sernesi)

The cone of curves and the Cox ring of rational surfaces over Hirzebruch surfaces

Nodal rational curves on Enriques surfaces of base change type

Extensions of curves with high degree with respect to the genus

Computing self-intersection curves of rational ruled surfaces

Rational Points of some genus $3$ curves from the rank $0$ quotient strategy

Low degree rational curves on quasi-polarized K3 surfaces

Representation of non-special curves of genus 5 as plane sextic curves and its application to finding curves with many rational points

Parameter spaces for curves on surfaces and enumeration of rational curves

Sesquicuspidal curves, scattering diagrams, and symplectic nonsqueezing