[論文レビュー] 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

ひとこと要約

本稿は、直線上の3点の配置空間を分析することで、形状理論の基礎的枠組みを提示する。連続的対称性（平行移動、回転、スケーリング）と離散的対称性（鏡映、粒子の区別不能性）を商することで、形状空間と形状・スケール空間を構成する。トポロジカルな形状空間がグラフであることが示され、商過程で特定のキリングベクトルが生存することを明らかにし、関係的物理学および統計学における背景独立性のための組み合わせ的・幾何的基盤を提供する。

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$.

研究の動機と目的

• 直線上の3点という最小ケースを分析することで、形状理論の体系的枠組みを構築し、より大きな系のための基礎的概念を確立すること。
• 平行移動、回転、スケーリング、鏡映、粒子の区別不能性といった連続的および離散的対称性による商が、配置空間を形状空間および形状・スケール空間にどのように変換するかを調査すること。
• 形状理論的アウフバウ・プリンシプル（小さいN、d、Gから始めて、段階的に大きな系へ進むこと）の必要性を確立すること。
• 特に、形状空間のトポロジカルおよび幾何的構造を調査し、それがグラフであることを示すことで、形状理論における新しい組み合わせ的アプローチを開くこと。
• 鏡映および粒子の区別不能性による商過程で、キリングベクトルの運命を調査すること。キリングベクトルは力学および量子化において極めて重要である。

提案手法

• ユークリッド群 $\mathrm{Eucl}(1)$ によるユークリッド配置空間の商として形状・スケール空間を構成し、さらにスケーリングによる商を施して形状空間を定義する。
• 直線上の3点に対するトポロジカルな形状空間がグラフ（特に図8字型または2つの円のワッペン）であることを示し、これは類似変換の下での相対的位置の商として導かれる。
• 微分幾何的技法を用いて元の配置空間上のキリングベクトルを分析し、どのベクトルが商過程を通過しても生存するかを同定する。
• 境界を持つ多様体におけるキリングベクトルの境界条件、特に法成分と接成分に注目し、生存基準を特定する。
• 類似変換のキリングベクトル条件 $\pounds_{\underline{X}}\mathbf{g} = 2k\,\mathbf{g}$ 及びその境界形を用い、商過程後に保存される対称性を同定する。
• 大円および $\mathbb{CP}^k$ の測地線は外在的曲率 $K=0$ を有することを活用し、特定のキリングベクトルが商過程を通過しても生存することを保証する。

実験結果

リサーチクエスチョン

• RQ1 平行移動、回転、スケーリング、鏡映、粒子の区別不能性による商を施した直線上の3点の形状空間のトポロジカル構造は何か？
• RQ2 元の配置空間上のキリングベクトルのうち、どのベクトルが商過程を通過しても生存するのか？その幾何的・力学的意義は何か？
• RQ3 小さいN、d、Gから始める形状理論的アウフバウ・プリンシプルは、形状理論の体系的発展をどのように可能にするか？
• RQ4 外在的曲率および境界条件が、商過程におけるキリングベクトルの生存を決定づける役割を果たすか？
• RQ5 形状空間の組み合わせ的・トポロジカルな特徴（例：グラフ）は、より高次元またはより多くの粒子を含む複雑な形状空間の構造にどのように寄与するか？

主な発見

• 直線上の3点のトポロジカルな形状空間はグラフであり、具体的には図8字型または2つの円のワッペンである。これは類似群の作用の下での相対的位置の商として生じる。
• スケーリング変換に対応するキリングベクトル $D = \rho \frac{\partial}{\partial \rho}$ は、境界に接するため、かつ境界が外在的に平坦（$K=0$）であるため、商過程を通過しても生存する。
• 境界に法線方向を向くキリングベクトルは、境界の平均外在的曲率 $K=0$ のとき生存する。これは大円や $\mathbb{CP}^k$ の測地線に成立する。
• 鏡映および粒子の区別不能性による商では、特定のキリングベクトルしか生存しない。特に、粒子が区別不能な関係的空間の場合、どの平行移動も保存されない。
• キリングベクトルの生存は、ベクトル場の発散、外在的曲率、法成分を含む境界条件によって決定され、法線および接線成分の場合は簡略化された形で表される。
• 本結果は、背景独立性、力学、量子化の分野における形状理論の組み合わせ的・トポロジカルな基盤を提供する。一般相対性理論や量子重力理論などの理論に応用可能である。