[논문 리뷰] Kaehler structures on T*G having as underlying symplectic form the standard one

Johannes Huebschmann, Karl Leicht|arXiv (Cornell University)|2013. 07. 01.

Geometry and complex manifolds참고 문헌 1인용 수 3

한 줄 요약

이 논문은 컴팩트한 연결 리군 $G$의 코타angent(bundle) $ ^*G$ 위에서 왼쪽-불변 및 양측-불변 복소 구조를 분류하며, 이는 타우토로지컬 심플렉틱 형식과 조합되어 켈러 구조를 유도한다. 이러한 복소 구조는 복소화 $G^\mathbb{C}$로의 매끄러운 임bedding으로부터 유래되며, $G$-불변 함수를 사용하여 리 대수 위의 항등사상에 대한 재스케일링을 통해 비표준 켈러 구조를 구성한다. 이는 $G^\mathbb{C}$의 적절한 열린 부분집합 위로의 양측-불변 켈러 미분형을 이룬다.

ABSTRACT

For a connected Lie group G, we show that a complex structure on the total space TG of the tangent bundle of G that is left invariant and has the property that each left translation G-orbit is a totally real submanifold is induced from a smooth immersion of TG into the complexification of G. For G compact and connected, we then characterize left invariant and biinvariant complex structures on the total space T*G of the cotangent bundle of G which combine with the tautological symplectic structure to a Kaehler structure.

연구 동기 및 목표

• 타우토로지컬 심플렉틱 형식과 조합되어 켈러 구조를 유도하는 $\T^*G$ 위의 모든 왼쪽-불변 및 양측-불변 복소 구조를 분류하는 것.
• 특히 분할된 공간 위의 게이지 이론적 양자역학에서, $\T^*G$ 기반의 물리 모델이 복소 구조의 선택에 의존하는지 여부를 규명하는 것.
• 심플렉틱 형식을 유지하면서 리 대수 $\mathfrak{g}$ 위의 항등사상에 대한 비표준 재스케일링을 통한 표준 켈러 구조의 일반화.
• 이러한 복소 구조가 복소화 $G^\mathbb{C}$로의 매끄러운 임베딩에서 유래되는 조건을 특성화하는 것.

제안 방법

• $\T G \cong G \times \mathfrak{g}$ 위에서 연결 1형식과 수평 1형식을 사용하여 거의 복소 구조를 정의하고, 적합한 적분 조건을 통해 복소 구조를 확보하는 것.
• $G$-불변 함수 $\varphi$를 사용하여 항등사상을 재스케일링하는 맵 $\chi_{\mathfrak{g}}: \mathbb{A}_{\mathfrak{g}} \to \mathbb{A}_{\mathfrak{g}}$를 통해 구성된 일반화된 극좌표 맵 $\Pi: G \times \mathbb{A}_{\mathfrak{g}} \to G^\mathbb{C}$의 적용.
• $\chi_{\mathfrak{g}}$의 미분을 통해 $\langle \mu, s_\chi \rangle$라는 1형식을 구성하고, 이가 닫혀 있고 심플렉틱 형식과 호환됨을 보장하는 것.
• 결과로 얻어진 복소 구조가 $G$-양측-불변이며, 타우토로지컬 심플렉틱 형식과 조합되어 켈러 구조를 이룬다는 검증.
• 복소화된 리 대수와 국소적 데이터를 사용하여 복소 구조를 $\T^*G$ 전역적으로 해석하는 것.
• $\chi_{\mathfrak{g}}(a) = \varphi(\|a\|^2)a$ 형태로 리 대수 위의 항등사상에 대한 재스케일링을 수행하며, 이때 $\varphi$는 매끄럽고 양수이며 $\chi$가 국소 미분형이 되도록 하는 함수이다.

실험 결과

연구 질문

• RQ1 $\T^*G$ 위의 왼쪽-불변 복소 구조 중 타우토로지컬 심플렉틱 형식과 조합되어 켈러 구조를 만드는 것은 무엇인가?
• RQ2 $\T^*G$ 위의 복소 구조가 복소화 $G^\mathbb{C}$로의 매끄러운 임베딩에서 유도되기 위한 조건은 무엇인가?
• RQ3 표준 켈러 구조를 초월하여 타우토로지컬 심플렉틱 형식을 유지하면서 $\T^*G$ 위에 양측-불변 켈러 구조를 구성할 수 있는가?
• RQ4 $\mathfrak{g}$의 불변량의 $G$-불변 함수가 비표준 켈러 구조를 구성하는 데 어떤 역할을 하는가?
• RQ5 특히 $G$가 단순군일 경우, $\mathfrak{g}$ 위의 항등사상에 대한 재스케일링을 통해 유도되지 않는 양측-불변 켈러 구조는 존재하는가?

주요 결과

• $G$-오빗이 완전히 실수 부분다양체가 되는 $\T^*G$ 위의 모든 왼쪽-불변 복소 구조는 복소화 $G^\mathbb{C}$로의 매끄러운 임베딩에서 유래된다.
• 컴팩트하고 연결된 $G$에 대해, $\T^*G$ 위의 복소 구조가 타우토로지컬 심플렉틱 형식과 조합되어 켈러 구조를 이룬다는 것은, $\chi(x) = x\varphi(x^2)$가 국소 미분형이 되도록 하는 $G$-불변 함수 $\varphi$를 통해 $\mathfrak{g}$ 위의 항등사상에 대한 $G$-불변 재스케일링에서 유도된 것과 동치이다.
• 비표준 양측-불변 켈러 구조는 $\chi_{\mathfrak{g}}(a) = \varphi(\|a\|^2)a$가 국소 미분형이지만 전사적이지 않은 $\varphi$를 선택함으로써 구성되며, 이는 $G^\mathbb{C}$의 적절한 열린 부분집합 위로의 켈러 미분형을 이룬다.
• $\varphi \equiv 1$일 경우, 이 구성은 $\T^*G \cong G^\mathbb{C}$ 위의 표준 켈러 구조를 복원한다.
• $\langle \mu, s_\chi \rangle$ 1형식은 닫혀 있으며, $F(a) = \|a\|\chi(\|a\|) - \Xi(\|a\|)$ 이므로 $dF$와 같다. 이는 심플렉틱 구조와의 호환성을 보장한다.
• $\varphi(x^2) = \arctan(x)/x$일 경우, 결과로 얻어진 맵 $\chi_{\mathfrak{g}}$는 그 이미지 위로의 미분형이지만 전사적이지 않으며, 이는 표준 구조와 미미하지 않은 켈러 구조를 $\T^*G$ 위에 유도한다.