[논문 리뷰] The Smallest Shape Spaces. III. Triangles in 2- and 3-d

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

Digital Image Processing Techniques참고 문헌 31인용 수 19

한 줄 요약

이 논문은 질량 가중 잭비 좌표, 호프 fibration, 그리고 형태 공간 이론을 사용하여 2차원 및 3차원에서 삼각형을 위한 종합적인 기하학적 및 위상수학적 프레임워크를 개발한다. 새로운 형태의 헤론의 공식을 유도하고, 직각 삼각형을 형태 구면상의 세 개의 서로 맞닿는 캡-원으로 식별하며, 임의의 삼각형이 둔각일 확률이 정확히 3/4임을 증명한다. 이는 3차원에서의 최대 각도 흐름과 분할된 번들의 구조로 일반화된다.

ABSTRACT

This is an innovative treatise on triangles, resting upon 1) 3-body problem techniques including mass-weighted relative Jacobi coordinates. 2) Part I's detailed layer-by-layer topological and geometrical study of Kendall-type shape spaces - configuration spaces of all possible shapes - which, for triangles, are (pieces of) spheres. 3) Hopf mathematics. Triangles are moreover prototypical through being the smallest models which carry relative-angle as well as length-ratio information. Both 1) and 3) produce insightful new versions of Heron's formula, 3)'s simultaneously providing new foundations for 2). Medians, and regular triangles bounding between tall and flat triangles, also play prominent roles. Right triangles form three kissing cap-circles on the shape sphere, from which a shape-theoretic answer to the well-known conundrum of what is the probability that a triangle is obtuse very readily follows: 3/4. The differential-geometric aspects of this answer moreover generalize to numerous variant problems. Hopf mathematics additionally gives a general bundle section interpretation to Kendall's iconic spherical blackboard of vertex-unlablelled mirror-image-identified triangles, and of its two variants where one of these two conditions are dropped. We attribute a monopole to each of these spaces and to the full shape sphere, one due to Dirac, one to Iwai and the other two are new to this paper. We finally make insightful comparison of triangles in 2-$d$ with a) Part II's 4 points on the line. b) Triangles in 3-$d$, which are particularly significant as the smallest model exhibiting stratification. Stratified manifold-sheaf pairs - sheaves adding useful local and global structure to general bundles - lie at the heart of Shape Theory's future development.

연구 동기 및 목표

• 3체 문제 및 형태 이론의 기법을 활용하여 2차원 및 3차원에서 삼각형 형태 공간의 기초적인 기하학적 및 위상수학적 처리를 수립한다.
• 스피너의 구형 형태 공간(Kendall의 블랙보드)을 거울상 식별과 입자 구별 불가능성의 고려로 확장하여 새로운 몫 공간을 이끌어낸다.
• 형태 구면상에서 직각 삼각형의 미분기하학적 특성화를 제공하고, 둔각 삼각형의 확률이 정확히 3/4임을 유도한다.
• 3차원에서 비자명한 이소트로피 군이 존재함에 따라, 표준 섬유 번들의 초월하여 분할된 다양체-층 쌍이 필요하다는 것을 보여준다.
• 형태 이론의 개념을 디랙, 아이와이, 그리고 새로운 유형의 단극자 구조와 통합하여 구성 공간의 위상수학 및 기하학에 적용한다.

제안 방법

• 3체 문제에서 유도된 질량 가중 상대 잭비 좌표를 사용하여 2차원 및 3차원에서 삼각형 구성 상태를 매개변수화한다.
• 호프 fibrations를 적용하여 형태 구면을 주로 U(1)-번들로 간주함으로써 형태 공간 위상수학의 기하학적 접근을 가능하게 한다.
• 구성 공간의 몫으로 형태 구면을 구성하며, 이를 2-구 또는 그 몫들(예: RP², 반달, 이sov각 삼각형)로 식별한다.
• 직각 삼각형을 형태 구면상의 세 개의 서로 짝을 이루는 캡-원으로 특성화하며, 내부는 둔각 삼각형에 해당한다.
• 형태 구면상의 최대 각도 흐름을 도입하여 둔각의 확률을 임의의 최대 각도로 일반화한다.
• 층 이론 및 일반화된 번들 이론을 적용하여, SO(3)이 일직선 구성 상태에서 비균일하게 작용하는 3차원 삼각형 구성 공간의 분할을 다룬다.

실험 결과

연구 질문

• RQ1 임의의 삼각형이 둔각일 확률은 얼마이며, 이는 형태 구면에서 기하학적으로 어떻게 도출될 수 있는가?
• RQ2 특히 분할에 관하여, 2차원과 3차원에서 삼각형 형태 공간의 위상수학적 및 기하학적 구조는 어떻게 다를까?
• RQ3 중선, 면적, 둘레는 형태 구면의 미분기하학에서 어떤 역할을 하는가?
• RQ4 호프 fibrations와 단극자 구조는 거울상 및 구별 불가능성 식별이 가미된 형태 공간을 어떻게 해석하고 분류하는 데 사용될 수 있는가?
• RQ5 3차원 삼각형 구성 상태는 왜 표준 섬유 번들과 초월하여 층 이론적 또는 일반화된 번들 접근이 필요할까?

주요 결과

• 임의의 삼각형이 둔각일 확률은 정확히 3/4이며, 이는 둔각 삼각형이 형태 구면상의 세 개의 서로 맞닿는 캡-원의 내부를 차지하기 때문이다.
• 직각 삼각형은 형태 구면상에서 서로 짝을 이루는 세 개의 캡-원으로 기하학적으로 실현되며, 대칭적인 구성으로 형성된다.
• 2차원에서 3개의 점에 대한 형태 공간은 위상적으로 2-구이며, 거울상 및 구별 불가능성에 의한 몫을 취하면 RP², 반달, 이sov각 구면 삼각형(라이프니츠 공간)이 된다.
• 3차원에서는 일직선 구성 상태에서의 이소트로피 군이 SO(2)이고 비일직선 구성 상태에서 SO(3)이므로 구성 공간이 분할되며, 이는 층 또는 일반화된 번들 구조가 필요하다.
• 논문은 세 가지 단극자 구조를 도입한다: 하나의 디랙 유형, 하나의 아이와이 유형, 그리고 두 가지 새로운 유형으로, 이는 세 가지 형태 공간 몫(전체 구, 거울상 식별, 완전 식별)에 대응한다.
• 형태 이론 기법을 사용하여 헤론의 공식의 새로운 형태를 도출하였으며, 길이 비율과 상대 각도를 모두 포함하여 고전 결과를 확장한다.