[论文解读] Infinite Grassmannians and Moduli Spaces of G-bundles

Shrawan Kumar|ArXiv.org|Oct 30, 1995

Advanced Algebra and Geometry参考文献 15被引用 16

一句话总结

本文通过无限格拉斯曼流形和仿射卡茨-穆迪表示理论，建立了光滑射影曲线上半稳定主 $G$-丛的模空间与广义 theta 函数空间之间的深刻联系。证明了模空间上 $\theta$-线丛的 $d$ 次幂的全局截面空间同构于 $\text{Hom}^{\text{inv}}(L(\bbC, dm_V)^*, \bbC)$，该空间对应于共形场论的真空态，其中整数 $m_V$ 被识别为表示 $V$ 的迪尼克指标。该结果将经典 Borel-Weil 定理推广至卡茨-穆迪情形，并为共形场论不变量提供了几何实现。

ABSTRACT

This lecture note is devoted to prove that the space of vacua is isomorphic with the space of generalized theta functions (joint work with M.S. Narasimhan, and A. Ramanathan)

研究动机与目标

• 通过代数曲线上的 $G$-丛模空间，实现共形场论真空态空间的几何化。
• 通过 $G$-丛模空间上的行列式线丛，确定有限维 $G$-表示 $V$ 的迪尼克指标 $m_V$。
• 证明半稳定 $G$-丛模空间上 $\theta$-线丛的 $d$ 次幂的全局截面空间同构于 $\text{Hom}^{\text{inv}}(L(\bbC, dm_V)^*, \bbC)$，即真空态空间。
• 通过无限格拉斯曼流形中广义施伯特簇的有理性，证明半稳定 $G$-丛模空间是单有理的。

提出的方法

• 利用无限格拉斯曼流形 $X = \mathcal{G}/\mathcal{P}$，其中 $\mathcal{G} = G(\hat{k}_p)$ 且 $\mathcal{P} = G(\hat{\mathcal{O}}_p)$，作为曲线 $C$ 上 $G$-丛的参数空间。
• 在仿射卡茨-穆迪情形下应用 Borel-Weil 定理，将 $H^0(X, \mathfrak{L}(d\chi_0))$ 识别为可积最高权模 $L(\bbC, d)^*$ 的对偶。
• 使用下降引理（命题 4.1）和延拓结果（命题 6.5），将线丛从格拉斯曼流形下降到模空间。
• 依赖于 $C \setminus p$ 上任意 $G$-丛均为平凡这一事实，将 $G$-丛的模空间识别为双陪集空间 $\Gamma \backslash \mathcal{G} / \mathcal{P}$。
• 应用 Riemann-Roch 定理计算相关向量丛的上同调行列式，从而将 $m_V$ 识别为 $V$ 的迪尼克指标。
• 利用 GAGA 及代数与解析 Picard 群之间的 GAGA 型同构，证明 $\text{Pic}(X_{\mathfrak{w}}) \to H^2(X_{\mathfrak{w}}, \bbZ)$ 是同构，并将其提升至归纳极限 $X$。

实验结果

研究问题

• RQ1 如何通过代数曲线上 $G$-丛的模空间几何化共形场论真空态空间？
• RQ2 关联向量丛上同调行列式与表示 $V$ 的迪尼克指标之间的确切关系是什么？
• RQ3 群 $\Gamma = \text{Mor}(C\setminus p, G)$ 在无限格拉斯曼流形上的作用如何提升至线丛 $\mathfrak{L}(m_V\chi_0)$，其意义是什么？
• RQ4 能否利用无限格拉斯曼流形中广义施伯特簇的几何性质，证明半稳定 $G$-丛模空间是单有理的？
• RQ5 模空间上 $\theta$-线丛的 $d$ 次幂的全局截面空间与可积最高权模对偶中 $\Gamma$-不变向量空间之间是否存在自然同构？

主要发现

• 半稳定 $G$-丛模空间 $\mathfrak{M}$ 上 $\theta$-线丛的 $d$ 次幂的全局截面空间同构于 $L(\bbC, dm_V)^*$ 中 $\Gamma$-不变向量的空间，即共形场论中的真空态空间。
• 满足 $\text{Det}(\mathcal{U}(V)) \simeq \mathfrak{L}(m_V\chi_0)$ 的整数 $m_V$ 等于表示 $V$ 的迪尼克指标，对伴随表示有 $m_V = 2h^\vee$，其中 $h^\vee$ 为对偶卡斯纳数。
• 半稳定 $G$-丛模空间 $\mathfrak{M}$ 是单有理的，作为无限格拉斯曼流形中广义施伯特簇 $X_{\mathfrak{w}}$ 有理性的推论。
• 无限格拉斯曼流形 $X$ 的 Picard 群同构于 $\bbZ$，由齐次线丛 $\mathfrak{L}(\chi_0)$ 生成，且该同构与有限维施伯特簇上的限制相容。
• 陈类映射 $c_1: \text{Pic}(X_{\mathfrak{w}}) \to H^2(X_{\mathfrak{w}}, \bbZ)$ 是同构，该同构诱导出 $\text{Pic}(X) \to \varprojlim \text{Pic}(X_{\mathfrak{w}})$，用于证明 $\text{Pic}(X)$ 的结构。
• 自然映射 $\alpha: \text{Pic}(X) \to \varprojlim_{\mathfrak{w}} \text{Pic}(X_{\mathfrak{w}})$ 是同构，其成立源于每个 $X_{\mathfrak{w}}$ 上线丛的平凡性以及局部平凡化全局提升的唯一性。