[논문 리뷰] Towards transverse toric geometry

Hiroaki Ishida|arXiv (Cornell University)|2018. 07. 27.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 7

한 줄 요약

이 논문은 최대 토러스 작용을 가진 컴팩트 복소다양체를 분류하기 위한 조합적 불변량으로 표식이 찍힌 팬을 도입한다. 이는 토릭 다양체와 유사하다. 이들 다양체의 기본 도르베오-코homology는 대각선 외부에서 0이 되며, 기본 코homology는 (1,1)-형식들에 의해 생성되며, 완전하고 비특이적인 토릭 다양체의 성질과 유사하다.

ABSTRACT

We study certain foliated complex manifolds that behave similarly to complete nonsingular toric varieties. We classify them by combinatorial objects that we call marked fans. We describe the basic cohomology algebras of them in terms of corresponding marked fans. We also study the basic Dolbeault cohomology algebras of them.

연구 동기 및 목표

• 최대 토러스 작용을 가진 컴팩트 복소다양체를 표식이 찍힌 팬이라고 불리는 조합적 객체를 사용하여 분류하기.
• 이들 다양체의 기본 코homology 대수를 그에 대응하는 표식이 찍힌 팬의 언어로 묘사하기.
• 이들 다양체의 기본 도르베오-코homology 대수를 연구하고 그 히오지-이론적 구조를 규명하기.
• 이들 폴로이드 다양체와 완전하고 비특이적인 토릭 다양체 사이의 코homological 성질에 있어서의 유사성을 확립하기.

제안 방법

• 표식이 찍힌 팬의 개념을 도입한다. 이는 1-예인의 생성자를 지닌 유리 팬으로서, 분류를 위한 조합적 불변량이 된다.
• 최대 컴act 토러스 G의 리 대수와 그 복소형상 Jg의 교차에서 유도되는 복소다양체 M 위의 표준 폴로이드 F를 사용한다.
• 기본 코homology H^*_B(M)를 폴로이드 F에 대한 기본 미분형식의 복합체의 코homology로 정의한다.
• 편미분 Kähler 형식 ω_b와 ω_{b+ε_ie_i}에 대응하는 적합한 매개변수 b에 대해, 기본 (1,1)-형식 τ_i를 차이를 통해 구성한다.
• 등변 코homology H^*_{G_0}(M_0)에서 기본 코homology H^*_B(M_0)로의 忘却 사상(forgetful map)을 적용하여 코homology 클래스를 연결한다.
• 선형대수학과 다면체 기하학(P_b와 P_{b'}를 통해)을 사용하여 H^2_B(M_0)가 (1,1)-형식들에 의해 생성됨을 보이고, 대각선 외부에서의 히오지 분해가 0이 됨을 증명한다.

실험 결과

연구 질문

• RQ1 최대 토러스 작용을 가진 컴팩트 복소다양체는 어떻게 조합적 자료를 사용하여 분류할 수 있는가?
• RQ2 이들 다양체의 기본 코homology 대수의 구조는 어떠한가?
• RQ3 기본 도르베오-코homology H^{p,q}_B(M)는 어떻게 행동하는가? 특히 히오지 다이아몬드와의 관계에서 어떻게 되는가?
• RQ4 이들 다양체는 완전하고 비특이적인 토릭 다양체와 얼마나 많은 코homological 성질을 공유하는가?
• RQ5 기본 코homology는 (1,1)-형식들에 의해 생성될 수 있으며, 이는 그들의 히오지 구조에 대해 어떤 의미를 갖는가?

주요 결과

• 기본 도르베오-코homology는 H^{p,q}_B(M) = 0 (p ≠ q)을 만족하며, H^{p,p}_B(M) = H^{2p}_B(M) ⊗ ℂ를 만족하여 대각선 히오지 구조를 나타낸다.
• 기본 코homology H^2_B(M_0)는 기본 (1,1)-형식들에 의해 생성되며, 편미분 Kähler 형식의 차이로 정의된 사상 L: ℝ^m → H^2_B(M_0)의 상사상성에 의해 증명된다.
• 사상 f: M_0 → M은 기본 코homology의 동형사상 f^*: H^*_B(M) → H^*_B(M_0)를 유도하며, 히오지 구조를 유지한다.
• 적합한 매개변수 b에 대해, 스케일링에 따라 [ω_b]는 r[ω_{rb}]에 비례함을 확인하여 매개변수 공간에서의 선형성을 확인한다.
• 사상 L의 핵은 몫공간 V^*_0의 쌍대공간의 이미지에 포함되며, 그 차원은 N−k로 유계이므로 L의 상사상성이 보장된다.
• 사상 f^*는 히오지 구조를 유지하므로, M의 히오지 분해는 M_0와 동일한 대각선 외부의 0이 되는 성질을 물려받는다.