[論文レビュー] Witten's top Chern class via K-theory

A Chiodo|ArXiv.org|Oct 25, 2002

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

ひとこと要約

この論文は、安定rスピン曲線のモジュライスタック上のウィッテンのトップチャーン類をK理論に基づいて構成し、ポリシュチュクとベイントローブの双変交差理論の手法とは対照的に、より直接的な代替手法を提示する。非退化形式を持つ複体に対するK理論的オイラー類を定義することで、λ類とチャーン指標を用いてウィッテン類を回復し、ウィッテンの予想およびコhomological field theoryの公理と整合することを証明する。特にr=2およびGenus 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スピン曲線のモジュライスタック上のウィッテンのトップチャーン類の、より直接的で概念的に単純な構成を提供すること。
• 先行研究で用いられたマクフィーソンのグラフ構成および双変交差理論の必要性を排除すること。
• ウィッテン類が、新しいK理論的オイラー類の構成を通じて自然にK理論へと上昇することを示すこと。
• 新しい構成がウィッテンの元来の定義およびコhomological field theoryの公理と整合することを検証すること。
• 特別なケース、たとえばr=2（シータ特性）およびGenus 1のrスピン曲線におけるクラスの明示的値を計算すること。

提案手法

• 局所自由層の有界複体F•と閉かつ非退化形式a: O → Sym^{r-1}F₀ ⊗ F₁に対して、K理論的オイラー類Ke(F•,a)を定義する。
• 非退化形式aを定義するために、r乗写像L^⊗r → ωを用い、モジュライスタックにおける導来押し出し(Rπ_*L)∨の導来圏にこの構成を適用する。
• K理論的類とチャーン指標をChow環に結びつけるために、全λ類λ₋₁(V) = ∑ᵢ (-1)ⁱ [ΛⁱV] を用いる。
• K理論的オイラー類を介してウィッテン類をK理論に上昇させ、その後チャーン指標を用いてChow環に押し出す。
• 既知の結果と一致することを確認する：r=2の偶数シータ特性ではc_W = 1、奇数シータ特性ではc_W = -1、Genus 1でLが自明な場合c_W = -(r-1)。
• 二重複体のスペクトル系列を用いてコホモロジーを計算し、トップチャーン類が対称冪と外冪の交項和として特定されることを同定する。

実験結果

リサーチクエスチョン

• RQ1 ウィッテンのトップチャーン類は、双変交差理論やマクフィーソンのグラフ構成を経由せずに、K理論内で直接構成可能か？
• RQ2 K理論的オイラー類の構成によって得られるクラスは、H⁰(C,L)=0 が成り立つ開部分スタックにおいて、ウィッテンの元来の定義と一致するか？
• RQ3 r=2でGenus 0のとき、つまりシータ特性に対応する場合、ウィッテンクラスの明示的値は何か？
• RQ4 Lが自明なr torsion線束であるGenus 1におけるクラスの振る舞いはいかなるものか？
• RQ5 K理論的構成は、[JKV01]で定義されたコhomological field theoryの公理と整合するか？

主な発見

• r=2でk=0のとき、ウィッテンクラスは偶数シータ特性の成分では1に評価され、奇数シータ特性の成分では-1に評価される。
• Lが自明なrスピン構造をもつGenus 1では、ウィッテンクラスは-(r-1)倍の基本類に一致し、ウィッテンの予想と整合的である。
• K理論的オイラー類の構成は、ウィッテンクラスをK理論へ自然に上昇させるものであり、双変理論やマクフィーソンのグラフ構成の必要性を回避する。
• クラスc_Wは、Lのコホモロジーに関連する対称冪と外冪の交項和として計算され、Rπ_*Lに付随する二重複体の構造を反映している。
• この構成は、コhomological field theoryのすべての公理を満たしており、ウィッテンの予想との整合性が確認される。
• 2周期的複体やスピンルールバンドルの使用を避け、導出押し出しからトップチャーン類へのより直接的な道筋を提供する。