[논문 리뷰] Split injectivity of A-theoretic assembly maps

Ulrich Bunke, Daniel Kasprowski외 1명|arXiv (Cornell University)|2018. 11. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 19인용 수 5

한 줄 요약

이 논문은 유한 및 거의 순환 부분군에 대한 유한차원 분류공간을 가진 군들에 대해 A-이론적 조립 사상의 분할 단사성을 확립한다. 이는 생체적 거칠은 공간 위에서의 비연결 A-이론 함자에 기반하며, 결과적으로 등변 거칠은 homology 이론이 연속성, 강한 가환성, 전이 사상 등의 핵심 공리들을 만족함을 증명한다. 이는 이전 연구에서 개발된 CP-함자 프레임워크를 통해 분할 단사성 결과를 도출할 수 있게 한다.

ABSTRACT

We construct an equivariant coarse homology theory arising from the algebraic $K$-theory of spherical group rings and use this theory to derive split injectivity results for associated assembly maps. On the way, we prove that the fundamental structural theorems for Waldhausen's algebraic $K$-theory functor carry over to its nonconnective counterpart defined by Blumberg--Gepner--Tabuada.

연구 동기 및 목표

• 유한 및 거의 순환 부분군에 대한 유한차원 분류공간을 가진 군들에 대해 A-이론적 조립 사상의 분할 단사성을 확립한다.
• Blumberg-Gepner-Tabuada의 비연결 K-이론 함자에 의해 비연결 A-이론으로 거칠은 호모토피 이론의 프레임워크를 확장한다.
• 결과적으로 얻어진 거칠은 A-호모로지 이론이 연속성, 강한 가환성, 전이 사상 등을 만족함을 증명하여 CP-함자 기계의 적용을 가능하게 한다.
• 이전의 K- 및 L-이론적 조립 사상 결과들을 A-이론 설정으로 일반화하며, 특히 유한 분해 복잡성 또는 상대적으로 하이퍼볼릭성을 가진 군들에 대해 다룬다.
• 유한 G일 때, 주 G-_bundle 위의 A-이론 함자가 스펙트럴 매케이 함자로 확장됨을 보이며, 새로운 방법으로 알려진 결과를 재확인한다.

제안 방법

• Blumberg-Gepner-Tabuada의 비연결 K-이론 함자를 통해 구형 군환의 비연결 A-이론으로부터 등변 거칠은 호모로지 이론을 구성한다.
• Waldhausen K-이론의 기본 정리들(가환성, 피브레이션, 근사, 계수성)이 비연결 설정으로까지 확장됨을 증명한다.
• Ullmann-Winges의 통제된 재진행 공간들을 생체적 거칠은 공간의 프레임워크로 번역한다.
• 거칠은 A-호모로지 이론이 연속성, 강한 가환성, 전이 사상을 갖는 등변 거칠은 호모로지 이론임을 확립한다.
• BEKWb에서 제시된 CP-함자 프레임워크를 적용하기 위해, 주 G-_bundle 위의 A-이론 함자가 유도적 CP-함자임을 보인다.
• 전이 원리와 상대적 조립 사상 분해를 사용하여, 유한, 거의 순환, FDC 부분군에 대한 가정 하에 분할 단사성을 도출한다.

실험 결과

연구 질문

• RQ1 유한 부분군의 가족에 대한 A-이론적 조립 사상이 분할 단사성이 되는 군 이론적 조건은 무엇인가?
• RQ2 Blumberg-Gepner-Tabuada가 정의한 비연결 설정으로 확장되었을 때, Waldhausen K-이론의 구조 정리들은 어떻게 일반화되는가?
• RQ3 거칠은 A-호모로지 이론은 전이와 강한 가환성을 갖는 잘 정의된 등변 거칠은 호모로지 이론으로 구성될 수 있는가?
• RQ4 유한 부분군에서 거의 순환 부분군으로의 상대적 조립 사상의 분할 단사성을 보장하는 조건은 무엇인가?
• RQ5 군이 FDC 또는 분할 단사성 조립 사상을 갖는 부분군들에 대해 상대적으로 하이퍼볼릭일 때, 전반적인 A-이론적 조립 사상에 어떤 영향을 미치는가?

주요 결과

• G가 유한 생성이며, EFinG에 대해 유한차원 모델을 가지며, 다음 조건 중 하나를 만족하면 유한 부분군의 가족에 대한 A-이론적 조립 사상은 분할 단사성이 된다: 가군환 위의 선형군의 부분군이거나, 유한 연결 리군의 부분군이다.
• 동일한 조건 하에, 유한에서 거의 순환 부분군으로의 상대 A-이론적 조립 사상은 분할 단사성이 된다.
• G가 EFinG에 대해 유한차원 모델을 가지면, 유한에서 FDC 부분군으로의 상대 A-이론적 조립 사상은 분할 단사성이 된다.
• G가 부분군 H_i들에 대해 상대적으로 하이퍼볼릭이며, 각 H_i가 FDC에 속하거나 거의 순환 가족에 대해 A-이론적 조립 사상이 분할 단사성이면, 유한 부분군의 가족에 대한 A-이론적 조립 사상은 분할 단사성이 된다.
• G가 유한일 경우, Or(G)-스펙트럼 A_P는 스펙트럴 매케이 함자로 확장되며, 새로운 프레임워크를 통해 기존의 알려진 결과를 재확인한다.
• 구성된 거칠은 A-호모로지 이론은 연속성, 강한 가환성, 전이 사상을 모두 만족하며, 따라서 유도적 CP-함자이다.