[논문 리뷰] Riemann-Roch For Equivariant K-Theory

Amalendu Krishna|ArXiv.org|2009. 06. 09.

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

한 줄 요약

이 논문은 선형 대수적 군 작용을 가진 매끄러운 다양체에 대해, 완비화된 등변 K-이론에서 완비화된 등변 고차 초우주군으로의 케르너 특성 사상의 구성함으로써 등변 리만-로흐 동형사상을 확립한다. 주요 결과는 $ \widehat{K^{G}_{i}(X)} \xrightarrow{\widehat{\tau}^{G}_{X}} \widehat{CH^{*}_{G}(X,i)}$ 의 동형사상으로, 등변 K-이론과 초우주군 간의 순수한 등변 사상이 표현 이론적 차단으로 인해 랭크가 맞지 않기 때문에 발생하는 문제를 해결한다.

ABSTRACT

The goal of this paper is to prove the Riemann-Roch isomorphism for the higher equivariant K-theory of varieties with action of a linear algebraic group.

연구 동기 및 목표

• 매끄러운 다양체에 대해 선형 대수적 군 작용이 있을 때 블로크의 비등변 리만-로흐 동형사상을 등변 설정으로 확장한다.
• 등변 K-이론과 초우주군 간의 순수한 등변 리만-로흐 사상이 표현 이론적 장애로 인해 실패하는 이유를 해결한다. 예를 들어, $K^G_0(k)_{\mathbb{Q}}$는 순서가 $m$인 유한군 $G$에 대해 랭크 $m$을 가지지만, $CH^*_G(k,0)_{\mathbb{Q}}$는 랭크 1을 가진다.
• 표현환 $R(G)$와 등변 초우주환 $S(G)$의 증폭 아이디얼 $I_G$와 $J_G$에 대한 완비화가 리만-로흐 동형사상을 복원하기 위해 필요한 최소한의 왜곡임을 보인다.
• 유리수 계수를 가진 등변 K-이론과 등변 고차 초우주군 간의 케르너 특성 사상 동형사상 $K^G_i(X) \otimes_{R(G)} \widehat{R(G)} \xrightarrow{ch} CH^*_G(X,i) \otimes_{S(G)} \widehat{S(G)}$를 수립한다. 이는 에디딘-그라함의 $G_0$ 수준 결과를 일반화한다.

제안 방법

• 표현환 $R(G)$의 $I_G$-adic 완비화인 $\widehat{R(G)}$와 등변 초우주환 $S(G) = CH^*_G(k,0)$의 $J_G$-adic 완비화인 $\widehat{S(G)}$를 정의한다.
• 완비화를 통해 랭크 불일치 문제를 해결하기 위해, 유리수 계수를 가진 케르너 특성 사상 $ch: K^G_i(X) \otimes_{R(G)} \widehat{R(G)} \to CH^*_G(X,i) \otimes_{S(G)} \widehat{S(G)}$를 구성한다.
• 등변 $G$-행렬 $X' \to X$를 구성함으로써 비등변 사례로의 환원을 통해 이 사상이 동형임을 증명한다. 이 경우 $X'_G$는 준사영적이며, 블로크의 리만-로흐 정리를 몫 $X'_G$에 적용할 수 있다.
• 등변 사상에 대해 $K$-이론과 초우주군에서의 당김 및 투영 사상은 $R(G)$-선형이며, 적절한 사상에 대해 프로젝션 공식이 성립한다.
• $X'$와 $X$를 포함하는 교차도를 적용하여, 등변 리만-로흐 사상 $\tau^G_X$가 전사임을 보이며, 완비화 사상의 전사성과 비등변 사례에서의 동형사상을 활용한다.
• 재수정된 $G$와 최대 토루스 $T$에 대해 메르쿠제프의 결과를 일반화함으로써, $K^G_i(X) \otimes_{R(G)} \widehat{R(T)} \xrightarrow{\eta^G_T} K^T_i(X) \otimes_{R(T)} \widehat{R(T)}$가 동형임을 보인다. 이는 완비화된 $K$-이론과 초우주군 간의 동형사상을 이용한다.

실험 결과

연구 질문

• RQ1 표현 이론적 랭크 불일치로 인해 순수한 등변 K-이론과 등변 고차 초우주군 간의 리만-로흐 동형사상이 실패하는 상황에서, 이 둘 사이에 리만-로흐 동형사상이 수립될 수 있는가?
• RQ2 완비화된 $K^G_i(X) \otimes_{R(G)} \widehat{R(G)}$는 $CH^*_G(X,i) \otimes_{S(G)} \widehat{S(G)}$와의 동형사상을 복원하기 위해 필요한 최소한의 왜곡인가?
• RQ3 완비화된 등변 K-이론에서 완비화된 등변 고차 초우주군으로의 케르너 특성 사상이 존재하는가? 그리고 이 사상이 유리수 계수에서 동형인가?
• RQ4 리만-로흐 동형사상은 $G_0$를 초월하여 고차 $K$-군으로까지 확장될 수 있는가? 그리고 임의의 재수정된 군에 대해서도 성립하는가?
• RQ5 최대 토루스 $T$에 대해, 매끄럽지 않은 다양체일지라도 안정자군이 유한할 경우, $K^G_i(X)$와 $K^T_i(X)$ 사이에 완비화 유도 동형사상이 존재하는가?

주요 결과

• 유리수 계수를 가진 케르너 특성 사상 $K^G_i(X) \otimes_{R(G)} \widehat{R(G)} \xrightarrow{ch} CH^*_G(X,i) \otimes_{S(G)} \widehat{S(G)}$는 순수한 사상에서 발생하는 랭크 불일치 문제를 해결하며, 동형사상이다.
• 매끄러운 다양체에 선형 대수적 군 작용이 있을 때, 리만-로흐 동형사상 $\widehat{K^G_i(X)} \xrightarrow{\widehat{\tau}^G_X} \widehat{CH^*_G(X,i)}$가 성립하며, 에디딘-그라함의 $G_0$ 수준 결과를 일반화한다.
• 증폭 아이디얼 $I_G$와 $J_G$에 대한 완비화가 필수적이다. 이 완비화 없이서는 동형사상이 성립하지 않으며, 이는 순서가 $m$인 유한군 $G$에 대해 $K^G_0(k)_{\mathbb{Q}}$와 $CH^*_G(k,0)_{\mathbb{Q}}$ 간의 랭크 불일치로 인해 입증된다.
• 등변 $G$-행렬 $X' \to X$를 포함하는 자유 $G$-행렬을 통해 비등변 사례로 환원함으로써 동형사상을 증명한다. 이 경우 $X'_G$는 준사영적이며, 블로크의 정리가 적용 가능하다.
• 모든 연결 분해 가능한 재수정된 군 $G$와 최대 토루스 $T$에 대해, $\eta^G_T: K^G_i(X) \otimes_{R(G)} \widehat{R(T)} \to K^T_i(X) \otimes_{R(T)} \widehat{R(T)}$는 동형사상이다. 이는 $X$가 특이점이 있어도 $G$의 작용이 유한한 안정자군을 가질 경우 성립한다.
• 정리 3.8에 의해 $CH^*_G(X,i) \otimes_{S(G)} \widehat{S(T)} \cong CH^*_T(X,i) \otimes_{S(T)} \widehat{S(T)}$의 동형사상이 성립하며, 이는 토루스 비교 결과를 증명하는 데 핵심적이다.