[论文解读] The combinatorics and topology of proper toric maps

Mark Andrea de Cataldo, Luca Migliorini+1 more|arXiv (Cornell University)|Jul 13, 2014

Advanced Combinatorial Mathematics参考文献 11被引用 7

一句话总结

本文证明了在单纯性 торิก 变换之间的正规 торик 映射中，纤维的上同调是纯的且具有 Hodge-Tate 型，通过相对 f-向量推广了经典 Betti 数公式。本文为 торик 纤维丛中的分解定理提供了显式的组合公式，将交上同调不变量与扇形结构中的相对单纯形计数联系起来，其正定性条件由来自 f-向量的组合不变量决定。

ABSTRACT

We study the topology of toric maps. We show that if $f\colon X o Y$ is a proper toric morphism, with $X$ simplicial, then the cohomology of every fiber of $f$ is pure and of Hodge-Tate type. When the map is a fibration, we give an explicit formula for the Betti numbers of the fibers in terms of a relative version of the $f$-vector, extending the usual formula for the Betti numbers of a simplicial complete toric variety. We then describe the Decomposition Theorem for a toric fibration, giving in particular a nonnegative combinatorial invariant attached to each cone in the fan of $Y$, which is positive precisely when the corresponding closed subset of $Y$ appears as a support in the Decomposition Theorem. The description of this invariant involves the stalks of the intersection cohomology complexes on $X$ and $Y$, but in the case when both $X$ and $Y$ are simplicial, there is a simple formula in terms of the relative $f$-vector.

研究动机与目标

• 理解正规 торик 同态中纤维的拓扑结构，特别是当源簇为单纯性时的情况。
• 通过相对 f-向量，将完整单纯性 торик 变量的经典 Betti 数公式推广到相对情形。
• 利用与目标扇形中单纯形相关联的非负组合不变量，描述 торик 纤维丛的分解定理。
• 证明当源与目标均为单纯性时，这些不变量可由相对 f-向量计算得出。

提出的方法

• 通过将源簇按开子集进行过滤，其层为有限群作用下的仿射空间商，以证明上同调的纯性。
• 定义相对 f-向量 dℓ(X/τ)，用于计数目标扇形中每个单纯形 τ 上的 torus-不变子簇。
• 应用分解定理，将 Rf∗(ICX) 表示为 Y 中轨道闭包上的移位交上同调复形的直和。
• 利用 Hodge 理论论证，证明上同调谱序列退化，从而表明 Hodge-Deligne 多项式可组合地确定。
• 引入局部 Hodge-Deligne 多项式 Pf,σ(T)，并通过与组合 R-多项式卷积，将其与相对 f-向量关联。
• 通过证明 Pf,σ(T) 仅依赖于相对 f-向量与扇形结构，表明不变量 sτ,b 与 δτ 为组合确定。

实验结果

研究问题

• RQ1 在何种条件下，正规 торик 映射的纤维上同调是纯的且具有 Hodge-Tate 型？
• RQ2 如何从扇形的组合数据计算 торик 纤维丛中纤维的 Betti 数？
• RQ3 分解定理在正规 торик 纤维丛中的精确形式为何？其与交上同调的关系如何？
• RQ4 目标簇中的哪些轨道闭包作为分解定理的支撑出现？其组合判别方法为何？
• RQ5 当 X 与 Y 均为单纯性时，分解定理中的不变量 sτ,b 与 δτ 是否能显式表示为相对 f-向量的函数？

主要发现

• 对于任意正规 торик 映射 f:X→Y，且 X 为单纯性，对所有 y∈Y 与所有 q，Hq(f⁻¹(y),Q) 上的混合 Hodge 结构均为权 q 的纯结构，且具有 Hodge-Tate 型。
• 纤维的 Betti 数由涉及相对 f-向量 dℓ(X/τ) 的公式给出，推广了完整单纯性 торิก 变量的经典公式。
• f 的分解定理由直和分解 Rf∗(ICX) ≅ ⨁τ∈ΔY ⨁b∈Z ICV(τ)⊕sτ,b[−b] 描述，其中 sτ,b 为非负整数。
• 当 X 与 Y 均为单纯性时，不变量 sτ,b 与 δτ 通过与组合 R-多项式卷积及相对 f-向量显式计算得出。
• 纤维在 xσ 上的 Hodge-Deligne 多项式 Pf,σ(T) 为 T 的有理函数，其系数由相对 f-向量与扇形组合结构决定。
• 代入 T=1 得 δτ = ∑σ⊆τ r̃σ,τ · d₀(X/σ)，提供了判断 V(τ) 是否在分解定理中作为直和项支撑的组合判别准则。