[논문 리뷰] Regular polygraphs and the Simpson conjecture

Simon Henry|arXiv (Cornell University)|2018. 07. 07.

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

한 줄 요약

이 논문은 다각형 구조와 모델 범주를 사용하여 비단위 ∞-범주에 대한 두 가지 개념—일반적이고 정규적인 것—을 도입함으로써 ∞-군화에서 카를로스 시몬슨의 반엄격화 추측의 정규적 형태를 증명한다. 정규 다각형과 공간 사이의 퀼렌 동치를 확립하여, 결과 모델 구조에서 피브라ント 대상이 약한 단위와 약한 역원을 갖는다는 것을 보이며, 이는 양성 다각형과 새로운 δ-세기 함수를 기반으로 한 정교한 조합론적 프레임워크를 통해 정규 케이스에서 추측을 확인한다.

ABSTRACT

We prove Carlos Simpson's "semi-strictification" (or "weak unit") conjecture in the case of infinity-groupoids. More precisely, we introduce two precise versions of the conjecture, the "general" and the "regular" conjecture, involving two different notions of "non-unital categories". The "general" version involve infinity-categories where absolutely all composition operations (horizontal, vertical and whiskering) are defined and compatible, the "regular" version involve infinity-categories where all the composition operations corresponding to "regular" pasting diagram are defined and compatible. In both case we construct (weak) model structures on these categories such that fibrant objects have weak units and weak inverse. We prove the regular version of the conjecture using the original strategy of Kapranov and Voevodsky, together with our previous work on polygraphs. The general version cannot be proved by these methods and is still open. In order to do this we also study some subtle property of the combinatorics of polygraphs, and we construct a new counting function for polygraphs, inspired by previous work of Makkai.

연구 동기 및 목표

• 비단위 ∞-범주에 대한 일반적이고 정규적인 형태의 구분을 통해 ∞-군화의 카를로스 시몬슨의 반엄격화 추측을 해결한다.
• 피브라운트 대상이 약한 단위와 약한 역원을 갖는 비단위 ∞-범주 카테고리에 약한 모델 구조를 구성한다.
• 일반화된 붙임 다이어그램(양성 다각형)에서의 수축성 실패를 정규 다각형 기반의 정교한 조합론적 프레임워크로 극복한다.
• 양성 다각형과 새로운 δ-세기 함수를 사용하여 원래의 카프란프-보예보드스키 전략의 정밀하고 구현 가능한 형태를 제공한다.

제안 방법

• 다각형과 펙스 기반 조합론을 사용하여 모든 합성 연산을 포함하는 일반적 형태와 '정규적' 붙임 다이어그램으로 제한된 형태의 비단위 ∞-범주에 대해 두 가지 별개의 개념을 도입한다.
• 마카이의 영감을 얻어 다이어그램의 복잡도를 분석하고 모델 구조 구성에 기여하는 다각형을 위한 새로운 세기 함수 δ를 개발한다.
• 정규 다각형과 ∞-범주에 대해 약한 모델 구조를 구성하며, 피브라운트 대상이 약한 단위 및 약한 역원 조건을 만족함을 보장한다.
• 정규 다각형의 카테고리와 위상 공간의 카테고리 사이의 퀄렌 동치를 확립하여 이 맥락에서 호모토피 가설을 증명한다.
• ∞-범주적 곱을 모델링하기 위해 표식/계층화된 정규 다각형에 대해 그레이 텐서 곱을 확장하여 일반 ∞-범주적 추측으로 향하는 잠재적 길을 열어 놓는다.
• 표식 세포가 동치를 나타내는 표식/계층화된 ∞-범주 프레임워크를 제안하며, 확장된 그레이 텐서 곱과 호환되는 생성 애니드라 맵을 정의한다.

실험 결과

연구 질문

• RQ1 더 강력한 붙임 다이어그램의 개념을 사용하여 원래의 카프란프-보예보드스키 전략이 호모토피 가설을 증명하는 데 복活될 수 있는가?
• RQ2 엄격한 합성을 허용하면서도 약한 단위와 역원을 허용하는 비단위 ∞-범주에 적합한 조합론적 프레임워크는 무엇인가?
• RQ3 정규 다각형에 대해 모델 구조를 구성할 수 있는가? 이때 피브라운트 대상이 약한 단위와 약한 역원을 갖는다.
• RQ4 양성 다각형(일반화된 붙임 다이어그램)에서의 수축성 실패는 정교한 세기 함수 δ와 적절한 모델 구조를 통해 극복될 수 있는가?
• RQ5 특히 표식 또는 계층화된 다각형적 구조를 통해 정규 시몬슨 추측을 전체 ∞-범주적 맥락으로 확장할 수 있는 길이 존재하는가?

주요 결과

• 정규적 시몬슨 추측이 증명됨: 정규 다각형의 카테고리와 위상 공간의 카테고리 사이에 퀄렌 동치가 존재한다.
• 정규 다각형을 위한 새로운 δ-세기 함수가 구성되었으며, 이는 붙임 다이어그램의 복잡도를 캡처하고 모델 구조를 지원한다.
• 정규 다각형에 대한 모델 구조는 피브라운트 대상이 약한 단위와 약한 역원을 갖는다는 것을 보장하여 추측의 핵심 요구 조건을 충족시킨다.
• 일반적 형태의 추측은 아직 열려 있으며, 양성 다각형에 대한 필요한 기하적 실현 함의가 아직 수축성을 유지한다는 것이 입증되지 않았기 때문이다.
• 표식/계층화된 정규 다각형에 대한 프레임워크가 제안되었으며, 의사-그레이 텐서 곱과 생성 애니드라 맵을 통해 결과를 ∞-범주적 맥락으로 확장할 잠재력이 있다.