Typical curvature behaviour of bodies of constant width (Q488964)

The authors study typical (in the sense of Baire category) convex bodies of constant width in \( {\mathbb R}^n \). Let \( {\mathcal H}^{n-1} \) be the \( (n-1)\)-dimensional Hausdorff measure on the sphere. The main results of the paper are: { Theorem 1.1.} A typical convex body \( K \) of constant width \(1\) in \( {\mathbb R}^n \) has the property that for \( {\mathcal H}^{n-1}\)-almost all \( u \in {\mathbb S}^{n-1}\), either all radii of curvature of \( K \) at the normal vector \( u \) are equal to \(1\) or at least one radius of curvature at \( u \) is equal to \(0\). { Theorem 1.2.} A typical convex body \( K \) of constant width \(1\) in \( {\mathbb R}^n \) has the property that for \( {\mathcal H}^{n-1}\)-almost all \( x \in \text{bd}\, K \), all radii of curvature of \( K \) at \( x \) are equal to \(1\). Moreover, \( K \) has an uncountable, dense set of boundary points at which all radii of curvature are zero. { Theorem 6.4.} A typical convex body \( K \) of constant width \(1\) in \( {\mathbb R}^n \) has the following properties. It is smooth and strictly convex, hence all of its support elements are regular. For each \( u \in {\mathbb S}^{n-1}\), either \( \bar {\varrho}_s (K,u,t) = 1 \) for all \( t \in u^{\perp} \cap {\mathbb S}^{n-1} \) or \( {\varrho}_i (K,u,t) = 0 \) for at least one \( t \in u^{\perp} \cap {\mathbb S}^{n-1} \). Here, \( \bar {\varrho}_s \) and \( {\varrho}_i\) denote the upper and, respectively, lower radii of curvature at a boundary point with an outer unit normal vector \( u\). The bar in \( \bar {\varrho}_s \) means that one should calculate here the curvature of the projection of the body \( K \) onto the 2-D plane spanned by \( t \) and \( u \).