Related papers: An explicit construction of ruled surfaces
A good canonical projection of a surface $S$ of general type is a morphism to the 3-dimensional projective space P^3 given by 4 sections of the canonical line bundle. To such a projection one associates the direct image sheaf F of the…
The arithmetic of elliptic curves, namely polynomial addition and scalar multiplication, can be described in terms of global sections of line bundles on $E\times E$ and $E$, respectively, with respect to a given projective embedding of $E$…
We give explicit numerical estimates for the generalized Chebyshev functions. Explicit results of this kind are useful for estimating of computational complexity of algorithms which generates special primes. Such primes are needed to…
To each del Pezzo surface (resp. ruled surface, ruled surface with a section), we describe a natural Lie algebra bundle of type E_n (resp. D_n, A_n) over it. Using lines and rulings on any such surface, we describe various representation…
We study the fibers of a projective morphism and some related algebraic problems. We characterize the analytic spread of a homogeneous ideal through properties of its syzygy matrix. Powers of linearly presented ideals need not be linearly…
An efficient algorithm for computing the branching structure of a compact Riemann surface defined via an algebraic curve is presented. Generators of the fundamental group of the base of the ramified covering punctured at the discriminant…
We introduce a new formalism and a number of new results in the context of geometric computational vision. The classical scope of the research in geometric computer vision is essentially limited to static configurations of points and lines…
In this paper, we define a new type of ruled surface called ruled surface by using the alternative frame of a base curve. Then, we study its differential geometric properties such as striction line, distribution parameter, fundamental…
We introduce the Brackets package for the computer algebra system Macaulay2, which provides convenient syntax for computations involving the classical invariants of the special linear group. We describe our implementation of bracket rings…
We construct models of involution surface bundles over algebraic surfaces, degenerating over normal crossing divisors, and with controlled singularities of the total space.
We propose a novel method to generate a small set of ruled surfaces that do not collide with the input shape for linear hot-wire rough machining. Central to our technique is a new observation: the ruled surfaces constructed by vertical…
We prove a surface embedding theorem for 4-manifolds with good fundamental group in the presence of dual spheres, with no restriction on the normal bundles. The new obstruction is a Kervaire-Milnor invariant for surfaces and we give a…
We consider skew ruled surfaces in the three-dimensional Euclidean space and some geometrically distinguished families of curves on them whose normal curvature has a concrete form. The aim of this paper is to find and classify all ruled…
For each integer $k \in [0,9]$, we count the number of plane cubic curves defined over a finite field $\mathbb{F}_q$ that do not share a common component and intersect in exactly $k\ \mathbb{F}_q$-rational points. We set this up as a…
Given a smooth complex variety $X$, an algebraically skew embedding of $X$ is an embedding of $X$ into a complex projective space $\mathbb{P}^N$ such that for any two points $x,y\in X$, their embedded tangent spaces in $\mathbb{P}^N$ do not…
A telegraphic survey of some of the standard results and conjectures about the set $C({\bf Q})$ of rational points on a smooth projective absolutely connected curve $C$ over ${\bf Q}$.
A result of Belyi can be stated as follows. Every curve defined over a number field can be expressed as a cover of the projective line with branch locus contained in a rigid divisor. We define the notion of geometrically rigid divisors in…
In the nineties, several methods for dealing in a more efficient way with the implicitization of rational parametrizations were explored in the Computer Aided Geometric Design Community. The analysis of the validity of these techniques has…
Let $X$ be a ruled surface over a nonsingular curve $C$ of genus $g\geq0$. The main goal of this paper is to construct simple prioritary vector bundles of any rank $r$ on $X$ and to give effective bounds for the dimension of their module of…
Macaulay dual spaces provide a local description of an affine scheme and give rise to computational machinery that is compatible with the methods of numerical algebraic geometry. We introduce eliminating dual spaces, use them for computing…