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

Dan Edidin|arXiv (Cornell University)|2012. 05. 21.

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

한 줄 요약

이 논문은 호환성 이론과 국소화 정리를 사용하여 코homological 장비를 피한 채, 딜리뉴-멈포드 스택에 대한 리만-로흐 정리의 간결한 증명을 제시한다. 주요 기여는 평탄하고 완전한 딜리뉴-멈포드 스택에 대해 등급 이론을 통한 직접적이고 접근 가능한 히르체브루흐-리만-로흐 공식 유도이며, 몫 스택과 가중 투영 공간에의 응용이 수반된다.

ABSTRACT

We give a simple proof of the Riemann-Roch theorem for Deligne-Mumford stacks using the equivariant Riemann-Roch theorem and the localization theorem in equivariant K-theory together with some basic commutative algebra of Artin rings.

연구 동기 및 목표

• 기존의 지수 이론적 또는 코homological 접근 방식에 비해 더 접근하기 쉽고 기술적인 수준이 낮은 딜리뉴-멈포드 스택에 대한 리만-로흐 정리의 증명을 제공하는 것.
• 특히 등급 이론적 리만-로흐 정리와 등급 이론에서의 국소화를 활용한 등급 이론적 방법이 평탄하고 완전한 딜리뉴-멈포드 스택에 대해 히르체브루흐-리만-로흐 공식을 깔끔하게 도출할 수 있음을 보여주는 것.
• 등급 이론적 기법을 활용하여 평탄한 딜리뉴-멈포드 스택 간의 표현 가능한 사상에 대해 그로텐디크-리만-로흐 정리를 일반화하는 것.
• 구체적인 계산 예를 통해 정리의 유용성을 보여주는 것, 특히 가중 투영 공간의 토드 클래스 계산 포함.

제안 방법

• 스킴에 대한 등급 이론적 리만-로흐 정리를 기본 도구로 활용하는 것.
• 등급 이론에서의 국소화 정리를 적용하여, $G$ 가 대각화 가능한 경우 몰입 스택 $[X/G]$ 에서 고정점 데이터로 문제를 축소하는 것.
• 이전 공동 연구에서 얻은 비아벨 국소화 정리를 활용하여 결과를 아벨 군 작용을 초월해 일반화하는 것.
• 등급 이론과 초월 이론에서의 캐런 지표와 토드 클래스를 사용하여 오일러 특성 수를 스택 위의 적분으로 표현하는 것.
• 해결 성질과 평탄한 $G$-다양체에서 $K_0(G,X)$ 와 $G_0(G,X)$ 의 식별을 활용하여 스택 이론적 등급 이론과의 호환성을 확보하는 것.
• 표현 $V$ 와 $G$ 가 자유롭게 작용하는 열린 부분집합 $U$ 를 사용한 보렐 구축을 통한 등급 이론 쇼우 군의 정의로 잘 정의되고 함의성 보장하는 것.

실험 결과

연구 질문

• RQ1 딜리뉴-멈포드 스택에 대한 리만-로흐 정리는 복잡한 지수 이론이나 고급 코homological 장비에 의존하지 않고 증명될 수 있는가?
• RQ2 등급 이론적 리만-로흐 정리와 등급 이론에서의 국소화 정리는 평탄하고 완전한 딜리뉴-멈포드 스택에 대해 히르체브루흐-리만-로흐 공식을 얼마나 잘 도출할 수 있는가?
• RQ3 등급 이론적 기법을 활용하여 평탄한 딜리뉴-멈포드 스택 간의 표현 가능한 사상에 대해 그로텐디크-리만-로흐 정리를 어떻게 일반화할 수 있는가?
• RQ4 가중 투영 공간의 토드 클래스는 명시적으로 어떻게 표현되며, 리만-로흐 정리를 통해 어떻게 계산할 수 있는가?

주요 결과

• 평탄하고 완전한 딜리뉴-멈포드 스택에 대한 리만-로흐 정리는 등급 이론적 리만-로흐 정리와 등급 이론에서의 국소화 정리를 활용한 직접적 증명을 통해 확립된다.
• $G$ 가 대각화 가능한 경우 몰입 스택 $[X/G]$ 에서는 등급 이론적 리만-로흐 정리와 고전적 등급 이론에서의 국소화 정리를 조합하여 히르체브루흐-리만-로흐 공식이 도출된다.
• 이전 연구에서 얻은 비아벨 국소화 정리를 활용하면, 유한한 안정자군을 가진 임의의 평탄한 딜리뉴-멈포드 스택으로 결과를 일반화할 수 있다.
• 가중 투영 공간의 토드 클래스는 그로텐디크-리만-로흐 정리를 활용하여 명시적으로 계산되며, 이는 정리의 계산적 유용성을 보여준다.
• 평탄하고 완전한 딜리뉴-멈포드 스택 위의 벡터 번들의 오일러 특성 수는 번들의 캐런 지표와 스택의 토드 클래스의 적분으로 주어지며, 고전적 공식과 유사하다.
• 증명은 평탄한 $G$-다양체에서 그로텐디크 군 $K_0(G,X)$ 와 $G_0(G,X)$ 간의 자연스러운 식별을 확립하여 등급 이론 도구를 스택 설정에서 활용할 수 있음을 보여준다.