層 (数学)

出典: フリー百科事典『ウィキペディア（Wikipedia）』
移動: 案内、 検索

数学における層（そう、英：sheaf, 仏：faisceau）とは、位相空間の位相に内在する半順序、束論的性質を抽出するための概念である。位相空間という意味も取払い完全に形式的一般化したものはスキーム（scheme）と呼ばれる。

目次

[編集] 定義

[編集] 前層

(X, T) を位相空間とする。X の開集合 U ∈ T に対し集合 F(U) を対応付けるとき、開集合の包含関係 U ⊂ V に応じて制限写像（せいげんしゃぞう、restriction map）と呼ばれる写像

\rho_U^V\colon F(V) \to F(U)

（ρUV を ρU,V のように記すこともある）が定まって、次の条件

  1. \rho_U^U = \mathrm{identity},
  2. U \sub V \sub W \Rightarrow \rho_U^W = \rho_U^V \circ \rho_V^W

が成立するとき、集合と写像の族 F = {(F(U))U∈T, (ρUV)U,V∈T;U ⊆ V} を X を底空間とし集合に値を持つ前層（または簡単に X 上の集合の前層）と呼ぶ。各開集合 U に対応付けられる F(U) がどれも加群の構造を持ち、制限写像がどれも加群の準同型となっているならば X 上の加群の前層、同じく F(U) がどれも環であって制限写像がどれも環準同型ならば X 上の環の前層、といったように F(U) たちのもつ構造によって前層をクラスに分けることができる。

各開集合 U に対して F(U) の元を前層 F の U 上の切断（せつだん、section）と呼ぶ。開集合の包含関係 U ⊂ V と V 上の切断 s ∈ F(V) が与えられたとき、

s|_{U} := \rho_U^V(s)

と記して、s|U を切断 s の U への制限 (restriction) と呼ぶ。

圏論の言葉で言えば、X の開集合系（これは包含関係に関する順序集合となる） T を圏と見なすとき、X 上の前層とは T から集合の圏への反変関手のことであるということができる。また、可換群の（あるいは加群の）前層や環の前層は T から可換群の圏や環の圏への反変関手のことであり、同様にして T から適当な圏 C への反変関手として C に値を持つ前層が定義される。二つの前層を関手と見なして、その間の自然変換となるものを前層の射または前層の準同型とよぶ。

[編集] 層

位相空間 X 上の前層はその切断が局所的な切断の張り合わせで定義できるとき層と呼ばれる。正確には X 上の層とは、前層 F = {F(U), ρUV} であって、X の各開集合 U に対して開被覆

U = \bigcup_{\lambda \in \Lambda} U_\lambda

が任意に与えられたとき、F(U) の元 s, t が任意の λ に対して

s|_{U_\lambda} = t|_{U_\lambda}

を満たすならば常に s = t が成立（既約性条件）し、さらに切断の族 (sλ ∈ Uλ)λ∈Λ が常に

s_\lambda|_{V_\lambda \cap V_\mu} = s_\mu|_{V_\lambda \cap V_\mu}

を満たすものであるならば常に、F(U) の元 s で

s|_{U_\lambda} = s_\lambda

をすべての λ に対して満たすものが存在する（閉条件）ようなもののことをいう。

[編集] 茎・芽

FをX上の前層とする。Xの点xに対してその開近傍系 B(x) はU ⊆ VのときV ≤ Uとして順序関係を入れると有向集合になる。このとき(FU)U ∈ B(x)は直系になり、その直極限F_x = \lim_\rightarrow F(U)はFの x 上の茎 (stalk) とよばれる。Fxの元はxにおけるFの芽 (germ) とよばれる。

[編集] エタールバンドル

局所同相写像 E → XはX上のエタールバンドルとよばれる。X上の層とX上のエタールバンドルの間には自然な対応がある。

エタールバンドルEに対応する層FEは各開集合Uに対してその上のEへの切断の空間Γ(U, E)を与え、開集合の包含関係に対して切断の制限写像を対応させることで定義される。Xの点xについて、茎FE, xはEにおけるxの逆像と自然に対応する。

逆に、層Fに対応するエタールバンドルEEはFの茎の合併集合\cup_{x \in X} F_xに、次のようにして位相を入れることで構成される(射影EF → XはF_x → xの寄せ集めで作られる)。任意の開集合 U と FU の任意の元 s についてO(U; s) = { sy ∈ Fy | y ∈ U }(syは茎Fyにおけるsの芽)とおき、O(U; s)の形にかける集合全てで生成されるような開集合系をEF上で考える。

[編集] 例

連続関数の層

Xを位相空間とする。X の開集合 U に対して、その上の複素数値連続関数のなす空間を C(U) とかくことにする。開集合の包含関係 V ⊆ U に対して関数の定義域の制限 C(U) → C(V) を考えることでX 上の層が得られる。点x におけるこの層の芽とはxのまわりでの関数の局所的な振る舞いを表していると考えることができる。 同様に、複素多様体に対しその上の正則関数のなす層を考えることができる。

定数層

Mを集合とするとき、離散位相を考えてMを位相空間とみなせる。このとき、直積空間X × MからXへの第一成分への射影写像は局所同相写像になっていて、X上のエタールバンドルを与えている。これに対応する層はMが定めるX上の定数層と呼ばれる。

[編集] 空間の復元

Xを位相空間とする。一点集合が定めるX上の定数層はO(X)上Xによって表現される関手yX = HomO(X)(-, X)だと見なすことができる。より一般にyXの部分層とXの開集合の間に自然な対応があり、X上の層からXの開集合たちとその間の包含関係を復元できることがわかる。簡素な空間 (sober space) と呼ばれるクラスの分離空間についてはその開集合系からもとの空間と位相同型な位相空間を得ることができる。このことから層は位相空間の圏論的・「代数／組み合わせ」的な言い換えを与えているとも考えられる。

[編集] 前層の層化

前層Pに対してその層化 aP が、普遍性 Hom(P, F) ≡ Hom(aP, F) (Fは任意の層)を満たすような層として定義される。この定義から、とくにすでに層であるような前層 P に対して層化 aP を考えれば、PとaPは自然に同型であることが要請される。集合の前層については実際に層化を考えることができ、加群や環の前層など付加的な構造を付与した場合でもたいていの場合には層化が可能である。

層化の構成には何通りかの方法がある。たとえば層に付随するエタールバンドルの構成を前層に対して同様に実行することでエタールバンドルが得られ、このエタールバンドルに付随する層を考えることで層化が得られる。

[編集] 歴史

層の理論の起源をたどるのは容易ではない。おそらく解析接続のアイデアと同様の広がりを持つであろう[独自研究?]。はっきりと認識できる独立した層の理論がコホモロジーの基礎的な研究から生じるまでには約15年を要した。層の概念が最初にはっきりと現れたのは、第二次世界大戦中のジャン・ルレーによる偏微分方程式の研究だと言われている。その後、アンリ・カルタンのセミナーで形式的な整備が進められた。さらに任意の係数体 (coefficient field) 上の多様体にコホモロジー理論を構築することを目的の一つとして、1955年にジャン＝ピエール・セールによって代数幾何学に層の概念が持ち込まれた。アレクサンドル・グロタンディークによりこの考えが推し進められ、スキーム上有意義な「層」を表現しうるトポスの概念が得られた。ほかに層が決定的に用いられる理論として佐藤幹夫らに端を発する偏微分方程式系の解析（D-加群の理論）があげられる。

この時点で、層は代数的位相幾何学に制限されずに使われるようになり、数学の主流の分野となった。後に、層の圏における論理は直観論理であることが発見された（この観測は現在はクリプキ＝ジョイアル意味論 (en)としてよく言及されるが、おそらくは多くの著者の貢献による）。このことは、層理論の様相のいくつかはゴットフリート・ライプニッツにまでさかのぼることができることを示している。

[編集] 関連項目

[編集] 参考文献

[編集] 外部リンク

「http://ja.wikipedia.org/w/index.php?title=層_(数学)&oldid=47598828」から取得