[论文解读] The Hall algebra of a curve

Mikhail Kapranov, Olivier Schiffmann+1 more|arXiv (Cornell University)|Jan 30, 2012

Advanced Algebra and Geometry参考文献 12被引用 5

一句话总结

本文将有限域 $ \mathbb{F}_q $ 上光滑射影曲线 $ X $ 的向量丛的 Hall 代数 $ H $ 的几何实现，表述为由自守 L-函数构建的杂交代数。通过使用 Rankin-Selberg L-函数作为结构常数，作者将 $ H $ 识别为在无枝化尖点特征形式的概形 $ \Sigma $ 上的广义杂交代数，扩展了关于球面子代数的先前结果，并通过 Lafforgue 对应关系提供了伽罗瓦理论解释。

ABSTRACT

Let X be a smooth projective curve over a finite field. We describe H, the full Hall algebra of vector bundles X as a Feigin-Odesskii shuffle algebra. This shuffle algebra corresponds to the scheme S of all cusp eigenforms and to the rational function of two variables on S coming from the Rankin-Selberg L-functions. This means that the zeroes of these L-functions control all the relations in H. The scheme S is a disjoint union of countably many G_m-orbits. In the case when X has a theta-characteristic defined over the base field, we embed H into the space of regular functions on the symmetric powers of S.

研究动机与目标

• 提供有限域 $ \mathbb{F}_q $ 上光滑射影曲线 $ X $ 的凝聚层 Hall 代数 $ H $ 的完整代数描述，超越球面子代数的范围。
• 将 $ H $ 的结构与自守 L-函数（特别是 Rankin-Selberg L-函数）统一，将其作为定义结构常数。
• 利用杂交代数与有理双代数的几何与范畴框架，对 Hall 代数的乘法与余乘法进行建模。
• 通过函数域上的 Lafforgue Langlands 对应关系，为 $ H $ 提供伽罗瓦理论解释。
• 证明完整的 Hall 代数 $ H $ 同构于无枝化尖点特征形式的概形 $ \Sigma $ 上的杂交代数，推广了关于 $ H_{\text{sph}} $ 的先前结果。

提出的方法

• 作者在尖点特征形式的概形 $ \Sigma $ 的对称幂上定义了一个有理双同态 $ \tilde{c} $，其扩展了 Rankin-Selberg L-函数 $ \operatorname{LHom} \colon \Sigma \times \Sigma \to \mathbb{C} $。
• 他们将 Hall 代数 $ H $ 构造为杂交代数 $ Sh(\mathfrak{S}, \tilde{c}) $，其中 $ \mathfrak{S} = \operatorname{Sym}(\Sigma) $，并利用由 $ \tilde{c} $ 定义的杂交积。
• 关键技术工具是 $ H^{\tensorsn} $ 的有理完备化，使得 Hall 代数各分量上的余积可一致定义。
• 映射 $ \omega_n = p_{1,\dots,1} \circ \Delta^{n-1} $ 用于将 Hall 代数的余积与杂交积联系起来，证明 $ \omega $ 与 Hall 乘法和杂交乘法之间具有交织性。
• 证明依赖于轨道上 Hermite 乘积的正定性以及乘积与余积的 $ M $-相容性，确保 $ \omega $ 是单射。
• 作者利用 Lafforgue 的全局 Langlands 对应关系，为 $ H $ 提供伽罗瓦理论解释，将其识别为函数域上自守形式的空间。

实验结果

研究问题

• RQ1 如何用自守 L-函数描述曲线上的完整 Hall 代数 $ H $？
• RQ2 在高亏格情形下，$ H $ 的代数结构（尤其是超越球面子代数）是什么？
• RQ3 Hall 代数能否被实现为结构常数由 Rankin-Selberg L-函数给出的杂交代数？
• RQ4 H 中的关系如何从这些 L-函数的零点中产生？其几何意义是什么？
• RQ5 无枝化尖点特征形式的概形 $ \Sigma $ 在分类 $ H $ 的代数结构中起什么作用？

主要发现

• Hall 代数 $ H $ 同构于广义杂交代数 $ Sh(\mathfrak{S}, \tilde{c}) $，其中 $ \mathfrak{S} = \operatorname{Sym}(\Sigma) $，且 $ \tilde{c} $ 是扩展 Rankin-Selberg L-函数的有理双同态。
• 映射 $ \omega \colon H \to \bigoplus_n (H_1)^{\otimes n}_{\text{rat}} $ 是向量空间的单射，将 $ H $ 嵌入到 $ \Sigma $ 上的正则对称函数空间，即 $ \mathbb{C}_{\text{qcom}}[\operatorname{Sym}(\Sigma)] $。
• 证明了代数 $ H $ 同构于由有理函数 $ \operatorname{LHom}(f_j, f_i, t_j/t_i) $ 定义的杂交代数，该函数控制了 Eisenstein 级数的常数项。
• 对于椭圆曲线，$ H $ 分解为无穷多个彼此交换的代数的张量积，每个同构于球面 Hall 代数 $ H_{\text{sph}} $，从而为 Fratila 的一个结果提供了新证明。
• 由轨道上 Hermite 乘积诱导的 $ \mathbb{C}_{\text{qcom}}[\operatorname{Sym}(\Sigma)] $ 上的内积，对应于由 $ \operatorname{LHom} $ 构建的有理权函数，推广了 Macdonald 的内积。
• $ k[S] $-模 $ H(S) $ 对每个分量 $ S \subset \mathfrak{S} $ 是无挠的，这是由于 $ \omega_n $ 的单射性以及结构常数的有理性。