[논문 리뷰] The Geometry of Polygons in R^5 and Quaternions

Philip Foth, Guadalupe Lozano|ArXiv.org|2002. 02. 17.

Advanced Algebra and Geometry참고 문헌 19인용 수 4

한 줄 요약

이 논문은 고정된 변 길이를 가진 ℝ⁵ 내 다각형의 모듈리 공간과 대각선 PSL(2,ℍ)-작용에 의한 n중 곱 (ℍℙ¹)ⁿ의 가중치 부여된 몫 사이의 실해석적 동형사상 수립한다. 이는 복소수 설정으로의 Gel'fand-MacPherson 대응을 쿼aternionic로 일반화하며, 모듈리 공간을 Sp(1)ⁿ에 의한 쿼aternionic Grassmannian Grₕ(2,n)의 몫으로 표현하고, 일반화된 운동량-위상 좌표를 구성하여, ℝ²ⁿ⁻⁶ × [(ℝ²)ⁿ⁻⁴/SO(2)] 및 ℝⁿ⁻³ × [(ℝ³)ⁿ⁻³/SO(3)]로 국소적으로 모델링된 특이점을 드러낸다.

ABSTRACT

We consider the moduli space M_r of polygons with fixed side lengths in five-dimensional eucledian space. We analyze the local structure of its singularities and exhibit a real-analytic equivalence between M_r and a weighted quotient of the n-fold product of the quaternionic projective line HP^1 by the diagonal PSL(2,H)-action. We explore the relation between M_r and the fixed point set of an anti-symplectic involution on a GIT quotient Gr(2,4)^n/SL(4,C). We generalize the Gel'fand-MacPherson correspondence to more general complex Grassmannians and to the quaternionic context, and realize our space M_r as a quotient of a subspace in the quaternionic Grassmannian Gr_H(2,n) by the action of the group Sp(1)^n. We also give analogues of the Gel'fand-Tsetlin coordinates on the space of quaternionic Hermitean matrices and briefly describe generalized action-angle coordinates on M_r.

연구 동기 및 목표

• 고정된 변 길이를 가진 ℝ⁵ 내 다각형의 모듈리 공간 𝒟ᵣ에서 특이점의 국소적 구조를 분석한다.
• 𝒟ᵣ와 대각선 PSL(2,ℍ)-작용에 의한 (ℍℙ¹)ⁿ의 가중치 부여된 몫 사이의 실해석적 동형관계를 수립한다.
• Gel'fand-MacPherson 대응을 복소수 및 쿼aternionic Grassmannian으로 일반화한다.
• 모듈리 공간 𝒟ᵣ를 쿼aternionic Grassmannian Grₕ(2,n)의 Sp(1)ⁿ 작용에 의한 몫으로 표현한다.
• 쿼aternionic Hermitean 행렬과 심플렉틱 축소 기법을 사용하여 𝒟ᵣ 위에 일반화된 운동량-위상 좌표를 구성한다.

제안 방법

• Leeb와 Millson의 안정 측도와 Douady 및 Earle의 등각 중심 구성법을 활용하여 SL(2,ℍ)/Sp(2)의 대칭 공간의 경계인 S⁴의 기하학을 분석한다.
• 실해석적 동형사상 기법을 적용하여, 공간 다각형 주변에서는 𝒟ᵣ가 ℝ²ⁿ⁻⁶ × [(ℝ²)ⁿ⁻⁴/SO(2)]와 국소적으로 동형이며, 평면 다각형 주변에서는 ℝⁿ⁻³ × [(ℝ³)ⁿ⁻³/SO(3)]와 국소적으로 동형임을 보인다.
• 각 일반 다각형 [P] ∈ 𝒟ᵣ에 대해, 대각선을 고정하는 SO(4) 작용을 통해 정점들을 2차원 평면으로 강체 이동시켜 표준 평면 표현형 [P_c]를 구성한다.
• 연속적인 SO(4)-굽힘 변형을 대각선을 따라 적용하여 3n−12개의 일반화된 각 좌표를 정의하고, 강체 운동을 제거하기 위해 SO(3)로 몫을 취한다.
• 𝒟ᵣ를 쿼aternionic Grassmannian Grₕ(2,n)의 부분공간에 대한 Sp(1)ⁿ의 대각선 작용에 의한 몫으로 표현하여, 복소수 경우를 일반화한다.
• ℂ²ᵐ ≅ ℍᵐ에서 j의 곱셈에 의해 유도되는 반심플렉틱 대칭에 의해 유도되는, Grℂ(2,4)ⁿ/SL(4,ℂ)의 GIT 몫에서의 고정점 집합과 𝒟ᵣ의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 ℝ⁵ 내 다각형의 모듈리 공간의 특이점들은 국소적으로 어떻게 구성되어 있는가?
• RQ2 𝒟ᵣ와 PSL(2,ℍ)에 의한 (ℍℙ¹)ⁿ의 몫 사이의 정확한 실해석적 동형관계는 무엇인가?
• RQ3 Gel'fand-MacPherson 대응은 쿼aternionic 설정으로 일반화될 수 있으며, 다각형 모듈리 공간에 적용될 수 있는가?
• RQ4 쿼aternionic Hermitean 행렬을 사용하여 𝒟ᵣ 위에 일반화된 운동량-위상 좌표를 어떻게 구성할 수 있는가?
• RQ5 𝒟ᵣ와 Grℂ(2,4)ⁿ/SL(4,ℂ)의 반심플렉틱 대칭의 고정점 집합 사이의 관계는 무엇인가?

주요 결과

• 𝒟ᵣ의 특이점 집합은 차원 2n−6인 실오비폴드이며, ℤ/2ℤ에 의한 3차원 다각형 공간 ℳᵣ⁽³⁾의 몫과 동형이다.
• 𝒟ᵣ 내 평면 n각형 주변의 이웃은 국소적으로 분석적으로 ℝⁿ⁻³ × [(ℝ³)ⁿ⁻³/SO(3)]와 동형이다.
• 𝒟ᵣ 내 공간 n각형 주변의 이웃은 국소적으로 분석적으로 ℝ²ⁿ⁻⁶ × [(ℝ²)ⁿ⁻⁴/SO(2)]와 동형이다.
• 𝒟ᵣ의 조밀한 열린 부분집합은 3n−12개의 일반화된 각 좌표와 n−3개의 운동량 변수(대각선 길이)를 포함하며, 국소 좌표계를 이룬다.
• 모듈리 공간 𝒟ᵣ는 대각선 PSL(2,ℍ)-작용에 의한 (ℍℙ¹)ⁿ의 가중치 부여된 몫과 실해석적으로 동형이다.
• 𝒟ᵣ는 쿼aternionic Grassmannian Grₕ(2,n)의 부분공간에 대한 Sp(1)ⁿ 작용에 의한 몫으로 표현되며, 이는 복소수 경우를 일반화한다.