[论文解读] Remarks on motives of moduli spaces of rank 2 vector bundles on curves

Kyoung-Seog Lee|arXiv (Cornell University)|Jun 28, 2018

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

一句话总结

本文建立了曲率 $C$ 上秩 2 稳定向量丛模空间 $M_L$ 的动机分解，其中 $C$ 的亏格 $g \geq 2$，且行列式为固定的一次度数。在 del Bano 的动机计算基础上，作者证明了 $h(M_L)$ 可分解为对称幂 $C^{(k)}$ 的动机与 Lefschetz 扭转的张量积的直和，为 Narasimhan 关于导出范畴的猜想半正交分解提供了有力证据。

ABSTRACT

Let $C$ be an algebraic curve of genus $g \geq 2$ and $M_L$ be the moduli space of rank 2 stable vector bundles on $C$ whose determinants are isomorphic to a fixed line bundle $L$ of degree 1 on $C.$ S. del Bano studied motives of moduli spaces of rank 2 vector bundles on $C$ and computed the motive of $M_L.$ In this note, we prove that his result gives an interesting decomposition of the motive of $M_L.$ This motivic decomposition is compatible with a conjecture of M. S. Narasimhan which predicts semi-orthogonal decomposition of derived category of the moduli space.

研究动机与目标

• 在导出范畴与动机几何的背景下，解释并细化 del Bano 对 $M_L$ 动机计算的结果。
• 建立与 Narasimhan 关于 $D(M_L)$ 的猜想半正交分解相容的 $M_L$ 动机分解。
• 为涉及曲线 $C$ 对称幂的猜想导出范畴结构的动机实现提供证据。
• 通过 Fukaya 范畴探索动机分解、Hodge 理论与同调镜像对称之间的联系。

提出的方法

• 利用 del Bano 关于 $M_L$ 动机的结论，其表达为 $h^1(C)$ 外幂与 Lefschetz 扭转的和。
• 通过公式 $h(C^{(k)}) = \bigoplus_{a+b+c=k} 1^{\otimes a} \otimes \lambda^b h^1(C) \otimes \mathbb{L}^{\otimes c}$ 应用对称幂 $C^{(k)}$ 的动机分解公式。
• 通过形式幂级数恒等式比较原始分解与提议分解中 $\lambda^i h^1(C)$ 的系数。
• 运用一个关键代数恒等式：$\sum_{j=0}^{m-1}\sum_{c=0}^j (x^{j+c} + x^{3m-2j+c}) + \sum_{c=0}^m x^{m+c} = \frac{1-x^{m+1}}{1-x} \cdot \frac{1-x^{2m+2}}{1-x^2}$ 来验证动机的同构。
• 将动机同构转化为 Hodge 方阵分解，并通过同调镜像对称推测其对 Fukaya 范畴的含义。

实验结果

研究问题

• RQ1 del Bano 对 $M_L$ 的动机计算是否可被细化，以反映导出范畴的结构？
• RQ2 能否将 $M_L$ 的动机表示为对称幂 $C^{(k)}$ 的动机与 Lefschetz 扭转张量积的直和？
• RQ3 此动机分解是否与 Narasimhan 关于 $D(M_L)$ 的猜想半正交分解相容？
• RQ4 此动机结构对 $M_L$ 的 Hodge 理论与同调镜像对称有何影响？

主要发现

• 在任意动机的半单范畴中，动机 $h(M_L)$ 具有同构 $\bigoplus_{k=0}^{g-2} h(C^{(k)}) \otimes (\mathbb{L}^{\otimes k} \oplus \mathbb{L}^{\otimes 3g-3-2k}) \oplus h(C^{(g-1)}) \otimes \mathbb{L}^{\otimes g-1}$。
• 该分解通过比较 del Bano 公式与提议表达式中 $\lambda^i h^1(C)$ 的系数而证明，依赖于一个形式幂级数恒等式。
• 动机分解意味着 $M_L$ 的 Hodge 方阵也存在相应分解，反映出其底层几何结构。
• 该结果支持 Narasimhan 关于 $D(M_L)$ 半正交分解的猜想，其中分量 $D(C^{(k)})$ 成对出现，$k$ 最大至 $g-2$，并有一个单独的 $D(C^{(g-1)})$。
• 该动机结构与 $M_L$ 的 Karoubi 完备化 Fukaya 范畴的猜想正交分解相容，暗示了镜像对称的解释。