[논문 리뷰] The resolution property for schemes and stacks

Burt Totaro|ArXiv.org|2002. 07. 23.

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

한 줄 요약

이 논문은 안정자군에 대한 약한 조건 하에서, 모든 계량층이 벡터(bundle)의 몫임을 보여주는 해상성 성질과, 준가환 스킴에 대한 $GL(n)$의 몫인 스택 구조 사이의 동치성을 확립한다. 주요 기여는 정규 노에테르 스택에서 안정자군가 가환일 경우, 해상성 성질이 $GL(n)$으로의 몫으로 표현 가능한 것과 동치임을 증명하는 것으로, 이는 스킴적 코arse 모듈리 공간을 가진 궤도형(orbifolds)으로까지 확장된다.

ABSTRACT

We prove the equivalence of two fundamental properties of algebraic stacks: being a quotient stack in a strong sense, and the resolution property, which says that every coherent sheaf is a quotient of some vector bundle. Moreover, we prove these properties in the important special case of orbifolds whose associated algebraic space is a scheme.

연구 동기 및 목표

• 가환 안정자군을 가진 대수기하 스택에 대해 해상성 성질과 몫 스택 구조 사이의 동치성을 확립하기.
• 약한 조건 하에서 해상성 성질이 스택이 어떤 준가환 스킴에 대해 $GL(n)$의 몫임을 의미함을 보여주기.
• 유한하고 일반적으로 자명한 안정자를 가지며, 스킴 코어스 모듈리 공간과 가환 대각선을 가진 스무스 딜레인-머포드 스택가 해상성 성질을 가짐을 증명하기.
• 궤도형과 몰입 특이점의 경우에 대해 벡터 번들의 해상성이 존재하는지에 대한 오랜 열린 문제를 해결하기.
• 유도 범주 및 비라시오널 기하학 응용에서 코hen-맥컬레이 전역 커버가 필요 없도록 하는 일반적 프레임워크 제공하기.

제안 방법

• 준가환 스킴에 대한 토마슨의 해상성 성질 결과를 이용해 동치성의 한 방향을 확립한다.
• 케일-모리 정리를 적용하여 유한 안정자를 가진 스무스 딜레인-머포드 스택에 대해 코어스 모듈리 공간 $B$를 구성한다.
• 등변층 이론과 특정 등변 벡터 번들의 영 섹션을 가지는 성질을 활용해 해상을 구성한다.
• 스택 $Y/T$의 해상성 성질을 특정 $T$-등변 계량층 $C$가 $T$-등변 벡터 번들의 몫임을 묻는 문제로 환원한다.
• 준가환 스킴 위의 $GL(n)$-번들이 스스로 준가환임을 이용해 몫 스택에 대한 해상성 성질를 유도한다.
• 대칭성과 강하 기법(예: $ extbf{Z}/2$-작용)을 적용해 프로젝티브 직선의 합집합에서 노드 곡선과 그 몫으로 결과를 확장한다.

실험 결과

연구 질문

• RQ1 노에테르 대수기하 스택이 가환 안정자군을 가지며, 어떤 준가환 스킴 $W$에 대해 $W/GL(n)$의 몫 스택과 동형일 조건은 무엇인가?
• RQ2 유한하고 일반적으로 자명한 안정자를 가지며 스킴 코어스 모듈리 공간을 가진 스무스 딜레인-머포드 스택가 해상성 성질을 가질 조건은 무엇인가?
• RQ3 코헨-맥컬레이 전역 커버를 가정하지 않고도, 몰입 특이점을 가진 궤도형에 대해 해상성 성질을 확립할 수 있는가?
• RQ4 가환 안정자군을 가진 스택에 대해 해상성 성질이 $GL(n)$으로의 준가환 스킴의 몫임과 동치인가?
• RQ5 가환 대각선을 가졌지만 비자명한 $G_m$-gerbe를 가진 스택에서 해상성 성질의 기하학적 장애는 무엇인가?

주요 결과

• 코어스 모듈리 공간이 스킴이고 대각선이 가환이며, 유한하고 일반적으로 자명한 안정자를 가진 체 위의 스무스 딜레인-머포드 스택에 대해 해상성 성질이 성립한다.
• 정규 노에테르 스택에서 닫힌 점에서의 안정자군가 가환일 경우, 해상성 성질은 스택이 준가환 스킴에 대해 $GL(n)$의 몫임과 동치이다.
• 해상성 성질은 스택의 대각선 사상이 가환임을 뜻하며, 이는 $n \geq 2$일 때 $\mathbb{A}^n \cup_{\mathbb{A}^n - 0} \mathbb{A}^n$과 같은 반례를 배제한다.
• 해당 논문은 $\mathbb{P}^1 \cup \mathbb{P}^1$ 위에 점에서만 영이 되는 섹션을 가지는 명시적 $T$-등변 벡터 번들을 구성함으로써, 몫 스택 $Y/T$에 대한 해상성 성질을 증명한다.
• 노드 곡선 위의 $G_m$-작용에 의한 몫 스택에 대해서도 해상성 성질이 성립한다. 이는 노드 곡선이 정규가 아니더라도 성립함을 보여주며, 결과의 강건성을 입증한다.
• $H^2$-류가 토르션이 아닌 표면 위의 $G_m$-gerbe는 해상성 성질을 만족하지 못함을 보여주며, 가환 대각선이 충분하지 않음을 확인한다. 그러나 정리 1.1의 동치관계는 더 강한 안정자군 조건 하에서도 성립함을 확인한다.