[论文解读] Theta Functions for $\SL(n)$ versus $\GL(n)$

Ron Donagi, Loring W. Tu|ArXiv.org|Mar 28, 1993

Algebraic Geometry and Number Theory参考文献 7被引用 38

一句话总结

本文建立了曲线上 SL(n) 与 GL(n) 向量丛模空间上 theta 函数之间的精确维数关系，证明了在固定行列式模空间 SM(n,d) 和完整模空间 M(n,d) 上，k 级 theta 函数空间的维数由 gcd(n,d) 和亏格 g 决定。此外，本文在 genus 1 和 degree 0 的情形下通过显式计算，支持了关于参数对合下这两个空间之间自然对偶性的猜想。

ABSTRACT

Over a smooth complex projective curve $C$ of genus $g$ let $\M (n,d)$ be the moduli space of semistable bundles of rank $n$ and degree $d$ on $C$, and $\SM (n,L)$, the moduli space of those bundles whose determinant is isomorphic to a fixed line bundle $L$ over $C$. Let $θ_F$ and $θ$ be theta bundles over these two moduli spaces. We prove a simple formula relating their spaces of sections: if $h=\gcd (n,d)$ is the greatest common divisor of $n$ and $d$, and $L\in \Pic ^d(C)$, then $$\dim H^0(\SM (n,L), θ^k) \cdot k^g=\dim H^0(\M(n,d),θ_F^k)\cdot h^g.$$ We also formulate a conjectural duality between these two types of spaces of sections.

研究动机与目标

• 建立 SM(n,d) 和 M(n,d) 上 k 级 theta 函数空间维数之间的精确公式。
• 研究光滑射影曲线上 SL(n)（固定行列式）与 GL(n)（任意行列式）向量丛的 theta 函数之间的关系。
• 提出并提供证据支持关于参数对合下 SM(n₁,d₁) 与 M(n₂,d₂) 上 theta 函数之间对偶性的猜想。
• 将 k=1 且 d=0 时的已知结果推广至一般 k 和任意 d，使用 Verlinde 公式与 Galois 覆叠。
• 澄清 GL(n) 情形下 theta 线丛对互补丛与行列式线丛的依赖关系。

提出的方法

• 通过 Galois 覆叠 τ: SM(n,L) × Pic⁰(C) → M(n,d) 推导维数公式，该覆盖为平态，次数为 n²g，群为 n-挠线丛群 Tₙ。
• 应用 Riemann-Roch 定理刻画给定 E ∈ M(n,d) 的互补丛 F，确保 χ(E⊗F) = 0，并利用此定义 M(n,d) 上的 theta 线丛 θ_F。
• 通过张量积映射 τ_F: E ↦ E⊗F 将 M(nn_F, nn_F(g−1)) 上的 theta 线丛 θ 拉回，定义 θ_F = τ_F^*θ。
• 应用 Verlinde 公式（Faltings）计算 dim H⁰(SM(n,L), θᵏ)，并利用定理 1 推出 H⁰(M(n,d), θ_Fᵏ) 的维数。
• 引入一个对合 (n₁,d₁,k) ↦ (n₂,d₂,h)，其中 n₁ = hṅ, d₁ = hḋ, n₂ = kṅ, d₂ = k(ṅ(g−1)−ḋ)，且 h = gcd(n,d)，以关联两个模空间。
• 在 genus 1 和 degree 0 的情形下进行显式计算，利用对称积 S^h C' 和 S^k C' 将模空间识别为射影空间，并验证对偶性。

实验结果

研究问题

• RQ1 SM(n,d) 和 M(n,d) 上 k 级 theta 函数空间的维数之间有何关系？
• RQ2 dim H⁰(SM(n,L), θᵏ) 与 dim H⁰(M(n,d), θ_Fᵏ) 之间的精确公式如何用 n, d, k, g 表示？
• RQ3 在参数对合 (n₁,d₁,k) ↦ (n₂,d₂,h) 下，H⁰(SM(n₁,d₁), θᵏ) 与 H⁰(M(n₂,d₂), θ_Fʰ) 之间是否存在自然对偶性？
• RQ4 互补丛 F 的选择如何影响 M(n,d) 上的 theta 线丛 θ_F，且在何种条件下 θ_F 是真正的 theta 线丛？
• RQ5 该对偶性猜想是否可在 genus 1 曲线或 degree 0 向量丛等特殊情形下得到验证？

主要发现

• 本文证明了 dim H⁰(SM(n,L), θᵏ) · k^g = dim H⁰(M(n,d), θ_Fᵏ) · h^g，其中 h = gcd(n,d)，建立了 SL(n) 与 GL(n) theta 函数之间精确的维数关系。
• 当 k=1 且 d=0 时，结果退化为 Beauville、Laszlo 和 Sorger 的已知计算，与先前工作一致。
• 在 genus 1 情形下，模空间 SM(hṅ, hḋ) 和 M(kṅ, −kḋ) 分别被识别为对称积 S^h C' 和 S^k C'，从而可进行显式上同调计算。
• 在 genus 1 情形下显式验证了对偶性：H⁰(SM(hṅ, (det F)^h), θᵏ) 与 H⁰(M(kṅ, −kḋ), θ_Fʰ) 通过对称幂上同调自然对偶。
• 在 degree 0 情形（d=0）下，对偶性猜想退化为 s(n,0,k) = v(k,0,n)，该式通过 Verlinde 公式与 Bott–Szenes 计算得到证实。
• M(n,d) 上的 theta 线丛 θ_F 仅依赖于 F 的秩与 det F，且当 rk F 不是最小时，θ_F 是某个真正 theta 线丛的倍数。