[논문 리뷰] The Picard group of a loop space

Ning Zhang|arXiv (Cornell University)|2006. 02. 28.

Geometric Analysis and Curvature Flows참고 문헌 8인용 수 1

한 줄 요약

이 논문은 리만 구면의 루프 공간 LP1의 피카르 군을 무한차원 복소 리 군으로 계산하며, 그 리 대수를 도르베올 코hom로지 군 H^{0,1}(LP1)로 규명한다. 또한 Mил리슨과 조브로가 제기한 G-동차 프로젝티브 임bedding 문제를 완전히 해결하기 위해, LG-고정된 허영선다발이 정확히 모비우스 군 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을 무한차원 복소다양체로 모델링한다.
• 그들은 LP1의 피카르 군 Pic(LP1)을 무한차원 복소리 군으로 계산하며, 그 리 대수를 도르베올 코hom로지 군 H^{0,1}(LP1)로 규명한다.
• 그들은 모비우스 군 G와 그 루프 군 LG의 LP1 위에서의 작용을 분석하여, 허영선다발의 불변성 성질을 연구한다.
• 그들은 표현론적 및 코hom로지적 기법을 사용하여, 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의 코hom로지적 구조, 특히 H^{0,1}(LP1)는 피카르 군의 리 대수를 결정하는 데 중심적인 역할을 한다.
• 결과는 강력한 고정성 성질을 확립한다: 더 큰 군 LG에 관해 불변이면 더 작은 군 G에 관해 불변이어야 한다는 것이다.
• 계산은 LG 작용에 관해 불변인 선다벨의 동형류에 대한 완전한 분류를 제공한다.