相关论文: Tensor product surfaces and quadratic syzygies

Let $U\subseteq H^0(\mathcal{O}_{\mathbb{P}^1\times \mathbb{P}^1}(a,b))$ be a four-dimensional vector space and consider the rational map $\phi_U:\,\mathbb{P}^1\times \mathbb{P}^1 \dashrightarrow \mathbb{P}^3$ defined by its basis of…

Given a $4$-dimensional vector subspace $U=\{ f_{0},\ldots,f_{3}\}$ of $H^{0}(\mathbb{P}^1 \times \mathbb{P}^1,\mathcal{O}(a,b))$, a tensor product surface, denoted by $X_{U}$, is the closure of the image of the rational map…

Let U be a basepoint free four-dimensional subpace of the space of sections of bidegree (a,b) on X = P^1 x P^1, with a and b at least 2. The sections corresponding to U determine a regular map from X to P^3. We show that there can be at…

Let U be a basepoint free four-dimensional subspace of the space of sections of O(2,1) on P^1 x P^1. The sections corresponding to U determine a regular map p_U: P^1 x P^1 --> P^3. We study the associated bigraded ideal I_U in k[s,t;u,v]…

A tensor product surface $\mathscr{S}$ is an algebraic surface that is defined as the closure of the image of a rational map $\phi$ from $\mathbb{P}^1\times \mathbb{P}^1$ to $\mathbb{P}^3$. We provide new determinantal representations of…

We derive the implicit equations for certain parametric surfaces in three-dimensional projective space termed tensor product surfaces. Our method computes the implicit equation for such a surface based on the knowledge of the syzygies of…

A parameterized surface can be represented as a projection from a certain toric surface. This generalizes the classical homogeneous and bihomogeneous parameterizations. We extend to the toric case two methods for computing the implicit…

A translational surface is a tensor product surface constructed from two space curves by translating one along the other. These surfaces are common within geometric modeling and, since their description is parametric, it is desirable to…

Let $S$ be a parametric surface in $\proj{3}$ given as the image of $\phi: \proj{1} \times \proj{1} \to \proj{3}$. This paper will show that the use of syzygies in the form of a combination of moving planes and moving quadrics provides a…

We show that the method of moving quadrics for implicitizing surfaces in P^3 applies in certain cases where base points are present. However, if the ideal defined by the parametrization is saturated, then this method rarely applies.…

Let $X\subset \P^5$ be a smooth cubic fourfold. A well known conjecture asserts that $X$ is rational if and only if there an Hodge theoretically associated K3 surface $S$. The surface $S$ can be associated to $X$ in two other different…

The goal of this article is to study the equations and syzygies of embeddings of rational surfaces and certain Fano varieties. Given a rational surface X and an ample and base-point-free line bundle L on X, we give an optimal numerical…

A bidouble cover is a flat $G:=\left(\mathbb{Z}/2\mathbb{Z}\right)^2$-Galois cover $X \rightarrow Y$. In this situation there exist three intermediate quotients $Y_1,Y_2$ and $Y_3$ which correspond to the three subgroups…

This is an expository paper on tensor products where the standard approaches for constructing concrete instances of algebraic tensor products of linear spaces, via quotient spaces or via linear maps of bilinear maps, are reviewed by…

In this article we analyze the implicitization problem of the image of a rational map $\phi: X --> P^n$, with $T$ a toric variety of dimension $n-1$ defined by its Cox ring $R$. Let $I:=(f_0,...,f_n)$ be $n+1$ homogeneous elements of $R$.…

Let P_d be a convex polygon with d vertices. The associated Wachspress surface W_d is a fundamental object in approximation theory, defined as the image of the rational map w_d from P^2 to P^{d-1}, determined by the Wachspress barycentric…

We contribute a new algebraic method for computing the orthogonal projections of a point onto a rational algebraic surface embedded in the three dimensional projective space. This problem is first turned into the computation of the finite…

Let $X$ be a smooth algebraic variety endowed with an action of a finite group $G$ such that there exists the geometric quotient $\pi_X:X\to X/G$. We characterize rational tensor fields $\tau$ on $X/G$ such that the {\it pull back} of $\tau…

In this work we present new results to produce an algorithm that returns, for any fixed pair of natural integers $K^2$ and $\chi$, all regular surfaces $S$ of general type with self-intersection $K_S^2=K^2$ and Euler characteristic…

Rotary maps (orientably regular maps) are highly symmetric graph embeddings on orientable surfaces. This paper classifies all rotary maps whose underlying graphs are Praeger-Xu graphs, denoted $\operatorname{C}(p,r,s)$, for any odd prime…