[논문 리뷰] Broadly-Pluriminimal Submanifolds of Kaehler-Einstein Manifolds

Isabel M. C. Salavessa, Giorgio Valli|ArXiv.org|2000. 04. 14.

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

한 줄 요약

이 논문은 켈러-아인슈타인 다양체에서 광범위하게-다수최소적 부분다양체를 도입하고, 컴act성과 음의 스칼라 곡률 조건 하에서, 복소 방향이 없는 경우 n=2일 때 이러한 부분다양체는 라그랑주여야 한다는 것을 증명한다. 주요 결과는 월프슨의 n=1 경우를 일반화하며, 켈러 각도의 대칭 함수에 대한 라플라시안 공식에 기반한다.

ABSTRACT

We define broadly-pluriminimal immersed 2n-submanifold F: M --> N into a Kaehler-Einstein manifold of complex dimension 2n and scalar curvature R. We prove that, if M is compact, n \geq 2, and R < 0, then: (i) Either F has complex or Lagrangian directions; (ii) If n = 2, M is oriented, and F has no complex directions, then it is a Lagrangian submanifold, generalising the well-known case n = 1 for minimal surfaces due to Wolfson. We also prove that, if F has constant Kaehler angles with no complex directions, and is not Lagrangian, then R = 0 must hold. Our main tool is a formula on the Laplacian of a symmetric function on the Kaehler angles.

연구 동기 및 목표

• 복소 차원 2n인 켈러-아인슈타인 다양체에서 광범위하게-다수최소적 부분다양체를 정의하고 연구하기.
• 컴 pact성과 음의 스칼라 곡률 조건 하에서 이러한 부분다양체의 기하적 제약 조건을 조사하기.
• 월프슨의 최소 표면 결과(n=1)를 고차원으로 일반화하고, 특히 n=2의 경우를 다루기.
• 광범위하게-다수최소적 부분다양체가 언제 라그랑주이거나 스칼라 곡률이 0이 되어야 하는지 규명하기.

제안 방법

• 켈러 각도의 대칭 함수의 라플라시안을 통해 광범위하게-다수최소적 매장 정의하기.
• 끌로즈된 Kähler 형식의 풀백의 극좌표 분해를 사용하여 접선다양체 위의 연산자 $ J_ ho $ 와 $ ilde{g} $ 정의하기.
• 매끄러운 함수 $ ilde{ ho} $ 를 코사인 켈러 각도의 로그 변환으로 구성하고, 최대값 원리 적용하기.
• 웨일의 편미분 정리(Weyle's perturbation theorem)를 활용하여 켈러 각도의 국소 리프시츠 연속성과 상수 질량 차수를 가진 열린 집합에서의 매끄러움 확보하기.
• 스칼라 곡률 $ R $ 에 대해 $ riangle ilde{ ho} $ 의 핵심 공식 유도: $ riangle ilde{ ho} = -2R(\text{sum of } \text{cos}\theta_\beta) $ 를 $ \rho $-최대점에서 도출하기.
• 연속성과 최대값 원리를 활용하여, $ R < 0 $ 조건 하에서 복소 또는 비-라그랑주 방향이 존재할 경우 모순 유도하기.

실험 결과

연구 질문

• RQ1 켈러-아인슈타인 다양체에서 $ R < 0 $ 인 광범위하게-다수최소적 부분다양체가 언제 라그랑주여야 하는가?
• RQ2 월프슨의 n=1 최소 표면 결과는 고차원 부분다양체(n ≥ 2)로 일반화될 수 있는가?
• RQ3 광범위하게-다수최소적 부분다양체가 일정한 켈러 각도를 가지지만 라그랑주가 아니면 스칼라 곡률 $ R $ 는 어떻게 되는가?
• RQ4 F^*\rho 의 질량이 감소하는 점 근처에서 켈러 각도는 어떻게 행동하는가? 이는 대칭 함수의 라플라시안에 어떤 영향을 미치는가?
• RQ5 질량이 떨어지는 특이 집합에서 켈러 각도의 행동을 포괄하는 매끄러운 함수를 $ M $ 에서 구성하는 것이 가능한가?

주요 결과

• 만약 $ F: M \to N $ 가 광범위하게-다수최소적이고, $ M $ 이 컴 pact하며, $ n \neq 1 $, $ R < 0 $ 이며, $ F $ 가 복소 방향을 가지지 않으면, $ n = 2 $ 일 때 $ F $ 는 반드시 라그랑주여야 한다.
• $ n = 2 $ 일 때, $ F $ 가 광범위하게-다수최소적이고, $ M $ 이 컴 pact하고 옹호되어 있으며, $ R < 0 $ 이며, $ F $ 가 복소 방향을 가지지 않으면, $ F $ 는 라그랑주여야 한다.
• 만약 $ F $ 가 일정한 켈러 각도를 가지며 라그랑주가 아니면, $ R = 0 $ 이어야 하며, 이는 $ n $ 과 관계없이 성립한다.
• 대칭 함수 $ \tilde{\rho} = \text{log}\frac{1+\text{cos}\theta_1}{1-\text{cos}\theta_1} + \text{log}\frac{1+s_2}{1-s_2} $ 의 라플라시안은 최대점 $ p_0 $ 에서 $ \triangle \tilde{\rho}(p_0) = -2R(\text{cos}\theta_1(p_0)) $ 를 만족하며, 이는 $ \text{cos}\theta_1(p_0) = 0 $ 가 아닐 경우 모순을 일으킨다.
• 질량이 떨어지는 영역에서 대칭 함수의 매끄러움이 보장되지 않아 $ n > 2 $ 일 때 증명이 실패한다.
• $ \rho $-최대점에서 $ \text{cos}\theta_1 > 0 $ 이고 $ \text{cos}\theta_2 = 0 $ 이면, 라플라시안 조건이 $ \text{cos}\theta_1 = 0 $ 이 되도록 강제하며, 이는 비-라그랑주 매장의 가정과 모순된다.