[논문 리뷰] Models of curves over DVRs

Tim Dokchitser|Explore Bristol Research|2018. 06. 29.

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

한 줄 요약

이 논문은 정의 방정정식의 뉴턴 다각형을 기반으로 한 토릭 해소를 사용하여 이산 평가환수(DVR) 위의 매끄럽고 사영적인 곡선의 정규 모델을 구성한다. $\Delta_v$-정규성 조건 하에서, 최소성의 명시적 기준을 제공하고, 상대 쌍대화층의 전역 단위를 계산하며, 에탈 코hom로지의 희생 부분과 환원 사상의 구조를 규명함으로써 반복적인 블로우업을 대체하는 직접적인 기하학적 구성법을 제시한다.

ABSTRACT

Let C be a smooth projective curve over a discretely valued field K, defined by an affine equation f(x,y)=0. We construct a model of C over the ring of integers of K using a toroidal embedding associated to the Newton polygon of f. We show that under 'generic' conditions it is regular with normal crossings, and determine when it is minimal, the global sections of its relative dualising sheaf, and the tame part of the first etale cohomology of C.

연구 동기 및 목표

• 토릭 기하학을 사용하여 반복적인 블로우업 없이 DVR 위 곡선의 정규 모델을 구성하고자 한다.
• 뉴턴 다각형 자료를 이용하여 곡선과 그 양자군의 최소성 및 양호/반정규 환원을 특성화하고자 한다.
• 정의 방정식에서 직접적으로 상대 쌍대화층의 전역 단위와 에탈 코호몰로지의 희생 부분을 계산하고자 한다.
• 일반 섹션에서 특별 섹션으로의 유리점 환원 사상을 규명하고자 한다.
• 특이점의 토릭 해소를 통한 피카르 군과 그 갈루아 작용의 기하적 실현을 제공하고자 한다.

제안 방법

• 정의 다항식 $f(x,y)=0$의 뉴턴 다각형 $\Delta_v$를 사용하여 토로이드 맵핑을 구성한다.
• \mathbb{R}^3에서 뉴턴 다각형의 하부 볼록 껍질을 기반으로 한 토릭 해소를 적용한다.
• 특수 섹션의 성분과 변의 매끄러움을 보장하는 일반 조건으로 $\Delta_v$-정규성을 도입한다.
• $v$-면과 $v$-변에 각각 대응하는 스킴 $\bar{X}_F$와 $X_L$을 정의하여 특수 섹션을 기술한다.
• 종수를 $|\Delta(\mathbb{Z})|$로 계산한다. 여기서 $\Delta(\mathbb{Z})$는 $\Delta$ 내부의 정수 점 수이다.
• 다양체 $\Delta(\mathbb{Z})$에 따라 인덱싱된 정규 미분형식의 기저 $x^i y^j \frac{dx}{xy f_y'}$를 유도한다.

실험 결과

연구 질문

• RQ1 DVR 위 곡선의 토릭 모델이 정규이고 정규 교차를 가지는 조건은 무엇인가?
• RQ2 모델이 최소가 되기 위한 조건은 무엇이며, 뉴턴 다각형으로부터 최소성을 어떻게 판단할 수 있는가?
• RQ3 상대 쌍대화층의 전역 단위와 곡선의 에탈 코호몰로지가 뉴턴 다각형 자료와 어떻게 관련되는가?
• RQ4 일반 섹션에서 특별 섹션으로의 유리점 환원 사상의 구조는 어떠한가?
• RQ5 곡선이 희생적으로 분해될 경우, $H^1_{\text{ét}}(C_{\bar{K}}, \mathbb{Q}_l)$ 위의 갈루아 작용은 어떻게 분해되는가?

주요 결과

• 모델이 정규이고 정규 교차를 가지는 것은 $f$가 $\Delta_v$-정규일 때이고, 이는 모든 성분 $\bar{X}_F$와 $X_L$의 매끄러움을 보장한다.
• 곡선의 종수는 정확히 $|\Delta(\mathbb{Z})|$이며, 이는 뉴턴 다각형 $\Delta$ 내부의 정수 점 수이다.
• 상대 쌍대화층의 전역 단위 기저는 $(i,j) \in \Delta(\mathbb{Z})$에 대해 $x^i y^j \frac{dx}{xy f_y'}$로 주어진다.
• 에탈 코호몰로지 $H^1_{\text{ét}}(C_{\bar{K}}, \mathbb{Q}_l)$의 희생 부분은 $\Delta_v$-정규성과 $v$-변의 기울기에 의해 결정된다.
• $\Delta_v$-정규성이 성립할 경우, $C(K)$에서 $\mathcal{C}(k)$로의 점 환원 사상은 전사적이다.
• 특별 섹션 $\mathcal{A}_{\bar{k}}^0$ 의 $l$-adic 코호몰로지는 관성 작용 하에서 일반 섹션 피카르 군의 고정 부분과 동형이며, 핵과 여부가 각각 $d$와 $|\Phi|$로 유계된다.