We present an algorithm that covers any given rational ruled surface with two rational parametrizations. In addition, we present an algorithm that transforms any rational surface parametrization into a new rational surface parametrization without affine base points and such that the degree of the corresponding maps is preserved.
We provide algorithms to reconstruct rational ruled surfaces in three-dimensional projective space from the `apparent contour' of a single projection to the projective plane. We deal with the case of tangent developables and of general projections to $\mathbb{p}^3$ of rational normal scrolls. In the first case, we use the fact that every such surface is the projection of the tangent developable of a rational normal curve, while in the second we start by reconstructing the rational normal scroll. In both instances we then reconstruct the correct projection to $\mathbb{p}^3$ of these surfaces by…
We study the order of automorphism groups of cyclic covering fibrations of a ruled surface. Arakawa and later Chen studied it for hyperelliptic fibrations and gave the upper bound. The purpose of present paper is to pursue the analog for cyclic covering fibrations.
In this work we use arithmetic, geometric, and combinatorial techniques to compute the cohomology of Weil divisors of a special class of normal surfaces, the so-called rational ruled toric surfaces. These computations are used to study the topology of cyclic coverings of such surfaces ramified along Q-normal crossing divisors.
Implicitization of rational ruled surfaces with $μ$-bases
Chen，Sederberg，and Zheng在Chen et al.（2001）中引入了有理直纹曲面的$μ$ -基的概念，并证明了如果参数化是一般内射的，则其结果是曲面的隐式方程。我们将这个结果推广到任意参数化的情况。本文还对曲线情形下的相应定理给出了新的证明，并讨论了曲线和直纹曲面的重参数化问题。
We present a method for computing all the symmetries of a rational ruled surface defined by a rational parametrization which works directly in parametric rational form, i.e. without computing or making use of the implicit equation of the surface. The method proceeds by translating the problem into the parameter space, and relies on polynomial system solving. If we want all the symmetries of the surface, including rotational symmetries, we need to deal with polynomial systems in four variables; if we are only interested in involutions (e.g. central symmetries, axial symmetries, reflections in a…
Let $S$ be a rational projective surface given by means of a projective rational parametrization whose base locus satisfies a mild assumption. In this paper we present an algorithm that provides three rational maps $f,g,h:\mathbb{A}^2 --\to S\subset \mathbb{P}^n$ such that the union of the three images covers $S$. As a consequence, we present a second algorithm that generates two rational maps $f,\tilde{g}:\mathbb{A}^2 --\to S$, such that the union of their images covers the affine surface $S\cap \mathbb{A}^n$. In the affine case, the number of rational maps involved in the cover is in general…
We classify purely inseparable morphisms of degree $p$ between rational double points (RDPs) in characteristic $p > 0$. Using such morphisms, we refine a result of Artin that any RDP admits a finite smooth covering.
Let $S$ be a rational surface with $\dim|-K_S|\ge 1$ and let $π: X\rightarrow S$ be a ramified cyclic covering from a nonruled smooth surface $X$. We show that for any integer $k\ge 3$ and ample divisor $A$ on $S$, the adjoint divisor $K_X+kπ^*A$ is very ample and normally generated. Similar result holds for minimal (possibly singular) coverings.
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.
We complete the computation of all $\mathbb{Q}$-rational points on all the $64$ maximal Atkin-Lehner quotients $X_0(N)^*$ such that the quotient is hyperelliptic. To achieve this, we use a combination of various methods, namely the classical Chabauty--Coleman, elliptic curve Chabauty, quadratic Chabauty, and the bielliptic quadratic Chabauty method combined with the Mordell-Weil sieve. Additionally, for square-free levels $N$, we classify all $\mathbb{Q}$-rational points as cusps, CM points (including their CM field and $j$-invariants) and exceptional ones. We further indicate how to use this …
