[過去ログ]
ガロア第一論文及びその関連の資料スレ (1002レス)
ガロア第一論文及びその関連の資料スレ http://rio2016.5ch.net/test/read.cgi/math/1615510393/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
824: 132人目の素数さん [] 2023/02/26(日) 16:13:39.52 ID:ZAlHQVD3 >>823 つづき この考え方は、代数曲線(次元が 2 の多様体)に対しては完全に成り立つ。現代のことばでは、1890年から1910年までの代数幾何学のイタリア学派(英語版)の一つの中心的な結果は、曲面の分類の一部とあわせ、すべての曲面 X は、ある曲線 C が存在して積 P1 × C か、もしくは極小曲面 Y のどちらかに双有理同値である。[2] 2つの場合は互いに排他的であり、Y は存在するとしたら一意である。Y が存在すると、X の極小モデルと呼ばれる。 双有理不変量 詳細は「小平次元」を参照 「双有理不変量」も参照 まず、どのようにして有理的でない代数多様体が存在するかを示す方法が明らかではない。これを証明するためには、代数多様体の何らかの双有理不変量を作ることが必要である。 より高次元の極小モデル 詳細は「極小モデル」を参照 射影多様体 X が極小とは、標準バンドル KX がネフ(英語版)であることを言う。2次元の多様体 X に対し、この定義を滑らかな多様体に対して考えることで充分である。 少なくとも次元が 3 の場合には、KX がうまく振舞うようなあるマイルドな特異点を持つ極小多様体を持つはずである。これらの(特異点のこと)を標準特異点(canonical singularities)という。 すべての多様体 X は有理曲線(rational curve)で被覆されるか、もしくは極小多様体 Y に双有理同値であるろうということを、極小モデル予想と言う。Y が存在するときに、Y を X の 極小モデル という。 極小モデルは少なくとも 3 次元では一意に定まらないが、任意の双有理である 2つの極小多様体は非常に近い存在である。例えば、極小モデルは、少なくとも余次元が 2 の部分集合の外側で同型で、さらに詳しくはフロップ(flops)の列によって関連している。従って、極小モデル予想は、代数多様体の双有理分類について強い情報を与えていることになる。 予想は次元が 3 の場合には、Mori (1988) で証明された。一般次元の問題としては未解決であるが、大きな前進があった。特に、Birkar, Cascini, Hacon と McKernan (2010) は、標数が 0 の体の上の一般型の代数多様体はすべて極小モデルを持つことを証明した。 つづく http://rio2016.5ch.net/test/read.cgi/math/1615510393/824
825: 132人目の素数さん [] 2023/02/26(日) 16:14:04.23 ID:ZAlHQVD3 >>824 つづき <一般型の説明> https://ja.wikipedia.org/wiki/%E5%B0%8F%E5%B9%B3%E6%AC%A1%E5%85%83 代数幾何学では、小平次元 (Kodaira dimension)(標準次元 (canonical dimension) とも呼ばれる) κ(X) で射影多様体 X の標準モデル (canonical model) の大きさを測る。 これを d-標準写像と言う。多様体 X の標準環 R(KX) は次数付き環で 略 である。 脚注の算術種数[1]と幾何種数[2]、不正則数[3]も参照のこと。 任意次元 有理多様体(射影空間に有理同値な多様体)は小平次元 ?∞ である。アーベル多様体(射影的なコンパクト複素トーラス)は小平次元が 0 である。より一般的に、カラビ-ヤウ多様体(次元 1 では楕円曲線、次元 2 ではアーベル曲面やK3曲面であり、有限群でそれらの多様体を割った商)は小平次元が 0 である。次元 1 では楕円曲線が小平次元ゼロであり、次元 2 では複素トーラスとK3曲面が小平次元がゼロである(各々平坦な計量であること、リッチ計量が平坦であることに対応)。 有理曲線により被覆される任意の標数 0 の多様体(P1 からの非定数写像で得られる)を単線織多様体と言い、小平次元 ?∞ を持つ。逆に、極小モデル理論の主予想(アバンダンス予想として有名)は、全ての小平次元が ?∞ の多様体は単線織的ではないだろうかと予想している。この逆問題は、多様体の次元が 3 の場合のみ知られている。 Siu (2002) は全ての滑らかな複素多様体に対し、変形の下での多重種数の不変性を証明した。特に小平次元は、複素構造の連続的な変形に対して不変である。 つづく http://rio2016.5ch.net/test/read.cgi/math/1615510393/825
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
3.101s*