[論文レビュー] 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

ひとこと要約

作者构造在固定行列式下由 r+1 个全局截面生成的 mu_H-稳定秩 r 的向量束族，得到与 Grassmannians Gr(r+1, H^0(L)) 双有理的模空间子多样体；在 K3 表面上若模空间为辛，则该子多样体为拉格朗日。

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.

研究の動機と目的

• 在光滑投影簇 X（维数 n >= 2）上，动机明确地构造由 r+1 个全局截面生成、行列式为 L 的 mu_H-稳定秩 r 向量束 E。
• 证明所构造的向量束在模空间中给出与 Grassmannians Gr(r+1, H^0(L)) 同胚到的亚多样体。
• 将构造专门化到代数曲面，提供在 Kodaira 維度中的例子；并重点考察 K3 表面，在模空间为对称/辛结构时，若亚多样体非空则为拉格朗日。

提案手法

• 从一个秩为 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，以确保存在若干 genus g>=2 的光滑曲线 C 及 H^0(L) -> H^0(L|_C) 的满射，从而通过对 C 的限制来控制稳定性。
• 通过化归到曲线 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 表面，在非空时所得亚多样体在对称模空间中为拉格朗日。

実験結果

リサーチクエスチョン

• RQ1 是否能够在高维 X 上显式构造由 r+1 个全局截面生成、行列式固定的 mu_H-稳定秩 r 向量束？
• RQ2 这些构造的向量束是否在模空间中生成与 Grassmannians Gr(r+1, H^0(L)) 同胚的子多样体？
• RQ3 在何种数值与几何条件（A1-A3）下，对选定曲线 C 的限束稳定性能保证在 X 上的 mu_H-稳定性？
• RQ4 在代数曲面上跨越 Kodaira 維度的具体可容许数据（X,L,H,r）有哪些实例，以及相应模子空间亚多样体的性质？
• RQ5 在 K3 表面情形，Grassmannian-双有理子多样体是否能够在稳定壳的模空间中实现为拉格朗日子多样体？

主な発見

• 带有固定行列式和 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 为曲线的 genus，如注释 2.5 所述。
• 对曲线 C 的限制以及 C 上核束的稳定性在给定数值假设下隐含了原始向量束在 X 上的稳定性。
• 在 K3 表面上，所构造的拉格朗日亚多样体存在于光滑的不可约对称模空间中，与这些模空间的对称几何一致。
• 本文提供一个框架，通过核-与对偶跨越构造，生成具有特定行列式与 Chern 类的全局生成的 mu_H-稳定向量束。