[논문 리뷰] The Grothendieck and Picard groups of a complete toric DM stack

S. Paul Smith|arXiv (Cornell University)|2008. 06. 02.

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

한 줄 요약

이 논문은 호모지너스 좌표환의 구성(다항식환의 계량화 및 적절한 무관 이상의 조합을 기반으로 하여)을 통해 완전한 토릭 델리게이트-무프 스택의 그로텐디크 군과 피카르 군을 계산한다. 스택을 몫 스택 $[(V-Z)/G]$로 모델링함으로써, 스택 위의 준가환층의 범주와 계량 모듈의 몫 범주의 사이에 동치를 수립하여, 계량 모듈 이론과 계량환에 대한 나카야마의 보조정리에 기반해 $K_0$와 $ \operatorname{Pic}$의 명시적 계산을 가능하게 한다.

ABSTRACT

We compute the Grothendieck and Picard groups of a complete smooth toric Deligne-Mumford stack by using a suitable category of graded modules over a polynomial ring.

연구 동기 및 목표

• 기술적인 스택 이론적 장비를 피하고, 모듈 이론적 접근을 통해 토릭 DM 스택의 $K_0$와 $\operatorname{Pic}$를 계산하는 데 기여한다.
• 코크스의 구성에서 확장하여, 임의의 유한 생성 아벨 계량 군에 대해 호모지너스 좌표환의 개념을 일반화한다.
• 범주적 동치 $\mathsf{Qcoh}([ (V-Z)/G ])\,$ 와 몫 범주 $\mathsf{Gr}(S,\Gamma)/\mathsf{T}$ 사이의 동치를 수립한다. 여기서 $S$는 계량환이고 $\mathsf{T}$는 $Z$ 위에 지지된 모듈의 부분범주이다.
• 스택 위의 모든 코herent 층이 직접합의 역할을 하는 선다발의 유한 분해를 갖는다는 것을 증명하여, $K_0$ 계산을 단순화한다.
• 기존의 완전한 토릭 스택 결과를 토릭 DM 스택으로 일반화하여, 특성군에 토픽스가 존재하는 경우를 포함한 더 일반적인 토릭 DM 스택으로 확장한다.

제안 방법

• 스택의 호모지너스 좌표환을 모델링하기 위해, $\Gamma$-계량 다항식환 $S$, 유한 생성 아벨 계량군 $\Gamma$, 무관 이상 $\mathfrak{a}$로 구성된 삼중조합 $(S, \Gamma, \mathfrak{a})$를 사용한다.
• 범주적 동치 $\mathsf{Qcoh}([ (V-Z)/G ]) \simeq \mathsf{Gr}(S,\Gamma)/\mathsf{T}$를 활용하여, $\mathsf{T}$가 $Z$ 위에 지지된 모듈의 부분범주인 것을 이용해 기하 문제를 모듈 이론 문제로 변환한다.
• 임의의 유한 생성 아벨 계량군에 대해 계량 모듈에 대한 나카야마의 보조정리의 한 형태를 적용하여, 유한 생성 계량 프로젝티브 모듈이 자유 모듈의 이동들의 직접합임을 보인다.
• 계량환 $S$의 구조와 특성군 $\Gamma$의 작용을 이용해 선다발 $\mathcal{O}_\mathcal{X}(\alpha)$를 정의하고, 이를 계량 $S$-모듈과 연결한다.
• 계량 모듈 수열을 사용하여 천정층과 부분스택의 구조층에 대한 명시적 분해를 구성함으로써, $K_0$ 클래스의 계산을 가능하게 한다.
• 스택 간의 사상이 호모지너스 좌표환에 유도하는 사상과 이를 통해 $K_0$와 $\operatorname{Pic}$ 위의 당김을 계산한다.

실험 결과

연구 질문

• RQ1 토릭 DM 스택의 그로텐디크 군 $K_0$는 어떻게 계량 모듈 범주의 도구를 통해 계산할 수 있는가?
• RQ2 토릭 DM 스택의 피카르 군의 구조는 무엇이며, 계량군 $\Gamma$와 어떻게 관련되어 있는가?
• RQ3 호모지너스 좌표환 구성은 토픽스가 있는 계량군으로까지 일반화될 수 있는가? 이를 통해 모든 완전한 토릭 DM 스택을 포함할 수 있는가?
• RQ4 토릭 DM 스택 간의 사상은 $K_0$와 $\operatorname{Pic}$에 어떤 사상으로 유도되며, 그 대수적 실현은 무엇인가?
• RQ5 토릭 DM 스택 위의 코herent 층의 범주는 어느 정도 계량 모듈의 몫으로 기술될 수 있는가?

주요 결과

• 완전한 토릭 DM 스택 $\mathcal{X}$의 그로텐디크 군 $K_0(\mathcal{X})$는 $\mathbb{P}[q,p]$의 경우 $\mathbb{Z}[u^{\pm 1}]/((1-u^p)(1-u^q))$와 동형이며, 이는 오르비포드의 구조를 반영한다.
• $\mathcal{X} = \mathbb{P}[q,p]$일 때 피카르 군 $\operatorname{Pic}(\mathcal{X})$는 $\mathbb{Z} \oplus \mathbb{Z}/(p,q)\mathbb{Z}$와 동형이며, 토픽스 부분은 스택의 성격에서 기인한다.
• 북극점에서의 천정층 $\mathcal{O}_\mathfrak{n}$의 클래스는 $K_0$에서 $[\mathcal{O}_\mathfrak{n}] = 1 - t$를 만족한다. 여기서 $t$는 계량환의 생성자이다.
• 스택이 아닌 점 $\mathcal{O}_\lambda$의 클래스는 $[\mathcal{O}_\lambda] = 1 - t^p = 1 - s^q$이며, 이는 $i=0,\dots,p-1$에 대해 $[\mathcal{O}_\mathfrak{n}(-ie)]$의 $p$개의 왜곡된 복사본의 합과 같다.
• 스택가 아닌 점의 구조층을 선다발로 왜곡해도 $K_0$에서의 클래스는 변하지 않는다. 왜냐하면 $1 - t^p = t(1 - t^p)$이기 때문이다.
• 사상 $\bar{\phi}: \mathbb{F}[p,q] \to \mathbb{P}^1$는 $K_0$에 대해 상사상이 되며, 그 핵은 $t^p - 1$에 의해 생성된다. 이는 오르비 몫의 구조를 반영한다.