[논문 리뷰] Singular principal bundles over higher dimensional manifolds and their moduli spaces

Alexander Schmitt|ArXiv.org|2002. 01. 10.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 15

한 줄 요약

이 논문은 고차원 복소다양체 위에서 재수도적 군 G에 대한 특이 주기본 G-_bundle를 춵실한 표현 ρ′: G → SL(V)를 통해 도입하며, 벡터 번들의 이론을 재수도적 군으로 일반화한다. 이러한 번들을 추가 구조를 가진 비탄성층으로 서술함으로써, 기하학적 불변량 이론(GIT)을 통해 사영 모듈리 공간을 구성하며, 헤온의 안정적 주기본 번들에 대한 준사영 모듈리 공간을 자연스럽게 컴actification하는 결과를 얻는다. 이는 벡터 번들에 대한 지제커의 컴 pactification과 유사하다.

ABSTRACT

In this note, we introduce the notion of a singular principal G-bundle, associated to a reductive algebraic group G over the complex numbers by means of a faithful representation $\varrho^\p\colon G\lra \SL(V)$. This concept is meant to provide an analogon to the notion of a torsion free sheaf as a generalization of the notion of a vector bundle. We will construct moduli spaces for these singular principal bundles which compactify the moduli spaces of stable principal bundles.

연구 동기 및 목표

• 고차원 복소다양체 위에서 임의의 재수도적 군 G에 대해 안정적 벡터 번들의 개념을 주기본 G-_bundle로 일반화하는 것.
• 안정적 주기본 G-_bundle를 일반화하고 모듈리 공간의 컴 pactness를 허용하는 특이 주기본 G-_bundle의 클래스를 정의하는 것.
• 기하학적 불변량 이론(GIT)을 사용하여 이러한 특이 번들에 대한 사영 모듈리 공간을 구성함으로써 컴 pactness를 확보하는 것.
• 헤온의 안정적 주기본 번들에 대한 준사영 모듈리 공간을 자연스럽게 컴 pact화하는 것. 이는 벡터 번들에 대한 지제커의 컴 pactification과 유사하다.
• 기존의 텐서장과 주기본 층에 관한 결과들과 호환되는 프레임워크를 구축하며, 특히 고메즈와 콜스의 주기본 G-층에 관한 연구와의 관계를 다루는 것.

제안 방법

• 출신 표현 ρ′: G → SL(V)를 통해 특이 주기본 G-_bundle를 정의하고, 이를 몰입층에 대한 G-구조를 갖춘 비탄성층으로 모델링함. 이 G-구조는 몰입층의 몫층에 대한 절편을 통해 유도된다.
• 준비 표현과 관련된 텐서장을 사용하여 G-구조를 표현함으로써 문제를 반정적 안정성 텐서장의 연구로 환원한다.
• GIT를 적용하여 δ-반정적 안정성 텐서장에 대한 모듈리 공간을 구성하며, 레이놀즈 연산자와 Spec 및 GIT 몫의 함자성질을 활용한다.
• 가환성 기준을 이용하여 모듈리 공간의 올바름을 증명함. 이는 룬라의 에탈 슬라이스 정리와 레이놀즈 연산자의 기저 변경 성질에 의존한다.
• 이산 평가환수(DVR) 위의 가속 가속을 올리는 방법을 구성함으로써 모듈리 공간의 올바름을 보장하며, 이는 컴 pactness를 확보한다.
• 구성 과정을 고메즈와 콜스의 주기본 G-층 개념과 연관지켜, 진정한 Aut(g)-_bundle의 경우에 등가성을 보여준다.

실험 결과

연구 질문

• RQ1 재수도적 군 G에 대해 고차원 다류체 위에서 안정적 주기본 G-_bundle의 자연스러운 일반화를 텐서장의 비탄성층과 유사하게 정의할 수 있는가?
• RQ2 이러한 일반화된 주기본 번들에 대해 사영 모듈리 공간을 구성할 수 있으며, 이로 인해 컴 pactness를 보장할 수 있는가?
• RQ3 제안된 구성은 헤온의 준사영 모듈리 공간과 지제커의 벡터 번들에 대한 컴 pactification과 어떻게 비교되는가?
• RQ4 저자의 특이 주기본 G-_bundle와 고메즈 및 콜스가 정의한 주기본 G-층 사이의 관계는 무엇인가?
• RQ5 관련된 텐서장에 대한 δ-반정적 안정성은 지제커의 의미에서의 기본 층의 δ-반정적 안정성과 일치하는가?

주요 결과

• 저자는 특이 주기본 G-_bundle에 대한 사영 모듈리 공간을 구성하였으며, 이는 헤온의 안정적 주기본 번들에 대한 준사영 모듈리 공간을 컴 pact화한다.
• 이중 기준을 사용하여 모듈리 공간의 올바름을 증명하였으며, 이는 이산 평가환수 위의 가속 가속성과 룬라의 에탈 슬라이스 정리를 활용한다.
• 람아타나한과 헤온의 방법보다 더 직접적인 접근을 취하며, 텐서장에 대한 GIT와 레이놀즈 연산자를 통한 불변량 처리에 의존한다.
• 작은 δ에 대해서는 텐서장의 δ-반정적 안정성이 기본 층의 지제커 반정적 안정성과 일치하며, 예상되는 행동과 일치한다.
• 특이 주기본 G-_bundle의 모듈리 공간은 벡터 번들에 대한 지제커의 컴 pactification과 유사한 자연스러운 컴 pactification을 제공한다.
• 논문은 G′ = G일 경우, 특히 진정한 Aut(g)-bundle의 경우, 저자의 특이 G-_bundle와 고메즈 및 콜스의 주기본 G-층 사이에 정확한 대응 관계를 수립한다.