[论文解读] Remark on a conjecture of Mukai

Arnaud Beauville|ArXiv.org|Oct 17, 2006

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

一句话总结

本文证明了关于一般曲线 C 上秩为 2 且典范行列式之向量丛 E 的乘法映射 μ_E 的 Mukai 猜想，确立了当 h⁰(E) ≤ 6 时 μ_E 是单射。证明方法结合了布里尔-诺伊曼理论与到格拉斯曼流形的映射像的几何约束，表明存在秩 ≤6 的核张量将与布里尔-诺伊曼一般曲线上线丛上同调的界产生矛盾。

ABSTRACT

Let C be a general curve. Mukai asked whether for every stable rank 2 vector bundle E on C with det(E) = K, the multiplication map Sym^2 H^0(C,E) --> H^0(C, Sym^2 E) is injective. We observe that this holds when h^0(E) < 7 .

研究动机与目标

• 证明关于稳定秩 2 向量丛 E 满足 det E = K_C 的乘法映射 μ_E 的 Mukai 猜想，即在一般曲线上 μ_E 的单射性。
• 在 n ≤ 6 时，确立此类丛的模空间中 strata M_K^n 的光滑性与正确余维数。
• 证明当曲线的亏格 g ≤ 9 时，该猜想成立，从而将布里尔-诺伊曼理论的类比推广至秩 2 向量丛。
• 通过在更高亏格曲线上构造反例，证明 h⁰(E) ≤ 6 的界是紧的。
• 分析低秩核张量对到格拉斯曼流形 GO(2,n) 的映射像所施加的几何约束。

提出的方法

• 使用条件 (⋆)：E 的所有子线丛 L 均满足对称平方映射 μ_L 的单射性，该条件在高亏格曲线上几乎处处成立。
• 假设存在非零核张量 τ ∈ S²H⁰(E) 满足 μ_E(τ) = 0，并将 τ 分解为截面平方的和，从而导出 n ≥ 7 的假设。
• 实现由截面定义的映射 φ: P_C(F) → P^{n−1}，其像位于由 X₁² + ... + X_n² = 0 定义的光滑二次曲面 Q 上。
• 将相关映射 γ: C → G(2,n) 因式分解为正交格拉斯曼流形 GO(2,n) 上的映射，该流形参数化各向同性 2-平面。
• 利用 Plücker 线丛 O_G(1) 在 GO(2,n) 上限制为两个全局生成线丛之和（当 n ≤ 6 时），从而导出 K_C 的分解。
• 通过布里尔-诺伊曼理论导出矛盾：该分解意味着存在满足 h⁰(L) ≥ 2 且 deg L ≤ g+1 的线丛 L，违反了在布里尔-诺伊曼一般曲线上乘法映射的单射性。

实验结果

研究问题

• RQ1 当 h⁰(E) ≤ 6 时，稳定秩 2 向量丛 E 满足 det E = K_C 的乘法映射 μ_E: S²H⁰(E) → H⁰(S²E) 是否仍保持单射？
• RQ2 能否证明此类丛的模空间 M_K^n 在 n ≤ 6 时是余维数为 ½n(n+1) 的光滑流形？
• RQ3 Mukai 猜想是否对 g ≤ 9 的曲线成立，且该结论是否可由 μ_E 的单射性推出？
• RQ4 在无额外假设下，h⁰(E) ≤ 6 的界能否改进？是否存在 h⁰(E) ≥ 7 时的反例？
• RQ5 当存在秩为 7 的核张量时，会产生何种几何障碍？这与正交格拉斯曼流形 GO(2,n) 的结构有何关联？

主要发现

• 该猜想对所有满足 det E = K_C 且 h⁰(E) ≤ 6 的稳定秩 2 向量丛 E 成立，即 μ_E 是单射。
• 对所有 n ≤ 6，模空间 M_K^n 在 M 中是余维数为 ½n(n+1) 的光滑流形，确认了布里尔-诺伊曼理论的类比。
• Mukai 猜想对所有亏格 g ≤ 9 的曲线成立，因为在该范围内有 h⁰(E) ≤ g/2 + 2，故 h⁰(E) ≤ 6。
• 对每个 s ≥ 5，存在一个亏格 g = 2s 的布里尔-诺伊曼一般曲线 C，以及一个满足 det E = K_C 的稳定丛 E，使得 Ker μ_E 包含一个秩为 7 的张量。
• 结果无法进一步推广至 h⁰(E) ≤ 6 之外的原因在于：当 n ≥ 7 时，Pic(G(2,n)) → Pic(GO(2,n)) 成为同构，破坏了分解论证。
• 对亏格 g = 2s 且 h⁰(E) = s+2 的情况，μ_E 的核维数 ≥ s−4，且在所构造的反例中，所有非零元素的秩恰好为 7。