[논문 리뷰] An explicit approach to residues on and dualizing sheaves of arithmetic surfaces

Matthew Morrow|arXiv (Cornell University)|2009. 11. 03.

Algebraic Geometry and Number Theory참고 문헌 47인용 수 21

한 줄 요약

이 논문은 혼합 특성수를 가진 두 차원 국소체를 사용하여 산술 표면에 대한 잔여물 이론을 명시적으로 수립하고, 점 주위의 미분형식에 대한 상호법칙을 확립하며, 잔여 사상들을 통해 상대 쌍대화층을 구성한다. 주요 기여는 유한 잔여체를 가진 Dedekind 환 위의 산술 표면으로 일반화된 고전 결과를 바탕으로, 정수 잔여물에 대한 명시적 공식을 통한 쌍대화층의 표현이다.

ABSTRACT

We develop a theory of residues for arithmetic surfaces, establish the reciprocity law around a point, and use the residue maps to explicitly construct the dualizing sheaf of the surface. These are generalisations of known results for surfaces over a perfect field. In an appendix, explicit local ramification theory is used to recover the fact that in the case of a local complete intersection the dualizing and canonical sheaves coincide.

연구 동기 및 목표

• 혼합 특성수를 가진 두 차원 국소체를 사용하여 산술 표면에 대한 잔여물 이론을 수립한다.
• 완전한 두 차원 국소 환의 정상적 점 주위의 미분형식에 대한 상호법칙을 확립한다.
• 국소 잔여 사상들을 사용하여 산술 표면의 상대 쌍대화층을 명시적으로 구성한다.
• 고전적인 캐논리컬 및 쌍대화층 간의 관계를 국소 완전 교차의 경우를 포함하여 산술 기하학적 맥락으로 일반화한다.
• 산술 기하학에서 Grothendieck 쌍대성에 대한 명시적 아델적 접근을 제공한다.

제안 방법

• 혼합 특성수를 가진 두 차원 국소체 위의 연속적인 미분형식에 대해 상대 잔여 사상 정의.
• 국소체의 유한 확장에 대한 잔여 사상의 함수적 성질 증명.
• 유한 잔여체를 가진 정상적, 완전한 두 차원 국소환에서의 미분형식에 대한 상호법칙 확립.
• 닫힌 점과 곡선에서의 국소 잔여 사상들을 사용하여 쌍대화층의 전역 단면 조건 정의.
• 명시적 국소 분비 이론을 적용하여 완전 교차 링에서의 차별적 이상과 야코비안 행렬식 간의 관계 규명.
• 국소 완전 교차 산술 표면의 경우, 야코비안 행렬식을 통해 쌍대화층과 캐논리컬 층이 일치함을 증명.

실험 결과

연구 질문

• RQ1 혼합 특성수에서 산술 표면의 미분형식에 대해 잔여물을 어떻게 명시적으로 정의할 수 있는가?
• RQ2 완전한离산 평가환수 위의 정상적, 두 차원 국소환에서의 두 차원 미분형식에 대한 상호법칙의 정확한 형태는 무엇인가?
• RQ3 잔여 사상들을 사용하여 산술 표면의 상대 쌍대화층을 어떻게 명시적으로 구성할 수 있는가?
• RQ4 산술 기하학 맥락에서 캐논리컬 층과 쌍대화층이 어떤 조건에서 일치하는가?
• RQ5 혼합 특성수를 가진 국소환 위의 국소 완전 교차 링에서 차별적 이상과 야코비안 행렬식 간의 관계는 무엇인가?

주요 결과

• 상호법칙이 성립한다: 국소체 K 위의 정상적, 완전한 두 차원 국소환의 함수체 위의 임의의 미분형식 ω에 대해, 모든 높이 1의 소수에 대한 잔여물의 합은 0이 된다.
• 평탄하고, 사영적인 산술 표면 π:X→Spec(𝒪_K)의 쌍대화층 ω_π는, 모든 x∈y⊂U 및 f∈𝒪_{X,y}에 대해 Res_{x,y}(fω)가 π(x)에서 K의 완비화에 속하는 모든 미분형식 ω의 집합으로 명시적으로 주어진다.
• 국소 완전 교차 산술 표면의 경우, 캐논리컬 층과 쌍대화층은 일치하며, 이는 고전적인 대수기하학 결과를 일반화한다.
• 정수환의 유한 확장에 대한 쌍대미분은 야코비안 행렬식의 역으로 주어지며, 즉 ℂ(A/B) = J^{-1}A이다.
• 완전한 이산 평가환수 위의 완전 교차의 경우, 쌍대화 모듈러는 야코비안 이상의 역과 동형이다.
• 잔여 사상은 함수적이다: F'/F의 두 차원 국소체의 유한 확장에 대해 Res_F ∘ Tr_{F'/F} = Res_{F'}이다.