[논문 리뷰] Six-dimensional nearly Kaehler manifolds of cohomogeneity one (II)

Andrea Spiro, Fabio Podestà|arXiv (Cornell University)|2010. 11. 21.

Geometry and complex manifolds참고 문헌 18인용 수 4

한 줄 요약

이 논문은 $G = \mathrm{SU}_2 \times \mathrm{SU}_2$인 $G/K \times \mathbb{R}$ 위에 2파라미터의 비등장, $G$-불변 엄밀 준카플러(NK) 구조의 가중족을 구성하며, $TS^3$ 위에는 이러한 구조들이 특이한 $S^3$ 궤도를 통해 매끄럽게 연장되는 1파라미터 가중족을 제공한다. 주요 결과는 $TS^3$ 위에 존재하는 국소적으로 비동형인 NK 구조의 새로운 종류로, 등장 모듈리 공간은 $\mathbb{R}$로 규명되었으며, 이들 중 두 구조는 국소적으로 동형이며 $S^6$와 $S^3 \times S^3$의 표준 준카플러 구조와 $G$-동치이다. 이 구성은 정규 지오데식을 沿해 $G$-불변 형식에 대한 미분계열을 풀이하는 데 기반하며, Malgrange의 정리에 의해 형식적 멱급수 해가 존재함을 보장한다.

ABSTRACT

Let M be a six dimensional manifold, endowed with a cohomogeneity one action of G= SU_2 x SU_2, and M_reg its subset of regular points. We show that M_reg admits a smooth, 2-parameter family of G-invariant, non-isometric strict nearly Kaehler structures and that a 1-parameter subfamily of such structures smoothly extend over a singular orbit of type S^3. This determines a new class of examples of nearly Kaehler structures on TS^3

연구 동기 및 목표

• six차원 다양체에서 $G = \mathrm{SU}_2 \times \mathrm{SU}_2$에 의한 코호몰로지 일치 차수 1을 가지는 다양체 위에서 $G$-불변 엄밀 준카플러 구조를 분류하는 것.
• $TS^3$ 위의 이러한 구조가 특이한 $S^3$ 궤도를 통해 매끄럽게 연장될 수 있는지 여부를 규명하는 것.
• $TS^3$ 위의 $G$-불변 엄밀 NK 구조의 등장 모듈리 공간을 규명하는 것.
• $S^6$와 $S^3 \times S^3$ 위의 알려진 동형 구조들 사이를 연결하는 국소적으로 비동형인 $TS^3$ 위의 준카플러 구조의 존재를 조사하는 것.

제안 방법

• 정규 지오데식을 따라 $G$-불변 준카플러 구조를 매개변수화하기 위해 매끄러운 사상 $f = (f_1, \dots, f_5)$를 사용하며, 특수 기저를 이용해 $G$-불변 2형식의 켈러 형식을 표현한다.
• 엄밀 준카플러 조건과 $d\omega$의 안정성에서 유도된 $f_i$ 성분에 대한 상미분방정식계로 문제를 축소한다.
• 재귀관계를 통해 구성된 형식적 멱급수 해를 사용하고, Malgrange의 정리를 적용하여 매끄러운 해의 존재를 보장한다.
• 대칭성에 기반해 시스템에 대한 매끄러운 해 $\mathcal{P}(t)$를 구성하며, 타일러 전개에서 홀수차항이 없음을 통해 $t=0$에서의 매끄러움을 확보한다.
• 노름 $||\widehat{A}||$와 함수 $h_2, h_3, h_4$의 해석적 성질을 분석함으로써, 결과적으로 얻어진 구조들이 아인슈타인이고 실해석적임을 입증한다.
• 두 구조가 등장하는 것이고, 그들의 초기 자료 $b_1 = c_1 > 0$가 일치할 때에만 등장하는 것이며, $G$-등변성과 궤도 보존성을 이용하여 등장 유일성을 증명한다.

실험 결과

연구 질문

• RQ1 Can a 2-parameter family of non-isometric, $G$-invariant strict nearly Kähler structures be constructed on $G/K \times \mathbb{R}$ with $G = \mathrm{SU}_2 \times \mathrm{SU}_2$?
• RQ2 Do these structures extend smoothly over a singular $S^3$ orbit to yield new nearly Kähler structures on $TS^3$?
• RQ3 What is the isometric moduli space of $G$-invariant strict nearly Kähler structures on $TS^3$?
• RQ4 Are there non-locally homogeneous nearly Kähler structures on $TS^3$ that interpolate between the known homogeneous cases on $S^6$ and $S^3 \times S^3$?
• RQ5 Which initial data $b_1$ correspond to locally homogeneous structures, and how do they relate to the known homogeneous NK manifolds?

주요 결과

• There exists a 2-parameter family of non-isometric, non-locally homogeneous $G$-invariant strict nearly Kähler structures on $G/K \times \mathbb{R}$ with $K = T^1_{\text{diag}}$.
• A 1-parameter family of non-isometric, $G$-invariant strict nearly Kähler structures exists on $TS^3$, smoothly parameterized by $]0, +\infty[$.
• The isometric moduli space of such structures on $TS^3$ is identified as $\mathbb{R}$, with each structure uniquely determined by the initial parameter $b_1 = c_1 > 0$.
• Two of the structures in the 1-parameter family are locally homogeneous and $G$-equivalent to the canonical nearly Kähler structures on $S^6$ and $S^3 \times S^3$, respectively.
• The two locally homogeneous structures correspond to $b_1 = \frac{1}{9}$ (for $S^3 \times S^3$) and $b_1 = \frac{1}{4}$ (for $S^6$) after appropriate rescaling and reparametrization.
• Any two $G$-invariant nearly Kähler structures on $TS^3$ are isometric if and only if their initial data $b_1$ are equal, proving the moduli space is $\mathbb{R}$.