[论文解读] Spin(7) instantons and the Hodge Conjecture for certain abelian four-folds: a modest proposal

Ramadas T. Ramakrishnan|ArXiv.org|Sep 23, 2008

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

一句话总结

该论文提出在阿贝尔四fold上利用Spin(7)瞬子来解决Hodge猜想，通过构造陈特征等于霍奇类的光滑向量丛，进而证明瞬子联络可赋予其全纯结构。关键成果是提出一种策略：通过复乘法与稳定性论证，对已知全纯结构进行形变，从而证明此类丛为代数丛。

ABSTRACT

The Hodge Conjecture is equivalent to a statement about conditions under which a complex vector bundle on a smooth complex projective variety admits a holomorphic structure. I advertise a class of abelian four-folds due to Mumford where this approach could be tested. I construct explicit smooth vector bundles - which can in fact be constructed in terms of of smooth line bundles - whose Chern characters are given Hodge classes. An instanton connection on these vector bundles would endow them with a holomorphic structure and thus prove that these classes are algebraic. I use complex multiplication to exhibit Cayley cycles representing the given Hodge classes. I find alternate complex structures with respect to which the given bundles are holomorphic, and close with a suggestion (due to G. Tian) as to how this may possibly be put to use.

研究动机与目标

• 测试在特定阿贝尔四fold上使用Spin(7)瞬子的规范理论方法来解决Hodge猜想。
• 在Mumford的阿贝尔四fold上构造陈特征等于给定霍奇(2,2)-类的光滑向量丛。
• 证明此类丛上的瞬子联络可诱导出全纯结构，从而证明霍奇类为代数类。
• 利用复乘法构造对偶于霍奇类的Cayley循环。
• 探索G. Tian建议的形变方法，从已知全纯丛构造瞬子。

提出的方法

• 从阿贝尔四fold上的线丛构造光滑向量丛，确保其陈特征匹配有理霍奇(2,2)-类。
• 利用复乘法在四fold上定义替代复结构，使丛关于这些结构为全纯。
• 应用连续法将已知全纯丛形变为瞬子联络，利用共轭复结构所诱导的初始全纯结构的存在性。
• 应用Butler定理，证明由线丛全局截面的求值映射所得到的核丛的稳定性。
• 通过构造涉及对偶丛与张量积的正合列，构建具有拟稳定结构的商丛E。
• 通过Riemann-Roch公式与整数参数k和k₁的选择，确保最终正合列中各分量的斜率相等。

实验结果

研究问题

• RQ1 能否利用Spin(7)瞬子证明阿贝尔四fold上某些霍奇(2,2)-类为代数类？
• RQ2 在何种条件下，具有给定陈特征的光滑向量丛可通过瞬子联络获得全纯结构？
• RQ3 如何利用阿贝尔四fold上的复乘法构造对偶于霍奇类的Cayley循环？
• RQ4 能否通过连续法将已知全纯丛结构形变为Spin(7)瞬子？
• RQ5 何种条件可确保由全局截面构造的商丛在凯勒极化下为拟稳定？

主要发现

• 从Mumford的阿贝尔四fold上线丛出发，显式构造了陈特征等于霍奇类的光滑向量丛。
• 作为线丛直和的商丛E，当配备Hermite-Einstein度量时，可赋予全纯结构。
• 通过将Butler定理应用于全局截面求值映射的核，确立了E的拟稳定性。
• 通过选择满足(kk₁³ − (3/2)k₁⁴)⟨ω⁴⟩ = c²Δ的k，确保了最终正合列中各分量的斜率相等。
• 若存在具有全纯结构的此类丛，则可推出对应霍奇类为代数类，前提是瞬子联络存在。
• 该策略依赖于初始全纯结构（来自共轭复结构）及通过连续法形变以获得Spin(7)瞬子。