[论文解读] Foncteurs de Mackey à réciprocité

Bruno Kahn|arXiv (Cornell University)|Oct 29, 2012

Advanced Topology and Set Theory被引用 3

一句话总结

本文引入並研究了具有互惠性質的Mackey函子，專注於上同調性、加法性與拓撲不變性。研究證明，這些函子滿足強互惠定律，特別是證明了與交換代數群或半阿貝爾簇相關的上同調Mackey函子滿足強互惠性質。主要貢獻在於建立了一個使用Mackey函子及其專化映射的代數幾何中互惠性的通用框架。

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.

研究动机与目标

• 在代數幾何中定義並分析具有互惠性質的Mackey函子。
• 建立這些函子滿足強互惠性的條件，特別是針對代數群與上同調函子。
• 透過Galois下降，將互惠定律從代數閉域的情形推廣至任意基域。
• 建立Mackey函子的張量積與局部符號的框架，解決專化映射中的相容性問題。

提出的方法

• 在仿射 $k$-概形上定義Mackey函子，要求在濾子直積下連續，且與有限平坦態射相容。
• 引入關鍵性質：上同調性（轉移複合等於度數乘法）、加法性（與不相交並集相容）與拓撲不變性（在radicial態射上為同構）。
• 透過Hensel引理與分離閉包上的基變換，建立上同調函子的弱拓撲不變性。
• 使用除子評價映射 $a(D) = \operatorname{Cor}_{D/k} \iota_D^*(a)$，將 $A(U)$ 中的元素與 $A(k)$ 中的值關聯起來，特別是針對有效除子。
• 應用同倫不變性與Galois下降，將結果從代數閉包推廣至一般基域。
• 使用譜序列與上同調，將互惠性推廣至具有扭上同調的étale層複形。

实验结果

研究问题

• RQ1 在何種條件下，Mackey函子滿足強互惠性質？
• RQ2 上同調性與拓撲不變性性質如何相互作用以推出弱拓撲不變性？
• RQ3 代數群的互惠定律能否從代數閉域推廣至任意基域？
• RQ4 在何種條件下，兩個具有局部符號的Mackey函子的張量積會繼承到良好的局部符號？
• RQ5 在étale拓撲上，上同調函子在多大程度上滿足強互惠性？

主要发现

• 若Mackey函子為上同調性且拓撲不變，則其為弱拓撲不變，此結果透過Hensel引理與分離閉包上的基變換證明。
• 對於任意有限平坦態射 $f: V \to U$（度數為 $n$），有 $(f^*a)(f^*D) = n a(D)$ 且當 $A$ 為上同調性時，$a(f_*D) = (f^*a)(D)$。
• 若 $A$ 為 $k$ 上的交換代數群或半阿貝爾簇，則其對應的Mackey函子滿足強互惠性質。
• 對於具有扭上同調且其特徵不被 $\operatorname{char}(k)$ 整除的有上界的複形 $C^\cdot$，上同調函子 $Y \mapsto \mathbb{H}^i(Y_{\text{ét}}, C^\cdot)$ 滿足強互惠性。
• Chow群函子 $Y \mapsto CH^i(X \times_k Y)$ 滿足強互惠性，為上同調結果的特例。
• 函子 $Y \mapsto \Omega^i_{X/\mathbb{Z}}$ 滿足互惠性但不滿足強版本，顯示弱與強互惠性之間的差異。