[논문 리뷰] Abstract cubical homotopy theory

Falk Beckert, Moritz Groth|arXiv (Cornell University)|2018. 03. 15.

Algebraic structures and combinatorial models참고 문헌 35인용 수 4

한 줄 요약

이 논문은 $n$-정육면체의 일관된 다이어그램을 사용하여 호모토피 이론을 위한 추상적인 정육면체 미적분을 개발한다. 여기에는 순서수 필터링, 코카르테시안과 강한 코카르테시안 $n$-정육면체 사이의 보간, 반복된 콘 구조가 포함된다. 주요 기여는 강한 안정 동치를 통한 안정 유도자에서의 전역 세르 dualit의 도입으로, 이는 강한 안정 동치를 통한 코리미트-극한 이중성과 무한한 수의 수반 관계를 가능하게 한다.

ABSTRACT

Triangulations and higher triangulations axiomatize the calculus of derived cokernels when applied to strings of composable morphisms. While there are no cubical versions of (higher) triangulations, in this paper we use coherent diagrams to develop some aspects of a rich cubical calculus. Applied to the models in the background, this enhances the typical examples of triangulated and tensor-triangulated categories. The main players are the cardinality filtration of n-cubes, the induced interpolation between cocartesian and strongly cocartesian n-cubes, and the yoga of iterated cone constructions. In the stable case, the representation theories of chunks of n-cubes are related by compatible strong stable equivalences and admit a global form of Serre duality. As sample applications, we use these Serre equivalences to express colimits in terms of limits and to relate the abstract representation theories of chunks by infinite chains of adjunctions. On a more abstract side, along the way we establish a general decomposition result for colimits, which specializes to the classical Bousfield-Kan formulas. We also include a short discussion of abstract formulas and their compatibility with morphisms, leading to the idea of universal formulas in monoidal homotopy theories.

연구 동기 및 목표

• 삼중화나 텐서-삼중화된 범주를 넘어서 사상의 사슬에 의존하지 않는 호모토피 이론을 위한 정육면체 미적분을 개발하기 위해.
• 높은 삼중화의 정육면체 해석이 부족한 점을 보완하기 위해 $n$-정육면체의 일관된 다이어그램을 사용하기 위해.
• 안정 유도자에서 강한 안정 동치를 통한 정육면체 조각 간의 강한 동치를 통해 전역 세르 이중성의 형태를 확립하기 위해.
• 코리미트와 극한을 세르 동치를 통해 연결하고, 단일한 화이트니-호모토피 이론으로의 일반 공식을 확장하기 위해.

제안 방법

• $n$-정육면체의 순서수 필터링을 사용하여 코카르테시안과 강한 코카르테시안의 구조 사이를 보간한다.
• 반복된 콘 구조를 적용하여 총 코파일러를 모델링하고 호모토피 이론적 불변량을 유도한다.
• 안정 유도자에서 $n$-정육면체의 조각 간의 강한 안정 동치를 확립하여 전역 세르 이중성을 가능하게 한다.
• 코리미트의 분해 정리를 적용하고, 표현된 유도자에서 보우즈필드–칸 공식으로 특수화한다.
• 공연속 공식과 $S$-정확한 사각형을 사용하여 정확성의 전파를 보편 유도자(예: 공간, 스펙트럼)에서 임의의 유도자로 확장한다.
• $S$-정확성과 $S\text{p}$-정확성을 활용하여 단일한 화이트니-호모토피 이론에서 일반 공식을 도출한다.

실험 결과

연구 질문

• RQ1 삼중화나 고차 삼중화의 구조에 의존하지 않는 추상 호모토피 이론에서 정육면체 미적분을 어떻게 개발할 수 있는가?
• RQ2 일관된 $n$-정육면체 다이어그램은 유도된 코파일러와 반복 콘 구조를 어떻게 모델링하는가?
• RQ3 정육면체의 조각 간의 강한 안정 동치는 안정 유도자에서 전역 세르 이중성으로 이르는가?
• RQ4 단일한 화이트니-호모토피 이론에서 일반 공식은 어떤 맥락에서 기저 유도자(예: $S$ 또는 $S\text{p}$)에서 전파되는가?
• RQ5 호모토피 정확한 사각형과 유도자에서 코엔드 및 코리미트 공식의 타당성 사이의 관계는 무엇인가?

주요 결과

• 논문은 $n$-정육면체의 조각 간의 강한 안정 동치를 통한 안정 유도자에서의 전역 세르 이중성을 확립한다.
• 안정 유도자에서 코리미트는 세르 동치에 의해 유도된 이중성 덕분에 극한으로 표현될 수 있다.
• $n$-정육면체를 통한 코리미트의 분해는 표현된 유도자에서 고전적인 보우즈필드–칸 공식으로 특수화된다.
• 공연속 공식은 공간의 유도자($S$)와 스펙트럼의 유도자($S\text{p}$)에서 임의의 유도자로 전파되어 일반적인 타당성을 보장한다.
• 정사각형 (13.1)은 $S\text{p}$-정확할 필요충분조건으로 $D_\bZ$-정확하고, 이는 $D_k$-정확성을 암시하지만 그 역은 성립하지 않을 수 있다.
• 표현된 유도자에서는 보우즈필드–칸 공식이 공등치화 표현으로 단순화되지만, 이는 특정 포함 사상의 비호모토피 최종성 때문에 일반 유도자로 확장되지 않는다.