[논문 리뷰] Volume and Hilbert function of R-divisors

Mihai Fulger, Janós Kollár외 1명|arXiv (Cornell University)|2015. 03. 08.

Analytic Number Theory Research참고 문헌 11인용 수 3

한 줄 요약

이 논문은 적절하고 정규적인 대수기하학적 다양체 위의 R-환원에 대해 체적 등식과 힐버트 함수 불변성 간의 정확한 동치를 확립한다. 큰 R-환원에 대해, 체적은 효과적 R-환원 E를 더하거나 빼도 그대로 유지되며, 이는 E가 자르스키–나카야마 분해의 음의 부분 또는 그 백터리얼 증강 기저집합에 포함될 때에만 성립한다. 이러한 결과는 R-선형 동치 하에서 힐버트 함수가 언제 보존되는지를 특성화한다.

ABSTRACT

If D is a big divisor and E is an effective divisor, then vol(D-E)<=vol(D)<=vol(D+E). We discuss when each inequality is an equality. Surprisingly, the answer is that the asymptotic equality vol(D-E)=vol(D) is equivalent to the equality of the Hilbert functions of D-E and D. The analogous result holds when vol(D)=vol(D+E).

연구 동기 및 목표

• 큰 R-환원의 힐버트 함수가 효과적 R-환원을 더하거나 빼도 불변이 되는 조건을 규명하는 것.
• 큰 R-환원이 효과적 R-환원에 의해 편향될 때 체적이 보존되는 조건을 특성화하는 것.
• R-선형 동치의 맥락에서 체적 등식과 힐버트 함수 등식 간의 관계를 명확히 하는 것.
• 기존의 체적과 기저집합에 관한 결과를 임의의 완전한 체 위의 특이적, 정규적, 적절한 다양체로 확장하는 것.

제안 방법

• 큰 R-환원 D의 음의 부분 Nσ(D)를 분석하기 위해 자르스키–나카야마 분해(σ-분해)를 사용한다.
• A가 코디멘션 1에서 앰플리일 때, D = A + E 형태의 분해에 대한 교차를 통해 정의된 divisorial 증강 기저집합 B+div(D) 개념을 적용한다.
• 체적 함수 vol(D) = limsup_{m→∞} h⁰(mD)/(mⁿ/n!)를 사용하여 渐近적 코homology 성장과 기하학적 불변량을 연결한다.
• 변형과 비라션 모델을 통해 문제를 매끄럽고 사영적인 다양체로 환원하고, 체적과 기저집합의 동차성 및 함자성질을 활용한다.
• 음의 부분의 성분을 탐지하기 위해 σ-불변량 σΓ(D)를 사용하고, 이를 제한 기저집합과 연결한다.
• FL13, BFJ09, Cut13b, Nak04의 결과를 적용하여 코homological 및 수치적 동치를 확립한다.

실험 결과

연구 질문

• RQ1 효과적 R-환원 E를 더했을 때, 힐버트 함수 H(X,D)가 언제 불변이 되는가?
• RQ2 큰 R-환원 D에 대해 vol(D − E) = vol(D)가 성립하도록 하는 E의 기하학적 조건은 무엇인가?
• RQ3 divisorial 증강 기저집합 B+div(D)는 체적과 코homology의 편향에 따른 보존과 어떻게 관련되는가?
• RQ4 체적 등식이 힐버트 함수 등식을 의미하고, 그 반대도 성립하는 경우는 언제인가?
• RQ5 σ-분해와 B+div(D)는 체적 불변성을 특성화하는 데 어떻게 상호작용하는가?

주요 결과

• 큰 R-환원 D와 효과적 E에 대해, vol(D − E) = vol(D)이 성립하는 것은 E ≤ Nσ(D)일 때이고, 이는 D의 σ-분해의 음의 부분과 정확히 일치한다.
• 힐버트 함수 H(X,D)는 E를 빼더라도 불변이며, 이는 모든 R-선형 동치인 D′ ∼ℝ D에 대해 균일하게 성립한다.
• 체적이 E를 더함으로써 그대로 유지되기 위해서는 Supp(E) ⊆ B+div(D)이어야 하며, 이는 D의 증강 기저집합의 divisorial 부분에 포함되어야 한다.
• 힐버트 함수 H(X,D)는 E를 더해도 불변이며, 이는 모든 D′ ∼ℝ D에 대해 균일하게 성립한다.
• D가 R-Cartier이고 네프일 경우, vol(D + E) = vol(D)이 성립하는 것은 Dⁿ⁻¹·E = 0이어야 하며, vol(D − E) = vol(D)이 성립하는 것은 E = 0이어야 한다.
• 결과는 R-선형 동치류 내의 대표자 선택과 무관하며, 체적과 힐버트 함수 불변성이 오직 R-선형 클래스에 의존한다는 것을 보여준다.