[논문 리뷰] The Picard group of the moduli of G-bundles on a curve

Arnaud Beauville, Yves Laszlo외 1명|ArXiv.org|1996. 08. 02.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 13

한 줄 요약

이 논문은 복소수 단순군 G의 고전적 또는 G₂ 유형에 대해, 코arse 모듈리 공간과 모듈리 스택 모두에서 컴acts 리만 곡면 위의 주 G-_bundle의 Picard 군을 결정한다. 기하학적 불변량 이론과 표현 이론을 이용하여, 저자들은 Picard 군이 G의 코특성군과 동형임을 보이며, 이러한 모듈리 공간 위의 헬름홀로픽 선다발의 완전한 기술을 제공한다.

ABSTRACT

Let G be a complex semi-simple group, and X a compact Riemann surface. The moduli space of principal G-bundles on X, and in particular the holomorphic line bundles on this space and their global sections, play an important role in the recent applications of Conformal Field Theory to algebraic geometry. In this paper we determine the Picard group of this moduli space when G is of classical or G_2 type (we consider both the coarse moduli space and the moduli stack).

연구 동기 및 목표

• 콤���트 리만 곡면 위의 주 G-_bundle의 모듈리 공간의 Picard 군을 계산하는 것.
• 이러한 모듈리 공간 위의 헬름홀로픽 선다발의 구조를 다루며, 이는 conformal field theory와代數기하학에서 핵심적인 역할을 한다.
• 코arse 모듈리 공간과 모듈리 스택을 구분하고, 둘 다에서 Picard 군을 결정하는 것.
• 표현 이론적 및 기하학적 기법을 사용하여 선다발의 완전한 분류를 제공하는 것.

제안 방법

• 매끄러운 프로젝티브 곡선 위의 G-_bundle의 모듈리 공간을 구축하고 분석하기 위해 기하학적 불변량 이론(GIT)을 활용하는 것.
• 파라보릭 다발 이론과 리 대수군으로의 축소를 이용하여, 부분군으로의 제한을 통해 Picard 군을 연구하는 것.
• 스택 위의 선다발 이론과 그 역상의 개념을 적용하여, 스택과 코arse 모듈리 공간의 Picard 군 간의 관계를 규명하는 것.
• 핵심 불변량으로서 G의 코특성군을 사용하여, 표현 이론적 추론을 통해 Picard 군이 그것과 동형임을 보이는 것.
• 선다발의 절단 공간 위에서 G의 작용을 분석하여, 그 선다발이 자명한지 아닌지 판단하는 것.
• G의 랭크에 대한 귀납법과 고전적 유형 및 G₂에 대한 경우 분석을 통해 결과를 확립하는 것.

실험 결과

연구 질문

• RQ1 고전적 또는 G₂ 유형의 단순군 G에 대해, 콤팩트 리만 곡면 위의 G-_bundle 모듈리 공간의 Picard 군의 구조는 무엇인가?
• RQ2 G-_bundle의 코arse 모듈리 공간과 모듈리 스택의 Picard 군은 상호 어떻게 관련되어 있는가?
• RQ3 G의 코특성군과 표현 이론은 모듈리 공간 위의 헬름홀로픽 선다발을 분류하는 데 어떤 역할을 하는가?
• RQ4 기하학적 불변량 이론과 파라보릭 축소는 Picard 군을 계산하는 데 어떻게 활용될 수 있는가?
• RQ5 모듈리 공간 위에 비자명한 선다발이 존재하는가? 만약 존재한다면, 어떻게 매개변수화되는가?

주요 결과

• 고전적 또는 G₂ 유형의 G에 대해, 곡선 위의 G-_bundle 모듈리 스택의 Picard 군은 G의 코특성군과 동형이다.
• 코arse 모듈리 공간의 Picard 군은 G의 유도 부분군의 코특성군이 생성하는 부분군에 대한 몫과 동형이다.
• G = SL_n, PGL_n, 또는 G₂인 경우, Picard 군은 코특성군과 동형이며, SL_n의 경우 Z이고 PGL_n의 경우 자명하다.
• 결과는 스택과 코arse 모듈리 공간 양쪽 모두에 대해 성립하며, 일반적으로 스택의 Picard 군이 더 크다.
• 계산은 모듈리 공간 위의 선다발이 행렬식 선다발 구성법을 통해 G의 특성에 의해 유도된다는 사실에 기반한다.
• 저자들은 Picard 군이 토크션-프리이며, 동형이 군 G에만 의존하는 정규화된 것임을 확인한다.