[논문 리뷰] Simplicial spaces, lax algebras and the 2-Segal condition

Mark D Penney|arXiv (Cornell University)|2017. 10. 07.

Algebraic structures and combinatorial models참고 문헌 19인용 수 7

한 줄 요약

이 논문은 유한 단순체의 ∞-카테고리에서 표준 1-단순체 Δ[1]가 이원스팬의 (∞,2)-카테고리에서 립스 대수의 구조를 지닌다는 것을 증명하며, 단순체 대상에 대한 2-세갈 조건은 이 립스 대수의 결합법칙과 동치임을 보인다. 그 결과로, 어떤 2-세갈 대상의 1-단순체는 립스 대수의 구조를 유일하게 갖게 되고, 2-세갈 조건은 이 구조가 진정한 대수 대상이 되도록 보장한다.

ABSTRACT

Dyckerhoff--Kapranov and Gálvez-Carrillo--Kock--Tonks independently introduced the notion of a $2$-Segal space, that is, a simplicial space satisfying $2$-dimensional analogues of the Segal conditions, as a unifying framework for understanding the numerous Hall algebra-like constructions appearing in algebraic geometry, representation theory and combinatorics. In particular, they showed that every $2$-Segal object defines an algebra object in the $\infty$-category of spans. In this paper we show that this algebra structure is inherited from the initial simplicial object $Δ[\bullet]$. Namely, we show that the standard $1$-simplex $Δ[1]$ carries a lax algebra structure. As a formal consequence the space of $1$-simplices of a simplicial space is also a lax algebra. We further show that the $2$-Segal conditions are equivalent to the associativity of this lax algebra.

연구 동기 및 목표

• 2-세갈 공간이 담고 있는 대수적 구조의 카테고리적 기원을 이원스팬의 (∞,2)-카테고리에서의 립스 대수의 관점에서 명확히 하기.
• 유한 극한을 가진 ∞-카테고리에서 표준 단순체 대상 Δ[•]가 그 1-단순체에 립스 대수의 구조를 유도함을 보여주기.
• 2-세갈 조건이 이 립스 대수의 구조의 결합법칙과 동치임을 확립하기.
• 모든 유한 극한을 가진 ∞-카테고리에서 유효한, 모델에 종속되지 않은 일반적인 방법으로 2-세갈 대상에 대응하는 스파나의 대수 대상을 구성하기.
• 향후 연구에서 2-세갈 공간을 이용한 고차원 카테고리적 이중대수의 구축을 위한 기초를 다지기.

제안 방법

• 대칭 모노이드 (∞,2)-카테고리에서의 립스 대수를, unstraightening 구성에 의한 대칭 모노이드 립스 함자들을 통해 정의한다.
• 유한 단순체의 반대권 (Fin_Δ)^op에서의 이원스팬 (∞,2)-카테고리를 구성하며, 이 카테고리가 반직선적(세미스트랙트)이면서 립스 대수의 구조를 표현하는 데 적합함을 보인다.
• 표준 1-단순체 Δ[1]에 ∞-카테고리에서의 스파나에서의 곱 μ를 부여하여, 비가역적인 결합법칙 2-준말을 지닌 립스 대수로 만든다.
• 우측 칸 확장(right Kan extension)을 이용해, 유한 극한을 가진 ∞-카테고리 내의 임의의 단순체 대상 X_•에 대해 Δ[1]의 립스 대수의 구조를 확장한다.
• 단순체 집합에서의 피쇼우트(보편) 조건을 이용해, X_•에 대한 2-세갈 조건이 X_1에서 유도된 립스 대수의 결합법칙과 동치임을 증명한다.
• 스핀 모서리에 沿한 반복 피쇼우트를 통해, 자연 변환 α(p₂)∐α(X₁)α(p₁) → α(p₂p₁) 가 X_•에 의해 등가 사상으로 보냄을 보여, 동치성을 검증한다.

실험 결과

연구 질문

• RQ1 2-세갈 대상에 대응하는 스파나의 ∞-카테고리에서 유도되는 대수적 구조는 카테고리적으로 어떻게 기인하는가?
• RQ2 초기 단순체 대상 Δ[•]는 2-세갈 공간의 대수적 구조를 생성하는 데 어떤 역할을 하는가?
• RQ3 2-세갈 조건는 립스 대수의 구조에 대한 일관성 조건으로 특징지을 수 있는가?
• RQ4 2-세갈 대상의 1-단순체에 대한 립스 대수의 구조는 모든 유한 극한을 가진 ∞-카테고리에서 정규적이고 함자적일 수 있는가?
• RQ5 unstraightening 구성은 (∞,2)-카테고리적 맥락에서 립스 함자와 립스 대수의 정의를 어떻게 지원하는가?

주요 결과

• 표준 1-단순체 Δ[1]은 (Fin_Δ)^op에서의 이원스팬 (∞,2)-카테고리에서 자연스러운 립스 대수의 구조를 지닌다.
• 단순체 대상 X_•에 대한 2-세갈 조건은 X_1에서의 립스 대수의 구조의 결합법칙과 동치이다.
• X_1에서의 립스 대수의 구조는 X: (Fin_Δ)^op → C 에 의한 오른쪽 칸 확장에 의해 Δ[1]에서 자연스럽게 유도된다.
• 이 구성은 2-세갈 대상으로부터 ∞-스파나의 대수 대상을 생성하는 보편적이고 모델에 종속되지 않은 메커니즘을 제공한다.
• 증명은 자연 변환 α(p₂)∐α(X₁)α(p₁) → α(p₂p₁) 가 X_•에 의해 등가 사상으로 보냄을 보여, 스파인 모서리에 沿한 반복 피쇼우트를 통해 이루어진다.
• 이 결과는 Dyckerhoff–Kapranov 및 Gálvez-Carrillo–Kock–Tonks의 이전 작업을 일반화하며, 모든 유한 극한을 가진 ∞-카테고리의 최대 일반성에서 작동한다.