[論文レビュー] Characterizing Multigraded Regularity and Virtual Resolutions on Products of Projective Spaces

Juliette Bruce, Lauren Cranton Heller+1 more|arXiv (Cornell University)|Oct 20, 2021

Commutative Algebra and Its Applications被引用数 5

ひとこと要約

本稿は、切断の擬線形分解を用いて、射影空間の積上の多重次数付きCastelnuovo–Mumford正則性の特徴づけを確立する。モジュールがd-正則であることと、その切断M≥dが次数dで生成される擬線形分解をもつことは同値であり、かつ、先行研究における仮想分解がこのような切断の最小自由分解に丁度一致することを示し、正則性の判定にコホロロジーを用いない基準を提示する。

ABSTRACT

We explore the relationship between multigraded Castelnuovo--Mumford regularity, truncations, Betti numbers, and virtual resolutions on a product of projective spaces $X$. After proving a uniqueness theorem for certain minimal virtual resolutions, we show that the multigraded regularity region of a module $M$ is determined by the minimal graded free resolutions of the truncations $M_{\geq\mathbf d}$ for $\mathbf d\in\operatorname{Pic} X$. Further, by relating the minimal graded free resolutions of $M$ and $M_{\geq\mathbf d}$ we provide a new bound on multigraded regularity of $M$ in terms of its Betti numbers. Using this characterization of regularity and this bound we also compute the multigraded Castelnuovo--Mumford regularity for a wide class of complete intersections in products of projective spaces.

研究の動機と目的

• 射影空間の積上での多重量正則性、切断、Betti数、および仮想分解の関係を明確化すること。
• Eisenbud–Gotoの正則性と線形分解の同値性を、線形性の代わりに擬線形性に置き換えた多重量設定への拡張を行うこと。
• Berkesch–Erman–Smithの意味での仮想分解の一意性定理を証明し、それが切断M≥dの最小自由分解と一致することを示すこと。
• コホロロジー計算を一切用いずに、ある次数dがモジュールの正則性領域に属するかどうかを決定する計算可能な基準を提供すること。
• 新しい特徴づけを用いて、射影空間の積における広範な完全交差の多重量正則性を計算すること。

提案手法

• 自由分解の多重量付きの擬線形性の概念を導入・形式化し、これはホモロジー次数に対するねじれベクトルの正成分の和の上限によって定義される。
• ˇCech–Koszulスペクトル系列を用いて、M≥dのBetti数とfM(d)のフーリエ–ムカイ変換のコホロロジーを関係づける。恒等式：dimk TorS_j(M≥d, k)d+a = h|a|−j(Pn, fM(d) ⊗ Ωa_Pn(a)) for |a| ≥ j ≥ 0。
• Beilinsonスペクトル系列におけるコホロロジー的消失を用いて、Mのd-正則性がM≥dの分解の擬線形性を示す。
• 逆を証明する：M≥dが擬線形分解をもつならば、余核はd-正則である。第4.2節におけるHi_B(S)の明示的計算を用いる。
• Pn上の完全な強例外的コレクションの自己準同型代数Aに対して、Db(Pn)とD^b(mod−A)の間のBondalの同値を用いて、仮想分解の一意性を証明する。
• Beilinsonの対角の分解と関連するスペクトル系列を用いて、仮想分解の構造とそのBetti数を構成・分析する。

実験結果

リサーチクエスチョン

• RQ1 射影空間の積上での古典的な正則性と線形分解の同値性は、どのように多重量設定に一般化できるか？
• RQ2 多重量設定下で、仮想分解と切断M≥dの最小自由分解の間の正確な関係は何か？
• RQ3 コホロロジー計算を一切用いずに、Betti数と分解構造のみを用いて多重量正則性を特徴づけられるか？
• RQ4 d-正則なモジュールの切断M≥dが擬線形分解をもつための条件は何か？
• RQ5 Berkesch–Erman–Smithの意味での仮想分解の構造と一意性は、射影空間の積上でどのように特徴づけられるか？

主な発見

• H^0_B(M) = 0 を満たす有限生成なZr-次数付きS-加群Mは、d-正則であるための必要十分条件として、その切断M≥dがF0が次数dで生成される擬線形分解をもつことである。
• M≥dのBetti数は、ねじれた層のコホロロジーを用いて計算可能である：|a| ≥ j ≥ 0 に対して dimk TorS_j(M≥d, k)d+a = h|a|−j(Pn, fM(d) ⊗ Ωa_Pn(a))。
• [BES20, Thm. 2.9] で構成された仮想分解は、正確に切断M≥dの最小自由分解に一致し、それらの最小性と一意性が保証される。
• 次数dで生成される擬線形分解の余核はd-正則であるため、正則性領域への属するかどうかをコホロロジーを用いずに判定する基準が得られる。
• 新しい特徴づけを用いて、射影空間の積における完全交差の多重量Castelnuovo–Mumford正則性を計算可能である。
• Pn上の完全な強例外的コレクションの自己準同型代数は、仮想分解の一意性の証明を可能にする導来同値をもたらす。