Background Independence: ${\mathbb{S}}^1$ and $\mathbb{R}$ absolute spaces differ greatly in Shape-and-Scale Theory

Abstract

Kendall-type Shape(-and-Scale) Theory on ${\mathbb{R}}^d$ involves $N$ point configurations therein quotiented by some geometrically meaningful automorphism group. This occurs in Shape Statistics, the Classical and Quantum $N$-body Problem and as a model for many aspects of Generally Relativistic theories' Background Independence. Shape-and-Scale theory on the circle ${\mathbb{S}}^1$ is significant at the level of `rubber shapes' as 1 of only 3 classes of connected-without-boundary absolute spaces. It is also the first ${\mathbb{T}}^d$ and ${\mathbb{RP}}^d$ as well as the first sphere; spheres and tori are motivated by spatially-closed GR and ${\mathbb{RP}}^d$ by Image Analysis and Computer Vision. We now investigate the ${\mathbb{S}}^1$ case at the geometrical level. With $Isom({\mathbb{S}}^1)=SO(2)$ itself a ${\mathbb{S}}^1$, the shape-and-scale $N$-body configuration spaces are systematically ${\mathbb{T}}^{N-1}$. We show moreover that 3 points on the circle already suffices for major differences to occur relative to on the line $\mathbb{R}$. Scale is now obligatory. Totally antipodal configurations are as significant as the maximal collision. Topologically, partially antipodal configurations play an equivalent role to right angles: specifically a $d\ge 2$ notion on ${\mathbb{R}}^d$. Using up less and more arc than an antipodal configuration are the respective topological analogues of acute and obtuse triangles. The idea that quotienting out geometrical automorphisms banishes an incipient notion of absolute space is dead. Such indirect modelling is, rather, well capable of remembering the incipient absolute space's topology. Thus topological considerations of Background Independence have become indispensible even in mechanics models. In General Relativity, this corresponds to passing from Wheeler's Superspace to Fischer's Big Superspace.

29 pages including 24 figures

References in corpus (17)

• Some remarks on the notions of general covariance and background independence
• The Superspace of Geometrodynamics
• Nonparametric statistics on manifolds with applications to shape spaces
• Foundations of Relational Particle Dynamics
• Problem of Time and Background Independence: the Individual Facets
• 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
• Relational mechanics of shape and scale
• Configuration Spaces in Fundamental Physics
• Manifolds of Projective Shapes
• Alice in Triangleland: Lewis Carroll's Pillow Problem and Variants Solved on Shape Space of Triangles
• Two new versions of Heron's Formula
• 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
• Topological Shape Theory

Cited by in corpus (4)

• A Local Resolution of the Problem of Time. I. Introduction and Temporal Relationalism
• $N$-Body Problem: Minimal $N$'s for Qualitative Nontrivialities
• Rubber Relationalism: Smallest Graph-Theoretically Nontrivial Leibniz Spaces
• Quadrilaterals in Shape Theory. II. Alternative Derivations of Shape Space: Successes and Limitations