[论文解读] Moduli varieties of real and quaternionic vector bundles over a curve

Florent Schaffhauser|arXiv (Cornell University)|Mar 27, 2010

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

一句话总结

本文使用规范理论方法构建了具有实结构的复射影曲线上的半稳定实与四元数向量丛的模空间，表明它们作为复射影代数簇的实子簇嵌入其中且连通。本文建立了稳定全纯丛模空间上伽罗瓦作用固定点集的 Harnack 型界 $2^g + 1$ 个连通分支，将 Gross 与 Harris 的秩一结果推广至更高秩。

ABSTRACT

We examine a moduli problem for real and quaternionic vector bundles on a smooth complex projective curve with a fixed real structure, and we give a gauge-theoretic construction of moduli spaces for semi-stable such bundles with fixed topological type. These spaces embed onto connected subsets of real points inside a complex projective variety. We relate our point of view to previous work by Biswas, Huisman and Hurtubise (arXiv:0901.3071), and we use this to study the Galois action induced on moduli varieties of stable holomorphic bundles on a complex curve by a given real structure on the curve. We show in particular a Harnack-type theorem, bounding the number of connected components of the fixed-point set of that action by $2^g +1$, where $g$ is the genus of the curve. In fact, taking into account all the topological invariants of the real structure, we give an exact count of the number of connected components, thus generalising to rank $r > 1$ the results of Gross and Harris on the Picard scheme of a real algebraic curve.

研究动机与目标

• 开发一种基于规范理论的构造方法，用于构建具有固定实结构的复射影曲线上半稳定实与四元数向量丛的模空间。
• 将此构造与 Biswas、Huisman 和 Hurtubise 关于实丛模空间的前期工作联系起来。
• 分析由曲线上实结构诱导的稳定全纯丛模空间上的伽罗瓦作用。
• 将固定点集连通分支数的 Harnack 型界从秩一（Picard 丛）推广至任意秩 $r > 1$。
• 利用实结构的拓扑不变量，提供连通分支数的精确计数。

提出的方法

• 利用规范理论技术，为具有固定拓扑类型的半稳定实与四元数向量丛构造模空间。
• 将所得模空间作为复射影代数簇中的连通子集嵌入，其作为此类簇的实点实现。
• 依赖于全纯结构、实与四元数结构，以及由曲线实结构诱导的伽罗瓦群作用之间的相互作用。
• 应用 Biswas、Huisman 与 Hurtubise 的结果，从实代数几何与伽罗瓦作用的角度解释模空间。
• 利用实结构的拓扑不变量——如实点集的连通分支数及其在同调上的作用——来细化模空间中连通分支数的计数。
• 使用 Narasimhan–Seshadri 定理及其实/四元数类比，将稳定性与酉表示及调和度量联系起来。

实验结果

研究问题

• RQ1 如何使用规范理论方法在具有实结构的复射影曲线上构造半稳定实与四元数向量丛的模空间？
• RQ2 由实曲线结构诱导的稳定全纯丛模空间上伽罗瓦作用的固定点集具有何种结构？
• RQ3 该固定点集的连通分支数如何依赖于实结构的拓扑类型？
• RQ4 能否将秩一情形下 $2^g + 1$ 个连通分支的 Harnack 型界从秩一推广至更高秩向量丛？
• RQ5 何种精确公式控制连通分支数，其依赖于实结构的拓扑不变量？

主要发现

• 半稳定实与四元数向量丛的模空间作为复射影代数簇的实点嵌入其中，且为连通子集。
• 稳定全纯丛模空间上伽罗瓦作用的固定点集连通分支数上界为 $2^g + 1$，其中 $g$ 为曲线的亏格。
• 提供了连通分支数的精确计数，其依赖于实结构的拓扑不变量，将 Gross 与 Harris 的秩一结果推广至任意秩 $r > 1$。
• 该构造建立了实与四元数向量丛与酉表示某些实形式之间的对应关系，通过 Narasimhan–Seshadri 定理实现。
• 模空间被证明是实代数簇，其拓扑由实结构的固定点数据所决定。
• 本文证实 Harnack 界是紧致的，且在实结构具有最大拓扑复杂性时达到。