[論文レビュー] A short resolution of the diagonal for smooth projective toric varieties of Picard rank 2

Michael K. Brown, Mahrud Sayrafi|arXiv (Cornell University)|Aug 1, 2022

Algebraic Geometry and Number Theory被引用数 5

ひとこと要約

本稿では、Picard階数2の滑らかで射影的トーリック多様体に対して、Weymanの幾何的技法の変種を用いて、対角の短い分解を構成する。この分解は、$X \times X$ 上の対角の構造層を、線形的複体として、次元 $\dim X$ の長さを持つ、ラインバンドルの有限直和から構成される。主な貢献は、可換代数におけるバーベシュ＝エルマン＝スミス予想の新しいケースの証明と、このような多様体上のベクトルバンドルのホロックス型分解基準の確立である。

ABSTRACT

Given a smooth projective toric variety $X$ of Picard rank 2, we resolve the diagonal sheaf on $X imes X$ by a linear complex of length $\dim{X}$ consisting of finite direct sums of line bundles. As applications, we prove a new case of a conjecture of Berkesch-Erman-Smith that predicts a version of Hilbert's Syzygy Theorem for virtual resolutions, and we obtain a Horrocks-type splitting criterion for vector bundles over smooth projective toric varieties of Picard rank 2, extending a result of Eisenbud-Erman-Schreyer. We also apply our results to give a new proof, in the case of smooth projective toric varieties of Picard rank 2, of a conjecture of Orlov concerning the Rouquier dimension of derived categories.

研究の動機と目的

• 滑らかで射影的なトーリック多様体 $X$ の対角層 $\mathcal{O}_\Delta$ に対して、$X \times X$ 上の短く線形的な分解を構成すること。
• 可換代数におけるバーベシュ＝エルマン＝スミス予想の新しいケースを、仮想分解に関して証明すること。
• 滑らかで射影的なトーリック多様体の対角層に対して、ホロックス型の分解基準を確立すること。
• この設定におけるオルロフの予想（導来カテゴリのルーオイエフ次元）の新しい証明を提供すること。

提案手法

• $X \times X$ のコーエン環上の自由分解を構成するために、Weymanの幾何的技法の変種を用いる。
• トーリックファイバー束 $E$ を用いて、対角を定義する関係 $x_i - x'_i$ をホモジーナライズする。$E$ のファイバーは $\mathbb{F}_{a_s}$ である。
• ホモジーナライズされた関係上での、ねじれたコーエン複体の押し出しとして分解を構成する。
• 得られる複体 $R$ が線形的で、長さ $\dim X = r + s$ であり、ラインバンドルの有限直和からなる項を持つことを保証する。
• コーエン環の次数付き構造と $M_{r-e,s-f}$ 内の単項式の組合せ論を用いて、コホモロジーの消失を制御する。
• スペクトル系列の技法を適用し、導来カテゴリを解析し、BGG型複体の消失を用いて分解基準を証明する。

実験結果

リサーチクエスチョン

• RQ1 滑らかで射影的なトーリック多様体のPicard階数2に対して、項がラインバンドルの有限直和で、長さが $\dim X$ に等しい、対角の短い分解を構成できるか？
• RQ2 このような分解の存在が、これらの多様体におけるバーベシュ＝エルマン＝スミス予想の仮想分解に関して成り立つか？
• RQ3 この設定で、ベクトルバンドルのホロックス型分解基準を確立できるか？
• RQ4 この分解が、滑らかで射影的なトーリック多様体の $\operatorname{D}^b(X)$ のルーオイエフ次元に関するオルロフの予想を示唆するか？
• RQ5 ネフ順序の役割は何か？なぜ有効順序では失敗するのか？

主な発見

• 対角層 $\mathcal{O}_\Delta$ の分解 $\mathcal{R}$ が、$X \times X$ 上に、長さ $\dim X = r + s$ で、ラインバンドルの有限直和からなる項を持つ複体として構成された。
• この分解は線形的で、正の次数で正則であり、$\operatorname{rank} R_n = \binom{r+s}{n} \dim_k H^0(\mathbb{F}_{a_s}, \mathcal{O}(r,s))$ を満たし、$\operatorname{rank} R_n = \operatorname{rank} R_{r+s-n}$ を満たす。
• この分解により、バーベシュ＝エルマン＝スミスの予想1.2が、Picard階数2の滑らかで射影的なトーリック多様体に対して証明された。これは、コーエン環上の任意の有限生成次数付き加群が、長さが $\dim X$ 以下である仮想分解をもつことを示している。
• ホロックス型の分解基準が確立された：多様体 $X$ 上のベクトルバンドル $\mathcal{E}$ がラインバンドルの直和に分解されるための必要十分条件は、$\mathbf{B}(\mathcal{E})_1 = 0$ である。ここで $\mathbf{B}(\mathcal{E})_1$ はBGG型スペクトル系列の第1ページである。
• この分解により、オルロフの予想（$\operatorname{D}^b(X)$ のルーオイエフ次元）の新しい証明が得られ、滑らかで射影的なトーリック多様体のPicard階数2に対して、その次元が $\dim X$ に等しいことが示された。
• 有効順序では、特定のラインバンドル $\mathcal{O}(a,-1)$ に対して $\mathbf{B}(\mathcal{O}(a,-1))_1$ が消失しないため、証明は失敗する。これは、ネフ順序の必要性を強調している。