大域切断で生成される層とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 大域切断で生成される層の意味・解説 

大域切断で生成される層

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/28 14:09 UTC 版)

豊富な直線束」の記事における「大域切断で生成される層」の解説

X をスキーム、または複素多様体とし、F を X 上の層とする。すべての F のaiによる構造層の上加群として生成されているとき、F を大域切断 a iF ( X ) {\displaystyle a_{i}\in F(X)} により(有限に)生成されると言う例えば、F が直線束であったとする、つまり局所自由なランク 1であったとすると、このことは有限個の大域切断持っていることを意味し、X の任意の点 x に対し、x でゼロとならない少なくも一つ切断存在することになる。この場合、大域的生成子 a0, ..., an を選択することは、次の射を与える。 f : X → P n ,   x ↦ [ a 0 ( x ) : ⋯ : a n ( x ) ] . {\displaystyle f\colon X\rightarrow \mathbb {P} ^{n},\ x\mapsto [a_{0}(x):\dotsb :a_{n}(x)].} このときに、引き戻し(pullback) f*(O(1)) は F となる(F が X 上の有理函数定数層の部分層のときにこの評価が意味を持つことに注意)。この逆のステートメントもまた正しい。そのような射 f が与えられると、O(1) の引き戻しは(X 上の)大域切断により生成されるもう少し一般的な状況下では、大域切断ではられる層は、局所環付き空間 X の上の層 F で、構造層 OX単純なタイプ場合である。F をアーベル群の層とすると、次が成立する。A を大域切断アーベル群、つまり A = Γ ( F , X ) {\displaystyle A=\Gamma (F,X)} とすると、任意の X の開集合 U に対し、ρ(A)OU-加群として F(U) をはる。ここに、 ρ = ρ X , U {\displaystyle \rho =\rho _{X,U}} は、制限写像である。言い換えると、F のすべての切断は、大域切断により局所的に生成されるそのような例として、代数幾何学での R-加群 M で、R が任意の可換環で、環のスペクトル Spec(R) がある。他の例としては、カルタンの定理 Aに従うと、シュタイン多様体上の任意の連接層は大域切断ではられる。

※この「大域切断で生成される層」の解説は、「豊富な直線束」の解説の一部です。
「大域切断で生成される層」を含む「豊富な直線束」の記事については、「豊富な直線束」の概要を参照ください。

ウィキペディア小見出し辞書の「大域切断で生成される層」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「大域切断で生成される層」の関連用語

大域切断で生成される層のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



大域切断で生成される層のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの豊富な直線束 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS