被覆空間

数学、特に代数トポロジーにおいて、被覆写像あるいは被覆射影とは、位相空間 C から X への連続全射 p のうち、 X の各点が p により「均一に被覆される」開近傍をもつものをいう。厳密な定義は追って与える。このとき C を被覆空間、X を底空間と呼ぶ。この定義は、すべての被覆写像は局所同相であることを意味する。

被覆空間はホモトピー論、調和解析、リーマン幾何学、微分幾何学で重要な役割を果たす。たとえば、リーマン幾何学では、分岐は、被覆写像の考え方の一般化である。また、被覆写像はホモトピー群、特に基本群の研究とも深く関係する： X が十分によい位相空間であれば、X の被覆の同値類の集合と 基本群 π1 の共役な部分群の類全体との間に全単射が存在するBredon。

1. 定義
-----

位相空間 C から X への連続全射 p : C → X が被覆写像であるとは、すべての点 x ∈ X に対し x の開近傍 U が存在し、逆像 p−1 が共通部分をもたない C の開集合の和集合で表され、各開集合が p の制限写像により U と同相であることをいうMunkres。このとき C を被覆空間、 X を底空間という。被覆写像や被覆空間のことを単に被覆と呼ぶこともある。

底空間の点 x における逆像 p−1 は x 上のファイバーと呼ばれ、離散空間となるMunkres。

定義中に現れる点 x の特別な開近傍 U は、均一被覆近傍date=2016-08-07}}と言う。均一被覆近傍は、空間 X の開被覆となる。均一被覆近傍 U の C における同相なコピーを、U 上のシートと言う。一般に図示するときには、被覆空間 C は底空間 X 上に「浮いて」いて、 p が「下向き」に写像し、U 上のシートは、U の「真上方向に水平に積み重なって」いて、x 上のファイバーは、x の「真上」にある C の点であることが多い。特に、被覆写像は局所的には自明である。このことは局所的には、均一被覆近傍 U の逆像 p−1 の U × F の上への準同型 h が、各々の被覆写像が射影と同型であることを意味する。ここに F はファイバーであり、局所自明化条件、つまり、U の上への U × F から U の上への射影 π : U × F → U に対して、射影 π と準同型 h との合成は、前像 p−1 から U 上への写像 π ∘ h であり、従って、導かれた合成 π ∘ h は p に局所的に等しい。

1.1. 他の定義
---------

被覆写像の定義では位相空間 C と X にある種の連結性を課すこともある。特に弧状連結や局所弧状連結を要請することが多いLickorishBredon。実際、多くの定理はこれらの条件の下でしか成り立たない。被覆写像の全射性を要請しない場合もあるが、もし C が弧状連結で空でないならば全射性は他の公理から従う。

2. 具体例
------

すべての位相空間は恒等写像によって自明に自分自身を被覆する。
複素平面上の単位円を S1 と書く。すると、p = znにより、写像 p : S1 → S1 は n 重被覆となる。
は、単位円 S1 の普遍被覆である。指数写像p = expにより、写像 p : R → S1 は被覆で、S1 の各点は無限回被覆される。
位相空間 X が普遍被覆を持つことは、連結かつ局所弧状連結かつ半局所単連結であることと同値である。
スピン群 Spin は特殊直交群の二重被覆であり、n > 2 のときは普遍被覆である。従って、リー群の例外同型は、低次元のスピン群と古典リー群の間の同型を与える。
ユニタリ群 U は普遍被覆 SU × R を持つ。
n-次元球面 Sn は、実射影空間の二重被覆であり、n > 1 の場合は普遍被覆である。
すべての多様体は、連結であることと向き付け不能であることが同値であるような向き付け可能二重被覆を持っている。
一意化定理は、すべての単連結なリーマン面はリーマン球面、複素平面、単位円板に共形同値であるという定理である。
n 個の円のウェッジの普遍被覆は、n 個の生成子を持つ自由群のケイリーグラフである、つまり、ベーテ格子である。
トーラスはクラインの壷の二重被覆である。
すべてのグラフは、二つ折りの二重被覆である。すべてのグラフは円のウェッジとホモトピー同値であるので、普遍被覆はケイレーグラフとなる。
コンパクト多様体の同一次元の多様体への埋め込みは、いつも埋め込みの像の被覆である。
有限群のアーベル的な無限分岐被覆グラフは、結晶構造の抽象化したものとみなすことができる。たとえば、抽象グラフとしてのダイアモンドの結晶構造は、ダイポールグラフ D4 のアーベル的最大被覆グラフである。

3. 性質
-----

3.1. 共通な局所的性質
-------------

任意の被覆 p : C → X は局所同相であるMunkres、つまり、すべての c ∈ C に対し、c の近傍 U ⊆ C と p の近傍 V ⊆ X が存在し、U への p の制限が U から V への同相となっている。このことは、C と X がすべての局所的性質を共有していることを意味する。X が単連結で C が連結であれば、このことは大域的にも同じく成立して、被覆 p は同相である。
p : E → B と p' : E' → B' が被覆写像であれば、 = , p') により与えられる写像 p × p' : E × E' → B × B' も被覆写像であるMunkres。

3.2. ファイバーの準同型
--------------

すべての x ∈ X に対し、x 上のファイバーは C の離散部分集合であるMunkres。X 上の連結成分上で、ファイバーは準同型である。

X 連結であれば、離散空間 F が存在し、すべての x ∈ X に対し、x 上のファイバーは F に準同型であり、さらにすべての x ∈ X に対し、x の近傍 U が存在し、その逆像 p−1 は U × F と同相である。特に、x 上のファイバーの濃度は、F の濃度に等しく、被覆写像 p : C → X の次数と呼ぶ。このように、すべてのファイバーが n 個の元を持つと、n-重の被覆と呼ぶ。

3.3. 持ち上げ
---------

p : C → X が被覆で γ が X 内の経路であり、c ∈ C が γ の上の点ならば、γ 上の C のある経路 ρ が一意に存在し、ρ = c である。ρ は、γ の持ち上げと呼ぶ。x と y が X の連結な経路で結ばれている場合、この経路は、持ち上げの性質を通して、x 上のファイバーと y 上のファイバーの間の全単射を与える。

さらに一般的には、f : Z → X を 弧状連結で局所弧状連結な空間 Z への X からの連続写像として、基点 z ∈ Z を固定し、f の上にある点 c ∈ Cをとる。このとき、f の持ち上げが存在することは、基本群の間の誘導準同型 f# : π1 → π1) と p# : π1 → π1) が、

を満たすことと同値である。

さらに、そのような f の持ち上げ g が存在する場合は、一意的である。

3.4. 同値性
--------

p1 : C1 → X と p2 : C2 → X が 2 つの被覆だとする。  と  は、ある同相写像 p21 : C2 → C1 が存在し、p2 = p1op21 のとき、同値であると言う。これは同値関係である。被覆の同値類は、共役類に対応する。p21 が同相写像でなく被覆の場合には、  は  を支配すると言う。ここに、p2 = p1op21 である。

3.5. 多様体の被覆
-----------

被覆は局所同相であるので、n-次元位相多様体の被覆は n-次元多様体である。しかし、n-次元多様体で覆われた空間は、非ハウスドルフ空間かもしれない。例えば、C を原点を取り去った平面とし、X を全ての点 }} を }} で同一視する。p : C → X}} が商写像とすると、1=f = }} で生成される C への Z の作用は固有不連続であるので、被覆である。点 p}} と p}} は X の中では切り離されるような近傍を持たない。

微分可能多様体の任意の被覆空間は、p を局所微分同相、つまり、ランク へ変えるような自然な微分構造を持っているかもしれない。

4. 普遍被覆
-------

連結な被覆空間が単連結のとき、普遍被覆という。普遍被覆の名称は、以下の普遍性という重要な性質に由来する。写像 q : D → X を X の普遍被覆とし、写像 p : C → X を X の任意の被覆とし、さらに、被覆空間 C が連結とすると、被覆写像 f : D → C が存在し、p o f = q となる。このことは、

「X の普遍被覆は、すべての X の連結な被覆を被覆する」と言うことができる。

写像 f は、以下の意味で一意的である。x ∈ X を固定し、d ∈ D に対し q  = x で、c ∈ C に対し p  = x とすると、一意な被覆写像 f : D → C が存在し、p o f = q、かつ f  = c となる。

X が普遍被覆をもつならば、普遍被覆は本質的に一意である。q1 : D1 → X と q2 : D2 → X が X の 2つの普遍被覆とすると、同相写像 f : D1 → D2 が存在し、q2 o f = q1 となる。

空間 X が、弧状連結で、局所弧状連結であり、半局所単連結であるとき、そのときに限り、普遍被覆を持つ。X の普遍被覆は、X の経路の空間から構成することができる。

上に示した R → S1 は普遍被覆の例である。四元数と空間回転に示されている四元数から三次元回転群への写像 S3 → SO も、普遍被覆である。

X がさらに別な構造をもつ場合、普遍被覆も、通常その構造を引き継ぐ。

X が多様体ならば、普遍被覆 D も多様体である。
X がリーマン面ならば、普遍被覆 D もリーマン面で、p は正則写像である。
X がローレンツ多様体ならば、普遍被覆 D もローレンツ多様体である。さらに、p−1 を、共通部分をもたない開集合の和集合で、各々の開集合が p により U と可微分同相とする。X が時間的閉曲線を含むとき、X は時間的複連結である。従って、そのような空間の普遍被覆は時間的単連結である。
X がリー群ならば、D もリー群であり、p はリー群の準同型である。この場合、普遍被覆は普遍被覆群とも呼ばれる。普遍被覆群は、表現論と量子力学に重要な応用を持つ。普遍被覆群の通常の群表現  は、元の群の射影表現  だからである。普遍被覆は、解析接続が自然にできる領域として、解析函数論で初めて登場した。

5. G-被覆
-------

G を位相空間 X 上の離散群の群作用とする。どのような条件のときに X から軌道 X/G への射影が被覆写像となるかとの問いは自然である。作用は不動点を持っているかもしれないので、これはいつの正しいとは限らない。例えば、 ↦ }} というツイスト作用により、積 X × X}} 上への作用が、恒等元ではない位数 2 の巡回群が例である。このように X と X/G の基本群の間の関係の研究は、そうまっすぐには進めない。

しかしながら、群 G は X の基本グルーポイド上へ作用し、グルーポイド上への対応する群と対応する軌道を考えることで、最もうまく扱える。この理論は、以下の書籍 //Topology and groupoids// の第 11 章で定式化され、主要な結果は、普遍被覆を持つハウスドルフ空間 X 上の群 G の離散的作用に対し、軌道空間 X/G の基本グルーポイドは、X の基本グルーポイドの軌道グルーポイド、つまり、群 G の作用によるグルーポイドの商空間と同型ということである。これは計算を明確化し、例えば、空間の対称的な二乗積空間の基本群の計算に使われる。

6. 被覆変換
-------

被覆 p : C → X の被覆変換、もしくは、自己同型とは、p ∘ f = p であるような C 上の自己同相写像 f : C → C のことを言うBredon。被覆 p の被覆変換の全体は、写像の合成に関して群を成し、被覆変換群 Aut と呼ばれる。被覆変換はデック変換とも呼ばれる。全ての被覆変換は、各々のファイバーの元を置き換える。このことは、各々のファイバー上で被覆変換の群作用を定義する。リフトの一意性により、f が恒等写像でなく C が弧状連結であれば、f は不動点を持たない。

ここで、p : C → X が被覆写像で、C が連結かつ局所弧状連結であるとする。各々のファイバーの上での Aut の作用は、自由である。この作用があるファイバー上で推移的であれば、すべてのファイバー上で推移的であり、この場合を被覆は正規や正則、ガロア的と呼ばれる。全てのそのような正規な被覆は、主 G-バンドルであり、G = Aut は離散位相群と考えられる。

全ての普遍被覆 p : D → X は正規であり、被覆変換群は基本群 π1 に同型である。

上記の p = zn の例 p : C× → C× は、正規被覆であり、被覆変換は 1の n-乗根による乗法であり、従って、被覆変換群は巡回群 Cn に同型である。

他の例として、上記の p = zn! の例 p : C* → C* も正規被覆であり、変換群の階層を持っている。実際、Cx! は、1 ≤ x ≤ y ≤ n に対し Cy! の部分群である。

7. モノドロミー作用
-----------

再び、//p// : //C// → //X//}} を被覆写像とし、C 連結で局所弧状連結であるとする。x が X の点で c が x 上のファイバーに属し、γ : [0, 1] → X}} が 1=γ = γ = x}} である経路とすると、この経路は出発点を c にもつ C の一意の経路へ持ち上げることができる。この持ち上げられた経路の終点は、c である必要はないが、x 上のファイバーの中に属す必要がある。この終点は基本群 π1}} の中の γ のクラスにのみ依存することが判明している。この形で、x 上のファイバーに π1}} の右からの群作用を得る。これはモノドロミー作用として知られている。

ファイバー上には 2つの作用が存在し、x : Aut}} は左側より作用し、π1}} は右側より作用する。これらの 2つの作用は次の意味で整合性を持っている。Aut の中の全ての f と p−1 の中の全ての c と、π1}}の中の全ての γ に対して、 となる。

p が普遍被覆であれば、Aut は自然に π1}} の双対群と同一視できるので、π1}} の双対群の作用は、x 上のファイバー上への Aut の作用に一致する。Aut と π1}} とは、この場合は自然に同型となる。

p が正規被覆であれば、Aut は自然に π1}} の商に同型である。

一般に、 Aut は、p*)}} 上で π1}} の中で p*)}} の正規化による商と、自然に同型となり、そこでは 1=p = x}} となる。

8. 分類空間や群コホモロジーとの関係
-------------------

X を任意の n ≥ 2 に対するホモトピー群 πn = 0 と持つ連結な胞体複体とすると、X の普遍被覆空間 T は次のようにホワイトヘッドの定理を適用すると、可縮であることが分かる。この場合に X は分類空間であり、G = π1 に対し K である。

さらに、すべての n ≥ 0 に対し、胞体 n-鎖体 Cn は、自然に ZG-加群構造をも持つ。ここに T の n-胞体 σ と G の元 g に対し、胞体 gσ は、正確に g に対応する T の被覆変化による σ の変換に一致する。さらに、Cn は、T の n-胞対の G-軌道の表現による自由 ZG-基底をもつ自由 ZG-加群である。この場合は、ε をアーギュメント写像として、標準的なトポロジカルな鎖複体

は、Z の自由 ZG-分解である。この分解は任意の係数を持つ G の群コホモロジーの計算に使うことができる。

群の分解を計算したりホモロジー代数の別の計算をするグラハム・エリスの方法は、J. Symbolic Comp. の彼の論文や以下にあげるウェブページに示されているように、普遍被覆の収縮するホモトピーとして、同時に帰納的に K の普遍被覆を構成する方法である。この後者が、計算可能な方法を与えている。

9. 一般化
------

ホモトピー論として、被覆空間の考えは、デック変換群が離散的である場合、あるいは同じことであるが、空間が局所連結空間の場合に、有益である。しかし、デック変換群は離散的ではない位相群なので、問題が発生する。ハワイアンリングのような、より複雑な空間を作る発展もあった。さらに詳細は、参考文献を参照。

これらの問題の多くは、ジェレミー・ズラザスによる半被覆の考えにより解決された。

10. 脚注
------

11. 参考文献
--------

和書
洋書

12. 関連項目
--------

層 
アーベル圏

13. 外部リンク
---------