[논문 리뷰] Good moduli spaces for Artin stacks

Jarod Alper|ArXiv.org|2008. 04. 14.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 41

한 줄 요약

이 논문은 임의의 아르틴 스택에 대해 '좋은 모듈리 공간'의 개념을 도입하며, 기하학적 불변량 이론(GIT)과 희귀 스택 이론을 일반화한다. 스택에서 대수적 공간으로의 사상이 유한성의 전달이 정확하고, 구조층의 사상이 동형일 때 그 사상이 좋은 모듈리 공간이 된다고 증명한다. 주요 기여는 이러한 모듈리 공간이 고유하고, 대수적 공간으로의 사상에 대해 보편적이며, 기저 변경에 대해 안정적이고, 안정자기 표현의 자명성에 의한 벡터 번들의 특성화를 포함한 강력한 기하적 성질을 유지한다는 것을 증명하는 것이다.

ABSTRACT

We develop the theory of associating moduli spaces with nice geometric properties to arbitrary Artin stacks generalizing Mumford's geometric invariant theory and tame stacks.

연구 동기 및 목표

• 유한 관성나선이나 희귀 스택이 아닌 임의의 아르틴 스택에 대해 일반적인 모듈리 공간 이론을 개발하기 위해.
• 무한 안정자군을 가진 스택, 예를 들어 벡터 번들의 매개변수화를 하는 스택들에 대해 무머프의 기하학적 불변량 이론(GIT)을 일반화하기 위해.
• 기대되는 기하적 및 함자적 성질을 유지하는 새로운 모듈리 공간의 클래스인 '좋은 모듈리 공간'을 정의하고 특성화하기 위해.
• 대수적 공간의 범주에서 좋은 모듈리 공간의 고유성과 보편성을 확립하기 위해.
• 좋은 모듈리 공간이 고전적 GIT 몫을 압축하고, 선형적으로 재수성 그룹 작용으로의 결과를 일반화하기 위해.

제안 방법

• 좋은 모듈리 공간을 아르틴 스택 X에서 대수적 공간 Y로의 준콤팩트 사상 φ: X → Y로 정의하며, 다음 두 조건을 만족시킨다: (1) 준가역층의 전달이 정확하고, (2) 자연사상 O_Y → φ_*O_X 가 동형이다.
• 좋은 모듈리 공간이 전사적이며, 모든 기저 변경에 대해 닫혀 있으며, Y에 X의 몫 위상 구조가 유도된다는 것을 증명한다.
• 에테ール 사상의 강하를 좋은 모듈리 공간에 대해 수립하여, 기저 변경에 대해 성질이 유지됨을 보인다.
• 스택 X 위의 벡터 번들이 Y 위의 벡터 번들의 올리기일 조건은, 이미지가 닫힌 모든 기하적 점에서 안정자군의 표현으로서 그 군의 표현이 자명할 때이다.
• 공동호모로지적으로 약한 사상과 선형적으로 재수성 그룹 스킴을 사용하여, G가 선형적으로 재수성일 경우 몫 스택 [X/G]에 대해 좋은 모듈리 공간이 존재함을 증명한다.
• 이 이론을 적용하여 선형적으로 재수성 그룹에 의한 GIT 몫이 좋은 모듈리 공간임을 보이고, 반안정 및 안정 레이어 구성과 같은 결과들을 이 일반적 프레임워크로 확장한다.

실험 결과

연구 질문

• RQ1 유한 관성나선이나 희귀 스택이 아닌 임의의 아르틴 스택에 대해, 좋은 기하적 및 함자적 성질을 갖는 모듈리 공간을 정의할 수 있는가?
• RQ2 좋은 모듈리 공간의 개념이 고전적 GIT 몫과 희귀 모듈리 공간을 일반화하면서도 그 핵심 성질을 유지하는가?
• RQ3 좋은 모듈리 공간은 대수적 공간의 범주에서 고유한가? 그리고 대수적 공간으로의 사상에 대해 보편 성질을 만족하는가?
• RQ4 좋은 모듈리 공간은 기저 변경에 대해 어떻게 행동하는가? 그리고 그 위상적 구조는 어떠한가?
• RQ5 좋은 모듈리 공간으로부터 올려진 것으로 나타나는 스택 위의 벡터 번들의 특성은 무엇인가?

주요 결과

• 좋은 모듈리 공간은 대수적 공간의 범주에서 고유하며, 국소적으로 노에테르 스택에 대해 보편 성질이 성립한다.
• 사상 φ: X → Y 가 좋은 모듈리 공간일 조건은 준가역층의 전달이 정확하고, O_Y → φ_*O_X 가 동형일 때이다.
• 좋은 모듈리 공간은 보편적으로 닫혀 있으며 전사적이며, Y는 X로부터 유도된 몫 위상 구조를 갖는다.
• 좋은 모듈리 공간의 형성은 임의의 기저 변경과 가환하며, 좋은 모듈리 공간의 기저 변경 역시 좋은 모듈리 공간이 된다.
• 스택 X 위의 벡터 번들 F 가 Y 위의 벡터 번들의 올리기일 조건은, 모든 이미지가 닫힌 기하적 점에서 안정자군의 표현으로서 그 표현이 자명할 때이다.
• 선형적으로 재수성 그룹 G 가 스킴 X에 작용할 경우, 몫 스택 [X/G]는 Spec(p_*O_X)^G 와 동형인 좋은 모듈리 공간을 갖는다. 이는 고전적 GIT를 일반화한다.