[논문 리뷰] Left invariant complex structures on U(2) and SU(2)xSU(2) revisited

Louis Magnin|ArXiv.org|2008. 09. 06.

Geometry and complex manifolds참고 문헌 8인용 수 5

한 줄 요약

이 논문은 토퍼션 없는 선형 사상에 기반한 계산적 접근을 통해 𝔘(2) 및 𝔘(2)×𝔘(2) 위의 왼쪽 불변 적분 가능 복소 구조를 재검토한다. 이는 복소 구조의 새로운 분류와 그 자동형군에 의한 동치류를 제공하며, 이러한 구조들의 집합이 미분 가능 다양체를 이룬다는 것을 증명하고, SU(2)×SU(2) 위의 복소 구조에 대해 명시적인 국소 헬름홀로픽 좌표를 구성한다.

ABSTRACT

We compute the torsion-free linear maps from the Lie algebra su(2) into itself, deduce a new determination of the integrable complex structures and their equivalence classes under the action of the automorphism group for u(2) and su(2)xsu(2), and prove that in both cases the set of complex structures is a differentiable manifold. u(2)x u(2), su(2)^N and u(2)^N are also considered. Extensions of complex structures from u(2) to su(2)xsu(2) are studied, local holomorphic charts given, and attention is paid to what representations of u(2) we can get from a substitute to the regular representation on a space of holomorphic functions for the complex structure.

연구 동기 및 목표

• 토퍼션 없는 선형 사상에 기반한 새로운 계산적 방법을 사용하여 𝔲(2) 및 𝔰𝔲(2)⊕𝔰𝔲(2) 위의 왼쪽 불변 적분 가능 복소 구조의 분류를 재도출한다.
• 리 대수의 자동형군 작용 하에서 이러한 복소 구조의 동치류를 규명한다.
• 𝔲(2) 및 𝔰𝔲(2)⊕𝔰𝔲(2) 위의 적분 가능 복소 구조들의 집합이 미분 가능 다변량을 이룬다는 것을 증명한다.
• 𝔲(2)에서의 복소 구조를 𝔰𝔲(2)⊕𝔰𝔲(2)로 확장하고, 그 결과로 생기는 복소다양체에 대해 명시적인 국소 헬름홀로픽 좌표를 구성한다.
• 각 복소 구조에 대해 헬름홀로픽 함수 공간 위에서의 𝔲(2) 표현을 분석하고, 표준 정규 표현과 비교한다.

제안 방법

• 𝔰𝔲(2) → 𝔰𝔲(2)인 토퍼션 없는 선형 사상 J를 계산하며, 이들이 최대 질량의 CR-구조(CR0 유형)임을 보여준다.
• Newlander-Nirenberg 적분 가능성 조건을 구조 방정식의 투영을 통해 해결하기 위해 Reduce 컴퓨터 대수 시스템을 사용한 컴퓨터 보조 대수적 방법을 적용한다.
• 복소 구조와 복소 부분대수 𝔪 ⊂ 𝔤ℂ 사이의 대수적 대응을 사용하며, 이는 𝔤ℂ = 𝔪 ⊕ 𝔪̄ 이고, 𝔪 = 𝔤(1,0)임을 의미한다.
• PDE 시스템 ∂f/∂ψ₁ + iη ∂f/∂ψ₂ = 0 과 유사한 방정식을 풀어, SU(2)×SU(2)의 열린 부분집합 W ⊂ 위에서 국소 헬름홀로픽 좌표 (z¹, z², z³)를 구성한다.
• 왼쪽 불변 벡터장과 복소화된 접선 공간을 사용하여, 반호모로픽 벡터장에 의해 소멸하는 헬름홀로픽 함수의 명시적 표현을 유도한다.
• U(2)의 유니터리 쌍대를 분석하여, 헬름홀로픽 함수 공간 위에서 유도된 표현을 표준 정규 표현과 비교한다.

실험 결과

연구 질문

• RQ1 자동형군에 의한 동치류를 고려할 때, 𝔲(2) 위의 왼쪽 불변 적분 가능 복소 구조의 완전한 분류는 무엇인가?
• RQ2 𝔲(2) 위의 복소 구조는 어떻게 𝔰𝔲(2)⊕𝔰𝔲(2)로 확장되며, 그 결과로 생기는 복소다양체의 구조는 어떠한가?
• RQ3 𝔲(2) 및 𝔰𝔲(2)⊕𝔰𝔲(2) 위의 모든 적분 가능 복소 구조들의 집합이 미분 가능 다변량을 이룬다는 것을 증명할 수 있는가?
• RQ4 SU(2)×SU(2) 위의 복소 구조에 대한 국소 헬름홀로픽 좌표는 무엇이며, 복소화된 접선 공간 분해로부터 어떻게 구성되는가?
• RQ5 복소 구조가 헬름홀로픽 함수 공간 위에서 유도하는 𝔲(2)의 표현은 무엇이며, 표준 표현과 어떻게 다를까?

주요 결과

• 토퍼션 없는 선형 사상 J: 𝔰𝔲(2) → 𝔰𝔲(2)가 최대 질량의 CR-구조(CR0 유형)임이 입증되어 분류의 기초를 제공한다.
• 𝔲(2) 및 𝔰𝔲(2)⊕𝔰𝔲(2) 위의 적분 가능 복소 구조들의 집합은 명시적인 증명을 통해 미분 가능 다변량을 이룬다.
• 열린 부분집합 W ⊂ SU(2)×SU(2) 위에 명시적인 헬름홀로픽 좌표 (z¹, z², z³)를 구성하였으며, Z: W → ℂ³ 는 biholomorphic bijection이다.
• 헬름홀로픽 좌표는 z¹ = e^{iφ₁} cot(θ₁/2), z² = e^{iφ₂} cot(θ₂/2), z³ = e^{iψ₁/2} e^{(η(1+iξ)/(1+ξ²)) ψ₂/2} √(sin θ₁) √(sin θ₂) 로 주어진다.
• SU(2)×SU(2) 위의 복소 구조에 의해 유도된 헬름홀로픽 함수 공간 위의 표현은 비자명한 유니터리 표현의 확장으로 나타나며, 표준 표현과 다름을 보인다.
• q ∈ 2ℤ 이면, ℋ_q 는 D^q(2(k−1)) 에서 ↑_{−k}^q ⊕ ↓_{−k}^q 로의 비자명한 확장이며, q = 2k 이면 D^q(2k) 에서 ↑_{−k−1}^q 또는 ↓_{−k−1}^q 로의 비자명한 확장이 되어, 비유니터리 및 비정규적 행동을 보인다.