[논문 리뷰] n-dimensional local fields and adeles on n-dimensional schemes

Denis Vasilievich Osipov|arXiv (Cornell University)|2005. 08. 11.

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

한 줄 요약

이 논문은 n차원 스킴 위의 n차원 국소체와 아델의 체계적 서베이를 제공하며, 베일린슨의 단체적 접근을 통해 기본 정의, 분류 정리, 아델 복합체를 수립한다. 이러한 구조들이 준가역층을 해결하고, 표면에서 특히, 타인 기호와 고차 타인 기호의 명시적 공식이 순서화된 체와 부호에 따라 표현되는 대수기하학에서 상호작용 법칙을 도출함을 보여준다.

ABSTRACT

It is a survey paper on n-dimensional local fields and adeles on n-dimensional schemes.

연구 동기 및 목표

• n차원 국소체 이론을 체계화하고, 고차원 대수기하학에서 그 역할을 명확히 하기 위해.
• 고전적 클래스 체계 이론과 아델 구조를 임의의 차원의 스킴로 일반화하기 위해.
• 아델 해석을 통한 고차 아델, 층 코hom로지, 교차 이론 간의 연결 고리를 수립하기 위해.
• 타인 기호와 고차 밀너 K-이론을 이용하여 2차원 국소체에 대한 상호작용 법칙을 제시하고 증명하기 위해.
• 파르신, 베일린슨, 카토 등이 이전에 연구한 고차 국소체와 아델 코호몰로지 이론을 통합하고 확장하기 위해.

제안 방법

• n차원 국소체를 (n−1)차원 잔여체를 가진 완비 이산 체적환의 분수체로 귀납적으로 정의한다.
• 비에릴린슨의 단체적 접근을 적용하여, 부분다양체의 플래그를 통해 노에테리안 스킴 위의 고차 아델을 정의한다.
• 플래그를 전후로 한 제한적 곱으로서 아델 복합체를 구성하며, 구성 요소는 n차원 국소체에 속한다.
• 단일 플래그에 연결된 제한적 아델 복합체를 도입하여 국소화된 코호몰로지 해석을 가능하게 한다.
• 알gebraic K-이론의 경계 사상과 밀너 K-이론을 활용하여 고차 기호 ν_K(f,g) 및 (f,g,h)_K를 정의한다.
• 정수 조합의 짝수성에 따라 달라지는 부호 항과 함께, 순서화된 체 ν_i를 사용한 기호의 명시적 공식을 유도한다.

실험 결과

연구 질문

• RQ1 n차원 국소체는 어떻게 분류되며, 반복적인 이산 체적환에 따른 그 구조적 성질은 무엇인가?
• RQ2 n차원 스킴 위의 고차 아델은 곡선과 표면에서의 고전적 아델을 어떻게 일반화하는가?
• RQ3 아델 복합체는 노에테리안 스킴 위의 준가역층을 해결하는 데 어떤 역할을 하는가?
• RQ4 2차원 국소체에서 타인 기호 ν_K(f,g)와 고차 기호 (f,g,h)_K는 어떻게 상호작용 법칙을 유도하는가?
• RQ5 제한적 아델 복합체와 대수기하학에서의 코호몰로지 해석 간의 관계는 무엇인가?

주요 결과

• n차원 국소체는 귀납적으로 분류된다: 체 K가 마지막 잔여체 k를 가진 n차원이면, (n−1)차원 잔여체를 가진 완비 이산 체적환의 분수체여야 한다.
• 타인 기호 ν_K(f,g)는 명시적으로 ν_K(f,g) = ν_1(f)ν_2(g) − ν_2(f)ν_1(g)로 주어지며, 여기서 ν_i는 반복 체적확인이다.
• 고차 기호 (f,g,h)_K는 최대 이상수에 모odulo된 f,g,h의 단항식과 부호 항의 곱으로 표현되며, 부호는 체적확인의 대칭 합에 따라 달라진다.
• 표면 X의 임의의 점 p에 대해, p를 통과하는 곡선의 생기에서 ∑_{C∋p} ν_K(f,g) = 0 이고, ∏_{C∋p} (f,g,h)_K = 1 이 되어 전역 상호작용 법칙이 성립한다.
• 표면 X의 곡선 C에 대해, ∑_{p∈C} [k(p):k]·ν_K(f,g) = 0 이고, ∏_{p∈C} Nm_{k(p)/k} (f,g,h)_K = 1 이 되어 상대적 상호작용 법칙이 성립한다.
• 기호 ν_K(f,g)는 K^*에 대한 ℤ로의 중심 확장에서의 교환자로 나타나며, 이는 상호작용 법칙의 군론적 해석을 제공한다.