被覆空間
数学、特に代数トポロジーにおいて、被覆写像(covering map)あるいは被覆射影(covering projection)とは、位相空間 C から X への連続全射 p のうち、 X の各点が p により「均一に被覆される」開近傍をもつものをいう。厳密な定義は追って与える。このとき C を被覆空間(covering space)、X を底空間(base space)と呼ぶ。この定義は、すべての被覆写像は局所同相であることを意味する。
被覆空間はホモトピー論、調和解析、リーマン幾何学、微分幾何学で重要な役割を果たす。たとえば、リーマン幾何学では、分岐は、被覆写像の考え方の一般化である。また、被覆写像はホモトピー群、特に基本群の研究とも深く関係する： X が十分によい位相空間であれば、X の被覆の同値類の集合と 基本群 π(X) の共役な部分群の類全体との間に全単射が存在する（被覆の分類定理）。
位相空間 C から X への連続全射 p : C → X が被覆写像であるとは、すべての点 x ∈ X に対し x の開近傍 U が存在し、逆像 p(U) が共通部分をもたない C の開集合の和集合で表され、各開集合が p の制限写像により U と同相であることをいう。このとき C を被覆空間、 X を底空間という。被覆写像や被覆空間のことを単に被覆と呼ぶこともある。
底空間の点 x における逆像 p(x) は x 上のファイバーと呼ばれ、離散空間となる。
定義中に現れる点 x の特別な開近傍 U は、均一被覆近傍と言う。均一被覆近傍は、空間 X の開被覆となる。均一被覆近傍 U の C における同相なコピーを、U 上のシートと言う。一般に図示するときには、被覆空間 C は底空間 X 上に「浮いて」いて、 p が「下向き」に写像し、U 上のシートは、U の「真上方向に水平に積み重なって」いて、x 上のファイバーは、x の「真上」にある C の点であることが多い。特に、被覆写像は局所的には自明である。このことは局所的には、均一被覆近傍 U の前像 p(U) の U × F の上への準同型 h が、各々の被覆写像が射影と同型であることを意味する。ここに F はファイバーであり、局所自明化条件、つまり、U の上への U × F から U の上への射影 π : U × F → U に対して、射影 π と準同型 h との合成は、前像 p(U) から U 上への写像 π ∘ h であり、従って、導かれた合成 π ∘ h は p に局所的に（p(U) の中では）等しい。
被覆写像の定義では位相空間 C と X にある種の連結性を課すこともある。特に弧状連結や局所弧状連結を要請することが多い。実際、多くの定理はこれらの条件の下でしか成り立たない。被覆写像の全射性を要請しない場合もあるが、もし C が弧状連結で空でないならば全射性は他の公理から従う。
すべての x ∈ X に対し、x 上のファイバーは C の離散部分集合である。X 上の連結成分上で、ファイバーは準同型である。
X 連結であれば、離散空間 F が存在し、すべての x ∈ X に対し、x 上のファイバーは F に準同型であり、さらにすべての x ∈ X に対し、x の近傍 U が存在し、その全前イメージ p(U) は U × F と同相である。特に、x 上のファイバーの数値密度（点の数）は、F の点の数に等しく、被覆写像 p : C → X の次数と呼ぶ。このように、すべてのファイバーが n 個の元を持つと、n-重の被覆と呼ぶ（n = 1 のときは自明な被覆といい、n = 2 のときは二重被覆といい、n = 3 のときは三重被覆と言う）。
p : C → X が被覆で γ が X 内の経路（つまり、単位区間 [0,1] から X の中への連続写像）であり、c ∈ C が γ(0) の上の点（つまり、p(c) = γ(0)）ならば、γ 上の C のある経路 ρ （つまり、p o ρ = γ）が一意に存在し、ρ(0) = c である。ρ は、γ の持ち上げ（あるいは、リフト）と呼ぶ。x と y が X の連結な経路で結ばれている場合、この経路は、持ち上げの性質を通して、x 上のファイバーと y 上のファイバーの間の全単射を与える。
さらに一般的には、f : Z → X を 弧状連結で局所弧状連結な空間 Z への X からの連続写像として、基点 z ∈ Z を固定し、f(z) の上にある点 c ∈ C（つまり、p(c) = f(z)）をとる。このとき、f の持ち上げ（つまり、連続写像 g : Z → C であって、p ∘ g = f, g(z) = c を満たす）が存在することは、基本群の間の(induced homomorphism) f : π(Z, z) → π(X, f(z)) と p : π(C, c) → π(X, f(z)) が、
を満たすことと同値である。
さらに、そのような f の持ち上げ g が存在する場合は、一意的である。
p : C → X と p : C → X が 2 つの被覆だとする。
(p, C) と (p, C) は、ある同相写像 p : C → C が存在し、p = pop のとき、同値であると言う。これは同値関係である。被覆の同値類は、共役類に対応する。p が同相写像でなく被覆の場合には、
(p, C) は (p, C) を支配する(dominate)と言う。ここに、p = pop である。
被覆は局所同相であるので、n-次元位相多様体の被覆は n-次元多様体である。（被覆空間が第二可算であることは、多様体の基本群がいつも可算であるという事実より証明することができる。）しかし、n-次元多様体で覆われた空間は、非ハウスドルフ空間かもしれない。例えば、C を原点を取り去った平面とし、X を全ての点 を で同一視する。 が商写像とすると、 で生成される C への Z の作用は(properly discontinuous)であるので、被覆である。点 と は X の中では切り離されるような近傍を持たない。
微分可能多様体の任意の被覆空間は、p （問題の被覆写像）を局所微分同相、つまり、(rank)へ変えるような自然な微分構造を持っているかもしれない。
連結な被覆空間が単連結のとき、普遍被覆(universal cover)という。普遍被覆の名称は、以下の普遍性という重要な性質に由来する。写像 q : D → X を X の普遍被覆とし、写像 p : C → X を X の任意の被覆とし、さらに、被覆空間 C が連結とすると、被覆写像 f : D → C が存在し、p o f = q となる。このことは、
と言うことができる。
写像 f は、以下の意味で一意的である。x ∈ X を固定し、d ∈ D に対し q (d) = x で、c ∈ C に対し p (c) = x とすると、一意な被覆写像 f : D → C が存在し、p o f = q、かつ f (d) = c となる。
X が普遍被覆をもつならば、普遍被覆は本質的に一意である。q : D → X と q : D → X が X の 2つの普遍被覆とすると、同相写像 f : D → D が存在し、q o f = q となる。
空間 X が、弧状連結で、局所弧状連結であり、半局所単連結であるとき、そのときに限り、普遍被覆を持つ。X の普遍被覆は、X の経路の空間から構成することができる。
上に示した R → S は普遍被覆の例である。(quaternions and spatial rotation)に示されている四元数から三次元回転群への写像 S → SO(3) も、普遍被覆である。
X がさらに別な構造をもつ場合、普遍被覆も、通常その構造を引き継ぐ。
普遍被覆は、解析接続が自然にできる領域として、解析函数論で初めて登場した。
G を位相空間 X 上の離散群(discrete group)の群作用とする。どのような条件のときに X から軌道 X/G への射影が被覆写像となるかとの問いは自然である。作用は不動点を持っているかもしれないので、これはいつの正しいとは限らない。例えば、 というツイスト作用により、積 上への作用が、恒等元ではない位数 2 の巡回群が例である。このように X と X/G の基本群の間の関係の研究は、そうまっすぐには進めない。
しかしながら、群 G は X の基本グルーポイド(groupoid)上へ作用し、グルーポイド上への対応する群と対応する軌道を考えることで、最もうまく扱える。この理論は、以下の書籍 "Topology and groupoids" の第 11 章で定式化され、主要な結果は、普遍被覆を持つハウスドルフ空間 X 上の群 G の離散的作用に対し、軌道空間 X/G の基本グルーポイドは、X の基本グルーポイドの軌道グルーポイド、つまり、群 G の作用によるグルーポイドの商空間と同型ということである。これは計算を明確化し、例えば、空間の対称的な二乗積空間の基本群の計算に使われる。
被覆 p : C → X の被覆変換、もしくは、自己同型とは、p ∘ f = p であるような C 上の自己同相写像 f : C → C のことを言う。被覆 p の被覆変換の全体は、写像の合成に関して群を成し、被覆変換群(covering transformation group) Aut(p) と呼ばれる。被覆変換(covering transformations)はデック変換(deck transformation)とも呼ばれる。全ての被覆変換は、各々のファイバーの元を置き換える。このことは、各々のファイバー上で被覆変換の群作用を定義する。リフト（持ち上げ）の一意性により、f が恒等写像でなく C が弧状連結であれば、f は不動点を持たない。
ここで、p : C → X が被覆写像で、C が連結かつ局所弧状連結であるとする（従って、X もそのようになる）。各々のファイバーの上での Aut(p) の作用は、自由である。この作用があるファイバー上で推移的であれば、すべてのファイバー上で推移的であり、この場合を被覆は正規(regular)や正則(normal)、ガロア的と呼ばれる。全てのそのような正規な被覆は、主 G-バンドルであり、G = Aut(p) は離散位相群と考えられる。
全ての普遍被覆 p : D → X は正規であり、被覆変換群は基本群 π(X) に同型である。
上記の p(z) = z の例 p : C → C は、正規被覆であり、被覆変換は 1の n-乗根による乗法であり、従って、被覆変換群は巡回群 C に同型である。
他の例として、上記の p(z) = z の例 p : C* → C* も正規被覆であり、変換群の階層を持っている。実際、C は、1 ≤ x ≤ y ≤ n に対し C の部分群である。
再び、 を被覆写像とし、C （と、従って X も）連結で局所弧状連結であるとする。x が X の点で c が x 上のファイバーに属し（つまり、）、 が である経路とすると、この経路は出発点を c にもつ C の一意の経路へ持ち上げることができる。この持ち上げられた経路の終点は、c である必要はないが、x 上のファイバーの中に属す必要がある。この終点は基本群 の中の γ のクラスにのみ依存することが判明している。この形で、x 上のファイバーに の右からの群作用を得る。これはモノドロミー作用(monodromy action)として知られている。
ファイバー上には 2つの作用が存在し、 は左側より作用し、 は右側より作用する。これらの 2つの作用は次の意味で整合性を持っている。Aut(p) の中の全ての f と p(x) の中の全ての c と、の中の全ての γ に対して、
formula_2 となる。
p が普遍被覆であれば、Aut(p) は自然に の双対(dual)群と同一視できるので、 の双対群の作用は、x 上のファイバー上への Aut(p) の作用に一致する。Aut(p) と とは、この場合は自然に同型となる（群はいつも自然に を通して、双対と同型となる）。
p が正規被覆であれば、Aut(p) は自然に の商に同型である。
一般に、（適切な空間に対しては、） Aut(p) は、 上で の中で の正規化による商と、自然に同型となり、そこでは となる。
X を任意の n ≥ 2 に対するホモトピー群 π(X) = 0 と持つ連結な(cell complex)とすると、X の普遍被覆空間 T は次のように(Whitehead theorem)を適用すると、可縮であることが分かる。この場合に X は分類空間であり、G = π(X) に対し K(G, 1) である。
さらに、すべての n ≥ 0 に対し、胞体 n-鎖体 C(T) （つまり、n-胞体により T の中に与えられる基底をもつ自由アーベル群）は、自然に ZG-加群構造をも持つ。ここに T の n-胞体 σ と G の元 g に対し、胞体 gσ は、正確に g に対応する T の被覆変化による σ の変換に一致する。さらに、C(T) は、T の n-胞対の G-軌道の表現による自由 ZG-基底をもつ自由 ZG-加群である。この場合は、ε を(augmentation map)として、標準的なトポロジカルな鎖複体
は、Z の自由 ZG-分解(free Z"G"-resolution)である（ここの Z は、自明な ZG-加群構造を持ち、すべての g ∈ G とすべての m ∈ Z に対し gm = m となる）。この分解は任意の係数を持つ G の群コホモロジー(group cohomology)の計算に使うことができる。
群の分解を計算したりホモロジー代数の別の計算をするグラハム・エリス(Graham Ellis)の方法は、J. Symbolic Comp. の彼の論文や以下にあげるウェブページに示されているように、普遍被覆の収縮するホモトピーとして、同時に帰納的に K(G) の普遍被覆を構成する方法である。この後者が、計算可能な方法を与えている。
ホモトピー論として、被覆空間の考えは、デック変換群が離散的である場合、あるいは同じことであるが、空間が局所連結空間の場合に、有益である。しかし、デック変換群は離散的ではない位相群なので、問題が発生する。(Hawaiian earring)のような、より複雑な空間を作る発展もあった。さらに詳細は、参考文献を参照。
これらの問題の多くは、ジェレミー・ズラザス(Jeremy Brazas)による半被覆(semicovering)の考えにより解決された（以下の参考文献中の論文を参照）。