[論文レビュー] Tate resolutions on toric varieties

Michael K. Brown, Daniel Erman|arXiv (Cornell University)|Aug 7, 2021

Algebraic Geometry and Number Theory被引用数 7

ひとこと要約

本稿は、滑らかで射影的なトーリック多様体に対して、非可換なフーリエ＝ムカイ変換の類似を用いた、テート解体の新規構成を提示する。これは、古典的な Eisenbud-Fløystad-Schreyer 理論を射影空間を超えて一般化したものである。主な貢献は、ベイリンソンの対角解体のトーリック版の構成と、トーリック多様体の組合せ論を反映する最小で正確な自由微分 $E$-加群を用いた、層コホモロジーの計算フレームワークの確立である。

ABSTRACT

We develop an analogue of Eisenbud-Floystad-Schreyer's Tate resolutions for toric varieties. Our construction, which is given by a noncommutative analogue of a Fourier- Mukai transform, works quite generally and provides a new perspective on the relationship between Tate resolutions and Beilinson's resolution of the diagonal. We also develop a Beilinson-type resolution of the diagonal for toric varieties.

研究の動機と目的

• 射影空間に限定されていたテート解体理論を、一般の滑らかで射影的なトーリック多様体へと拡張すること。
• 一般に完全で強い例外的集合が存在しないトーリック多様体において、標準的なテート解体構成が失敗することを克服するため、非可換フーリエ＝ムカイ変換に基づく新しい方法を導入すること。
• トーリック多様体におけるベイリンソン型の対角解体を構成し、[CK]の結果を一般化するとともに、トーリック多様体におけるベイリンソンモノイド理論の可能性を示すこと。
• テート解体と BGG 対応の関係を、コックス環と外積代数との間のコーゾール双対性を通じて、新たな視点から明らかにすること。
• 有限生成コホモロジーを持つモジュールに対して、最小で正確な自由微分 $E$-加群を用いた、トーリック多様体上での層コホモロジーの効率的計算フレームワークを提供すること。

提案手法

• 構成は、$E$ がコックス環 $S$ の $\operatorname{Cl}(X)\oplus\mathbb{Z}$-重層付きコーゾール双対外積代数であるとき、$\mathcal{O}_X$-$E$-両側 $E$-加群のカテゴリカル図式を用いる。
• トーリックテート解体は、フーリエ＝ムカイ型変換 $\mathbf{T}(\mathcal{F}) = R\pi_{2*}(\pi_1^*\mathcal{F} \otimes \mathcal{K})$ により定義され、$\mathcal{K}$ はコーゾール複体である。
• 解体は微分 $E$-加群として実現され、微分の次数は $(0,-1)$ であり、構成は多重重層付き BGG 対応を活用する。
• この方法により、得られるテート解体は最小で正確かつ自由な $E$-加群として保証され、コホモロジーは切断により層コホモロジーを符号化する。
• 有限生成コホモロジーを持つモジュールに対して、最小自由解体が存在し、同型を除いて一意であることが示された。
• カテゴリ $\operatorname{DM}(E)$ 内でのテンソル積と内部ホモは、$E$ に導入された補助 $\mathbb{Z}$-重層により定義され、これにより $\operatorname{Tor}$ と $\operatorname{Ext}$ の計算が可能になる。

実験結果

リサーチクエスチョン

• RQ1 一般に完全で強い例外的集合が存在しない状況において、$\mathbb{P}^n$ から任意の滑らかで射影的なトーリック多様体へのテート解体の一般化は可能か？
• RQ2 非可換なフーリエ＝ムカイ変換の類似を用いて、トーリック多様体上で整合的で計算可能な解体理論を定義する方法は何か？
• RQ3 ベイリンソンの対角解体のトーリック版とは何か？そして、新しいテート解体構成とどのように関係しているか？
• RQ4 新しいテート解体の正確性の性質は、トーリック多様体のファイアやポリトープの組合せ論とどのように関連しているか？
• RQ5 新しい解体は、$\mathbb{P}^n$ 上の古典的結果をどの程度回復し、テート解体とベイリンソンモノイドの関係を明確にできるか？

主な発見

• トーリックテート解体関手 $\mathbf{T}$ は、滑らかで射影的なトーリック多様体 $X$ 上の任意の連接層 $\mathcal{F}$ に対して、最小で正確で自由な微分 $E$-加群を生成する。これは、古典的な $\mathbb{P}^n$ の場合を一般化するものである。
• 構成は、$\mathbb{P}^n$ 上での元の Eisenbud-Fløystad-Schreyer のテート解体を回復し、それらの主要結果の新たな証明を提供するとともに、ベイリンソンの対角解体の役割を明確にする。
• ベイリンソンの対角解体のトーリック版が構成され、[CK]の結果を一般化し、トーリック設定におけるベイリンソンモノイド理論の可能性を示す。
• テート解体のコホモロジーは、切断により層コホモロジーを符号化する：$H^i(X,\mathcal{F}) \cong \bigoplus_{a \in \operatorname{Cl}(X)} H^i(\mathbf{T}(\mathcal{F})_{(a,\bullet)})$。重層はトーリック除数類群を反映する。
• 最小自由解体は存在し、同型を除いて一意である。各 $a \in \operatorname{Cl}(X)$ に対して、各成分 $F_{(a,i)}$ は有限次元であり、解体は正の $A$-重層を持つ。
• 補助 $\mathbb{Z}$-重層を用いたテンソル積と内部ホモにより、$\operatorname{DM}(E)$ 内での $\operatorname{Tor}$ と $\operatorname{Ext}$ の計算が可能となり、効率的なコホモロジー計算が可能になる。