[论文解读] The Spectral Construction for a (1,8)-Polarized Family of Abelian Varieties

Anthony Bak|ArXiv.org|Mar 31, 2009

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

一句话总结

本文将谱构造（Spectral Construction）——一种用于在椭圆纤维化流形上构建向量丛的技术——推广至（1,8）极化族的阿贝尔曲面纤维化。通过傅里叶- Mukai 变换与上同调分析，研究了在异色弦理论唯象论中所需特定陈类的向量丛的存在性，最终在温和假设下证明了一个“无解”结果：在此族中不存在满足弱异色弦挑战的此类丛。

ABSTRACT

We extend the Spectral Construction, a technique used with great success to study and construct vector bundles on elliptically fibered varieties, to a special family of abelian surface fibered varieties. The results are motivated by requirements from Heterotic String Phenomenology where vector bundles with specified chern class are required to produce a realistic particle spectrum. Although only certain (1,8)-polarized families of abelian surfaces are considered here we expect the main ideas to carry over to other families of abelian varieties with a uniform relative polarization type.

研究动机与目标

• 将谱构造推广至（1,8）极化族的阿贝尔曲面纤维化，以用于异色弦紧化。
• 研究在异色弦紧化中实现真实粒子谱所必需的指定陈特征数的向量丛的存在性。
• 应用傅里叶- Mukai 变换与上同调技术，分析阿贝尔曲面纤维化上的稳定性与谱曲线条件。
• 确定弱异色弦挑战——即要求特定陈类与稳定性——是否可在该几何设定中实现。
• 探讨大基本群与 Brauer 群对 Calabi-Yau 紧化中物理模型构建的影响。

提出的方法

• 在相对（1,8）极化的阿贝尔曲面族 $V_{8,y}$ 及其对偶 $Đextless{V}$ 上使用傅里叶- Mukai 变换。
• 通过将基空间上有限的曲线的层数据上拉，利用傅里叶- Mukai 变换构造向量丛。
• 计算傅里叶- Mukai 变换在上同调上的作用，以确定所得丛的陈特征数。
• 分析奇点纤维 $T_i$ 及其在纤维化几何与上同调中的作用。
• 在 $V \times_B \widehat{V}$ 上使用 Poincaré 层定义傅里叶- Mukai 变换，并研究其对层的作用。
• 应用 Hodge 指数定理与反向 Schwarz 不等式，推导交截数的界，以确保几何一致性。

实验结果

研究问题

• RQ1 谱构造能否成功推广至（1,8）极化族的阿贝尔曲面，以产生具有所需物理性质的向量丛？
• RQ2 （1,8）极化纤维化的几何约束是否允许存在一个稳定向量丛，满足 $c_1 = 0$，$c_2 = c_2(T_X) - [C]$，且 $c_3 = 6$？
• RQ3 傅里叶- Mukai 变换在实现阿贝尔曲面纤维化谱曲线对应关系中起什么作用？
• RQ4 奇点纤维与有效锥结构如何影响向量丛的模空间？
• RQ5 SL(2,\mathbb{Z}) 在 Néron-Tate 高度配对上的作用在何种条件下保持阿贝尔曲面的有效锥不变？

主要发现

• 谱构造被成功推广至（1,8）极化族的阿贝尔曲面纤维化，使得向量丛的上同调分析成为可能。
• 傅里叶- Mukai 变换在上同调上的作用被显式计算，从而可确定所得层的陈特征数。
• 确立了一个“无解”结果：在温和假设下，此族中不存在满足弱异色弦挑战的向量丛。
• 证明了阿贝尔曲面的有效锥在 $SL(2,\mathbb{Z})$ 作用下是传递的，其生成元可通过圆锥上的有理点参数化。
• 阿贝尔曲面上的交截形式满足反向 Schwarz 不等式，给出 $D.H \geq \sqrt{dh}$，其中 $D$、$H$ 为有效除子。
• 对于平坦丛 $S$ 与线丛 $Q$，若 $Hom(S, Q) \neq 0$，则存在某个 $\mathcal{O}_\alpha$ 使得 $H^0(Q \otimes \mathcal{O}_\alpha) \neq 0$，从而将上同调消去性与几何数据联系起来。