[论文解读] Some rational subvarieties of moduli spaces of stable vector bundles

Sonia Brivio, Federico Fallucca+1 more|arXiv (Cornell University)|Feb 18, 2026

Algebraic Geometry and Number Theory被引用 0

一句话总结

作者构造了在X上具有固定行列式和秩为r的mu_H-稳定向量束族，由r+1个全局截面生成，导出在模空间中的子多样体，它们与Grassmannians Gr(r+1, H^0(L))同构到birational，K3表面上这些子多样体在相空间中的情况下是Lagrangian。

ABSTRACT

Let X be a smooth complex irreducible projective variety of dimension $n \geq 2$ and $H$ be an ample line bundle on $X$. In this paper, we construct families of $μ_H$-stable vector bundles on $X$ having fixed determinant and rank $r$, which are generated by $r+1$ global sections, parametrized by Grassmanian varieties. This gives into the corresponding moduli spaces special subvarieties birational to Grassmannian.

研究动机与目标

• 在光滑投影簇Var X（维数n>=2）上，动机化并明确构造秩为r、行列式为L的mu_H-稳定向量束，且由r+1个全局截面生成。
• 证明所构造的向量束在模空间中给出子多样体，这些子多样体与Grassmannians Gr(r+1, H^0(L))同胞状（birational）。
• 将该构造专化到代数曲面上，以在不同Kodaira维度下提供示例，并聚焦于K3表面，在模空间是对称的情形下，这些子多样体为Lagrangian。

提出的方法

• 从一个秩为r、h^0(E)=r+1且行列式为L的全局生成向量束E出发，研究对H^0(L)中一个(r+1)维子空间W的估值映射的核M_{W,L}.
• 定义E_W = (Ker(ev_W))^*，并证明E_W是全局生成的，且det(E_W)=L且c_k(E_W)=c_1(L)^k；将W与行列式映射d_E联系起来。
• 设定可容许数据(X,L,H,r)并满足A1-A3，以确保存在一个属g>=2的光滑曲线C以及H^0(L) -> H^0(L|_C)的满射，从而通过对C的限制来控制稳定性。
• 通过将E_W在曲线C上降维到稳定性并利用曲线上的核束稳定性结果，证明E_W的mu_H稳定性；显示d_E是单射且Im(d_E)=W。
• 通过W -> [E_W]从Gr(r+1, H^0(L))到模空间M^s_H(r,L,ĉ)构造一个有理映射，并证明该映射是单射，从而得到一个与Gr(r+1, H^0(L))同胞状的子多样体。
• 专化到曲面S：对所有Kodaira维度产生可容许数据并分析K3表面，在存在性非空时使得所得到的子多样体在具有对称形式的模空间中为Lagrangian。

实验结果

研究问题

• RQ1 是否能在高维X上显式构造秩为r、固定行列式L的mu_H-稳定向量束，并由r+1个全局截面生成？
• RQ2 这些向量束是否在模空间中生成与Grassmannians Gr(r+1, H^0(L))同胞状的子多样体？
• RQ3 在何种数值与几何条件（A1-A3）下，对所选择曲线C的限制带来稳定性保证，从而在X上得到mu_H稳定性？
• RQ4 在代数曲面上的具体可容许数据(X,L,H,r)有哪些实例，及其对应模子空间子多样体的性质？
• RQ5 在K3表面的情形，Grassmannian同胞状子多样体是否可以作为模空间中稳定殷切的Lagrangian子多样体来实现？

主要发现

• 具有固定行列式与Chern类的mu_H-稳定向量束模空间非空，并包含一个与Gr(r+1, H^0(L))同胞状的子多样体。
• 对于可容许数据，存在一个从Gr(r+1, H^0(L))到模空间的有理映射，在非空开集上单射，从而得到Grassmannian的同胞状映像。
• 构造的子多样体的维度具有下界( r+1 )(d−g−r)，其中d=deg(L|_C)且g为曲线的基环；该关系在Remark 2.5中给出。
• 对合适曲线C的限制以及曲线C上核束的稳定性结果，意味着在给定数值假设下X上的原向量束也稳定。
• 在K3表面上，所构造的Lagrangian子多样体存在于平滑不可约对称的线性或可对称模空间中，与这些模空间的对称几何相一致。
• 本文提供一个框架，通过核-对偶-span型构造，生成具有指定行列式与Chern类的全局生成mu_H-稳定向量束。