[论文解读] Subvarieties of moduli spaces of sheaves via finite coverings

Markus Zowislok|arXiv (Cornell University)|Oct 17, 2012

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

一句话总结

本文研究了有限无分支覆盖（特别是曲面的循环覆盖与典范覆盖）下层叠稳定性与模空间的行为。研究结果表明，此类覆盖的拉回诱导了半稳定层模空间之间的态射，并在特定条件下，其像在由K3或阿贝尔曲面导出的不可约全纯对称复流形中构成拉格朗日子簇——从而提供了一种通过有限覆盖构造拉格朗日子簇的机制。

ABSTRACT

Given a finite unbranched covering of a nonsingular projective scheme we analyse the morphism between moduli spaces of sheaves induced by pullback. We have a closer look at cyclic coverings and, in particular, at canonical coverings of surfaces. Our main application is the construction of Lagrangian subvarieties of certain irreducible holomorphically symplectic manifolds that arise from moduli spaces of sheaves on K3 or abelian surfaces.

研究动机与目标

• 分析Gieseker稳定性、扭曲稳定性以及(H,A)-稳定性在非奇异射影概形的有限无分支覆盖下的拉回行为。
• 理解此类拉回诱导的半稳定层模空间之间的态射。
• 研究拉回映射像的结构，特别是关于多项稳定性和稳定性保持性的问题。
• 通过从Enriques曲面或双椭圆曲面的模空间拉回，构造不可约全纯对称复流形中的拉格朗日子簇。
• 确定何时拉回像构成拉格朗日子簇，特别是在K3与阿贝尔曲面的典范覆盖情形下。

提出的方法

• 利用有限无分支覆盖 $ f: X \to Y $ 的拉回函子，诱导半稳定层模空间之间的态射 $ f^*: M_Y \to M_X $。
• 通过张量积有限阶线丛作用于模空间，分析拉回下稳定性行为。
• 采用 $ u $-一般极化超平面与极化锥中的墙结构概念，确保拉回下的稳定性保持。
• 将结果应用于典范覆盖：K3曲面到Enriques曲面的双重覆盖，以及阿贝尔曲面到双椭圆曲面的双重覆盖。
• 通过Albanese映射将高维对称流形约化，以在阿贝尔曲面情形下分离出拉格朗日子簇。
• 运用Bogomolov分解与纤维约化技术，识别结果对称流形中的拉格朗日子簇。

实验结果

研究问题

• RQ1 Gieseker稳定性（及相关概念）在有限无分支覆盖下的拉回是否保持？
• RQ2 拉回态射 $ f^*: M_Y \to M_X $ 的像结构如何？哪些层属于其像？
• RQ3 在何种条件下，$ Y $ 上稳定层的拉回在 $ X $ 上仍保持稳定，或变为严格半稳定？
• RQ4 能否通过从Enriques或双椭圆曲面拉回，在K3或阿贝尔曲面的层模空间中构造拉格朗日子簇？
• RQ5 关于陈特征的初等性与一般极化超平面在确保拉回像的拉格朗日性质中起何作用？

主要发现

• 拉回 $ f^* $ 诱导态射 $ f^*: M_Y \to M_X $，将闭点 $[E]$ 映射至 $[f^*E]$，其像由多项稳定 $ G $-层构成。
• 拉回保持半稳定性：若 $ E $ 在 $ Y $ 上半稳定，则 $ f^*E $ 在 $ X $ 上半稳定，且 $ (f^*)^{-1}(M_X^s) \subseteq M_Y^s $。
• 对于由有限阶线丛 $ L $ 定义的循环覆盖，拉回下变为严格半稳定的层的集合在定理3.14中被精确刻画。
• 当 $ X $ 为K3曲面且 $ f^*u $ 为初等时，模空间 $ M_X(f^*u) $ 为不可约全纯对称复流形，且拉回像构成拉格朗日子簇。
• 在阿贝尔曲面情形，Albanese映射约化保持拉格朗日子簇，将其约化为更小的拉格朗日子簇。
• 本文表明，在奇数秩情形下，复环面不会作为拉格朗日子簇出现，但在偶数秩情形下椭圆曲线可能产生，暗示存在更高维拉格朗日环面的可能性。