[논문 리뷰] On the Algebraic K-theory of Monoids

Chenghao Chu, Jack Morava|arXiv (Cornell University)|2010. 09. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 4

한 줄 요약

이 논문은 영을 가진 비가환 모노이드에 대해 프로젝티브 작용이 자유일 조건 하에, 대수적 K-이론을 정의하는 데 있어서 +-건설과 Q-건설의 동치성을 확립한다. 이러한 모노이드에 대해 호모토피 불변성을 증명하고, 유한 생성 아벨 군에 관련된 모노이드의 $ K_2 $를 계산하며, 기저점을 가진 분류 공간의 안정적 호모토피 군을 통해 보편 중심 확장을 구성한다.

ABSTRACT

Let $A$ be a not necessarily commutative monoid with zero such that projective $A$-acts are free. This paper shows that the algebraic K-groups of $A$ can be defined using the +-construction and the Q-construction. It is shown that these two constructions give the same K-groups. As an immediate application, the homotopy invariance of algebraic K-theory of certain affine $\mathbb{F}_1$-schemes is obtained. From the computation of $K_2(A),$ where $A$ is the monoid associated to a finitely generated abelian group, the universal central extension of certain groups are constructed.

연구 동기 및 목표

• 비가환 모노이드에 대해, 특히 프로젝티브 작용이 자유일 조건 하에, 대수적 K-이론의 구성법—특히 +-건설과 Q-건설—을 확장한다.
• 가환 모노이드에 대한 적합한 정확열 시퀀스의 개념을 비가환 모노이드로 일반화하여, Q-건설 기반의 K-이론을 가능하게 한다.
• 가환 모노이드 $ A $에 대해 프로젝티브 $ A $-작용이 자유일 경우, 아핀 $ \\bbF_1 $-스킴 $ \text{Spec}(A) $의 대수적 K-이론이 호모토피 불변임을 증명한다.
• 유한 생성 아벨 군에 관련된 모노이드 $ A $에 대해 $ K_2(A) $를 계산하고, 보편 중심 확장을 구성한다.
• 특히 $ \tilde{K}_2 $를 중심으로, $ \bbF_1 $-스킴의 $ K $-군과 $ BG_+ $의 안정적 호모토피 군 간의 연결을 스펙트럴 시퀀스 분석을 통해 규명한다.

제안 방법

• 프로젝티브 작용이 자유일 조건 하에, 일반선형군 $ GL(A) $ 내부에 안정적인 특수선형군 $ E(A) $를 정의함으로써, 비가환 모노이드에 대해 +-건설을 적절히 일반화한다.
• 기저점을 가진 $ A $-집합의 범주를 도입하여 $ A $-작용을 $ \bbF_1 $-기하학에 맞게 일반화하고, 이 맥락에서 적합한 정확열 시퀀스를 정의한다.
• 프로젝티브 $ A $-작용이 자유일 조건 하에, Quillen의 Q-건설을 $ A $-집합의 범주에 적용하여, 잘 정의된 K-이론 공간을 보장한다.
• Atiyah-Hirzebruch 스펙트럴 시퀀스를 사용하여 $ \tilde{K}_2 $를 분석하고, 특히 미분 $ d: H_3(G, \bbZ) \to H_1(G, \bbZ/2) $가 유한 생성 아벨 군 $ G $에 대해 0이 됨을 보인다.
• 모노이드 K-이론과 안정적 호모토피 이론 간의 연결을 위해, $ K_i(\text{Spec}(\bbF_1[G])) $와 $ \pi_i^s(BG_+) $ 사이의 동형을 증명한다.
• 특히 $ G = \bbZ/d $인 경우, $ K_2 $ 계산을 통해 보편 중심 확장을 구성하며, $ K_2(\bbZ/d_*) \cong \bbZ/2 \oplus \bbZ/2 $임을 보여준다.

실험 결과

연구 질문

• RQ1 프로젝티브 작용이 자유일 조건 하에, 영을 가진 비가환 모노이드에 대해 +-건설을 일반화할 수 있는가?
• RQ2 이러한 모노이드에 대해 Q-건설이 +-건설과 동일한 K-이론을 얻는가? 그리고 어떤 조건에서 성립하는가?
• RQ3 가환 모노이드 $ A $에 대해 프로젝티브 $ A $-작용이 자유일 경우, 아핀 $ \bbF_1 $-스킴 $ \text{Spec}(A) $의 대수적 K-이론이 호모토피 불변인가?
• RQ4 유한 생성 아벨 군에 관련된 모노이드 $ A $에 대해 $ K_2(A) $의 구조는 어떻게 되며, 보편 중심 확장과 어떤 관계가 있는가?
• RQ5 특히 $ i=2 $일 때, 안정적 호모토피 군 $ \pi_i^s(BG_+) $와 $ \bbF_1[G] $-스킴의 대수적 K-이론 간의 관계는 어떻게 되는가?

주요 결과

• +-건설과 Q-건설이 프로젝티브 $ A $-작용이 자유일 조건 하에 동일한 K-이론 군을 갖는다. 이는 이러한 맥락에서 $ Q = + $ 정리의 성립을 의미한다.
• 가환 모노이드 $ A $에 대해 프로젝티브 $ A $-작용이 자유일 경우, $ \text{Spec}(A) $의 대수적 K-이론은 호모토피 불변성을 만족하며, 이는 기존 결과를 더 넓은 범위의 모노이드로 확장한다.
• $ G = \bbZ/d $일 때, $ K_2(\bbZ/d_*) \cong \bbZ/2 \oplus \bbZ/2 $로 계산되며, Q-건설을 통해 도출되고 Atiyah-Hirzebruch 스펙트럴 시퀀스로 검증된다.
• 유한 생성 아벨 군 $ G $에 대해 Atiyah-Hirzebruch 스펙트럴 시퀀스의 미분 $ d: H_3(G, \bbZ) \to H_1(G, \bbZ/2) $는 0이 되며, 이는 $ \pi_2^s(BG_+) \cong \bbZ/2 \oplus G/2 \oplus H_2(G, \bbZ) $를 의미한다.
• 비아벨 군인 $ A_n $, $ \Sigma_n $, $ E_n(\bbF_q) $, $ GL_n(\bbF_q) $에 대해서는, 두 번째 안정적 호모토피 군 $ \pi_2^s(BG_+) $가 군의 성질과 체의 특성에 따라 $ \bbZ/2 \oplus H_2(G, \bbZ) $ 또는 $ \bbZ/2 \oplus \bbZ/2 \oplus H_2(G, \bbZ) $로 계산된다.
• $ \bbF_1[G] $-스킴의 $ K_2 $ 계산은 보편 중심 확장을 가능하게 하며, 특히 $ G = \bbZ/d $일 때 $ K_2(\bbZ/d_*) \cong \bbZ/2 \oplus \bbZ/2 $라는 동형을 통해 $ G $의 보편 중심 확장을 구성한다.