双有理不変量
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/02 09:06 UTC 版)
詳細は「小平次元」を参照 「双有理不変量」も参照 まず、どのようにして有理的でない代数多様体が存在するかを示す方法が明らかではない。これを証明するためには、代数多様体の何らかの双有理不変量を作ることが必要である。 双有理不変量の有益な双有理不変量の一つは多重種数である。次元 n の滑らかな代数多様体 X の標準バンドルは、n-形式のラインバンドルを意味する。 K X = Ω X n , {\displaystyle \,\!K_{X}=\Omega _{X}^{n},} これは、X の余接バンドルの n 番目の外積である。整数 d に対し、KX の d 番目のテンソル積は、再びラインバンドルとなる。d ≥ 0 に対し、大域的切断のベクトル空間 H0(X,KXd) は、滑らかな射影多様体の間の双有理写像 f: X – → Y は同型 H0(X,KXd) ≅ H0(Y,KYd) を導くという注目すべき性質を持っている。 d ≥ 0 に対し、d 番目の多重種数 Pd をベクトル空間 H0(X,KXd) の次元として定義すると、多重種数は滑らかな射影多様体に対する双有理不変量である。特に、d > 0 について多重種数 Pd がゼロでないならば、X は有理的ではない。 基本的な双有理不変量が小平次元で、d が無限大となるときの多重種数 Pd の増加する大きさを測る量である。小平次元は、次元 n のすべての多様体を、小平次元 -∞, 0, 1, ..., n として n+1 個のタイプに分類する。このタイプは多様体の複雑さを測るものであり、射影空間は小平次元 -∞ をとなる。もっと複雑な多様体は小平次元が、普通の次元 n に等しいときであり、一般型の多様体と呼ばれる。 さらに一般的に、r ≥ 0 に対しての余接バンドル Ω1 の r 番目のテンソル積の自然な和 E(Ω1) について、大域的切断のベクトル空間 H0(X,E(Ω1)) は滑らかな射影多様体の双有理不変量である。 特に、ホッジ数 hr0 = dim H0(X,Ωr) は X の双有理不変量である。（ほとんどのほかのホッジ数 hpq は、以下でみるように、双有理不変量ではない。） 基本群 π1(X) は滑らかな複素射影多様体の双有理不変量である。 2002年にAbramovich, Karu, Matsuki, と Włodarczyk (2002) により証明された「弱分解定理」は、2つの滑らかな複素射影多様体の間の任意の双有理写像は、滑らかな多様体への有限個のブローアップとブローダウンに分解することができる。しかし、これが2つの滑らかな射影多様体が双有理であるかどうかを判定することは極めて難しいことを知っておくことが大切である。
※この「双有理不変量」の解説は、「双有理幾何学」の解説の一部です。
「双有理不変量」を含む「双有理幾何学」の記事については、「双有理幾何学」の概要を参照ください。
Weblioに収録されているすべての辞書から双有理不変量を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から双有理不変量
を検索
- 双有理不変量のページへのリンク
