[논문 리뷰] Stable $\infty$-Operads and the multiplicative Yoneda lemma

Thomas Nikolaus|arXiv (Cornell University)|2016. 08. 09.

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

한 줄 요약

이 논문은 유한한 극한을 가진 ∞-오페라드로부터 스펙트럼과 교환법칙을 가진 군 대상의 안정적 ∞-오페라드를 구성하며, 이들이 코프리미티브 안정화의 관점에서 보편성을 지닌다고 증명한다. 이는 영역 임베딩이 스펙트럼으로의 정확하고 릿지 대칭 모노이드 함수사로 인해 인식된다는 것을 보이며, 스펙트럼의 항등함수는 이러한 함수사들 중에서 초우세적임을 증명함으로써 ∞-카테고리 스펙트럼의 기본 보편 성질을 확립한다.

ABSTRACT

We construct for every $\infty$-operad $\mathcal{O}^\otimes$ with certain finite limits new $\infty$-operads of spectrum objects and of commutative group objects in $\mathcal{O}$. We show that these are the universal stable resp. additive $\infty$-operads obtained from $\mathcal{O}^\otimes$. We deduce that for a stably (resp. additively) symmetric monoidal $\infty$-category $\mathcal{C}$ the Yoneda embedding factors through the $\infty$-category of exact, contravariant functors from $\mathcal{C}$ to the $\infty$-category of spectra (resp. connective spectra) and admits a certain multiplicative refinement. As an application we prove that the identity functor Sp $ o$ Sp is initial among exact, lax symmetric monoidal endofunctors of the symmetric monoidal $\infty$-category Sp of spectra with smash product.

연구 동기 및 목표

• 안정화의 보편 성질을 ∞-오페라드로 일반화하여, 루리에의 결과를 대칭 모노이드 설정으로 확장한다.
• 유한한 극한을 가진 ∞-오페라드의 코프리미티브 안정화로서 안정적 ∞-오페라드를 정의한다.
• 스펙트럼으로의 영역 임베딩이 정확하고 릿지 대칭 모노이드 함수사들을 통해 인식된다는 것을 증명한다.
• 스펙트럼의 ∞-카테고리에서 정확하고 릿지 대칭 모노이드 내부함수들 사이에서 항등함수가 초우세적임을 확립한다.
• 포인트와 덧셈 구조를 가진 ∞-오페라드로의 일반화를 통해, 교환법칙을 가진 모노이드 및 군 대상을 포함한다.

제안 방법

• ∞-오페라드의 안정성 개념을 도입하여, 안정적으로 대칭 모노이드 카테고리의 일반화를 한다.
• 유한한 극한을 가진 ∞-오페라드 C에서 스펙트럼 대상과 교환법칙을 가진 군 대상의 ∞-오페라드를 구성한다.
• Sp(C)가 C 위의 코프리미티브 안정적 ∞-오페라드로서의 보편 성질을 이용한다.
• 곱셈적 영역 보조정리를 적용하여, 안정적으로 대칭 모노이드 ∞-카테고리에서 map(1,−) 함수사가 릿지 대칭 모노이드의 구조를 가짐을 보인다.
• 함수 ∞-카테고리 위의 Day 컨볼루션 대칭 모노이드 구조를 활용하여 초우세적 함수사를 식별한다.
• E∞-대수와 릿지 대칭 모노이드 함수사 사이의 동치를 이용하여, 텐서 단위가 초우세적임을 유도한다.

실험 결과

연구 질문

• RQ1 C가 유한한 극한과 대칭 모노이드 구조를 가진 ∞-오페라드일 때, ∞-카테고리 Sp(C)가 스펙트럼 대상의 구조를 상속받는가?
• RQ2 모든 안정적 ∞-오페라드 D에 대해 Fun^Lex_lax(D, Sp(C)) → Fun^Lex_lax(D, C)가 동치인가?
• RQ3 안정적으로 대칭 모노이드 ∞-카테고리의 영역 임베딩이 정확하고 릿지 대칭 모노이드 함수사들을 통한 스펙트럼으로의 인식이 가능한가?
• RQ4 스펙트럼의 ∞-카테고리에서 정확하고 릿지 대칭 모노이드 내부함수들 사이에서 항등함수가 초우세적인가?
• RQ5 릿지 대칭 모노이드 함수사의 맥락에서 스펙트럼의 ∞-카테고리의 보편 성질은 무엇인가?

주요 결과

• 유한한 극한을 가진 ∞-오페라드 C에서의 스펙트럼 대상 ∞-카테고리 Sp(C)는 자연스러운 안정적 ∞-오페라드 구조를 상속받는다.
• 모든 안정적 ∞-오페라드 D에 대해 Fun^Lex_lax(D, Sp(C)) → Fun^Lex_lax(D, C)가 동치이며, 이는 Sp(C)가 C 위의 코프리미티브 안정적 ∞-오페라드임을 증명한다.
• 함수사 map(1,−): C^op → Sp는 자연스러운 릿지 대칭 모노이드 보완을 가지며, Fun^Lex_lax(C^op, Sp) 내에서 초우세적이다.
• 스펙트럼의 ∞-카테고리에서의 항등함수 Sp → Sp는 Sp의 정확하고 릿지 대칭 모노이드 내부함수들 사이에서 초우세적이다.
• 함수사 Ω^∞: Sp → S는 Fun_lax(Sp, S) 내에서 초우세적이며, Σ^∞_+: S → Sp는 Fun_lax(S, Sp) 내에서 초우세적이다.
• Fun(C, D) 위의 Day 컨볼루션 대칭 모노이드 구조에서 텐서 단위는 E∞-대수들 사이에서 초우세적이며, 이는 해당 함수사들의 초우세성을 암시한다.