[논문 리뷰] On some finiteness questions for algebraic stacks

Vladimir Drinfeld, Dennis Gaitsgory|arXiv (Cornell University)|2011. 08. 26.

Homotopy and Cohomology in Algebraic Topology참고 문헌 11인용 수 11

한 줄 요약

이 논문은 약간의 QCA(비가환 및 아핀) 가정 하에 대수적 스택 위의 D-모듈과 준가환층의 유도 범주에 대한 컴팩트 생성 및 연속성 성질을 확립한다. 이는 스킴의 기본 결과들을 일반적인 대수적 스택과 LM-대수적 스택으로 확장하며, QCA 스택 위의 D-모듈이 컴팩트하게 생성되며, 전역 절단 함자 함수가 연속적임을 증명한다. 주요 응용은 버드러르 이중성과 재정규화된 디람 코hom로지에 해당한다.

ABSTRACT

We prove that under a certain mild hypothesis, the DG category of D-modules on a quasi-compact algebraic stack is compactly generated. We also show that under the same hypothesis, the functor of global sections on the DG category of quasi-coherent sheaves is continuous.

연구 동기 및 목표

• 비가환 대수적 스택 위의 D-모듈의 DG 범주가 약간의 QCA 조건 하에 컴팩트하게 생성됨을 확립하기 위해.
• 이러한 스택에 대해 준가환층의 전역 절단 함자 함수가 연속적임을 보여주기 위해.
• 이러한 결과들을 대수적 공간과 표현 가능 사상이 포함된 더 넓은 LM-대수적 스택의 클래스로 확장하기 위해.
• 인코herent 층 이론을 개발하고, 스택 위의 D-모듈 및 코hom로지적 이중성과 연관시키기 위해.
• 안전한 사상의 특성화 및 재정규화된 디람 코hom로지에 대한 기저 변화와 투영 공식 결과를 증명하기 위해.

제안 방법

• 프리스택 간의 QCA(비가환 및 아핀) 사상의 개념을 도입하여 고전적 비가환 및 비가환-분리된 설정을 일반화한다.
• 디비산스 기법과 기저가 환원된 고전적 경우로의 환원을 적용하여 연속성 및 컴팩트 생성 결과를 증명한다.
• 유도 함수와 매끄러운 사상에 沿한 기저 전환을 사용하여 스택 위의 D-모듈을 스킴 위의 D-모듈과 연결한다.
• 인코herent 층의 이론과 그 컴팩트 생성성에 기반하여 직접 이미지 함자 함수의 연속성을 확립한다.
• 매핑 텔레스코프 추론과 핵심 명제를 적용하여 사상에 대한 안전성 및 이중성 성질을 증명한다.
• DG 스킴의 이론과 그 유도 범주를 활용하여 스택 위의 디람 코호몰로지와 버드러르 이중성의 정의 및 연구를 수행한다.

실험 결과

연구 질문

• RQ1 비가환 대수적 스택 위의 D-모듈의 DG 범주는 어떤 조건 하에 컴팩트하게 생성되는가?
• RQ2 대수적 스택에 대해 준가환층의 전역 절단 함자 함수는 언제 연속적인가?
• RQ3 인코herent 층과 그 컴팩트 객체의 성질은 스택 위의 D-모듈의 성질과 어떻게 관련되는가?
• RQ4 어떤 사상에 대해 디람 직접 이미지 함자 함수가 연속적인가?
• RQ5 D-모듈 이론과 코호몰로지 이론은 LM-대수적 스택으로 어떻게 일반화될 수 있는가?

주요 결과

• QCA 대수적 스택에 대해 D-모듈의 DG 범주는 컴팩트하게 생성되며, 컴팩트 객체는 안전한 코herent D-모듈과 일치한다.
• QCA 스택에서 준가환층의 전역 절단 함자 함수는 연속적이며, 코호몰로지의 폭은 스택에 따라 결정되는 정수로 유계된다.
• QCA 조건을 만족하는 LM-대수적 스택에 대해 인코herent 층의 범주는 컴팩트하게 생성되며, 컴팩트 객체는 코herent 층으로 식별된다.
• 비가환 사상에 沿한 D-모듈의 직접 이미지 함자 함수는 오직 그 사상이 안전할 때에만 연속적이다.
• QCA 스택 위의 디람 코호몰로지 함자 함수는 연속적이며, 안전한 사상에 대해 재정규화된 직접 이미지에 대해 기저 변화가 성립한다.
• 이론은 LM-대수적 스택으로 확장된다: 비가환 표현 가능 사상은 QCA이자 안전하며, 주요 정리들은 이 더 넓은 맥락에서도 성립한다.