Degree-optimal moving frames for rational curves

arXiv1703.03014MaRDI QIDQ6284083FDOQ6284083

Authors: Hoon Hong, Zachary Hough, Irina A. Kogan, Zijia Li 

Publication date: 8 March 2017

Abstract: A $mathitextmovingframe$ at a rational curve is a basis of vectors moving along the curve. When the rational curve is given parametrically by a row vector $mathbfa$ of univariate polynomials, a moving frame with important algebraic properties can be defined by the columns of an invertible polynomial matrix $P$, such that $mathbfaP=[gcd(mathbfa),0ldots,0]$. A $mathitextdegree-optimalmovingframe$ has column-wise minimal degree, where the degree of a column is defined to be the maximum of the degrees of its components. Algebraic moving frames are closely related to the univariate versions of the celebrated Quillen-Suslin problem, effective Nullstellensatz problem, and syzygy module problem. However, this paper appears to be the first devoted to finding an efficient algorithm for constructing a degree-optimal moving frame, a property desirable in various applications. We compare our algorithm with other possible approaches, based on already available algorithms, and show that it is more efficient. We also establish several new theoretical results concerning the degrees of an optimal moving frame and its components. In addition, we show that any deterministic algorithm for computing a degree-optimal algebraic moving frame can be augmented so that it assigns a degree-optimal moving frame in a $G{L}_n(mathbbK)$-equivariant manner. This crucial property of classical geometric moving frames, in combination with the algebraic properties, can be exploited in various problems.

This page was built for publication: Degree-optimal moving frames for rational curves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6284083)