[논문 리뷰] Controlled objects in left-exact $\infty$-categories and the Novikov conjecture

Ulrich Bunke, Denis-Charles Cisinski외 2명|arXiv (Cornell University)|2019. 11. 06.

Homotopy and Cohomology in Algebraic Topology참고 문헌 29인용 수 6

한 줄 요약

이 논문은 G-생존적 거칠은 공간 위에서의 G-등변 제어된 대상의 범주를 정의하여, 왼쪽 정확한 ∞-범주와 그 군 작용으로부터 등변 거칠은 homology 이론을 구성한다. 이 구성과 대수적 K-이론을 조합함으로써, CP-조건을 만족하는 새로운 호몰로지 이론을 도출하며, 이는 노빅로프 추측에서 조립 사상의 분할 단사성의 증명을 가능하게 한다. 주요 기여는 이러한 범주의 K-이론이 CP-함수를 유도함으로써 기존의 사례들을 포함하고 새로운 CP-조건을 만족하는 함수의 예를 제공한다는 점이다.

ABSTRACT

We associate to every $G$-bornological coarse space $X$ and every left-exact $\infty$-category with $G$-action a left-exact infinity-category of equivariant $X$-controlled objects. Postcomposing with algebraic K-theory leads to {new} equivariant coarse homology theories. This allows us to apply the injectivity results for assembly maps by Bunke, Engel, Kasprowski and Winges to the algebraic K-theory of left-exact $\infty$-categories.

연구 동기 및 목표

• G-작용을 가진 왼쪽 정확한 ∞-범주로부터 등변 거칠은 호몰로지 이론을 일반화된 프레임워크로 구성하는 것.
• 이러한 범주의 대수적 K-이론이 궤도 범주 위에서 CP-조건을 만족하는 함자를 유도한다는 것을 확립하는 것.
• 이 구성과 함께 노빅로프 추측의 조립 사상의 분할 단사성을 증명하는 것.
• 호모토피적이고 범주론적인 접근을 통해 기존의 노빅로프 추측 사례들을 통합하고 일반화하는 것.

제안 방법

• 모든 G-생존적 거칠은 공간 X에 대해 G-등변 X-제어된 대상의 왼쪽 정확한 ∞-범주를 정의한다.
• 왼쪽 정확한 ∞-범주에서의 분수의 미적분과 국소화 기법을 사용하여 제어된 대상의 범주를 구성한다.
• 지역화 불변량으로서의 대수적 K-이론을 적용하여, G-생존적 거칠은 공간의 범주에서 안정한 ∞-범주로의 함자를 얻는다.
• 절단성, 강한 가환성, u-연속성 성질을 통해 궤도 범주 위에서의 결과 함자가 CP-조건을 만족함을 증명한다.
• 유계 유도 범주의 보편 성질과 A-이론이 GOrb-스펙트럼임을 이용하여 필요한 호몰로지 성질을 확립한다.
• 단순 체계와 위상 공간 위의 모델 구조를 사용하여 재접합 공간들을 ∞-범주에서 컴act 대상의 값들을 가진 함수들과 연결한다.

실험 결과

연구 질문

• RQ1 G-작용을 가진 왼쪽 정확한 ∞-범주로부터 일반적인 등변 거칠은 호몰로지 이론의 구성이 가능할 수 있는가?
• RQ2 이러한 범주의 대수적 K-이론이 궤도 범주 위에서 CP-조건을 만족하는 함수를 유도하는가?
• RQ3 이 구성에서 유도된 함수가 노빅로프 추측의 조립 사상의 분할 단사성을 보장하는가?
• RQ4 ∞-범주 내의 제어된 대상은 A-이론과 K-이론의 고전적 구성과 어떻게 관련되는가?
• RQ5 유계 유도 범주의 보편 성질을 사용하여 결과 호몰로지 이론을 특성화할 수 있는가?

주요 결과

• 왼쪽 정확한 ∞-범주에서의 등변 제어된 대상의 구성은 거칠기 불변성, 플라스크성, 절단성 성질을 가진 함수를 유도한다.
• 결과로 얻어진 K-이론 함수 KDG는 CP-조건을 만족하며, 이는 조립 사상의 분할 단사성을 암시한다.
• 공간의 A-이론은 유계 유도 범주의 보편 성질을 통해 GOrb-스펙트럼으로 표현된다.
• 공간 Q 위의 유한적으로 도미네이션된 재접합 공간의 범주는 Sing(Q) 위의 단순 체계의 국소화에서 컴팩트 대상의 전체 부분범주와 동치이다.
• 공간을 그의 단순 체계의 정규화된 범주 위의 함수 범주로 보내는 함수의 왼쪽 수반 함수로, 공간을 그의 반대 범주에서 점을 가진 공간으로의 함수의 ∞-범주로 보내는 함수와 동치이다.
• 결과로 얻어진 K-이론 함수의 동치성을 보이기 위해 유계 유도 범주의 보편 성질을 사용하여, 이 함수가 컴팩트 프로젝티브 모듈 Spccp∗와의 텐서 곱과 동치임을 보였다.