[论文解读] On the Splitting Type of an Equivariant Vector Bundle over a Toric Manifold

Chien‐Hao Liu, Shing‐Tung Yau|ArXiv.org|Feb 4, 2000

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

一句话总结

本文建立了 toric 流形上等变向量丛的分裂类型与 Kaneyama 分类数据之间的精确对应关系，使非分裂丛的分裂类型得以显式计算。作者推导出一种方法，用于判断此类丛何时可分解为线丛，并将其应用于 ℂP² 上的秩-2 丛以及 toric 曲面的切丛/余切丛，结果通过一个 Mathematica 软件包计算得出，适用于最多 9 点的 ℂP² 的 blowup。

ABSTRACT

From the work of Lian, Liu, and Yau on "Mirror Principle", in the explicit computation of the Euler data $Q=\{Q_0, Q_1, ... \}$ for an equivariant concavex bundle ${\cal E}$ over a toric manifold, there are two places the structure of the bundle comes into play: (1) the multiplicative characteric class $Q_0$ of $V$ one starts with, and (2) the splitting type of ${\cal E}$. Equivariant bundles over a toric manifold has been classified by Kaneyama, using data related to the linearization of the toric action on the base toric manifold. In this article, we relate the splitting type of ${\cal E}$ to the classifying data of Kaneyama. From these relations, we compute the splitting type of a couple of nonsplittable equivariant vector bundles over toric manifolds that may be of interest to string theory and mirror symmetry. A code in Mathematica that carries out the computation of some of these examples is attached.

研究动机与目标

• 将 toric 流形上等变向量丛的分裂类型与 torus 作用线性化的 Kaneyama 分类数据相联系。
• 计算非分裂等变丛的分裂类型，特别是 ℂP² 上的秩-2 丛以及 toric 曲面的切丛/余切丛。
• 通过 Mathematica 软件包提供一个计算框架，以确定哪些 toric 曲面（最多 9 点的 ℂP² 的 blowup）其切丛具有分裂类型。
• 通过支持欧拉数据的显式分裂类型计算，推动 toric 镜像对称的总体目标。

提出的方法

• 利用 Kaneyama 关于 toric 流形上等变向量丛的分类方法，基于 torus 作用线性化的相关数据。
• 通过分析涉及线丛的正合列中的映射 η，将分裂类型计算应用于 ℂP² 上的秩-2 丛。
• 采用加权循环图表示法表示 toric 曲面，其中权重编码 blowup 数据，从而可追踪等变 blowup 下丛的分裂行为。
• 从丛数据导出矩阵方程，通过 ℤ 上的线性代数求解分裂数。
• 实现一个 Mathematica 软件包，从连续等变 blowup 生成所有可能的加权循环图，并检查分裂类型系统的可解性。
• 利用线性方程组确定分裂类型是否存在，并计算相应的分裂数。

实验结果

研究问题

• RQ1 哪些不可分解的 ℂP² 上的等变秩-2 丛具有分裂类型，其分裂类型是什么？
• RQ2 在何种条件下，toric 曲面的切丛或余切丛可分解为线丛的直和？
• RQ3 在对 ℂP² 或 ℱₐ 进行连续等变 blowup 时，toric 曲面切丛的分裂类型如何变化？
• RQ4 能否从其加权循环图表示中算法性地确定 toric 曲面切丛的分裂类型？
• RQ5 从最多 9 点的 ℂP² 等变 blowup 得到的哪些 toric 曲面，其切丛具有分裂类型？

主要发现

• ℂP² 上秩-2 等变丛的分裂类型由扩展类 η 决定，且该丛具有分裂类型当且仅当其关联方程组有整数解。
• 在 ℂP² 上，唯一具有分裂类型的非分裂等变秩-2 丛是切丛，其分裂类型为 𝒪(1) ⊕ 𝒪(1)。
• 在最多 9 点等变 blowup 的 ℂP² 所得的 toric 曲面中，仅有有限数量的曲面其切丛具有分裂类型，且该算法已将其完全分类。
• toric 曲面的切丛具有分裂类型当且仅当由加权循环图导出的线性方程组在非负整数范围内有解。
• Mathematica 软件包成功计算了所有最多 9 次 blowup 的此类曲面的分裂类型，结果存储于输出文件中。
• 该方法可系统化计算 toric 曲面切丛的分裂类型，为镜像对称与弦理论应用提供计算工具。