[論文レビュー] Multigraded regularity of complete intersections

Marc Chardin, Navid Nemati|arXiv (Cornell University)|Dec 29, 2020

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

ひとこと要約

本稿は、$\mathbb{P}^n \times \mathbb{P}^m$ 内の0次元完全交差スキームの重層的ホッジ関数に対して明示的な公式を確立し、多くの値が定義する形式の双次数にのみ依存することを示している。多重次数の正則性に対して鋭い上界を提示し、双次数 $(d,e)$ の一般完全交差に対して、ホッジ関数がスキームの次数に安定化することを証明しているが、有限個の双次数を除く。

ABSTRACT

$V$ is a complete intersection scheme in a multiprojective space if it can be defined by an ideal $I$ with as many generators as $ extrm{codim}(V)$. We investigate the multigraded regularity of complete intersections scheme in $\mathbb{P}^n imes \mathbb{P}^m$. We explicitly compute many values of the Hilbert functions of $0$-dimensional complete intersections. We show that these values only depend upon $n,m$, and the bidegrees of the generators of $I$. As a result, we provide a sharp upper bound for the multigraded regularity of $0$-dimensional complete intersections.

研究の動機と目的

• 多射影空間、特に $\mathbb{P}^n \times \mathbb{P}^m$ 内の完全交差スキームの多重次数正則性を理解すること。
• 0次元完全交差のホモロジー的不変量のうち、定義する形式の双次数にのみ依存するものを探ること。
• このようなスキームの重層的ホッジ関数の明示的値を計算し、それらの値が形式の具体的な選択に依存しない領域を同定すること。
• 0次元の場合の多重次数正則性に対する鋭い上界を確立すること。
• 一般完全交差の双次数 $(d,e)$ に対して、ホッジ関数がスキームの次数に安定化することを証明すること。

提案手法

• 著者たちは、無関係イデアル $B = B_1 \cdot B_2$ に関する局所コホホロジー・モジュールを用いて、重層的設定における多重次数正則性を定義する。
• 座標環の構造を分析するために、最小自由分解と次数付きベティ数を用いる。
• ホッジ関数における双対性の性質を活用し、形式の選択に依存しない $\mathbb{N}^2$ の特定の領域における値を計算する。
• 代数幾何と可換代数の結果、特に一般性の議論と次元論を用いて、完全交差の普遍族のファイバー構造を分析する。
• 局所化とヤコビアン型の議論を用いて、普遍族から $\mathbb{P}^n$ および $\mathbb{P}^m$ への自然な射影が、余りの開集合上で同型であることを示す。
• 部分導関数とヤコビアンの零でない小行列式での局所化を用いた逆写像の構成により、射影写像の有理同型性を証明する。

実験結果

リサーチクエスチョン

• RQ1 0次元完全交差の重層的ホッジ関数のどの値が定義する形式の選択に依存せず、その双次数にのみ依存するか？
• RQ2 0次元完全交差の多重次数正則性に対して鋭い上界を $\mathbb{P}^n \times \mathbb{P}^m$ 内で確立できるか？
• RQ3 双次数 $(d,e)$ の一般完全交差のホッジ関数の構造は何か？ そしてどのように安定化するか？
• RQ4 完全交差点の多射影空間におけるホッジ関数値に、双対性の性質はどのように現れるか？
• RQ5 完全交差の普遍族から $\mathbb{P}^n$ もしくは $\mathbb{P}^m$ への自然な射影が、余りの開部分集合上で同型となる条件は何か？

主な発見

• 与えられた双次数の形式によって定義される $\mathbb{P}^n \times \mathbb{P}^m$ 内の0次元完全交差に対して、ホッジ関数の多くの値は形式の具体的な選択に依存せず、$n$, $m$, および双次数にのみ依存する。
• 特定の領域におけるホッジ関数の値は双対性を示し、対称的または補完的な双次数によって決定される。
• 本稿は、$\mathbb{P}^n \times \mathbb{P}^m$ 内の0次元完全交差の多重次数正則性に対して、定義する形式の双次数にのみ依存する鋭い上界を提供する。
• 双次数 $(d,e)$ の一般完全交差に対して、十分に大きな双次数ではホッジ関数がスキームの次数に安定化し、有限個の例外を除いて成り立つ。
• 完全交差の普遍族から $\mathbb{P}^n$ および $\mathbb{P}^m$ への自然な射影は、余りの開部分集合上で同型であり、これはファイバーが非特異的で、スキームが一般に滑らかであることを示唆する。
• 著者たちは、非ゼロの部分導関数での局所化を用いて、普遍族から $\mathbb{P}^n$ への射影写像が余りの開部分集合上で有理同型であることを証明し、明示的な逆写像を構成する。