[论文解读] Some observations on Karoubian complete strongly exceptional posets on the projective homogeneous varieties

Masaharu Kaneda, Jiachen Ye|ArXiv.org|Nov 13, 2009

Advanced Algebra and Geometry参考文献 26被引用 8

一句话总结

本文提出了一种新方法，通过弗罗贝尼乌斯直接像的结构层，在正特征下构造射影齐次空间上局部自由层的Karoubian完备强例外集列。对于低秩半单群，该方法识别出由Weyl群的陪集代表参数化的层作为 $F_*\tilde{\omega}$ 的直和项，验证了Catanese猜想，并通过基变换到 $\mathbb{C}$ 将Beilinson与Kapranov的经典结果推广至正特征。该构造依赖于诱导模的 $G_1T$-层系与Kazhdan-Lusztig多项式，且在类型 $A_n$ 与 $C_n$ 中给出了这些层的显式公式。

ABSTRACT

Let $\cP=G/P$ be a homogeneous projective variety with $G$ a reductive group and $P$ a parabolic subgroup. In positive characteristic we exhibit for $G$ of low rank a Karoubian complete strongly exceptional poset of locally free sheaves appearing in the Frobenius direct image of the structure sheaf of $G/P$. These sheaves are all defined over $\bbZ$, so by base change provide a Karoubian complete strongly exceptional poset on $\cP$ over $\bbC$, adding to the list of classical results by Beilinson and Kapranov on the Grassmannians and the quadrics over $\bbC$.

研究动机与目标

• 为射影齐次空间 $G/P$ 上局部自由层的Karoubian完备强例外集列提供一种新构造方法。
• 验证Catanese关于由 $W^P$ 参数化的层 ${\mathcal{E}}_w$ 存在性的猜想，这些层满足强例外性与生成性条件。
• 确立这些层在正特征 $p > h$ 下作为弗罗贝尼乌斯直接像 $F_*\mathcal{O}_{\mathcal{P}}$ 的直和项出现。
• 通过基变换并利用 $G_1$-模结构，将Beilinson与Kapranov在 $\mathbb{C}$ 上的经典结果推广至正特征。
• 将该构造与 $F_*\mathcal{O}_{\mathcal{P}}$ 的tilting性质及Bezrukavnikov-Mirkovic-Rumynin局部化定理相联系。

提出的方法

• 利用绝对弗罗贝尼乌斯态射 $F: \mathcal{P} \to \mathcal{P}$ 研究 $F_*\mathcal{O}_{\mathcal{P}}$，其通过 $G/G_1P$ 因子分解同构于 $\phi_*q_*\mathcal{O}_{\mathcal{P}}$。
• 分析诱导 $G_1P$-模 $\hat{\nabla}_P(\varepsilon)$ 的结构，该模分类了 $q_*\mathcal{O}_{\mathcal{P}}$，并利用 $G_1T$-层系。
• 用Kazhdan-Lusztig多项式表达 $\hat{\nabla}_P(\varepsilon)$ 的层系，以识别由 $w \in W^P$ 参数化的 $G_1$-单模。
• 将 $G_1P$-模在第 $(\ell(w)+1)$ 个层系中的部分进行层化，构造出层 ${\mathcal{E}}_w$，其中 $W^P$ 上的顺序被反转。
• 在类型 $A_n$ 与 $C_n$ 中，显式定义 ${\mathcal{E}}_w$ 为线丛 $\mathcal{O}_{\mathcal{Q}}(-i)$ 或扭曲Verma模 $\mathcal{L}(\nabla^P(\omega))(-i)$。
• 利用 $F_*\mathcal{O}_{\mathcal{Q}}$ 对 $\bar{A}_j$（对称代数模 $p$-次幂的分次商）的张量积分解，识别出直和项。

实验结果

研究问题

• RQ1 能否在正特征下通过弗罗贝尼乌斯拉回构造 $G/P$ 上的Karoubian完备强例外集列？
• RQ2 由 $W^P$ 参数化的层 ${\mathcal{E}}_w$ 是否作为低秩半单群的 $F_*\mathcal{O}_{\mathcal{P}}$ 的直和项出现？
• RQ3 $\hat{\nabla}_P(\varepsilon)$ 的 $G_1T$-层系是否足以通过层化重建出 ${\mathcal{E}}_w$？
• RQ4 对于哪些秩 $\leq 2$ 的群 $G$ 与抛物子群 $P$，$F_*\mathcal{O}_{\mathcal{P}}$ 包含所有 ${\mathcal{E}}_w$ 作为直和项？
• RQ5 通过基变换在正特征下构造的集列是否在 $\mathbb{C}$ 上给出满足Catanese猜想的强例外集列？

主要发现

• 当 $G$ 为类型 $A_n$ 或 $C_n$ 且 $n = 2m+1$ 或 $n = 2m$ 时，层 ${\mathcal{E}}_w$ 显式构造为 ${\mathcal{O}}_{\mathcal{Q}}(-i)$ 或扭曲Verma模 $\mathcal{L}(\nabla^P(\omega))(-i)$，其中 $w \in W^P$。
• 当 $n = 2m+1$ 时，$F_*\mathcal{O}_{\mathcal{Q}}$ 的分解为 $\bigoplus_{i \in [0,n[ \setminus \{m+1\}} \mathcal{O}_{\mathcal{Q}}(-i) \otimes_{\Bbbk} \bar{A}_{ip} \oplus \mathcal{L}(\nabla^P(\omega_{m+1}))^{\oplus r}(-m-1)$，其中 $r = \frac{\dim \bar{A}_{(m+1)p} - \dim \bar{A}_{mp-n}}{\dim L(\omega_{m+1})}$。
• 当 $n = 2m$ 时，$F_*\mathcal{O}_{\mathcal{Q}} \simeq \bigoplus_{i \in [0,n[ \setminus \{m\}} \mathcal{O}_{\mathcal{Q}}(-i) \otimes_{\Bbbk} \bar{A}_{ip} \oplus \left(\mathcal{L}(\nabla^P(\omega_m) \oplus \nabla^P(\omega_{m+1}))\right)^{\oplus s}(-m)$，其中 $s = \frac{\dim \bar{A}_{mp} - \dim \bar{A}_{mp-n}}{\dim(L(\omega_m) \oplus L(\omega_{m+1}))}$。
• 当 $p \geq n+1$（即 $G$ 的Coxeter数）时，所有 ${\mathcal{E}}_w$ 均作为 $F_*\mathcal{O}_{\mathcal{Q}}$ 的直和项出现，确保该构造在正特征下有效。
• ${\mathcal{E}}_w$ 作为 $\hat{\nabla}_P(\varepsilon)$ 的第 $(\ell(w)+1)$ 个层系中 $G_1$-单模的层化结果得到，且 $W^P$ 上的顺序被反转。
• Langer的结果确认了所构造的 ${\mathcal{E}}_w$ 满足Catanese猜想：它们是强例外的，生成导出范畴，并满足所需的Ext与支集条件。