[논문 리뷰] Riemann-Roch Theorems for Deligne-Mumford Stacks

Bertrand Toën|ArXiv.org|1998. 03. 17.

Spectral Theory in Mathematical Physics인용 수 5

한 줄 요약

이 논문은 표현의 계수를 가진 코homology 이론과 이에 해당하는 체인 캐릭터를 도입하여, 델 라인-무담 스택에 대한 리만-로흐 정리들을 수립한다. 이는 관련된 리만-로흐 변환에 대한 그로텐디크-리만-로흐 정리로 이어지며, 응집성 선다발의 오일러 특성과 복소대수적 스택의 위상적 오일러 특성에 대한 공식을 도출한다.

ABSTRACT

The goal of this paper is to prove Riemann-Roch type theorems for Deligne-Mumford algebraic stacks. To this end, we introduce a "cohomology with coefficients in representations" and a Chern character, and we prove a Grothendieck-Riemann-Roch theorem for the Riemann-Roch transformation it defines. As a corollary we obtain an Hirzebruch-Riemann-Roch formula for the Euler characteristic of a coherent sheaf, and some formulas for the different topological Euler characteristics of complex algebraic stacks.

연구 동기 및 목표

• 대수적 공간을 일반화하고 모듈리 이론에서 중심적인 역할을 하는 델 라인-무담 스택으로 리만-로흐 이론을 확장하기 위해.
• 객체의 스택스러운 성격을 다룰 수 있도록 스택의 구조군의 표현에 계수를 가진 코homology 이론을 정의하기 위해.
• 리만-로흐 유형 정리에서 사용하기 위해 이 코homology와 호환되는 체인 캐릭터 맵을 구성하기 위해.
• 이 프레임워크에 의해 정의된 리만-로흐 변환에 대한 그로텐디크-리만-로흐 정리를 수립하기 위해.
• 응집성 선다발의 오일러 특성과 복소대수적 스택의 위상적 불변량에 대한 구체적인 공식을 유도하기 위해.

제안 방법

• 스택의 구조군의 표현에 값을 가진 새로운 코homology 이론을 도입한다.
• K-이론에서 이 코homology로 가는 체인 캐릭터 맵을 정의하며, 이는 고전적 체인 캐릭터를 일반화한다.
• 이 프레임워크에 의해 정의된 K-이론에서 코homology로의 리만-로흐 변환을 구성한다. 이는 연구의 중심 대상이다.
• 이 변환에 대한 그로텐디크-리만-로흐 정리를 증명하며, K-이론에서의 푸시포워드와 코homological 푸시포워드 간의 관계를 규명한다.
• 주요 정리를 적용하여 응집성 선다발의 오일러 특성에 대한 히르체브루흐-리만-로흐 공식을 도출한다.
• 리만-로흐 기계를 사용하여 복소대수적 스택의 다양한 위상적 오일러 특성에 대한 공식을 도출한다.

실험 결과

연구 질문

• RQ1 스킴이 아닌 델 라인-무담 스택으로 리만-로흐 정리를 일반화할 수 있는가?
• RQ2 스택스러운 불변량을 포착하기 위해 필요한 표현의 계수를 가진 코homology 이론은 무엇인가?
• RQ3 스택의 맥락에서 리만-로흐 정리의 기초가 되는 체인 캐릭터는 어떻게 정의할 수 있는가?
• RQ4 이 새로운 설정에서 리만-로흐 변환에 대한 그로텐디크-리만-로흐 공식은 무엇인가?
• RQ5 이 프레임워크는 복소대수적 스택의 오일러 특성과 위상적 불변량을 계산하는 데 어떤 영향을 미치는가?

주요 결과

• 표현 계수 코homology를 통한 리만-로흐 변환에 대해 그로텐디크-리만-로흐 정리가 수립되었다.
• 응집성 선다발의 오일러 특성에 대한 명시적인 히르체브루흐-리만-로흐 공식이 도출되었다.
• 논문은 복소대수적 스택의 다양한 위상적 오일러 특성에 대한 공식을 제공하며, 고전적 불변량을 스택스러운 설정으로 확장한다.
• 체인 캐릭터 맵은 스택스러운 구조를 존중하는 방식으로 구성되었으며, 리만-로흐 기계를 가능하게 한다.
• 표현의 계수를 가진 코homology는 대수적 스택의 맥락에서 리만-로흐 정리에 적합한 프레임워크로 밝혀졌다.
• 결과는 복소대수적 스택에 대해 유효하며, 변환 프레임워크를 통해 올바른 및 비올바른 사상에 모두 적용 가능하다.