[논문 리뷰] On the Goodwillie derivatives of the identity in structured ring spectra

Duncan A. Clark|arXiv (Cornell University)|2020. 04. 06.

Homotopy and Cohomology in Algebraic Topology참고 문헌 44인용 수 5

한 줄 요약

이 논문은 스펙트럼에서의 감소된 운영자 𝒪에 대한 대수의 범주에서 항등 함자의 굿윌리 도수에 대해 매우 호모토피 일관된 운영자 구조를 구성한다. 이 도수들은 매우 호모토피 일관된 운영자로서 𝒪 자체와 약한 동치임을 증명하며, 아론과 창이 제기한 추측을 해결한다. 이 구성은 부스필드-칸 코심플리셜 해상법과 강한 카르테시안성 추정치를 사용하여 도수를 코심플리셜 다이어그램의 총합화와 연결한다.

ABSTRACT

The aim of this paper is three-fold: (i) we construct a naturally occurring highly homotopy coherent operad structure on the derivatives of the identity functor on structured ring spectra which can be described as algebras over an operad $\mathcal{O}$ in spectra, (ii) we prove that every connected $\mathcal{O}$-algebra has a naturally occurring left action of the derivatives of the identity, and (iii) we show that there is a naturally occurring weak equivalence of highly homotopy coherent operads between the derivatives of the identity on $\mathcal{O}$-algebras and the operad $\mathcal{O}$. Along the way, we introduce the notion of $\mathbf{N}$-colored operads with levels which -- by construction -- provides a precise algebraic framework for working with and comparing highly homotopy coherent operads, operads, and their algebras.

연구 동기 및 목표

• 𝒪-대수의 범주에서 항등 함자의 굿윌리 도수에 자연스럽고 매우 호모토피 일관된 운영자 구조를 구성하는 것.
• 모든 연결된 𝒪-대수가 이러한 도수에 대해 자연스러운 왼쪽 작용을 갖는다는 것을 보이는 것.
• 항등 함자의 도수와 원래 운영자 𝒪 사이에 매우 호모토피 일관된 운영자로서의 약한 동치를 확립하는 것.
• 수준을 가진 N-색상 운영자들을 도입하여 호모토피 일관된 운영자와 그 대수들 간의 비교를 위한 프레임워크를 제공하는 것.

제안 방법

• 𝒪-대수의 안정화 수반 관계 (Q, U)를 통해 항등 함자를 부스필드-칸 코심플리셜 해상법으로 대체하는 것.
• 블로미퀘스트와 창-하퍼의 강한 카르테시안성 추정치를 사용하여 도수를 코심플리셜 다이어그램의 호모토피 극한으로 표현하는 것.
• 도수를 모델링하는 총합화를 갖는 대칭 수열의 코심플리셜 다이어그램을 구성하는 것.
• 𝒪에서 구성된 코심플리셜 운영자의 총합화를 통해 매우 호모토피 일관된 운영자 구조를 정의하는 것.
• 코심플리셜 다이어그램의 총합화가 𝒪와 약한 동치임을 징검다리 약한 동치를 통해 증명하는 것.
• 수준을 가진 N-색상 운영자들을 도입하여 호모토피 일관된 운영자, 운영자, 그리고 그 대수들 간의 정확한 비교를 형식화하는 것.

실험 결과

연구 질문

• RQ1 𝒪-대수에서 항등 함자의 굿윌리 도수에 자연스럽고 매우 호모토피 일관된 운영자 구조를 부여할 수 있는가?
• RQ2 항등 함자의 도수와 원래 운영자 𝒪 사이에 매우 호모토피 일관된 운영자로서의 약한 동치가 존재하는가?
• RQ3 항등 함자의 도수에 대해 연결된 𝒪-대수에 대해 어떻게 왼쪽 작용을 정의할 수 있는가?
• RQ4 정확한 비교를 가능하게 하는 대수적 프레임워크는 무엇인가?
• RQ5 0-연결된 𝒪-대수의 TQ-완비화는 항등 함자의 도수에 대한 대수로 기술될 수 있는가?

주요 결과

• 𝒪-대수에서 항등 함자의 도수에 자연스럽고 매우 호모토피 일관된 운영자 구조가 존재한다.
• 모든 연결된 𝒪-대수에 대해 도수에 대한 자연스러운 왼쪽 작용이 존재한다.
• 항등 함자의 도수와 원래 운영자 𝒪 사이에 매우 호모토피 일관된 운영자로서의 약한 동치가 존재한다.
• 이 동치는 운영자 𝒪와 그 해상법으로 구성된 코심플리셜 다이어그램의 총합화를 통해 확립된다.
• 모든 0-연결된 𝒪-대수의 TQ-완비화는 도수에 대한 대수와 약한 동치이다.
• 수준을 가진 N-색상 운영자 프레임워크는 호모토피 일관된 구조와 그 대수들 간의 정확한 대조를 위한 명확한 대수적 환경을 제공한다.