[论文解读] Cohomology of line bundles on a toric variety and constructible sheaves on its polytope

Nathan Broomhead|ArXiv.org|Nov 15, 2006

Algebraic Geometry and Number Theory参考文献 8被引用 3

一句话总结

本文建立了一个关于射影环状代数簇上线丛上同调与关联多面体上可构造层上同调之间新颖的同构关系。通过将上同调的每个权空间表示为多面体上局部闭子集上常值层的推出的上同调，该方法利用涉及闭子集上同调的长正合列实现有效计算，从而为环状代数簇上的层上同调提供了一种几何与组合工具。

ABSTRACT

We explain a method for calculating the cohomology of line bundles on a toric variety in terms of the cohomology of certain constructible sheaves on the polytope. We show its effective use by means of some examples.

研究动机与目标

• 建立一种利用其关联多面体上的可构造层来计算环状代数簇上线丛上同调的新方法。
• 提供一个几何与组合框架，将代数上同调计算转化为多面体上的拓扑数据。
• 通过具体例子（包括非法诺与拟射影环状代数簇）展示该方法的有效性。
• 分析Bondal的集合为何不构成强例外集合，说明该方法在检验例外集合中的实用性。

提出的方法

• 本文使用典范同构 $ H^p(X, \nabla(D))_m \to H^p(P_X, j_! \mathbb{R}_W) $，其中 $ W = W(m,D) $ 是多面体 $ P_X $ 中一个闭合最大面并集的补集，且 $ j: W \to P_X $ 为包含映射。
• 构造一个可构造层的短正合列：$ 0 \to j_! j^* \mathbb{R}_{P_X} \to \mathbb{R}_{P_X} \to i_* i^* \mathbb{R}_{P_X} \to 0 $，其诱导出上同调的长正合列。
• 通过该长正合列计算上同调 $ H^p(P_X, j_! \mathbb{R}_W) $，并将其与 $ H^{p-1}(Z(m,D), \mathbb{C}) $ 和 $ H^p(P_X, \mathbb{C}) $ 关联，其中 $ Z(m,D) $ 是多面体的闭子集。
• 该方法通过与固定正超平面相关的多面体 $ P_X $ 适用于射影环状代数簇，并通过多面体的开子集推广至拟射影情形。
• 该构造依赖于多面体 $ P_X $ 沿锥 $ \sigma \in \Delta $ 索引的局部闭集 $ T_\sigma $ 的分层结构，其中 $ T_\sigma $ 由线性函数 $ \psi_D $ 的等式与严格不等式条件定义。
• 关键的技术工具是将 $ H^p(X, \mathcal{O}(D)) $ 中的权空间与多面体上可构造层的上同调相联系，利用Demazure的局部上同调描述。

实验结果

研究问题

• RQ1 能否通过多面体上的可构造层有效计算环状代数簇上线丛的上同调？
• RQ2 线丛的上同调如何分解为权空间？这种分解能否在多面体上实现为拓扑结构？
• RQ3 多面体上可构造层的上同调与环状代数簇上线丛之间的Ext群之间有何关系？
• RQ4 Bondal在非法诺环状代数簇上提出的线丛集合是否构成强例外集合？若否，原因是什么？
• RQ5 该方法能否通过多面体的开子集推广至拟射影环状代数簇？

主要发现

• 本文建立了典范同构 $ H^p(X, \mathcal{O}(D))_m \cong H^p(P_X, j_! \mathbb{R}_W) $，其中 $ W = W(m,D) $ 是多面体 $ P_X $ 中一个闭合最大维面并集的补集，从而可通过多面体上的拓扑数据实现上同调计算。
• 通过由层的短正合列诱导的长正合列计算上同调 $ H^p(P_X, j_! \mathbb{R}_W) $，并将其与 $ Z(m,D) $ 和 $ P_X $ 的上同调关联，从而实现有效计算。
• 在非法诺环状代数簇的例子中，该方法表明Bondal集合中某些线丛之间的Ext^1群非零，证明该集合不构成强例外集合。
• 本文证明了包含12个线丛的完整强例外集合存在且可通过该方法计算，且Bondal集合中任何包含10个或更多线丛的子集均不构成强例外集合。
• 通过限制到多面体的开子集，该方法在拟射影环状代数簇上被证明有效，推广了射影情形。
• 该构造证实，配备 $ T_\sigma $ 分层的多面体 $ P_X $ 与正超平面的选择无关，仅依赖于扇形 $ \Delta $，使得 $ P_X $ 成为与环状代数簇相关联的典范对象。