[论文解读] The Smallest Shape Spaces. I. Shape Theory Posed, with Example of 3 Points on the Line

Edward Anderson|arXiv (Cornell University)|Nov 28, 2017

Advanced Mathematical Theories and Applications参考文献 39被引用 20

一句话总结

本文通过分析直线上三点的构型空间，引入了形状理论的基础框架，通过商去连续对称性（平移、旋转、缩放）和离散对称性（镜像、粒子不可区分性），建立了拓扑形状空间为图的结论，揭示了特定基灵矢量在商化过程中的保留，并为关系物理与统计学中的背景独立性提供了组合与几何基础。

ABSTRACT

This treatise concerns shapes in the sense of constellations of points with various automorphisms quotiented out: continuous translations, rotations and dilations, and also discrete mirror image identification and labelling indistinguishability of the points. We consider in particular the corresponding configuration spaces, which include shape spaces and shape-and-scale spaces. This is a substantial model arena for developing concepts of Background Independence, with many analogies to General Relativity and Quantum Gravity, also with many applications to Dynamics, Quantization, Probability and Statistics. We also explain the necessity of working within the shape-theoretic Aufbau Principle: only considering larger particle number $N$, spatial dimension $d$ and continuous group of automorphisms $G$ when all the relatively smaller cases have been considered. We show that topological shape spaces are graphs, opening up hitherto untapped combinatorial foundations both for these and for topological features of the more usually-considered spaces of metric shapes. We give a conceptual analysis of inhomogeneous Background Independence's clustering and uniformness aspects. We also consider the fate of shape spaces' (similarity) Killing vectors upon performing the mirror image and particle indistinguishability quotientings; this is crucial for dynamical and quantization considerations. For now in Part I we illustrate all these topological, combinatorial, differential-geometric and inhomogeneity innovations with the example of 3 points in 1-$d$. Papers II to IV then extend the repertoire of examples to 4 points in 1-$d$, triangles (3 points in 2- and 3-$d$) and quadrilaterals (4 points in 2-$d$) respectively. The quadrilateral is a minimal requirement prior to most implementations of the third part of the shape-theoretic Aufbau Principle: adding further generators to the automorphism group $G$.

研究动机与目标

• 通过分析直线上三点的最小情形，系统地构建形状理论的框架，为更大系统建立基础概念。
• 探讨通过连续与离散对称性（平移、旋转、缩放、镜像、粒子不可区分性）商化构型空间，如何将其转化为形状空间与形状-尺度空间。
• 确立形状理论建构原理（Aufbau Principle）的必要性：即在推进到更大情形前，应从更小的 N、d 和 G 开始逐步构建理解。
• 研究形状空间的拓扑与几何结构，特别是证明其为图，从而在形状理论中开辟新的组合路径。
• 分析基灵矢量（对动力学与量子化至关重要）在镜像与粒子不可区分性商化过程中的命运。

提出的方法

• 将形状-尺度空间构造为欧几里得构型空间对欧几里得群 $\mathrm{Eucl}(1)$ 的商空间，并通过进一步商去缩放对称性，得到形状空间。
• 证明直线上三点的拓扑形状空间为图（具体而言，是两个圆的楔积，即 figure-eight 图形），该结果源于相对位置在相似性群作用下的商化。
• 应用微分几何技术分析原始构型空间上的基灵矢量，并确定哪些在商化过程中得以保留。
• 利用流形边界上基灵矢量的边界条件，特别是法向与切向分量，以确定其保留条件。
• 应用相似性基灵矢量条件 $\pounds_{\underline{X}}\mathbf{g} = 2k\,\mathbf{g}$ 及其边界形式，以识别商化后保留的对称性。
• 利用大圆与 $\mathbb{CP}^k$ 测地线具有零外曲率（$K=0$）的事实，确保某些基灵矢量在商化过程中得以保留。

实验结果

研究问题

• RQ1 在商去平移、旋转、缩放、镜像与粒子不可区分性后，直线上三点的形状空间的拓扑结构是什么？
• RQ2 原始构型空间中的哪些基灵矢量在商化过程中得以保留，其几何与动力学意义为何？
• RQ3 形状理论的建构原理——即从更小的 N、d 与 G 逐步构建——如何实现形状理论的系统性发展？
• RQ4 外曲率与边界条件在决定基灵矢量在商化过程中是否保留方面起什么作用？
• RQ5 形状空间的组合与拓扑特性（如图结构）如何为更高维度或更多粒子的更复杂形状空间提供结构启示？

主要发现

• 直线上三点的拓扑形状空间为图，具体为 figure-eight 或两个圆的楔积，源于相似性群作用下相对位置的商化。
• 对应于尺度变换的基灵矢量 $D = \rho \frac{\partial}{\partial \rho}$ 在商化过程中得以保留，因其与边界相切，且边界具有零外曲率（$K=0$）。
• 法向于边界的基灵矢量若边界具有零平均外曲率（$K=0$）则得以保留，该条件对大圆与 $\mathbb{CP}^k$ 测地线成立。
• 仅特定的基灵矢量在镜像与粒子不可区分性商化过程中得以保留；特别是，粒子不可区分性情形下的关系空间不保留任何平移对称性。
• 基灵矢量的保留由涉及矢量场散度、外曲率与法向分量的边界条件决定，法向与切向情形有简化形式。
• 结果为形状理论提供了组合与拓扑基础，对广义相对论与量子引力等理论中的背景独立性、动力学与量子化具有重要意义。