[논문 리뷰] Shape Theories. I. Their Diversity is Killing-Based and thus Nongeneric

Edward Anderson|arXiv (Cornell University)|2018. 11. 15.

Morphological variations and asymmetry참고 문헌 27인용 수 10

한 줄 요약

이 논문은 관계역학, 배경 독립성 및 이론물리학의 핵심이 되는 비자명한 형태와 형태-척도 이론들이 일반적으로 존재하지 않는다는 것을 입증한다. 그 이유는 이러한 이론들이 일반적으로 기하적으로 장비된 다양체에서 사라지는 일반화된 칠링 벡터장에 의존하기 때문이다. 핵심 결과는 이러한 이론들이 오직 매우 높은 대칭성을 띤 설정에서만 존재할 수 있으며, 따라서 모든 가능한 실체 공간의 공간에서 측도가 0임을 보여준다.

ABSTRACT

Kendall's Shape Theory covers shapes formed by $N$ points in $\mathbb{R}^d$ upon quotienting out the similarity transformations. This theory is based on the geometry and topology of the corresponding configuration space: shape space. Kendall studied this to build a widely useful Shape Statistics thereupon. The corresponding Shape-and-Scale Theory -- quotienting out the Euclidean transformations -- is useful in Classical Dynamics and Molecular Physics, as well as for the relational `Leibnizian' side of the Absolute versus Relational Motion Debate. Kendall's shape spaces moreover recur withing this `Leibnizian' Shape-and-Scale Theory. There has recently been a large expansion in diversity of Kendall-type Shape(-and-Scale) Theories. The current article outlines this variety, and furthermore roots it in solving the poset of generalized Killing equations. This moreover also places a first great bound on how many more Shape(-and-Scale) Theories there can be. For it is nongeneric for geometrically-equipped manifolds -- replacements for Kendall's $\mathbb{R}^d$ carrier space (absolute space to physicists) - to possess any generalized Killing vectors. Article II places a second great bound, now at the topological level and in terms of which Shape(-and-Scale) Theories are technically tractable. Finally Article III explains how the diversity of Shape(-and-Scale) Theories - from varying which carrier space and quotiented-out geometrical automorphism group are in use - constitutes a theory of Comparative Background Independence: a topic of fundamental interest in Dynamics, Gravitation and Theoretical Physics more generally. Article I and II's great bounds moreover have significant consequences for Comparative Background Independence.

연구 동기 및 목표

• 이론물리학과 기하학에서 최근 다양한 형태(-척도) 이론의 급격한 증가를 설명하기 위해.
• 이러한 이론의 존재를 규정하는 기초 수학적 메커니즘인 일반화된 칠링 방정식(GKEs)을 규명하기 위해.
• 비자명한 관계론 이론이 희귀하다(측도가 0임)는 것을 입증하기 위해. 이는 대부분의 다양체가 비자명한 일반화된 대칭성을 갖지 않기 때문이다.
• GKEs의 해법 가능성 분석을 통해 가능한 형태(-척도) 이론의 수에 대한 미분기하학적 경계를 제공하기 위해.
• 실체 공간에 대한 대칭성 제약 조건이 이론의 다양성을 초래한다는 것을 보여줌으로써 비교적 배경 독립성의 기초를 다지기 위해.

제안 방법

• 다양체 위에서 일반화된 칠링 방정식(GKEs)의 부분순서집합(poset)을 분석하여 형태(-척도) 이론의 다양성을 근본 원인으로 삼는다.
• 리 미분 형식을 사용하여 일반화된 칠링 벡터를 GKEs의 해로 정의하며, 이는 기하학적 자동형사상에 해당한다.
• 실체 공간 $\mathfrak{C}^d$ (예: $\mathbb{R}^d$) 와 그 사영화된 형태 $\mathfrak{p}^{d-1}$ 에 이 프레임워크를 적용하여 몫공간이 비자명한 형태 공간을 유도하는 조건을 규명한다.
• GKEs에 비자명한 해가 존재하지 않을 경우, 비자명한 관계론 공간(곱공간)이 일반적인 경우임을 보여준다.
• 비자명한 형태 이론은 오직 실체 공간이 비자명한 일반화된 칠링 벡터를 수용할 때만 존재할 수 있음을 입증한다.
• 위상적 및 기하학적 일반성 조건을 적용하여 이러한 대칭성이 특별한 경우임을 보여준다. 즉, 일반적인 것은 아니다.

실험 결과

연구 질문

• RQ1 왜 비자명한 형태(-척도) 이론들이 오직 매우 대칭적인 설정에서만 존재하는가?
• RQ2 다양한 실체 공간을 통해 분포하는 형태(-척도) 이론의 다양성을 뒷받침하는 수학적 조건은 무엇인가?
• RQ3 일반화된 칠링 방정식의 해법 가능성은 관계론 이론의 존재를 어떻게 제약하는가?
• RQ4 왜 비자명한 형태 이론의 집합이 모든 가능한 기하학적 실체 공간의 공간에서 측도가 0인가?
• RQ5 이러한 미분기하학적 경계는 이론물리학에서 보다 광범위한 비교적 배경 독립성 개념과 어떻게 관련이 있는가?

주요 결과

• 비자명한 형태(-척도) 이론들은 일반화된 칠링 방정식(GKEs)에 대한 비자명한 해가 필요하기 때문에 비일반적이다. 이는 일반적으로 기하적으로 장비된 다양체에서 사라지는 경향이 있다.
• 유일한 일반적인 관계론 공간은 곱공간 $\times_{I=1}^N \mathfrak{C}^d$ 이며, 이는 자동형사상의 자명한 항등군에 해당한다.
• GKEs에 비자명한 해가 존재할 경우, 그로 인해 유도되는 몫공간은 비자명한 형태 또는 형태-척도 공간을 생성하지만, 이러한 경우는 희귀하며 오직 대칭성이 높은 설정에서만 발생한다.
• 현재 존재하는 형태 이론의 다양성은 $\mathbb{R}^d$ 와 같이 GKEs에 비자명한 해가 존재하는 매우 대칭적인 실체 공간 내에서 탐색한 결과에서 기인한다.
• 곡률의 도입, 최대 대칭성의 상실, 또는 위상적 식별의 적용은 타당한 이론의 수를 급격히 감소시키며, 이는 미분기하학적 수준에서 첫 번째 큰 제약 조건임을 확인한다.
• 자명한 관계론 이론—즉, 관계론 공간이 단지 별자리 공간과 동일한 경우—는 항상 존재한다. 이는 동차 선형 GKEs의 영해(solution)이기 때문이다.