ローカルシステム

数学において、位相空間X上の局所系（または局所係数系）は、代数位相幾何学における手法の一つであり、固定されたアーベル群A内の係数を持つコホモロジーと、点ごとに係数が変化する一般層コホモロジーとの間を補間する。局所係数系は1943年にノーマン・スティーンロッドによって導入された。^{[ 1 ]}

ローカル システムは、構築可能層やパーバース層などのより一般的なツールの構成要素です。

意味

X を位相空間とする。X上の局所系（アーベル群／加群…）は、 X上の局所定数層（アーベル群／加群…）である。言い換えれば、層が局所系であるとは、すべての点が開近傍を持ち、その制限層が何らかの定数前層の層化と同型であることを意味する。 ${\displaystyle {\mathcal {L}}}$ ${\displaystyle U}$ ${\displaystyle {\mathcal {L}}|_{U}}$

同等の定義

パス接続空間

Xが経路連結である場合、アーベル群の局所系はどの点においても同一の茎を持つ。X上の局所系と群準同型写像 の間には全単射対応が存在する。${\displaystyle {\mathcal {L}}}$ ${\displaystyle L}$

${\displaystyle \rho :\pi _{1}(X,x)\to {\text{Aut}}(L)}$

加群の局所系についても同様に成り立つ。局所系を与える写像はのモノドロミー表現と呼ばれる。 ${\displaystyle \pi _{1}(X,x)\to {\text{Aut}}(L)}$ ${\displaystyle {\mathcal {L}}}$ ${\displaystyle {\mathcal {L}}}$

同等性の証明

局所系とxにおけるループを考える。 上の任意の局所系が定数であることは簡単に証明できる。例えば、は定数である。これは同型、すなわちと 自身との間の同型を与える。逆に、準同型 が与えられた場合、Xの普遍被覆上の定数層を考える。 のデッキ変換不変セクションはX上の局所系を与える。同様に、デッキ変換ρ同変セクションはX上の別の局所系を与える。十分に小さい開集合Uに対して、これは次のように定義される。 ${\displaystyle {\mathcal {L}}}$ ${\displaystyle \gamma }$ ${\displaystyle [0,1]}$ ${\displaystyle \gamma ^{*}{\mathcal {L}}}$ ${\displaystyle (\gamma ^{*}{\mathcal {L}})_{0}\simeq \Gamma ([0,1],{\mathcal {L}})\simeq (\gamma ^{*}{\mathcal {L}})_{1}}$ ${\displaystyle L}$ ${\displaystyle \rho :\pi _{1}(X,x)\to {\text{Aut}}(L)}$ ${\displaystyle {\underline {L}}}$ ${\displaystyle {\widetilde {X}}}$ ${\displaystyle {\underline {L}}}$

${\displaystyle {\mathcal {L}}(\rho )_{U}\ =\ \left\{{\text{sections }}s\in {\underline {L}}_{\pi ^{-1}(U)}{\text{ with }}\theta \circ s=\rho (\theta )s{\text{ for all }}\theta \in {\text{ Deck}}({\widetilde {X}}/X)=\pi _{1}(X,x)\right\}}$

普遍的なカバーは どこにありますか。${\displaystyle \pi :{\widetilde {X}}\to X}$

これは、（X がパス接続されている場合に）ローカル システムが、Xの普遍被覆への引き戻しが定数層である層とまったく同じであることを示しています。

この対応は、 X上のアーベル群の局所系のカテゴリーと（同値な、 -加群）の作用を与えられたアーベル群のカテゴリーとの間のカテゴリーの同値性にまで昇格することができる。^{[ 2 ]}${\displaystyle \pi _{1}(X,x)}$ ${\displaystyle \mathbb {Z} [\pi _{1}(X,x)]}$

非接続空間のより強力な定義

非連結Xに対して機能するより強い非同値な定義は次の通りである：局所システムは共変関数である

${\displaystyle {\mathcal {L}}\colon \Pi _{1}(X)\to {\textbf {Mod}}(R)}$

の基本群から可換環上の加群の圏への変換。ここで典型的には。これは、加群の各点への割り当てのデータと、基底点の変更と基本群上の誘導写像とが両立するような群表現と同義である。 ${\displaystyle X}$ ${\displaystyle R}$ ${\displaystyle R=\mathbb {Q} ,\mathbb {R} ,\mathbb {C} }$ ${\displaystyle x\in X}$ ${\displaystyle M}$ ${\displaystyle \rho _{x}:\pi _{1}(X,x)\to {\text{Aut}}_{R}(M)}$ ${\displaystyle \rho _{x}}$ ${\displaystyle x\to y}$ ${\displaystyle \pi _{1}(X,x)\to \pi _{1}(X,y)}$

例

• のような定数層。これはコホモロジーを計算するのに便利なツールです。なぜなら、状況によっては層コホモロジーと特異コホモロジーの間に同型性が存在するからです。${\displaystyle {\underline {\mathbb {Q} }}_{X}}$

$${\displaystyle H^{k}(X,{\underline {\mathbb {Q} }}_{X})\cong H_{\text{sing}}^{k}(X,\mathbb {Q} )}$$

• とする。 なので、写像に対応するX上の局所系の族が存在する：${\displaystyle X=\mathbb {R} ^{2}\setminus \{(0,0)\}}$ ${\displaystyle \pi _{1}(\mathbb {R} ^{2}\setminus \{(0,0)\})=\mathbb {Z} }$ ${\displaystyle S^{1}}$ ${\displaystyle n\mapsto e^{in\theta }}$

$${\displaystyle \rho _{\theta }:\pi _{1}(X;x_{0})\cong \mathbb {Z} \to {\text{Aut}}_{\mathbb {C} }(\mathbb {C} )}$$

• 平坦接続を持つベクトル束の水平切断。 が平坦接続を持つベクトル束である場合、 によって与えられる局所系が存在する。 例えば、と を自明な束とする。Eの切断はX上の関数のn組であるため、E上の平坦接続を定義する。これはX上の任意の 1 形式行列の場合も同様である。水平切断は次のように定義される。${\displaystyle E\to X}$ ${\displaystyle \nabla }$ $${\displaystyle E_{U}^{\nabla }=\left\{{\text{sections }}s\in \Gamma (U,E){\text{ which are horizontal: }}\nabla s=0\right\}}$$ ${\displaystyle X=\mathbb {C} \setminus 0}$ ${\displaystyle E=X\times \mathbb {C} ^{n}}$ ${\displaystyle \nabla _{0}(f_{1},\dots ,f_{n})=(df_{1},\dots ,df_{n})}$ ${\displaystyle \nabla (f_{1},\dots ,f_{n})=(df_{1},\dots ,df_{n})-\Theta (x)(f_{1},\dots ,f_{n})^{t}}$ ${\displaystyle \Theta }$
  $${\displaystyle E_{U}^{\nabla }=\left\{(f_{1},\dots ,f_{n})\in E_{U}:(df_{1},\dots ,df_{n})=\Theta (f_{1},\dots ,f_{n})^{t}\right\}}$$ つまり、線形微分方程式の解です。${\displaystyle df_{i}=\sum \Theta _{ij}f_{j}}$

  が 上の 1 形式に拡張される場合、上の局所系も定義されます。したがって、 は なので自明です。興味深い例として、0に極を持つものを選んでみましょう。${\displaystyle \Theta }$ ${\displaystyle \mathbb {C} }$ ${\displaystyle \mathbb {C} }$ ${\displaystyle \pi _{1}(\mathbb {C} )=0}$

  $${\displaystyle \Theta ={\begin{pmatrix}0&dx/x\\dx&e^{x}dx\end{pmatrix}}}$$ この場合、${\displaystyle \nabla =d+\Theta }$ $${\displaystyle E_{U}^{\nabla }=\left\{f_{1},f_{2}:U\to \mathbb {C} \ \ {\text{ with }}f'_{1}=f_{2}/x\ \ f_{2}'=f_{1}+e^{x}f_{2}\right\}}$$

• nシート被覆写像は、集合 によって与えられるファイバーを持つ局所系である。同様に、離散ファイバーを持つファイバー束も局所系である。なぜなら、各パスは、その基点から与えられたリフトまで一意にリフトするからである。（定義は、集合値を持つ局所系を当然のことながら含むように調整されている。）${\displaystyle X\to Y}$ ${\displaystyle \{1,\dots ,n\}}$

• X上のkベクトル空間の局所系は、のk線型表現と同等です。${\displaystyle \pi _{1}(X,x)}$

• Xが多様体の場合、局所システムは、さらに一貫性のあるO_XモジュールであるD モジュールと同じものになります( O モジュールを参照)。

• 接続が平坦でない場合（つまり、曲率がゼロでない場合）、x _0を基点とする収縮可能なループの周りをファイバーF_xがx上で平行移動すると、 F_xの非自明な自己同型が得られる可能性があるため、平坦でない接続に対して局所的に定数な層を必ずしも定義できるとは限りません。

• ガウス・マニン接続は、ホッジ構造の変化に関連して水平断面が研究される接続の代表的な例です。

コホモロジー

局所システムのコホモロジーを定義する方法はいくつかあり、局所係数を持つコホモロジーと呼ばれ、 Xに関する弱い仮定の下では同値になります。

• X上のアーベル群の局所定数層が与えられると、に係数を持つ層コホモロジー群が得られます。${\displaystyle {\mathcal {L}}}$ ${\displaystyle H^{j}(X,{\mathcal {L}})}$ ${\displaystyle {\mathcal {L}}}$

• X上のアーベル群の局所定数層が与えられたとき、各特異n単体を逆像層の大域切断に写す関数f全体の成す群を とする。これらの群は、通常の特異コホモロジーと同様に微分が構成されるコチェーン複体とすることができる。この複体のコホモロジーを と定義する。${\displaystyle {\mathcal {L}}}$ ${\displaystyle C^{n}(X;{\mathcal {L}})}$ ${\displaystyle \sigma \colon \Delta ^{n}\to X}$ ${\displaystyle f(\sigma )}$ ${\displaystyle \sigma ^{-1}{\mathcal {L}}}$ ${\displaystyle H_{\mathrm {sing} }^{j}(X;{\mathcal {L}})}$

• Xの普遍被覆上の特異n鎖群は、デッキ変換によっての作用を持つ。明示的に、デッキ変換は特異n単体を に取る。すると、の作用を備えたアーベル群Lが与えられれば、上記のように -同変準同型群からコチェーン複体を形成することができる。 をこの複体のコホモロジーと定義する。${\displaystyle C_{n}({\widetilde {X}})}$ ${\displaystyle \pi _{1}(X,x)}$ ${\displaystyle \gamma \colon {\widetilde {X}}\to {\widetilde {X}}}$ ${\displaystyle \sigma \colon \Delta ^{n}\to {\widetilde {X}}}$ ${\displaystyle \gamma \circ \sigma }$ ${\displaystyle \pi _{1}(X,x)}$ ${\displaystyle \operatorname {Hom} _{\pi _{1}(X,x)}(C_{n}({\widetilde {X}}),L)}$ ${\displaystyle \pi _{1}(X,x)}$ ${\displaystyle H_{\mathrm {sing} }^{j}(X;L)}$

Xがパラコンパクトかつ局所的に縮約可能な場合、 となる。^{[ 3 ]}がLに対応する局所システムである場合、微分と互換性のある同一視が存在する。 ^{[ 4 ]}したがって となる。 ${\displaystyle H^{j}(X,{\mathcal {L}})\cong H_{\mathrm {sing} }^{j}(X;{\mathcal {L}})}$ ${\displaystyle {\mathcal {L}}}$ ${\displaystyle C^{n}(X;{\mathcal {L}})\cong \operatorname {Hom} _{\pi _{1}(X,x)}(C_{n}({\widetilde {X}}),L)}$ ${\displaystyle H_{\mathrm {sing} }^{j}(X;{\mathcal {L}})\cong H_{\mathrm {sing} }^{j}(X;L)}$

一般化

局所システムは構成可能層への緩やかな一般化を持つ。局所的にパス連結な位相空間上の構成可能層とは、次のような層が存在する 層である。${\displaystyle X}$ ${\displaystyle {\mathcal {L}}}$

${\displaystyle X=\coprod X_{\lambda }}$

ここでは局所系である。これらは典型的には、導出されたプッシュフォワードのコホモロジーをある連続写像に対して取ることによって求められる。例えば、射の複素点を見ると、 ${\displaystyle {\mathcal {L}}|_{X_{\lambda }}}$ ${\displaystyle f:X\to Y}$

${\displaystyle f:X={\text{Proj}}\left({\frac {\mathbb {C} [s,t][x,y,z]}{(st\cdot h(x,y,z))}}\right)\to {\text{Spec}}(\mathbb {C} [s,t])}$

そして繊維が

${\displaystyle \mathbb {A} _{s,t}^{2}-\mathbb {V} (st)}$

は で与えられる平面曲線であるが、 上のファイバーはである。導出されたプッシュフォワードを取ると、構成可能な層が得られる。 上においては、局所系 ${\displaystyle h}$ ${\displaystyle \mathbb {V} =\mathbb {V} (st)}$ ${\displaystyle \mathbb {P} ^{2}}$ ${\displaystyle \mathbf {R} f_{!}({\underline {\mathbb {Q} }}_{X})}$ ${\displaystyle \mathbb {V} }$

${\displaystyle {\begin{aligned}\mathbf {R} ^{0}f_{!}({\underline {\mathbb {Q} }}_{X})|_{\mathbb {V} (st)}&={\underline {\mathbb {Q} }}_{\mathbb {V} (st)}\\\mathbf {R} ^{2}f_{!}({\underline {\mathbb {Q} }}_{X})|_{\mathbb {V} (st)}&={\underline {\mathbb {Q} }}_{\mathbb {V} (st)}\\\mathbf {R} ^{4}f_{!}({\underline {\mathbb {Q} }}_{X})|_{\mathbb {V} (st)}&={\underline {\mathbb {Q} }}_{\mathbb {V} (st)}\\\mathbf {R} ^{k}f_{!}({\underline {\mathbb {Q} }}_{X})|_{\mathbb {V} (st)}&={\underline {0}}_{\mathbb {V} (st)}{\text{ otherwise}}\end{aligned}}}$

ローカルシステムについて は${\displaystyle \mathbb {A} _{s,t}^{2}-\mathbb {V} (st)}$

${\displaystyle {\begin{aligned}\mathbf {R} ^{0}f_{!}({\underline {\mathbb {Q} }}_{X})|_{\mathbb {A} _{s,t}^{2}-\mathbb {V} (st)}&={\underline {\mathbb {Q} }}_{\mathbb {A} _{s,t}^{2}-\mathbb {V} (st)}\\\mathbf {R} ^{1}f_{!}({\underline {\mathbb {Q} }}_{X})|_{\mathbb {A} _{s,t}^{2}-\mathbb {V} (st)}&={\underline {\mathbb {Q} }}_{\mathbb {A} _{s,t}^{2}-\mathbb {V} (st)}^{\oplus 2g}\\\mathbf {R} ^{2}f_{!}({\underline {\mathbb {Q} }}_{X})|_{\mathbb {A} _{s,t}^{2}-\mathbb {V} (st)}&={\underline {\mathbb {Q} }}_{\mathbb {A} _{s,t}^{2}-\mathbb {V} (st)}\\\mathbf {R} ^{k}f_{!}({\underline {\mathbb {Q} }}_{X})|_{\mathbb {A} _{s,t}^{2}-\mathbb {V} (st)}&={\underline {0}}_{\mathbb {A} _{s,t}^{2}-\mathbb {V} (st)}{\text{ otherwise}}\end{aligned}}}$

ここで、 は平面曲線の種数（）です。 ${\displaystyle g}$ ${\displaystyle g=(\deg(f)-1)(\deg(f)-2)/2}$

アプリケーション

向き被覆に対応するモジュール内の局所係数を持つコホモロジーは、向き付け不可能な多様体のポアンカレ双対性を定式化するために使用できます。ツイスト ポアンカレ双対性を参照してください。

参照

• ルレイスペクトル列
• ガウス・マナン接続
• Dモジュール
• 交差ホモロジー
• 倒錯した束

参考文献

1. スティーンロッド, ノーマン E. (1943). 「局所係数を持つホモロジー」Annals of Mathematics . 44 (4): 610– 627. doi : 10.2307/1969099 . JSTOR  1969099 . MR  0009114 .
2. ミルン、ジェームズ・S. (2017).志村多様体入門. 命題14.7.
3. Bredon, Glen E. (1997).層理論, 第2版, Graduate Texts in Mathematics, vol. 25, Springer-Verlag . 第3章, 定理1.1.
4. ハッチャー、アレン(2001).代数的位相幾何学,ケンブリッジ大学出版局. 第3節H.

外部リンク

• 「ローカルシステムとは実際何なのか」。Stack Exchange。
• Schnell, Christian. 「局所システムのコホモロジー計算」(PDF) .ツイスト ド ラーム複体を使用して、ローカル システム内の係数を持つコホモロジーを計算する方法について説明します。
• ウィリアムソン、ジョーディ. 「図解入りパーバースシーブガイド」（PDF） .
• マクファーソン、ロバート(1990年12月15日). 「交差ホモロジーと倒錯層」(PDF) .
• El Zein, Fouad; Snoussi, Jawad. 「局所システムと構築可能な層」(PDF) .