On Vertices and Focal Curvatures of Space Curves

The {em focal curve} of an immersed smooth curve $gamma:smapsto gamma(s)$, in Euclidean space $R^{m+1}$, consists of the centres of its osculating hyperspheres. The focal curve may be parametrised in terms of the Frenet frame of $gamma$ (${bf t},{bf n}_1, ...,{bf n}_m$), as $C_gamma(s)=(gamma+c_1{bf n}_1+c_2{bf n}_2+...+c_m{bf n}_m)(s)$, where the coefficients $c_1,...,c_{m-1}$ are smooth functions that we call the {em focal curvatures} of $gamma$. We discovered a remarkable formula relating the Euclidean curvatures $kappa_i$, $i=1,...,m$, of $gamma$ with its focal curvatures. We show that the focal curvatures satisfy a system of Frenet equations (not vectorial, but scalar!). We use the properties of the focal curvatures in order to give, for $k=1,...,m$, necessary and sufficient conditions for the radius of the osculating $k$-dimensional sphere to be critical. We also give necessary and sufficient conditions for a point of $gamma$ to be a vertex. Finally, we show explicitly the relations of the Frenet frame and the Euclidean curvatures of $gamma$ with the Frenet frame and the Euclidean curvatures of its focal curve $C_gamma$.