[论文解读] Remarks on the nonequivariant coherent-constructible correspondence for toric varieties

David Treumann|arXiv (Cornell University)|Jun 30, 2010

Algebraic Geometry and Number Theory参考文献 4被引用 15

一句话总结

本文通过证明光滑射影zonotopal环面簇的完美复形的导出范畴与在环面上具有特定拉格朗日子簇中奇异支撑的构造层范畴之间存在拟等价，建立了此类簇的非等变一致-构造对应。关键结果通过分层层理论和zonotopal扇的几何性质，在此设定下证实了Bondal的猜想。

ABSTRACT

We prove the following result of Bondal's: that there is a fully faithful embedding $κ$ of the perfect derived category of a proper toric variety into the derived category of constructible sheaves on a compact torus. We compare this result to a torus-equivariant version considered in joint work with Fang, Liu, and Zaslow. There we showed that in the torus-equivariant version the image of the embedding is cut out by microlocal conditions. To establish a similar characterization of the image of $κ$ is an open problem.

研究动机与目标

• 验证Bondal的猜想，即对于某些环面簇，非等变一致-构造对应是一个等价关系。
• 使用层论技术，将等变一致-构造对应扩展到非等变设定。
• 将非等变嵌入的像识别为在特定拉格朗日子簇中有奇异支撑的层。
• 确立对应关系成为dg范畴拟等价的条件。
• 证明对于光滑射影zonotopal环面簇，奇异支撑条件与Whitney分层的特征簇一致。

提出的方法

• 通过在 $M_{\mathbb{R}}/M$ 上使用商构造，从等变框架中构造非等变版本的 $\theta$-层 $\bar{\theta}(\tau)$ 和 $\bar{\theta}'(\tau)$。
• 将范畴 $\mathbf{C}(\Sigma)_{\mathsf{R}}$ 定义为偏序集 $\Gamma(\Sigma,M)$ 的商，以编码扇及其对偶的组合结构。
• 使用遗忘函子 $\mathrm{forg}: \mathcal{Q}_T(X) \to \mathcal{Q}(X)$，将等变层下降到非等变设定。
• 应用构造层与奇异支撑的理论，将嵌入 $\bar{\kappa}$ 的像识别为在 $\tilde{\Lambda}_\Sigma \subset T^*(\mathbb{R}^n/\mathbb{Z}^n)$ 中具有奇异支撑的层。
• 依赖于由扇的对偶超平面排列诱导的Whitney分层 $\mathcal{H}$，证明对于幺模zonotopal扇有 $\Lambda_\mathcal{H} = \Lambda_\Sigma$。
• 通过证明 $M_{\mathbb{R}}$ 上的余标准层可从 $M_{\mathbb{R}}$ 上的层上拉回，而这些层属于等变函子 $\kappa$ 的像，从而建立本质满射性。

实验结果

研究问题

• RQ1 对于光滑射影zonotopal环面簇，非等变一致-构造对应是否为等价？
• RQ2 非等变嵌入 $\bar{\kappa}$ 的像能否被表征为在 $\tilde{\Lambda}_\Sigma$ 中具有奇异支撑的层？
• RQ3 对于zonotopal扇，Whitney分层 $\mathcal{H}$ 的特征簇是否与 $\Lambda_\Sigma$ 重合？
• RQ4 在何种条件下，非等变对应关系成为完全忠实且本质满射？
• RQ5 扇的幺模性如何与等式 $\Lambda_\mathcal{H} = \Lambda_\Sigma$ 相关联？

主要发现

• 非等变嵌入 $\bar{\kappa}: \mathrm{Perf}(X) \to \mathrm{Sh}_c(\mathbb{R}^n/\mathbb{Z}^n, \tilde{\Lambda}_\Sigma)$ 是完全忠实的，将等变结果推广到了非等变设定。
• 对于光滑射影zonotopal环面簇，奇异支撑条件 $\tilde{\Lambda}_\Sigma$ 与由对偶超平面排列诱导的Whitney分层 $\mathcal{H}$ 的特征簇 $\Lambda_\mathcal{H}$ 一致。
• 当且仅当扇是幺模时，等式 $\Lambda_\mathcal{H} = \Lambda_\Sigma$ 成立，这确保了在每个交点处由射线生成元张成的格子构成 $\mathbb{Z}$-基。
• 范畴 $\mathrm{Sh}_c(\mathbb{R}^n/\mathbb{Z}^n, \tilde{\Lambda}_\Sigma)$ 由分层 $\mathcal{H}/M$ 的各层相关的余标准层生成。
• 由于 $M_{\mathbb{R}}$ 上的余标准层属于等变函子 $\kappa$ 的像，其在 $M_{\mathbb{R}}/M$ 上的提升位于 $\bar{\kappa}$ 的像中，从而证明了本质满射性。
• 对于光滑射影zonotopal环面簇，对应关系 $\bar{\kappa}$ 是dg范畴的拟等价，从而在此情况下证实了Bondal的猜想。