[논문 리뷰] On the Grothendieck groups of toric stacks

Zheng Hua|ArXiv.org|2009. 04. 18.

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

한 줄 요약

이 논문은 스탠리-라이스너 링의 코hen-맥컬레이 성질과 코즐 복합체 기법을 사용하여, 매끄럽고 완비인 토릭 델리-무어포드 스택의 그로텐디크 군 $K_0$ 가 토퍼션-프리임을 증명한다. 또한 라티스에 토퍼션을 가진 토릭 스택의 경우에도 동일한 결과를 증명하며, $K$-이론에 토퍼션을 가진 개방형 토릭 스택의 예를 구성하여, 이 결과가 비완비 스택으로까지 확장되지 않음을 보여준다.

ABSTRACT

In this note, we prove that the Grothendieck group of a smooth complete toric Deligne-Mumford stack is torsion free. This statement holds when the generic point is stacky. We also construct an example of open toric stack with torsion in K-theory. This is a part of the author's Ph.D thesis.

연구 동기 및 목표

• 매끄럽고 완비인 토릭 델리-무어포드 스택에 대한 그로텐디크 군 $K_0$ 의 구조를 규명하는 것.
• 기본점에서 비자명한 정체군을 가진 스택(즉, 라티스 $N$ 에 토퍼션을 가진 경우)에 대해서도 $K_0$ 의 토퍼션-프리 성질을 확장하는 것.
• 비완비 토릭 스택에 대해서도 $K_0$ 의 토퍼션-프리 성질이 유지되는지 조사하는 것.
• 비완비 토릭 스택 중에서 $K$-이론에 토퍼션 원소를 포함하는 구체적인 예를 제시하는 것.

제안 방법

• BH에서 확립된 $K_0({\mathcal{X}}_{\bf\Sigma})$ 와 라우렌트 다항식환 $R/I$ 의 몫 사이의 동형을 사용하여, 생성자 $x_i$ 가 토릭 선다발의 계열 $R_i$ 에 대응하도록 한다.
• 정의 관계 $h_j = \prod x_i^{\langle m_j,v_i\rangle} - 1$ 를 음수 지수를 피하기 위해 $g_j = \prod_{\langle m_j,v_i\rangle > 0} x_i^{\langle m_j,v_i\rangle} - \prod_{\langle m_j,v_i\rangle < 0} x_i^{-\langle m_j,v_i\rangle}$ 로 대체하여 이상을 유지한다.
• 복합체 $g_1,\dots,g_d$ 와 확장된 복합체 $g_1,\dots,g_d,p$ 에 대해 코즐 복합체를 적용하고, 매핑 콘 관계 $K(g_1,\dots,g_d,p) = \operatorname{Cone}(\cdot p)[-1]$ 를 사용한다.
• 플랫 기저 변경과 $\mathbb{Z}$ 위에서의 섬세한 코hen-맥컬레이 검증을 통해, 스탠리-라이스너 링 $A'$ 와 그 국소화 $A$ 의 코헨-맥컬레이 성질을 확립한다.
• 깊이 추론과 코즐 코homology의 위상 정리에 기반하여, $K_0({\mathcal{X}}_{\bf\Sigma})$ 에서 $p$ 승 곱셈이 단사임을 보이고, 이로써 $K_0$ 가 토퍼션-프리임을 증명한다.
• 비단순화된 경우, 갈레 쌍대군 $DG(\beta)$ 와 $DG(\beta_{\text{red}})$ 사이의 코스레 분해를 사용하여, $K_0$ 가 단순화된 스택의 토퍼션-프리 $K_0$ 의 복수 개의 직합임을 보여준다.

실험 결과

연구 질문

• RQ1 매끄럽고 완비인 토릭 델리-무어포드 스택의 그로텐디크 군 $K_0$ 는 토퍼션-프리인가?
• RQ2 기본점에서 비자명한 정체군을 가진 스택(즉, $N$ 에 토퍼션이 있는 경우)에 대해서도 $K_0$ 의 토퍼션-프리 성질이 성립하는가?
• RQ3 비완비 토릭 스택에 대해서는 $K_0$ 의 토퍼션-프리 성질이 실패할 수 있는가?
• RQ4 개방형 토릭 스택의 $K_0$ 는 어떤 구조를 가지며, 이에 토퍼션 원소가 포함될 수 있는가?

주요 결과

• 매끄럽고 완비인 토릭 델리-무어포드 스택 $\mathcal{X}_{\bf\Sigma}$ 의 그로텐디크 군 $K_0({\mathcal{X}}_{\bf\Sigma})$ 는 자유 $\mathbb{Z}$-모듈러스이다.
• 스택의 기본점에서 비자명한 정체군을 가질 경우, 즉 라티스 $N$ 에 토퍼션이 있을 경우에도 $K_0$ 의 토퍼션-프리 성질이 유지된다.
• 이 증명은 코즐 복합체 매핑 콘의 장점 정렬 시퀀스를 사용하여, 모든 소수 $p$ 에 대해 $K_0$ 에서의 $p$ 승 곱셈이 단사임을 보이는 데 기반한다.
• 팬에 관련된 스탠리-라이스너 링은 $\mathbb{Z}$ 위에서 코헨-맥컬레이이며, 이는 깊이 및 코homology 위상 정리의 추론에 필수적이다.
• 비완비 스택의 경우 결과가 실패한다: $K_0$ 에 토퍼션을 포함하는 개방형 토릭 스택의 예가 구성된다.
• 예를 들어 $\mathcal{X} = \mathbb{P}(1,1,1,1,2,2) \setminus \{(E_1\cap E_2\cap E_3\cap E_4) \cup (E_5\cap E_6)\}$ 에서 $t(1-t)^2$ 는 $K_0(\mathcal{X})$ 에서의 토퍼션 원소이다.