[논문 리뷰] Kato's conductor and generic residual perfection

James Borger|ArXiv.org|2001. 12. 29.

Advanced Topics in Algebra참고 문헌 5인용 수 3

한 줄 요약

이 논문은 완비 이산 평가환수환의 불완전한 잔여체를 가진 1차 고레스 표현에 대한 비로그형 카토-아르틴 군형수는 그 환의 일반 잔여 완전화로 당겨올릴 때도 변화하지 않음을 증명한다. 주요 결과는 이 기저 변경에 대해 군형수가 불변임을 보여, 카토의 군형수 이론을 일반화하여 일반 잔여 완전화 구성에 의해 비아벨적 상황으로 확장한다.

ABSTRACT

Let A be a complete discrete valuation ring with possibly imperfect residue field, and let $χ$ be a one-dimensional Galois representation over A. I show that the non-logarithmic variant of Kato's Swan conductor is the same for $χ$ and the pullback of $χ$ to the generic residual perfection of A. This implies the conductor from "Conductors and the moduli of residual perfection" (math.NT/0112305) extends the non-logarithmic variant of Kato's.

연구 동기 및 목표

• 완비 이산 평가환수환의 불완전한 잔여체를 가진 갈루아 표현에 대해 카토의 군형수 이론을 확장하는 것.
• 비로그형 카토-아르틴 군형수가 환의 일반 잔여 완전화로의 당겨올림에 대해 유지됨을 보이는 것.
• 일차원의 경우에서 일반 아르틴 군형수와 카토의 군형수 사이의 호환성을 확립하는 것.
• 카토의 정밀 스와논 군형수와 일반 잔여 완전화 구성 간의 기본적인 연결 고리를 제공하는 것.

제안 방법

• 기저 변경 하에서 코homological 행동을 분석하기 위해 카토의 정밀 스와논 군형수 이론과 K-이론 기반 기호를 사용한다.
• 기초 분석을 위해 매츠다의 카토의 정밀 스와논 군형수의 등차수의 경우에 대한 개선을 적용한다.
• 일반 잔여 완전화로의 당겨올림 하에서 K-이론 기반 기호의 행동을 코딩하는 교환도를 활용한다.
• 일반 잔여 완전화에서 원래 체로의 갈루아 군 사상의 상사상성을 활용한다.
• 헤젤라이제이션과 국소화의 보편 성질을 이용하여 관련 환들과 그 완비화 사이의 사상 구축.
• 혼합 차수의 경우에서 필터링 기법을 통해 특정 코homology 클래스의 비영성 분석.

실험 결과

연구 질문

• RQ1 비로그형 카토-아르틴 군형수가 이산 평가환수환의 일반 잔여 완전화로의 기저 변경에 대해 불변인지 여쭙는다.
• RQ2 카토의 정밀 스와논 군형수의 행동이 일반 잔여 완전화 구성과 어떻게 관련되어 있는가?
• RQ3 일차원 표현의 일반 아르틴 군형수가 불완전한 잔여체 환경에서 카토의 비로그형 군형수와 일치함을 보일 수 있는가?
• RQ4 K-이론 기반 기호가 일반 잔여 완전화 하에서 군형수 불변성을 제어하는 데 어떤 역할을 하는가?

주요 결과

• 비로그형 카토-아르틴 군형수는 일반 잔여 완전화로의 당겨올림에 대해 유지되며, 즉 $\mathrm{ar_{\scriptscriptstyle K}}(\chi) = \mathrm{ar_{\scriptscriptstyle K}}(\chi')$ 이다. 여기서 $\chi'$ 는 $\chi$ 의 당겨올림이다.
• 등차수의 경우, 결과는 매츠다의 카토의 정밀 스와논 군형수의 개선과 기저 변경 하에서 미분형식의 행동에 기반한다.
• 혼합 차수의 경우, 군형수 불변성은 K-이론 기반 기호와 필터링 구조를 통한 코homology 클래스의 비영성 분석을 통해 증명된다.
• $\mathrm{ar_{\scriptscriptstyle K}}(\chi)$ 는 $n$ 또는 $n+1$ 이며, 여기서 $n = \mathrm{sw_{\scriptscriptstyle K}}(\chi)$ 이고, 이 값은 $A^\mathrm{g}$ 로의 기저 변경 하에서도 유지된다.
• 일차원 표현에 대한 일반 아르틴 군형수 $\mathrm{ar}(\rho)$ 는 $\mathrm{ar_{\scriptscriptstyle K}}(\chi)$ 와 일치하며, 이는 두 군형수 이론 간의 호환성을 확인한다.