[论文解读] Witten's top Chern class via K-theory

A Chiodo|ArXiv.org|Oct 25, 2002

Algebraic Geometry and Number Theory参考文献 11被引用 5

一句话总结

本文提出了一种基于K-理论的构造方法，用于在稳定r-自旋曲线的模堆栈上定义Witten的上层陈类，提供了对Polishchuk与Vaintrob所采用的双不变交集理论方法的更直接替代方案。通过为具有非退化形式的复形定义K-理论欧拉类，作者利用λ类与陈特征函数恢复了Witten类，证明了其与Witten的预测及上同调场论公理的一致性，包括对r=2和亏格1情形的显式计算。

ABSTRACT

The Witten top Chern class is the crucial cohomology class needed to state a conjecture by Witten relating the Gelfand-Dikii hierarchies to higher spin curves. In math.AG/0011032, Polishchuk and Vaintrob provide an algebraic construction of such a class. We present a more straightforward construction via K-theory. In this way we short-circuit the passage through bivariant intersection theory and the use of MacPherson's graph construction. Furthermore, we show that the Witten top Chern class admits a natural lifting to the K-theory ring.

研究动机与目标

• 为稳定r-自旋曲线模堆栈上的Witten上层陈类提供一种更直接且概念上更简单的构造方法。
• 消除先前方法中对MacPherson图构造及双不变交集理论的依赖。
• 表明Witten类可通过一种新的K-理论欧拉类构造自然地提升至K-理论。
• 验证新构造与Witten原始定义及上同调场论公理的一致性。
• 在特殊情形下（如r=2（theta特征）与亏格1的r-自旋曲线）计算该类的显式值。

提出的方法

• 为有界复形F•（局部自由层）及闭的非退化形式a: O → Sym^{r-1}F₀ ⊗ F₁，定义K-理论欧拉类Ke(F•,a)。
• 将此构造应用于模堆栈的导出推前(Rπ_*L)∨的导出范畴，利用r次幂映射L^⊗r → ω定义非退化形式a。
• 使用总λ类λ₋₁(V) = ∑ᵢ (-1)ⁱ [ΛⁱV] 将K-理论类与 Chow 环中的陈特征函数联系起来。
• 通过K-理论欧拉类将Witten类提升至K-理论，再利用陈特征函数将其下推至Chow环。
• 验证该构造与已知结果一致：当r=2时，偶theta特征上c_W = 1，奇theta特征上c_W = -1，且在亏格1且L平凡时c_W = -(r-1)。
• 利用双复形的谱序列计算上同调，并将上层陈类识别为对称幂与外幂的交错和。

实验结果

研究问题

• RQ1 是否可以不经过双不变交集理论或MacPherson图构造，直接在K-理论中构造Witten上层陈类？
• RQ2 K-理论欧拉类构造是否在H⁰(C,L)=0的开子堆栈上与Witten的原始定义一致？
• RQ3 在r=2且亏格0的情形（对应theta特征）下，Witten类的显式值是多少？
• RQ4 当r-挠线丛平凡时，该类在亏格1情形下的行为如何？
• RQ5 该K-理论构造是否与[JKV01]中定义的上同调场论公理相容？

主要发现

• 当r=2且k=0时，Witten类在偶theta特征分量上取值为1，在奇theta特征分量上取值为-1。
• 在亏格1且r-自旋结构平凡时，Witten类为-(r-1)倍的基本类，与Witten的预测一致。
• K-理论欧拉类构造为Witten类向K-理论的自然提升提供了途径，无需依赖双不变理论或MacPherson图构造。
• 类c_W被计算为L的上同调的对称幂与外幂的交错和，反映了与Rπ_*L相关的双复形结构。
• 该构造满足上同调场论的所有公理，证实其与Witten猜想的相容性。
• 该方法避免使用2-周期复形与旋量丛，为从导出推前到上层陈类提供了更直接的路径。