[논문 리뷰] Reciprocity sheaves and abelian ramification theory

Kay Rülling, Shuji Saito|arXiv (Cornell University)|2018. 12. 20.

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

한 줄 요약

이 논문은 모듈러스를 가진 모티프의 범주론적 프레임워크를 사용하여 전이를 가진 프레샤프에 대한 모티브적 군자수를 도입하며, 헨젤리안 정수환의 체에 대해 F(L)에 대한 필터를 수립한다. 이는 고전적 군자수—로젠리프트-세르, 아르틴, 비정규성—를 통합하고 일반화하며, 유한 평탄 군 스킴에 대한 토르서스에 대한 새로운 군자수를 도입한다.

ABSTRACT

We define a motivic conductor for any presheaf with transfers $F$ using the categorical framework developed for the theory of motives with modulus by Kahn-Miyazaki-Saito-Yamazaki. If $F$ is a reciprocity sheaf this conductor yields an increasing and exhaustive filtration on $F(L)$, where $L$ is any henselian discrete valuation field of geometric type over the perfect ground field. We show if $F$ is a smooth group scheme, then the motivic conductor extends the Rosenlicht-Serre conductor; if $F$ assigns to $X$ the group of finite characters on the abelianized etale fundamental group of $X$, then the motivic conductor agrees with the Artin conductor defined by Kato-Matsuda; if $F$ assigns to $X$ the group of integrable rank one connections (in characteristic zero), then it agrees with the irregularity. We also show that this machinery gives rise to a conductor for torsors under finite flat group schemes over the base field, which we believe to be new. We introduce a general notion of conductors on presheaves with transfers and show that on a reciprocity sheaf the motivic conductor is minimal and any conductor which is defined only for henselian discrete valuation fields of geometric type with {\em perfect} residue field can be uniquely extended to all such fields without any restriction on the residue field. For example the Kato-Matsuda Artin conductor is characterized as the canonical extension of the classical Artin conductor defined in the perfect residue field case.

연구 동기 및 목표

• 모듈러스를 가진 모티프의 범주론적 프레임워크를 사용하여 전이를 가진 프레샤프에 대한 모티브적 군자수를 정의하기 위해.
• 헨젤리안 정수환의 기하학적 유형을 가진 체 L에 대해, 상호작용 셰이프의 경우 F(L)에 대해 증가하고 완전한 필터를 유도하기 위해.
• 로젠리프트-세르, 아르틴, 비정규성 군자수를 하나의 모티브적 프레임워크 아래 통합하고 일반화하기 위해.
• 기초 체 위의 유한 평탄 군 스킴에 대한 토르서스에 대해 새로운 군자수를 도입하기 위해.
• 모든 헨젤리안 정수환의 체에서, 잔여체가 완전한 경우에 정의된 군자수가 임의의 잔여체를 가진 모든 체로 유일하게 확장됨을 증명하기 위해.

제안 방법

• 카인-미야자키-사이토-야마자키가 개발한 모듈러스를 가진 모티프의 범주론적 프레임워크를 사용하여 모티브적 군자수를 정의한다.
• 상호작용 셰이프 이론을 적용하여 군자수가 F(L)에 대해 잘 정의된 증가적이고 완전한 필터를 유도함을 보장한다.
• 기초 체가 완전한 경우에, 기하학적 유형의 헨젤리안 정수환 체의 구조를 활용하여 군자수의 행동을 분석한다.
• 기존의 불변량과의 호환성을 확립한다: 매끄러운 군 스킴에 대한 로젠리프트-세르 군자수, 아벨화된 에탈 기본군에 대한 아르틴 군자수, 일차 가속 가능 연결에 대한 비정규성.
• 확장의 유일성 원리를 사용하여, 완전한 잔여체를 가진 체에서 정의된 군자수가 임의의 잔여체를 가진 체로 자연스럽게 확장됨을 보인다.
• 전이를 가진 프레샤프에 대한 일반적인 군자수의 개념을 도입하며, 상호작용 셰이프에서 모티브적 군자수가 최소임을 증명한다.

실험 결과

연구 질문

• RQ1 모듈러스를 가진 모티프의 프레임워크를 사용하여 전이를 가진 프레샤프에 대한 통합된 모티브적 군자수를 어떻게 정의할 수 있는가?
• RQ2 모티브적 군자수가 로젠리프트-세르, 아르틴, 비정규성 군자수를 어떻게 일반화하는가?
• RQ3 유한 평탄 군 스킴에 대한 토르서스에 대해 새로운 군자수를 정의할 수 있으며, 이는 상호작용 셰이프의 맥락에서 의미 있는가?
• RQ4 완전한 잔여체를 가진 체에서 정의된 군자수와 임의의 잔여체를 가진 체에서 정의된 군자수 사이의 관계는 무엇인가?
• RQ5 모티브적 군자수가 상호작용 셰이프에서 가능한 모든 군자수 중에서 최소인가?

주요 결과

• 모티브적 군자수는 임의의 상호작용 셰이프 F와 기하학적 유형의 헨젤리안 정수환 체 L에 대해 F(L)에 대해 표준적이고 증가적이며 완전한 필터를 제공한다.
• 매끄러운 군 스킴의 경우, 모티브적 군자수는 고전적 로젠리프트-세르 군자수와 일치한다.
• 아벨화된 에탈 기본군의 유한 캐릭터 군에 대해, 모티브적 군자수는 카토-마츠다 아르틴 군자수와 일치한다.
• 특성 0에서, 일차 가속 가능 연결에 대해 모티브적 군자수는 비정규성 불변량과 일치한다.
• 기본 체 위의 유한 평탄 군 스킴에 대한 토르서스에 대해 새로운 군자수가 도입되었으며, 이는 모티브적 프레임워크 내에서 잘 정의되고 일관됨이 입증되었다.
• 완전한 잔여체를 가진 헨젤리안 정수환 체에서 정의된 군자수는 모든 이러한 체로 유일하게 확장되며, 카토-마츠다 아르틴 군자수는 고전적 아르틴 군자수의 표준적 확장으로 특징지어진다.