Related papers: Implicitization of rational ruled surfaces with $\…
We consider the asymptotic behavior of properly embedded minimal surfaces in the product of the hyperbolic plane with the line, taking into account the fact that there is more than one natural compactification of this space. This provides a…
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…
In this paper we study the logical foundations of automated inductive theorem proving. To that aim we first develop a theoretical model that is centered around the difficulty of finding induction axioms which are sufficient for proving a…
A class of surfaces-graphs in a Riemannian 3-space with a prescribed projection of one field of principal directions onto a surface $\Pi$ is considered. A problem of determination of such surfaces when both principal curvatures are given…
We develop a new method to construct explicit, regular minimal surfaces in Euclidean space that are defined on the entire complex plane with controlled geometry. More precisely we show that for a large class of planar curves $(x(t), y(t))$…
Most genuine multi-sided surface representations depend on a 2D domain that enables a mapping between local parameters and global coordinates. The shape of this domain ranges from regular polygons to curved configurations, but the simple…
We give a new proof of the Semistable Reduction Theorem for curves. The main idea is to present a curve $Y$ over a local field $K$ as a finite cover of the projective line $X=\PP^1_K$. By successive blowups (and after replacing $K$ by a…
We classify the number of $k$-rational lines and conic fibrations on del Pezzo surfaces over a field $k$ in terms of relatively minimal surfaces and establish rational curve analogues of the inverse Galois problem for del Pezzo surfaces. We…
In analogy with recent works on $K3$ surfaces, we study the existence of infinitely many ruled divisors on projective irreducible holomorphic symplectic (IHS) manifolds. We prove such an existence result for any projective IHS manifold of…
We prove that the complex surfaces parametrizing cuboids and face cuboids, as well as their minimal resolution of singularities, have trivial fundamental group. We then compute the fundamental group of certain open smooth subvarieties of…
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…
In this paper we present an algorithm for computing a matrix representation for a surface in P^3 parametrized over a 2-dimensional toric variety T. This algorithm follows the ideas of [Botbol-Dickenstein-Dohm-09] and it was implemented in…
We develop a characterization for the existence of symmetries of canal surfaces defined by a rational spine curve and rational radius function. In turn, this characterization inspires an algorithm for computing the symmetries of such canal…
This note contains a solution to the following problem: reconstruct the definition field and the equation of a projective cubic surface, using only combinatorial information about the set of its rational points. This information is encoded…
The construction of $C^m$ conforming finite elements on simplicial meshes has recently advanced through the groundbreaking work of Hu, Lin, and Wu (Found. Comput. Math. 24, 2024). Their framework characterizes smoothness via moments of…
We prove that a general planar NURBS curve parametrization $\phi: [u_0,u_m] \xrightarrow{} C \subset \mathbb{R}^2$ admits an inverse map $\phi^{-1}: C \xrightarrow{} [u_0,u_m]$ defined by rational splines. More specifically, we construct a…
We introduce a compactification of the space of simple positive divisors on a Riemann surface, as well as a compactification of the universal family of punctured surfaces above this space. These are real manifolds with corners. We then…
In this work, we analyze the relation between reparametrizations of gradient flow and the induced implicit bias in linear models, which encompass various basic regression tasks. In particular, we aim at understanding the influence of the…
We consider 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 surfaces…
We consider the subspace of the homology of a covering space spanned by lifts of simple closed curves. Our main result is the existence of unbranched covers of surfaces where this is a proper subspace. More generally, for a fixed finite…