[논문 리뷰] On the Lifts of Minimal Lagrangian Submanifolds

Sung Ho Wang|ArXiv.org|2001. 09. 26.

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

한 줄 요약

이 논문은 캘리비-유다 구조를 켈러-아인슈타인 다양체 위의 정규 선다발의 전체 공간에 구축하며, 최소 라그랑주 부분다양체가 이러한 공간에서 특수 라그랑주 부분다양체로 올라간다는 것을 보여준다. 복소 프로젝티브 공간에서 컴팩트한 최소 라그랑주 부분다양체의 면적에 대해 균일한 하한을 확립하고, 자동으로 자기 dual인 아인슈타인 4차원 다양체에 있는 초최소 표면의 올림을 통해 $G_2$ 및 $Spin(7)$ 다양체에서 아소소시에이티브, 코아소소시에이티브, 케일리 부분다양체로의 일반화를 수행한다.

ABSTRACT

We show the total space of the canonical line bundle $\mathbb{L}$ of a Kahler-Einstein manifold $X^n$ supports integrable $SU(n+1)$ structures, or Calabi-Yau structures. The canonical real line bundle $L \subset \mathbb{L}$ over a minimal Lagrangian submanifold $M \subset X$ is calibrated in this setting and hence can be considered as the special Lagrangian lift of $M$. For the integrable $G_2$ and $Spin(7)$ structures on spin bundles and bundles of anti-self-dual 2-forms on self-dual Einstein 4-manifolds constructed by Bryant and Salamon, minimal surfaces with vanishing complex quartic form (super-minimal) admit lifts which are calibrated, i.e., associative, coassociative or Cayley respectively. The lifts in this case can be considered as the tangential lifts or normal lifts of the minimal surface adapted to the quaternionic bundle structure.

연구 동기 및 목표

• 케일러-아인슈타인 다양체 $X^n$ 위의 정규 선다발 $\mathbb{L}$ 의 전체 공간에 대해 통합 가능한 $SU(n+1)$ 구조를 구축하는 것.
• 최소 라그랑주 부분다양체 $M \subset X$ 위의 정규 실선다발 $L \subset \mathbb{L}$ 가 캘리브레이티드임을 보여, 따라서 $M$ 의 특수 라그랑주 올림임을 보이는 것.
• 표준 켈러 구조를 지닌 복소 프로젝티브 공간 $\mathbb{C}P^n$ 에서 컴팩트한 최소 라그랑주 부분다양체의 면적에 대해 균일한 하한을 확립하는 것.
• 구조를 $G_2$ 및 $Spin(7)$ 로 확장하여, 자기 dual인 아인슈타인 4차원 다양체에 있는 초최소 표면이 아소소시에이티브, 코아소소시에이티브, 또는 케일리 부분다양체로 올라간다는 것을 보이는 것.

제안 방법

• 정규 선다발 $\mathbb{L}$ 에서 타우토로지컬 $(n,0)$-형식 $\Upsilon_0$ 을 정의하고, $d\Upsilon_0 = -i\gamma \wedge \Upsilon_0$ 임을 보이며, 여기서 $\gamma$ 는 접속 1-형식의 트레이스이다.
• 반경 함수 $f(r)$ 를 사용하여 $\mathbb{L}$ 에 헤르미트 메트릭을 구성하여, 해석적 볼륨 형식 $\Upsilon = d\Upsilon_0$ 가 일정한 길이를 가지며, 메트릭이 켈러일 경우 평행해지도록 하는 것.
• 형식 $\Pi$ 가 닫혀지도록 보장하기 위해 미분방정식 $c r + \frac{2}{n} f^{\frac{2}{n}+1} \frac{\partial f}{\partial r} = 0$ 을 유도하고, 명시적 해 $f(r) = \left(-c \frac{n+2}{2} r^2 + c'\right)^{\frac{n}{2n+2}}$ 를 얻는 것.
• 최소 라그랑주 부분다양체 $M \subset X$ 위의 $S^1$-다발 $B \to X$ 의 풀백이 평탄하며, 잘 정의된 단면 $s: M \to \phi^*(B)$ 가 존재함을 보이며, 이 단면이 평행일 조건은 $M$ 이 최소일 때이다.
• 최소 라그랑주 부분다양체 $M$ 의 올림 $\tilde{M} \subset B \subset \mathbb{L}$ 가 $\text{Re}(e^{i\theta} \Upsilon)$ 로 캘리브레이티드임을 보여 특수 라그랑주 부분다양체임을 증명하는 것.
• 자기 dual인 아인슈타인 4차원 다양체에 있는 초최소 표면에 대해, $G_2$ 및 $Spin(7)$ 구조에서의 법선 및 접선 올림이 각각 아소소시에이티브, 코아소소시에이티브, 또는 케일리 부분다양체로 캘리브레이티드임을 보이는 것.

실험 결과

연구 질문

• RQ1 케일러-아인슈타인 다양체 위의 정규 선다발은 평행한 해석적 볼륨 형식을 지닌 캘리비-유다 구조를 지닐 수 있는가?
• RQ2 케일러-아인슈타인 다양체에 있는 최소 라그랑주 부분다양체 위의 실선다발은 캘리브레이티드이며, 따라서 특수 라그랑주 올림인가?
• RQ3 특수 라그랑주 올림의 존재성은 복소 프로젝티브 공간 $\mathbb{C}P^n$ 에서 컴팩트한 최소 라그랑주 부분다양체의 면적에 대해 균일한 하한을 암시하는가?
• RQ4 자기 dual인 아인슈타인 4차원 다양체에 있는 초최소 표면은 브라이언트와 살라몬이 제안한 방식으로 $G_2$ 및 $Spin(7)$ 다양체에서 캘리브레이티드 올림을 갖는가?

주요 결과

• 케일러-아인슈타인 다양체 $X^n$ 위의 정규 선다발 $\mathbb{L}$ 의 전체 공간은 평행한 해석적 볼륨 형식 $\Upsilon = d\Upsilon_0$ 를 지닌 캘리비-유다 구조를 지닌다. 이는 반경 함수 $f(r)$ 가 $f(r) = \left(-c \frac{n+2}{2} r^2 + c'\right)^{\frac{n}{2n+2}}$ 를 만족함으로써 구성된다.
• 최소 라그랑주 부분다양체 $M \subset X$ 위의 정규 실선다발 $L \subset \mathbb{L}$ 는 $\text{Re}(e^{i\theta} \Upsilon)$ 로 캘리브레이티드되며, 이는 $\mathbb{L}$ 의 특수 라그랑주 부분다양체임을 의미한다.
• 표준 켈러 구조를 지닌 복소 프로젝티브 공간 $\mathbb{C}P^n$ 에서 컴팩트한 최소 라그랑주 부분다양체는 $\delta(n) > 0$ 인 균일한 하한 면적을 지닌다. 이는 $S^{2n+1}$ 에서의 레전드리안 올림에 이sovolumetric 부등식을 적용하여 유도된다.
• 자기 dual인 아인슈타인 4차원 다양체 $N$ 에서의 초최소 표면 $\Sigma$ 에 대해, 법선다발 $\Omega^\perp$ 는 $G_2$ 구조 하에서 $\bigwedge^2_-N$ 에서 아소소시에이티브 부분다양체이다.
• 스핀다발 $\mathbb{S} \to N$ 에서의 접선 및 법선 올림 $\tilde{T}\Sigma$ 와 $\tilde{N}\Sigma$ 는 $Spin(7)$ 구조 하에서 케일리 부분다양체이다.
• 이 구축은 $G_2$ 및 $Spin(7)$ 다양체에서 많은 컴팩트한 캘리브레이티드 부분다양체의 존재를 확인하며, 이는 $S^4$ 와 $\mathbb{C}P^2$ 에서도 초최소 표면의 올림을 통해 가능하다.