-
Minimal Surfaces via Complex Quaternions
Authors:
Amedeo Altavilla,
Hans-Peter Schröcker,
Zbyněk Šír,
Jan Vršek
Abstract:
Minimal surfaces play a fundamental role in differential geometry, with applications spanning physics, material science, and geometric design. In this paper, we explore a novel quaternionic representation of minimal surfaces, drawing an analogy with the well-established theory of Pythagorean Hodograph (PH) curves. By exploiting the algebraic structure of complex quaternions, we introduce a new app…
▽ More
Minimal surfaces play a fundamental role in differential geometry, with applications spanning physics, material science, and geometric design. In this paper, we explore a novel quaternionic representation of minimal surfaces, drawing an analogy with the well-established theory of Pythagorean Hodograph (PH) curves. By exploiting the algebraic structure of complex quaternions, we introduce a new approach to generating minimal surfaces via quaternionic transformations. This method extends classical Weierstraß-Enneper representations and provides insights into the interplay between quaternionic analysis, PH curves, and minimal surface geometry. Additionally, we discuss the role of the Sylvester equation in this framework and demonstrate practical examples, including the construction of Enneper surface patches. The findings open new avenues in computational geometry and geometric modeling, bridging abstract algebraic structures with practical applications in CAD and computer graphics.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
Characterization of polynomial surfaces of revolution and polynomial quadrics
Authors:
Michal Bizzarri,
Miroslav Lávička,
J. Rafael Sendra,
Jan Vršek
Abstract:
In this paper, we characterize the polynomiality of surfaces of revolution by means of the polynomiality of an associated plane curve. In addition, if the surface of revolution is polynomial, we provide formulas for computing a polynomial parametrization, over $\mathbb{C}$, of the surface. Furthermore, we perform the first steps towards the analysis of the existence, and actual computation, of rea…
▽ More
In this paper, we characterize the polynomiality of surfaces of revolution by means of the polynomiality of an associated plane curve. In addition, if the surface of revolution is polynomial, we provide formulas for computing a polynomial parametrization, over $\mathbb{C}$, of the surface. Furthermore, we perform the first steps towards the analysis of the existence, and actual computation, of real polynomial parametrizations of surfaces of revolution. As a consequence, we give a complete picture of the real polynomiality of quadrics and we formulate a conjecture for the general case.
△ Less
Submitted 21 January, 2025;
originally announced January 2025.
-
Reconstruction of rational ruled surfaces from their silhouettes
Authors:
Matteo Gallet,
Niels Lubbes,
Josef Schicho,
Jan Vršek
Abstract:
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…
▽ More
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 exploiting the information contained in the singularities of the apparent contour.
△ Less
Submitted 27 April, 2021; v1 submitted 28 May, 2019;
originally announced May 2019.
-
Reconstruction of surfaces with ordinary singularities from their silhouettes
Authors:
Matteo Gallet,
Niels Lubbes,
Josef Schicho,
Jan Vršek
Abstract:
We present algorithms for reconstructing, up to unavoidable projective automorphisms, surfaces with ordinary singularities in three dimensional space starting from their silhouette, or "apparent contour" - namely the branching locus of a projection on the plane - and the projection of their singular locus.
We present algorithms for reconstructing, up to unavoidable projective automorphisms, surfaces with ordinary singularities in three dimensional space starting from their silhouette, or "apparent contour" - namely the branching locus of a projection on the plane - and the projection of their singular locus.
△ Less
Submitted 23 April, 2021; v1 submitted 12 October, 2018;
originally announced October 2018.
-
Computing projective equivalences of special algebraic varieties
Authors:
Michal Bizzarri,
Miroslav Lávička,
Jan Vršek
Abstract:
This paper is devoted to the investigation of selected situations when the computation of projective (and other) equivalences of algebraic varieties can be efficiently solved with the help of finding projective equivalences of finite sets on the projective line. In particular, we design a unifying approach that finds for two algebraic varieties $X,Y$ from special classes an associated set of autom…
▽ More
This paper is devoted to the investigation of selected situations when the computation of projective (and other) equivalences of algebraic varieties can be efficiently solved with the help of finding projective equivalences of finite sets on the projective line. In particular, we design a unifying approach that finds for two algebraic varieties $X,Y$ from special classes an associated set of automorphisms of the projective line (the so called good candidate set) consisting of candidates for the construction of possible mappings $X\rightarrow Y$. The functionality of the designed method is presented on computing projective equivalences of rational curves, on determining projective equivalences of rational ruled surfaces, on the detection of affine transformations between planar curves, and on computing similarities between two implicitly given algebraic surfaces. When possible, symmetries of given shapes are also discussed as special cases.
△ Less
Submitted 15 June, 2018;
originally announced June 2018.
-
Symmetries and similarities of planar algebraic curves using harmonic polynomials
Authors:
Juan Gerardo Alcázar,
Miroslav Lávička,
Jan Vršek
Abstract:
We present novel, deterministic, efficient algorithms to compute the symmetries of a planar algebraic curve, implicitly defined, and to check whether or not two given implicit planar algebraic curves are similar, i.e. equal up to a similarity transformation. Both algorithms are based on the fact, well-known in Harmonic Analysis, that the Laplacian operator commutes with orthogonal transformations,…
▽ More
We present novel, deterministic, efficient algorithms to compute the symmetries of a planar algebraic curve, implicitly defined, and to check whether or not two given implicit planar algebraic curves are similar, i.e. equal up to a similarity transformation. Both algorithms are based on the fact, well-known in Harmonic Analysis, that the Laplacian operator commutes with orthogonal transformations, and on efficient algorithms to find the symmetriessimilarities of a harmonic algebraic curvetwo given harmonic algebraic curves. In fact, we show that in general the problem can be reduced to the harmonic case, except for some special cases, easy to treat.
△ Less
Submitted 30 January, 2018;
originally announced January 2018.
-
Contour curves and isophotes on rational ruled surfaces
Authors:
Jan Vršek
Abstract:
The ruled surfaces, i.e., surfaces generated by one parametric set of lines, are widely used in the~field of applied geometry. An~isophote on a surface is a curve consisting of surface points whose normals form a constant angle with some fixed vector. Choosing an angle equal to $π/2$ we obtain a special instance of a~isophote -- the so called contour curve. While contours on rational ruled surface…
▽ More
The ruled surfaces, i.e., surfaces generated by one parametric set of lines, are widely used in the~field of applied geometry. An~isophote on a surface is a curve consisting of surface points whose normals form a constant angle with some fixed vector. Choosing an angle equal to $π/2$ we obtain a special instance of a~isophote -- the so called contour curve. While contours on rational ruled surfaces are rational curves, this is no longer true for the isophotes. Hence we will provide a formula for their genus. Moreover we will show that the only surfaces with a~rational generic contour are just rational ruled surfaces and a one particular class of cubic surfaces. In addition we will deal with the reconstruction of ruled surfaces from their contours and silhouettes.
△ Less
Submitted 26 September, 2016;
originally announced September 2016.
-
Hermite interpolation by piecewise polynomial surfaces with polynomial area element
Authors:
Michal Bizzarri,
Miroslav Lávička,
Zbyňek Šír,
Jan Vršek
Abstract:
This paper is devoted to the construction of polynomial 2-surfaces which possess a polynomial area element. In particular we study these surfaces in the Euclidean space $\mathbb R^3$ (where they are equivalent to the PN surfaces) and in the Minkowski space $\mathbb R^{3,1}$ (where they provide the MOS surfaces). We show generally in real vector spaces of any dimension and any metric that the Gram…
▽ More
This paper is devoted to the construction of polynomial 2-surfaces which possess a polynomial area element. In particular we study these surfaces in the Euclidean space $\mathbb R^3$ (where they are equivalent to the PN surfaces) and in the Minkowski space $\mathbb R^{3,1}$ (where they provide the MOS surfaces). We show generally in real vector spaces of any dimension and any metric that the Gram determinant of a parametric set of subspaces is a perfect square if and only if the Gram determinant of its orthogonal complement is a perfect square. Consequently the polynomial surfaces of a given degree with polynomial area element can be constructed from the prescribed normal fields solving a system of linear equations. The degree of the constructed surface depending on the degree and the quality of the prescribed normal field is investigated and discussed. We use the presented approach to interpolate a network of points and associated normals with piecewise polynomial surfaces with polynomial area element and demonstrate our method on a number of examples (constructions of quadrilateral as well as triangular patches
△ Less
Submitted 17 September, 2016;
originally announced September 2016.
-
Recognizing implicitly given rational canal surfaces
Authors:
Jan Vršek,
Miroslav Lávička
Abstract:
It is still a challenging task of today to recognize the type of a given algebraic surface which is described only by its implicit representation. In~this paper we will investigate in more detail the case of canal surfaces that are often used in geometric modelling, Computer-Aided Design and technical practice (e.g. as blending surfaces smoothly joining two parts with circular ends). It is known t…
▽ More
It is still a challenging task of today to recognize the type of a given algebraic surface which is described only by its implicit representation. In~this paper we will investigate in more detail the case of canal surfaces that are often used in geometric modelling, Computer-Aided Design and technical practice (e.g. as blending surfaces smoothly joining two parts with circular ends). It is known that if the squared medial axis transform is a rational curve then so is also the corresponding surface. However, starting from a polynomial it is not known how to decide if the corresponding algebraic surface is rational canal surface or not. Our goal is to formulate a simple and efficient algorithm whose input is a~polynomial with the coefficients from some subfield of real numbers and the output is the answer whether the surface is a rational canal surface. In the affirmative case we also compute a rational parameterization of the squared medial axis transform which can be then used for finding a rational parameterization of the implicitly given canal surface.
△ Less
Submitted 14 October, 2014;
originally announced October 2014.
-
Determining surfaces of revolution from their implicit equations
Authors:
Jan Vršek,
Miroslav Lávička
Abstract:
Results of number of geometric operations (often used in technical practise, as e.g. the operation of blending) are in many cases surfaces described implicitly. Then it is a challenging task to recognize the type of the obtained surface, find its characteristics and for the rational surfaces compute also their parameterizations. In this contribution we will focus on surfaces of revolution. These o…
▽ More
Results of number of geometric operations (often used in technical practise, as e.g. the operation of blending) are in many cases surfaces described implicitly. Then it is a challenging task to recognize the type of the obtained surface, find its characteristics and for the rational surfaces compute also their parameterizations. In this contribution we will focus on surfaces of revolution. These objects, widely used in geometric modelling, are generated by rotating a generatrix around a given axis. If the generatrix is an algebraic curve then so is also the resulting surface, described uniquely by a polynomial which can be found by some well-established implicitation technique. However, starting from a polynomial it is not known how to decide if the corresponding algebraic surface is rotational or not. Motivated by this, our goal is to formulate a simple and efficient algorithm whose input is a polynomial with the coefficients from some subfield of $\mathbb{R}$ and the output is the answer whether the shape is a surface of revolution. In the affirmative case we also find the equations of its axis and generatrix. Furthermore, we investigate the problem of rationality and unirationality of surfaces of revolution and show that this question can be efficiently answered discussing the rationality of a certain associated planar curve.
△ Less
Submitted 10 July, 2014;
originally announced July 2014.
