Manifolds of Projective Shapes

Abstract

The projective shape of a configuration of k points or "landmarks" in RP(d) consists of the information that is invariant under projective transformations and hence is reconstructable from uncalibrated camera views. Mathematically, the space of projective shapes for these k landmarks can be described as the quotient space of k copies of RP(d) modulo the action of the projective linear group PGL(d). Using homogeneous coordinates, such configurations can be described as real k-times-(d+1)-dimensional matrices given up to left-multiplication of non-singular diagonal matrices, while the group PGL(d) acts as GL(d+1) from the right. The main purpose of this paper is to give a detailed examination of the topology of projective shape space, and, using matrix notation, it is shown how to derive subsets that are in a certain sense maximal, differentiable Hausdorff manifolds which can be provided with a Riemannian metric. A special subclass of the projective shapes consists of the Tyler regular shapes, for which geometrically motivated pre-shapes can be defined, thus allowing for the construction of a natural Riemannian metric.

Cited by in corpus (15)

• The Smallest Shape Spaces. I. Shape Theory Posed, with Example of 3 Points on the Line
• The Smallest Shape Spaces. III. Triangles in 2- and 3-d
• The Smallest Shape Spaces. II. 4 Points in 1-d Suffices to have a Complex Background-Independent Theory of Inhomogeneity
• Alice in Triangleland: Lewis Carroll's Pillow Problem and Variants Solved on Shape Space of Triangles
• Finite Sample Smeariness of Fréchet Means and Application to Climate
• $N$-Body Problem: Minimal $N$'s for Qualitative Nontrivialities
• Maximal Angle Flow on the Shape Sphere of Triangles
• Monopoles of Twelve Types in 3-Body Problems
• Shape (In)dependent Inequalities for Triangleland's Jacobi and Democratic-Linear Ellipticity Quantitities
• Specific PDEs for Preserved Quantities in Geometry. III. 1-d Projective Transformations and Subgroups
• Background Independence: ${\mathbb{S}}^1$ and $\mathbb{R}$ absolute spaces differ greatly in Shape-and-Scale Theory
• Topological Shape Theory
• Rubber Relationalism: Smallest Graph-Theoretically Nontrivial Leibniz Spaces
• Quadrilaterals in Shape Theory. II. Alternative Derivations of Shape Space: Successes and Limitations
• Isotropy Groups and Kinematic Orbits for 1 and 2-$d$ $N$-Body Problems