[論文レビュー] Stringy power operations in Tate K-theory

Nora Ganter|arXiv (Cornell University)|Jan 20, 2007

Algebraic structures and combinatorial models参考文献 24被引用数 25

ひとこと要約

本稿は、オルビフォールドの対称冪のループ空間を分析することで、-equivariant Tate K-理論におけるストリング的パワー演算子を導入し、それらが楕円的であること、およびWitten特徴標が$H_\infty$-写像であることを証明する。また、この研究により、オルビフォールドのWitten特徴標に関するDijkgraaf-Moore-Verlinde-Verlindeの公式が回復され、ヘッケ作用素と再帰的関数を通じてMoonshine現象と関連づけられる。

ABSTRACT

We study the loop spaces of the symmetric powers of an orbifold and use our results to define equivariant power operations in Tate K-theory. We prove that these power operations are elliptic and that the Witten genus is an H_oo map. As a corollary, we recover a formula by Dijkgraaf, Moore, Verlinde and Verlinde for the orbifold Witten genus of these symmetric powers. We outline some of the relationship between our power operations and notions from (generalized) Moonshine.

研究の動機と目的

• オルビフォールドの対称冪のループ空間構造を用いて、Tate K-理論における-equivariantパワー演算子を定義すること。
• これらのパワー演算子が楕円的であり、Witten特徴標が$H_\infty$-写像であることを証明すること。
• ホモトピー的メソッドを用いて、オルビフォールドのWitten特徴標に関するDijkgraaf-Moore-Verlinde-Verlindeの公式を回復すること。
• 再帰的関数とヘッケ作用素を通じて、構築されたパワー演算子と一般化されたMoonshineの間の関係を確立すること。

提案手法

• 群のワルプロダクト作用とループ bundle のフーリエ分解を用いて、オルビフォールドの対称冪のループ空間を分析する。
• Devotoの-equivariant Tate K-理論フレームワークを適用し、ストリング的スティーブクラスを定義し、その整数性を検討する。
• Atiyahのパワー演算子とAtiyah-Segalの固定点公式を用いて、-equivariant指標とねじれキャラクターを関連付ける。
• 複素コボルディズムにおける総パワー演算子を介してストリング的パワー演算子を構成し、自然変換を介してTate K-理論へと持ち上げる。
• Hopkins-Kuhn-Ravenelの特徴標理論を適用し、-equivariantコホモロジーの要素を有限群内の可換対上のクラス関数として解釈する。
• パワー演算子と射影写像の合成としてオルビフォールドのWitten特徴標を導出し、ヘッケ作用素を含む積公式を得る。

実験結果

リサーチクエスチョン

• RQ1 オルビフォールドの対称冪のループ空間構造を用いて、Tate K-理論における-equivariantパワー演算子をどのように定義できるか？
• RQ2 これらのパワー演算子と楕円的特徴標、特にWitten特徴標との関係は何か？
• RQ3 オルビフォールドのWitten特徴標は、-equivariantコホモロジー理論の文脈で$H_\infty$-写像として生じるか？
• RQ4 構築されたパワー演算子は、Moonshineの文脈においてヘッケ作用素と再帰的関数とどのように関係するか？
• RQ5 ホモトピー的および-equivariantメソッドを用いて、Dijkgraaf-Moore-Verlinde-Verlindeの公式を回復できるか？

主な発見

• Tate K-理論におけるストリング的パワー演算子が楕円的であることが証明され、楕円的コホモロジー演算子の性質を満たすことが示された。
• Witten特徴標が$H_\infty$-写像であることが示され、楕円的コホモロジーと-equivariantトポロジーの深い関係が確立された。
• オルビフォールドのWitten特徴標に関するDijkgraaf-Moore-Verlinde-Verlindeの公式が、パワー演算子構造の結果として回復された。
• パワー演算子がヘッケ作用素と整合することを示し、DMVVの公式における生成関数のホモトピー的解釈が得られた。
• 生成関数の再帰的性とヘッケ作用素によるキャラクター値不変量への作用を通じて、Moonshine現象との関係が明らかになった。
• オルビフォールドのループ空間の文脈において、Atiyah-Segal写像を用いて、オルビフォールドのWitten特徴標のモリタ不変性が確立された。