[論文レビュー] On the Twisted K-Homology of Simple Lie Groups

Christopher L. Douglas|ArXiv.org|Feb 5, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用数 26

ひとこと要約

この論文は、単連結な単純リー群のねじれ K-ホモロジーを計算し、それが $ n-1 $ 個の生成子による外積代数と巡回群のテンソル積であることを証明している。巡回群の位数は、既約表現の次元に関連し、これらの関係はねじれ $
\mathrm{Spin}^c$ ボルディズム群へのねじれインデックス写像を介して持ち上がり、ホモロジー生成子の幾何的実現を確立する。

ABSTRACT

We prove that the twisted K-homology of a simply connected simple Lie group G of rank n is an exterior algebra on n-1 generators tensor a cyclic group. We give a detailed description of the order of this cyclic group in terms of the dimensions of irreducible representations of G and show that the congruences determining this cyclic order lift along the twisted index map to relations in the twisted Spin-c bordism group of G.

研究の動機と目的

• 単連結な単純リー群のねじれ K-ホモロジーの構造を特定すること。
• ねじれ K-ホモロジー分解における巡回群因子の位数を計算すること。
• ねじれインデックス写像を介して、巡回群の位数を表現論的不変量に関連させること。
• ねじれ $
  \mathrm{Spin}^c$ ボルディズムを用いて外積生成子を幾何的に実現すること。
• ねじれ K-ホモロジーにおける代数的関係を、ねじれ $
  \mathrm{Spin}^c$ ボルディズム群における幾何的関係へ持ち上げること。

提案手法

• ねじれローゼンバーグ＝スティーロードのスペクトル系列を用いてねじれ K-ホモロジーを計算する。
• テート解体を用いて $ G \neq \mathrm{Spin}(n) $ の場合に $\mathrm{Tor}^{K.\Omega G}(\mathbb{Z}, \mathbb{Z}_\tau)$ を計算する。
• ボットの生成多様体と正則誘導を用いてホモロジー類の幾何的代表元を構成する。
• 生成子 $ K^\tau SU(3) $ を表すために、$\Sigma\mathbb{C}P^2$ 上の明示的なねじれ $
  \mathrm{Spin}^c$ ボルディズムを構成する。
• ねじれインデックス写像を用いて、ねじれ K-ホモロジーからの関係をねじれ $
  \mathrm{Spin}^c$ ボルディズム群へ持ち上げる。
• 特徴類と特徴数を用いて、幾何的代表元のノルムボルディズム条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 単連結な単純リー群のねじれ K-ホモロジーの正確な代数的構造は何か？
• RQ2 ねじれ K-ホモロジー分解における巡回群因子の位数は何かによって決定されるか？
• RQ3 ねじれ K-ホモロジーにおける関係は、ねじれ $
  \mathrm{Spin}^c$ ボルディズム群へどのように持ち上がるか？
• RQ4 ねじれ $
  \mathrm{Spin}^c$ 多様体を用いて、ねじれ K-ホモロジーの外積生成子を幾何的に実現できるか？
• RQ5 表現の次元は、ねじれ K-ホモロジー群の巡回群の位数を決定する役割を果たすか？

主な発見

• ランク $ n $ の単連結な単純リー群 $ G $ のねじれ K-ホモロジーは、$ n-1 $ 個の生成子による外積代数と巡回群のテンソル積に同型である。
• 巡回群の位数は、$ G $ の既約表現の次元を含む合同式によって決定される。
• これらの合同式は、ねじれインデックス写像を介して、$ G $ のねじれ $
  \mathrm{Spin}^c$ ボルディズム群における関係へ持ち上がる。
• 外積生成子の幾何的代表元は、$\Sigma\mathbb{C}P^2$ 上のねじれ $
  \mathrm{Spin}^c$ ボルディズムとして構成される。
• このようなボルディズムの線形結合は、ノルムボルディズム補正を経て、$ K^\tau_1 SU(3) $ の生成子を表す。
• $\mathrm{Spin}^c$ 特徴数の消えることは、幾何的代表元の境界がノルムボルディズムをもつことを確認し、構成の正当性を裏付ける。