[論文レビュー] Twisted K-theory and loop groups

Daniel S. Freed|ArXiv.org|Jun 23, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 33被引用数 34

ひとこと要約

本稿は、コンパクトなリー群 G の分類空間におけるねじれ付き G-同変 K 理論と、そのループ群のヴェルリンデ環との間に、移行されたねじれ付きの下で同型が確立されることを示している。ディラック誘導とねじれ付き K 理論の幾何的モデルを用いて、ループ群の表現が正確にねじれ付き K 理論類に対応することを示し、融合積とモジュラーテンソルカテゴリと整合する形で、位相的および表現論的構造を統合した。

ABSTRACT

Twisted K-theory has received much attention recently in both mathematics and physics. We describe some models of twisted K-theory, both topological and geometric. Then we state a theorem which relates representations of loop groups to twisted equivariant K-theory. This is joint work with Michael Hopkins and Constantin Teleman.

研究の動機と目的

• ループ群の無限小正エネルギー表現とねじれ付き G-同変 K 理論類との間の明確な対応を確立すること。
• 特に移行されたねじれ付きの文脈において、ループ群のヴェルリンデ環とねじれ付き K 理論を統合すること。
• 3次元 TQFT の背後にあるモジュラーテンソルカテゴリを、ねじれ付き K 理論を用いて幾何的・位相的構成すること。
• 中心拡大とディラック誘導を用いて、ループ群へのねじれ付き K 理論の枠組みを拡張すること。
• 移行的ねじれ付きの下で、同型が環構造（融合積）と整合するかどうかを示すこと。

提案手法

• ループ群の中心拡大とフレドホルム複体およびヒルベルトバンドルを用いた幾何的モデルを通じて、ねじれ付き K 理論を構成する。
• ループ群の安定化部分群の表現から旗多様体上のねじれ付き K 理論類へのディラック誘導写像を導入する。
• スピン表現と随伴作用から得られる、グレーディング付き中心拡大を用いて、ねじれデータを定義する。
• 特徴類と H^3_G(X; Z) 内のねじれ類を関係付けるため、ねじれ付きチェーン＝ヴァイレ構成を適用する。
• ねじれ付き K 理論における押し出し写像を用いて、共轭類上の表現とグローバル K 理論類との関係を関係づける。
• 一般の場合を、直接計算で同型が確認できるトーラスへの降下により還元する。

実験結果

リサーチクエスチョン

• RQ1 ループ群のヴェルリンデ環は、どのようにねじれ付き G-同変 K 理論群として実現されるか？
• RQ2 ループ群の表現とねじれ付き K 理論類との間に同型を誘導する幾何的・位相的メカニズムは何か？
• RQ3 ヴェルリンデ環上の融合積は、ねじれ付き K-ホモロジーにおけるポントリャーギン積とどのように対応するか？
• RQ4 ループ群における中心拡大とスピン構造は、K 理論におけるねじれの定義にどのような役割を果たすか？
• RQ5 表現と K 理論との同型が環構造と整合する条件は何か？

主な発見

• 本稿は、任意のコンパクトなリー群 G に対して、ヴェルリンデ環 Rτ−σR(G)(G(R)) とねじれ付き G-同変 K 理論群 K˜τ_G(G(R)) の間に標準的同型を確立する。
• G が連結かつ simply connected である場合、同型は自明な共轭類からのディラック誘導によって実現され、写像は全射である。
• ねじれが移行された場合、同型は環構造と整合する。これは、表現上の融合積が K-ホモロジーにおけるポントリャーギン積に対応することを意味する。
• ねじれ類 ˜τ は H^4(BG; Z) 内のレベルから生じ、すべてのループ群のねじれ付きを同時に支配する普遍的拡大 E^4(BG) に拡張される。
• この構成はヴェルリンデの公式を K 理論的枠組みに一般化し、リーマン・ロッホ型不変量のより深い幾何的起源を示唆する。
• 証明はトーラスの場合に還元され、その場合に表現論的および K 理論的道具を用いて直接的に同型が検証される。