[論文レビュー] Survey on the Burnside ring of compact Lie groups

Halvard Fausk|ArXiv.org|Jun 15, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用数 3

ひとこと要約

本稿は、コンパクトなリー群のバーンサイド環について包括的なサーベイを提供しており、有限群の古典的バーンサイド環を、Weyl群が有限であるような軌道に制限することで一般化している。基礎的な性質、たとえばマーク準同型、二重コセット公式、および等化的安定ホモトピー論との関係を確立し、最終的にバーンサイド環からゼロ番目の等化的安定ホモトピー群へのオイラー乗数写像が同型であるという主要な結果に至る。

ABSTRACT

The definition and basic properties of the Burnside ring of compact Lie groups are presented, with emphasis on the analogy with the construction of the Burnside ring of finite groups.

研究の動機と目的

• 有限群からコンパクトなリー群への古典的バーンサイド環の構成を、Weyl群が有限であるような軌道に注目することで拡張すること。
• コンパクトなリー群の文脈におけるバーンサイド環の代数的および位相的構造を明確にすること。
• 特にオイラー乗数と転送写像を通じて、バーンサイド環と等化的安定ホモトピー論との関係を確立すること。
• マーク準同型、二重コセット公式、およびWeyl群の役割といった主要な道具の体系的な概説を提供すること。
• バーンサイド環とゼロ番目の等化的安定ホモトピー群 $\pi_0^G(S^0)$ の間の同型といった深い結果を強調すること。

提案手法

• コンパクトなリー群 $G$ のバーンサイド環を、$G$ の軌道 $G/H$ の有限な直和のグロテンディーク群の完備化として定義する。ただし $H$ は $G$ におけるWeyl群が有限であるものに制限する。
• 二重コセット公式を用いて、$G/H \times G/K$ を軌道の直和に分解することで、バーンサイド環における乗法を定義する。
• マーク準同型 $\phi: A(G) \to \prod_{(H)} \mathbb{Z}$ を定義し、$G$-集合を各共轭類の部分群 $H$ に対する固定点数 $|X^H|$ のタプルに送る。
• イルマンの結果（$G/H \times G/K$ は有限な $G$-CW複体である）を用いて、軌道型分解の有限性条件を保証する。
• 等化的安定ホモトピー論における転送写像とコラプス写像の合成を通じて、オイラー乗数写像 $\chi: A(G) \to \pi_0^G(S^0)$ を確立する。
• セガール＝トム・ダイアックの分裂定理と次数準同型 $d$ の単射性を用いて、同型 $\chi: A(G) \xrightarrow{\sim} \pi_0^G(S^0)$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 有限群のバーンサイド環の構成を、特に軌道型とWeyl群の観点から、コンパクトなリー群へどのように一般化できるか。
• RQ2 コンパクトなリー群の文脈において、マーク準同型が $G$-集合の固定点データをどのように符号化するか。
• RQ3 バーンサイド環は、ゼロ番目の等化的安定ホモトピー群 $\pi_0^G(S^0)$ とどのように関係するか。
• RQ4 オイラー乗数写像 $\chi: A(G) \to \pi_0^G(S^0)$ が同型であるための条件は何か。
• RQ5 表現環からバーンサイド環の単元群への指数関数写像が、いつ surjective になるか。

主な発見

• オイラー乗数写像 $\chi: A(G) \to \pi_0^G(S^0)$ は同型であり、バーンサイド環と等化的安定ホモトピー論との間の根本的な関係を確立する。
• マーク準同型 $\phi: A(G) \to \prod_{(H)} \mathbb{Z}$ は単射であり、$\phi$ は次数準同型 $d \circ \chi$ を通して因数分解される。これにより $A(G)$ の代数的構造が裏付けられる。
• コンパクトなリー群 $G$ で $|G|$ が奇数であるとき、$\frac{u+1}{2}$ は $A(G)$ に属し、特定の合同条件の下で、$A(G)$ のイデムポテン要素と単元の間の双対性を誘導する。
• $A(G) \to R(G;\mathbb{R}) \to A(G)^\times$ の合成は指数関数写像であり、$G$ が16位の二面体群を部分商として持たない2-群であるとき、これは全射である。
• $G/H$ を $H^i(G/H; k)$ のコホモロジー表現の交代和に送る自然な写像 $A(G) \to R(G;k)$ は一般には単射でも全射でもないが、$k = \mathbb{Q}$ のとき $p$-群では全射になる。
• セガール予想（カルルソンによって証明済み）は、$[\Sigma^\infty_G EG_+, \Sigma^\infty_G S^0]$ の安定ホモトピー類を、バーンサイド環の増幅イデアルにおける完備化と特定する。これは等化的ホモトピー論における深い結果である。