[논문 리뷰] Foncteurs de Mackey à réciprocité

Bruno Kahn|arXiv (Cornell University)|2012. 10. 29.

Advanced Topology and Set Theory인용 수 3

한 줄 요약

이 논문은 대수기하학에서 매키 함수와 상호관계를 연구하며, 코homological, 가환성 및 위상적 불변성 성질에 초점을 맞춘다. 이러한 함수들이 강력한 상호관계 법칙을 만족함을 증명하며, 특히 가환 대수적 군이나 준아벨 다양체와 관련된 코homological 매키 함수가 강력한 상호관계 성질을 만족함을 보인다. 주요 기여는 매키 함수와 그 전이 사상들을 이용한 대수기하학에서의 상호관계 일반 이론을 수립한 것이다.

ABSTRACT

This text was written 20 years ago, inspired by M. Somekawa's paper on K-groups attached to semi-abelian varieties (K-Theory 4 (1990), 105--119) and before Voevodsky's theory of presheaves with transfers. The reason why it only had a limited circulation will be obvious towards the end. In view of recent developments, I thought it could be useful to make it generally available.

연구 동기 및 목표

• 대수기하학에서 상호관계 성질을 가진 매키 함수를 정의하고 분석한다.
• 특히 대수적 군과 코homological 함수에 대해 이러한 함수가 강력한 상호관계 성질을 만족하는 조건을 확립한다.
• Galois 강하를 통해 대수적으로 닫힌 체의 경우에서 일반적인 기저 체로의 상호관계 법칙을 일반화한다.
• 국소 기호를 가진 매키 함수의 텐서곱을 위한 프레임워크를 개발하며, 전이 사상의 호환성 문제를 다룬다.

제안 방법

• 유한 평탄 사상과 필터링된 합집합에 대한 연속성 조건을 요구하는 아핀 $k$-스킴 위의 매키 함수를 정의한다.
• 핵심 성질을 도입한다: 코homological(전이-조합은 차수 곱으로 일치), 가환성(불연속 합집합과 호환), 위상적 불변성(라디시얼 사상에서 동형이다).
• 헤젤의 보조정리와 분리 가능한 닫힘에 대한 기저 변경을 통해 코homological 함수에 대해 약한 위상적 불변성을 확립한다.
• 요소 $a(D) = \operatorname{Cor}_{D/k} \iota_D^*(a)$ 를 이용한 나누기 평가 사상 $a(D)$ 를 통해 $A(U)$의 원소와 $A(k)$의 값 사이의 관계를 설정하며, 특히 유효 나누기에 대해 다룬다.
• 호모토피 불변성과 Galois 강하를 적용하여 결과를 대수적 닫힘에서 일반적인 기저 체로 확장한다.
• 스펙트럴 시퀀스와 하이퍼코hom로지 계산을 통해 토피컬 코hom로지가 있는 에테ール 층 복합체에 대해 상호관계를 확장한다.

실험 결과

연구 질문

• RQ1 매키 함수가 강력한 상호관계 성질을 만족하는 조건은 무엇인가?
• RQ2 코homological 및 위상적 불변성 성질이 약한 위상적 불변성을 유도하는 방식은 어떻게 되는가?
• RQ3 대수적으로 닫힌 체에서의 대수적 군에 대한 상호관계 법칙을 일반적인 기저 체로 확장할 수 있는가?
• RQ4 두 매키 함수의 텐서곱이 잘 정의된 국소 기호를 상속하기 위한 조건은 무엇인가?
• RQ5 에테ール 스킴 위의 하이퍼코호몰로지 함수가 강력한 상호관계를 얼마나 잘 만족하는가?

주요 결과

• 코homological이고 위상적으로 불변인 매키 함수는 헤젤의 보조정리와 분리 가능한 닫힘에 대한 기저 변경을 통해 약한 위상적 불변성을 만족한다.
• 모든 유한 평탄 사상 $f: V \to U$ 에 대해 차수 $n$ 이면 평가가 $(f^*a)(f^*D) = n a(D)$ 와 $a(f_*D) = (f^*a)(D)$ 를 만족하며, $A$ 가 코homological일 경우 성립한다.
• 만약 $A$ 가 $k$ 위의 가환 대수적 군이거나 준아벨 다양체이면, 관련 매키 함수는 강력한 상호관계 성질을 만족한다.
• 유계 위상 복합체 $C^\cdot$ 에 대해 토피컬 코호몰로지가 $\operatorname{char}(k)$ 와 서로소인 경우, 하이퍼코호몰로지 함수 $Y \mapsto \mathbb{H}^i(Y_{\text{ét}}, C^\cdot)$ 는 강력한 상호관계를 만족한다.
• 차우 군 함수 $Y \mapsto CH^i(X \times_k Y)$ 는 하이퍼코호몰로지 결과의 특수한 경우로서 강력한 상호관계를 만족한다.
• 함수 $Y \mapsto \Omega^i_{X/\mathbb{Z}}$ 는 상호관계를 만족하지만 강력한 형태는 아니며, 이는 약한 상호관계와 강력한 상호관계 사이의 차이를 보여준다.