[论文解读] The Verlinde bundles and the semihomogeneous Wirtinger duality

Dragos Oprea|ArXiv.org|Dec 29, 2008

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

一句话总结

该论文通过将Verlinde丛表示为简单半同态向量丛的直和，确定了在亏格 g ≥ 1 的曲线的雅可比簇上的Verlinde丛的分裂类型。利用傅里叶-穆凯伊变换和广义theta函数上扭点的迹计算，建立了秩-水平对偶性，并给出了以Verlinde数和Jordan函数的亏格-g推广形式表示的重数显式公式，证实了与奇异对偶性的相容性，并将已知结果推广至更高亏格。

ABSTRACT

We determine the splitting type of the Verlinde vector bundles in higher genus in terms of simple semihomogeneous factors. In agreement with strange duality, the simple factors are interchanged by the Fourier-Mukai transform, and their spaces of sections are naturally dual.

研究动机与目标

• 理解亏格 g ≥ 1 的曲线的雅可比簇上Verlinde丛的结构。
• 将Verlinde丛分解为不可约半同态因子，以明确其分裂类型。
• 建立这些因子重数的精确公式，其表达式基于数论与几何不变量。
• 通过傅里叶-穆凯伊变换和秩-水平对称性，确认与奇异对偶性的相容性。
• 利用新的亏格-g Jordan totient 符号，将亏格-1 的结果推广至更高亏格。

提出的方法

• 将Verlinde丛定义为通过稳定丛模空间上的行列式映射，对多重theta线丛的直接像。
• 在雅可比簇上引入由秩和行列式条件表征的简单对称半同态丛 $W_{r,k,\xi}$。
• 利用广义theta函数空间上 $h$-扭点线丛的迹，对Verlinde丛纤维进行分解。
• 在模空间上应用Riemann-Roch和陈类计算，以评估扭作用的迹。
• 引入Jordan函数的亏格-g推广形式，以表达分解中重数的表达式。
• 验证与已知情形的一致性：互素秩-水平对偶性、亏格1结果以及秩-水平对称性。

实验结果

研究问题

• RQ1 在亏格 $g \geq 1$ 的曲线的雅可比簇上，Verlinde丛 $E_{r,k}$ 的显式分裂类型是什么？
• RQ2 Verlinde丛分解中半同态因子的重数如何依赖于秩 $r$、水平 $k$ 和扭数据？
• RQ3 傅里叶-穆凯伊变换是否保持对半同态因子的分解？其与奇异对偶性有何关系？
• RQ4 广义theta函数空间上扭点的迹能否在高亏格下用Verlinde数表示？
• RQ5 亏格-g推广的Jordan函数在重数公式中起什么作用？

主要发现

• Verlinde丛 $E_{hr,hk}$ 拆分为半同态丛 $W_{r,k,\xi}$ 的直和，其中 $\xi$ 遍历 $h$-扭点线丛，其重数由包含亏格-g Jordan totient 符号的公式给出。
• $W_{r,k,\xi}$ 在 $E_{hr,hk}$ 中的重数 $m_\xi(r,k)$ 显式计算为对 $h/\omega$ 的因子 $\delta$ 求和，涉及Verlinde数和亏格-g totient 符号。
• $H^0(SUX(hr), L^{hk})$ 上 $h$-扭点线丛的迹计算结果，与小秩高亏格下的Verlinde数一致，证实了与Beauville和Oprea的亏格-1结果的一致性。
• 该分解与奇异对偶性相容：$W_{r,k,\xi}$ 的对偶同构于 $W_{k,r,\xi}$，且重数满足 $m_\xi(r,k) = m_\xi(k,r)$，证实了秩-水平对称性。
• 该公式在已知情形下正确简化：当 $\gcd(r,k)=1$ 时，恢复互素分裂 $E_{r,k} = \bigoplus W_{r,k}$；当 $g=1$ 时，与Oprea的亏格-1计算结果一致。
• 通过在 $A[d]$ 上对迹公式取平均，推导出 $PGL_r$-丛的显式Verlinde公式，其与 [AMW] 中的一般公式一致，条件为 $\{1,\dots,r+k\}$ 的子集满足coperiodicity条件。