[论文解读] Torus fixed points of moduli spaces of stable bundles of rank three

Thorsten Weist|ArXiv.org|Mar 4, 2009

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

一句话总结

本文通过环面不动点计算了射影平面上秩三稳定向量丛模空间的欧拉示性数的生成函数。利用箭头图表示和稳定性条件，根据陈类与判别式对不动点进行分类，表明模空间为射影直线；关键结果是得到了欧拉示性数的闭式生成函数，其显式系数由子空间与滤子的组合构型导出。

ABSTRACT

By a result of Klyachko the Euler characteristic of moduli spaces of stable bundles of rank two on the projective plane is determined. Using similar methods we extend this result to bundles of rank three. The fixed point components correspond to moduli spaces of the subspace quiver. Moreover, the stability condition is given by a certain system of linear inequalities so that the generating function of the Euler characteristic can be determined explicitly.

研究动机与目标

• 将模空间欧拉示性数的计算从秩二推广至射影平面上的秩三向量丛。
• 通过三维向量空间的滤子分类射影平面上秩三丛模空间中环面不动点。
• 通过子空间箭头图与稳定性条件，确定半稳定与稳定表示模空间的结构。
• 基于子空间构型与陈类，推导这些模空间欧拉示性数的生成函数。
• 证明半稳定表示的模空间同构于射影直线，且不动点分支为有限且可计算。

提出的方法

• 将秩三环面丛建模为三维向量空间的滤子，解释为子空间箭头图的表示。
• 通过定义在维数向量上的斜率函数施加稳定性条件，将其简化为线性不等式组。
• 利用欧拉形式与GIT商构造，定义半稳定与稳定表示的模空间。
• 通过分析给定一维子空间被多少个二维子空间包含，分类不动点，确定第二陈类与判别式。
• 通过在维数向量中非零项的构型上求和，计算生成函数 F(x)，并校正包含类型。
• 推导判别式 D(k)、D¹(k)、D²(k)、D³(k) 的显式公式，以编码不同包含模式的贡献。

实验结果

研究问题

• RQ1 射影平面上秩三稳定丛模空间中的环面不动点在环面作用下如何分解？
• RQ2 秩三丛子空间箭头图半稳定表示的模空间结构如何？
• RQ3 在滤子的不同子空间构型下，第二陈类如何变化？
• RQ4 射影平面上秩三稳定丛模空间欧拉示性数的生成函数是什么？
• RQ5 在何种条件下出现多项稳定点与稳定点，它们如何贡献于欧拉示性数？

主要发现

• 秩三丛子空间箭头图半稳定表示的模空间同构于射影直线 P¹。
• 射影平面上秩三稳定丛的判别式为 0 或 4 模 6。
• 当判别式为 0 时，多项稳定点存在，其数量仅取决于子空间箭头图的臂长。
• 当判别式为 4 模 6 时，仅存在稳定点，模空间为 P¹ 去掉两点。
• 欧拉示性数的生成函数 F(x) 显式计算为 14 项之和，涉及 D(k)、D¹(k)、D²(k)、D³(k)，其系数来自包含类型的组合构型。
• F(x) 的幂级数展开中，首个非零项为 −x⁻¹⁸，随后为 −6x⁻³⁰、−3x⁻⁴² 与 −12x⁻⁴⁸，更高阶项表现出递增的复杂性与增长。