[논문 리뷰] Zariski decompositions on arithmetic surfaces

Atsushi Moriwaki|arXiv (Cornell University)|2009. 11. 16.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 4

한 줄 요약

이 논문은 아르케레로프 기하학에서 연속형 아리트메틱 ${\mathbb{R}}$-디바이저에 대해 자르스키 분해를 수립한다. 고전적 자르스키 분해를 아리트메틱 표면 위의 아리트메틱 ${\mathbb{R}}$-디바이저로 확장하며, $\overline{D} = \overline{P} + \overline{N}$ 형태의 분해를 도입한다. 여기서 $\overline{P}$ 는 네프이고 $\overline{N}$ 는 효과적이다. 적절한 양성 및 연속성 조건 하에서 존재성과 유일성을 증명하고, 표준 아르케레로프 차우 군이 이러한 분해를 포괄하지 못함을 보여준다.

ABSTRACT

In this paper, we establish the Zariski decompositions of arithmetic R-divisors of continuous type on arithmetic surfaces and investigate several properties. We also develop the general theory of arithmetic R-divisors on arithmetic varieties.

연구 동기 및 목표

• 표면 위의 대수적 디바이저에 대한 고전적 자르스키 분해를 아리트메틱 기하학에서 아리트메틱 ${\mathbb{R}}$-디바이저로 확장한다.
• 아리트메틱 표면 위의 연속형 아리트메틱 ${\mathbb{R}}$-디바이저에 대해 자르스키 분해를 정의하고 연구한다.
• 분해에서 양성 부분과 음성 부분의 성질을 연구하며, 특히 그들이 극한과 양성 조건 하에서 어떻게 행동하는지 분석한다.
• 표준 아리트메틱 차우 군에 광범위한 메트릭을 사용할 경우 자르스키 분해를 포착하지 못함을 보이며, 더 정교한 메트릭 유형이 필요함을 강조한다.

제안 방법

• 복소다양체 위의 ${\mathbb{R}}$-디바이저에 대해 $C^0$, $C^\infty$, PSH, 일반적인 $\mathscr{T}$-유형의 그린 함수를 도입한다.
• 아리트메틱 ${\mathbb{R}}$-디바이저를 $D$ 가 ${\mathbb{R}}$-디바이저이고 $g$ 가 특정 유형의 그린 함수인 쌍 $(D, g)$ 로 정의한다.
• 그로모프 부등식과 변형 함수를 적용하여 그린 함수의 성장률을 제어하고, 양성 조건을 확립한다.
• 다음으로, 다중하나형 위상 상한을 사용하여 아리트메틱 디바이저의 양성 부분 $\overline{P}$ 를 구성한다.
• 아리트메틱 표면 위의 네프 아리트메틱 ${\mathbb{R}}$-디바이저에 대해 $\sigma$-분해 이론과 극한 과정을 개발한다.
• 모든 네프 아리트메틱 ${\mathbb{R}}$-디바이저 중 $\overline{D}$ 보다 작거나 같은 것들 중에서 $\overline{P}$ 가 가장 큰 원소임을 특성화함으로써 자르스키 분해의 존재성과 유일성을 증명한다.

실험 결과

연구 질문

• RQ1 아리트메틱 표면 위의 연속형 아리트메틱 ${\mathbb{R}}$-디바이저에 대해 고전적인 대수적 경우와 유사한 자르스키 분해를 정의할 수 있는가?
• RQ2 이러한 분해가 아리트메틱 설정에서 존재하고 유일하기 위한 필요 및 충분 조건은 무엇인가?
• RQ3 네프 아리트메틱 ${\mathbb{R}}$-디바이저의 극한 하에서 양성 부분과 음성 부분은 어떻게 행동하는가?
• RQ4 왜 표준 아리트메틱 차우 군에 광범위한 메트릭을 사용할 경우 자르스키 분해를 포착하지 못하는가?
• RQ5 다양한 유형의 그린 함수(예: $C^0$, PSH, $\mathscr{T}$-유형)는 구축 과정에서 어떤 역할을 하는가?

주요 결과

• 아리트메틱 표면 위의 연속형 아리트메틱 ${\mathbb{R}}$-디바이저에 대해 자르스키 분해 $\overline{D} = \overline{P} + \overline{N}$ 이 존재하고 유일하다.
• 양성 부분 $\overline{P}$ 는 $\overline{D}$ 보다 작거나 같은 모든 네프 아리트메틱 ${\mathbb{R}}$-디바이저 중에서 가장 큰 것으로 특성화되며, 이는 대수적 경우의 일반화이다.
• 음성 부분 $\overline{N}$ 은 효과적이며, $\operatorname{Supp}(\overline{N})$ 의 모든 성분 $C_i$ 에 대해 $\widehat{\operatorname{deg}}(\overline{P} \cdot \overline{C}_i) = 0$ 이고, $\operatorname{Supp}(\overline{N})$ 에서의 교차 행렬은 음의 정부호이다.
• $0 < \lambda < 1$ 인 경우 $\overline{M}_\lambda = (C_0, -\log|z|^2 + \log(|z|^2 + \lambda))$ 의 예시는 $\overline{M}_\lambda$ 가 큼(빅)이지만 네프가 아니며, 그 양성 부분이 $\lambda\overline{L}$ 이 아니라는 점을 보여주며, 양성 부분의 비가환성(비선형성)을 입증한다.
• 광범위한 메트릭을 사용하는 아리트메틱 차우 군(예: 팔링스의 $\widehat{\operatorname{Div}}_{\Phi_\lambda}$) 은 자르스키 분해를 포착하지 못한다. $[0, \overline{M}_\lambda]$ 간격 내에서 유일한 네프 원소는 0 뿐이기 때문이다.
• $\overline{D} = (nC_0, -n\log|z|^2 + \log f(|z|))$ 에 대해 양성 부분은 쉽게 계산되지 않으며, 이는 명시적 구성의 복잡성을 시사한다.