[논문 리뷰] On Triples, Operads, and Generalized Homogeneous Functors

Randy McCarthy, Vahagn Minasian|ArXiv.org|2004. 01. 25.

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

한 줄 요약

이 논문은 코프로덕트를 가진 점이 있는 범주에서 $A$-모듈로의 함자를 위한 Goodwillie 타워의 분해 조건을 필수적이고 충분한 조건으로 설정한다. 여기서 $A$는 교환 법칙을 가진 $S$-대수이다. 이는 삼중체 $T$가 그 양자층의 곱과 자연동치일 때이고, 오직 그 때에만 그가 유도된 작도에 대한 대수임을 보이며, 유도된 도함수를 사용하여 $\bf a$-대수에서의 忘却 함수에 대한 더 온전한 분해 기준을 유도한다.

ABSTRACT

We study the splitting of the Goodwillie towers of functors in various settings. In particular, we produce splitting criteria for functors $F: \A o M_A$ from a pointed category with coproducts to $A$-modules in terms of differentials of $F$. Here $A$ is a commutative $S$-algebra. We specialize to the case when $\A$ is the category of $\a$-algebras for an operad $\a$ and $F$ is the forgetful functor, and derive milder splitting conditions in terms of the derivative of $F$. In addition, we describe how triples induce operads, and prove that, roughly speaking, a triple $T$ is naturally equivalent to the product of its Goodwillie layers if and only if it is an algebra over its induced operad.

연구 동기 및 목표

• 함수 $F: \mathcal{A} \to \mathcal{M}_A$의 Goodwillie 타워가 그 계층들의 곱으로 분해되는지 여부를 결정하는 것.
• 분해 기준을 통해 호크시하우-코스타ント-로젠버그 정리를 위상적 환경으로 일반화하는 것.
• 삼중체가 그 양자층의 곱과 자연동치일 조건을 그가 유도한 작도에 대한 대수임으로써 특성화하는 것.
• 함수 $F$의 도함수를 사용하여 $\bf a$-대수에서 $A$-모듈로의 忘却 함수에 대한 분해 조건을 도출하는 것.
• 셀 $\bf a$-대수가 확장된 셀 $A$-모듈로 동치임을 증명하여 텐서 거듭제곱의 호모토피적 제어를 가능하게 하는 것.

제안 방법

• Goodwillie 미적분을 사용하여 $P_nF$가 $n$-번째 타일러 다항식인 $D_nF$를 계층으로 분해한다. 여기서 $D_nF$는 $P_nF \to P_{n-1}F$의 필러이다.
• 일반화된 동차 함수의 개념을 적용하여 타일러 타워의 분해를 형식화한다. 이는 $n$-동차 함수들의 곱과 동치이다.
• 함수 $F(X) \to D_1F(X)$의 도함수 맵을 도입하고, 방향 도함수를 일반화하여 다양한 방향에서의 함수 행동을 연구한다.
• 셀 $\bf a$-대수가 확장된 셀 $A$-모듈로 동치임을 보이기 위해 단순형 해상 $\beta_\ast(T_{\bf a}CE, T_{\bf a}E, M_{i-1})$을 구성한다.
• 귀납법을 사용하여 반복 자유 대수 $T_{\bf a}^kC$가 $(P \wedge C^{\wedge l})_H$ 형태의 대상들의 합으로 분해됨을 보이며, 여기서 $H < \Sigma_l$이며 대칭군 작용을 활용한다.
• 대칭 모노이드 구조와 호모토피 코일리미트의 성질을 적용하여 $T_{\bf a}^kC$가 확장된 셀 $A$-모듈들의 합임을 증명한다.

실험 결과

연구 질문

• RQ1 함수 $F: \mathcal{A} \to \mathcal{M}_A$의 Goodwillie 타워가 그 계층 $D_nF$의 곱으로 분해되는 조건은 무엇인가?
• RQ2 삼중체 $T$가 그 양자층의 곱과 자연동치일 때, 그리고 이는 그가 유도된 작도에 대한 대수임과 어떻게 관련되는가?
• RQ3 $\bf a$-대수에서의 忘却 함수에 대한 분해 기준은 $F$의 도함수로 어떻게 표현될 수 있는가?
• RQ4 셀 $\bf a$-대수는 어떤 호모토피적 성질을 가지며, 확장된 셀 $A$-모듈과 어떻게 관련되는가?
• RQ5 $T_{\bf a}^kC$의 구조는 대칭군 작용 하에서 어떻게 분해되며, 이는 Goodwillie 타워에 어떤 함의를 갖는가?

주요 결과

• 함수 $F$가 일반화된 동차일 때이고, 오직 그 때에만 그의 Goodwillie 타워가 분해되며, 이는 $P_\infty F \simeq \prod_n D_nF$로 표현되며, 포스트니코프 체계의 개념을 일반화한다.
• 삼중체 $T$가 그 양자층의 곱과 자연동치일 때이고, 오직 그 때에만 그가 유도된 작도에 대한 대수임을 보였다.
• 忘却 함수 $U_{\bf a}: \mathcal{C}_{\bf a} \to \mathcal{M}_A$에 대해 분해 기준은 도함수 $D_1U_{\bf a}$로부터 도출되며, $\bf a$가 단순형 집합에서의 작도일 경우 더 온전한 조건이 적용된다.
• 셀 $\bf a$-대수가 단순형 해상으로 인해 확장된 셀 $A$-모듈로 동치임을 보였으며, 이는 텐서 거듭제곱의 호모토피적 제어를 가능하게 한다.
• 반복 자유 대수 $T_{\bf a}^kC$는 $(P \wedge C^{\wedge l})_H$ 형태의 대상들의 합으로 분해되며, 여기서 $H < \Sigma_l$이므로 $T_{\bf a}^kC$는 확장된 셀 $A$-모듈임을 증명한다.
• $(P \wedge C^{\wedge l})_H$ 형태의 합성으로의 분해는 대칭군 작용과 스매시 프로덕트의 구조를 이용하여 귀납적으로 확립된다.