[论文解读] A remark on the invariance of $K$-theory under duality

Georg Lehner|arXiv (Cornell University)|Mar 9, 2026

Homotopy and Cohomology in Algebraic Topology被引用 0

一句话总结

该论文表明本地化不变量 F 的两个对偶性不变性事实在 K-理论中是形式性的，并给出一个反例，表明普遍本地化不变量在取反对象时并非不变量。

ABSTRACT

In this short remark, we explain that two examples of invariance under duality for a localizing invariant $F$ hold purely formally when $F$ is $K$-theory, whereas the general statement for arbitrary localizing invariants does not reduce to a formal statement. We record a counterexample to the claim that the universal localizing invariant is invariant under the operation of taking opposite categories, originally due to Tabuada.

研究动机与目标

• 在稳定 ∞-范畴中研究本地化不变量对对偶性的不变性之动机。
• 解释为什么 K-理论可能表现出形式性的对偶性不变性。
• 给出一个反例，表明普遍本地化不变量不一定对反对象保持不变。
• 强调对 Brauer 群及相关构造的影响。

提出的方法

• 回顾两个形式性不变性示例，其中 F(cont)(C) ≃ F(cont)(C^∨) 当 F 为 K-理论。
• 利用 Verdier 对偶性与余层理论在特定情形下将 Sh(X, Sp) 与 Cosh(X, Sp) 联系起来。
• 将 Efimov 对 Sh(P, Sp) 与 Cosh(P, Sp) 的计算应用于连续偏序集。
• 证明 K-理论在自然变换 (−)^{≃} → Ω^{∞}K 的意义下具有普遍性。
• 证明对于 E1-环谱 R，K(R) ≃ K(R^{op})，但对任意局部化不变量则不成立。

实验结果

研究问题

• RQ1 F(cont) 的两种对偶性不变性现象是否仅仅对 K-理论形式性地出现？
• RQ2 普遍本地化不变量是否保持对偶操作，并在何种条件下？
• RQ3 是否可以刻画可对偶化的 ∞-范畴以确保其局部化不变量对对偶性不变？
• RQ4 给出具体的反例以展示普遍不变量对对偶性不变性的极限是什么？
• RQ5 Brauer 群如何在 K-理论与动机性情境下影响对偶性现象？

主要发现

• 存在若干自然等价：K ≃ K ∘ (−)^{op}。
• 同样的不变性推广到可对偶的稳定 ∞-范畴 via 对偶函子 (−)^{∨}。
• 推论：K^{cont} ≃ K^{cont} ∘ (−)^{∨} 在 Pr^{L}_{dual} 上成立。
• 存在一个稳定的幂等完备 ∞-范畴 C，在 Mot_{ℚ} 中 𝒰(C) 不等价于 𝒰(C^{op})，给出普遍不变性的反例。
• 对于 A 为 ℚ 上的有限维中心除法代数且在 Br(ℚ) 的阶不为 2，𝒰_{ℚ}(A) ≁ 𝒰_{ℚ}(A^{op}) 在 Mot_{ℚ}。
• 该反例通过 U_k: Br(k) → Pic(Mot_k) 的单射性将 Brauer 群与 Mot_k 的结合联系起来，并显示逆元映射到 (−)^{op}。