[논문 리뷰] K-theory and cohomology of algebraic stacks: Riemann-Roch theorems, D-modules and GAGA theorems

Bertrand Toën|ArXiv.org|1999. 08. 18.

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

한 줄 요약

이 학위논문은 대수적 스택에 대한 K-이론과 코homology의 기초 결과를 수립하며, D-모듈에 대한 그로텐디크-리만-로흐 정리와 대수적 및 해석적 스택에 대한 GAGA 유형 정리를 증명한다. 고전적인 코homological 도구—예를 들어 리만-로흐 공식, D-모듈 K-이론, 호지 이론—을 스택, 특히 델 라이프-무드포드 스택의 맥락으로 확장하기 위해 호모토피론적 대수와 스펙트럴 방법을 사용한다.

ABSTRACT

This is the integral text of my thesis. The first part is an expanded version of "Riemann-Roch theorems for Deligne-Mumford stacks", where I deal with Artin stacks over general bases. In the second part, I prove some Riemann-Roch statment for D-modules on Deligne-Mumford stacks, and I also consider the problem of algebraization of analytic stacks.

연구 동기 및 목표

• 스킴에서의 고전적 결과를 스택으로 일반화함으로써, 대수적 스택에 대한 종합적인 코homological 및 K-이론적 프레임워크를 개발하는 것.
• 특히 헬로닉 D-모듈에 대해 D-모듈의 맥락에서 그로텐디크-리만-로흐 정리를 스택으로 확장하는 것.
• 특히 복소수 대수적 스택에 대해, 대수적 스택과 해석적 스택을 비교하는 GAGA 유형 정리를 수립하는 것.
• 호지 이론을 대수적 스택에 적응시켜, 호지-데 라함 스펙트럴 시퀀스의 분해와 서명 공식을 증명하는 것.
• 단순 복합체 프레시브셰브, 스펙트럴 방법, 내림차순 기법을 사용하여 스택의 K-이론에 대한 체계적인 다루기

제안 방법

• 스펙트럼과 단순 복합체 프레시브셰브를 사용하여 스택의 일반화된 코homology와 K-이론을 모델링함으로써, 유도적 및 호모토피론적 구성이 가능하도록 하는 것.
• G-이론과 K-이론에 대한 내림차순 이론을 적용하여, 특히 공변 및 반공변 내림차순을 포함하여 스택 이론적 연산에 대한 불변성을 확립하는 것.
• 특히 델 라이프-무드포드 스택과 재수성 게르베의 맥락에서 G-이론에 대해 디비산스 기법을 사용하는 것.
• 카시와라의 보조정리와 구성 가능 함수를 사용하여, 헬로닉 D-모듈과 그 K-이론을 분석하는 것.
• 해석 기하학과 GAGA 원리를 적용하여, 특히 정규 및 유한 사상들을 통해 대수적 및 해석적 코homology를 비교하는 것.
• 호지-데 라함 스펙트럴 시퀀스와 조화 형식을 스택 맥락으로 올리는 방식으로, 델 라이프의 호지 이론적 추론을 스택에 적응시키는 것.

실험 결과

연구 질문

• RQ1 어떻게 그로텐디크-리만-로흐 정리는 D-모듈의 맥락에서 대수적 스택으로 일반화될 수 있는가?
• RQ2 고전적인 GAGA 정리는 어떤 정도까지 스킴에서 대수적 스택으로 확장될 수 있으며, 특히 복소수 해석 기하학 맥락에서 어떻게 적용되는가?
• RQ3 호지 이론은 대수적 스택으로 확장될 수 있으며, 매끄럽고 복소수 대수적 스택에 대해 호지-데 라함 스펙트럴 시퀀스는 분해하는가?
• RQ4 K-이론과 계수를 문자 또는 유리수 표현으로 갖는 코homology는 스택 연구에서 어떤 역할을 하는가?
• RQ5 내림차순 및 디비산스 기법은 델 라이프-무드포드 및 게르베의 맥락에서 G-이론과 K-이론의 스택에 어떻게 적용되는가?

주요 결과

• 적절한 유리수 조건 하에서, 정수화된 K-이론을 계수로 하는 관계자 스택의 코homology와 정수화된 관계자 스택의 K-이론 사이에 자연스러운 동형사상이 수립된다: $ H^{-*}(I_F^t, Π K ⊗ Λ) ≅ ℚ K_*(I_F^t) ⊗ Λ(S) $.
• 매끄럽고 복소수 대수적 스택이 사영적 일반 모듈리 공간을 갖는 경우, 호지-데 라함 스펙트럴 시퀀스가 분해된다. 이는 히지와 델 라이프의 결과를 일반화한다.
• 매끄럽고 복소수 대수적 스택이 사영적 일반 모듈리 공간을 갖는 경우, 서명 공식 $ σ(F) = \sum_{p,q} (-1)^p h^{p,q} $ 가 성립하며, 여기서 $ h^{p,q} = \dim_{\mathbb{C}} H^p(F, \Omega^q_F) $ 이다.
• 매끄럽고 복소수 대수적 스택 $ F $ 의 코homology 는 $ H^n(F^{an}, \mathbb{C}) \simeq \bigoplus_{p+q=n} H^p(F, \Omega^q_F) $ 를 만족하며, 이는 호지 분해를 확인한다.
• 매끄러운 스택 위의 헬로닉 D-모듈에 대해, 그로텐디크-리만-로흐 정리는 $ \mathbf{K}^D $-이론과 $ \mathbf{K}^h $-코homology 양쪽 모두에서 성립하며, 고전적 결과를 확장한다.
• 정규성 및 유한성 조건 하에서, 매끄럽고 복소수 대수적 스택의 해석적 및 대수적 코homology 사이에 GAGA 원리를 통해 동형사상이 존재한다. 이는 세르의 GAGA 결과를 일반화한다.