[논문 리뷰] Twisted bundles and admissible covers

Dan Abramovich, Alessio Corti외 1명|ArXiv.org|2001. 06. 25.

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

한 줄 요약

이 논문은 스트레스 없는, 정밀한 모듈리 공간을 구축하기 위한 프레임워크로 비틀림 코팅과 적합한 코팅을 소개한다. 이는 대칭군의 자동형사상으로 인해 발생하는 특이점을 제거하기 위해 대수적 스택과 강성화를 사용한다. 임의의 종수 $ g \geq 2 $에 대해, 연결된 적합한 $ G $-코팅의 모듈리 공간이 $ \overline{\mathbf{M}}_g $의 스트레스 없는, 갈루아 코팅임을 증명한다. 이는 강성화를 기반으로 하지 않고도 정밀한 모듈리 해석을 제공한다.

ABSTRACT

The cherry on top of this stacky paper is the following: for any g>1 we give a finite group G such that the moduli space of connected admissible G-covers of genus g is a smooth, fine moduli space, which is a Galois cover of the moduli space of stable curves. The proof relies on methods introduced by Looijenga and Pikaart-De Jong, and on the theory of twisted G-covers, a theory announced without proofs in math.AG/9811059, section 3, and developed in the first few sections of this paper. This includes a moduli description of the normalization of the Harris-Mumford space of admissible covers, and a study of moduli of stable curves with abelian and non-abelian level structure.

연구 동기 및 목표

• 코arse 모듈리 공간에서 특이점이 발생하므로, 안정 곡선의 수렴된 모듈리 공간에 대해 수렴된 모듈리 공간의 정밀한 해석을 제공한다.
• 변형 공간은 스트레스 없이 스트레스가 발생하는 이유는 자동형사상 때문이지만, 안정 곡선의 코arse 모듈리 공간은 종종 특이점이 있다.
• 비아벨리안 수준 구조를 가진 $ \overline{\mathbf{M}}_g $에 대해, 적합한 $ G $-코팅을 사용하여 스트레스 없는 모듈리 공간을 구축한다.
• 비틀림 $ G $-코팅을 직접적으로 도입함으로써 강성화가 필요 없도록 하여, 모듈리 구축 과정에서 강성화의 필요성을 제거한다.
• 델리뉴–무미포드 스택과 에탈 코hom로지의 이론을 사용하여 비틀림 코팅의 기하학적 및 코호몰로지적 프레임워크를 수립한다.

제안 방법

• 비틀림 $ G $-코팅을 갈루아 코팅의 일반화로 사용하여, 수준 구조를 가진 곡선을 매개변수화한다. 이 비틀림은 자동형사상을 반영한다.
• 비틀림 코팅의 변형 이론을 적용하여 매개변수 공간의 국소적 스트레스 없음과 모듈리 성질을 분석한다.
• 외부 자동형사상을 제거하기 위해 강성화 개념을 도입하여, 정밀한 모듈리 공간의 구축을 가능하게 한다.
• 유한한 정 stabilizer를 가진 모듈리 문제를 표현하기 위해 델리뉴–무미포드 스택 이론을 사용하여 스트레스 없는 성질을 보장한다.
• 적절한 기저 전환과 에탈 코호몰로지 이론을 사용하여, 희미한 델리뉴–무미포드 스택에서 코호몰로지 불변성을 증명한다.
• 스펙트럴 시퀀스와 극한 추론을 사용하여 스택의 코호몰로지와 기하학적 점에서의 정 stabilizer 군의 코호몰로지를 연결한다.

실험 결과

연구 질문

• RQ1 비틀림 강성화 없이, 비아벨리안 수준 구조를 가진 $ \overline{\mathbf{M}}_g $에 대해 스트레스 없는, 정밀한 모듈리 공간을 구축할 수 있는가?
• RQ2 비틀림 $ G $-코팅은 안정 곡선의 수준 구조를 가진 코arse 모듈리 공간에서 발생하는 특이점을 어떻게 해결하는가?
• RQ3 안정 곡선의 모듈리 공간 맥락에서, 적합한 코팅과 비틀림 코팅 간의 관계는 무엇인가?
• RQ4 적절한 $ G $에 대해, 적합한 $ G $-코팅의 모듈리 공간이 $ \overline{\mathbf{M}}_g $의 스트레스 없는 갈루아 코팅임을 증명할 수 있는가?
• RQ5 델리뉴–무미포드 스택의 에탈 코호몰로지는 기하학적 점에서의 정 stabilizer 군의 코호몰로지와 어떻게 관련이 있는가?

주요 결과

• 모든 $ g \geq 2 $에 대해, 연결된 적합한 $ G $-코팅의 모듈리 공간이 스트레스 없는 정밀한 모듈리 공간이자 $ \overline{\mathbf{M}}_g $의 갈루아 코팅임을 보장하는 유한군 $ G $가 존재한다.
• 비틀림 $ G $-코팅을 직접적으로 기본 대상으로 사용함으로써, 강성화가 필요 없이 이러한 모듈리 공간을 구축한다.
• 기하학적 점에서의 정 stabilizer $ \Gamma $에 대해, 고차 코호몰로지층 $ \mathbf{R}^i \pi_* F $의 스토크와 군 코호몰로지 $ H^i(\Gamma, F_p) $ 사이에 자연스러운 동형사상을 수립한다.
• 탄성 델리뉴–무미포드 스택에서 토르션 층에 대해 적절한 기저 전환 정리가 성립하여, 기저 전환에 따른 코호몰로지 불변성을 보장한다.
• 수준-$ m $의 구조에 대한 모듈리 공간 $ \overline{\mathbf{M}}_g^{(m)} $는 $ m \geq 3 $일 때 스트레스 없는 정밀한 모듈리 공간임을 증명하여 이전의 특이점 문제를 해결한다.
• 비틀림 코팅 이론은 테이히뮐러 구조를 기하학적으로 실현하며, 이전에 정규화를 통해 구성된 공간에 대한 직접적인 모듈리 해석을 가능하게 한다.