[論文レビュー] The Picard group of a loop space

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

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

ひとこと要約

この論文は、リーマン球面のループ空間 LP1 のピカール群を無限次元複素リーリー群として計算し、そのリーリー代数がドレームコホホロジー群 H^{0,1}(LP1) に同型であることを特定する。また、MG固定の正則線束が、ミルソンとゾンブロが提起した 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、すなわち円周からリーマン球面へのソボレフ空間または C^k 級写像の空間としてのループ空間のピカール群を計算すること。
• LP1 上の正則線束の構造を無限次元複素リーマン群として特定すること。
• ループ群 LG による固定点を分析することで、LP1 の G-同変射影埋め込みの問題を解決すること。
• 線束が LG に関して不変であるならば、G に関しても不変であることを確立し、ミルソンとゾンブロが提起した問いに完全に答えること。

提案手法

• 著者たちは、写像 S^1 → P^1 にソボレフ空間または C^k 位相を導入することで、LP1 を無限次元複素多様体としてモデル化する。
• 彼らは、ピカール群 Pic(LP1) を無限次元複素リーマン群として計算し、そのリーリー代数をドレームコホホロジー群 H^{0,1}(LP1) と特定する。
• 彼らは、モビウス群 G 及びそのループ群 LG の LP1 への作用を分析し、正則線束の不変性に関する性質を群作用を用いて研究する。
• 彼らは、LP1 上の任意の正則線束が LG に関して不変であるならば、G に関しても不変であることを、表現論的およびコホホロジー的技法を用いて証明する。

実験結果

リサーチクエスチョン

• RQ1 リーマン球面のループ空間 LP1 のピカール群は、無限次元複素リーマン群としてどのように構造化されるか？
• RQ2 モビウス群 G 及びそのループ群 LG は、LP1 上の正則線束にどのように作用するか？
• RQ3 LP1 上で LG の作用に関して不変な正則線束はどれか？
• RQ4 LP1 上の線束が LG に関して不変であるならば、元のモビウス群 G に関しても不変であるとみなせるか？
• RQ5 これは、LP1 の G-同変射影埋め込み問題に対して完全な解決をもたらすか？

主な発見

• ピカール群 Pic(LP1) は、リーリー代数が H^{0,1}(LP1) に同型である無限次元複素リーマン群として計算された。
• ループ群 LG は LP1 に作用し、LG に関して不変な正則線束の群は、まさにモビウス群 G に関して不変な線束の群に一致する。
• この論文は、ミルソンとゾンブロの問いを解決し、LG 固定の線束が必然的に G 固定であることを示した。この結果、LP1 の G-同変射影埋め込みは、LG 不変性によって完全に特徴づけられる。
• LP1 のコホホロジー的構造、特に H^{0,1}(LP1) は、ピカール群のリーリー代数を特定する上で中心的な役割を果たす。
• この結果は、強い剛性性質を確立する：より大きな群 LG に関して不変であることは、より小さい群 G に関しても不変であることを強制する。
• この計算により、ループ群作用に関して不変な正則線束の同型類についての完全な分類が得られた。