[论文解读] On Dévissage for Witt groups

Satya Mandal, Sarang Sane|arXiv (Cornell University)|Jun 15, 2013

Algebraic structures and combinatorial models参考文献 16被引用 5

一句话总结

本文在不假定正则性或对偶复形的前提下，为科恩-麦克aul伊环的 Witt 群建立了广义的 dévissage 定理。通过在具有有限投射维数和有限长度的投射模范畴上定义导出 Witt 群，作者证明了该范畴的 Witt 群与其中心导出范畴的平移后导出 Witt 群之间存在同构，将经典的 dévissage 结果推广至奇异情形，并为导出 Witt 群构造了 Gersten-Witt 复形。

ABSTRACT

In this paper we extend and apply the work of Paul Balmer and others on derived and triangular Witt Groups. We obtain a generalized form of dévissage for derived Witt Groups over Cohen-Macaulay rings.

研究动机与目标

• 将经典 Witt 群 dévissage 定理从正则局部环推广至科恩-麦克aul伊环。
• 为具有有限投射维数和有限长度的有限生成 A-模范畴发展导出 Witt 群理论。
• 建立一个 dévissage 版本，其通过该范畴的 Witt 群与其中心导出范畴的平移后导出 Witt 群之间的同构关系。
• 为在奇异情形下构造导出 Witt 群的 Gersten-Witt 复形提供基础。
• 通过类比 Chow-Witt 群，推动在奇异概形的障碍理论中使用投射模。

提出的方法

• 将范畴 $\mathcal{A} = \text{MFPDfl}(A)$ 定义为具有有限投射维数和有限长度的有限生成 $A$-模的交集。
• 证明 $\mathcal{A}$ 是一个在 $\text{Ext}^d_A(-, A)$ 下关于对偶封闭的正合范畴，从而可定义 $W(\mathcal{A})$。
• 构造 $D^b_\mathcal{A}(A)$——具有 $\mathcal{A}$ 中同调的有界复形的导出范畴，并证明其在对偶下封闭。
• 通过导出范畴中满足同调条件的对称形式来定义导出 Witt 群 $W^i(D^b_\mathcal{A}(A))$。
• 建立一系列同构：$W(\mathcal{A}) \xrightarrow{\sim} W^d(D^b_\mathcal{A}(P(A))) \xrightarrow{\sim} W^d(D^b_\mathcal{A}(A))$，且奇数度数上为零。
• 利用子拉格朗日子空间构造与同调等价技术，证明每个 Witt 类均可由集中在零度的复形表示，从而确保比较映射的满射性。

实验结果

研究问题

• RQ1 Witt 群的 dévissage 定理能否在不假设正则性或对偶复形的前提下，从正则局部环推广至科恩-麦克aul伊环？
• RQ2 具有有限投射维数和有限长度的投射模范畴的导出 Witt 群，是否同构于其导出范畴的平移后导出 Witt 群？
• RQ3 能否利用此投射模范畴在奇异情形下构造导出 Witt 群的 Gersten-Witt 复形？
• RQ4 在 Gorenstein 情形下，投射模的导出 Witt 群与凝聚 Witt 群有何关系？
• RQ5 在奇异概形上，投射模的障碍理论是否应更优地通过投射模的导出 Witt 群而非凝聚 Witt 群来表述？

主要发现

• 作者证明了 $W(\mathcal{A}) \xrightarrow{\sim} W^d(D^b_\mathcal{A}(P(A)))$ 与 $W^{-}(\mathcal{A}) \xrightarrow{\sim} W^{d+2}(D^b_\mathcal{A}(P(A)))$，且 $W^{d+1}(D^b_\mathcal{A}(P(A))) \cong W^{d-1}(D^b_\mathcal{A}(P(A))) \cong 0$。
• 导出范畴 $D^b_\mathcal{A}(P(A))$ 在对偶下封闭，且该范畴中复形的对偶同调属于 $\mathcal{A}$。
• Witt 群 $W(\mathcal{A})$ 同构于 $W^d(D^b_\mathcal{A}(A))$，且该同构通过投射模范畴的导出范畴实现。
• 证明依赖于在导出范畴中构造一个特殊子拉格朗日子空间，以证明每个对称形式均等价于集中在零度的形。
• 同构 $W(\mathcal{A}) \xrightarrow{\sim} W^d(D^b_\mathcal{A}(P(A)))$ 在不假设对偶复形存在或正则性下依然成立。
• 该构造为奇异情形下的导出 Witt 群提供了 Gersten-Witt 复形的框架，类似于凝聚情形下的构造。