[논문 리뷰] Characterizing volume via cone duality

Jian Xiao|arXiv (Cornell University)|2015. 02. 23.

Geometry and complex manifolds참고 문헌 21인용 수 6

한 줄 요약

이 논문은 켈러 구조의 이중성 원리를 이용하여 컴팩트 켈러 다양체 위의 1-사이클에 대한 새로운 교차 이론적 체적 기능을 도입한다. 이는 켈러 원형과 양의 $(n-1,n-1)$-현재의 원형 간의 이중성에 기반하며, 체적의 정의를 교차 수의 하한으로 특징짓는다. 이는 고전적 디바이저의 체적을 일반화하고 이동성 기능과도 밀접하게 관련되어 있으며, 후지타 근사 및 칼라비-야우 계량에의 적용을 포함한다.

ABSTRACT

For divisors over smooth projective varieties, we show that the volume can be characterized by the duality between pseudo-effective cone of divisors and movable cone of curves. Inspired by this result, we give and study a natural intersection-theoretic volume functional for 1-cycles over compact Kähler manifolds. In particular, for numerical equivalence classes of curves over projective varieties, it is closely related to the mobility functional.

연구 동기 및 목표

• 컴팩트 켈러 다양체 위의 1-사이클에 대해 이중성 원리를 이용하여 디바이저에서의 체적 개념을 확장한다.
• 곡선의 수치적 동치류를 위한 새로운 교차 이론적 체적 기능을 정의한다.
• 새로운 체적 기능의 연속성, 오목성, 양성 조건을 확립한다.
• 기존의 불변량들, 예를 들어 이동성 및 칼라비-야우 계량과의 관계를 탐색한다.
• 고차원 사이클 계량에 대한 체적 기능을 정의하는 일반적 프레임워크를 제안한다.

제안 방법

• 체적이 1인 켈러 클래스들에 대한 하한으로 정의된 1-사이클 계량의 체적을 $\widehat{vol}_{\mathcal{N}}(\gamma) = \inf_{\beta \in \mathcal{K}_1} \max(\langle \beta, \gamma \rangle, 0)^{n/(n-1)}$ 로 정의한다.
• 켈러 원형 $\mathcal{K}$ 와 양의 $(n-1,n-1)$-현재의 원형 $\mathcal{N}$ 간의 원형 이중성을 이용하여 이 기능을 유도한다.
• 특이 칼라비-야우 정리를 활용하여, 주어진 체적 형태를 가진 몽주-암페르 방정식의 해들과 체적 간의 관계를 규명한다.
• 몽주-암페르 해로부터 유도되는 상수 $c_{\Phi,\omega}$ 의 하한을 통해 새로운 불변량 $\mathfrak{M}_{CY}(\gamma)$ 를 정의한다.
• 레전드르-펜켈 유형의 이중성을 적용하여, 고차원 사이클 계량에 대한 일반화를 수행한다.
• 원형 이중성 $\mathcal{K}^\vee = \mathcal{N}$ 과 이동 가능한 원형의 구조를 이용하여 연속성과 내부에서의 엄밀한 양성함을 증명한다.

실험 결과

연구 질문

• RQ1 컴팩트 켈러 다양체 위의 1-사이클 체적은 디바이저의 경우와 유사하게 원형 이중성에 의해 특징지을 수 있는가?
• RQ2 새로운 체적 기능은 사이클의 이동성 기능과 어떻게 관련되어 있는가?
• RQ3 새로운 체적 기능은 1-사이클의 네론-세베르 스페이스 전체에서 연속적이고 오목한가?
• RQ4 이중성 원리를 이용하여 체적 기능을 고차원 사이클 계량에 확장할 수 있는가?
• RQ5 모든 가우두숑 계량에서 불변량 $\mathfrak{M}_{CY}$ 와 $\mathfrak{M}$ 이 일치하는가?

주요 결과

• 1-사이클 계량 $\gamma$ 의 체적은 $\widehat{vol}_{\mathcal{N}}(\gamma) = \inf_{\beta \in \mathcal{K}_1} \max(\langle \beta, \gamma \rangle, 0)^{n/(n-1)}$ 로 주어지며, 이는 $H^{n-1,n-1}_{BC}(X,\mathbb{R})$ 에서 연속적이고 오목하다.
• $\widehat{vol}_{\mathcal{N}}(\gamma)$ 가 양수이기 위한 필요충분조건은 $\gamma$ 가 원형 $\mathcal{N}$ 의 내부에 있을 때이다.
• 새로운 체적 기능은 이동성 기능과 密접히 관련되어 있으며, 켈러 계량의 경우 두 기능은 일치한다.
• 몽주-암페르 방정식의 해를 통해 정의된 불변량 $\mathfrak{M}_{CY}(\gamma)$ 는 모든 가우두숑 계량 $\gamma$ 에 대해 $\mathfrak{M}_{CY}(\gamma) \leq \mathfrak{M}(\gamma)$ 를 만족하며, 켈러 계량의 경우 등호가 성립한다.
• 레전드르-펜켈 유형의 이중성을 통해 고차원으로의 일반화가 가능하지만, $k \neq n-1$ 인 경우 $\mathcal{N}_k$ 의 이중 구조는 아직 열려있다.
• $\mathfrak{M}_{CY}(\gamma)$ 는 임의의 체적 형태와 가우두숑 계량에 대한 하한을 포함하고 있음에도 불구하고, 컴팩트 켈러 다양체 위에서는 항상 유한하다.