[论文解读] A Fourier transform for Higgs bundles

Juhani Bonsdorff|ArXiv.org|Apr 26, 2001

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

一句话总结

本文为代数闭域上光滑代数曲线上的Higgs丛引入了一类Fourier-Mukai变换，将经典的Mukai变换推广至Higgs丛情形。研究表明，稳定的一度零Higgs丛在变换后成为Jacobian的余切丛上的代数向量丛，且关键地，原始Higgs丛可完全从该变换的射影紧化中重构，从而建立了反演定理。

ABSTRACT

We define a Fourier-Mukai transform for Higgs bundles on smooth curves and study its properties. It is shown that the transform of a stable zero-degree Higgs bundle is an algebraic vector bundle on the cotangent bundle of the Jacobian of the curve. We show that this transformed bundle admits a natural extension to an algebraic vector bundle over a projective compactification of the base. The main result is that the original Higgs bundle can be reconstructed from this extension. We also compute certain invariants of the transformed bundle.

研究动机与目标

• 将Fourier-Mukai变换推广至亏格 $ g \geq 2 $ 的光滑曲线上的Higgs丛，将经典Mukai变换推广至Higgs设置。
• 构造稳定Higgs丛到Jacobian余切丛上向量丛的全纯（代数）变换。
• 自然地将变换扩展至基空间的射影紧化上的向量丛，避免人为的紧化方法。
• 建立反演定理，表明原始Higgs丛可从其变换像中完全重构。

提出的方法

• 通过 $ X \times \widehat{X} $ 上的Poincaré层定义相对Fourier-Mukai变换，利用其在导出范畴中作为Higgs丛复形的结构进行适配。
• 将Higgs丛 $ (E, \theta) $ 表示为复形 $ \mathscr{E} \to \mathscr{E} \otimes \omega_X $，以应用积分变换技术。
• 将变换构造为Higgs丛复形与Poincaré层的张量积在 $ \mathrm{J}(X) \times H^0(X, \omega_X) $ 上的导出上推。
• 将所得层扩展为射影紧化 $ \mathrm{J}(X) \times \mathbb{P}(H^0(X, \omega_X) \oplus \mathbb{C}) $ 上的凝聚层，确保代数控制。
• 通过限制到线性子空间 $ U \times V $（其中 $ V $ 是 $ H^0(X, \omega_X) $ 的一维子空间）并分析扭曲映射的余核，恢复原始Higgs丛。
• 利用 $ U \times V \cong \mathrm{Spec}(A[T]) $ 上余核层的 $ A[T] $-模结构，通过 $ T $ 的作用重构Higgs场 $ \theta $。

实验结果

研究问题

• RQ1 能否为曲线上的Higgs丛定义Fourier-Mukai变换，从而推广经典Mukai变换？
• RQ2 稳定一度零Higgs丛的变换是否产生Jacobian余切丛上行为良好的代数向量丛？
• RQ3 该变换能否自然地代数扩展至基空间的紧化？若能，该扩展是否足以实现重构？
• RQ4 该变换是否可逆？原始Higgs丛能否完全从其变换像中恢复？

主要发现

• Fourier-Mukai变换将稳定一度零Higgs丛映射为曲线Jacobian余切丛上的代数向量丛。
• 该变换可自然地代数扩展为射影紧化 $ \mathrm{J}(X) \times \mathbb{P}(H^0(X, \omega_X) \oplus \mathbb{C}) $ 上的向量丛。
• 通过限制到线性子空间并分析扭曲映射的余核，可从紧化变换中重构原始Higgs丛。
• 该变换在稳定非平凡Higgs丛（陈类为零）的范畴上是完全忠实的。
• Higgs场 $ \theta $ 通过 $ U \times V $ 上余核层的 $ A[T] $-模结构被重构，其中 $ V $ 是 $ H^0(X, \omega_X) $ 的一维子空间。
• 重构过程依赖于当 $ g \geq 2 $ 时，canonical 线性系统 $ |\omega_X| $ 无基点，从而可实现局部重构的全局粘合。