[논문 리뷰] Nonabelian localization in equivariant K-theory and Riemann-Roch for quotients

Dan Edidin, William Graham|ArXiv.org|2004. 11. 09.

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

한 줄 요약

이 논문은 복소대수군이 매끄러운 대수기하공간 위에 유한한 안정자기를 가진 채로 작용할 때, 아벨군을 초월하여 비아벨군에 대한 등변 K-이론에서 비아벨 국소화 공식을 수립한다. 주요 결과는 적절한 군 작용에 의한 몫에 대한 리만-로흐 공식을 제시하며, 고정점의 정규 및 코정규 다발을 포함한 수정 항을 통해 전역 K-이론 클래스를 중심자로의 푸시포워드를 통해 복원한다.

ABSTRACT

We prove a localization formula in equivariant algebraic $K$-theory for an arbitrary complex algebraic group acting with finite stabilizer on a smooth algebraic space. This extends to non-diagonalizable groups the localization formulas H.A. Nielsen in equivariant $K$-theory of vector bundles and R.W. Thomason for higher $K$-theory of equivariant coherent sheaves. As an application we give a Riemann-Roch formula for quotients of smooth algebraic spaces by proper group actions. This formula extends previous work of B. Toen for stacks with quasi-projective moduli spaces and the authors for quotients by diagonalizable groups.

연구 동기 및 목표

• 대수적 군의 대각화 가능 군을 초월하여 비아벨 군에 대한 등변 K-이론에서 비아벨 국소화 정리를 확장하기 위해.
• 비아벨 군 작용의 고정점이 G-불변이 아니지만 중심자에 대해서만 불변임을 해결하기 위해 전역 안정자와 중심자 작용을 사용하기 위해.
• 매끄러운 대수기하공간에 대한 적절한 군 작용에 의한 몫에 대한 리만-로흐 공식을 수립하기 위해.
• 토엔 및 저자들이 이전에 얻은 결과를 유한한 안정자를 가진 비아贝尔 설정으로 일반화하기 위해.
• 고정점 위의 데이터를 이용하여 등변 K-이론 클래스를 계산 가능한 공식으로 제시하기 위해, 푸시포워드 구조를 사용하기 위해.

제안 방법

• 고정점의 집합 $ X^h $가 군 $ h \in G $ 에 의해 고정되는 경우, 특이한 $ X_\Psi = \overline{GX^h} $ 대신 정칙한 대체로 전역 안정자 $ S_X = \{(g,x) \mid gx = x\} $ 를 사용하기 위해.
• 중앙자 $ Z = \mathcal{Z}_G(h) $ 에 대해, 등변 K-이론에서 고정점 위의 이론을 전역 이론과 연결하기 위해 $ \iota_! \colon G(Z,X^h) \to G(G,X) $ 를 정의하기 위해.
• 군의 족좌표 $ \Psi $ 에 대응하는 최대 이상수 $ \mathfrak{m}_\Psi \subset R(G) $ 에서 국소화를 적용하기 위해, 모리타 동치와 국소화 정리를 사용하기 위해.
• 핵심 공식 유도: $ \alpha = \iota_!\left( \frac{\lambda_{-1}((\mathfrak{g}/\mathfrak{z})^*) \cap (\iota^!\alpha)_h }{\lambda_{-1}(N_\iota^*)} \right) $, 여기서 $ \lambda_{-1} $ 은 외적 거듭제곱의 교대합을 나타낸다.
• 군이 자유롭게 작용하는 경우로 문제를 단순화하기 위해, $ X' \to X $ 를 유한한 전성적인 $ G $-등변 코팅으로 사용하기 위해.
• 군의 여백다발의 접선다발이 $ X \times \mathfrak{g} $ 와 동치임을 보장하는 자연스러운 동치를 사용하여 기하학적 구조를 표현 이론과 연결하기 위해.

실험 결과

연구 질문

• RQ1 등변 K-이론에서의 국소화 정리는 아벨군에서 비아벨군으로 어떻게 일반화될 수 있는가?
• RQ2 고정점의 집합 $ X^h $ 가 G-불변이지만 Z-불변일 뿐일 경우, 자기교차 공식은 무엇으로 대체되는가?
• RQ3 적절한 비아벨 군 작용에 의한 매끄러운 대수기하공간의 몫에 대해 리만-로흐 공식을 수립할 수 있는가?
• RQ4 전역 안정자 $ S_X $ 는 특이한 몫 $ X_\Psi $ 의 정칙 대체로 어떻게 작용하는가?
• RQ5 비아벨 국소화 공식의 올바른 수정 항은 무엇이며, 이를 리 대수와 정규다발의 언어로 어떻게 표현할 수 있는가?

주요 결과

• 논문은 임의의 복소대수군이 유한한 안정자를 가진 경우, 기존의 니엘슨과 토마손의 결과를 일반화하여 등변 K-이론에서 비아벨 국소화 공식을 수립한다.
• 공식은 국소화된 등변 K-이론 클래스 $ \alpha \in G(G,X)_{\mathfrak{m}_\Psi} $ 를 $ \iota_!\left( \frac{\lambda_{-1}((\mathfrak{g}/\mathfrak{z})^*) \cap (\iota^!\alpha)_h }{\lambda_{-1}(N_\iota^*)} \right) $ 로 표현하며, 여기서 $ \iota^! $ 은 중심자로의 제약 및 당김을 의미한다.
• 매끄러운 $ X $ 에 대해 전역 안정자 $ S_\Psi \subset S_X $ 는 정칙이므로, $ X_\Psi $ 가 특이하더라도 기하학적 기법을 사용할 수 있다.
• 몫에 대한 리만-로흐 공식은 전역 안정자에서의 푸시포워드를 통해 증명되며, 유한한 코팅과 불변량을 사용하여 자유 작용의 경우로 단순화된다.
• 이 구성은 유한한 푸시포워드와 호환되며, 불변량을 유지하므로 자유 군 작용의 경우로의 축소를 통해 증명이 가능해진다.
• 논문은 기하학적 보조정리를 증명한다: $ G $-터소르의 접선다발은 자명하게 $ X \times \mathfrak{g} $ 와 동치이며, 이는 고정된 작용을 통해 표현 이론과 연결되며, 주요 구성의 기초를 이룬다.