[논문 리뷰] Positivity functions for curves on algebraic varieties

Brian Lehmann, Jian Xiao|arXiv (Cornell University)|2016. 07. 18.

Geometry and complex manifolds참고 문헌 13인용 수 4

한 줄 요약

이 논문은 대수기하학적 다양체 위의 곡선 계열에 대한 두 체적 유형 함수 사이의 깊은 이원성, 즉 나선형 변환의 체적과 가중 이동성 함수 사이의 관계를 수립한다. 모든 의사효율적 곡선 계열에 대해 이 두 함수가 일치함을 증명하며, 이는 임의의 차원으로 일반화된 자르스키의 표면 분해 이론을 확장하고, 레지스터-펜셸 변환에 의한 로그-볼록성 추측을 확인한다. 이는 이동 가능한 곡선의 쌍대체와 계수 기하학에의 응용을 포함한다.

ABSTRACT

This is the second part of our work on Zariski decomposition structures, where we compare two different volume type functions for curve classes. The first function is the polar transform of the volume for ample divisor classes. The second function captures the asymptotic geometry of curves analogously to the volume function for divisors. We prove that the two functions coincide, generalizing Zariski's classical result for surfaces to all varieties. Our result confirms the log concavity conjecture of the first named author for weighted mobility of curve classes in an unexpected way, via Legendre-Fenchel type transforms. We also give a number of applications to birational geometry, including a refined structure theorem for the movable cone of curves.

연구 동기 및 목표

• 임의의 차원을 가진 매끄럽고 사영적인 다양체 위의 곡선 계열에 대해 자르스키 유형의 분해 이론을 수립하기 위해.
• 곡선 계열에 대한 두 체적 유형 함수, 즉 나선형 변환의 나선형 체적과 가중 이동성 함수를 비교하기 위해.
• 레지스터-펜셸 변환과 같은 이중성 기법을 통해 가중 이동성의 로그-볼록성 추측을 확인하기 위해.
• 이동 가능한 곡선의 쌍대체에 대한 정교한 구조 정리를 제공하기 위해.
• 프레린의 최적 곡선에 관한 추측을 모든 큰 곡선 계열과 모든 매끄럽고 사영적인 다양체로 일반화하기 위해.

제안 방법

• 큰 곡선과 편의적 인자 계열에 대한 하한을 통해 곡선 계열의 체적 함수의 나선형 변환을 정의한다.
• 일반적인 점들이 효과적인 곡선에 점차 포함되는 정도를 측정하는 다중성의 상한극한으로서 가중 이동성 함수를 도입한다.
• 이동 가능한 쌍대체 내부에서 곡선의 가중 이동성을 정의하기 위해 가중 이동성의 가중치를 사용한다.
• 블로우업에 따른 엄격한 전이를 포함한 비라시오널 기하 기법을 사용하여 서로 다른 모델 간의 계열을 연결한다.
• 네로-세베르 기하학적 군 전역에서 이동성 함수의 연속성과 동차성 성질을 활용한다.
• 레지스터-펜셸 이중성과 볼록 해석학을 사용하여 나선형 변환과 가중 이동성 함수 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 매끄럽고 사영적인 다양체에서 임의의 차원을 가진 모든 의사효율적 곡선 계열에 대해 나선형 변환의 나선형 체적과 가중 이동성 함수가 일치하는가?
• RQ2 레지스터-펜셸 변환과 같은 이중성 기법을 통해 가중 이동성의 로그-볼록성 추측을 확인할 수 있는가?
• RQ3 완전 교차 곡선 계열의 이동성은 그 자체의 교차 수와 같으며, [Leh13b]에서 제안된 바와 같이 동일한가?
• RQ4 체적 유형 함수의 등가성에 의해 이동 가능한 곡선의 쌍대체를 더 정교하게 다룰 수 있는가?
• RQ5 곡선에 대한 점 포함의 점근적 행동은 프레린의 최적 곡선에 관한 추측을 프로젝티브 3차원 공간으로 일반화하는가?

주요 결과

• 모든 $\alpha \in \overline{\operatorname{Eff}}_1(X)$ 에 대해 곡선 계열의 체적 함수의 나선형 변환과 가중 이동성 함수가 일치한다: $\widehat{\operatorname{vol}}(\alpha) = \operatorname{wmob}(\alpha)$.
• 이동성 함수는 $\widehat{\operatorname{vol}}(\alpha) \leq \operatorname{mob}(\alpha) \leq n!\,\widehat{\operatorname{vol}}(\alpha)$ 를 만족하며, 이는 차원에 따라 상수배의 오차 범위 내에서 등가임을 보여준다.
• 추측 1.4에 따르면, 이동성과 나선형 체적 함수는 일치한다: $\operatorname{mob}(\alpha) = \widehat{\operatorname{vol}}(\alpha)$.
• 이동 가능한 쌍대체 내부에서, birational 모델을 거쳐 $\phi^*\alpha$ 에 대한 $\widehat{\operatorname{vol}}(\phi^*\alpha)$ 의 극한으로 정의된 함수 $\mathfrak{M}(\alpha)$ 는 $\operatorname{wmob}_{\mathrm{mov}}(\alpha)$ 와 같다.
• 곡선의 엄격한 이동성 가중치를 통해 이동 가능한 곡선의 쌍대체 내부에서 연속적이고 동차적인 이동성 함수를 구성할 수 있다.
• 체적 유형 함수의 등가성은 레지스터-펜셸 이중성에 의해 가중 이동성의 로그-볼록성 추측을 확인하며, 뜻밖의 방식으로 이를 해결한다.