[论文解读] Tate resolutions on toric varieties

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

Algebraic Geometry and Number Theory被引用 7

一句话总结

本文通过非交换的傅里叶-穆凯伊变换类比，提出了一种用于光滑、射影的toric代数簇的塔特分辨率的新构造，将经典Eisenbud-Fløystad-Schreyer理论从射影空间推广至更一般情形。关键贡献在于构建了toric代数簇上贝利松对角分解的类比，以及一种基于反映toric代数簇组合结构的最小、精确、自由微分$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.

研究动机与目标

• 将此前仅限于射影空间$\mathbb{P}^n$的塔特分辨率理论，推广至一般光滑、射影的toric代数簇。
• 通过引入基于非交换傅里叶-穆凯伊变换的新方法，克服标准塔特分辨率构造在toric代数簇上失效的问题。
• 为toric代数簇构建类比贝利松对角分解的贝利松型分解，推广[CK]的结果，并实现toric代数簇上贝利松正合列的类比。
• 建立塔特分辨率与BGG对应关系的全新视角，特别是通过Cox环与外代数之间的科什乌尔对偶性。
• 提供一种高效计算toric代数簇上层上同调的框架，利用最小、精确、自由的微分$E$-模。

提出的方法

• 构造使用一个包含相干$\mathcal{O}_X$-$E$-双模范畴的范畴图，其中$E$是Cox环$S$的$\operatorname{Cl}(X)\oplus\mathbb{Z}$-分次科什乌尔对偶外代数。
• 通过类比傅里叶-穆凯伊变换定义toric塔特分辨率：$\mathbf{T}(\mathcal{F}) = R\pi_{2*}(\pi_1^*\mathcal{F} \otimes \mathcal{K})$，其中$\mathcal{K}$为科什乌尔复形。
• 该分解被实现为一个微分$E$-模，其微分次数为$(0,-1)$，构造利用了多分次BGG对应关系。
• 该方法确保所得塔特分辨率作为$E$-模是极小、精确且自由的，其同调通过截断编码层上同调。
• 该框架使用微分$E$-模的极小自由分解，证明其存在且在同构意义下唯一，适用于同调有限生成的模。
• 在范畴$\operatorname{DM}(E)$中，通过$E$上的辅助$\mathbb{Z}$-分次定义张量积与内Hom，支持$\operatorname{Tor}$与$\operatorname{Ext}$的计算。

实验结果

研究问题

• RQ1 尽管一般情况下不存在全的、强例外集列，塔特分辨率能否从$\mathbb{P}^n$推广至任意光滑、射影的toric代数簇？
• RQ2 如何利用非交换傅里叶-穆凯伊变换的类比，在toric代数簇上定义一致且可计算的分解理论？
• RQ3 贝利松对角分解的toric类比是什么？它与新塔特分辨率构造有何关联？
• RQ4 新塔特分辨率的精确性特征如何反映toric代数簇的扇或多面体的组合结构？
• RQ5 新分解在多大程度上恢复了$\mathbb{P}^n$上的经典结果，并阐明了塔特分辨率与贝利松正合列之间的联系？

主要发现

• toric塔特分辨率函子$\mathbf{T}$为任意光滑、射影的toric代数簇$X$上的相干层$\mathcal{F}$生成最小、精确、自由的微分$E$-模，推广了经典$\mathbb{P}^n$情形。
• 该构造在$\mathbb{P}^n$上恢复了原始的Eisenbud-Fløystad-Schreyer塔特分辨率，为他们的主要结果提供了新证明，并阐明了贝利松对角分解的作用。
• 构建了贝利松对角分解的toric类比，推广了[CK]的结果，并在toric情形下实现了贝利松正合列理论。
• 塔特分辨率的同调通过截断编码层上同调：$H^i(X,\mathcal{F}) \cong \bigoplus_{a \in \operatorname{Cl}(X)} H^i(\mathbf{T}(\mathcal{F})_{(a,\bullet)})$，其分次反映了toric除子类群。
• 微分$E$-模的极小自由分解存在且在同构意义下唯一，每个$a \in \operatorname{Cl}(X)$的分次分量$F_{(a,i)}$为有限维，且该分解为正$A$-分次。
• 该框架通过$\operatorname{DM}(E)$中的$\operatorname{Tor}$与$\operatorname{Ext}$支持高效的上同调计算，利用通过$E$上的辅助$\mathbb{Z}$-分次定义的张量积与内Hom。