[論文レビュー] Tate cohomology of circle actions as a Heisenberg group

Jack Morava|ArXiv.org|Feb 16, 2001

Geometric and Algebraic Topology参考文献 7被引用数 4

ひとこと要約

この論文は、Madsen-Tillmann スペクトラム ${\mathbb{C}}P^\infty_{-1}$ を用いて、円作用のTateコホモロジーをヘイゼンバーグ群構造として同定し、Kontsevich-Wittenのトポロジカル重力におけるバーラモリ代数作用に根ざすシンプレクティック形式を確立する。主な結果は、$H{\mathbb{Z}}$ のTateコホモロジー上のモジュールとしてのバーラモリ代数のフォック表現の実現であり、その自己同型は $\sqrt{x}$ を変数とするニルローレンツ級数によって実現され、-equivariantトポロジーと量子コホモロジーおよびモジュライ空間不変量の間の関係を結ぶ。

ABSTRACT

We study the Madsen-Tillman spectrum \CP^\infty_{-1} as a quotient of the Mahowald pro-object \CP^\infty_{-\infty}, which is closely related to the Tate cohomology of circle actions. That theory has an associated symplectic structure, whose symmetries define the Virasoro operations on the cohomology of moduli space constructed by Kontsevich and Witten.

研究の動機と目的

• 円作用のTateコホモロジーを、内在的な極化を持つシンプレクティックモジュールとして理解すること。
• このコホモロジーの自己同型群を、$\sqrt{x}$ を変数とするニルローレンツ級数によって実現されるヘイゼンバーグ型群として同定すること。
• この構造をKontsevich-Wittenのトポロジカル重力におけるバーラモリ代数作用および量子コホモロジーに結びつけること。
• Madsen-Tillmannスペクトラム $\mathbb{C}P^\infty_{-1}$ を用いて、バーラモリ代数のフォック表現の幾何的実現を確立すること。
• この枠組みを $r$-スピン構造および $p$-完全化コホモロジーへ一般化し、モジュライ空間理論におけるより深い-equivariant構造を示唆すること。

提案手法

• Tateコホモロジー $t^*_{\mathbb{T}}E$ をMahowaldのプロオブジェクト $\mathbb{C}P^\infty_{-\infty}$ の商として構成し、$E \wedge S^2 \mathbb{C}P^\infty_{-\infty}$ として実現する。
• $\tau^*_{\mathbb{T}}E$ を $\mathbb{C}P^\infty_{-1}$ 上の $E$-ホモロジーとして同定し、$t^*_{\mathbb{T}}E$ から $\tau^*_{\mathbb{T}}E$ への切断写像を定義する。
• $I(f) = f^{-1}$ を用いて、$t^*_{\mathbb{T}}H{\mathbb{Z}}$ 上のリーマン・ローレンツ型ペアリング $\{f,g\} = \mathrm{res}_{e=0}(I(f)g\,de)$ を用いてシンプレクティック形式を定義する。
• $\sqrt{x}$ を変数とする可逆な奇数次ニルローレンツ級数の群 $\check{\mathbb{G}}^{-}_{1/2}$ を、$t^*_{\mathbb{T}}H{\mathbb{Q}}$ 上のシンプレクティック自己同型として実現する。
• 曲面のモジュライ空間から $\Omega^\infty \mathbb{C}P^\infty_{-1}$ への写像を構成し、貼り合わせと両立させ、$MU$-理論への乗法的変換に持ち上げる。
• 形式的群則およびリーマン・ローレンツ計算を用いて、Tateコホモロジー列における境界写像を形式的リーマン・ローレンツ $\mathrm{res}(f\,d\log_E)$ として定義する。

実験結果

リサーチクエスチョン

• RQ1 円作用の多様体上のTateコホモロジーは、どのようにしてヘイゼンバーグ群構造を実現するか？
• RQ2 Madsen-Tillmannスペクトラム $\mathbb{C}P^\infty_{-1}$ は、バーラモリ代数のフォック表現をどのように実現するか？
• RQ3 Tateコホモロジーのシンプレクティック自己同型は、トポロジカル重力におけるバーラモリ作用素とどのように関係するか？
• RQ4 $t^*_{\mathbb{T}}H{\mathbb{Z}}$ の極化および対合は、-equivariantループ空間を介して幾何的に解釈可能か？
• RQ5 この枠組みは、$r$-スピン構造および $p$-完全化コホモロジー理論へどのように一般化できるか？

主な発見

• Tateコホモロジー $t^*_{\mathbb{T}}H{\mathbb{Z}}$ は非退化なシンプレクティック形式 $\{f,g\} = \mathrm{res}_{e=0}(I(f)g\,de)$ を持ち、標準的極化を持つシンプレクティックモジュールである。
• $\sqrt{x}$ を変数とする可逆な奇数次ニルローレンツ級数の群 $\check{\mathbb{G}}^{-}_{1/2}$ は、$t^*_{\mathbb{T}}H{\mathbb{Q}}$ 上のシンプレクティック自己同型として作用し、ヘイゼンバーグ群構造を実現する。
• Madsen-Tillmann写像 $\coprod_g B\mathrm{Diff}(F_g) \to \Omega^\infty \mathbb{C}P^\infty_{-1}$ は、有理ホモロジー $Q(\mathbb{C}P^\infty_+)$ から $MU$-理論への形式的変数を含む乗法的変換 $\tilde{\Phi}_*$ に持ち上げられる。
• ウィッテンのタウ関数は、$\tilde{\Phi}_*$ による基本類 $[Q(\coprod \overline{\mathcal{M}}_g)]$ の像として得られ、$k \geq -1$ のバーラモリ部分代数 $L_k$ に対して不変である。
• 量子コホモロジーにおける極化 $I_{\text{Giv}} = e^{\frac{1}{2}H} e^{-E} I e^{E} e^{-\frac{1}{2}H}$ は、$X$ の自由ループ空間の-equivariant幾何から生じると予想される。
• 素数 $r = p$ の場合、$t^*_{\mathbb{T}}H{\mathbb{Z}}_p$ の $p$-完全化は $\mu_p$ の作用と整合する分解を許容し、$p$-完全化後に $Th(-\eta^p) \simeq Th(-\eta^{up})$ が成り立つ。これは、$r$-スピン構造に対する一般化されたMadsen-Tillmann理論を示唆する。