[논문 리뷰] Global actions, groupoid atlases and related topics

Anthony Bak, Ronald Brown외 2명|ArXiv.org|2006. 06. 11.

Geometric and Algebraic TopologyMathematics참고 문헌 5인용 수 19

한 줄 요약

이 논문은 조합적 요소를 통해 기본 연산, 경로, 호모토피를 제어할 수 있는 대수적 도구로 글로벌 액션과 군oids 아틀라스를 도입한다. 이는 높은 차수의 대수적 K-이론을 모델링하는 데 쓰이며, 스티븐버그 군 $σ_n(R)$이 글로벌 액션 $σ_n(R)$의 유일한 단순 연결 코팅과 동형임을 증명함으로써 $K_2(n,R) \cong \pi_1(\mathsf{GL}_n(R))$를 확립한다. 이는 군 코homology와 호모토피 이론을 구체적인 대수적 맥락에서 연결한다.

ABSTRACT

A. Bak developed a combinatorial approach to higher $K$-theory, in which control is kept of the elementary operations involved, through paths and `paths of paths' in what he called a global action. The homotopy theory of these was developed by G. Minian. R. Brown and T. Porter developed applications to identities among relations for groups, and also the extension to groupoid atlases. This paper is intended as an introduction tothis circle of ideas, and so to give a basis for exploration and development of this area.

연구 동기 및 목표

• 화이트헤드의 단순 호모토피 이론에 대한 기하적 직관을 유지하면서 높은 차수의 대수적 K-이론을 위한 조합적 프레임워크를 개발하기 위해.
• 군 작용을 군oids 아틀라스로 일반화하여, 만델라와 유사한 국소-전체의 구조를 대수적 맥락에서 가능하게 하기 위해.
• 대수적 군류인 $\mathsf{GL}_n(R)$의 기본군과 코팅 공간을 구체적이고 계산 가능한 모델로 제공하기 위해.
• 글로벌 액션 호모토피 이론을 통해 두 번째 $K$-군 $K_2(n,R)$와 기본군 $\pi_1(\mathsf{GL}_n(R))$ 사이의 정확한 동형관계를 확립하기 위해.

제안 방법

• 포지티브 순서 집합에 따라 인덱싱된 군 작용의 집합으로서 글로벌 액션의 정의를 내리며, 국소-전체 행동을 모델링하기 위해 패치 조건을 부여한다.
• 곡선, 경로, 경로의 호모토피를 사용하여 글로벌 액션의 기본군oids를 구성함으로써, 고전적 호모토피 이론을 대수적 맥락으로 일반화한다.
• 군 작용을 작용 군oids로 대체함으로써 군oids 아틀라스를 도입하여, 동치 관계와 해소를 대수적으로 모델링할 수 있도록 한다.
• 네트워크 구성과 바리센트리 분할을 사용하여 글로벌 액션을 단체 복합체와 연결하고 호모토피 불변량을 계산한다.
• 스티븐버그 글로벌 액션 $\mathsf{St}_n(R)$을 포지티브 순서 집합 $\Phi$의 최대 체인을 따라 국소 군 $\operatorname{St}_n(R)_\alpha$의 코일리미트로 정의하며, 관계는 $i<j$로 제한한다.
• 최대 국소 군 $\operatorname{GL}_n(R)_\alpha \cong T_n(R)$에서의 호환되는 동형사상들을 통해 $\mathsf{St}_n(R)$과 $\mathsf{GL}_n(R)$의 유일한 코팅 사이의 동형관계를 확립한다.

실험 결과

연구 질문

• RQ1 글로벌 액션은 어떻게 화이트헤드의 작업에서 비롯된 기하적 직관을 유지하면서도 높은 차수의 대수적 $K$-이론의 조합적 모델을 제공할 수 있는가?
• RQ2 군oids 아틀라스는 군 작용을 일반화하고 군 표현에서의 항등식 간의 관계를 연구하는 데 어떤 역할을 하는가?
• RQ3 글로벌 액션의 기본군과 코팅 공간은 어떻게 대수적 표현으로 구성되고 계산될 수 있는가?
• RQ4 스티븐버그 군 $\mathsf{St}_n(R)$과 $\mathsf{GL}_n(R)$의 기본군 사이의 정확한 관계는 무엇인가?
• RQ5 두 번째 $K$-군 $K_2(n,R)$는 글로벌 액션의 기본군으로서 실현될 수 있는가?

주요 결과

• 스티븐버그 군 $\mathsf{St}_n(R)$은 글로벌 액션 $\mathsf{GL}_n(R)$의 유일한 단순 연결 코팅과 동형이며, 코팅 사상은 평가 준동형사상 $\varphi: \mathsf{St}_n(R) \to \mathsf{GL}_n(R)$으로 주어진다.
• 코팅 사상 $\varphi$의 핵은 중심적이며, 임의의 국소 군 $\operatorname{GL}_n(R)_\alpha$에 제한되었을 때 자명하므로, 이 코팅이 단순 연결임을 확인한다.
• 최대 체인 $\alpha$에 대해 국소 군 $\operatorname{GL}_n(R)_\alpha$는 상삼각행렬의 군 $T_n(R)$과 동형이며, 이 동형관계는 포지티브 순서 집합 $\Phi$ 전반에 걸쳐 호환적으로 확장된다.
• $\Phi$를 따라 국소 군 $\operatorname{GL}_n(R)_\alpha$의 코일리미트는 군 $\widetilde{\mathsf{GL}_n(R)}$과 동형이며, 이는 $\mathsf{E}_n(R)$의 유일한 코팅이다.
• 기본군 $\pi_1(\mathsf{GL}_n(R), 1)$은 두 번째 $K$-군 $K_2(n,R)$와 동형이며, 이는 $K_2$의 직접적인 호모토피적 해석을 확립한다.
• 글로벌 액션 $\mathsf{St}_n(R)$은 연결되어 있으며, $\Phi$를 따라 그 코일리미트는 $\mathsf{St}_n(R)$과 동형이므로, 이는 그가 유일한 코팅으로서의 역할을 확인한다.