Conformal Villarceau Rotors

We consider Villarceau circles as the orbits of specific composite rotors in 3D conformal geometric algebra that generate knots on nested tori. We compute the conformal parametrization of these circular orbits by giving an equivalent, position-dependent simple rotor that generates the same parametric track for a given point. This allows compact derivation of the quantitative symmetry properties of the Villarceau circles. We briefly derive their role in the Hopf fibration and as stereographic images of isoclinic rotations on a 3-sphere of the 4D Clifford torus. We use the CGA description to generate 3D images of our results, by means of GAviewer. This paper was motivated by the hope that the compact coordinate-free CGA representations can aid in the analysis of Villarceau circles (and torus knots) as occurring in the Maxwell and Dirac equations

Minkowski Actions of Quaternion Sets and their Applications

Applications of Laguerre geometry to computer aided geometric design are presented, realized through Minkowski actions. Basic Laguerre geometry is first discussed. Then quaternions, set multiplication, and the use of quaternion sets to define Minkowski actions are described and used to achieve results used in geometric design

Schwarzian Derivatives and Flows of Surfaces

This paper goes some way in explaining how to construct an integrable hierarchy of flows on the space of conformally immersed tori in n-space. These flows have first occured in mathematical physics -- the Novikov-Veselov and Davey-Stewartson hierarchies -- as kernel dimension preserving deformations of the Dirac operator. Later, using spinorial representations of surfaces, the same flows were interpreted as deformations of surfaces in 3- and 4-space preserving the Willmore energy. This last property suggest that the correct geometric setting for this theory is Moebius invariant surface geometry. We develop this view point in the first part of the paper where we derive the fundamental invariants -- the Schwarzian derivative, the Hopf differential and a normal connection -- of a conformal immersion into n-space together with their integrability equations. To demonstrate the effectivness of our approach we discuss and prove a variety of old and new results from conformal surface theory. In the the second part of the paper we derive the Novikov-Veselov and Davey-Stewartson flows on conformally immersed tori by Moebius invariant geometric deformations. We point out the analogy to a similar derivation of the KdV hierarchy as flows on Schwarzian's of meromorphic functions. Special surface classes, e.g. Willmore surfaces and isothermic surfaces, are preserved by the flows

Geometry and Topology of the Minkowski Product

The Minkowski product can be viewed as a higher dimensional version of interval arithmetic. We discuss a collection of geometric constructions based on the Minkowski product and on one of its natural generalizations, the quaternion action. We also will present some topological facts about these products, and discuss the applications of these constructions to computer aided geometric design

The Relation Between Offset and Conchoid Constructions

The one-sided offset surface Fd of a given surface F is, roughly speaking, obtained by shifting the tangent planes of F in direction of its oriented normal vector. The conchoid surface Gd of a given surface G is roughly speaking obtained by increasing the distance of G to a fixed reference point O by d. Whereas the offset operation is well known and implemented in most CAD-software systems, the conchoid operation is less known, although already mentioned by the ancient Greeks, and recently studied by some authors. These two operations are algebraic and create new objects from given input objects. There is a surprisingly simple relation between the offset and the conchoid operation. As derived there exists a rational bijective quadratic map which transforms a given surface F and its offset surfaces Fd to a surface G and its conchoidal surface Gd, and vice versa. Geometric properties of this map are studied and illustrated at hand of some complete examples. Furthermore rational universal parameterizations for offsets and conchoid surfaces are provided

Geometric algorithms for algebraic curves and surfaces

This work presents novel geometric algorithms dealing with algebraic curves and surfaces of arbitrary degree. These algorithms are exact and complete — they return the mathematically true result for all input instances. Efficiency is achieved by cutting back expensive symbolic computation and favoring combinatorial and adaptive numerical methods instead, without spoiling exactness in the overall result. We present an algorithm for computing planar arrangements induced by real algebraic curves. We show its efficiency both in theory by a complexity analysis, as well as in practice by experimental comparison with related methods. For the latter, our solution has been implemented in the context of the Cgal library. The results show that it constitutes the best current exact implementation available for arrangements as well as for the related problem of computing the topology of one algebraic curve. The algorithm is also applied to related problems, such as arrangements of rotated curves, and arrangments embedded on a parameterized surface. In R3, we propose a new method to compute an isotopic triangulation of an algebraic surface. This triangulation is based on a stratification of the surface, which reveals topological and geometric information. Our implementation is the first for this problem that makes consequent use of numerical methods, and still yields the exact topology of the surface.Diese Arbeit stellt neue Algorithmen für algebraische Kurven und Flächen von beliebigem Grad vor. Diese Algorithmen liefern für alle Eingaben das mathematisch korrekte Ergebnis. Wir erreichen Effizienz, indem wir aufwendige symbolische Berechnungen weitesgehend vermeiden, und stattdessen kombinatorische und adaptive numerische Methoden einsetzen, ohne die Exaktheit des Resultats zu zerstören. Der Hauptbeitrag ist ein Algorithmus zur Berechnung von planaren Arrangements, die durch reelle algebraische Kurven induziert sind. Wir weisen die Effizienz des Verfahrens sowohl theoretisch durch eine Komplexitätsanalyse, als auch praktisch durch experimentelle Vergleiche nach. Dazu haben wir unser Verfahren im Rahmen der Softwarebibliothek Cgal implementiert. Die Resultate belegen, dass wir die zur Zeit beste verfügbare exakte Software bereitstellen. Der Algorithmus wird zur Arrangementberechnung rotierter Kurven, oder für Arrangements auf parametrisierten Oberflächen eingesetzt. Im R3 geben wir ein neues Verfahren zur Berechnung einer isotopen Triangulierung einer algebraischen Oberfläche an. Diese Triangulierung basiert auf einer Stratifizierung der Oberfläche, die topologische und geometrische Informationen berechnet. Unsere Implementierung ist die erste für dieses Problem, welche numerische Methoden konsequent einsetzt, und dennoch die exakte Topologie der Oberfläche liefert

Affine equivalences of surfaces of translation and minimal surfaces, and applications to symmetry detection and design

We introduce a characterization for affine equivalence of two surfaces of translation defined by either rational or meromorphic generators. In turn, this induces a similar characterization for minimal surfaces. In the rational case, our results provide algorithms for detecting affine equivalence of these surfaces, and therefore, in particular, the symmetries of a surface of translation or a minimal surface of the considered types. Additionally, we apply our results to designing surfaces of translation and minimal surfaces with symmetries, and to computing the symmetries of the higher-order Enneper surfaces.publishedVersio