層 (数学)

数学における層とは、位相空間上で連続的に変化する様々な数学的構造をとらえるための概念であり、大域的なデータを局所的に取り出すこと、および局所的なデータの貼り合わせ可能性によって定式化される。

　層は局所と大域をつなぐことばであり、装置である。層のことばを使って多様体やリーマン面などの幾何学的対象が定義できる。曲面の向きや微分形式も層のことばで定義できる。 例として、位相空間上の連続関数を考える。位相空間の各集合に対しそこで定義された連続関数の環が定まり、開集合の包含関係に対し定義域を制限することで定まる写像は環の射である。 さらに、局所的に定義された連続関数の族が大域的な関数を定義するならば、その関数は連続関数である。層の定義は、この2つの性質を抽象化したものである。

　より形式的に、大域から局所への移行のみを考える概念は前層とよばれる。

1. 定義
-----

1.1. 前層
-------

組 を が集合、 が の開集合系である位相空間とする。X}} 上の前層 とは、次の条件を満たす の開集合から集合への対応規則である。

の開集合 に対して集合 が定まる。
開集合の包含関係 に応じて制限写像と呼ばれる写像が定まり、さらに次の条件を満たす。
。
。各開集合 に対応付けられる がどれも加群の構造を持ち、制限写像がどれも加群の準同型となっているならば //X// 上の加群の前層、同じく がどれも環であって制限写像がどれも環準同型ならば 上の環の前層、といったように たちのもつ構造によって前層をクラスに分けることができる。

各開集合 に対して の元を前層 の 上の切断あるいは断面と呼ぶ。開集合の包含関係 と 上の切断 が与えられたとき、

と記して、 を切断 の への制限  と呼ぶ。

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

1.2. 層
------

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

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

を満たすならば常に //s// = //t// が成立し、さらに切断の族 //λ//∈//Λ//}} が常に

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

をすべての λ}} に対して満たすものが存在するようなもののことをいう。

1.3. 射
------

発見的な方法でいうと、層の射は層の間の写像のようなものである。しかし、層は位相空間の各開集合に対するデータを含んでいるので、層の射は、各開集合上の写像の整合性条件を満たす集まりとして定義される。

//F// と //G// を圏 C に値をもつ //X// 上の 2つの層とする。射 φ: //G// → //F// は、//X// の各開集合 //U// に対し、制限と両立するような射 φ: //G// → //F// からなる。言い換えると、開集合 //U// のすべての開部分集合 //V// に対し、次の図式が可換となる：

層を特別な種類の関手としても表現できることを思い出そう。このとき、層の射は対応する関手の自然変換である。射のこの概念により、任意の C に対し //X// 上の C に値を持つ層の圏が存在する。その対象は C に値を持つ層であり、射は層の射である。層の//同型射//はこの圏における同型射である。

層の同型射は各開集合 //U// 上の同型射であることを証明できる。言い換えると、φ が同型射であることと、各 //U// に対し φ が同型射であることが同値である。同じことは単射についても正しいが、全射については正しくない。層係数コホモロジーを参照。

層の射の定義において貼りあわせの公理を用いなかったことに注意しよう。したがって、上の定義は前層に対しても意味をなす。すると C に値を持つ前層の圏は関手圏、//O// から C への反変関手の圏である。

2. 層の茎
------

層 の茎  は、点 //x// ∈ //X// の「まわり」の層の性質を捕らえる。ここに、「まわり」の意味は、概念的に言うと、その点のいくらでも小さい近傍を見るということであるが、もちろん、単独の近傍では十分小さくないので、ある種の極限をとらなければならない。

茎は、与えられた点 //x// を含む //X// のすべての開集合上での帰納極限

によって定義される。言い換えると、茎の元は、//x// のある開近傍上の切断により与えられ、2つのそのような切断は、より小さな近傍でそれらの制限が一致するとき、同じであると考える。

自然な射 //F// → //Fx// は //F// の切断 //s// をその芽  へ写す。これは芽の通常の定義を一般化する。

茎の別の定義方法は、

であり、ここに //i// は一点空間 {//x//} から //X// への包含である。同値性は逆像函手の定義から導かれる。

多くの状況下で、層の茎を知ることは、層自身を知るに充分である。例えば、層の射が単射、全射、あるいは同型射であるか否かは、茎の上で調べることができる。ゴドマン分解のような構成においても、茎が使われる。

3. エタール束
--------

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

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

逆に、層 F}} に対応するエタール束 FE}} は F}} の茎の合併集合 に、次のようにして位相を入れることで構成される。任意の開集合 U}} と FU}} の任意の元 s}} について  とおき、 の形にかける集合全てで生成されるような開集合系をEF上で考える。//

4. 例
----

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

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

5. 空間の復元
--------

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

6. 前層の層化
--------

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

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

7. 歴史
-----

層の概念が最初にはっきりと現れたのは、第二次世界大戦中のジャン・ルレイによる偏微分方程式の研究だと言われている。その後、アンリ・カルタンのセミナーで形式的な整備が進められた。

なお、アンリ・カルタンをはじめとするフランスの数学者達の層の解明は、岡潔が見出した不定域イデアルという概念をも基にしている。岡の複素関数論のイデアの不定域イデアルが基本内容を構成しそれを取り出し形式化したものが連接層の内容とされる。

さらに任意の係数体上の多様体にコホモロジー理論を構築することを目的の一つとして、1955年にジャン＝ピエール・セールによって代数幾何学に層の概念が持ち込まれた。アレクサンドル・グロタンディークによりこの考えが推し進められ、スキーム上有意義な「層」を表現しうるトポスの概念が得られた。ほかに層が決定的に用いられる理論として佐藤幹夫らに端を発する偏微分方程式系の解析があげられる。

8. 関連項目
-------


リーマン面

9. 脚注
-----

9.1. 注釈
-------

9.2. 出典
-------

10. 参考文献
--------





[1]



11. 外部リンク
---------