[论文解读] Noncommutative numerical motives, Tannakian structures, and motivic Galois groups

Matilde Marcolli, Gonçalo Tabuada|arXiv (Cornell University)|Oct 11, 2011

Algebraic structures and combinatorial models参考文献 15被引用 8

一句话总结

本文通过引入格罗滕迪克标准猜想 C 和 D 的非交换类比，利用周期循环同调作为对称张量函子，为非交换数值动机建立了坦纳基安结构。在这些猜想成立的前提下，证明了非交换数值动机的范畴成为坦纳基安范畴，并可定义良定义的动机伽罗瓦群，这些群通过德利涅-米勒的 Tate 三元组理论与经典动机伽罗瓦群相关联。

ABSTRACT

In this article we further the study of noncommutative numerical motives. By exploring the change-of-coefficients mechanism, we start by improving some of our previous main results. Then, making use of the notion of Schur-finiteness, we prove that the category NNum(k)_F of noncommutative numerical motives is (neutral) super-Tannakian. As in the commutative world, NNum(k)_F is not Tannakian. In order to solve this problem we promote periodic cyclic homology to a well-defined symmetric monoidal functor HP on the category of noncommutative Chow motives. This allows us to introduce the correct noncommutative analogues C_NC and D_NC of Grothendieck's standard conjectures C and D. Assuming C_NC, we prove that NNum(k)_F can be made into a Tannakian category NNum'(k)_F by modifying its symmetry isomorphism constraints. By further assuming D_NC, we neutralize the Tannakian category NNum'(k)_F using HP. Via the (super-)Tannakian formalism, we then obtain well-defined noncommutative motivic (super-)Galois groups. Finally, making use of Deligne-Milne's theory of Tate triples, we construct explicit homomorphisms relating these new noncommutative motivic (super-)Galois groups with the classical ones.

研究动机与目标

• 通过解决非交换数值动机范畴无法成为坦纳基安范畴的问题，将坦纳基安形式化推广至非交换动机。
• 定义格罗滕迪克标准猜想 C 和 D 的非交换类比 $C_{NC}$ 和 $D_{NC}$，以恢复坦纳基安结构。
• 通过 (超-)坦纳基安形式化构造非交换动机 (超-)伽罗瓦群，并将其与经典动机伽罗瓦群关联。
• 利用德利涅-米勒的 Tate 三元组理论，在非交换与经典动机伽罗瓦群之间建立桥梁。

提出的方法

• 引入系数变换机制，以改进关于 $\operatorname{NNum}(k)_{F}$ 半单性的先前结果。
• 利用舒尔有限性，证明当 $F$ 为特征零域时，$\operatorname{NNum}(k)_{F}$ 在 $F$ 上是（非中性）超坦纳基安范畴。
• 利用周期循环同调，构造从非交换查尔动机到分次 $F$-向量空间的良定义对称张量函子 $\overline{HP_{\ast}}$。
• 将非交换标准猜想 $C_{NC}$ 和 $D_{NC}$ 定义为确保通过修改对称同构约束，使 $\operatorname{NNum}(k)_{F}$ 可被赋予坦纳基安结构的条件。
• 在 $C_{NC}$ 成立的条件下，对 $\operatorname{NNum}^{\dagger}(k)_{F}$ 应用坦纳基安形式化，得到由 $\overline{HP_{\ast}}$ 中性化的坦纳基安范畴，且在 $D_{NC}$ 条件下成立。
• 利用德利涅-米勒的 Tate 三元组理论，构造从非交换动机 (超-)伽罗瓦群到经典伽罗瓦群的显式同态。

实验结果

研究问题

• RQ1 当 $F$ 为特征零域时，范畴 $\operatorname{NNum}(k)_{F}$ 是否为（非中性）超坦纳基安范畴？
• RQ2 是否存在格罗滕迪克标准猜想 $C$ 的非交换类比 $C_{NC}$，且它是否可通过修改对称同构约束，使 $\operatorname{NNum}(k)_{F}$ 成为坦纳基安范畴？
• RQ3 是否存在标准猜想 $D$ 的非交换类比 $D_{NC}$，且它是否可中性化坦纳基安范畴 $\operatorname{NNum}^{\dagger}(k)_{F}$？
• RQ4 非交换动机 (超-)伽罗瓦群与经典动机伽罗瓦群之间有何关系？

主要发现

• 当 $F$ 为特征零域，且 $k$、$F$ 满足定理 4.6 的条件时，范畴 $\operatorname{NNum}(k)_{F}$ 为（非中性）超坦纳基安范畴。
• 在非交换标准猜想 $C_{NC}$ 成立的条件下，通过修改其对称同构约束，范畴 $\operatorname{NNum}(k)_{F}$ 可被提升为坦纳基安范畴 $\operatorname{NNum}^{\dagger}(k)_{F}$。
• 在假设 $D_{NC}$ 成立的前提下，坦纳基安范畴 $\operatorname{NNum}^{\dagger}(k)_{F}$ 被周期循环同调函子 $\overline{HP_{\ast}}$ 中性化，使其等价于某个概代数群表示范畴。
• 非交换动机伽罗瓦群 $\mathrm{Gal}(\operatorname{NNum}^{\dagger}(k)_{F})$ 通过坦纳基安形式化构造，并证明其同构于 $\overline{HP_{\ast}}$-表示的坦纳基安群。
• 利用德利涅-米勒的 Tate 三元组理论，显式构造了从非交换动机 (超-)伽罗瓦群到经典动机伽罗瓦群的同态。
• 结果在非交换与经典动机伽罗瓦群之间建立了精确联系，将经典坦纳基安形式化推广至非交换设定。