[论文解读] Global sections of line bundles on a wonderful compactification of the general linear group

Ivan Kausz|ArXiv.org|May 1, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用 3

一句话总结

本文建立了 GLₙ 的美妙紧化空间上 G-线丛全局截面的典范分解，表明任意轨道闭包上全局截面的空间可分解为不可约 GLₙ×GLₙ-模的直和。关键结果提供了全局截面与旗流形上全局截面直和之间的显式同构，参数由线丛和轨道闭包数据导出的整数元组确定。

ABSTRACT

In a previous paper we have constructed a compactification $KGl_n$ of the general linear group $Gl_n$, which in many respects is analogous to the so called wonderful compactification of adjoint semisimple algebraic groups as studied by De Concini and Procesi. In particular there is an action of $G=Gl_n imes Gl_n$ on this compactification. In this paper we show how the space of global section of an arbitrary $G$-linearized line bundle on $KGl_n$ decomposes canonically into a direct sum of simple $G$-modules which are themselves given as the spaces of global sections of line bundles on the product of two copies of the full flag manifold parametrizing flags in an $n$-dimensional vector space.

研究动机与目标

• 描述 GLₙ 的美妙紧化空间 KGL(E,F) 上 G-线丛全局截面分解为不可约 G-模的方式。
• 理解紧化空间内轨道闭包上全局截面的结构，这些轨道闭包是边界除子的交集。
• 在轨道闭包上的全局截面与旗流形上全局截面的直和之间，提供显式且典范的同构关系。
• 克服此设定中丰沛性失效的问题，使得 De Concini–Procesi 的标准技术无法直接应用。
• 为向 nodal 曲线上向量丛模堆栈的退化理论应用奠定基础。

提出的方法

• 利用 G = GL(E) × GL(F) 在 KGL(E,F) 上的作用，分析 G-线丛。
• 通过迭代爆破的递归构造方法，将紧化空间 KGL(E,F) 定义为具有除子性边界的一致光滑代数簇。
• 将 KGL(E,F) 的 Picard 群识别为由边界分量 Zᵢ 和 Yⱼ 生成，线丛表示为这些除子的形式和。
• 应用典范同构，将轨道闭包上的全局截面与旗流形 Fl = Fl(E) × Fl(F) 上的全局截面关联起来。
• 引入有限集合 Aᵢⱼ(L) ⊂ ℤⁿ × ℤⁿ，用于参数化分解中出现的不可约 G-模。
• 通过显式截面理论构造生成不可约子模的全局截面，避免依赖于先前工作中使用的丰沛性假设。

实验结果

研究问题

• RQ1 GLₙ 的美妙紧化空间 KGL(E,F) 上 G-线丛的全局截面如何分解为不可约 G-模？
• RQ2 在 KGL(E,F) 中，每个轨道闭包（即边界分量的交集）上的全局截面空间的精确结构是什么？
• RQ3 是否可以将全局截面的分解以旗流形及其线丛的形式进行显式且典范的描述？
• RQ4 为何在此设定中基于丰沛性的标准技术会失效？如何在不依赖丰沛性的情况下仍能构造全局截面？
• RQ5 边界分量 Zᵢ 和 Yⱼ 在参数化全局截面空间不可约分量中起什么作用？

主要发现

• 任意轨道闭包 O̅ᵢⱼ ⊂ KGL(E,F) 上 G-线丛 L 的全局截面空间，存在一个典范的 G-模同构，映射到旗流形 Fl 上全局截面的直和。
• 该分解由 H⁰(O̅ᵢⱼ, i*ᵢⱼL) ≅ ⨁_{(a,b)∈Aᵢⱼ(L)} H⁰(Fl, O_Fl(a,b)) 给出，其中 Aᵢⱼ(L) 是由 I, J 和 L 确定的有限整数元组集合。
• 分解中出现的不可约 G-模，被实现为在积旗流形 Fl = Fl(E) × Fl(F) 上线丛 O_Fl(a,b) 的全局截面。
• 全局截面的构造通过显式截面理论实现，避免了对丰沛性的依赖，而在此设定中丰沛性不成立。
• 对偶线丛 ω_KGL 被计算为 ⨂ᵢ(Mᵢ⊗Lᵢ)^{i(i−n)−1}，表明关键线丛的非丰沛性。
• 通过证明 L 或 ω_KGL⁻¹(−∑(Zᵢ+Yᵢ))⊗L 在某些环面子簇上的限制均不为丰沛，从而证明了丰沛性的失效。