「層 (数学)」の版間の差分
編集の要約なし |
脚注を分類ほか |
||
(19人の利用者による、間の29版が非表示) | |||
1行目: | 1行目: | ||
数学における'''層'''(そう、{{lang-en-short|sheaf}}, {{lang-fr-short|faisceau}})とは、[[位相空間]]上で連続的に変化する様々な数学的[[構造 (数学)|構造]]をとらえるための概念であり、大域的なデータを局所的に取り出すこと、および局所的なデータの貼り合わせ可能性によって定式化さ |
数学における'''層'''(そう、{{lang-en-short|sheaf}}<ref group="注">英語で麦類の穂束、書類の束、矢の束などを意味する ([[:en:wikt:sheaf|sheaf - Wiktionary]])。</ref>, {{lang-fr-short|faisceau}})とは、[[位相空間]]上で連続的に変化する様々な数学的[[構造 (数学)|構造]]をとらえるための概念であり、大域的なデータを局所的に取り出すこと、および局所的なデータの貼り合わせ可能性によって定式化される。 |
||
層は局所と大域をつなぐことばであり、装置である。層のことばを使って多様体やリーマン面などの幾何学的対象が定義できる。曲面の向きや微分形式も層のことばで定義できる。 |
|||
⚫ | |||
例として、位相空間上の連続関数を考える。位相空間の各集合に対しそこで定義された連続関数の環が定まり、開集合の包含関係に対し定義域を制限することで定まる写像は環の射である。 |
|||
さらに、局所的に定義された連続関数の族が大域的な関数を定義するならば、その関数は連続関数である。層の定義は、この2つの性質を抽象化したものである<ref>P191 第7章 層 数学原論 斎藤毅著 東京大学出版会 2020年4月10日 {{ISBN2|978-4-13-063904-0}} なお、複素解析(著者:L.V.アールフォルス /笠原乾吉 (訳)(1982)(株)現代数学社)の第8章 1.2 芽と層 およびそれ以降の節が、複素解析論における層の理論の具体的適用例として大変参考になる。</ref>。 |
|||
より形式的に、大域から局所への移行のみを考える概念は'''前層'''(ぜんそう、{{en|presheaf}})とよばれる<ref>{{行内引用|層という訳語の由来は仏語 Faisceau のあとの方の 'ソー' をとったというのが一つの根拠である。Faisceau の元来の意味は束 (タバ) である。'群の束' (X 上に配置された) の意である。ところで、これを横に見ると地層のような層になる。そこで、垂直を水平におきかえて層と訳してみたのである。この訳がよいか、悪いか、わが国で定着しているかどうか知らないが、この訳語の発案者として、その由来を記しておく。|lang=ja|style=font-style:italic}}{{Harv|秋月|1970|p=176}}</ref>。 |
|||
⚫ | |||
=== 前層 === |
=== 前層 === |
||
組 <math>(X,T)</math> を <math>X</math> が集合、<math>T</math> が <math>X</math> の開集合系である[[位相空間]]とする。{{mvar|X}} 上の(集合の)'''前層''' <math>\mathcal{F}</math> とは、次の条件を満たす <math>X</math> の開集合から集合への対応規則である。 |
|||
* |
*<math>X</math> の[[開集合]] <math>U\in T</math> に対して[[集合]] <math>\mathcal{F}(U)</math> が定まる。 |
||
* 開集合の包含関係 |
* 開集合の包含関係 <math>U\subset V</math> に応じて'''制限写像'''(せいげんしゃぞう、<em lang="en">restriction map</em>)と呼ばれる写像 |
||
::<math>\rho_U^V\colon F(V) \to F(U)</math> |
::<math>\rho_U^V\colon \mathcal{F}(V) \to \mathcal{F}(U)</math> |
||
:({{math|{{subSup|ρ|''U''|''V''}}}} を {{math|''ρ''<sub>''U'', ''V''</sub>}} のように記すこともある)。 |
:({{math|{{subSup|ρ|''U''|''V''}}}} を {{math|''ρ''<sub>''U'', ''V''</sub>}} のように記すこともある)が定まり、さらに次の条件を満たす。 |
||
これらは次の2つの条件を満たさなければならない: |
|||
# <math>\rho_U^U = \mathrm{identity},</math> |
|||
#<math>\rho^U_U=\mathrm{id}_U</math>(ここで、<math>\mathrm{id}_U: \mathcal{F}(U) \to \mathcal{F}(U)</math>は恒等写像である)。 |
|||
# |
#<math>U \sub V \sub W \implies \rho_U^W = \rho_U^V \circ \rho_V^W</math>。 |
||
<!--そのとき集合と写像の族 ''F'' = {(''F''(''U''))<sub>''U''∈''T''</sub>, ({{subSup|ρ|''U''|''V''}})<sub>''U'',''V''∈''T''; ''U'' ⊆ ''V''</sub>} を、その集合に値を持つ写像の族を'''前層'''(または簡単に ''X'' 上の集合の前層)と呼ぶ。--> |
<!--そのとき集合と写像の族 ''F'' = {(''F''(''U''))<sub>''U''∈''T''</sub>, ({{subSup|ρ|''U''|''V''}})<sub>''U'',''V''∈''T''; ''U'' ⊆ ''V''</sub>} を、その集合に値を持つ写像の族を'''前層'''(または簡単に ''X'' 上の集合の前層)と呼ぶ。--> |
||
各開集合 |
各開集合 <math>U</math> に対応付けられる <math>\mathcal{F}(U)</math> がどれも加群の構造を持ち、制限写像がどれも加群の準同型となっているならば ''X'' 上の'''加群の前層'''、同じく <math>\mathcal{F}(U)</math> がどれも環であって制限写像がどれも環準同型ならば <math>X</math> 上の'''環の前層'''、といったように <math>\mathcal{F}(U)</math> たちのもつ構造によって前層をクラスに分けることができる。 |
||
⚫ | |||
⚫ | |||
:<math>s|_{U} := \rho_U^V(s)</math> |
:<math>s|_{U} := \rho_U^V(s)</math> |
||
⚫ | |||
⚫ | |||
⚫ | [[圏論]]の言葉で言えば、 |
||
⚫ | [[圏論]]の言葉で言えば、<math>X</math> の開集合系(これは包含関係に関する[[順序集合]]となる)<math>T</math> を[[圏 (数学)|圏]]と見なすとき、<math>X</math> 上の前層とは <math>T</math> から集合の圏への[[関手#反変関手|反変関手]]のことであるということができる。また、可換群の(あるいは加群の)前層や環の前層は <math>T</math> から可換群の圏や環の圏への反変関手のことであり、同様にして <math>T</math> から適当な圏 <math>\mathcal{C}</math> への反変関手として <math>\mathcal{C}</math> に値を持つ前層が定義される{{sfn|Bredon|1997|pp={{google books quote|id=JFXSBwAAQBAJ|page=1|1}}–2}}。二つの前層を関手と見なして、その間の自然変換となるものを'''前層の射'''または前層の[[準同型]]とよぶ。 |
||
=== 層 === |
=== 層 === |
||
29行目: | 37行目: | ||
:<math>s|_{U_\lambda} = t|_{U_\lambda}</math> |
:<math>s|_{U_\lambda} = t|_{U_\lambda}</math> |
||
を満たすならば常に ''s'' = ''t'' が成立(既約性条件)し、さらに切断の族 {{math|(''s''<sub>''λ''</sub> ∈ ''U''<sub>''λ''</sub>)<sub>''λ''∈''Λ''</sub>}} が常に |
を満たすならば常に ''s'' = ''t'' が成立(既約性条件)し、さらに切断の族 {{math|(''s''<sub>''λ''</sub> ∈ ''U''<sub>''λ''</sub>)<sub>''λ''∈''Λ''</sub>}} が常に |
||
:<math>s_\lambda|_{ |
:<math>s_\lambda|_{U_\lambda \cap U_\mu} = s_\mu|_{U_\lambda \cap U_\mu}</math> |
||
を満たすものであるならば常に、''F''(''U'') の元 ''s'' で |
を満たすものであるならば常に、''F''(''U'') の元 ''s'' で |
||
:<math>s|_{U_\lambda} = s_\lambda</math> |
:<math>s|_{U_\lambda} = s_\lambda</math> |
||
42行目: | 50行目: | ||
層を特別な種類の関手としても表現できることを思い出そう。このとき、層の射は対応する関手の[[自然変換]]である。射のこの概念により、任意の '''C''' に対し ''X'' 上の '''C''' に値を持つ層の圏が存在する。その対象は '''C''' に値を持つ層であり、射は層の射である。層の''[[同型射]]''はこの圏における同型射である。 |
層を特別な種類の関手としても表現できることを思い出そう。このとき、層の射は対応する関手の[[自然変換]]である。射のこの概念により、任意の '''C''' に対し ''X'' 上の '''C''' に値を持つ層の圏が存在する。その対象は '''C''' に値を持つ層であり、射は層の射である。層の''[[同型射]]''はこの圏における同型射である。 |
||
層の同型射は各開集合 ''U'' 上の同型射であることを証明できる。言い換えると、φ が同型射であることと、各 ''U'' に対し φ(''U'') が同型射であることが同値である。同じことは[[モノ射|単射]]についても正しいが、[[エピ射|全射]]については正しくない。[[層コホモロジー]]を参照。 |
層の同型射は各開集合 ''U'' 上の同型射であることを証明できる。言い換えると、φ が同型射であることと、各 ''U'' に対し φ(''U'') が同型射であることが同値である。同じことは[[モノ射|単射]]についても正しいが、[[エピ射|全射]]については正しくない。[[層係数コホモロジー]]を参照。 |
||
層の射の定義において貼りあわせの公理を用いなかったことに注意しよう。したがって、上の定義は前層に対しても意味をなす。すると '''C''' に値を持つ前層の圏は[[関手圏]]、''O''(''X'') から '''C''' への反変関手の圏である。 |
層の射の定義において貼りあわせの公理を用いなかったことに注意しよう。したがって、上の定義は前層に対しても意味をなす。すると '''C''' に値を持つ前層の圏は[[関手圏]]、''O''(''X'') から '''C''' への反変関手の圏である。 |
||
68行目: | 76行目: | ||
エタール束 {{mvar|E}} に対応する層 {{mvar|F<sub>E</sub>}} は各開集合 {{mvar|U}} に対してその上の {{mvar|E}} への切断の空間 {{math|Γ(''U'', E)}} を与え、開集合の包含関係に対して切断の制限写像を対応させることで定義される。{{mvar|X}} の点 {{mvar|x}} について、茎 {{mvar|F<sub>E, x</sub>}} は {{mvar|E}} における {{mvar|x}} の逆像と自然に対応する。 |
エタール束 {{mvar|E}} に対応する層 {{mvar|F<sub>E</sub>}} は各開集合 {{mvar|U}} に対してその上の {{mvar|E}} への切断の空間 {{math|Γ(''U'', E)}} を与え、開集合の包含関係に対して切断の制限写像を対応させることで定義される。{{mvar|X}} の点 {{mvar|x}} について、茎 {{mvar|F<sub>E, x</sub>}} は {{mvar|E}} における {{mvar|x}} の逆像と自然に対応する。 |
||
逆に、層 {{mvar|F}} に対応するエタール束 {{mvar|F<sub>E</sub>}} は {{mvar|F}} の茎の合併集合 <math>\cup_{x \in X} F_x</math> に、次のようにして位相を入れることで構成される(射影 {{math|''E<sub>F</sub>'' → ''X'' は {{mvar|''F{{sub|x}}'' → ''x''}} の寄せ集めで作られる)。任意の開集合 {{mvar|U}} と {{mvar|FU}} の任意の元 {{mvar|s}} について {{math|1=''O''(''U''; ''s'') = { ''s<sub>y</sub>'' ∈ ''F<sub>y</sub>'' {{!}} ''y'' ∈ ''U'' {{)}}}} ({{mvar|s<sub>y</sub>}} は茎 {{mvar|F<sub>y</sub>}} における {{mvar|s}}の芽) とおき、{{math|''O''(''U''; ''s'')}} の形にかける集合全てで生成されるような開集合系をE<sub>F</sub>上で考える。 |
逆に、層 {{mvar|F}} に対応するエタール束 {{mvar|F<sub>E</sub>}} は {{mvar|F}} の茎の合併集合 <math>\cup_{x \in X} F_x</math> に、次のようにして位相を入れることで構成される(射影 {{math|''E<sub>F</sub>'' → ''X''}} は {{mvar|''F{{sub|x}}'' → ''x''}} の寄せ集めで作られる)。任意の開集合 {{mvar|U}} と {{mvar|FU}} の任意の元 {{mvar|s}} について {{math|1=''O''(''U''; ''s'') = { ''s<sub>y</sub>'' ∈ ''F<sub>y</sub>'' {{!}} ''y'' ∈ ''U'' {{)}}}} ({{mvar|s<sub>y</sub>}} は茎 {{mvar|F<sub>y</sub>}} における {{mvar|s}}の芽) とおき、{{math|''O''(''U''; ''s'')}} の形にかける集合全てで生成されるような開集合系をE<sub>F</sub>上で考える。 |
||
== 例 == |
== 例 == |
||
86行目: | 94行目: | ||
== 歴史 == |
== 歴史 == |
||
層の概念が最初にはっきりと現れたのは、第二次世界大戦中の[[ジャン・ルレ |
層の概念が最初にはっきりと現れたのは、第二次世界大戦中の[[ジャン・ルレイ]]による偏微分方程式の研究だと言われている。その後、[[アンリ・カルタン]]のセミナーで形式的な整備が進められた。 |
||
なお、[[アンリ・カルタン]]をはじめとするフランスの数学者達の層の解明は、[[岡潔]]が見出した不定域イデアルという概念をも基にしている。岡の複素関数論の[[イデア]]の不定域イデアルが基本内容を構成しそれを取り出し形式化したものが[[連接層]]の内容とされる。 |
|||
さらに任意の係数体上の多様体にコホモロジー理論を構築することを目的の一つとして、[[1955年]]に[[ジャン=ピエール・セール]]によって代数幾何学に層の概念が持ち込まれた。[[アレクサンドル・グロタンディーク]]によりこの考えが推し進められ、[[概型|スキーム]]上有意義な「層」を表現しうる[[トポス (数学)|トポス]]の概念が得られた。ほかに層が決定的に用いられる理論として[[佐藤幹夫 (数学者)|佐藤幹夫]]らに端を発する偏微分方程式系の解析(''D''-加群の理論)があげられる。 |
|||
== 関連項目 == |
== 関連項目 == |
||
* [[連接層]] |
|||
* {{仮リンク|余層|en|cosheaf}} |
* {{仮リンク|余層|en|cosheaf}} |
||
* {{仮リンク|ジャーブ|en|Gerbe}} (gerbe) |
* {{仮リンク|ジャーブ|en|Gerbe}} (gerbe) |
||
96行目: | 107行目: | ||
* {{仮リンク|スペクトルの層|en|Sheaf of spectra}} |
* {{仮リンク|スペクトルの層|en|Sheaf of spectra}} |
||
* {{仮リンク|空間の前層|en|Presheaf of spaces}} |
* {{仮リンク|空間の前層|en|Presheaf of spaces}} |
||
* [[リーマン面]] |
|||
== 脚注 == |
|||
{{脚注ヘルプ}} |
|||
=== 注釈 === |
|||
<references group="注" /> |
|||
=== 出典 === |
|||
<references /> |
|||
== 参考文献 == |
== 参考文献 == |
||
* {{Cite book|和書|title=輓近代数学の展望|year=1941|publisher=弘文堂書房|ref=harv|last=秋月|first=康夫|author-link=秋月康夫|NCID=BN05414072}} |
|||
⚫ | * {{Citation | last1=Bredon | first1=Glen E. | |
||
** {{Cite book|和書|title=輓近代数学の展望|year=1970|publisher=ダイヤモンド社|ref=harv|last=秋月|first=康夫|author-link=秋月康夫|NCID=BN00660967}} |
|||
⚫ | |||
⚫ | * {{Citation | last1=Bredon | first1=Glen E. | title=Sheaf Theory | url={{google books|JFXSBwAAQBAJ|plainurl=yes}} | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-94905-5 | mr=1481706 | edition=2nd | year=1997 | volume=170}} (oriented towards conventional topological applications) |
||
⚫ | |||
* {{Citation | last1=Grothendieck | first1=Alexander | author1-link=Alexander Grothendieck | title=Sur quelques points d'algèbre homologique | mr=0102537 | year=1957 | journal=The Tohoku Mathematical Journal. Second Series | issn=0040-8735 | volume=9 | pages=119–221 | doi=10.2748/tmj/1178244839}} |
* {{Citation | last1=Grothendieck | first1=Alexander | author1-link=Alexander Grothendieck | title=Sur quelques points d'algèbre homologique | mr=0102537 | year=1957 | journal=The Tohoku Mathematical Journal. Second Series | issn=0040-8735 | volume=9 | pages=119–221 | doi=10.2748/tmj/1178244839}} |
||
* {{Citation | last1=Hirzebruch | first1=Friedrich | author1-link = フリードリッヒ・ヒルツェブルフ | title=Topological methods in algebraic geometry | publisher=Springer-Verlag | location=Berlin, New York | series=Classics in Mathematics | isbn=978-3-540-58663-0 | mr=1335917 | year=1995}} (updated edition of a classic using enough sheaf theory to show its power) |
* {{Citation | last1=Hirzebruch | first1=Friedrich | author1-link = フリードリッヒ・ヒルツェブルフ | title=Topological methods in algebraic geometry | publisher=Springer-Verlag | location=Berlin, New York | series=Classics in Mathematics | isbn=978-3-540-58663-0 | mr=1335917 | year=1995}} (updated edition of a classic using enough sheaf theory to show its power) |
||
* {{Citation | last1=Kashiwara | first1=Masaki | author1-link=Masaki Kashiwara | last2=Schapira | first2=Pierre | title=Sheaves on manifolds | publisher=Springer-Verlag | location=Berlin, New York | series=Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] | isbn=978-3-540-51861-7 | mr=1299726 | year=1994 | volume=292}}(advanced techniques such as the [[derived category]] and [[vanishing cycle]]s on the most reasonable spaces) |
* {{Citation | last1=Kashiwara | first1=Masaki | author1-link=Masaki Kashiwara | last2=Schapira | first2=Pierre | title=Sheaves on manifolds | publisher=Springer-Verlag | location=Berlin, New York | series=Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] | isbn=978-3-540-51861-7 | mr=1299726 | year=1994 | volume=292}} (advanced techniques such as the [[derived category]] and [[vanishing cycle]]s on the most reasonable spaces) |
||
* {{Citation | last1=Mac Lane | first1=Saunders | author1-link = Saunders Mac Lane | last2=Moerdijk | first2=Ieke |
* {{Citation | last1=Mac Lane | first1=Saunders | author1-link = Saunders Mac Lane | last2=Moerdijk | first2=Ieke | title=Sheaves in Geometry and Logic: A First Introduction to Topos Theory | publisher=Springer-Verlag | location=Berlin, New York | series=Universitext | isbn=978-0-387-97710-2 | mr=1300636 | year=1994}} (category theory and toposes emphasised) |
||
* {{Citation | last1=Martin | first1=W. T. | last2=Chern | first2=S. S. | author2-link=Shiing-Shen Chern | last3=Zariski | first3=Oscar | author3-link=Oscar Zariski | title=Scientific report on the Second Summer Institute, several complex variables | mr=0077995 | year=1956 | journal= |
* {{Citation | last1=Martin | first1=W. T. | last2=Chern | first2=S. S. | author2-link=Shiing-Shen Chern | last3=Zariski | first3=Oscar | author3-link=Oscar Zariski | title=Scientific report on the Second Summer Institute, several complex variables | mr=0077995 | year=1956 | journal=Bulletin of the American Mathematical Society | issn=0002-9904 | volume=62 | pages=79–141 | doi=10.1090/S0002-9904-1956-10013-X | issue=2}} |
||
* |
* {{Citation | last1=Seebach | first1=J. Arthur| last2=Seeback | first2=Linda A. | last3=Steen | first3=Lynn A. | title=What is a sheaf? | year=1970 | journal=American Mathematical Monthly | volume=77 | pages=681–703 | doi=10.2307/2316199 | mr=0263073}} |
||
* {{Citation | last1=Serre | first1=Jean-Pierre | author1-link=Jean-Pierre Serre | title=Faisceaux algébriques cohérents | url=http://www.mat.uniroma1.it/people/arbarello/FAC.pdf | mr=0068874 | year=1955 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=61 | pages=197–278 | doi=10.2307/1969915 | jstor=1969915 | issue=2 | publisher=The Annals of Mathematics, Vol. 61, No. 2 }} <sup>[ |
* {{Citation | last1=Serre | first1=Jean-Pierre | author1-link=Jean-Pierre Serre | title=Faisceaux algébriques cohérents | url=http://www.mat.uniroma1.it/people/arbarello/FAC.pdf | mr=0068874 | year=1955 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=61 | pages=197–278 | doi=10.2307/1969915 | jstor=1969915 | issue=2 | publisher=The Annals of Mathematics, Vol. 61, No. 2 }} <sup>[https://scholar.google.co.uk/scholar?hl=en&lr=&q=intitle%3AFaisceaux+alg%C3%A9briques+coh%C3%A9rents&as_publication=%5B%5BAnnals+of+Mathematics%7CAnnals+of+Mathematics.+Second+Series%5D%5D&as_ylo=1955&as_yhi=1955&btnG=Search Scholar search]</sup> |
||
* {{Citation | last1=Swan | first1=R. G. | title=The Theory of Sheaves | publisher=University of Chicago Press| year=1964}} (concise lecture notes) |
* {{Citation | last1=Swan | first1=R. G. | title=The Theory of Sheaves | publisher=University of Chicago Press| year=1964}} (concise lecture notes) |
||
* {{Citation | last1=Tennison | first1=B. R. | title=Sheaf theory | publisher=[[Cambridge University Press]] | mr=0404390 | year=1975}} (pedagogic treatment) |
* {{Citation | last1=Tennison | first1=B. R. | title=Sheaf theory | publisher=[[Cambridge University Press]] | mr=0404390 | year=1975}} (pedagogic treatment) |
||
113行目: | 135行目: | ||
* {{planetmath reference|id=5648|title=Sheaf}} |
* {{planetmath reference|id=5648|title=Sheaf}} |
||
{{ |
{{Normdaten}} |
||
{{DEFAULTSORT:そう}} |
{{DEFAULTSORT:そう}} |
||
[[Category:層の理論|*]] |
[[Category:層の理論|*]] |
||
[[Category:代数幾何学の位相的方法]] |
[[Category:代数幾何学の位相的方法]] |
||
⚫ | |||
[[Category:数学に関する記事]] |
[[Category:数学に関する記事]] |
||
⚫ |
2023年9月10日 (日) 19:44時点における最新版
数学における層(そう、英: sheaf[注 1], 仏: faisceau)とは、位相空間上で連続的に変化する様々な数学的構造をとらえるための概念であり、大域的なデータを局所的に取り出すこと、および局所的なデータの貼り合わせ可能性によって定式化される。
層は局所と大域をつなぐことばであり、装置である。層のことばを使って多様体やリーマン面などの幾何学的対象が定義できる。曲面の向きや微分形式も層のことばで定義できる。 例として、位相空間上の連続関数を考える。位相空間の各集合に対しそこで定義された連続関数の環が定まり、開集合の包含関係に対し定義域を制限することで定まる写像は環の射である。 さらに、局所的に定義された連続関数の族が大域的な関数を定義するならば、その関数は連続関数である。層の定義は、この2つの性質を抽象化したものである[1]。
より形式的に、大域から局所への移行のみを考える概念は前層(ぜんそう、presheaf)とよばれる[2]。
定義
[編集]前層
[編集]組 を が集合、 が の開集合系である位相空間とする。X 上の(集合の)前層 とは、次の条件を満たす の開集合から集合への対応規則である。
- (ρ V
U を ρU, V のように記すこともある)が定まり、さらに次の条件を満たす。
- (ここで、は恒等写像である)。
- 。
各開集合 に対応付けられる がどれも加群の構造を持ち、制限写像がどれも加群の準同型となっているならば X 上の加群の前層、同じく がどれも環であって制限写像がどれも環準同型ならば 上の環の前層、といったように たちのもつ構造によって前層をクラスに分けることができる。
各開集合 に対して の元を前層 の 上の切断(せつだん、section)あるいは断面(だんめん)と呼ぶ。開集合の包含関係 と 上の切断 が与えられたとき、
と記して、 を切断 の への制限 (restriction) と呼ぶ。
圏論の言葉で言えば、 の開集合系(これは包含関係に関する順序集合となる) を圏と見なすとき、 上の前層とは から集合の圏への反変関手のことであるということができる。また、可換群の(あるいは加群の)前層や環の前層は から可換群の圏や環の圏への反変関手のことであり、同様にして から適当な圏 への反変関手として に値を持つ前層が定義される[3]。二つの前層を関手と見なして、その間の自然変換となるものを前層の射または前層の準同型とよぶ。
層
[編集]位相空間 X 上の前層はその切断が局所的な切断の張り合わせで定義できるとき層と呼ばれる。正確には X 上の層とは、前層 F = {F(U), ρ V
U } であって、X の各開集合 U に対して開被覆
が任意に与えられたとき、F(U) の元 s, t が任意の λ に対して
を満たすならば常に s = t が成立(既約性条件)し、さらに切断の族 (sλ ∈ Uλ)λ∈Λ が常に
を満たすものであるならば常に、F(U) の元 s で
をすべての λ に対して満たすものが存在する(閉条件)ようなもののことをいう。
射
[編集]発見的な方法でいうと、層の射は層の間の写像のようなものである。しかし、層は位相空間の各開集合に対するデータを含んでいるので、層の射は、各開集合上の写像の整合性条件を満たす集まりとして定義される。
F と G を圏 C に値をもつ X 上の 2つの層とする。射 φ: G → F は、X の各開集合 U に対し、制限と両立するような射 φ(U): G(U) → F(U) からなる。言い換えると、開集合 U のすべての開部分集合 V に対し、次の図式が可換となる:
層を特別な種類の関手としても表現できることを思い出そう。このとき、層の射は対応する関手の自然変換である。射のこの概念により、任意の C に対し X 上の C に値を持つ層の圏が存在する。その対象は C に値を持つ層であり、射は層の射である。層の同型射はこの圏における同型射である。
層の同型射は各開集合 U 上の同型射であることを証明できる。言い換えると、φ が同型射であることと、各 U に対し φ(U) が同型射であることが同値である。同じことは単射についても正しいが、全射については正しくない。層係数コホモロジーを参照。
層の射の定義において貼りあわせの公理を用いなかったことに注意しよう。したがって、上の定義は前層に対しても意味をなす。すると C に値を持つ前層の圏は関手圏、O(X) から C への反変関手の圏である。
層の茎
[編集]層 の茎 (stalk) は、点 x ∈ X の「まわり」の層の性質を捕らえる。ここに、「まわり」の意味は、概念的に言うと、その点のいくらでも小さい近傍を見るということであるが、もちろん、単独の近傍では十分小さくないので、ある種の極限をとらなければならない。
茎は、与えられた点 x を含む X のすべての開集合上での帰納極限
によって定義される。言い換えると、茎の元は、x のある開近傍上の切断により与えられ、2つのそのような切断は、より小さな近傍でそれらの制限が一致するとき、同じであると考える。
自然な射 F(U) → Fx は F(U) の切断 s をその芽 (germ) へ写す。これは芽の通常の定義を一般化する。
茎の別の定義方法は、
であり、ここに i は一点空間 {x} から X への包含である。同値性は逆像の定義から導かれる。
多くの状況下で、層の茎を知ることは、層自身を知るに充分である。例えば、層の射が単射、全射、あるいは同型射であるか否かは、茎の上で調べることができる。ゴドマン分解のような構成においても、茎が使われる。
エタール束
[編集]局所同相写像 E → X は X 上のエタール束とよばれる。X 上の層と X 上のエタール束の間には自然な対応がある。
エタール束 E に対応する層 FE は各開集合 U に対してその上の E への切断の空間 Γ(U, E) を与え、開集合の包含関係に対して切断の制限写像を対応させることで定義される。X の点 x について、茎 FE, x は E における x の逆像と自然に対応する。
逆に、層 F に対応するエタール束 FE は F の茎の合併集合 に、次のようにして位相を入れることで構成される(射影 EF → X は Fx → 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は自然に同型であることが要請される。集合の前層については実際に層化を考えることができ、加群や環の前層など付加的な構造を付与した場合でもたいていの場合には層化が可能である。
層化の構成には何通りかの方法がある。たとえば層に付随するエタールバンドルの構成を前層に対して同様に実行することでエタールバンドルが得られ、このエタールバンドルに付随する層を考えることで層化が得られる。
歴史
[編集]層の概念が最初にはっきりと現れたのは、第二次世界大戦中のジャン・ルレイによる偏微分方程式の研究だと言われている。その後、アンリ・カルタンのセミナーで形式的な整備が進められた。
なお、アンリ・カルタンをはじめとするフランスの数学者達の層の解明は、岡潔が見出した不定域イデアルという概念をも基にしている。岡の複素関数論のイデアの不定域イデアルが基本内容を構成しそれを取り出し形式化したものが連接層の内容とされる。
さらに任意の係数体上の多様体にコホモロジー理論を構築することを目的の一つとして、1955年にジャン=ピエール・セールによって代数幾何学に層の概念が持ち込まれた。アレクサンドル・グロタンディークによりこの考えが推し進められ、スキーム上有意義な「層」を表現しうるトポスの概念が得られた。ほかに層が決定的に用いられる理論として佐藤幹夫らに端を発する偏微分方程式系の解析(D-加群の理論)があげられる。
関連項目
[編集]脚注
[編集]注釈
[編集]- ^ 英語で麦類の穂束、書類の束、矢の束などを意味する (sheaf - Wiktionary)。
出典
[編集]- ^ P191 第7章 層 数学原論 斎藤毅著 東京大学出版会 2020年4月10日 ISBN 978-4-13-063904-0 なお、複素解析(著者:L.V.アールフォルス /笠原乾吉 (訳)(1982)(株)現代数学社)の第8章 1.2 芽と層 およびそれ以降の節が、複素解析論における層の理論の具体的適用例として大変参考になる。
- ^
層という訳語の由来は仏語 Faisceau のあとの方の 'ソー' をとったというのが一つの根拠である。Faisceau の元来の意味は束 (タバ) である。'群の束' (X 上に配置された) の意である。ところで、これを横に見ると地層のような層になる。そこで、垂直を水平におきかえて層と訳してみたのである。この訳がよいか、悪いか、わが国で定着しているかどうか知らないが、この訳語の発案者として、その由来を記しておく。
(秋月 1970, p. 176) - ^ Bredon 1997, pp. 1–2.
参考文献
[編集]- 秋月, 康夫『輓近代数学の展望』弘文堂書房、1941年。 NCID BN05414072。
- 秋月, 康夫『輓近代数学の展望』ダイヤモンド社、1970年。 NCID BN00660967。
- Bredon, Glen E. (1997), Sheaf Theory, Graduate Texts in Mathematics, 170 (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-94905-5, MR1481706 (oriented towards conventional topological applications)
- Godement, Roger (1973), Topologie algébrique et théorie des faisceaux, Paris: Hermann, MR0345092
- Grothendieck, Alexander (1957), “Sur quelques points d'algèbre homologique”, The Tohoku Mathematical Journal. Second Series 9: 119–221, doi:10.2748/tmj/1178244839, ISSN 0040-8735, MR0102537
- Hirzebruch, Friedrich (1995), Topological methods in algebraic geometry, Classics in Mathematics, Berlin, New York: Springer-Verlag, ISBN 978-3-540-58663-0, MR1335917 (updated edition of a classic using enough sheaf theory to show its power)
- Kashiwara, Masaki; Schapira, Pierre (1994), Sheaves on manifolds, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 292, Berlin, New York: Springer-Verlag, ISBN 978-3-540-51861-7, MR1299726 (advanced techniques such as the derived category and vanishing cycles on the most reasonable spaces)
- Mac Lane, Saunders; Moerdijk, Ieke (1994), Sheaves in Geometry and Logic: A First Introduction to Topos Theory, Universitext, Berlin, New York: Springer-Verlag, ISBN 978-0-387-97710-2, MR1300636 (category theory and toposes emphasised)
- Martin, W. T.; Chern, S. S.; Zariski, Oscar (1956), “Scientific report on the Second Summer Institute, several complex variables”, Bulletin of the American Mathematical Society 62 (2): 79–141, doi:10.1090/S0002-9904-1956-10013-X, ISSN 0002-9904, MR0077995
- Seebach, J. Arthur; Seeback, Linda A.; Steen, Lynn A. (1970), “What is a sheaf?”, American Mathematical Monthly 77: 681–703, doi:10.2307/2316199, MR0263073
- Serre, Jean-Pierre (1955), “Faisceaux algébriques cohérents”, Annals of Mathematics. Second Series (The Annals of Mathematics, Vol. 61, No. 2) 61 (2): 197–278, doi:10.2307/1969915, ISSN 0003-486X, JSTOR 1969915, MR0068874 Scholar search
- Swan, R. G. (1964), The Theory of Sheaves, University of Chicago Press (concise lecture notes)
- Tennison, B. R. (1975), Sheaf theory, Cambridge University Press, MR0404390 (pedagogic treatment)