[논문 리뷰] Teissier's problem on inequalities of nef divisors over an arbitrary field

Steven Dale Cutkosky|arXiv (Cornell University)|2013. 04. 04.

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

한 줄 요약

이 논문은 특성 0의 대수적으로 닫힌 체 위의 완전 대역체에서 네프 및 빅 선다발에 대한 Boucksom, Favre, Jonsson의 Diskant 유형 부등식 및 비례성 결과를 임의의 체로 확장한다. 임의의 체 위에서 양의 교차 곱과 Fujita 근사 이론을 개발하여, 특성 다항식의 해소가 불가능한 경우에도 Khovanskii–Teissier 부등식에서의 등식이 성립하는 것은 네프 분할이 수치적으로 비례할 때에만 성립함을 입증한다. 핵심 기여는 특성 0이 아닌 체, 특히 양의 특성 및 비완전 체를 포함한 일반 체로 Teissier의 네프 분할 비례 문제를 일반화한 것이다.

ABSTRACT

Boucksom, Favre and Jonsson establish in [4] an analog of Diskant's inequality in convex geometry for nef and big line bundles on a complete algebraic variety over an algebraically closed field of characteristic zero (Theorem F [4]), from which they deduce a solution (Theorem D [4]) to a problem of Teissier (Problem B [29]) on proportionality of nef divisors. In this paper we extend these results to a complete variety over an arbitrary field k.

연구 동기 및 목표

• 특성 0의 대수적으로 닫힌 체에서 네프 및 빅 선다발에 대한 Diskant 유형 부등식과 비례성 결과를 임의의 체로 일반화하는 것.
• 특성 양의 경우에서 특성 다항식의 해소가 부족한 장벽을 극복하기 위해 부드러움 조건 없이 임의의 체 위에서 교차 이론을 개발하는 것.
• 완전 대역체에서 기하학적으로 정수적이거나 일반적으로 감소하지 않는 경우에도 빅 선다벨의 체적이 항상 극한임을 입증하는 것.
• 임의의 체에서 네프 분할에 대한 Khovanskii–Teissier 부등식에서의 등식이 성립하는 것은 네프 분할이 수치적으로 비례할 때에만 성립함을 증명하는 것.
• 비완전 체를 포함한 임의의 체 위의 완전 대역체에서 네프 분할의 비례 문제를 Teissier의 문제로 일반화하는 것.

제안 방법

• Boucksom, Favre, Jonsson의 양의 교차 곱 이론을 적응하여, 벨리카르 모델의 수치군의 역극한을 통해 정의한다.
• 기저 체로의 확장을 통해 [23] 및 [8]의 결과를 활용하여, 임의의 체 위에서 Fujita 근사가 성립함을 입증함으로써 체적이 극한임을 보장한다.
• 교차 수 $ s_i = (eta^{d-i} eta^{i-1} eta) $ 를 사용하여 네프 분할의 내반경과 외반경을 정의함으로써 Teissier의 접근을 일반화한다.
• Theorem 6.9 (Diskant 유형 부등식)을 적용하여 내반경과 외반경에 대한 경계를 유도하고, 비례성 기준을 도출한다.
• 동차성과 교차 곱 성질을 활용하여 네프 분할의 비례성과 Khovanskii–Teissier 부등식에서의 등식 간의 동치성을 확립한다.
• 비완전 체를 다루기 위해, 일반적인 계열 선다벨에서 체적이 수렴하지 않을 수 있는 예를 구성하지만, 완전 대역체 위의 빅 선다벨에 대해서는 체적이 근본적으로 극한임을 증명한다.

실험 결과

연구 질문

• RQ1 특성 0의 대수적으로 닫힌 체에서 네프 분할에 대한 Diskant 유형 부등식과 비례성 결과를 임의의 체로 확장할 수 있는가?
• RQ2 기하학적으로 정수적이지 않은 경우에도 임의의 체 위의 완전 대역체에서 빅 선다벨에 대해 Fujita 근사가 성립하는가?
• RQ3 임의의 체 위의 완전 대역체에서 빅 선다벨의 체적이 항상 극한인가, 그리고 특성 다항식의 해소 없이 이를 어떻게 증명할 수 있는가?
• RQ4 Khovanskii–Teissier 부등식에서의 등식이 임의의 체에서 네프 분할의 수치적 비례성으로 이르는 조건은 무엇인가?
• RQ5 임의의 체에서 네프 분할의 내반경과 외반경은 어떻게 행동하는가, 그리고 비례성을 특징짓는 데 사용될 수 있는가?

주요 결과

• 임의의 체 위의 완전 대역체에서 빅 선다벨의 체적은 기저 체로의 확장을 통해 극한임을 입증하였으며, [23] 및 [8]의 결과를 활용하였다.
• Theorem 5.1에 의해, [23]의 Theorem 3.3과 [8]의 Theorem 7.2를 조합함으로써, 임의의 체 위에서 Fujita 근사가 성립함을 입증하였다.
• Theorem 6.9에 의한 Diskant 유형 부등식은 내반경과 외반경에 대한 날카로운 경계를 제공하며, [4]의 결과를 임의의 체로 일반화한다.
• Theorem 6.10은 $ r(eta;eta) \to 1 $ 이며 $ s_i = 1 $ for all $ i $ 이면, $ \beta $ 와 $ \beta $ 가 비례함을 보이며, 따라서 Khovanskii–Teissier 부등식에서 등식이 성립함을 의미한다.
• Theorem 6.13은 $ (\beta^d) > 0 $ 인 네프 분할 $ \beta $ 와 $ \beta $ 에 대해, Khovanskii–Teissier 부등식에서의 등식이 성립하는 것은 $ \beta $ 와 $ \beta $ 가 수치적으로 비례할 때에만 성립함을 증명한다.
• 체적이 비영인 경우, $ X $ 가 감소하지 않더라도 $ \beta|X_{\text{red}} $ 와 $ \beta|X_{\text{red}} $ 가 빅일 경우 비례 결과는 성립하며, 이는 비감소 스킴로의 결과 확장을 가능하게 한다.