[논문 리뷰] The Smallest Shape Spaces. I. Shape Theory Posed, with Example of 3 Points on the Line

Edward Anderson|arXiv (Cornell University)|2017. 11. 28.

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개 점이라는 최소한의 경우를 분석하여 형상 이론의 체계적인 프레임워크를 구축하고, 더 큰 시스템에 대한 기본 개념을 수립하기 위해.
• 이동, 회전, 확대, 거울 대칭, 입자 구분 불가능성 등의 연속적·이산적 대칭성에 의한 몰입을 통해 구성 공간이 어떻게 형상 공간과 형상-스케일 공간으로 변환되는지 탐구하기 위해.
• 형상이론적 Aufbau 원칙의 필요성을 규명하기 위해: 더 큰 경우로 나아가기 전에 더 작은 N, d, G에서 이해를 쌓는 것.
• 특히 형상 공간의 위상수학적 및 기하학적 구조를 조사하여, 그것이 그래프임을 보이며, 형상 이론에서 새로운 조합론적 길을 열어 놓기 위해.
• 거울 대칭과 입자 구분 불가능성에 의한 몰입 과정에서 카일링 벡터의 운명을 분석하기 위해.

제안 방법

• 유클리드 군 $\mathrm{Eucl}(1)$에 의한 유클리드 구성 공간의 몫으로 형상-스케일 공간을 구성하고, 추가로 확대에 의한 몫을 취하여 형상 공간을 구성한다.
• 직선 위의 3개 점에 대한 위상수학적 형상 공간이 그래프임을 증명한다(특히, 두 원이 한 점에서 붙은 도형, 즉 '8자' 또는 웨지 두 개의 원), 이는 대칭 작용 하에서 상대적 위치의 몫을 취함으로써 유도된다.
• 원래의 구성 공간에서 카일링 벡터를 분석하기 위해 미분기하학적 기법을 적용하고, 몰입 과정에서 어떤 카일링 벡터가 유지되는지 규명한다.
• 경계 조건을 이용하여 경계가 있는 다양체에서 카일링 벡터의 경계 조건을 분석하고, 특히 법선 및 접선 성분에 중점을 두어 유지 조건을 규명한다.
• 유사성 카일링 벡터 조건 $\pounds_{\underline{X}}\mathbf{g} = 2k\,\mathbf{g}$ 와 그 경계 형태를 적용하여 몰입 후에도 유지되는 대칭성을 식별한다.
• 큰 원과 $\mathbb{CP}^k$ 기하선이 외적 곡률($K=0$)을 가지므로, 특정 카일링 벡터가 몰입 과정에서 유지됨을 이용한다.

실험 결과

연구 질문

• RQ1 이동, 회전, 확대, 거울 대칭, 입자 구분 불가능성에 의한 몰입을 거친 후, 직선 위의 3개 점에 대한 형상 공간의 위상수학적 구조는 무엇인가?
• RQ2 원래의 구성 공간의 카일링 벡터 중 어떤 것이 몰입 과정을 거쳐도 유지되며, 그 기하학적·역학적 의미는 무엇인가?
• RQ3 작은 N, d, G에서 출발하여 점진적으로 발전시키는 형상이론적 Aufbau 원칙은 어떻게 형상 이론의 체계적 발전을 가능하게 하는가?
• RQ4 외적 곡률과 경계 조건이 몰입 과정에서 카일링 벡터의 유지 여부를 결정하는 데 어떤 역할을 하는가?
• RQ5 형상 공간의 조합론적·위상수학적 특성(예: 그래프)은 더 높은 차원이나 더 많은 입자를 가진 복잡한 형상 공간의 구조에 어떻게 기여하는가?

주요 결과

• 직선 위의 3개 점에 대한 위상수학적 형상 공간은 그래프이며, 특히 두 원이 한 점에서 붙은 도형(8자 또는 웨지 두 개의 원)으로 나타나며, 이는 유사성 군의 작용 하에서 상대적 위치의 몫을 취함으로써 유도된다.
• 크기 변환에 대응하는 카일링 벡터 $D = \rho \frac{\partial}{\partial \rho}$ 는 경계에 접선이면서 경계의 외적 곡률이 0($K=0$)이므로 몰입 과정을 거쳐도 유지된다.
• 경계에 수직인 카일링 벡터는 경계의 평균 외적 곡률이 0($K=0$)일 경우 유지되며, 이는 큰 원과 $\mathbb{CP}^k$ 기하선에서 성립한다.
• 거울 대칭과 입자 구분 불가능성에 의한 몰입 과정에서는 오직 특정한 카일링 벡터만 유지되며, 특히 입자들이 구분 불가능한 경우의 관계적 공간에서는 어떤 이동도 유지되지 않는다.
• 카일링 벡터의 유지 여부는 벡터장의 발산, 외적 곡률, 법선 성분을 포함한 경계 조건에 의해 결정되며, 법선 및 접선의 경우에 대해 단순화된 형태로 표현된다.
• 결과적으로 이 연구는 형상 이론에 대한 조합론적이고 위상수학적인 기초를 제공하며, 일반 상대성 이론 및 양자 중력 이론 등에서 배경 독립성, 역학, 양자화에 대한 함의를 지닌다.