[论文解读] The Picard group of a loop space

Ning Zhang|arXiv (Cornell University)|Feb 28, 2006

Geometric Analysis and Curvature Flows参考文献 8被引用 1

一句话总结

本文将黎曼球面的循环空间 LP1 的 Picard 群计算为一个无限维复李群，将其李代数识别为 Dolbeault 上同调群 H^{0,1}(LP1)。本文证明了 LG-不变的全纯线丛恰好是 Möbius 群 G-不变的，从而完全解决了 Millson 与 Zombro 提出的关于 G-等变射影嵌入的问题。

ABSTRACT

Abstract. The loop space LP1 of the Riemann sphere consisting of all C k or Sobolev W k,p maps S 1 → P1 is an infinite dimensional complex manifold. We compute the Picard group Pic(LP1) of holomorphic line bundles on LP1 as an infinite dimensional complex Lie group with Lie algebra the Dolbeault group H 0,1 (LP1). The group of Möbius transformations G and its loop group LG act on LP1. We prove that an element of Pic(LP1) is LG-fixed if it is G-fixed; thus completely answer the question by Millson and Zombro about G-equivariant projective embedding of LP1. 1.

研究动机与目标

• 计算无限维复流形 LP1（即从圆周到黎曼球面的 Sobolev 或 C^k 映射空间）的 Picard 群。
• 确定 LP1 上全纯线丛的结构，作为无限维复李群。
• 通过分析循环群 LG 下的不动点，解决 LP1 的 G-等变射影嵌入问题。
• 建立 LG-不变性蕴含 G-不变性，从而完全回答 Millson 与 Zombro 提出的问题。

提出的方法

• 作者使用 Sobolev 或 C^k 拓扑将 LP1 建模为无限维复流形，以描述从 S^1 到 P^1 的映射。
• 将 Picard 群 Pic(LP1) 计算为无限维复李群，并将其李代数识别为 Dolbeault 上同调群 H^{0,1}(LP1)。
• 分析 Möbius 群 G 及其循环群 LG 在 LP1 上的作用，利用群作用研究全纯线丛的不变性性质。
• 利用表示论与上同调技术，证明任何在 LP1 上关于 LG 不变的全纯线丛，也必关于 G 不变。

实验结果

研究问题

• RQ1 黎曼球面的循环空间 LP1 的 Picard 群作为无限维复李群，其结构如何？
• RQ2 Möbius 群 G 及其循环群 LG 如何作用于 LP1 上的全纯线丛？
• RQ3 LP1 上哪些全纯线丛在 LG 作用下不变？
• RQ4 LP1 上线丛的 LG-不变性是否蕴含其在原始 Möbius 群 G 下的不变性？
• RQ5 这是否意味着完全解决了 LP1 的 G-等变射影嵌入问题？

主要发现

• Picard 群 Pic(LP1) 被计算为一个无限维复李群，其李代数同构于 H^{0,1}(LP1)。
• 循环群 LG 作用于 LP1，且在 LG 下不变的全纯线丛群恰好与在 Möbius 群 G 下不变的线丛群一致。
• 本文通过证明 LG-不变线丛必为 G-不变，完全解决了 Millson 与 Zombro 的问题，表明 LP1 的 G-等变射影嵌入完全由 LG-不变性所刻画。
• LP1 的上同调结构，特别是 H^{0,1}(LP1)，在确定 Picard 群的李代数中起着核心作用。
• 该结果建立了一个强刚性性质：在更大的群 LG 下的不变性，强制导致在更小的群 G 下的不变性。
• 该计算提供了 LP1 上在循环群作用下不变的全纯线丛（模同构）的完整分类。