[論文レビュー] Exterior algebra methods for the Minimal Resolution Conjecture

David Eisenbud, Sorin Popescu+2 more|ArXiv.org|Nov 28, 2000

Advanced Numerical Analysis Techniques被引用数 4

ひとこと要約

本稿では、r ≥ 6 かつ r ≠ 9 のとき、一般の γ 点の集合に対して Minimal Resolution Conjecture が成立しないことを確立し、外積代数的手法を用いて、r あたり約 √2 − 1√r 個の反例を同定することで、以前の結果を拡張している。著者らは、元々の証明における複雑な退化論法を、1-一般性と BGG 対応に基づく基準に置き換えることで、線形複体の冗長性の確認をより単純化した。この手法により、d ≥ 3g − 2 かつ g ≥ 4 を満たす線形正規曲線に対しても、MRC の失敗を再現・再証明できる。

ABSTRACT

If r\geq 6, r eq 9, we show that the Minimal Resolution Conjecture fails for a general set of m points in P^r for almost 1/2\sqrt r values of m. This strengthens the result of Eisenbud and Popescu [1999], who found a unique such m for each r in the given range. Our proof begins like a variation of that of Eisenbud and Popescu, but uses exterior algebra methods as explained by Eisenbud and Schreyer [2000] to avoid the degeneration arguments that were the most difficult part of the Eisenbud-Popescu proof. Analogous techniques show that the Minimal Resolution Conjecture fails for linearly normal curves of degree d and genus g when d\geq 3g-2, g\geq 4, reproving results of Schreyer, Green, and Lazarsfeld.

研究の動機と目的

• Eisenbud と Popescu が以前に発見した唯一の γ 値を超えて、Minimal Resolution Conjecture の既知の反例を拡張すること。
• 元の証明で用いられた複雑な退化論法を、外積代数と 1-一般性に基づくより直接的な基準に置き換えること。
• r ≥ 6 かつ r ≠ 9 のとき、一般の Pr 内の点の集合に対して MRC の失敗が孤立した現象ではなく、多数の γ 値で生じることを示すこと。
• 同じ手法を用いて、次数 d ≥ 3g − 2 かつ genus g ≥ 4 の線形正規曲線に対する MRC の失敗を再確認・再証明すること。

提案手法

• Pr 内の点の集合と Ps 内の点の集合の間のガレー双対性を用い、それらのイデアルの分解を関連付ける。
• Bernstein-Gel’fand-Gel’fand (BGG) 対応を用いて、線形自由複体の冗長性を研究する。
• 外積代数的手法を用い、正則モジュール内の乗法写像の 1-一般性に基づいて、複体写像 φΓ の単射性に関する基準を導出する。
• 一般の点の集合のコーンにおける乗法写像の 1-一般性に関する Kreuzer の結果を用い、退化を避けながら、鍵となる条件を検証する。
• 曲線への応用においては、H0(ωC) と H0(L ⊗ ω−1C) 間の幾何学的 1-一般ペアリングを構築し、その複体の冗長でない商が分解に単射に埋め込まれることを示す。
• その結果、Betti 数の不等式が MRC における予想値を満たさず、失敗が証明される。

実験結果

リサーチクエスチョン

• RQ1 r ≥ 6 かつ r ≠ 9 のとき、Pr 内の一般の点の集合に対して Minimal Resolution Conjecture が複数の γ 値で失敗するか？
• RQ2 Eisenbud と Popescu の証明で用いられた退化論法は、より直接的な代数的基準に置き換え可能か？
• RQ3 r ≥ 6 かつ r ≠ 9 のとき、一般の点の集合に対して MRC が失敗する γ の範囲は何か？
• RQ4 同じ手法を用いて、次数 d と genus g の線形正規曲線に対する MRC の失敗を証明できるか？
• RQ5 線形複体の最大の冗長でない商が分解に単射に埋め込まれる正確な条件は何か？ そしてこれは Betti 数の違反とどのように関係するか？

主な発見

• r ≥ 6 かつ r ≠ 9 のとき、Pr 内の一般の γ 点の集合に対して Minimal Resolution Conjecture は失敗し、r + 2 + √(r + 2) ≤ γ ≤ r + (3 + √(8r + 1))/2 の範囲で、r あたり約 (√2 − 1)√r 個の反例が得られる。
• r あたりの反例の数は、Eisenbud と Popescu が以前に発見した唯一の γ 値よりも顕著に多い。
• 外積代数と 1-一般性に基づく基準を用いることで、退化論法を避け、冗長性の確認を単純化した。
• 次数 d ≥ 3g − 2 かつ genus g ≥ 4 の線形正規曲線に対し、MRC の失敗が同様の手法でうまく再現され、d = 3g − 2 の場合も含めて成立する。
• d ≥ g² − g + 1 の場合、失敗は βd−2g+1,d−2g+2 > 1 に起因し、1-一般ペアリングから得られる Eagon-Northcott 複体によって検出される。
• 本稿は、Boij の例である P15 内の 21 点が反例であることを確認した。これは、元の Eisenbud-Popescu のリストに含まれていなかった。