[논문 리뷰] Recollements of derived categories II: Algebraic K-theory

Haishan Chen, Changchang Xi|arXiv (Cornell University)|2012. 12. 09.

Algebraic structures and combinatorial models참고 문헌 37인용 수 19

한 줄 요약

이 논문은 유도 모듈러 범주의 재구성(recollements)에서 높은 대수적 K군에 대한 Mayer-Vietoris 완전열을 수립하며, K이론 군의 덧셈 공식이 성립하기 위한 충분조건을 제공한다. 이러한 결과는 호모로지 링 에피모르피즘과 비가환 국소화에 적용되어, 밀놀르 사각형(Milnor squares)에 대한 무한한 Mayer-Vietoris 열과 비가환 텐서곱을 통한 무한 이면군(infinite dihedral group)의 K이론에 대한 새로운 기술을 도출한다.

ABSTRACT

For a recollement of derived module categories of rings, we provide sufficient conditions to guarantee the additivity formula of higher algebraic K-groups of the rings involved, and establish a long Mayer-Vietoris exact sequence of higher algebraic K-groups for homological exact contexts introduced in the first paper of this series. Our results are then applied to recollements induced from homological ring epimorphisms and noncommutative localizations. Consequently, we get an infinitely long Mayer-Vietoris exact sequence of K-theory for Milnor squares, re-obtain a result of Karoubi on localizations and a result on generalized free products pioneered by Waldhausen and developed by Neeman and Ranicki. In particular, we describe algebraic $K$-groups of the free product of two groups over a regular coherent ring as the ones of the noncommutative tensor product of an exact context. This yields a new description of algebraic $K$-theory of infinite dihedral group.

연구 동기 및 목표

• 유도 모듈러 범주의 재구성에서 높은 대수적 K군에 대한 덧셈 공식이 성립하기 위한 충분조건을 규명하는 것.
• 호모로지 정확한 맥락과 호모로지 링 에피모르피즘에 의해 유도되는 재구성에서 Mayer-Vietoris 완전열을 확장하는 것.
• 비가환 텐서곱을 이용하여 일반화된 자유곱과 군환의 대수적 K이론을 기술하는 것.
• 재구성 기법을 통해 국소화와 자유곱의 K이론에 관한 기존 결과를 재유도하고 일반화하는 것.
• 비가환 텐서곱을 이용하여 무한 이면군의 K이론에 대한 새로운 기술을 제공하는 것.

제안 방법

• 삼각 함자와 수반 함자를 갖는 유도 모듈러 범주의 재구성 기법을 사용하여 세 링의 K이론을 연결한다.
• 프로베누스 쌍과 월드하우젠 범주의 이론을 적용하여 정확한 맥락의 K이론 공간을 분석한다.
• 완전한 dg 모듈러와 높은 K군에 대한 분해 정리에 의해 K이론 공간의 호모토피 동치를 수립한다.
• 호모로지 정확한 맥락에서 K이론에 대한 장거리 Mayer-Vietoris 완전열을 구성하며, 네만과 라니cki의 결과를 일반화한다.
• 이 틀을 비가환 국소화와 호모로지 링 에피모르피즘에 적용하며, 특히 대상 모듈러가 유한형 해상도를 갖는 경우에 중점을 둔다.
• 군환 함자와 R-환 범주에서의 코프로덕트를 사용하여 군의 자유곱의 K이론을 비가환 텐서곱의 K이론과 연결한다.

실험 결과

연구 질문

• RQ1 유도 모듈러 범주의 재구성에서 높은 대수적 K군에 대한 덧셈 공식이 성립하기 위한 조건은 무엇인가?
• RQ2 호모로지 정확한 맥락에서 대수적 K이론에 대한 장거리 Mayer-Vietoris 완전열을 구성할 수 있는가?
• RQ3 군의 자유곱의 K이론은 그 군환의 비가환 텐서곱의 K이론과 어떻게 관련이 있는가?
• RQ4 비가환 텐서곱과 Nil 군을 이용하여 무한 이면군의 K이론은 어떻게 기술되는가?
• RQ5 Milnor 사각형의 K이론은 어떤 방식으로 무한한 Mayer-Vietoris 열을 통해 기술될 수 있는가?

주요 결과

• 밀놀르 사각형에 대해 높은 대수적 K군에 대한 무한한 Mayer-Vietoris 완전열이 수립되었으며, 고전적 결과를 일반화한다.
• 정규 협응(coherent) 링 위에서 두 군의 자유곱의 K이론은 그 군환의 비가환 텐서곱의 K이론으로 기술된다.
• 무한 이면군 $D_{∞}$에 대해 본 논문은 새로운 분해를 제시한다: $K_n(R(D_{∞})) \simeq K_n(R\mathbb{Z}_2 \boxtimes_R R\mathbb{Z}_2) \oplus \widetilde{\mathfrak{Nil}}_{n-1}(R)$.
• 이 결과는 카루비의 국소화에 관한 정리와 월드하우젠–네만–라니cki의 일반화된 자유곱에 관한 결과를 재유도하고 확장한다.
• $R(H*G)$의 K이론이 $RH \boxtimes_R RG$와 동형임을 보여, R-환 범주에서의 코프로덕트의 구조를 확인한다.
• $\pi_1(V)$가 자명할 경우 $K_n(R(\pi_1(U))) \simeq K_n(R(\pi_1(U_1)) \boxtimes_R R(\pi_1(U_2)))$임을 보이며, 비가환 곱을 통한 위상수학적 기본군과 K이론의 연결을 맺는다.