[논문 리뷰] Poincaré families of G-bundles on a curve

Indranil Biswas, Norbert Hoffmann|arXiv (Cornell University)|2010. 01. 13.

Advanced Algebra and Geometry참고 문헌 8인용 수 5

한 줄 요약

이 논문은 곡선 위의 안정 G-_bundle의 모듈리 공간의 열린 부분집합 위에서 Poincaré 가족( universal G-_bundle)의 존재를 위한 필수 및 필요조건을 설정하며, 모든 재수성 군, 모든 위상형식, 임의의 특성수에서 이전 결과를 일반화한다. 핵심 결과는 G의 루트 체계로부터 명시적으로 계산된 순서를 가진 브라우어 군의 장애물 클래스를 특정하며, 이러한 가족의 존재는 이 클래스가 루트 체계의 불변량을 나누는 순서의 토르스임과 동치임을 밝힌다.

ABSTRACT

Let G be a reductive group over an algebraically closed field k. Consider the moduli space of stable principal G-bundles on a smooth projective curve C over k. We give necessary and sufficient conditions for the existence of Poincaré bundles over open subsets of this moduli space, and compute the orders of the corresponding obstruction classes. This generalizes the previous results of Newstead, Ramanan and Balaji-Biswas-Nagaraj-Newstead to all reductive groups, to all topological types of bundles, and also to all characteristics.

연구 동기 및 목표

• Poincaré 가족의 존재 조건을 위상적으로 자명하지 않은 경우로 확장하고, 모든 재수성 군에 대해 일반화하기.
• Newstead, Ramanan, Balaji-Biswas-Nagaraj-Newstead의 이전 결과를 모든 위상형식과 모든 특성수로 확장하기.
• 모듈리 공간의 열린 부분집합에서 Poincaré 가족이 존재하는지 여부를 결정하는 브라우어 군 내 장애물 클래스의 순서를 계산하기.
• 장애물이 G의 루트 체계에 의해 암묵적으로 결정되며, 임의의 특성수에서 적용 가능한 통일된 기준을 제공함을 입증하기.

제안 방법

• 저자는 주로 G-_bundle의 모듈리 스택을 분석하고, 정규적으로 안정된 부분집합이 코arse 모듈리 스킴 위의 제르비임을 보이며, 이 제르비의 브라우어 클래스가 유니버설 백업을 올리는 데 장애가 된다고 밝힌다.
• 그들은 모듈리 스택의 피카르 군과 G의 중심 Z에 관련된 웨이트 사상(Weight map)을 사용하여 선다발을 Z의 특성에 연결함으로써 장애물 클래스를 계산한다.
• 증명은 피카르 군의 제약 사상이 전사임을 이용하여 코arse 모듈리 스킴 수준으로 축소할 수 있음을 기반으로 한다.
• 저자는 중심의 특성에 대한 평가 사상의 코어널을 분석함으로써 장애물 클래스의 순서를 계산하며, Hom(Z, Gm)의 구조를 유한 생성 아벨 군으로 간주한다.
• 그들은 루트 체계 데이터와 군론적 구성 방법을 사용하여 양의 특성수에서 정규적으로 안정된 부분집합이 비어 있지 않음을 증명한다.
• 핵심 기술 도구는 보조정리 7.4로, 특정한 무게를 가진 선다발의 존재성이 코homology에서 장애물 클래스의 소멸과 관련됨을 연결한다.

실험 결과

연구 질문

• RQ1 곡선 위의 안정 G-_bundle의 모듈리 공간의 열린 부분집합에서 Poincaré 가족이 존재할 조건은 무엇인가?
• RQ2 Poincaré 가족의 존재를 방해하는 브라우어 군 내 장애물 클래스의 정확한 순서는 무엇인가?
• RQ3 장애물은 재수성 군 G의 루트 체계에 따라 어떻게 달라지며, 모든 특성수에서 통일적으로 계산할 수 있는가?
• RQ4 양의 특성수에서 정규적으로 안정된 부분집합은 비어 있지 않은가? 이는 유니버설 백업의 존재에 어떤 영향을 미치는가?
• RQ5 유니버설 백업을 올리는 데 장애가 중심과 코캐릭터 격자에 의해 어떻게 특성화될 수 있는가?

주요 결과

• Poincaré 가정이 어떤 열린 부분집합 U에서 정규적으로 안정된 부분집합 위에 존재할 조건은 장애물 클래스 ψ_G^d 가 n의 순서를 가지는 토르스이면서, n이 ψ_G^d 를 0으로 만드는 최소의 양의 정수인 경우에 한하여 성립한다. 여기서 n은 에테일 코hom로지 군 H^2(𝔐_G^{d,rs}, Z) 내에서 n·ψ_G^d = 0 이 되는 최소의 양의 정수이다.
• 장애물 클래스의 순서는 G의 루트 체계에 의해 결정되며, 코루트와 중심 G로부터 유도된 특정 불변량들의 최소공배수로 명시적으로 계산할 수 있다.
• 전체 정규적으로 안정된 부분집합에 대해 Poincaré 가정이 존재할 조건은 장애물 클래스 ψ_G^d 가 H^2(𝔐_G^{d,rs}, Z) 내에서 0이 되는 것과 동치이며, 이는 평가 사상 ev_G^d 의 코어널이 장애물의 순서에 의하여 소멸될 때 정확히 발생한다.
• 장애물 클래스가 0이 되는 것은, 피카르 군에서 중심의 특성으로 가는 웨이트 사상 wt_G^d: Pic(𝔐_G^{d,rs}) → Hom(Z, Gm) 의 코어널이 장애물의 순서에 의하여 소멸될 때 정확히 발생하며, 이는 존재 조건이 피카르 군과 중심 G의 구조와 연결됨을 보여준다.
• 특히 G의 중심이 자명할 경우, 장애물 클래스는 0이 되며, Poincaré 가정은 전체 정규적으로 안정된 부분집합 위에서 존재한다. 이는 이전의 단순형 군에 대한 결과를 일반화한다.
• 결과는 모든 특성수, 특히 양의 특성수에서도 성립하며, 정규적으로 안정된 부분집합의 비어 있지 않음은 5장에서 루트 체계 데이터와 군론적 추론을 통해 입증된다.