Manuscript Oai212-A@1 · Oai212-A.tex · proposition · 79323841
Proposition: Correct cone-promotion boundary
The macroscopic transfer theorem and geometric corrections › Radial speed, normal speed, and promoted cones · lines 485–516 · proof included or linked
Oai212-A@1#prop:cone
For any norm on ,
is a three-dimensional closed proper convex cone. If its base is strictly convex, it is strictly convex in the usual proper-face sense. The dimension requirement in the Itô–Lourenço classification is therefore satisfied after this promotion. The missing hypothesis is homogeneity, not dimension.
Strict convexity and a base alone do not imply that is linearly isomorphic to a Lorentz cone.
Proof. Convexity follows from the triangle inequality and homogeneity of . The cone is closed, pointed, and has nonempty interior. A nontrivial higher-dimensional proper face would cut the section in a nontrivial boundary segment; strict convexity excludes it.
The classification of strictly convex homogeneous proper cones requires homogeneity ItoLourenco. No such property follows from the preceding facts.
For a counterexample, take . Its unit ball is smooth and strictly convex. The associated -cone is not homogeneous and is not a Lorentz cone up to linear isomorphism ItoLourenco.
Displayed formulas in this passage
unlabeled · line 488