[논문 리뷰] Bloch's formula for 0-cycles with modulus

Rahul Gupta, Amalendu Krishna|arXiv (Cornell University)|2020. 08. 13.

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

한 줄 요약

이 논문은 유한체 위의 매끄럽고 사영적인 다양체에서 0-사이클의 모듈러스를 가진 차우 군에 대한 블로흐 공식을 고차원 분지 기하학적 클래스 체계 이론의 새로운 결과를 사용하여 확립한다. 주요 기여는 사이클 클래스 사상과 상호법칙 동형사상에 의한 0-사이클의 모듈러스를 가진 차우 군의 구조적 특성 기술이다.

ABSTRACT

We prove Bloch's formula for the Chow group of 0-cycles with modulus on smooth projective varieties over finite fields. The proof relies on some new results in higher dimensional ramified geometric class field theory that we also prove.

연구 동기 및 목표

• 유한체 위의 다양체에서 일반적인 0-사이클에 대한 블로흐 공식을 모듈러스 조건이 있는 0-사이클의 상황으로 확장하기.
• 모듈러스 조건이 있는 고차원 다양체에 대한 기하학적 클래스 체계 이론의 부재를 해결하기.
• 고전적 클래스 체계 이론을 모방하는 0-사이클의 모듈러스를 가진 이중성 이론 수립하기.
• 사이클 클래스 사상에 의한 0-사이클의 모듈러스를 가진 차우 군의 코homological 기술 제공하기.
• 주요 결과를 위해 필요한 고차원 분지 기하학적 클래스 체계 이론의 기초 도구 개발하기.

제안 방법

• 모듈러스를 가진 0-사이클의 차우 군에서 특정 코homology 군으로의 사이클 클래스 사상 사용.
• 기능체의 모듈러스를 고려한 차우 군과 갈루아 코homology 군 간의 상호법칙 동형사상 적용.
• 相対 K-이론의 모듈러스를 가진 계수를 가진 층에 대한 다양체의 코homology에 대한 이중성 정리 활용.
• 고차원 분지 클래스 체계 이론에서 상호법칙 사상의 새로운 구성에 의존.
• 특이점의 해소와 순수성 정리들을 사용하여 문제를 매끄러운 다양체의 경우로 축소.
• 상호법칙 사상에 의해 모듈러스를 가진 0-사이클의 차우 군과 특정 코homology 군의 이중성 간의 동형사상 수립.

실험 결과

연구 질문

• RQ1 블로흐 공식은 유한체 위의 매끄럽고 사영적인 다양체에서 0-사이클의 모듈러스를 가진 경우로 일반화될 수 있는가?
• RQ2 고차원 클래스 체계 이론의 맥락에서 0-사이클의 모듈러스를 가진 차우 군의 구조는 무엇인가?
• RQ3 고차원에서 0-사이클의 모듈러스를 가진 경우 상호법칙 동형사상을 어떻게 구성할 수 있는가?
• RQ4 어떤 코homological 불변량이 0-사이클의 모듈러스를 가진 차우 군을 제어하는가?
• RQ5 이 결과는 모듈러스 조건이 있는 다양체의 기하학적 클래스 체계 이론에 어떤 영향을 미치는가?

주요 결과

• 블로흐 공식은 유한체 위의 매끄럽고 사영적인 다양체에서 0-사이클의 모듈러스를 가진 차우 군에 대해 성립한다.
• 0-사이클의 모듈러스를 가진 차우 군은 특정 코homology 군의 이중성과 동형이다.
• 차우 군에서 갈루아 코homology 군으로의 상호법칙 사상은 동형사상이며, 이는 이중성을 확립한다.
• 증명은 고차원 분지 기하학적 클래스 체계 이론의 새로운 결과에 의존하며, 특히 상호법칙 동형사상의 구성에 중점을 둔다.
• 모듈러스를 가진 차우 군의 구조는 다양체와 그 모듈러스의 코homological 자료에 의해 완전히 기술된다.
• 결과는 고전적 블로흐 공식을 모듈러스 조건의 상황으로 일반화하여 산술 이중성 정리의 적용 범위를 확장한다.