[논문 리뷰] Recent Advances in the Theory of Holonomy

Robert L. Bryant|ArXiv.org|1999. 10. 11.

Advanced Algebra and Geometry인용 수 29

한 줄 요약

이 논문은 비틀림이 없는 접속과 기약 홀로노미 군에 중점을 두어 최근의 홀로노미 이론에서의 발전을 검토한다. 카르탕-카허 이론을 적용하여 기약 홀로노미 군의 분류에서 이전에 해결되지 않았던 두 사례를 해결하며, 두 가닥의 복소 홀로노미 군에 대해 네 개의 변수에 대한 함수 네 개에 의존하는 해의 존재성을 증명한다. 이로써 4차원 이하에서 기약 비틀림이 없는 홀로노미의 분류가 완성된다.

ABSTRACT

This article is a report on the status of the problem of classifying the irriducibly acting subgroups of GL(n,R) that can appear as the holonomy of a torsion-free affine connection. In particular, it contains an account of the completion of the classification of these groups by Chi, Merkulov, and Schwachhofer as well as of the exterior differential systems analysis that shows that all of these groups do, in fact, occur. Some discussion of the results of Joyce on the existence of compact examples with holonomy G_2 or Spin(7) is also included.

연구 동기 및 목표

• 기약 비틀림이 없는 홀로노미 군의 분류에서 남아 있던 두 사례를 해결하기 위해.
• 카르탕-카허 이론을 적용하여 두 가닥의 복소 홀로노미 군에 대한 해의 존재성을 증명하기 위해.
• 4차원 이하에서 가능한 기약 비틀림이 없는 홀로노미의 목록을 완성하기 위해.
• 두 미해결 사례에 대해 해가 세 개의 변수에 대한 네 개의 함수에 의존한다는 것을 보여주기 위해.
• GL(2,ℂ) 내에서 홀로노미 군 H = G_C · SL(2,R) 및 H = G_C · SU(2)가 비틀림이 없는 접속을 갖는다는 것을 확인하기 위해.

제안 방법

• 홀로노미 대수와 관련된 표본의 비율성과 적분 가능성 분석을 위해 카르탕-카허 이론을 적용하기 위해.
• 홀로노미 리 대수에 대해 Kostant-Koszul 코homology 군 K(h) 및 K¹(h)를 계산하기 위해.
• 지오메트릭적 해의 존재를 보장하기 위해 비틀림 흡수 가능성 조건을 사용하기 위해.
• 두 개의 일차 매개변수 가닥의 홀로노미 군 분석: H_λ = {e^{(i+λ)t}} ⊂ ℂ* · SL(2,ℝ) 및 J_λ = {e^{(1+iλ)t}} ⊂ ℂ* · SU(2).
• 두 경우 모두 (s₁,s₂,s₃,s₄) = (8,8,4,0)로 지정된 특성들을 갖는 표본이 비율적임을 확인하기 위해.
• 카르탕의 정리를 사용하여 세 개의 변수에 대한 네 개의 함수에 의존하는 해의 존재를 결론짓기 위해.

실험 결과

연구 질문

• RQ1 기약 비틀림이 없는 홀로노미 군의 분류에서 남아 있던 두 사례가 카르탕-카허 분석을 통해 해를 갖는가?
• RQ2 GL(2,ℂ) 내에서 홀로노미 군 H_λ = G_C · SL(2,ℝ)의 해 공간 차원은 얼마인가?
• RQ3 GL(2,ℂ) 내에서 홀로노미 군 J_λ = G_C · SU(2)는 기약 홀로노미를 갖는 비틀림이 없는 접속을 갖는가?
• RQ4 카르탕의 정리에 예측된 바와 같이, 두 사례의 해 공간이 모두 세 개의 변수에 대한 네 개의 함수에 의존하는가?
• RQ5 홀로노미 군 H_λ 및 J_λ는 4차원 다양체 위에서 비틀림이 없는 접속의 홀로노미 군으로 실현될 수 있는가?

주요 결과

• λ > 0 인 홀로노미 군 H_λ = G_C · SL(2,ℝ)의 경우, 해 공간은 세 개의 변수에 대한 네 개의 함수에 의존한다.
• H_λ의 표본은 특성 (8,8,4,0)을 갖는 비율적이고, 비틀림은 흡수 가능하므로 해의 존재가 보장된다.
• 홀로노미 군 J_λ = G_C · SU(2)의 경우, 해 공간 역시 세 개의 변수에 대한 네 개의 함수에 의존한다.
• J_λ의 표본은 특성 (8,8,4,0)을 갖는 비율적이고, 비틀림은 흡수 가능하므로 해의 존재가 확인된다.
• H_0 = S¹ (λ = 0)의 경우 기약 작용을 하지 않기 때문에 주 결과에서 제외되지만 별도로 다뤄진다.
• 논문은 마지막 두 미해결 사례를 해결함으로써 4차원에서 기약 비틀림이 없는 홀로노미 군의 분류를 완성한다.