[論文レビュー] Irrational Hilbert-Kunz multiplicities

Holger Brenner|arXiv (Cornell University)|May 25, 2013

Algebraic Geometry and Number Theory参考文献 40被引用数 15

ひとこと要約

この論文は、射影多様体上のベクトルバンドルコホロジーのフロベニウス漸近挙動を用いて、3次元の四次超曲面領域および有限体上のアートンィアン加群について、そのヒルベルト＝クンツ多重度が無理数であることを確立している。ヒルベルト＝クンツ理論をラインバンドルおよびネロン＝セベリ群の幾何学と結びつけることで、局所ネーター環において無理数のヒルベルト＝クンツ多重度が生じうることを証明し、モンスキーの長年の予想を否定的に解決した。

ABSTRACT

We interpret Hilbert-Kunz theory of a graded ring of positive characteristic in terms of Frobenius asymptotic of cohomology of vector bundles on projective varieties. With this method we show that for almost all prime numbers there exist three-dimensional quartic hypersurface domains and modules of finite length with irrational Hilbert-Kunz multiplicity. From this we deduce that also the Hilbert-Kunz multiplicity of a local noetherian domain might be an irrational number.

研究の動機と目的

• 局所ネーター環におけるヒルベルト＝クンツ多重度が無理数になり得るかどうかを解明すること。
• コホロロジー的および幾何的アプローチを用いて、ヒルベルト＝クンツ理論を2次元のグレーデッド環の範囲を超えて拡張すること。
• フロベニウスプルバックの漸近的挙動から無理数の多重度が生じることを示すこと。
• K3曲面の幾何学およびネロン＝セベリコーンを用いて、無理数のヒルベルト＝クンツ多重度を持つ局所環の具体的な例を構成すること。

提案手法

• 射影多様体上でのフロベニウスプルバック下での層コホロジー次元の極限へのヒルベルト＝クンツ多重度の写像。
• ラインバンドルの交差挙動を解析するためのネロン＝セベリ群およびその実線形化の使用。
• アンピールおよび有効コーンの凸幾何学を応用して、コホロロジー的極限における無理数境界を同定すること。
• 特異点を1つもつP^3内の超曲面から得られるグレーデッド環の構成と、そのフロベニウス漸近挙動の分析。
• スペクトル系列の議論により、シンジージバンドルおよびそのフロベニウスプルバックのコホロジーへの問題の還元。
• K3曲面および無理数のネロン＝セベリ群実現に関する結果を活用し、無理数のコホロロジー的極限を生成すること。

実験結果

リサーチクエスチョン

• RQ1 局所ネーター環のヒルベルト＝クンツ多重度は無理数になり得るか？
• RQ2 3次元グレーデッド環または正標数体上のアートンィアン加群において、無理数の多重度が生じるか？
• RQ3 ラインバンドルの幾何学およびそのフロベニウスプルバックが、高次元における無理数のコホロロジー的極限を生じうるか？
• RQ4 ネロン＝セベリコーンにおける無理数境界とヒルベルト＝クンツ多重度の無理数性との間に相関があるか？
• RQ5 射影多様体上のベクトルバンドルのフロベニウス漸近挙動が、無理数のヒルベルト＝クンツ多重度を生じうるか？

主な発見

• 本論文は、有限体上に存在する3次元の四次超曲面領域のヒルベルト＝クンツ多重度が無理数であることを構成した。
• 同様の環上に無理数のヒルベルト＝クンツ多重度を持つアートンィアン加群が存在することを証明した。
• 無理数性は、K3曲面上のトップシンジージバンドルのフロベニウスプルバックの漸近的コホロジーから生じる。
• 著者らは、局所ネーター環のヒルベルト＝クンツ多重度が無理数になり得ることを示し、モンスキーの予想を否定的に解決した。
• この構成は、ザリスキ分解をもたない除数を用いて実現されたK3曲面のネロン＝セベリ群における無理数境界に依存している。
• ヒルベルト＝クンツ多重度が有理数倍のスケーリングを保つ完備化および商構成を用いた還元により、結果が導かれた。