代数幾何の問題
の点を と書く。 について 次、 について 次の単項式
は全部で 個ある。これらを(適当な順に並べて)斉次座標とする写像
の像を とする( は射影多様体である)。 の斉次イデアルを (各 の次数は )とするとき、 のヒルベルト多項式 、すなわち十分大きい整数 に対して と一致する の多項式を求めよ。
この問題で使うもの
- 射影多様体のヒルベルト多項式(説明と入口の問題)
この問題を解けるようになるまで(44 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 三角形の角の大きさ
- 対頂角と平行線の同位角・錯角
- 三角形の外角と角の組み合わせ
- 小数の四則計算
- 分数のたし算・ひき算
- 分数のかけ算・わり算
- 小数と分数のまじった計算
- 逆算(□ を求める)
- 正負の数の加法・減法
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 1 次方程式の解き方
- 二等辺三角形の角
- 平行四辺形と特別な四角形の性質
- 三角形・四角形の面積
- 約数の見つけ方
- 素因数分解と約数の個数
- 平方根の意味と根号の簡単化
- 三平方の定理
- 乗法公式による展開
- 折り返した図形の角と長さ
- 三平方の定理と平面図形
- ベクトルの演算と成分
- 行列の和・積と 2 次の逆行列
- 掃き出し法と連立 1 次方程式
- 行列の階数と解の存在
- ベクトル空間・一次独立・基底・次元
- 円の周の長さと面積
- おうぎ形の弧の長さと面積
- 弧の長さからおうぎ形の中心角と面積を求める
- 特別な直角三角形の辺の比
- 弧度法と単位円による三角関数
- 加法定理と 2 倍角・半角・積和の公式
- 線形変換と行列
- 核と像と次元定理
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 順列・円順列・重複順列
- 組合せ
- 同じものを含む順列・重複組合せ
- 射影多様体のヒルベルト多項式
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
の斉次座標環 は、 を対応する単項式に送る環準同型 の像と同型である。
ヒント 2
像の 次部分は、双次数 の単項式のうち、 個の単項式の 個の積で書けるもので張られる。実は双次数 の単項式はすべてそう書ける。
ヒント 3
は、 の 次単項式の個数と の 次単項式の個数の積である。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
多項式環 を考え、環準同型
を定める。 の斉次多項式 が 上で になることと、 が のすべての点で 、すなわち であることは同値である。よって であり、
を求める。 は、 個の単項式から重複を許して 個選んだ積で張られ、それらはすべて について 次、 について 次(双次数 )の単項式である。逆に、双次数 の任意の単項式 は、 の部分を次数 の単項式 個の積に、 の部分を次数 の単項式 個の積に分けられる(例えば , と書き、 を 個、 を 個( のとき)、残りを とすればよい。 も同様)。したがってこれは 個の単項式の 個の積になる。よって は双次数 の単項式全体で張られ、
( の 次単項式は 個、 の 次単項式は 個。)
これはすべての で多項式に一致するので、ヒルベルト多項式は
(参考: 最高次の係数 より は次数 の曲面である。これは直線束 の自己交点数 と一致する。定数項 は に対応する。)
別解
は の完備線形系( の基底が 12 個の単項式)による埋め込み(Segre-Veronese 埋め込み)であり、。像 は射影正規(完備線形系による埋め込みで、 上の 型の切断環が積で生成されるため、 は全射)。したがって であり、
(全射性の確認: の像は について 次、 について 次の単項式の 個の積全体の張る空間で、これは次数 の単項式すべてを含む。実際、 は 次単項式の積として 個の で , と書け、 側も , と独立に選べる。)
検算: で は座標の個数と一致。 で 。次数は で主係数 と一致()。
答え: 。