[论文解读] Uhlenbeck spaces via affine Lie algebras

Alexander BRAVERMAN, Michael FINKELBERG+1 more|arXiv (Cornell University)|Jan 16, 2003

Algebraic structures and combinatorial models被引用 4

一句话总结

本文通过仿射李代数和仿射 Kac-Moody 代数的 Kashiwara 晶体的几何实现，构建了在一条线上平凡化的 $\mathbb{P}^2$ 上 $G$-丛模空间的 Uhlenbeck 紧化。关键贡献在于通过特征零下表示理论与模几何之间新颖的联系，给出了 Uhlenbeck 空间交子同调层的纤维的几何描述。

ABSTRACT

Let $G$ be an almost simple simply connected group over $\BC$, and let $\Bun^a_G(\BP^2,\BP^1)$ be the moduli scheme of principal $G$-bundles on the projective plave $\BP^2$, of second Chern class $a$, trivialized along a line $\BP^1\subset \BP^2$. We define the Uhlenbeck compactification $\fU^a_G$ of $\Bun^a_G(\BP^2,\BP^1)$, which classifies, roughly, pairs $(\F_G,D)$, where $D$ is a 0-cycle on $\BA^2=\BP^2-\BP^1$ of degree $b$, and $\F_G$ is a point of $\Bun^{a-b}_G(\BP^2,\BP^1)$, for varying $b$. In addition, we calculate the stalks of the Intersection Cohomology sheaf of $\fU^a_G$. To do that we give a geometric realization of Kashiwara's crystals for affine Kac-Moody algebras.

研究动机与目标

• 定义并构造 $\mathbb{P}^2$ 上沿直线 $\mathbb{P}^1$ 平坦化的 $G$-丛模空间的 Uhlenbeck 紧化 $\mathfrak{U}^a_G$，推广 Donaldson-Nakajima 框架至 $SL_n$ 之外的任意几乎单单连通群 $G$。
• 通过 Uhlenbeck 空间实现仿射 Kac-Moody 代数的 Kashiwara 晶体的几何实现。
• 通过表示论技术计算 Uhlenbeck 空间 $\mathfrak{U}^a_G$ 的交子同调层纤维。
• 在特征零下，证明构造在不同模描述下关于幂零元保持不变。

提出的方法

• 将 $\mathfrak{U}^a_G$ 构造为 $b \in \mathbb{N}$ 的并集，形式为 $\operatorname{Bun}^{a-b}_G(\mathbb{P}^2, \mathbb{P}^1) \times \operatorname{Sym}^b(\mathbb{A}^2)$，参数化对 $({\mathcal{F}}_G, D)$，其中 $D$ 是次数为 $b$ 的 0-循环。
• 利用 $U({\mathfrak{n}}^{-})$ 的典范滤过 $F^n$ 分析仿射 Verma 模 $\mathcal{V}_{\check{\rho}}$ 中最高权向量的结构。
• 应用 Joseph 引理，界定生成权为 $w{\check{\rho}}$ 的权空间的向量在 $F^n$ 中的最小次数，证明 $m_w \geq \frac{1}{2}\ell(w)$。
• 在 $\mathfrak{g}$ 上构造 Clifford 代数 $C({\mathfrak{g}})$，并赋予一个李代数同态 $\varphi: \mathfrak{g} \to C({\mathfrak{g}})$，从而实现三角分解 $C({\mathfrak{n}}^{-}) \otimes C({\mathfrak{h}}) \otimes C({\mathfrak{n}}) \cong C({\mathfrak{g}})$。
• 将不可约表示 $\mathcal{V}_{\check{\rho}}$ 实现为 $C({\mathfrak{g}})/I({\mathfrak{g}})$ 的商，其中 $I({\mathfrak{g}})$ 是由 $\mathfrak{n}$ 生成的左理想，并利用此分析权空间。
• 将向量 $\prod_{\check{\beta} \in S(w^{-1})} e_{-\check{\beta}}$ 在 $C({\mathfrak{g}})/I({\mathfrak{g}})$ 中的次数与长度 $\ell(w)$ 关联，证明了纤维计算的关键估计。

实验结果

研究问题

• RQ1 如何为复数域上任意几乎单单连通群 $G$ 构造 Uhlenbeck 紧化，超越 $SL_n$ 的情形？
• RQ2 能否利用表示论数据几何地计算 Uhlenbeck 空间 $\mathfrak{U}^a_G$ 的交子同调层纤维？
• RQ3 是否存在通过 Uhlenbeck 型模空间对仿射 Kac-Moody 代数的 Kashiwara 晶体的几何实现？
• RQ4 在仿射 Verma 模 $\mathcal{V}_{\check{\rho}}$ 中，$U({\mathfrak{n}}^{-})$ 的典范滤过在控制权空间结构中起什么作用？
• RQ5 在 $\mathfrak{g}$ 上构造的 Clifford 代数如何促进对 $C({\mathfrak{g}})/I({\mathfrak{g}})$ 中权空间分解的分析？

主要发现

• Uhlenbeck 空间 $\mathfrak{U}^a_G$ 被构造为 $b \in \mathbb{N}$ 的并集，形式为 $\operatorname{Bun}^{a-b}_G(\mathbb{P}^2, \mathbb{P}^1) \times \operatorname{Sym}^b(\mathbb{A}^2)$，为沿 $\mathbb{P}^1$ 平坦化的 $G$-丛模空间提供了模紧化。
• 通过仿射 Kac-Moody 代数的 Kashiwara 晶体的几何实现，计算了 $\mathfrak{U}^a_G$ 的交子同调层纤维，将模几何与表示理论联系起来。
• 利用 $U({\mathfrak{n}}^{-})$ 的典范滤过上的 Joseph 引理，建立了关键估计 $m_w \geq \frac{1}{2}\ell(w)$，该估计界定了生成权为 $w{\check{\rho}}$ 的权空间的向量的最小次数。
• Clifford 代数 $C({\mathfrak{g}})$ 允许三角分解 $C({\mathfrak{n}}^{-}) \otimes C({\mathfrak{h}}) \otimes C({\mathfrak{n}}) \cong C({\mathfrak{g}})$，从而系统地分析了作为 $\mathfrak{g}$-模的 $C({\mathfrak{g}})/I({\mathfrak{g}})$ 的结构。
• 不可约表示 $\mathcal{V}_{\check{\rho}}$ 被实现为 $C({\mathfrak{g}})/I({\mathfrak{g}})$ 的商，且权为 $w{\check{\rho}}$ 的权空间同构于 $\left(\prod_{\check{\beta} \in S(w^{-1})} e_{-\check{\beta}}\right) C({\mathfrak{h}})$，其位于次数 $\ell(w)$ 到 $\ell(w) + \dim{\mathfrak{h}}$ 之间。
• 该构造在不同模描述下关于幂零元保持不变，且该不变性证明依赖于特征零的假设，暗示在正特征情形下可能存在局限性。