[go: up one dir, main page]

代数幾何学において,代数閉体 k 上の射影多様体(しゃえいたようたい,英: projective variety)とは,k 上の(n 次元)射影空間 Pn の部分集合であって,素イデアルを生成する k 係数 n + 1 変数斉次多項式の有限族の零点集合として書けるものをいう.そのようなイデアルは多様体の定義イデアルと呼ばれる.あるいは同じことだが,代数多様体が射影的であるとは,Pn のザリスキ閉として埋め込めるときにいう. 1次元の射影多様体は射影曲線と呼ばれ,2次元だと射影曲面,余次元 1 だと射影超曲面と呼ばれる.射影超曲面は単独の斉次式の零点集合である. 射影多様体 X が斉次素イデアル I によって定義されているとき,商環 は X の斉次座標環と呼ばれる.やのような基本的な不変量は,この次数環のヒルベルト多項式から読み取ることができる. 射影多様体は多くの方法で生じる.それらはであり,荒っぽく言えば「抜けている」点がない.逆は一般には正しくないが,はこの2つの概念の近い関係を記述する.多様体が射影的であることは直線束や因子を調べることによって示される.

Property Value
dbo:abstract
  • 代数幾何学において,代数閉体 k 上の射影多様体(しゃえいたようたい,英: projective variety)とは,k 上の(n 次元)射影空間 Pn の部分集合であって,素イデアルを生成する k 係数 n + 1 変数斉次多項式の有限族の零点集合として書けるものをいう.そのようなイデアルは多様体の定義イデアルと呼ばれる.あるいは同じことだが,代数多様体が射影的であるとは,Pn のザリスキ閉として埋め込めるときにいう. 1次元の射影多様体は射影曲線と呼ばれ,2次元だと射影曲面,余次元 1 だと射影超曲面と呼ばれる.射影超曲面は単独の斉次式の零点集合である. 射影多様体 X が斉次素イデアル I によって定義されているとき,商環 は X の斉次座標環と呼ばれる.やのような基本的な不変量は,この次数環のヒルベルト多項式から読み取ることができる. 射影多様体は多くの方法で生じる.それらはであり,荒っぽく言えば「抜けている」点がない.逆は一般には正しくないが,はこの2つの概念の近い関係を記述する.多様体が射影的であることは直線束や因子を調べることによって示される. 射影多様体の顕著な性質の1つは,層コホモロジーの有限性である.滑らかな射影多様体に対して,セール双対性はポワンカレ双対性の類似と見なせる.それはまた射影曲線,すなわち 1 の射影多様体に対するリーマン・ロッホの定理を導く.射影曲線の理論は特に豊かで,曲線のによる分類を含む.高次元の射影多様体の分類問題は自然に射影多様体のモジュライの構成を導く.ヒルベルトスキームは所定のヒルベルト多項式をもつ Pn の閉部分スキームをパラメトライズする.ヒルベルトスキームは,は特別な場合であるが,それ自身射影スキームでもある.幾何学的不変式論は別のアプローチを提供する.古典的なアプローチはやを含む. 古典にさかのぼる特に豊かな理論が,複素射影多様体,すなわち X を定義する多項式が複素係数を持つ場合にある.大まかには,GAGA の原理により,射影複素解析空間(あるいは多様体)の幾何学は射影複素多様体の幾何学と等しい.例えば,X 上の正則ベクトル束(より一般に連接解析的層)の理論は,代数的ベクトル束の理論と一致する.Chow の定理により,射影空間の部分集合が正則関数の族の零点集合であることと斉次多項式の零点集合であることは同値である.複素射影多様体に対する解析的な手法と代数的な手法の組合せはホッジ理論のような分野に通じる. (ja)
  • 代数幾何学において,代数閉体 k 上の射影多様体(しゃえいたようたい,英: projective variety)とは,k 上の(n 次元)射影空間 Pn の部分集合であって,素イデアルを生成する k 係数 n + 1 変数斉次多項式の有限族の零点集合として書けるものをいう.そのようなイデアルは多様体の定義イデアルと呼ばれる.あるいは同じことだが,代数多様体が射影的であるとは,Pn のザリスキ閉として埋め込めるときにいう. 1次元の射影多様体は射影曲線と呼ばれ,2次元だと射影曲面,余次元 1 だと射影超曲面と呼ばれる.射影超曲面は単独の斉次式の零点集合である. 射影多様体 X が斉次素イデアル I によって定義されているとき,商環 は X の斉次座標環と呼ばれる.やのような基本的な不変量は,この次数環のヒルベルト多項式から読み取ることができる. 射影多様体は多くの方法で生じる.それらはであり,荒っぽく言えば「抜けている」点がない.逆は一般には正しくないが,はこの2つの概念の近い関係を記述する.多様体が射影的であることは直線束や因子を調べることによって示される. 射影多様体の顕著な性質の1つは,層コホモロジーの有限性である.滑らかな射影多様体に対して,セール双対性はポワンカレ双対性の類似と見なせる.それはまた射影曲線,すなわち 1 の射影多様体に対するリーマン・ロッホの定理を導く.射影曲線の理論は特に豊かで,曲線のによる分類を含む.高次元の射影多様体の分類問題は自然に射影多様体のモジュライの構成を導く.ヒルベルトスキームは所定のヒルベルト多項式をもつ Pn の閉部分スキームをパラメトライズする.ヒルベルトスキームは,は特別な場合であるが,それ自身射影スキームでもある.幾何学的不変式論は別のアプローチを提供する.古典的なアプローチはやを含む. 古典にさかのぼる特に豊かな理論が,複素射影多様体,すなわち X を定義する多項式が複素係数を持つ場合にある.大まかには,GAGA の原理により,射影複素解析空間(あるいは多様体)の幾何学は射影複素多様体の幾何学と等しい.例えば,X 上の正則ベクトル束(より一般に連接解析的層)の理論は,代数的ベクトル束の理論と一致する.Chow の定理により,射影空間の部分集合が正則関数の族の零点集合であることと斉次多項式の零点集合であることは同値である.複素射影多様体に対する解析的な手法と代数的な手法の組合せはホッジ理論のような分野に通じる. (ja)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 3012007 (xsd:integer)
dbo:wikiPageLength
  • 30245 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 90171266 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 代数幾何学において,代数閉体 k 上の射影多様体(しゃえいたようたい,英: projective variety)とは,k 上の(n 次元)射影空間 Pn の部分集合であって,素イデアルを生成する k 係数 n + 1 変数斉次多項式の有限族の零点集合として書けるものをいう.そのようなイデアルは多様体の定義イデアルと呼ばれる.あるいは同じことだが,代数多様体が射影的であるとは,Pn のザリスキ閉として埋め込めるときにいう. 1次元の射影多様体は射影曲線と呼ばれ,2次元だと射影曲面,余次元 1 だと射影超曲面と呼ばれる.射影超曲面は単独の斉次式の零点集合である. 射影多様体 X が斉次素イデアル I によって定義されているとき,商環 は X の斉次座標環と呼ばれる.やのような基本的な不変量は,この次数環のヒルベルト多項式から読み取ることができる. 射影多様体は多くの方法で生じる.それらはであり,荒っぽく言えば「抜けている」点がない.逆は一般には正しくないが,はこの2つの概念の近い関係を記述する.多様体が射影的であることは直線束や因子を調べることによって示される. (ja)
  • 代数幾何学において,代数閉体 k 上の射影多様体(しゃえいたようたい,英: projective variety)とは,k 上の(n 次元)射影空間 Pn の部分集合であって,素イデアルを生成する k 係数 n + 1 変数斉次多項式の有限族の零点集合として書けるものをいう.そのようなイデアルは多様体の定義イデアルと呼ばれる.あるいは同じことだが,代数多様体が射影的であるとは,Pn のザリスキ閉として埋め込めるときにいう. 1次元の射影多様体は射影曲線と呼ばれ,2次元だと射影曲面,余次元 1 だと射影超曲面と呼ばれる.射影超曲面は単独の斉次式の零点集合である. 射影多様体 X が斉次素イデアル I によって定義されているとき,商環 は X の斉次座標環と呼ばれる.やのような基本的な不変量は,この次数環のヒルベルト多項式から読み取ることができる. 射影多様体は多くの方法で生じる.それらはであり,荒っぽく言えば「抜けている」点がない.逆は一般には正しくないが,はこの2つの概念の近い関係を記述する.多様体が射影的であることは直線束や因子を調べることによって示される. (ja)
rdfs:label
  • 射影多様体 (ja)
  • 射影多様体 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of