乗数イデアル層とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 乗数イデアル層の意味・解説 

乗数イデアル層

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/10/14 03:47 UTC 版)

乗数イデアル層(じょうすうイデアルそう、: Multiplier ideal sheaf)とは、複素多様体上のある局所可積分条件を満たす正則関数のなすイデアル層英語版である。解析的な対象と代数的な対象をつなぎ特異点を処理してくれる[1]乗数イデアル層は、シン=トゥン・ヤウによれば、現代の高次元代数幾何学において中心的な役割を演じている[2]

乗数イデアル層は Nadel (1990) によってファノ多様体上のケーラー・アインシュタイン計量の研究の中で導入された[3]。設定は異なるが考え方自体は Kohn (1979) ノイマン問題を研究した際に導入していた。可換環論の分野では Lipman (1993)Briançon-Skodaの定理英語版との関連で"adjoint ideals"という名前で導入して研究していた[4]

複素解析

定義

X複素多様体φX 上の多重劣調和関数とする[5]φ に付随する乗数イデアル層 𝒥(φ) ⊂ 𝒪X を、正則関数 f であって | f |2e−2φルベーグ測度局所可積分になるようなものの層として定義する[注 1]。このように定義されたイデアル層 𝒥(φ) は解析的連接層となることが知られている。

諸例

(1)[6] 正の実数 α1, ..., αp を取って関数 φφ = log(|z1|α1 + ⋯ + |zp|αp) で定義する。これは多重劣調和関数になっていて、その乗数イデアル層 𝒥(φ) は、Demailly (2000, p. 37) によれば、
(βi + 1)/αi > 1
を満たす (β1, ..., βp) による単項式 zβ1
1
zβp
p
たちで生成されるイデアルと等しい。

(2)[7][8] X を滑らかな複素代数多様体(複素多様体とみる)、D = ∑
aiDi
を有効な Q 因子とする。X開集合 U をその上で Di が主になるようなものとし giU 上の正則関数で Di を定義するようなものとする。以上の状況のもとで U 上の関数 φD




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  
  •  乗数イデアル層のページへのリンク

辞書ショートカット

すべての辞書の索引

「乗数イデアル層」の関連用語

乗数イデアル層のお隣キーワード
検索ランキング

   

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



乗数イデアル層のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの乗数イデアル層 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS