[논문 리뷰] Cofree coalgebras over operads and representative functions

Matthieu Anel|arXiv (Cornell University)|2014. 09. 16.

Advanced Topics in Algebra참고 문헌 5인용 수 4

한 줄 요약

이 논문은 집합, 위상공간, 또는 dg-벡터 공간과 같은 범주에서 색이 있는 작도 $P$에 대해 코프리미티브 코알제브라 $P^\vee(C)$의 재귀적 구성법을 제공하며, 이가 린스 코모나드 $P^\wedge$의 코레플렉션임을 증명한다. 주요 결과는 $\mathcal{V} = \mathsf{dg}\mathsf{Vect}$일 때 재귀가 첫 번째 단계에서 멈추며, $P^\vee(C)$가 완비된 $P$-알제브라 $P^\wedge(C)$ 안의 표현 함수의 부분대상임을 규명함으로써 이전의 구성법을 단순화한다.

ABSTRACT

We give a recursive formula to compute the cofree coalgebra P^\vee(C) over any colored operad P in Set, CGHaus or (dg)Vect. The construction is closed to that of Smith but different. We use a more conceptual approach to simplify the proofs that P^\vee is the cofree P-coalgebra functor and also the comonad generating P-coalgebras. In a second part, when P is a linear or dg-operad over a field, we generalize the notion of representative functions of Block & Leroux and prove that P^\vee(C) is simply the subobject of representative elements in the "completed P-algebra" P^\wedge(C). This says that our recursion (as well as that of Smith) stops at the first step.

연구 동기 및 목표

• 대칭 모나드 범주 $\mathcal{V}$, 즉 $\mathsf{Set}$, $\mathsf{CGHaus}$, $\mathsf{dg}\mathsf{Vect}$ 등을 포함하여, 어떤 색이 있는 작도 $P$에 대해 코프리미티브 $P$-코알제브라 함수 $P^\vee$의 개념적이고 재귀적인 구성법을 제공하는 것.
• $P^\vee$가 코모나드임을 증명하고, 그 코알제브라가 정확히 $P$-코알제브라와 일치함을 보이며, 코모나드성 정리에 의존하지 않는 것.
• $\mathsf{dg}\mathsf{Vect}$에서 Block-Leroux의 표현 함수 개념을 작도로 일반화하여, $P^\vee(C)$를 완비된 $P$-알제브라 $P^\wedge(C)$ 안의 표현 원소의 부분대상으로 식별하는 것.
• $\mathsf{dg}\mathsf{Vect}$에서 $P^\vee$의 재귀적 구성법이 첫 번째 단계에서 멈추며, 이는 Smith의 접근법과 같은 이전 방법들을 단순화하는 것.

제안 방법

• $P^\vee$의 구성은 재귀적 타워 $Q_n(C)$를 통해 이루어지며, $Q_1(C)$는 $P^\wedge(C) \times_{P^\wedge_2(C)} (P^\wedge)^2(C)$로 정의되며, 단순형 다이어그램의 극한을 이룬다.
• 린스 코모나드 구조인 $P^\wedge$를 활용하며, 자연 변환 $\alpha: P^\wedge_n P^\wedge_m \to P^\wedge_{n+m}$를 사용하고, $P^\vee$가 코모나드 범주로의 $P^\wedge$의 코레플렉션임을 보인다.
• $Q_1(C)$에 대한 코알제브라 구조는 자연 변환과 단사 사상으로 정의되며, 단순형 $P^\wedge_n$의 구조를 포함하는 교환 다이어그램을 통해 코결합성과 코단위가 검증된다.
• $\mathcal{V} = \mathsf{dg}\mathsf{Vect}$인 경우, 표현 함수의 개념을 일반화한다: $P^\vee(C)$의 원소는 $P^\wedge(C)$에 속해 있으며, 그 대각선 사상 $\delta: x \mapsto \sum x_i' \otimes x_i''$ 가 유한한 텐서곱의 합을 통해 인수분해되는 원소들이다.
• 재귀가 첫 번째 단계에서 멈추는 증명은 $Q_1(C)$가 이미 $P$-코알제브라이므로, 사상 $Q_1(C) \to P^\wedge Q_1(C)$ 가 $Q_\infty Q_1(C)$로 올라가며, $Q_2(C) \to Q_1(C)$의 단사성에 의해 $Q_1 = Q_2$임을 유도한다.
• 구성은 린스 코모나드 $P^\wedge$가 코모나드 범주로의 코레플렉션을 갖는다는 사실에 의존하며, 이는 $\mathcal{V}$에 대해 약간의 조건을 만족할 경우 존재함을 보여주며, $\mathsf{dg}\mathsf{Vect}$에서 이 조건이 성립한다.

실험 결과

연구 질문

• RQ1 코모나드성 정리에 의존하지 않고, 코프리미티브 $P$-코알제브라 함수 $P^\vee$에 대해 재귀적이고 개념적인 구성법을 제공할 수 있는가?
• RQ2 린스 코모나드 $P^\wedge$ (정의: $P^\wedge(C) = \prod_n [P(n), C^{\otimes n}]$) 는 코모나드 범주로 코레플렉티브인가? 만약 그렇다면, 그로 얻어지는 코모나드는 무엇인가?
• RQ3 $\mathsf{dg}\mathsf{Vect}$에서 작도에 대해 $P^\vee$의 재귀적 구성법이 첫 번째 단계에서 멈추는가? 이는 $P^\vee(C)$가 단지 $P^\wedge(C) \times_{P^\wedge_2(C)} (P^\wedge)^2(C)$로 주어지는 피보트 제품임을 의미하는가?
• RQ4 결합 대수에서의 표현 함수 개념을 작도로 일반화할 수 있는가? 이 경우 $P^\vee(C)$는 $P^\wedge(C)$의 부분대상으로서, 그 대각선 분해가 유한한 원소들로 이루어진다.
• RQ5 이 피보트 제품을 통한 $P^\vee$의 구성은 코프리미티브 $P$-코알제브라와 일치하는가? 그리고 이는 dg-벡터 공간의 경우 Smith의 구성과 동치인가?

주요 결과

• 코프리미티브 $P$-코알제브라 함수 $P^\vee$는 린스 코모나드 $P^\wedge$의 코레플렉션으로 구성되며, 이는 코모나드성 정리에 의존하지 않고도 $P^\vee$-코알제브라가 정확히 $P$-코알제브라임을 증명한다.
• $\mathsf{dg}\mathsf{Vect}$에서 $P^\vee$의 재귀적 구성법은 $n=1$에서 안정화되며, 즉 $Q_1(C) = Q_\infty(C)$이므로, 코프리미티브 코알제브라는 한 번의 단계로 얻어진다.
• $\mathsf{dg}\mathsf{Vect}$에서 $P^\vee(C)$는 $P^\wedge(C)$의 부분대상으로서 표현 원소들—즉, 대각선 사상 $\delta: x \mapsto \sum x_i' \otimes x_i''$ 가 유한한 텐서곱의 합을 통해 인수분해되는 원소들—로 식별된다.
• $P^\wedge(C) \times_{P^\wedge_2(C)} (P^\wedge)^2(C)$로 이루어진 $P^\vee$의 구성은 Smith의 구성과 동치이지만, 본 논문은 $\mathsf{dg}\mathsf{Vect}$에서는 이러한 재귀가 불필요하다는 것을 보여준다.
• $Q_1(C)$에 대한 코알제브라 구조는 자연스럽고 코결합성이 있으며, $P^\wedge_n$의 단순형 구조를 포함하는 교환 다이어그램을 통해 검증되며, 코결합성은 단순형 항등식으로 귀결된다.
• 증명은 $Q_1(C)$가 이미 $P$-코알제브라이므로, 사상 $Q_1(C) \to Q_\infty Q_1(C)$ 가 $Q_2(C)$로 올라간다는 사실에 기반하며, $Q_2(C) \to Q_1(C)$의 단사성에 의해 $Q_1 = Q_2$임을 유도한다. 이는 정지함을 의미한다.