[論文レビュー] Secondary Invariants for String Bordism and tmf

Ulrich Bunke, Niko Naumann|ArXiv.org|Dec 24, 2009

Homotopy and Cohomology in Algebraic Topology被引用数 5

ひとこと要約

本稿は、次元 $4m-1$ のストリング分類において、ディラック作用素のスペクトル不変量を用いて2次的不変量を構成し、トポロジカルモジュラー形式（$tmf$）を通じた因子化により、解析的不変量 $b^{an}$ と位相的不変量 $b^{top}$ を等しくする2次的インデックス定理を確立する。主な結果は、$tmf$-値のウィッテン特徴類を用いたホモトピー論的計算により $b^{top}$ が得られ、$b^{an}|_{A_{4m-1}} = b^{top}$ が成立することを示し、古典的ウィッテン特徴類を2次的・グローバル解析的不変量へと拡張する。

ABSTRACT

Using spectral invariants of Dirac operators we construct a secondary version of the Witten genus, a bordism invariant of string manifolds in dimensions $4m-1$. We prove a secondary index theorem which relates this global-analytic construction with its homotopy-theoretic analog. The latter will be calculated through its factorization over topological modular forms.

研究の動機と目的

• 次元 $4m-1$ のストリング多様体に対する2次的不変量を、ディラック作用素から導かれる解析的不変量を用いて定義すること。
• ストリング分類のスペクトラム $tmf$ のトポロジカルモジュラー形式のホモトピー論的双対を確立すること。
• 解析的・幾何的・位相的不変量の3つのバージョンが $MSpin$-写像の核上で等しくなる2次的インデックス定理を証明すること。
• アダムズスペクトル系列と $tmf$-コホモロジーを用いて、位相的不変量 $b^{top}$ を明示的に計算すること。
• ストリング分類およびモジュラー形式の文脈において、微分幾何学、インデックス理論、安定ホモトピー論の関係を明確にすること。

提案手法

• モジュラー形式と $KO$-理論に由来する、2次的不変量の像となるアーベル群 $T_{2m}$ を定義する。
• ストリング多様体上のディラック作用素の $\bar{\eta}$-不変量を用いて、$b^{an}: MString_{4m-1} \to T_{2m}$ を構成する。
• 微分幾何的データを用いて、部分群 $A_{4m-1} = \ker(MString_{4m-1} \to MSpin_{4m-1})$ 上に幾何的不変量 $b^{geom}$ を導入する。
• 写像 $MString_{4m-1} \xrightarrow{\sigma} tmf_{4m-1} \xrightarrow{b^{tmf}} T_{2m}$ を用いて、位相的不変量 $b^{top}$ を定義する。ここで $\sigma$ は $tmf$-値のウィッテン特徴類である。
• アティヤ＝パトディ＝サインのインデックス定理とスペクトル系列の技法を用いて、$b^{an}|_{A_{4m-1}} = b^{geom} = b^{top}$ を証明する。
• 既知の $tmf$-ホモトピー群を活用し、アダムズスペクトル系列と $\mathbb{Q}/\mathbb{Z}$-理論を用いて、$p=2$ および $p=3$ における $b^{tmf}$ を明示的に計算する。

実験結果

リサーチクエスチョン

• RQ1 次元 $4m-1$ において、ディラック作用素のスペクトル不変量を用いてストリング分類の2次的不変量をどのように構成できるか。
• RQ2 この2次的不変量の解析的・幾何的・ホモトピー論的バージョンの間の正確な関係は何か。
• RQ3 $tmf$-コホモロジーとアダムズスペクトル系列を用いて、位相的不変量 $b^{top}$ を明示的に計算できるか。
• RQ4 2次的インデックス定理 $b^{an}|_{A_{4m-1}} = b^{top}$ は普遍的に成立するか。その $MString_{4m-1}$ の構造的意味は何か。
• RQ5 $\mathbb{Q}/\mathbb{Z}$-理論的および $ko[[q]]$-に基づくアプローチは、$tmf$ の torsion クラス $\nu\Delta$ の検出にどのように寄与するか。

主な発見

• 解析的不変量 $b^{an}$ が $A_{4m-1}$ に制限されると、アティヤ＝パトディ＝サインのインデックス定理より、幾何的不変量 $b^{geom}$ と一致する。
• 幾何的不変量と位相的不変量は一致する：$b^{geom} = b^{top}$。これにより2次的インデックス定理が確立される。
• 位相的不変量 $b^{top}$ は $b^{tmf}$ を用いて明示的に計算され、$p=2$ および $p=3$ における $b^{tmf}$ がアダムズスペクトル系列によって決定される。
• $m=1$ の場合、不変量 $b^{top}$ が明示的に計算され、次元3において非自明であることが示される。
• 群 $T_{2m}$ は $KO$-理論とモジュラー形式の商として定義され、次元3では $T_{2m} \cong \mathbb{Z}/2\mathbb{Z}$ となる。
• $p=2$ および $p=3$ における $b^{tmf}$ の計算により、$b^{top}$ が $tmf$-コホモロジーにおける torsion クラス $\nu\Delta$ を検出することが確認される。