SU(n)の空間分類

数学における分類空間${\displaystyle \operatorname {BSU} (n)}$特別な単一グループ向け${\displaystyle \operatorname {SU} (n)}$普遍空間の基底空間${\displaystyle \operatorname {SU} (n)}$主要バンドル${\displaystyle \operatorname {ESU} (n)\rightarrow \operatorname {BSU} (n)}$これはつまり${\displaystyle \operatorname {SU} (n)}$CW複体上の主束は同型を除いて、その連続写像のホモトピー類と一対一である。${\displaystyle \operatorname {BSU} (n)}$同型性は引き戻しによって与えられる。具体的な応用例として主SU(2)バンドルがある。

複素向きグラスマン多様体の標準的な包含関係は次のように与えられる。$\displaystyle {\widetilde {\operatorname {Gr} }}_{n}(\mathbb {C} ^{k})\hookrightarrow {\widetilde {\operatorname {Gr} }}_{n}(\mathbb {C} ^{k+1}),V\mapsto V\times \{0\}}$その余極限は次のとおりです。

$\displaystyle \operatorname {BSU} (n):={\widetilde {\operatorname {Gr} }}_{n}(\mathbb {C} ^{\infty }):=\lim _{k\rightarrow \infty }{\widetilde {\operatorname {Gr} }}_{n}(\mathbb {C} ^{k}).}$

実向きグラスマン多様体は、以下の式で等質空間として表現できる。

$\displaystyle {\widetilde {\operatorname {Gr} }}_{n}(\mathbb {C} ^{k})=\operatorname {SU} (n+k)/(\operatorname {SU} (n)\times \operatorname {SU} (k))}$

グループ構造は${\displaystyle \operatorname {BSU} (n)}$。

• 以来${\displaystyle \operatorname {SU} (1)\cong 1}$は自明な群である。${\displaystyle \operatorname {BSU} (1)\cong \{*\}}$これは自明な位相空間である。

• 以来${\displaystyle \operatorname {SU} (2)\cong \operatorname {Sp} (1)}$1つは${\displaystyle \operatorname {BSU} (2)\cong \operatorname {BSp} (1)\cong \mathbb {H} P^{\infty }}$。

位相空間が与えられた場合${\displaystyle X}$セット${\displaystyle \operatorname {SU} (n)}$同型性までの主束は次のように表される。${\displaystyle \operatorname {Prin} _{\operatorname {SU} (n)}(X)}$。 もし${\displaystyle X}$CW 複合体の場合、マップは次のようになります。^{[ 1 ]}

${\displaystyle [X,\operatorname {BSU} (n)]\rightarrow \operatorname {Prin} _{\operatorname {SU} (n)}(X),[f]\mapsto f^{*}\operatorname {ESU} (n)}$

全単射である。

コホモロジー環​${\displaystyle \operatorname {BSU} (n)}$環内の係数を持つ${\displaystyle \mathbb {Z} }$整数の は、Chern クラスによって生成されます: ^{[ 2 ]}

${\displaystyle H^{*}(\operatorname {BSU} (n);\mathbb {Z} )=\mathbb {Z} [c_{2},\ldots ,c_{n}].}$

正典に含まれるもの${\displaystyle \operatorname {SU} (n)\hookrightarrow \operatorname {SU} (n+1)}$標準的な包含関係を誘発する${\displaystyle \operatorname {BSU} (n)\hookrightarrow \operatorname {BSU} (n+1)}$それぞれの分類空間において、それぞれの余極限は次のように表される。

${\displaystyle \operatorname {SU}$ :=\lim _{n\rightarrow \infty }\operatorname {SU} (n);}

${\displaystyle \operatorname {BSU}$ :=\lim _{n\rightarrow \infty }\operatorname {BSU} (n).}

${\displaystyle \operatorname {BSU} }$は確かに分類空間である${\displaystyle \operatorname {SU} }$。

• 空間の分類はO(n)で完了する。
• SO(n)の空間分類
• U(n)の空間分類

• ハッチャー、アレン（2002）。代数トポロジー。ケンブリッジ：ケンブリッジ大学出版局。ISBN 0-521-79160-X。
• ミッチェル、スティーブン（2001年8月）。普遍主束と分類空間（PDF）。

• nLab上で空間を分類する
• nLab上のBSU(n)