[论文解读] Cohomology on Toric Varieties and Local Cohomology with Monomial Supports

David Eisenbud, Mircea Mustaţă+1 more|ArXiv.org|Jan 27, 2000

Commutative Algebra and Its Applications参考文献 6被引用 8

一句话总结

该论文提出了一套算法框架，用于在多项式环中计算具有单项式支撑的局部上同调，利用分次结构和线性规划来确定Ext模在何时稳定为与局部上同调的同构。主要贡献在于建立了局部上同调的齐次分量的有限性准则，并给出了单项式理想幂次的显式界限，以实现通过Cox构造在toric簇上有效计算层上同调。

ABSTRACT

We study the local cohomology modules H^i_B(R) for a reduced monomial ideal B in a polynomial ring R=k[X_1,...,X_n]. We consider a grading on R which is coarser than the Z^n-grading such that each component of H^i_B(R) is finite dimensional and we give an effective way to compute these components. Using Cox's description for sheaves on toric varieties, we apply these results to compute the cohomology of coherent sheaves on toric varieties. We give algorithms for this computation which have been implemented in the Macaulay 2 system. We obtain also a topological description for the cohomology of rank one torsionfree sheaves on toric varieties.

研究动机与目标

• 建立局部上同调模在单项式支撑下的齐次分量为有限维的条件。
• 开发一种算法方法，通过局部上同调与单项式支撑计算完备toric簇上的层上同调。
• 确定显式界限ℓ，使得对每个在分度群D中的δ，有Ext^i(S/B^{[ℓ]}, P)_δ → H^i_B(P)_δ成为同构。
• 为满足H^i_B(S)_p ≠ 0的度数p ∈ ℤ^n提供拓扑表征。
• 解决Ext → 局部上同调映射的单射性基础问题，以及此类映射在何种条件下实现稳定化。

提出的方法

• 在多项式环S = k[x₁,…,xₙ]上使用由ℤⁿ → D的满射诱导的粗分度D，以恢复局部上同调齐次分量的有限性。
• 通过极限构造将H^i_B(P)_δ的计算归约为Ext^i(S/B^{[ℓ]}, P)_δ，其中ℓ通过求解线性规划问题确定。
• 应用Hilbert Syzygy定理与分次模理论，确保Ext与局部上同调分量的有限维性。
• 利用toric簇的Cox构造，其中无关理想B为平方自由单项式，分度D为不变除子类群。
• 利用H^i_B(S)_p仅依赖于p ∈ ℤⁿ坐标符号的结果，对非零分量进行表征。
• 通过结合syzygy数据与线性规划，显式构造理想B^{[ℓ]}，使得Ext^i(S/B^{[ℓ]}, P)_δ → H^i_B(P)_δ成为同构。

实验结果

研究问题

• RQ1 在多项式环S上，对哪些分度D，对所有δ ∈ D与所有i，齐次分量H^i_B(S)_δ均为有限维？
• RQ2 给定一个有限生成的D-分度S-模P与一个单项式理想B，最小的ℓ为何值时，对给定δ ∈ D，有Ext^i(S/B^{[ℓ]}, P)_δ → H^i_B(P)_δ成为同构？
• RQ3 自然映射Ext^i(S/I, S) → H^i_I(S)对所有i保持单射的条件是什么？此类映射何时可被实现为来自I的幂次上Ext模的单射映射的并集？
• RQ4 在何种条件下，对于单项式理想B与分度D，局部上同调H^i_B(S)_δ通过B^{[ℓ]}上的Ext模实现稳定化？
• RQ5 能否为序列{I_d}构造一个不存在性准则，使得H^i_I(S) = ⋃ Ext^i(S/I_d, S)，特别是在正特征情况下？

主要发现

• 对所有δ ∈ D与所有i，齐次分量H^i_B(S)_δ为有限维，当且仅当分度D与单项式理想B源自一个完备toric簇的齐次坐标环。
• 对每个δ ∈ D，存在一个可计算的ℓ，使得自然映射Ext^i(S/B^{[ℓ]}, S)_δ → H^i_B(S)_δ成为同构，其中ℓ通过基于S的syzygy数据的线性规划问题确定。
• 对p ∈ ℤⁿ的分量H^i_B(S)_p仅依赖于p坐标符号，从而可通过toric簇的扇形实现拓扑表征。
• 通过其关联的D-分度模的局部上同调，可计算完备toric簇上凝聚层的层上同调，收敛性由有限性准则保证。
• 通过Frobenius幂与F-纯性，为满足H^i_I(S) = ⋃ Ext^i(S/I_d, S)的序列{I_d}提供了不存在性准则，表明在正特征下，此类序列可能对非完美素理想不存在。
• 本文证明了toric簇上层上同调的一个消去定理：若存在E满足0 ≤ a_j ≤ 1，使得D + E为Q-ample，则对所有i ≥ 1，有H^i(O_X(D)) = 0。