[논문 리뷰] Grothendieck Duality for Deligne-Mumford Stacks

Fabio Nironi|ArXiv.org|2008. 11. 12.

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

한 줄 요약

이 논문은 대각선이 아핀인 분리된 대수적 스택에 대한 그로텐디크 쌍대성을 확립하며, 주로 콪킨-델리뉴-무드포드 스택을 중심으로 다룬다. 대수적으로 닫힌 체 위의 매끄럽고 닫힌 스택에 대해 세르 쌍대성을 증명하고, 흐름이 있는 노드 곡선의 쌍대화 복합체를 명시적으로 계산하여, 이가 모듈리 공간의 쌍대화층의 당김에 오비포드 점들로부터의 기여를 더한 것과 일치함을 보인다.

ABSTRACT

We prove the existence of the dualizing functor for a separated morphism of algebraic stacks with affine diagonal; then we explicitly develop duality for compact Deligne-Mumford stacks focusing in particular on the morphism from a stack to its coarse moduli space and on representable morphisms. We explicitly compute the dualizing complex for a smooth stack over an algebraically closed field and prove that Serre duality holds for smooth compact Deligne-Mumford stacks in its usual form. We prove also that a proper Cohen-Macaulay stack has a dualizing sheaf and it is an invertible sheaf when it is Gorenstein. As an application of this general machinery we compute the dualizing sheaf of a tame nodal curve.

연구 동기 및 목표

• Neeman의 추상 쌍대성 기계를 사용하여, 대각선이 아핀인 분리된 대수적 스택의 사상에 대해 쌍대화 함수자 존재를 확립하는 것.
• 특히 스택의 균일 모듈리 공간으로의 사상과 표현 가능 사상에 대해, 콤��� 델리뉴-무드포드 스택에 대한 명시적 쌍대성 이론을 개발하는 것.
• 대수적으로 닫힌 체 위의 매끄럽고 닫힌 스택에 대해 쌍대화 복합체를 계산하고, 고전적 형태로 세르 쌍대성이 성립함을 증명하는 것.
• 타임 노드 곡선과 국소 완전교차 스택의 쌍대화층을 결정하고, 코 tangent 복합체를 통해 기하학적 기대와 일치함을 보이는 것.
• 일반 기계를 적용하여, 타임 노드 곡선의 쌍대화층을 계산하고, 오비포드 점들로부터의 기여를 루트 구성법을 통해 포함하는 것.

제안 방법

• 대각선이 아핀인 스택에서 코herent sheaf의 유도 범주에 대해 Neeman의 기법을 사용하여 쌍대화 함수자 존재를 증명하는 것.
• 복합체 범주 내에서 표현 가능성 정리를 적용하여 유도 푸시포워드의 오른쪽 수반을 구성함으로써, $D^+(\text{QCoh}(\text{Stack}))$에서의 쌍대성을 가능하게 하는 것.
• 쌍대성의 평탄 기저 변경과의 호환성을 증명하여, 에테일 국소적 행동을 확보하고 델리뉴-무드포드 스택에 대해 버드리의 결과를 복원하는 것.
• 표준기능 $ ext{K}_{ ext{X}}$와 $ ext{Ext}^{ullet}_{ ext{Y}}(\text{O}_{ ext{X}}, \text{K}_{ ext{Y}})$ 구성법을 사용하여, 매끄럽고 닫힌 스택 $ ext{Y}$의 닫힌 부분스택 $ ext{X}$에 대한 쌍대화 복합체를 계산하는 것.
• 루트 구성법과 전역 몫 표현을 활용하여, 특히 가중 투영 스택에서 타임 노드 곡선의 쌍대화층을 계산하는 것.
• 일반 쌍대성 기계를 적용하여, 국소 완전교차 스택의 경우 쌍대화 복합체가 코 tangent 복합체의 행렬식을 차원만큼 이동시킨 것과 일치함을 보이는 것.

실험 결과

연구 질문

• RQ1 그로텐디크 쌍대성은 $ ext{π}$-매우 양적 선다발이 없는 경우에도 델리뉴-무드포드 스택으로까지 확장되는가?
• RQ2 대수적으로 닫힌 체 위의 매끄럽고 닫힌 델리뉴-무드포드 스택에 대해 추상 쌍대성 이론을 사용하여 세르 쌍대성을 확립할 수 있는가?
• RQ3 타임 노드 곡선의 명시적 쌍대화층 형태는 무엇이며, 오비포드 점들은 그 구조에 어떻게 영향을 미치는가?
• RQ4 델리뉴-무드포드 스택에서 쌍대화 복합체는 평탄 기저 변경에 대해 어떻게 행동하는가?
• RQ5 국소 완전교차 델리뉴-무드포드 스택의 쌍대화층은 차원만큼 이동된 코 tangent 복합체의 행렬식으로 주어지는가?

주요 결과

• 대수적으로 닫힌 체 위의 매끄럽고 닫힌 델리뉴-무드포드 스택에 대해 쌍대화 복합체는 스택의 차원만큼 이동된 표준기능과 동형이다.
• 매끄럽고 닫힌 스택 $ ext{Y}$ 안의 닫힌 포함사상 $i: \text{X} \to \text{Y}$에 대해, $ \text{X}$의 쌍대화 복합체는 $\mathcal{E}\!\mathpzc{xt}^\bullet_{\text{Y}}(\mathcal{O}_{\text{X}}, \omega_{\text{Y}})$이며, $ \text{X}$가 코hen-맥컬레이이면 이는 코herent sheaf이다.
• 만약 닫힌 코hen-맥컬레이 스택이 고렌스타인이라면, 그 쌍대화층은 가역층이다.
• 타임 노드 곡선 $ \text{C}$에 대해 쌍대화층은 $ \text{O}_{\text{C}}(-a)$이며, $a$는 노드에서의 정 stabilizer의 차수이고, 이는 모듈리 공간의 쌍대화층의 당김에 오비포드 점들로부터의 수정을 더한 것과 일치한다.
• 국소 완전교차 델리뉴-무드포드 스택의 쌍대화층은 $\det(\Omega_{\text{X}}^1)[\dim \text{X}]$와 동형이며, 이는 스킴 이론적 경우와 일치한다.
• 중심이 $ \mathbb{P}(1,1,3)$에 균형 잡힌 연결 노드로 콪킨된 곡선 $ \mathcal{C}$의 쌍대화층은 $\mathcal{O}_{\mathcal{C}}(-3)$이며, 이는 정리 3.8과 정리 3.1과 일관된다.