[论文解读] Nonvanishing of conformal blocks divisors on $\bar{M}_{0,n}$

Prakash Belkale, Angela Gibney+1 more|arXiv (Cornell University)|Oct 8, 2014

Algebraic Geometry and Number Theory参考文献 25被引用 4

一句话总结

本文確立了在模空間 $̅{M}_{0,n}$ 上共形塊除子非零的必要與充分條件，專注於 A 型李代數。文章引入了依賴於底層叢秩的除子加法恆等式，從而強化了零化與非零化的結果，並證明當 theta 水平與臨界水平重合時，非零化成立。

ABSTRACT

We introduce and study the problem of finding necessary and sufficient conditions under which a conformal blocks divisor on $\bar{M}_{0,n}$ is nonzero. We give necessary conditions in type A, which are sufficient when theta and critical levels coincide. We show that divisors are subject to additive identities, dependent on ranks of the underlying bundle. These identities amplify vanishing and nonvanishing results and have other applications.

研究动机与目标

• 確立 $̅{M}_{0,n}$ 上共形塊除子非零化的必要與充分條件，特別是在 A 型李代數中。
• 理解共形塊叢的第一陳類非零的幾何與表示理論條件。
• 探討由叢的秩所引發的共形塊除子之間的加法恆等式，進而強化零化與非零化的結果。
• 透過分析除子非零時，與共形塊除子相關的態射何時非平凡，釐清其非平凡性。
• 解決共形塊叢的秩為正但除子仍零化的情形，儘管預期會有非平凡態射。

提出的方法

• 使用 Verlinde 公式與表示理論，計算 $̅{M}_{0,n}$ 上共形塊叢 $̅{V}_{\mathfrak{g},\vec{\lambda},\ell}$ 的秩。
• 應用量子 Horn 猜想與矩陣分解技術，透過存在具有指定共轭類的特定酉矩陣來特徵化叢的非零化。
• 透過將權重組分解為子權重並分析較小李代數上的相應秩條件，建立共形塊除子的加法恆等式。
• 運用餘不變空間 $̅{A}_{\mathfrak{g},\vec{\lambda}}$ 及其維數，與叢的秩進行比較，識別出即使叢非平凡時除子仍零化的情形。
• 使用 Pl"ucker 嵌入與態射 $φ_{\mathbb{D}}$，分析除子何時為平凡（即將整個模空間收縮至一點）。
• 利用共形塊叢非零化與 $×mathbb{P}^1$ 上向量叢間同態上線性條件系統解的存在性之間的等價性。

实验结果

研究问题

• RQ1 $(\mathfrak{g}, \vec{\lambda}, \ell)$ 滿足何種條件時，$\u0305{M}_{0,n}$ 上的共形塊除子 $\mathbb{D}_{\mathfrak{g},\vec{\lambda},\ell}$ 非零？
• RQ2 由底層叢的秩所引發的共形塊除子之間的加法恆等式如何產生？它們對零化與非零化揭示了什麼？
• RQ3 共形塊除子相關的態射 $\phi_{\mathbb{D}}}$ 在何種條件下會因收縮整個空間至一點而因子化，標示除子零化？
• RQ4 在何種條件下會出現非平凡的共形塊叢但其第一陳類為零？這些情形如何系統性地識別？
• RQ5 在 A 型中，theta 水平與臨界水平何時重合？這對除子的非零化有何影響？

主要发现

• 在 A 型中，給出了共形塊除子非零化的必要條件，且當 theta 水平與臨界水平重合時，這些條件亦為充分。
• 建立了共形塊除子的加法恆等式，其依賴於叢的秩，並可用於強化零化與非零化的結果。
• 本文構造了明確的例子，其中 $0 < \operatorname{rk}\mathbb{V}_{\mathfrak{sl}_4,\vec{\lambda},3} = 1$ 但 $\dim \mathbb{A}_{\mathfrak{sl}_4,\vec{\lambda}} = 2$，並證明此時除子仍為零。
• 透過分解為兩個平凡除子，證明了除子 $\mathbb{D}_{\mathfrak{sl}_4,\{\omega_1,(2\omega_1+\omega_3)^3\},3}$ 為零：$\mathbb{D}_{\mathfrak{sl}_4,\{\omega_1,\ldots,\omega_1\},1} + \mathbb{D}_{\mathfrak{sl}_4,\{0,\omega_1+\omega_3,\omega_1+\omega_3,\omega_1+\omega_3\},2}$，兩者皆為平凡。
• 共形塊叢的非零化等價於 $\mathbb{P}^1$ 上向量叢間同態上線性條件系統解的存在性，此與量子 Horn 問題相關。
• 叢的非零化可由存在酉矩陣 $A_i \in \operatorname{U}(r+1)$ 來特徵化，滿足 $A_1 A_2 \cdots A_n = \gamma \operatorname{Id}$，其中每個 $A_i$ 共轭於對角矩陣，其項為 $\exp(2\pi i \lambda_i^{(a)}/\ell)$，且 $\gamma = \exp(2\pi i \sum |\lambda_i| / \ell(r+1))$。