Constructible Witt theory of schemes

基本信息

• 论文ID: 2307.01032
• 标题: Constructible Witt theory of schemes
• 作者: Onkar Kamlakar Kale, Girja S Tripathi
• 分类: math.AG (代数几何), math.KT (K理论与同调代数)
• 发表时间: 2024年12月31日 (最新版本v3)
• 论文链接: https://arxiv.org/abs/2307.01032

摘要

本文研究概形$X$上$\Lambda$-模的étale层的可构造Witt理论，其中系数环$\Lambda$具有不等于2的有限特征且与概形$X$的剩余特征互质。构造基于Cisinski和Déglise在étale motives的导出范畴六函子形式主义方面的最新进展，为研究可构造Witt理论作为概形的上同调不变量提供了背景。对于光滑复代数簇和有限系数环的情况，作者证明了本文研究的代数可构造Witt理论可以与拓扑可构造Witt理论相等同。

研究背景与动机

问题背景

1. Witt群理论的推广：经典Witt群理论由Ernst Witt在1937年引入，研究域上二次型的同构类。Balmer将此理论推广到带对偶的三角范畴。
2. 拓扑可构造Witt理论：Woolf和Schürmann在拓扑空间上发展了层模的Witt群作为广义上同调理论，提供了拓扑空间的signature型不变量。
3. 代数几何中的对应：作者希望建立代数几何中的类似理论，特别是寻求L-类作为从(拓扑)可构造Witt群到普通有理同调的稳定同调运算的代数对应。

研究动机

1. 理论完整性：建立代数几何中可构造Witt理论的系统框架
2. 等变理论的联系：特别关注实数域情况下与$\mathbb{Z}/2\mathbb{Z}$-等变Witt理论的联系
3. 拓扑-代数对应：建立代数定义的可构造Witt理论与拓扑定义理论之间的桥梁

核心贡献

1. 建立了概形的可构造Witt理论：基于Cisinski-Déglise的六函子形式主义，定义了概形$X$上的可构造Witt群$W^i_c(X_{\text{ét}}, \Lambda)$
2. 证明了实数域的等变刻画：对于实数域$\mathbb{R}$，建立了同构 $W^i_c((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \cong W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$
3. 建立了代数-拓扑对应：对于光滑复代数簇$X$和有限系数环$\Lambda$，证明了 $W^i_c(X_{\text{ét}}, \Lambda) \cong W^i_c(X^{\text{an}}, \Lambda)$
4. 构造了代数signature：为射影实代数簇和复代数簇定义了取值于相应Witt群的signature

方法详解

理论框架

定义4.1 (可构造Witt群)：设$X$是概形，$\Lambda$是满足条件的系数环，$T \in D^b_{\text{ctf}}(S_{\text{ét}}, \Lambda)$是$\otimes$-可逆对象。可构造Witt群定义为带对偶三角范畴$(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), D_X(T))$的Witt群： $W^n_c(X_{\text{ét}}, \Lambda, T) := W^n(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), D_X(T))$

其中对偶函子为： $D_X(T) = R\text{Hom}(-, f^!(T)) : D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda)^{\text{op}} \to D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda)$

技术工具

1. 六函子形式主义：利用Cisinski-Déglise的工作，在更一般的设定下建立六函子形式主义
2. 局部可构造h-motives：通过等价$D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda) \simeq DM_{h,lc}(X, \Lambda)$获得更大的一般性
3. Galois理论：对于域的情况，利用绝对Galois群的作用建立等变描述

关键技术创新

1. 扩展的六函子形式主义：相比于经典的AGV71, DGIV77，通过étale motives获得了更一般的结果
2. 对偶相容性：证明了pullback和pushforward与对偶结构的相容性
3. 等价范畴的对偶保持：建立了不同范畴间等价保持对偶结构的框架

主要定理

定理1.1 (六函子形式主义)

设$B$是维数$\leq 2$的优秀noether概形，$\Lambda$是正特征noether环且与$B$的剩余特征互质。设$\phi: S \to B$是正则分离有限型$B$-概形，$f: X \to S$是分离有限型态射。则：

1. 范畴$D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda) \subset D^b(X_{\text{ét}}, \Lambda)$在六函子下封闭
2. 对$\otimes$-可逆对象$T \in D^b_{\text{ctf}}(S_{\text{ét}}, \Lambda)$，函子$D_X(T) = R\text{Hom}(-, f^!(T))$是对偶函子

定理1.2 (函子性)

在相同假设下，étale态射诱导可构造Witt群的pullback，proper态射诱导pushforward。

定理1.3 (实数域的等变刻画)

对于特征不等于2的有限环$\Lambda$： $D^b_{\text{ctf}}((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \simeq D^b(\text{Proj}(\Lambda[\mathbb{Z}/2\mathbb{Z}]))$

这诱导了可构造Witt群的等同： $W^i_c((\text{Spec } \mathbb{R})_{\text{ét}}, \Lambda) \cong W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$

定理1.4 (代数-拓扑对应)

设$X$是$\mathbb{C}$上的光滑代数簇，$\Lambda$是特征不等于2的有限环。则有带对偶三角范畴的等价： $(D^b_{\text{ctf}}(X_{\text{ét}}, \Lambda), R\text{Hom}(-, \Lambda)) \simeq (D^b_c(X^{\text{an}}, \Lambda), R\text{Hom}(-, \Lambda))$

诱导同构： $W^i_c(X_{\text{ét}}, \Lambda) \cong W^i_c(X^{\text{an}}, \Lambda)$

应用与结果

Signature的构造

定理7.1：对于射影代数簇，构造了signature映射：

1. 实射影簇：对于射影实代数簇$X$与结构态射$f: X \to \text{Spec } \mathbb{R}$： $W^i(f_*): W^i_c(X_{\text{ét}}, \Lambda) \to W^i_{\text{lf}}(\Lambda[\mathbb{Z}/2\mathbb{Z}])$
2. 复射影簇：对于射影复代数簇$X$与结构态射$f: X \to \text{Spec } \mathbb{C}$： $W^i(f_*): W^i_c(X_{\text{ét}}, \Lambda) \to W^i_{\text{lf}}(\Lambda)$

局部化序列

对于闭浸入$i: Z \hookrightarrow X$和补开浸入$j: U = X - Z \hookrightarrow X$，得到12项正合序列： $\cdots \to W^{n-1}_c(U_{\text{ét}}, \Lambda) \xrightarrow{\partial^{n-1}} W^n_c(Z_{\text{ét}}, \Lambda) \xrightarrow{W^n(i_*)} W^n_c(X_{\text{ét}}, \Lambda) \xrightarrow{W^n(j^*)} W^n_c(U_{\text{ét}}, \Lambda) \to \cdots$

技术细节

可构造层的刻画

对于noether概形$X$和noether环$\Lambda$，$\Lambda$-模层$\mathcal{F}$是可构造的当且仅当存在$X$的有限局部闭子集分解$\bigcup^n_{i=1} X_i$使得每个$\mathcal{F}|_{X_i}$是局部常数且$\mathcal{F}$的茎是有限生成$\Lambda$-模。

有限Tor-维数

有界复形$\mathcal{F}^\bullet$具有有限Tor-维数是指存在整数$n$使得对任意$i > n$和任意常数$\Lambda$-模层$\mathcal{M}$，有$\text{Tor}_i(\mathcal{F}^\bullet, \mathcal{M}) = 0$。

相关工作

历史发展

1. Witt (1937)：引入域上二次型的Witt群
2. Balmer (1999-2001)：发展带对偶三角范畴的Witt理论
3. Woolf (2008), Schürmann-Woolf (2020)：拓扑空间上的可构造Witt理论

技术基础

1. Cisinski-Déglise (2016)：étale motives的六函子形式主义
2. Beilinson-Bernstein-Deligne (1982)：代数与拓扑可构造层的比较
3. Grothendieck等 (SGA 4, 4½)：étale上同调的经典理论

结论与讨论

主要结论

1. 成功建立了概形的可构造Witt理论作为上同调不变量
2. 证明了实数域情况下与$\mathbb{Z}/2\mathbb{Z}$-等变Witt理论的等同
3. 建立了代数与拓扑可构造Witt理论的桥梁
4. 为射影簇构造了Witt值的signature

局限性

1. 同伦不变性：由于对偶与六函子形式主义的相容性限制，未能证明同伦不变性
2. 系数环限制：要求系数环特征与概形剩余特征互质
3. 维数限制：基概形维数限制在$\leq 2$

未来方向

1. 同伦不变性：在无穷范畴设定下可能获得更灵活的框架
2. 代数cobordism：发展Witt空间的代数cobordism理论
3. 更一般系数：扩展到更一般的系数环设定
4. profinite群作用：研究一般域上绝对Galois群作用的Witt理论

深度评价

优点

1. 理论创新：首次系统建立概形的可构造Witt理论
2. 技术先进：充分利用了Cisinski-Déglise的最新成果
3. 结果深刻：建立了代数几何与拓扑之间的重要联系
4. 应用价值：为射影簇提供了新的不变量

不足

1. 技术限制：某些结果需要较强的技术假设
2. 完整性：同伦不变性等基本性质尚未完全建立
3. 计算方面：缺乏具体的计算例子和算法

影响力

1. 理论贡献：为代数几何提供了新的上同调不变量理论
2. 交叉领域：连接了代数几何、拓扑学和K理论
3. 后续研究：为Witt空间的代数理论奠定基础

适用场景

1. 代数簇的分类和不变量研究
2. 实代数几何中的signature理论
3. 等变代数几何的研究
4. 动机上同调理论的应用

参考文献

Bal99-01 P. Balmer. Derived Witt groups and triangular Witt groups series CD16 D.-C. Cisinski, F. Déglise. Étale motives Woo08 J. Woolf. Witt groups of sheaves on topological spaces SW20 J. Schürmann, J. Woolf. Witt groups of abelian categories and perverse sheaves

本论文在代数几何和K理论的交叉领域做出了重要贡献，建立了概形可构造Witt理论的系统框架，为进一步研究提供了坚实的理论基础。