[论文解读] A note on the Frobenius morphism on toric varieties

Piotr Achinger|arXiv (Cornell University)|Dec 9, 2010

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

一句话总结

本文提出了一种计算正特征下 toric 品种上线丛的 Frobenius 向前映射的新颖且简洁的证明，表明其可分解为线丛的直和，其中各分量的重数由表示给定除子类的立方体中的整数点数量决定。该方法使用生成函数和等变分解，即使在射影空间的情况下，也得到了目前已知最短的计算过程。

ABSTRACT

We give a new, shorter computation of Frobenius push-forwards of line bundles on toric varieties.

研究动机与目标

• 提供一种比现有方法更短且更内在的计算 toric 品种上线丛 Frobenius 向前映射的方法。
• 统一并简化光滑且完备情形下 Frobenius 向前映射分裂结果的现有研究。
• 通过解析和嵌入技术，将计算推广至奇异且非完备的 toric 品种。
• 建立一种生成函数方法，通过立方体内格点计数计算重数。

提出的方法

• 利用 Frobenius 子群在环面上的作用，将向前映射分解为特征丛，这些特征丛即为线丛。
• 应用投影公式，将重数计算约化为零度除子的情形。
• 为整体截面和重数分别定义生成函数 S 和 M，通过关系式 S(x) = M(x)·S(x^ℓ) 建立联系。
• 将生成函数 S 表示为射线除子的乘积，从而得到 M 的有理函数形式。
• 利用恒等式 M = ∏ᵢ (1 + x^{L(eᵢ)} + ⋯ + x^{(ℓ−1)L(eᵢ)}) 证明，m(D) 计数的是从 [0,ℓ−1]^r 映射到 D 的格点数量。
• 通过 toric 解析和嵌入到光滑完备 toric 品种中的方法，将一般情形约化为光滑且完备的品种。

实验结果

研究问题

• RQ1 如何比现有方法更高效地计算 toric 品种上线丛的 Frobenius 向前映射？
• RQ2 Frobenius 向前映射在 toric 品种上分解为线丛直和的内在机制是什么？
• RQ3 每个线丛在分解中的重数能否通过格点计数进行组合计算？
• RQ4 生成函数方法是否能在所有 toric 品种（包括奇异和非完备情形）中提供统一且最小化的计算？
• RQ5 通过等变分解和除子类映射，Frobenius 从何结构在 toric 品种上可被理解到何种程度？

主要发现

• 任意 toric 品种上线丛的 Frobenius 向前映射均可分解为线丛的直和，其中重数由 |D - ℓE| 中系数属于 {0, 1, ..., ℓ-1} 的 T-除子数量决定。
• 重数的生成函数 M(x₁,…,xᵨ) 由乘积 ∏ᵢ (1 + x^{L(eᵢ)} + ⋯ + x^{(ℓ−1)L(eᵢ)}) 给出，该表达式组合地编码了重数计数。
• 该方法即使在射影空间的情形下也得到了目前已知最短的计算过程，通过直接操作生成函数避免了 Horrocks 准则的使用。
• 该结果通过将品种解析并嵌入光滑完备品种，从光滑且完备的 toric 品种推广至任意正规 toric 品种。
• 重数 m(E,D) 仅依赖于类 D - ℓE，且等于在除子类映射下映射到该类的立方体 [0,ℓ−1]^r 中的点数。
• 该方法为所有 toric 品种上的 Frobenius 向前映射提供了一个统一且内在的框架，以最小代数形式统一了先前的结果。