[논문 리뷰] Day convolution for infinity-categories

Saul Glasman|arXiv (Cornell University)|2013. 08. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 2인용 수 13

한 줄 요약

이 논문은 대칭 단순화된 ∞-범주에 대해 데이의 콘볼루션 곱셈의 ∞-범주적 유사체를 구성하며, D가 합을 갖는 조건에서 Fun(C,D)의 함자 범주에 대칭 단순화된 구조를 정의한다. 핵심 결과는 이 콘볼루션 곱셈에 대한 E∞-대수들이 정확히 C에서 D로의 릿지 대칭 단순화 함자들과 일치한다는 것이다. 이는 고전적 데이 콘볼루션을 ∞-범주적 맥락으로 일반화한 것이다.

ABSTRACT

Given symmetric monoidal infinity-categories C and D, subject to mild hypotheses on D, we define an infinity-categorical analog of the Day convolution symmetric monoidal structure on the functor category Fun(C, D). An E_infinity monoid for the Day convolution product is a lax monoidal functor from C to D.

연구 동기 및 목표

• ∞-범주 맥락에서 데이의 콘볼루션 곱셈의 고차 범주적 유사체를 개발하는 것.
• 데이 콘볼루션 곱셈에 대한 E∞-대수가 C에서 D로의 릿지 대칭 단순화 함자들과 정확히 일치함을 확립하는 것.
• 데이 콘볼루션 범주로의 대칭 단순화된 요네다 임bedding을 구성하고, 루리의 구성과의 일致성을 검증하는 것.
• 높은 차수의 범주적 매크리 함자와 K-이론의 기초 문제를 해결하기 위해 함자 범주에 강력한 단순화된 구조를 제공하는 것.

제안 방법

• 유한한 점이 있는 집합의 범주 F를 ∞-범주에서의 대칭 단순화된 구조를 모델링하는 데 사용한다.
• K:K→F에 沿한 당김을 사용하여, F 위에서의 유일성 성질을 통해 ∞-범주 Fun(C,D)⊗를 정의한다.
• C의 단순화된 곱셈에 沿한 왼쪽 칸 확장으로 데이 콘볼루션 곱셈을 구성하며, D의 합을 사용한다.
• 결과로 얻어진 구조가 F 위에서 국소적으로 코카르티esian 피브레이션임을 증명하여, 대칭 단순화된 ∞-범주임을 보장한다.
• ∞-범주적 맥락에서 요네다 보조정리를 적용하기 위해, 대칭 단순화된 함자 Y⊗:C⊗→Fun(Cop,Top)⊗를 구성한다.
• 호모토피 당김과 칸 확장 기법을 통해 합의 호환성을 검증함으로써, 요네다 함자가 대칭 단순화된 구조를 유지함을 확인한다.

실험 결과

연구 질문

• RQ1 데이의 고전적 콘볼루션 곱셈은 어떻게 ∞-범주 맥락으로 일반화될 수 있는가?
• RQ2 데이 콘볼루션 범주 Fun(C,D)⊗에서 E∞-대수의 정확한 특성은 무엇인가?
• RQ3 대칭 단순화된 ∞-범주에 대한 요네다 임bedding은 데이 콘볼루션 범주로 대칭 단순화된 함자로 확장될 수 있는가?
• RQ4 이 구성은 ∞-범주 맥락에서 루리의 요네다 임bedding과 어떻게 관련이 있는가?
• RQ5 이 틀은 높은 차수의 범주적 매크리 함자와 곱셈 K-이론의 구조를 모델링하는 데 사용될 수 있는가?

주요 결과

• D가 모든 합을 갖는 조건에서, Fun(C,D)에서의 데이 콘볼루션 곱셈은 곱셈 함자 F×G를 ⊗C에 따라 왼쪽 칸 확장함으로써 정의된다.
• 데이 콘볼루션 곱셈에 대한 E∞-대수는 ∞-오페라드를 통해 정의된 C에서 D로의 릿지 대칭 단순화 함자와 동치이다.
• 요네다 임bedding Y⊗:C⊗→Fun(Cop,Top)⊗는 대칭 단순화된 함자이며, 그 상은 Fun(Cop,Top)에서의 데이 콘볼루션 구조 안에 포함된다.
• 이 구성은 [Lur12, 보조정리 6.3.1.12]에서 루리의 요네다 임bedding과 일致함을 확인하여 기존 이론과의 일致성을 입증한다.
• Fun(C,D)⊗에 대한 대칭 단순화된 구조는 코카르티esian 피브레이션과 합 보존성과 호환되며, 고차 범주적 맥락에서의 일관성을 보장한다.
• 증명은 호모토피 당김과 칸 확장 기법을 통해 유도된 사상이 매핑 공간에서 약한 동치임을 검증하는 데 의존한다.