Cohomology Vanishing, Koszul Cohomology and Multigraded Regularity on Projective Varieties

技術要約：射影多様体におけるコホモロジーの消滅、コッシュ・コホモロジー、および多重次数正規性

問題提起
本論文は、任意の射影多様体上の、大域生成される線束に関連する切断環の極小自由分解の構造について扱っている。具体的には、線束 $L$ によって定義される射 morphism による多様体の像のシジジー（syzygies）を符号化する、コッシュ・コホモロジー群 $K_{p,q}(X; F, L)$ の消滅について調査している。中心となる課題は、初期の線形ストランド（性質 $(N_p)$）と、終端の重み1のシジジー（性質 $(M_q)$）の両方を網羅するように、分解全体にわたる有効な消滅基準を確立することである。単一次数設定（例：射影空間）や特定のクラスの多様体については顕著な進展が見られるものの、射影空間の任意の積や一般的な多様体における多重次数設定のための統一的な枠組みは、依然として不完全なままである。

手法
著者は、多重次数 Castelnuovo–Mumford 正規性に基づいた枠組みを開発している。その手法は、以下の技術的なステップを通じて進行する：

1. 多重次数正規性の定義: 本論文では、大域生成される線束の集合 $B_1, \dots, B_t$ に関する正規性の定義を利用する。連接層 $F$ は、$i > 0$ かつ $|\vec{u}| = i$ であるすべての $\vec{u} \in \mathbb{N}^t$ に対して $H^i(X, F \otimes E \otimes B^{-\vec{u}}) = 0$ であるとき、$E$-regular であると定義される。
2. 積の上での明示的な計算: 著者はまず、任意の射影空間の積 $X = \mathbb{P}^{m_1} \times \dots \times \mathbb{P}^{m_n}$ 上の線束に対する最小多重次数正規性ベクトルを計算する。これには、クネス（Künneth）公式とセールの双対性を用いた組合せ論的な解析が含まれ、最小の正規性ベクトルが因子の置換によってインデックス付けされることが明らかになる。
3. 構成要素と補題: コアとなる技術的メカニズムは、シジジー束（$M_L$）とのテンソル積の下での多重次数正規性の挙動を確立する一連の補題である。主な結果は以下の通りである：
   • 正規性補題 IV: $F$ が $B^{\vec{m}-\vec{e}_j}$-regular であれば、$M_L \otimes F$ は $B^{\vec{m}}$-regular であることを示す。
   • 反復正規性: 複数のシジジー束とのテンソル積が、正規性ベクトルを対角ベクトル $\vec{\delta} = (1, \dots, 1)$ だけシフトさせることを証明する。
4. 一般的な消滅定理: これらの正規性シフトをシジジー束の評価列と組み合わせることにより、著者はベクトル束によってツイストされたシジジー束のテンソル積に関する一般的なコホモロジー消滅定理を導出する。
5. コッシュ・コホモロジーへの適用: シジジー束を含む特定のコホモロジー群の消滅は、これらの群と外積シジジー束のコホモロジーとの標準的な識別を通じて、コッシュ・コホモロジー群 $K_{p,q}$ の消滅に直接結び付けられる。

主要な貢献と結果

1. 一般コホモロジー消滅定理 (Theorem 1.5/7.1): 本論文は、$H^i(M_{L_1} \otimes \dots \otimes M_{L_{k+1}} \otimes F \otimes B^{\vec{m}_k})$ に関する一般的な消滅定理を証明している。これは、様々なシジジー消滅の結果が従う統一的なメカニズムとして機能する。
2. コッシュ・コホモロジーの階層: $K_{p,q}(X, F; L)$ の消滅に関する自然な階層の導出が中心的な結果である。本論文は、固定されたホモロジー段階 $p$ に対して、消滅に必要な正値性は重み $q$ が増加するにつれて減少することを確立している。これは以下の条件によって定式化される：
   $$(q-1)\vec{w} \geq \vec{m} + (p-1)\vec{\delta}$$
   ここで $\vec{w}$ は線束 $L = B^{\vec{w}}$ を定義し、$\vec{m}$ は $F$ の正規性に関連する。これにより、消滅領域が $q$ の増加とともに拡大し、$p$ の増加とともに縮小するという「$K_{p,q}$-階層」が作成される。
3. 性質 $(N_p)$ および $(M_q)$ の基準:
   • $(N_p)$: 本論文は、性質 $(N_p)$（開始部における線形分解）に対する多重次数の基準を提供する。これは Hering–Schenck–Smith の定理を回収かつ一般化するものであり、もし $L = B^{\vec{w}}$ かつ $\vec{w} \geq \vec{m} + (p-1)\vec{\delta}$ ならば、$L$ は $(N_p)$ を満たすことを示している。
   • $(M_q)$: 本論文は、Basu による先行研究を拡張し、性質 $(M_q)$（末尾における重み1のシジジーの消滅）の基準を導出している。条件は、有理特異点を持つ多様体に対して $(n-1)\vec{w} \geq \vec{m} + (q-n-1)\vec{\delta}$ と与えられる。
4. 射影空間の積における最小正規性: 定理 1.4 は、$\mathbb{P}^{m_1} \times \dots \times \mathbb{P}^{m_n}$ 上の最小多重次数正規性の完全な記述を提供し、因子の置換によってインデックス付けされた正確に $n!$ 個の最小正規性ベクトルが存在することを示している。
5. Green の定理の回収: 本論文は、Mark Green の射影空間に対する古典的な消滅定理が、多重次数基準の直接的な特殊化であることを示し、表現論ではなく正規性に基づく代替的な証明を提示している。
6. 鋭さと最適性: 著者は、以下の例を用いてこれらの境界の鋭さを確立している：
   • ハイパー楕円曲線（標準的な双対性を用いて標準的な像の Betti 表を計算する）。
   • $\mathbb{P}^2$ の Veronese 埋め込み。
   • 射影空間の積（例：$\mathbb{P}^1 \times \mathbb{P}^1$）、これらは曲線の共線性系における変種（gonality）に関連付けられている。
   • Gallego–Purnaprajna の結果との比較。多重次数的なアプローチが、特定の Fano 多様体に対して実質的に強い境界を与えることを示している。

意義
本論文は、任意の射影多様体におけるシジジー理論のための統一的な枠組みを提供することで、その意義を主張している。多重次数正規性を利用することで、初期の線形ストランド（$(N_p)$）の研究と終端のシジジー（$(M_q)$）の研究との間の溝を埋めている。本研究は、単一次数設定から射影空間の積や、自明または特定の標準束を持つ多様体へと、Hering–Schenck–Smith、Gallego–Purnaprajna、および Basu の先行研究を一般化するものである。

$K_{p,q}$-階層の導入は、消滅条件をパラメータ空間における傾きとして解釈する新しい幾何学的視点を提供し、それによって重みの増加に伴い正値性の要求がいかに緩和されるかの理解を簡素化している。さらに、射影空間の積における最小正規性ベクトルの明示的な計算は、多重次数設定においてこれまで欠けていた、シジジーの境界を決定するための具体的な計算ツールを提供する。本論文は、これらの結果が既存の定理を一般化するだけでなく、Calabi–Yau 多様体や射影空間の積のような特定のケースにおいて、より鋭い境界を提供することを結論付けている。