The implicit equation of a canal surface

A canal surface is an envelope of a one parameter family of spheres. In this paper we present an efficient algorithm for computing the implicit equation of a canal surface generated by a rational family of spheres. By using Laguerre and Lie geometries, we relate the equation of the canal surface to the equation of a dual variety of a certain curve in 5-dimensional projective space. We define the \mu-basis for arbitrary dimension and give a simple algorithm for its computation. This is then applied to the dual variety, which allows us to deduce the implicit equations of the the dual variety, the canal surface and any offset to the canal surface.Comment: 26 pages, to be published in Journal of Symbolic Computatio

Sparse implicitization by interpolation: Characterizing non-exactness and an application to computing discriminants

We revisit implicitization by interpolation in order to examine its properties in the context of sparse elimination theory. Based on the computation of a superset of the implicit support, implicitization is reduced to computing the nullspace of a numeric matrix. The approach is applicable to polynomial and rational parameterizations of curves and (hyper)surfaces of any dimension, including the case of parameterizations with base points. Our support prediction is based on sparse (or toric) resultant theory, in order to exploit the sparsity of the input and the output. Our method may yield a multiple of the implicit equation: we characterize and quantify this situation by relating the nullspace dimension to the predicted support and its geometry. In this case, we obtain more than one multiples of the implicit equation; the latter can be obtained via multivariate polynomial gcd (or factoring). All of the above techniques extend to the case of approximate computation, thus yielding a method of sparse approximate implicitization, which is important in tackling larger problems. We discuss our publicly available Maple implementation through several examples, including the benchmark of bicubic surface. For a novel application, we focus on computing the discriminant of a multivariate polynomial, which characterizes the existence of multiple roots and generalizes the resultant of a polynomial system. This yields an efficient, output-sensitive algorithm for computing the discriminant polynomial

On the implicit equation of conics and quadrics offsets

A new determinantal representation for the implicit equation of offsets to conics and quadrics is derived. It is simple, free of extraneous components and provides a very compact expanded form, these representations being very useful when dealing with geometric queries about offsets such as point positioning or solving intersection purposes. It is based on several classical results in ?A Treatise on the Analytic Geometry of Three Dimensions? by G. Salmon for offsets to non-degenerate conics and central quadrics.This research was funded by the Spanish Ministerio de Economía y Competitividad and by the European Regional Development Fund (ERDF), under the project MTM2017-88796-P

Algebro-geometric analysis of bisectors of two algebraic plane curves

In this paper, a general theoretical study, from the perspective of the algebraic geometry, of the untrimmed bisector of two real algebraic plane curves is presented. The curves are considered in C2, and the real bisector is obtained by restriction to R2. If the implicit equations of the curves are given, the equation of the bisector is obtained by projection from a variety contained in C7, called the incidence variety, into C2. It is proved that all the components of the bisector have dimension 1. A similar method is used when the curves are given by parametrizations, but in this case, the incidence variety is in C5. In addition, a parametric representation of the bisector is introduced, as well as a method for its computation. Our parametric representation extends the representation in Farouki and Johnstone (1994b) to the case of rational curves

Tensor Algebra: A Combinatorial Approach to the Projective Geometry of Figures

This paper explores the combinatorial aspects of symmetric and antisymmetric forms represented in tensor algebra. The development of geometric perspective gained from tensor algebra has resulted in the discovery of a novel projection operator for the Chow form of a curve in P3 with applications to computer vision

Mirror Symmetry for Two Parameter Models -- II

We describe in detail the space of the two K\"ahler parameters of the Calabi--Yau manifold $\P_4^{(1,1,1,6,9)}[18]$ by exploiting mirror symmetry. The large complex structure limit of the mirror, which corresponds to the classical large radius limit, is found by studying the monodromy of the periods about the discriminant locus, the boundary of the moduli space corresponding to singular Calabi--Yau manifolds. A symplectic basis of periods is found and the action of the $Sp(6,\Z)$ generators of the modular group is determined. From the mirror map we compute the instanton expansion of the Yukawa couplings and the generalized $N=2$ index, arriving at the numbers of instantons of genus zero and genus one of each degree. We also investigate an $SL(2,\Z)$ symmetry that acts on a boundary of the moduli space.Comment: 57 pages + 9 figures using eps

On the spatial evolution of long-wavelength Goertler vortices governed by a viscous-inviscid interaction

The generation of long-wavelength, viscous-inviscid interactive Goertler vortices is studied in the linear regime by numerically solving the time-dependent governing equations. It is found that time-dependent surface deformations, which assume a fixed nonzero shape at large times, generate steady Goertler vortices that amplify in the downstream direction. Thus, the Goertler instability in this regime is shown to be convective in nature, contrary to the earlier findings of Ruban and Savenkov. The disturbance pattern created by steady and streamwise-elongated surface obstacles on a concave surface is examined in detail, and also contrasted with the flow pattern due to roughness elements with aspect ratio of order unity on flat surfaces. Finally, the applicability of the Briggs-Bers criterion to unstable physical systems of this type is questioned by providing a counterexample in the form of the inviscid limit of interactive Goertler vortices