Truncated Grassmannians, blow-ups along Schubert varieties and collineations

这是一份关于 Evgeny Feigin 论文《截断 Grassmann 流形、沿 Schubert 簇的爆破与对合映射》（Truncated Grassmannians, Blow-ups along Schubert Varieties and Collineations）的详细技术总结。

1. 研究背景与问题 (Problem)

• 核心问题：研究复数域上广义旗流形（Generalized Flag Varieties）沿 Schubert 子簇的爆破（Blow-ups）。
• 具体对象：重点聚焦于 Grassmann 流形 $Gr_d(V)$（$V$ 为 $n$ 维复向量空间，$d < n$）沿特定 Schubert 簇 $S_r$ 的爆破。
• 现有挑战：关于旗流形沿 Schubert 子簇的爆破，一般情况下的结构知之甚少。虽然有一些关于光滑情形的部分结果，但缺乏一个统一的、基于对称性（如仿射幺幂群作用）的构造框架。
• 目标：
  1. 利用“截断 Grassmann 流形”（Truncated Grassmannians）来描述这些爆破。
  2. 揭示爆破流形与“对合映射空间”（Spaces of Collineations）之间的联系。
  3. 将这一构造推广到一般的旗流形 $G/B$ 沿任意 Schubert 簇的爆破。

2. 方法论 (Methodology)

作者采用了一种基于李代数表示论和群作用的几何构造方法：

• 截断表示与截断 Grassmann 流形：

  • 考虑 $V$ 的分解 $V = V_d \oplus V_{n-d}$。
  • 定义外积空间 $\Lambda^d V$ 的截断商空间 $(\Lambda^d V)_r$：通过模去由“度”（degree，即指标中大于 $d$ 的元素个数）大于 $r$ 的基向量生成的子空间。
  • 定义截断 Grassmann 流形 $X_r$ 为仿射幺幂群 $\exp(\mathfrak{a}_d)$ 在截断空间射影化 $\mathbb{P}((\Lambda^d V)_r)$ 中生成的轨道闭包。
  • 性质：$X_1$ 是射影空间，$X_d$ 是经典 Grassmann 流形，所有 $X_r$ 双有理同构。

• 爆破的轨道闭包描述：

  • 利用 $\exp(\mathfrak{a}_d)$ 在 $Gr_d(V)$ 上的作用，将爆破 $Bl_{S_r} Gr_d(V)$ 描述为 $Gr_d(V) \times X_{r-1}$ 中某个轨道的闭包。
  • 具体地，爆破是 $Gr_d(V)$ 与截断 Grassmann 流形 $X_{r-1}$ 的乘积中，由最高权点 $V_d \times [w_{r-1}]$ 生成的 $\exp(\mathfrak{a}_d)$ 轨道的闭包。

• 理想层分解与 Koszul 复形：

  • 通过构造 Schubert 簇 $S_r$ 的理想层 $I_{S_r}$ 的 Koszul 型分解（利用 Desingularization $\tilde{S}_r$），计算其截面空间。
  • 证明 $H^0(Gr_d(V), I_{S_r}(1))$ 同构于截断模 $(\Lambda^d V)_r$ 的对偶空间，从而建立了爆破嵌入到乘积空间的代数基础。

• 纤维分析与对合映射：

  • 分析爆破映射 $\pi: Bl_r \to Gr_d(V)$ 的纤维。
  • 引入部分对合映射（Partial Collineations） $Cols$的概念，即由满秩线性映射$\phi$诱导的楔积映射$\Lambda^k \phi$ 的闭包。
  • 证明爆破的纤维同构于特定维度的对合映射空间。

• 推广到一般情形：

  • 将上述构造推广到一般简单李群 $G$ 的旗流形 $G/B$。
  • 利用 Demazure 模（Demazure modules）和截断模 $L_\sigma(\lambda) = L(\lambda)/D(\sigma\lambda)$ 定义截断旗流形 $X_{\sigma(\lambda)}$。
  • 证明 $Bl_{S_\sigma}(G/B)$ 嵌入到 $G/B \times X_{\sigma(\lambda)}$ 中。

3. 主要贡献与结果 (Key Contributions & Results)

主要定理 (Theorems)

• 定理 A (Theorem A)：

  • $Gr_d(V)$ 沿 Schubert 簇 $S_r$（定义为 $\dim(U \cap V_{n-d}) \ge r$ 的子空间集合）的爆破 $Bl_{S_r} Gr_d(V)$ 同构于双有理映射 $X_{r-1} \to Gr_d(V)$ 的图像闭包。
  • 该爆破嵌入到 $Gr_d(V) \times X_{r-1}$ 中，是 $\exp(\mathfrak{a}_d)$ 轨道 $V_d \times [w_{r-1}]$ 的闭包。

• 定理 B (Theorem B)：

  • 爆破映射 $\pi: Bl_r \to Gr_d(V)$ 在点 $U$ 处的纤维同构于一个依赖于 $\dim(U \cap V_{n-d})$ 的对合映射簇（Collineation Variety）。
  • 特别地，完全混合爆破 $Bl_{(2, \dots, d)}$ 是光滑的，并且是所有其他 $Bl_r$ 的去奇异化（Desingularization）。

• 定理 C (Theorem C)：

  • 对于一般旗流形 $G/B$ 和 Weyl 群元素 $\sigma$，沿 Schubert 簇 $S_\sigma$ 的爆破嵌入到 $G/B \times X_{\sigma(\lambda)}$ 中，其中 $X_{\sigma(\lambda)}$ 是基于截断 Demazure 模定义的截断旗流形。

关键构造与发现

1. 截断 Grassmann 流形族：

   • 构造了一族双有理同构的 $G_a^{d(n-d)}$-流形 $\{X_r\}_{r=1}^d$。
   • $X_1 \cong \mathbb{P}^{d(n-d)}$（射影空间），$X_d = Gr_d(V)$。
   • 这些流形通过截断外积幂空间自然定义，保留了 $P_d^-$（相反抛物子群）的对称性。

2. 混合爆破与去奇异化：

   • 定义了混合爆破 $Bl_{\mathbf{r}}$，即同时沿多个 Schubert 簇 $S_{r_1}, \dots, S_{r_m}$ 的爆破。
   • 证明了最大混合爆破 $Bl_{(2, \dots, d)}$ 是光滑流形，它通过自然投影映射去奇异化了所有其他 $Bl_{\mathbf{r}}$。

3. 纤维结构：

   • 揭示了爆破纤维的几何结构：纤维是部分对合映射空间（Partial Collineations）。
   • 例如，当 $r=2$ 时，纤维是射影空间；对于一般的 $r$，纤维是更复杂的代数簇，由矩阵子式的关系定义。

4. 理想层与表示论联系：

   • 通过 Borel-Weil-Bott 定理和 Koszul 复形，精确计算了 $S_r$ 的理想层 $I_{S_r}$ 的截面，建立了其与截断表示 $(\Lambda^d V)_r$ 的对偶同构。这为几何构造提供了坚实的代数基础。

4. 意义与影响 (Significance)

• 统一框架：该论文提供了一个统一的框架，将 Grassmann 流形的爆破、截断表示论、以及经典的对合映射几何联系起来。
• 去奇异化：通过构造光滑的混合爆破，为研究奇异 Schubert 簇及其爆破提供了新的去奇异化模型，这对于理解旗流形的拓扑和几何性质至关重要。
• 对称性保持：构造过程充分利用了仿射幺幂群 $\exp(\mathfrak{a}_d)$ 和抛物子群 $P_d^-$ 的对称性，使得结果具有清晰的群作用结构，便于进一步研究模空间性质。
• 推广性：虽然详细计算是在 Grassmann 流形上完成的，但定理 C 表明该方法可以推广到任意简单李群的旗流形，为研究更广泛的 Schubert 几何问题开辟了道路。
• 与现有工作的联系：论文将截断 Grassmann 流形与广义 Kausz 紧化（Generalized Kausz Compactifications）以及文献中已知的截断 Grassmann 流形进行了区分和联系，强调了保持 $P_d^-$ 对称性的重要性。

总结

Evgeny Feigin 的这篇论文通过引入“截断 Grassmann 流形”这一新概念，成功地将 Grassmann 流形沿 Schubert 簇的爆破描述为这些截断流形与经典 Grassmann 流形乘积中的轨道闭包。文章不仅给出了具体的几何构造和纤维描述（涉及对合映射），还证明了存在一个光滑的“最大”爆破作为所有此类爆破的去奇异化。这一工作深化了对旗流形几何结构、表示论与代数几何之间相互作用的理解。