[논문 리뷰] The Mean Curvature of Transverse K\"ahler Foliations

Seoung Dal Jung, Ken Richardson|arXiv (Cornell University)|2018. 08. 29.

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

한 줄 요약

이 논문은 전방 Kähler 분할에 있어서 평균 곡률 1형식과 그 헬름홀로픽/반헬름홀로픽 성분을 조사하며, 기본 Dolbeault 코homology에서 하드 레프셰츠 정리가 성립하기 위한 필요충분조건으로서 $[\partial_B \kappa^{0,1}_B]$의 영함을 규명한다. 이는 분할이 타우가 아닐 경우 허그의 다이아몬드 구조가 붕괴됨을 보이며, 두 가지 핵심 불변량인 Alvarez 클래스 $[\kappa_B]$와 $\partial_B\partial_B$-클래스 $[\partial_B\kappa^{0,1}_B]$를 규명하여 코homological 대칭성과 레프셰츠 성질의 타당성을 규명한다.

ABSTRACT

We study properties of the mean curvature one-form and its holomorphic and antiholomorphic cousins on a transverse K\"ahler foliation. If the mean curvature of the foliation is automorphic, then there are some restrictions on basic cohomology similar to that on K\"ahler manifolds, such as the requirement that the odd basic Betti numbers must be even. However, the full Hodge diamond structure does not apply to basic Dolbeault cohomology unless the foliation is taut.

연구 동기 및 목표

• 전방 Kähler 분할에서 평균 곡률 1형식과 그 헬름홀로픽/반헬름홀로픽 성분의 역할을 이해하는 것.
• 기본 Dolbeault 코homology에서 표준 Kähler 코homological 구조—예를 들어 하드 레프셰츠 정리와 허그 대칭성—가 성립하는 조건을 규명하는 것.
• 비타우 분할의 기본 코homology에서 허그 대칭성과 $\partial\bar\partial$-레마의 실패 또는 존재를 규정하는 불변량을 규명하는 것.
• 기본 코homology가 Kähler 다양체에서의 성질과 유사한 성질을 만족하는 조건을 명확히 하는 것.

제안 방법

• _bundle-like metric와 전방 헬름홀로픽 구조를 사용하여 평균 곡률 1형식 $\kappa_B$와 그 전방 $(1,0)$ 및 $(0,1)$ 성분 $\kappa^{1,0}_B$, $\kappa^{0,1}_B$를 정의한다.
• $\kappa^{1,0}_B$와 $\kappa^{0,1}_B$가 $\partial_B$-폐쇄이자 $H^{1,0}_{\partial_B}(F)$와 $H^{0,1}_{\partial_B}(F)$에 잘 정의된 코homology 클래스를 나타냄을 증명하며, 이는 메트릭 선택과 무관하다.
• $\eta = [\partial_B\kappa^{0,1}_B] \in H^{1,1}_{\partial_B\partial_B}(F)$라는 클래스를 도입하며, 이가 bundle-like 및 호환 가능한 전방 메트릭 선택에 대해 불변임을 보인다.
• 기본 라플라스 연산자 $\Delta_B$와 $\Box_B$, $\Box_{\bar B}$ 연산자를 전방 Dolbeault 라플라스 연산자와 곡률 항목으로서의 명시적 공식을 유도한다.
• $\kappa_B$의 자동성 조건을 분석하며, $\kappa_B$가 자동적일 조건은 $H^{1,0} = (\kappa^{0,1}_B)^\#$ 가 전방 헬름홀로픽 벡터장임과 동치임을 보인다.
• 예시(예: $T^3_A \times T^3_A$에서의 예)를 통해 다양한 전방 복소 구조 하에서의 코homological 행동을 비교하며, 타우 대비 비타우 및 Kähler 대비 비-Kähler 케이스를 다룬다.

실험 결과

연구 질문

• RQ1 전방 Kähler 분할에서 기본 Dolbeault 코homology에 대해 하드 레프셰츠 정리가 성립하는 조건은 무엇인가?
• RQ2 $\partial_B\partial_B$-클래스 $[\partial_B\kappa^{0,1}_B]$는 기본 코homology에서 $\partial\bar\partial$-레마와 허그 대칭성의 타당성을 결정하는 데 어떤 역할을 하는가?
• RQ3 Alvarez 클래스 $[\kappa_B]$의 비영함이 기본 코homology의 구조, 특히 홀수 베티 수의 기수성에 어떤 영향을 미치는가?
• RQ4 메트릭 선택을 통해 평균 곡률 1형식을 식별적으로 0으로 만들 수 있는가, 그리고 이를 위한 조건은 무엇인가?
• RQ5 타우와 비타우 전방 Kähler 분할 간 기본 Dolbeault 코homology의 코homological 성질은 어떻게 다를까?

주요 결과

• 기본 코homology에서 하드 레프셰츠 정리가 전방 Kähler 분할에서 성립하는 것은 $[\partial_B\kappa^{0,1}_B]$의 영함과 동치이다.
• $[\partial_B\kappa^{0,1}_B]$가 비자명할 조건은 $\partial_B\partial_B$-레마가 $\partial_B\kappa^{0,1}_B$에서 실패할 때이며, 이 클래스는 bundle-like 및 호환 가능한 전방 메트릭 선택에 대해 불변이다.
• 비타우 전방 Kähler 분할의 경우, 홀수 기본 베티 수가 반드시 짝수일 필요가 없으며, 기본 Dolbeault 베티 수 $h^{r,s}_B$는 $h^{r,s}_B = h^{s,r}_B$ 또는 $h^{r,s}_B = h^{n-s,n-r}_B$를 만족하지 않아 허그 대칭성이 붕괴된다.
• $[\partial_B\kappa^{0,1}_B]$가 자명할 조건은 평균 곡률 $\kappa_B$가 자동적일 때이며, 이는 그 흐름이 전방 헬름홀로픽 구조를 보존함을 의미한다.
• 예제 9.2에서, 비타우 전방 Kähler 분할이면서 $[\partial_B\kappa^{0,1}_B]$가 비자명한 예가 구성되며, 동일한 다양체에 대해 다른 전방 복소 구조를 선택하면 이 클래스가 자명해짐을 보여, 이 클래스가 복소 구조에 의존함을 밝힌다.
• 이 예제는 전방 Kähler 분할이라도 짝수 차수 기본 코homology 군이 0이 될 수 있음을 보이며(예: $h^2_B = 0$), 이는 심플렉틱 다양체와는 다름을 보여준다.