[논문 리뷰] Movable intersection and bigness criterion

Jian Xiao|arXiv (Cornell University)|2014. 05. 07.

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

한 줄 요약

이 논문은 이동 가능한 교차 곱을 사용하여 컴acts Kähler 다양체 위의 두 편의 효과적 $(1,1)$-류의 차이에 대한 모르스 유형의 크기 기준을 수립한다. 만약 편의 효과적 $α$와 이동 가능한 $β$에 대해 $ν(α) - n\langleα^{n-1}\rangle \cdot \u03b2 > 0$이면, $α - \u03b2$는 카흐러 현재를 포함한다. 이는 고전적 대수적 모르스 부등식을 초월하여 추이성 및 이동 가능한 설정으로의 일반화이다.

ABSTRACT

In this note, we give a Morse-type bigness criterion for the difference of two pseudo-effective $(1,1)$-classes by using movable intersections. As an application, we give a Morse-type bigness criterion for the difference of two movable $(n-1,n-1)$-classes.

연구 동기 및 목표

• 컴팩트 Kähler 다양체 위의 선다발에 대한 대수적 모르스 부등식을 편의 효과적 $(1,1)$-류로 일반화하는 것.
• 편의 효과적 $α$와 이동 가능한 $β$에 대해 부등식 $\operatorname{vol}(\alpha) - n\langle\alpha^{n-1}\rangle \cdot \beta > 0$이 $α - \beta$에 카흐러 현재의 존재를 암시하는지 조사하는 것.
• 카흐러 및 이동 가능한 콩의 이중성에 기반하여 두 이동 가능한 $(n-1,n-1)$-류의 차이에 대해 모르스 유형의 크기 기준을 수립하는 것.
• 데메를리의 추측이 초월성 모르스 부등식과 $(1,1)$-류 위에서 볼륨 함수의 $\mathcal{C}^1$-연속성 사이의 동치성을 명확히 하는 것.

제안 방법

• 편의 효과적 $(1,1)$-류에 대해 [Bou02a, BDPP13]에서 개발된 이동 가능한 교차 곱 $\langle \cdot \rangle$를 사용한다.
• 팝로비치에 의해 확립된 초월성 모르스 부등식에서 개선된 상수 $n$을 적용하여, 비어지 않은 클래스에서의 결과를 편의 효과적 클래스로 확장한다.
• 카흐러 콩의 폐포와 $(n-1,n-1)$-현재의 이동 가능한 콩 사이의 이중성 $\overline{\mathcal{K}}^\vee = \mathcal{N}$을 활용한다.
• 시험 클래스 $N_\epsilon \in \overline{\mathcal{K}}$를 이용한 모순 추론을 통해 $\langle\alpha^{n-1}\rangle - \langle\beta^{n-1}\rangle$가 양의 현재를 가져야 한다는 것을 보인다.
• 볼륨 함수의 $\mathcal{C}^1$-연속성, [BFJ09]에서 증명된 바에 기반하여 핵심 부등식 $\left.\frac{d}{dt}\right|_{t=0}\operatorname{vol}(\alpha + t\gamma) = n\langle\alpha^{n-1}\rangle \cdot \gamma$를 유도한다.
• 특이 모르스 부등식 프레임워크 내에서 양의 $(1,1)$-형식에 대해 부등식 $\mathbf{1}_{X(\alpha-\beta,\leq 1)}(\alpha-\beta)^n \geq \alpha^n - n\alpha^{n-1} \wedge \beta$를 적용한다.

실험 결과

연구 질문

• RQ1 편의 효과적 $α$와 이동 가능한 $β$에 대해 부등식 $\operatorname{vol}(\alpha) - n\langle\alpha^{n-1}\rangle \cdot \beta > 0$이 $α - \beta$에 카흐러 현재의 존재를 암시하는가?
• RQ2 고전적 대수적 모르스 부등식을 선다발에 대해 일반화하여 편의 효과적 선다발과 이동 가능한 클래스로 확장할 수 있는가?
• RQ3 데메를리의 추측이 초월성 모르스 부등식과 $(1,1)$-류 위에서 볼륨 함수의 $\mathcal{C}^1$-연속성 사이의 동치성인가?
• RQ4 카흐러 콩과 이동 가능한 콩의 이중성에 의해 두 이동 가능한 $(n-1,n-1)$-류의 차이에 대한 크기 기준이 일반화되는가?

주요 결과

• 편의 효과적 $α$와 이동 가능한 $β$에 대해 부등식 $\operatorname{vol}(\alpha) - n\langle\alpha^{n-1}\rangle \cdot \beta > 0$이 $α - \beta$에 카흐러 현재의 존재를 암시한다.
• 결과는 [Bou02b, Theorem 4.7]과 [DP04, Theorem 0.5]를 편의 효과적 및 이동 가능한 클래스의 경우로 일반화한다.
• 논문은 편의 효과적 선다발 $L$과 이동 가능한 선다발 $M$에 대해 $\operatorname{vol}(L - M) \geq \operatorname{vol}(L) - n\langle L^{n-1}\rangle \cdot M$을 증명한다.
• 이동 가능한 $(n-1,n-1)$-류 두 개의 차이에 대해 모르스 유형의 크기 기준을 수립한다: $\langle\alpha^n\rangle - n\alpha \cdot \langle\beta^{n-1}\rangle > 0$이면, $\langle\alpha^{n-1}\rangle - \langle\beta^{n-1}\rangle$는 엄격한 양의 현재를 포함한다.
• 데메를리의 추측과 볼륨 함수의 $\mathcal{C}^1$-연속성 사이의 동치성은 유도된 부등식을 통해 확인된다.
• 이 결과는 데메를리의 추측 하에 컴팩트 하이퍼카ähler 다양체로도 확장되며, 이동 가능한 $(n-1,n-1)$-류는 크기와 이동 가능한 $L$에 대해 $\langle L^{n-1}\rangle$로 나타난다.