[논문 리뷰] Teissier's problem on proportionality of nef and big classes over a compact Kähler manifold

Jixiang Fu, Jian Xiao|arXiv (Cornell University)|2014. 10. 17.

Geometry and complex manifolds참고 문헌 10인용 수 8

한 줄 요약

이 논문은 컴acts Kähler 다양체 위의 초월적 네프 및 비틀림 큰 클래스에 대한 Teissier의 비례 문제를 해결하며, Khovanskii-Teissier 부등식에서 등호가 성립하는 것은 오직 그 클래스들이 비례할 때에만임을 증명한다. 저자들은 초월적 Diskant 부등식에 의존하지 않고, 미분기하학적 기법과 특이점 이론을 활용하여, Boucksom-Favre-Jonsson의 결과를 대수기하학에서 Kähler 기하학으로 확장한다.

ABSTRACT

We solve Teissier's proportionality problem for transcendental nef classes over a compact Kähler manifold which says that the equality in the Khovanskii-Teissier inequalities hold for two nef and big classes if and only if the two classes are proportional. This result recovers the previous one of Boucksom-Favre-Jonsson for the case of nef and big line bundles over a (complex) projective algebraic manifold.

연구 동기 및 목표

• 콤팩트 Kähler 다양체 위의 초월적 네프 및 큰 클래스에 대해 Khovanskii-Teissier 부등식의 등호 경우를 특성화하는 것.
• Boucksom-Favre-Jonsson의 비례 결과를 프로젝티브 대수기하학적 다양체에서 콤팩트 Kähler 다양체로 확장하는 것.
• 비례성을 특성화하는 여러 조건들(체적의 덧셈성, 거듭제곱 맵의 임베딩 등) 간의 동치성을 확립하는 것.
• 네프 큰 쌍대원소의 (n−1)-차 거듭제곱 맵이 네프 큰 쌍대원소의 쌍대원소에 임베딩됨을 증명하여 기하학적 및 코homological 성질 간의 연결을 맺는 것.

제안 방법

• 콤팩트 Kähler 다양체에 대해 혼합 Hodge-Riemann 이중선형 관계를 사용하여 초월적 클래스에 대해 Khovanskii-Teissier 부등식을 유도하는 것.
• 약한 헬로모르프 미터 부등식을 초월적 설정에서 적용하되, 직접적으로 사용하지는 않지만 전략을 안내하는 데 기여하는 것.
• 최소한의 특이성을 가진 양의 현재 표현을 사용하고, Demailly 및 Boucksom의 결과를 활용해 Lelong 수를 분석하는 것.
• Bott-Chern 코hom올로지 프레임워크를 사용하여 Kähler 및 Kähler 현재 표현을 통해 네프성과 크기성을 정의하는 것.
• 등호의 경우를 반증하고, codimension ≥2 또는 1인 해석적 부분집합에 지지된 현재에 대한 허수 정리들을 적용하며, Lemma 2.1 및 Lemma 2.2를 사용하는 것.
• 현재 차이의 영성과 특이성 제어를 통해 앰플 루소에서의 비례성을 확립하고 전체 다양체로 확장하는 것.

실험 결과

연구 질문

• RQ1 콤팩트 Kähler 다양체 위의 두 네프 및 큰 클래스가 Khovanskii-Teissier 부등식에서 등호를 만족하려면 어떤 조건이 필요한가?
• RQ2 두 네프 및 큰 클래스의 비례성은 혼합 Hodge-Riemann 유형 부등식에서의 등호와 동치인가?
• RQ3 Boucksom-Favre-Jonsson의 대수기하학적 비례 결과는 콤팩트 Kähler 다양체의 초월적 설정으로 확장될 수 있는가?
• RQ4 (n−1)-차 거듭제곱 맵이 네프 큰 쌍대원소의 쌍대원소에 임베딩되는가? 이는 클래스 군의 기하학에 대해 무엇을 시사하는가?
• RQ5 체적의 덧셈 조건 vol(α+β)^{1/n} = vol(α)^{1/n} + vol(β)^{1/n}이 초월적 경우에서 비례 클래스를 특성화하는가?

주요 결과

• 두 네프 및 큰 클래스 α와 β에 대해 Khovanskii-Teissier 부등식에서 등호가 성립하는 것은 오직 α와 β가 비례할 때에만이다.
• 체적의 덧셈 조건 vol(α+β)^{1/n} = vol(α)^{1/n} + vol(β)^{1/n}은 α와 β의 비례성과 동치이다.
• (n−1)-차 거듭제곱 맵 α ↦ α^{n−1}이 네프 큰 쌍대원소의 쌍대원소에 임베딩되는 것은 오직 α와 β가 비례할 때에만 성립한다.
• 모든 1 ≤ k ≤ n−1에 대해 s_k^2 = s_{k−1} s_{k+1}이 성립하는 것은 오직 α와 β가 비례할 때에만 성립한다.
• 클래스 α와 β가 비례하는 것은 오직 α^{n−1}과 β^{n−1}이 비례할 때에만 성립하며, 이는 강력한 코homological 특성화를 제공한다.
• 등호의 경우에 Kähler 메트릭 표현의 차이 α₀ − β₀가 X 전체에서 식별적으로 0이 되며, 이는 α = β임을 의미한다.