中間被覆と自己同型群の部分群についての考察
中間被覆と自己同型群の部分群
以下、$X$ を局所連結位相空間、$(Y,\ p)$ を $X$ 上のガロア被覆、$G=\text{Aut}(Y/X)$ とする。
中間被覆
$(Z,\ q)$ を $Y/X$ の中間被覆、$f:Y\to Z$ を $p = q\circ f$ となる連続写像とする。
中間被覆について
の命題 4 (2) より $f$ は軌道空間から $Z$ への同相写像
$$\overline{f}:Y/\text{Aut}(Y/Z)\to Z$$ を誘導する。
$$ \xymatrix{ \lbrace\ \text{id}_Y \ \rbrace \ar@{-}[dd] \ar@{.}[rr] & & \large{Y} \ar[ldd]_-{\Large{\pi_Z}} \ar[dd]^-{\Large{f}} \ar@/^20pt/[dddd]^{\Large{p}} \ar[ddddrr]^-{\Large{\pi}} & & \\ & & & & \\ \text{Aut}(Y/Z) \ar@{-}[dd] \ar@{.}[r] & Y/\text{Aut}(Y/Z) \ar[rdd]_-{\Large{q\ \circ\ \overline{f}}} \ar[r]^-{\Large{\overline{f}} \ \ \simeq} & \large{Z} \ar[dd]^-{\Large{q}} & & \\ & & \\ \large{G} \ar@{.}[rr] & & \large{X} & & Y/G \ar[ll]^-{\Large{\overline{p}} \ \ \simeq} \\ } $$
※可換図式中の $\pi_Z,\ \pi$ はそれぞれ $Y$ から各軌道空間への標準全射である。
$(Z,\ q)$ が $Y/X$ の中間被覆というとき、 $p = q\circ f$ となるような連続写像 $f:Y\to X$ を考え、このとき $(Y,\ f)$ は $Z$ 上の被覆となるのであった（
中間被覆について
の命題 4 (1)）。$Y$ が $Z$ をどのように被覆するかは $f$ によって決まる。この $f$ のことを $G$ は知らないが、一度 $f$ が決まってしまえば $Y$ が $Z$ をどのように被覆するかを制御するのは $G$ である。これは次のようにしてわかる：
まず任意の $\sigma\in G$ に対して $q\circ (f\circ \sigma) = (q\circ f)\circ\sigma = p\circ\sigma = p$ である。よって $(Y,\ f\circ \sigma)$ も $Z$ 上の被覆となる。逆に $g:Y\to X$ を $p = q\circ g$ となるような連続写像とすると $g = f\circ \sigma$ となるような $\sigma\in G$ が存在する。つまり
$$ \lbrace f\circ \sigma\mid\sigma\in G \rbrace$$
は、$Y$ が $Z$ をどのように被覆するかそのすべてを表している。つまり
$$ \lbrace (Y,\ f\circ\sigma)\mid\sigma\in G \rbrace$$
は、$(Z,\ q)$ が $Y/X$ の中間被覆となるような $Z$ 上の被覆全体である。また、$Z$ 上同型の定義（
被覆について
）より
$$ (Y,\ f)\simeq_Z (Y,\ f\circ\sigma)$$
である。
$\sigma\in G$ を動かしたときどのくらい $Z$ 上の被覆が現れるかについては、右剰余類全体の集合
$$ \text{Aut}(Y/Z)\backslash G$$ で決まる。これは $\sigma_1,\ \sigma_2\in G$ に対して、ある $\tau\in \text{Aut}(Y/Z)$ が存在して $\sigma_1 = \tau\circ\sigma_2 $ となることと、$y\in Y$ に対して $ \overline{\sigma_1(y)} = \overline{\sigma_2(y)}$ となることが同値だからである（ただし $\overline{y}$ は $Y/\text{Aut}(Y/Z)$ の点）。
これまで $Y/X$ の中間被覆 $(Z,\ q)$ を考えるときには $f:Y\to X$ を初めに固定して考えていた。しかし $\text{Aut}(Y/Z)$ の定義に戻ると
$$ \text{Aut}(Y/Z) = \lbrace\sigma\in G\mid f\circ \sigma = f \rbrace$$
であるから $f:Y\to Z$ の取り方によって $\text{Aut}(Y/Z)$ は変わるかもしれない。そこで $\text{Aut}_f(Y/Z)$ のように書くことにする。
先ほど見たように $ \lbrace (Y,\ f\circ\sigma)\mid\sigma\in G \rbrace$ は、$(Z,\ q)$ は $Y/X$ の中間被覆となるような $Z$ 上の被覆全体である。このとき、任意の $\sigma\in G$ に対して
$$\text{Aut}_f(Y/Z)\to \text{Aut}_{f\circ\sigma}(Y/Z),\ \tau\mapsto\sigma^{-1}\tau\sigma$$
は群同型写像である（写像の合成の記号は省略している）。よって
$$\text{Aut}_{f\circ\sigma}(Y/Z) = \sigma^{-1}\text{Aut}_{f}(Y/Z)\sigma$$
が成り立つ（右辺は $\text{Aut}_{f}(Y/Z)$ の共役部分群）。
このことから $\text{Aut}(Y/Z)$ は一般に $f$ の取り方によって異なることと、$f$ の取り方によらないのは $\text{Aut}(Y/Z)$ が $G$ の正規部分群の場合に限ることがわかる。一方
中間被覆について
の命題 4 (2) は $f$ の取り方によらず成り立つから、任意の $\sigma\in G$ に対して
$$ Y/\sigma^{-1}\text{Aut}_f(Y/Z)\sigma\simeq Z$$
が成り立つ。
結論としては、中間被覆から自己同型群の部分群への対応を考えるときにはどの共役部分群に対応させれば良いかがわからないため、$Z$ が $Y$ によってどのように被覆されているかも考慮する必要がある。$(Z,\ q)$ という書き方では情報が不足しているため、$(Z,\ q,\ f)$ と書くのが適切だと考えられる。なお $Y/X$ の中間体として自明な中間体 $(Y,\ p)$ と $(X,\ \text{id}_X)$ があるが、それぞれどのように $Y$ に被覆されるかという考慮を追加すると $(Y,\ p,\ \text{id}_Y),\ (X,\ \text{id}_X,\ p)$ である。
$G$ の部分群
$H$ を $G$ の部分群とすると、 被覆の自己同型群の部分群について より $(Y/H,\ \overline{p}_H)$ は $X$ 上の被覆となる。ただし $\overline{p}_H$ は $p$ が誘導する連続写像である。また、$(Y/H,\ \overline{p}_H)$ が $Y$ によってどのように被覆されるかを考慮し、$(Y/H,\ \overline{p}_H,\ \pi_H)$ と書き直す。
$$ \xymatrix{ \lbrace\ \text{id}_Y \ \rbrace \ar@{-}[dd] \ar@{.}[rr] & & \large{Y} \ar[ldd]_-{\Large{\pi_H}} \ar[dddd]^-{\Large{p}} \ar[rrdddd]^-{\Large{\pi}} \\ \\ \large{H} \ar@{-}[dd] \ar@{.}[r] & Y/H \ar[rdd]_-{\Large{\overline{p}_H}} \\ \\ \large{G} \ar@{.}[rr] & & \large{X} & & Y/G \ar[ll]_-{\Large{\overline{p}} \ \ \simeq} \\ } $$
※可換図式中の $\pi_H,\ \pi$ はそれぞれ $Y$ から各軌道空間への標準全射である。
被覆の自己同型について
の命題 4 と命題 5 により
$$\text{Aut}_{\pi_H}(Y/(Y/H))= H$$ である（命題 5 の証明中の群同型写像はこの状況では恒等写像となる）。
部分群に対応する中間被覆としての軌道空間を考えるときには、標準全射 $\pi_H:Y\to Y/H$ を $Y$ が $Y/H$ を 被覆する方法として標準的なものと考える。この考慮によって、標準全射によって被覆されている軌道空間の自己同型群 $\text{Aut}_{\pi_H}(Y/(Y/H))$ を $ \text{Aut}(Y/(Y/H))$ と書くことにする。
部分群と中間被覆の対応
$\mathcal{H}$ を $G$ の部分群全体とし、$\mathcal{M}$ を $Y/X$ の連結な中間被覆全体とする。
$$
\begin{eqnarray}
\varPhi &:&\mathcal{H} \to \mathcal{M},\ H \mapsto (Y/H,\ \overline{p}_H,\ \pi_H)\\[5pt]
\varPsi &:&\mathcal{M} \to \mathcal{H},\ (Z,\ q,\ f)\mapsto \text{Aut}_f(Y/Z)
\end{eqnarray}
$$
とする。これが互いに逆写像となっていることを示したい。
まず $\varPsi\circ\varPhi = \text{id}_{\mathcal{H}}$ であるが
$$\varPsi(\varPhi(H)) = \varPsi((Y/H,\ \overline{p}_H,\ \pi_H)) = \text{Aut}(Y/(Y/H)) = H$$
となるのでうまくいく。次に $\varPsi\circ\varPhi = \text{id}_{\mathcal{H}}$ であるが、
$$\varPhi(\varPsi((Z,\ q,\ f))) = \varPhi(\text{Aut}_f(Y/Z)) = (Y/\text{Aut}_f(Y/Z),\ q\circ\overline{f},\ \pi_Z)$$
となり、うまくいかない。なぜうまくいかないかというと、軌道空間 $Y/\text{Aut}_f(Y/Z)$ と $Z$ は（同相という意味で）位相空間としては同じであるのに区別しているからである。
これを改善するために $\mathcal{M}$ を $X$ 上同型 $\simeq_X$ で類別し（参考文献 [2]）、
$$
\begin{eqnarray}
\varPhi &:&\mathcal{H} \to \mathcal{M}/\simeq_X,\ H \mapsto [(Y/H,\ \overline{p}_H,\ \pi_H)]\\[5pt]
\varPsi &:&\mathcal{M}/\simeq_X \to \mathcal{H},\ [(Z,\ q,\ f)]\mapsto \text{Aut}_f(Y/Z)
\end{eqnarray}
$$
という対応で互いに逆写像となっていることを確かめる（$[(Z,\ q,\ f)]$ で $(Z,\ q,\ f)$ の同値類を表す）。まずは $\varPsi$ が矛盾なく定義されることを確かめる。
$(Z,\ q,\ f)\simeq_X(Z',\ q',\ f')$ ならば $\text{Aut}_f(Y/Z) = \text{Aut}_{f'}(Y/Z')$ を示す。$\varphi:Z\to Z'$ を $X$ 上の同型写像とする。任意の $x\in X$ に対して、$x=q(f(y))=q'(f'(y))$ となるような $y,\ y'\in Y$ が存在する。$Y/X$ はガロア被覆であるから $y'=\sigma(y)$ となるような $\sigma\in G$ が存在する。任意の $z'\in Z$ に対して $z'=\varphi(f(y_0))=f'(\sigma(y_1))$ となるような $y_0,\ y_1\in Y$ が存在する。$Y/Z'$ もガロア被覆であるから $\tau'(y_0)=\sigma(y_1)$ となるような $\tau'\in \text{Aut}_{f'}(Y/Z')$ が存在する。よって
$$ \varphi(f(y_0)) = f'(y_0)\ \cdots(1)$$
となる。さらに $q=q'\circ\varphi$ であるから
$$ q'\circ f'= q'\circ(\varphi\circ f)\ \cdots(2)$$
となる。$(1),\ (2)$ より
$$ f'= \varphi\circ f\ \cdots(3)$$
となる（
被覆の自己同型
の命題 3）。よって
$$
\begin{eqnarray}
& & \tau\in \text{Aut}_f(Y/Z) \\[5pt]
&\Longleftrightarrow& f\circ\tau = f \\[5pt]
&\Longleftrightarrow& \varphi\circ f\circ\tau = \varphi\circ f \\[5pt]
&\overset{(3)}{\Longleftrightarrow}& f'\circ\tau = f' \\[5pt]
&\Longleftrightarrow& \tau\in \text{Aut}_{f'}(Y/Z') \\[5pt]
\end{eqnarray}
$$
より、$\text{Aut}_f(Y/Z) = \text{Aut}_{f'}(Y/Z')$ となる。
さて、当初の目的であった逆写像を確かめる（以降標準全射 $\pi$ の添え字は省略する）。
$$
\varPsi(\varPhi(H)) = \varPsi([Y/H,\ \overline{p}_H,\ \pi]) = \text{Aut}(Y/(Y/H)) = H
$$
より $\varPsi\circ\varPhi=\text{id}_{\mathcal{H}}$ となる。
$$
\varPhi(\varPsi([(Z,\ q,\ f)])) = \varPhi(\text{Aut}_f(Y/Z)) = [(Y/\text{Aut}_f(Y/Z),\ q\circ\overline{f},\ \pi)] = [(Z,\ q,\ f)]
$$
より $\varPhi\circ\varPsi=\text{id}_{\mathcal{M}}$ となる。
