[論文レビュー] Degree of rational maps via specialization

Yairon Cid‐Ruiz, Aron Simis|arXiv (Cornell University)|Jan 19, 2019

Commutative Algebra and Its Applications参考文献 32被引用数 6

ひとこと要約

本稿は、多項式環における係数の専用化の下で、射影スキーム間の有理写像の次数が不変となる条件を確立する。ネーター的整域上での相対的ファイバー環およびリース代数の理論を発展させることで、写像の次数とその像が一般の専用化の下で保存されることを証明し、特にゴレンシュタインイデアルおよびj-多重度不変量への応用が重要である。

ABSTRACT

One considers the behavior of the degree of a rational map under specialization of the coefficients of the defining linear system. The method rests on the classical idea of Kronecker as applied to the context of projective schemes and their specializations. For the theory to work one is led to develop the details of rational maps and their graphs when the ground ring of coefficients is a Noetherian integral domain.

研究の動機と目的

• 多項式環における係数の専用化の下で、有理写像の次数がどのように変化するかを理解すること。
• 体上の古典的結果を一般化するため、ネーター的整域上での有理写像の厳密な代数的枠組みを構築すること。
• ファイバー環および飽和ファイバー環の理論を相対的設定に拡張し、それらが有理写像の幾何的性質とどのように関連するかを明らかにすること。
• 有理写像の次数およびその像が専用化の下で一定のままである条件を確立すること。
• 特にゴレンシュタインイデアルのコドメイン3およびj-多重度不変量の具体例にこの枠組みを適用すること。

提案手法

• ネーター的整域上での射影的スキームに適応したクロネッカーの専用化原理を用いる。
• 幾何的像およびその次数の代数的類似物として、相対的ファイバー環および飽和ファイバー環を導入する。
• 双次数モジュール理論および局所コホホロジーの技術を用いて、各次元成分の次元を評価する。
• 一般の行列式環およびパフリアンイデアルを用いて、制御された基本イデアルを持つ有理写像をモデル化する。
• リース代数および関連する順次環を用いて、有理写像のグラフおよび像を代数的に記述する。
• j-多重度をイデアルの複雑さの尺度として用い、一般の専用化の下での不変性を示す。

実験結果

リサーチクエスチョン

• RQ1 有理写像の定義に用いられる線形系の係数を専用化するとき、その次数が保存される条件は何か？
• RQ2 体上の古典的有理写像理論を、ネーター的整域上に定義された写像に一般化するにはどうすればよいか？
• RQ3 相対的ファイバー環および飽和ファイバー環は、有理写像の次数および双有理性を制御するために果たす役割は何か？
• RQ4 イデアルのj-多重度は、一般の係数専用化の下でも不変であるか？
• RQ5 コドメイン3のゴレンシュタイン基本イデアルによって定義される有理写像が、次数Drに等しくなるための十分条件は何か？

主な発見

• 基本イデアルの解析的スプロードが最大であるとき、有理写像の次数およびその像の次数は一般の係数専用化の下で不変である。
• 高さ3で次数Dの形式からなるゴレンシュタイン基本イデアルによって定義される有理写像の次数はDrで有界であり、イデアルがGr+1条件を満たす場合にはその値がDrに等しくなる。
• 解析的スプロードが最大である限り、イデアルのj-多重度は一般の係数専用化の下で不変である。
• 飽和ファイバー環は相対的ファイバー環を部分代数として含み、その多重度は写像の次数と像の次数の積に等しい。
• 一般の交代行列のパフリアンによって誘導される有理写像は一般に有限であり、その次数はDrで有界である。
• 本理論は、任意のネーター的整域上でのリース代数およびファイバー環を用いた次数不変性の統一的枠組みを提供し、古典的結果を拡張する。