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

Fabio Nironi|arXiv (Cornell University)|2008. 11. 12.

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

한 줄 요약

이 논문은 프로젝티브 딜레인-무디 포크 스택에 대한 그로텐디크 쌍대성을 확립하며, 스킴으로의 프로젝티브 스택에서의 사상과 대수적 스택의 올바른 표현 가능한 사상에 대해 이중화 복합체를 구성한다. 매끄러운 프로젝티브 스택에 대해 세르 쌍대성이 일반적인 형태로 성립함을 증명하고, 코hen-맥컬레이 및 고파이너 스타일 조건을 통해 이중화 선다발의 성질을 기술하며, 국소 완전 교차 스택에 대해 이중화 가역 선다발을 명시적으로 계산한다.

ABSTRACT

Abstract. We develop Grothendieck duality for projective Deligne-Mumford stacks, in particular we prove the existence of a dualizing complex for a morphism from a projective stack to a scheme and for a proper representable morphism of algebraic stacks. In the first case we explicitly compute the dualizing complex and prove that Serre duality holds for smooth projective stacks in its usual form. We prove also that a projective stack has dualizing sheaf if and only if it is Cohen-Macaulay, it has a dualizing sheaf that is an invertible sheaf if and only if it is Gorenstein and for local complete intersections we explicitly compute the invertible sheaf. As an application of this general machinery we compute the

연구 동기 및 목표

• 프로젝티브 딜레인-무디 포크 스택에 대한 그로텐디크 쌍대성의 종합적 이론을 개발하기 위해.
• 스킴으로의 프로젝티브 스택에서의 사상과 대수적 스택의 올바른 표현 가능한 사상에 대해 이중화 복합체의 존재를 확립하기 위해.
• 매끄러운 프로젝티브 딜레인-무디 포크 스택에 대해 세르 쌍대성이 표준 형태로 성립함을 증명하기 위해.
• 프로젝티브 스택이 이중화 선다발을 갖는 조건과, 그러한 선다발이 가역 선다발이 되는 조건을 코헨-맥컬레이 및 고파이너 조건을 통해 기술하기 위해.
• 국소 완전 교차 스택에 대해 이중화 가역 선다발을 명시적으로 계산하기 위해.

제안 방법

• 유도된 코herent 선다발의 범주에서 구조 선다발의 해상에 의한 이중화 복합체를 구성하기 위해.
• 콤���된 코homology 이론과 그로텐디크의 국소 쌍대성을 사용하여 쌍대성 동형을 확립하기 위해.
• 기저 전환 정리와 스택에 대한 올바른 기저 전환을 적용하여 변형과 특수화에 대한 호환성을 확보하기 위해.
• 프로젝티브 표현을 이용해 문제를 알려진 스킴 이론으로 환원하고 이를 스택으로 확장하기 위해.
• 등변 선다발 이론과 몫 스택 이론을 활용하여 구조적 스택의 성격을 다루기 위해.
• 국소 완전 교차에 대한 표준 번들 공식을 사용하여 이중화 가역 선다발을 명시적으로 계산하기 위해.

실험 결과

연구 질문

• RQ1 그로텐디크 쌍대성은 프로젝티브 딜레인-무디 포크 스택으로까지 확장되는가? 만약 그렇다면, 이중화 복합체는 어떻게 구성되는가?
• RQ2 프로젝티브 스택이 이중화 선다발을 갖는 조건은 무엇이며, 언제 그 선다발이 가역 선다벨이 되는가?
• RQ3 매끄러운 프로젝티브 딜레인-무디 포크 스택에 대해 세르 쌍대성이 고전적 형태로 성립하는가?
• RQ4 국소 완전 교차 스택에 대해 이중화 가역 선다발을 어떻게 명시적으로 계산할 수 있는가?
• RQ5 딜레인-무디 포크 스택의 맥락에서 이중화 복합체와 표준 번들 간의 관계는 무엇인가?

주요 결과

• 어떤 스킴으로의 프로젝티브 딜레인-무디 포크 스택에서의 사상에 대해서도 이중화 복합체가 존재한다.
• 매끄러운 프로젝티브 딜레인-무디 포크 스택에 대해 세르 쌍대성이 표준 형태로 성립한다.
• 프로젝티브 스택이 이중화 선다발을 갖는다 하는 것과 코헨-맥컬레이 조건을 만족하는 것 사이에 이unge 조건이 성립한다.
• 프로젝티브 스택이 이중화 선다벨을 갖는다 하는 것과 그 선다벨이 가역 선다벨이 되는 것 사이에 고파이너 조건이 성립한다.
• 국소 완전 교차 스택에 대해서는 이중화 가역 선다벨이 명시적으로 계산 가능하며, 스택의 표준 번들과 일치한다.
• 이중화 복합체의 구성은 기저 전환과 호환되며, 등변 기법을 통해 스택의 성격을 유지한다.