[论文解读] On multilinearity and skew-symmetry of certain symbols in motivic cohomology of fields

Sung Myung|ArXiv.org|Jan 9, 2008

Advanced Algebra and Geometry参考文献 14被引用 3

一句话总结

本文建立了域的 Goodwillie-Lichtenbaum 动机上同调复形中符号的多重线性和反对称性，为在度-权相等情形下提供动机上同调与 Milnor K-理论之间的显式同构。证明了这些性质在 $ H^{l-1}_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(l)) $ 中的不可约符号上成立，将行列式公式 $ \det(AB) = \det A \cdot \det B $ 推广至更高阶动机符号。

ABSTRACT

The purpose of the present article is to show the multilinearity for symbols in Goodwillie-Lichtenbaum complex in two cases. The first case shown is where the degree is equal to the weight. In this case, the motivic cohomology groups of a field are isomorphic to the Milnor's K-groups as shown by Nesterenko-Suslin, Totaro and Suslin-Voevodsky for various motivic complexes, but we give an explicit isomorphism for Goodwillie-Lichtenbaum complex in a form which visibly carries multilinearity of Milnor's symbols to our multilinearity of motivic symbols. Next, we establish multilinearity and skew-symmetry for irreducible Goodwillie-Lichtenbaum symbols in H^{l-1} (Spec k, Z(l)). These properties have been expected to hold from the author's construction of a bilinear form of dilogarithm in case k is a subfield of the field of complex numbers and l=2. Next, we establish multilinearity and skew-symmetry for Goodwillie-Lichtenbaum symbols in H^{l-1} (Spec k, Z(l)). These properties have been expected to hold from the author's construction of a bilinear form of dilogarithm in case k is a subfield of the field of complex numbers and l=2. The multilinearity of symbols may be viewed as a generalization of the well-known formula det(AB) = det(A) det(B) for tuples of commuting matrices.

研究动机与目标

• 建立域的 Goodwillie-Lichtenbaum 动机上同调复形中符号的多重线性和反对称性。
• 为动机上同调 $ H^n_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(n)) $ 与 Milnor K-理论 $ K^M_n(k) $ 之间提供直接、显式的同构，且该同构明显保持多重线性。
• 将这些性质推广至 $ H^{l-1}_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(l)) $ 中的不可约符号，特别是 $ l=2 $ 的情形，使其与指标映射的预期行为一致。
• 为 Goodwillie-Lichtenbaum 复形提供 Nesterenko-Suslin 定理的新证明，强化其在动机上同调中的基础性作用。

提出的方法

• 通过单峰环 $ R\Delta^\bullet $ 的 Grothendieck 群 $ K_0(R\Delta^d, \mathbb{G}_m^{\wedge l}) $ 构造 Goodwillie-Lichtenbaum 动机复形，其中商去任何自同构为平凡的类。
• 利用 $ R\Delta^\bullet $ 的单峰结构定义一个链复形，其上同调计算域的动机上同调。
• 在 $ GL_n(k[t]) $ 中使用显式矩阵构造来表示符号，并追踪其在同伦下的行为，特别是 $ t=0 $ 和 $ t=1 $ 处。
• 在 $ K_0 $-群中使用恒等式 $ (A(t)B(t)) = (A(0)B(0)) $ 测试动机上同调中的可表示性，当多重线性性不成立时显示其失败。
• 利用涉及分块矩阵的关键恒等式推导反对称性，通过将 $ \theta_2(t) $ 替换为 $ \theta_1(t) $ 的副本以诱导消去。
• 依赖不可约性条件，以确保在自同构置换下行为非退化，从而通过 $ K_0 $ 中的消去实现反对称性证明。

实验结果

研究问题

• RQ1 Goodwillie-Lichtenbaum 动机复形在 $ H^n_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(n)) $ 中的符号是否表现出多重线性性？若成立，其与 Milnor K-理论的兼容性如何？
• RQ2 是否可在 $ H^{l-1}_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(l)) $ 中的不可约符号上建立多重线性和反对称性，特别是 $ l=2 $ 的情形？它们与指标映射有何关联？
• RQ3 是否存在通过 Goodwillie-Lichtenbaum 复形实现 $ H^n_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(n)) $ 与 $ K^M_n(k) $ 之间、明显保持多重线性的显式同构？
• RQ4 何种条件可确保符号 $ (\theta_1(t), \dots, \theta_l(t)) $ 在动机上同调中定义良好类？不可约性如何影响这一性质？

主要发现

• 本文证明了 $ H^n_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(n)) $ 中符号的多重线性性，表明符号映射在矩阵乘法下保持加法行为，推广了 $ \det(AB) = \det A \cdot \det B $。
• 为 Goodwillie-Lichtenbaum 复形提供了 Nesterenko-Suslin 定理的直接证明，确立了 $ H^n_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(n)) \cong K^M_n(k) $，且同构明显保持多重线性。
• 通过涉及分块矩阵和 $ K_0 $ 中消去的矩阵恒等式，证明了 $ H^{l-1}_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(l)) $ 中不可约符号的反对称性，证明了在索引交换下有 $ (\theta_1, \dots, \theta_l) = - (\theta_j, \dots, \theta_i, \dots) $。
• 在 $ k \subset \mathbb{C} $、$ l=2 $ 的情形下，双对数形式的构造与本文证明的反对称性和多重线性性质一致。
• 通过反例展示了多重线性性的失效：存在同伦 $ A(t)B(t) $ 满足 $ A(0)B(0) \neq A(1)B(1) $ 在 $ K_0(k, \mathbb{G}_m^{\wedge 1}) $ 中，表明 $ (A(t)B(t)) $ 不定义 $ H^0_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(1)) $ 中的类。
• 反对称性中的不可约性假设可被特征为零的条件替代，以确保符号在自同构置换下保持非退化。