[논문 리뷰] A note on group actions on algebraic stacks

Matthieu Romagny|ArXiv.org|2003. 05. 16.

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

한 줄 요약

이 논문은 대수적 스택 위의 군 작용에 대한 기초 정의를 수립하고, 적절한 평탄한 군 스킴에 대해 고정점 스택의 대수성과 분리된 평탄한 군 스킴에 대해 몫 스택의 대수성을 증명한다. 또한 몽이 스택 𝒪/M/G가 G-터소르의 스택과 동형임을 보이고, G가 기저 스킴 S 위에서 평탄하고 분리되어 있으며 유한 표현 가능할 경우 이는 대수적임을 보인다.

ABSTRACT

We give the basic definitions of group actions on (algebraic) stacks, and prove the existence of fixed points and quotients as (algebraic) stacks.

연구 동기 및 목표

• 문헌에서 체계적으로 다루어지지 않았음에도 불구하고 모듈리 문제에서 자주 사용되는 대수적 스택 위의 군 작용 이론을 체계화하기 위해.
• 오르비폭포드 Gromov-Witten 이론과 갈로아 코버를 매개하는 히르츠 스택과 같은 응용 분야에서 엄밀한 프레임워크가 필요로 하는 바를 해결하기 위해.
• 군 스킴에 대한 자연스러운 기하적 가정 하에 몫 스택과 고정점 스택의 존재성과 대수성을 확립하기 위해.
• 몫 스택이 주어진 군 스킴 작용에 대해 터소르의 스택으로 정확히 특징지어질 수 있도록 보장하기 위해, 내림림과 fppf 위상과의 호환성을 확보하기 위해.
• 스킴의 몫에 대한 고전적 결과를 대수적 스택의 맥락으로 확장하기 위해, 특히 혼합 특성수와 유한 평탄한 군 스킴의 경우를 다루기 위해.

제안 방법

• 2-카테고리인 스택의 2-카테고리에서 2-교환 다이어그램을 통해 군 작용을 정의하고, 등변성 조건을 1-준동형과 2-동형으로 기록한다.
• G-등변 사상의 프리스택에 대응하는 스택으로서 몽이 스택 𝒪/M/G를 구성하여, 이가 G-터소르의 함자를 표현함을 보장한다.
• 완전 충실하고 국소적으로 본질적으로 전성인 사상의 구축을 통해 몽이 스택이 G-터소르의 스택과 동형임을 증명한다.
• Isom 스킴의 표현 가능성과 대각선 사상의 성질을 이용하여 fppf 내림림과 기저 변경 성질을 활용해 몽이 스택의 대수성을 확립한다.
• 𝒪/M → 𝒪/M/G의 표준 사상으로부터 𝒪/M의 아틀라스를 통해 몽이 스택이 fppf-국소적으로 표현 가능하다는 것을 보인다.
• Laumon-Moret-Bailly의 대수성 기준을 적용하여 대각선 사상이 표현 가능하고, 분리되어 있으며, 유계림을 띤다는 것을 검증한다.

실험 결과

연구 질문

• RQ1 대수적 스택 위의 군 작용에 대해 고정점 스택이 존재하고 대수적으로 유지되는 조건은 무엇인가?
• RQ2 대수적 스택 위의 군 작용에 대해 몽이 스택이 대수적일 조건은 무엇인가?
• RQ3 주어진 군 스킴 작용에 대해 몽이 스택을 어떻게 터소르의 스택으로 특징지울 수 있는가?
• RQ4 𝒪/M 위의 G-선형화된 선다발의 스택과 몽이 스택의 피카르 스택 사이의 관계는 무엇인가?
• RQ5 기저 스킴 S에 대한 기저 변경과 함께 몽이 스택의 형성 방식은 어떻게 동작하는가?

주요 결과

• 몽이 스택 𝒪/M/G는 𝒪/M 위의 G-터소르의 스택 (𝒪/M/G)* 와 동형이며, 이 식별은 자연스럽다.
• G가 S 위에서 평탄하고 분리되어 있으며 유한 표현 가능할 경우, 몽이 스택 𝒪/M/G는 대수적이며, 따라서 대수적 스택의 2-카테고리의 대상이 된다.
• 표준 사영 사상 𝒪/M → 𝒪/M/G는 fppf 사상이며, 몽이 스택 위의 유일한 G-터소르를 나타낸다.
• 기저 스킴 S에 대한 기저 변경과 함께 몽이 스택의 형성이 유지되며, 이는 함자성 보장한다.
• 𝒪/M/G의 대각선 사상은 표현 가능하고, 분리되어 있으며, 유계림을 띤다. 이는 표준 기준에 의해 대수성을 암시한다.
• 𝒪/M 위의 G-선형화된 선다발 F에 대해, G-선형화된 선다발의 스택은 몽이 스택의 피카르 스택과 동형이며, 즉 𝒫ic(𝒪/M/G) ≅ 𝒫ic^G(𝒪/M) ≅ 𝒫ic(𝒪/M)^G이다.