[論文レビュー] The Verlinde algebra is twisted equivariant K-theory

Daniel S. Freed|ArXiv.org|Jan 5, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 49

ひとこと要約

この論文は、コンpakto、単純連結、単純なリー群 G の Verlinde代数が、特定のねじれ付き G-等変K理論群 $ K^{ ext{dim } G + \zeta(k)}_G(G) $ に同型であることを確立している。ここで $ \zeta(k) $ はレベル $ k $ と双対コクセター数から導かれる $ H^3_G(G) $ 内のねじれクラスである。この同型は、コンformal field theoryにおける融合積から生じ、位相的場理論とねじれ付きK理論の形式的枠組みを用いて厳密に証明され、表現論と一般化されたコホロロジー理論を統合する。

ABSTRACT

In joint work with M. Hopkins and C. Teleman we find a new description of the Verlinde algebra associated to a compact Lie group. In this expository account we describe twisted K-theory, prove the theorem for the group SU(2), and motivate the general theorem using ideas in topological field theory. The full proof will appear elsewhere.

研究の動機と目的

• ループ群の正エネルギー表現から生じるVerlinde代数と、ねじれ付き等変K理論群との間の深い同型を確立すること。
• 特にChern-Simons理論において、ねじれ付きK理論が果たす役割を明確にすること。
• 幾何学的およびホモトピー論的メソッドを用いて、コンformal field theoryにおける代数的構造と位相的K理論を統一すること。
• 関数的積分と幾何学的量子化を通じて、3次元多様体の量子不変量の概念的かつ厳密な基礎を提供すること。

提案手法

• ねじれ付きK理論の形式的枠組みを用い、ねじれは $ H^1(M; GL_1(K)') \cong H^1(M; \mathbb{Z}/2\mathbb{Z}) \times H^3(M; \mathbb{Z}) $ の元によって分類され、特に $ H^3 $-ねじれに注目する。
• 無限次元ヒルベルト空間上の作用素を用いてねじれ付きK理論をモデル化し、フレドホルム作用素と射影的ユニタリ群を用いる。
• ねじれクラス $ \zeta(k) \in H^3_G(G) $ を $ k + h(G) $ が生成子に掛かっている形で構成し、$ h(G) $ は双対コクセター数である。
• 微分コホロロジー（Cheeger-Simonsの特性類）を用いて、レベル $ k \in H^4(BG; \mathbb{Z}) $ を微分コサイクル $ \hat{\lambda} $ に上げ、ファイバー上の積分を可能にする。
• 3次元における古典的作用としてのChern-Simons作用を解釈し、接続付きT-gerbeを構成し、その切断が量子ヒルベルト空間を定義する。
• ねじれ付きK理論バンドルの切断のホモトピー類のグローテンディーク群として得られる量子Kモジュールを特定し、Verlinde代数に至る。

実験結果

リサーチクエスチョン

• RQ1 正エネルギー表現のループ群による融合から定義されるVerlinde代数は、一般化されたコホロロジー理論の観点からどのように解釈できるか？
• RQ2 ねじれ付きK理論群を定義する $ \zeta(k) \in H^3_G(G) $ の正確な位相的および幾何学的起源は何か？
• RQ3 なぜVerlinde代数を実現するのは、次数 0 ではなく $ K^{\dim G + \zeta(k)}_G(G) $ のねじれ付き等変K理論群なのであるか？
• RQ4 Chern-Simons理論における関数的積分がどのようにK理論値をとる不変量を生じさせ、幾何学的量子化と関係するのか？
• RQ5 『アドジョイントシフト』の役割は何か？ そして、これは幾何学的または極化理論的解釈をもつのか？

主な発見

• Verlinde代数 $ V_k(G) $ は、$ \zeta(k) = k + h(G) $ が $ H^3_G(G) $ の生成子に掛かっていることから、ねじれ付き等変K理論群 $ K^{\dim G + \zeta(k)}_G(G) $ に同型である。
• この同型は自然であり、代数的構造を保つ：Verlinde代数における融合積は、群の乗法 $ G \times G \to G $ によって誘導されるK理論群の乗法に対応する。
• ねじれクラス $ \zeta(k) $ は、レベル $ k \in H^4(BG; \mathbb{Z}) $ と双対コクセター数 $ h(G) $ から、随伴表現を介して引き戻されることで生じる。
• この構成は、Chern-Simons関数的積分に根ざしており、指数化されたChern-Simons不変量が接続付きT-gerbeをなす。その切断が量子ヒルベルト空間を定義する。
• ねじれ付きK理論バンドルの切断のホモトピー類のグローテンディーク群として得られる量子Kモジュールは、Verlinde代数に同型であり、融合則の位相的起源を確認する。
• K理論群における次数のシフト $ \dim G $ は、まだ直感的に完全に説明されていないが、同型が成立するには不可欠である。