[논문 리뷰] On the PROP corresponding to bialgebras

Teimuraz Pirashvili|ArXiv.org|2001. 10. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 69

한 줄 요약

이 논문은 유한 집합과 결합 법칙을 가진 작도 구조의 이중 범주 위에서 Quillen의 $Q$-구성법을 적용하여 PROP $\mathcal{Q}\mathcal{F}(\mathsf{as})$를 구성하며, 그 알제브라가 정확히 양대수(양대수: 결합 법칙을 가진 대수와 코결합 법칙을 가진 코대수로, 곱과 코곱이 호환되는 대수)임을 증명한다. 핵심 결과는 텐서 거듭제곱 위에서 순열 작용을 통해 반복된 Adams 작용의 자연 변환 법칙을 설정한다.

ABSTRACT

A PROP is a symmetric monoidal category, whose set of objects is the set of natural numbers and on objects the monoidal structure is given by the addition. An algebra over a PROP is a symmetric strict monoidal functor to the tensor category of vector spaces. We give an explicite construction of the PROP whose category of algebras is equivalent to the category of bialgebras (= associative and coassociative bialgebras).

연구 동기 및 목표

• 양대수의 PROP에 대한 구체적이고 명시적인 구성법을 제공하여 기존의 생성자와 관계로 표현된 추상적 서술을 보완한다.
• 특히 결합 법칙 작도 $\mathsf{as}$에 대해, $Q$-구성법을 이중 범주에서 작도적 구조로 일반화한다.
• 구성된 PROP $\mathcal{Q}\mathcal{F}(\mathsf{as})$의 알제브라가 정확히 체 $k$ 위의 양대수임을 증명한다.
• 순열 대칭성과 텐서 연산을 이용하여 양대수 위에서 반복된 Adams 작용의 합성 법칙을 기초적인 공식으로 유도한다.

제안 방법

• 유한 집합과 결합 법칙 작도 자료로 풍부화된 이중 범주에 Quillen의 $Q$-구성법을 적용한다.
• 범주 $\mathcal{F}(\mathsf{as})$를 다음과 같이 정의한다: 사상 $(f, \omega^f)$로, $f: \underline{n} \to \underline{m}$은 집합 사상이고 $\omega^f \in \prod_{i=1}^m \mathsf{as}(|f^{-1}(i)|)$이다.
• 객체가 집합인 이중 범주 $\mathcal{F}(\mathsf{as})_2$를 구성한다. 수평 사상은 집합 함수이며, 수직 사상은 $\mathcal{F}(\mathsf{as})$의 사상이고, 이중 사상은 호환성 있는 작도 자료를 가진 당김 도형으로 주어진다.
• 이중 범주 $\mathcal{F}(\mathsf{as})_2$에 $Q$-구성법을 적용하여 PROP $\mathcal{Q}\mathcal{F}(\mathsf{as})$를 얻으며, 그 알제브라가 양대수임을 보인다.
• 양대수 $H$에 대해 $\Psi^{(n,\sigma)}: H \to H$로 정의되는 자연 변환을 $\mu^n \circ \sigma_* \circ \Delta^n$으로 정의하여, 대칭군 $S_n$이 $H$의 $n$중 텐서 거듭제곱 위에 작용하는 방식을 기록한다.
• 이중 범주 $Q$-구성법의 구조와 $\Phi: S_n \times S_m \to S_{nm}$의 사상 구조를 이용하여 합성 법칙 $\Psi^{(n,\sigma)} \circ \Psi^{(m,\tau)} = \Psi^{(nm, \Phi(\sigma, \tau))}$를 도출한다.

실험 결과

연구 질문

• RQ1 생성자와 관계로만 표현된 서술 외에, 양대수의 알제브라를 가지는 PROP의 명시적이고 구체적인 서술은 무엇인가?
• RQ2 Quillen의 $Q$-구성법은 어떻게 작도에서 유래된 이중 범주, 특히 결합 법칙 작도에 대해 일반화될 수 있는가?
• RQ3 양대수 위에서의 자연 변환 $\Psi^{(n,\sigma)}$는 체계적으로 기술되고 합성될 수 있는가?
• RQ4 반복된 Adams 작용의 합성에 대한 대수적 법칙은 무엇인가?

주요 결과

• 유한 집합과 결합 법칙 작도 자료로 이루어진 이중 범주 위에서 Quillen의 $Q$-구성법을 적용하여 구성된 PROP $\mathcal{Q}\mathcal{F}(\mathsf{as})$의 알제브라들은 체 $k$ 위의 양대수와 정확히 동형이다.
• 양대수 $H$의 $n$중 텐서 거듭제곱 위에서 대칭군 $S_n$의 작용을 기록하는 자연 변환 $\Psi^{(n,\sigma)}: H \to H$는 $\mu^n \circ \sigma_* \circ \Delta^n$로 정의된다.
• 이러한 변환의 합성은 $\Psi^{(n,\sigma)} \circ \Psi^{(m,\tau)} = \Psi^{(nm, \Phi(\sigma, \tau))}$를 만족하며, 여기서 $\Phi: S_n \times S_m \to S_{nm}$는 논문에서 구성된 표준적 사상이다.
• 만약 $\sigma$가 항등원이라면 $\Psi^{(n,\text{id})}$는 $n$번째 Adams 작용으로 줄어들며, 이 합성 법칙은 기존의 Adams 작용 합성 법칙을 일반화한다.
• $\mathcal{Q}\mathcal{F}(\mathsf{as})$-알제브라의 범주는 자유 $\mathsf{as}$-알제브라의 범주와 동치임을 확인하여 구성의 정확성을 입증한다.
• 이 구성은 임의의 집합 작도 $\mathcal{P}$로 일반화 가능하며, $\mathcal{F}(\mathcal{P})_2$에 대한 표준적 $Q$-구성법을 얻으며, 그 범주는 $\mathsf{Free}(\mathcal{P})$와 동치이다.