[论文解读] On the logarithmic connections over curves

Indranil Biswas, Viktoria Heu|arXiv (Cornell University)|May 11, 2012

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

一句话总结

本文建立了阿贝尔覆盖的等变对数联络与商曲线上的抛物对数联络之间的对应关系，证明了模空间上有限阶线丛作用的不动点恰好是此类覆盖的提升。在秩与度数互素的情形下，该作用在上同调上是平凡的，意味着诱导的上同调映射为恒等映射。

ABSTRACT

We study two different actions on the moduli spaces of logarithmic connections over smooth complex projective curves. Firstly, we establish a dictionary between logarithmic orbifold connections and parabolic logarithmic connections over the quotient curve. Secondly, we prove that fixed points on the moduli space of connections under the action of finite order line bundles are exactly the push-forward of logarithmic connections on a certain unramified Galois cover of the base curve. In the coprime case, this action of finite order line bundles on the moduli space is cohomologically trivial.

研究动机与目标

• 将轨道丛–抛物丛字典推广至包含相容余部的对数联络。
• 刻画有限阶线丛作用在对数联络模空间上的不动点。
• 证明此类不动点恰好是来自无分支伽罗瓦覆盖的联络的提升。
• 在秩与度数互素的情形下，建立模空间上作用的上同调平凡性。
• 将阿蒂yah–韦尔准则推广至具有指定中心余部的对数联络。

提出的方法

• 在伽罗瓦覆盖 $Y \to X$ 上构造 $\Gamma$-等变对数联络与商曲线 $X = Y/\Gamma$ 上抛物对数联络之间的字典。
• 定义 $Y \to X$ 上 $\Gamma$-等变联络 $D$ 沿向量丛 $E \to Y$ 的提升，得到 $X$ 上 $\Gamma$-不变子丛 $V = (\phi_*E)^\Gamma \to X$ 上的联络 $D'$。
• 证明 $D'$ 在抛物点处的余部分解了拟抛物滤子，并与 $Y$ 上余部算子的特征值一致。
• 通过将 $X$ 上的抛物联络提升至合适的覆盖 $Y \to X$ 上的 $\Gamma$-等变联络，反向构造该对应。
• 利用有限阶线丛 $L$ 的张量积作用在对数联络模空间上定义自同构。
• 通过 Serre 对偶性与幂零自同态的消失性，证明上同调中的障碍类 $H^1(\mathrm{End}(E) \otimes K_X)$ 消失，从而证明诱导作用在上同调上是平凡的。

实验结果

研究问题

• RQ1 如何将轨道丛向量丛与抛物丛之间的对应关系扩展至包含对数联络？
• RQ2 有限阶线丛作用在对数联络模空间上的不动点由什么特征刻画？
• RQ3 在何种条件下，有限阶线丛作用在对数联络模空间上是上同调平凡的？
• RQ4 阿蒂yah–韦尔准则对全纯联络的推广能否推广至具有指定中心余部的对数联络？
• RQ5 $\Gamma$-等变联络在覆盖曲线上与商曲线上抛物联络之间的精确关系是什么？

主要发现

• 在曲线 $Y$ 上的 $\Gamma$-等变对数联络诱导出商曲线 $X = Y/\Gamma$ 上的抛物对数联络，且抛物权值与余部算子的特征值一致。
• 在 $X$ 上诱导的抛物联络的余部分解了拟抛物滤子，确保与抛物结构相容。
• 有限阶线丛 $L$ 在对数联络模空间上的张量积作用的不动点，恰好是通过由 $L$ 定义的无分支伽罗瓦覆盖 $Y_L \to X$ 提升的对数联络的推前。
• 在秩与度数互素的情形下，诱导作用在上同调上是平凡的：自同构 $\Phi$ 在 $\mathcal{M}(r,D_\xi)$ 上诱导出 $H^*(\mathcal{M}(r,D_\xi), \mathbb{Q})$ 上的恒等映射。
• 由于迹条件与幂零贡献的消失，精确列 $0 \to \mathrm{End}(E) \otimes K_X \to \mathcal{A}(E) \to \mathcal{O}_X \to 0$ 的分裂障碍消失，从而保证了具有指定中心余部的对数联络的存在性。
• 向量丛 $E$ 上存在具有中心余部 $\lambda_i \cdot \mathrm{Id}$ 的对数联络，当且仅当相关的层精确列 $\mathcal{A}(E)$ 可分裂。