[论文解读] Lectures on geometric constructions of the irreducible representations of GL_n

Joel Kamnitzer|arXiv (Cornell University)|Dec 3, 2009

Advanced Algebra and Geometry参考文献 10被引用 7

一句话总结

本文通过三种相互关联的方法，提供了 $GL_n$ 的不可约表示的几何构造：通过旗流形上的线丛的 Borel-Weil 理论、Ginzburg 利用 Springer 纤维的 Borel-Moore 同调的构造，以及通过仿射 Grassmannian 变体的交集同调的几何 Satake 对应。关键贡献是利用斜-Howe 对偶性，从几何 Satake 等价性推导出 Ginzburg 构造，从而在统一的几何框架下整合了这些构造。

ABSTRACT

We give an exposition of three geometric constructions of the irreducible representations of GL_n. In particular, we discuss Borel-Weil theory, the Ginzburg construction, and the geometric Satake construction. We also explain how to deduce the Ginzburg construction from the geometric Satake equivalence. These are lecture notes for a lecture series at the Summer School on geometric representation theory and extended affine Lie algebras held at University of Ottawa in June 2009.

研究动机与目标

• 提供一种无需高级代数群理论的、对 $GL_n$ 不可约表示的可访问且几何化的阐述。
• 在 $GL_n$ 的背景下，统一三种主要的几何构造——Borel-Weil、Ginzburg 和几何 Satake。
• 展示如何利用斜-Howe 对偶性，从几何 Satake 对应推导出 Ginzburg 构造。
• 避免使用 perverse sheaves 和 quiver varieties 等技术工具，转而聚焦于具体的几何与同调构造。

提出的方法

• 使用 Borel-Weil 理论，不可约表示作为旗流形 $G/B$ 上线丛的全局截面空间而出现。
• 采用 Ginzburg 的构造，通过在幂零轨道上的 Springer 纤维的 Borel-Moore 同调上的卷积，实现 $\mathfrak{gl}_n$ 的作用。
• 应用几何 Satake 对应，不可约表示被实现为 $\mathrm{Gr}^\lambda$（仿射 Grassmannian 中的轨道）的交集同调。
• 利用斜-Howe 对偶性，通过 $GL_m$-等变映射，将张量积 $\Lambda^N(\mathbb{C}^n \otimes \mathbb{C}^m)$ 分解为不可约的 $GL_n$-模。
• 从几何 Satake 推导 Ginzburg 构造，涉及将 $\mathrm{Fl}_\mu(\mathbb{C}^N)^X$ 的上同调与 $V(\lambda^\vee)$ 识别，其中 $X$ 具有 Jordan 型 $\lambda$。
• 通过几何 Satake 和斜-Howe 对偶性，在 $\bigoplus_{\mu} H_{\text{top}}(\mathrm{Fl}_\mu(\mathbb{C}^N)^X)$ 上重构 $GL_n$ 的作用，与原始 Ginzburg 作用一致。

实验结果

研究问题

• RQ1 如何利用旗流形、Springer 纤维和仿射 Grassmannian 几何地构造 $GL_n$ 的不可约表示？
• RQ2 Ginzburg 构造与几何 Satake 对应之间的确切关系是什么？
• RQ3 能否利用斜-Howe 对偶性，从几何 Satake 等价性推导出 Ginzburg 构造？
• RQ4 这三种构造中的权分解与 Chevalley 生成元作用如何对齐？
• RQ5 张量积 $\Lambda^N(\mathbb{C}^n \otimes \mathbb{C}^m)$ 在统一这些几何表示中起什么作用？

主要发现

• 通过斜-Howe 对偶性，从几何 Satake 对应推导出 Ginzburg 构造，建立了两种主要几何表示理论框架之间的深刻联系。
• 不可约表示 $V(\lambda^\vee)$ 被实现为所有满足 $|\mu|=N$ 的 $\mu$ 的上同调群 $H_{\text{top}}(\mathrm{Fl}_\mu(\mathbb{C}^N)^X)$ 的直和，其中 $X$ 具有 Jordan 型 $\lambda$。
• 在 $V(\lambda^\vee)$ 上的权分解与对所有 $\mu$ 的直和的分解相匹配，确认了每个权空间的正确重数。
• Chevalley 生成元在 Ginzburg 构造上的作用与通过几何 Satake 和斜-Howe 对偶性定义的作用一致，通过匹配在 $\operatorname{Hom}_{GL_m}(V_\lambda, \Lambda^{\mu_1}\mathbb{C}^m \otimes \cdots \otimes \Lambda^{\mu_n}\mathbb{C}^m)$ 上的作用得到验证。
• 利用同构 $\Lambda^N(\mathbb{C}^n \otimes \mathbb{C}^m) \cong \bigoplus_{|\mu|=N} \Lambda^{\mu_1}\mathbb{C}^m \otimes \cdots \otimes \Lambda^{\mu_n}\mathbb{C}^m$，通过几何 Satake 将张量积分解为不可约的 $GL_n$-模。
• 几何 Satake 对应提供了 $V(\lambda^\vee)$ 与 $\mathrm{Fl}_\mu(\mathbb{C}^N)^X$ 的上同调之间的典范同构，从而几何地证明了 Ginzburg 定理。