[논문 리뷰] Note on Frobenius monoidal functors

Brian Day, Craig Pastro|arXiv (Cornell University)|2008. 01. 27.

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

한 줄 요약

이 논문은 단순히 모나드적이고 코모나드적 구조를 갖추며, 그 구조가 호환 가능한 '프로베니우스 모나드 함자'—즉, 모나드적이고 코모나드적일 뿐 아니라 그 구조가 일치하는 함자—를 도입하고, 이들이 모나드적 카테고리에서 쌍대를 유지함을 증명한다. 주요 기여는 강한 모나드성보다 더 약한 조건이더라도 쌍대를 유지하는 데 충분함을 보이며, 이는 기존 결과를 일반화하고 선형 분배 함자 및 분할 모나드 함자와 연결한다.

ABSTRACT

It is well known that strong monoidal functors preserve duals. In this short note we show that a slightly weaker version of functor, which we call "Frobenius monoidal", is sufficient.

연구 동기 및 목표

• 강한 모나드성보다 더 약한 조건이지만 여전히 모나드적 카테고리에서 쌍대를 유지할 수 있는 조건을 규명하는 것.
• 모나드적 및 코모나드적 구조를 결합하고 호환 조건을 갖춘 '프로베니우스 모나드 함자'의 개념을 정의하고 체계화하는 것.
• 이러한 함자가 쌍대 상황을 유지함을 입증하여, 강한 모나드 함자에 관한 기존 결과를 확장하는 것.
• 기존의 선형 분배 함자 및 분할 모나드 함자와 같은 구조와의 연관성을 규명하는 것.
• 선형 이중 카테고리 및 닫힌 모나드적 카테고리와 같은 맥락에서 이중성 유지의 범주론적 기초를 마련하는 것.

제안 방법

• 프로베니우스 모나드 함자를, 두 개의 프로베니우스 호환 조건—$ (i \otimes 1)(1 \otimes r) = (1 \otimes r)(i \otimes 1) $ 및 $ (1 \otimes i)(r \otimes 1) = (r \otimes 1)(1 \otimes i) $—를 만족하는 모나드적 및 코모나드적 구조를 갖춘 함자로 정의한다.
• 요네다 보조정리를 사용하여 코엔드를 포함하는 동치를 도출한다: $ F \cong \int^{A,B,C} \mathscr{A}(A\otimes B\otimes C, -) \cdot F(A\otimes B\otimes C) $, 이는 주요 결과를 증명하는 데 핵심적이다.
• 코엔드와 자연 변환을 포함하는 다이어그램을 구성하여, $ F $가 프로베니우스 모나드 함자일 경우 프로베니우스 방정식이 교환됨을 검증한다.
• 카테고리 $ \mathscr{A} $의 닫힘 구조를 활용하여 $ \mathscr{A}(A\otimes B\otimes C, -) $를 $ \mathscr{A}(C, [A\otimes B, -]) $로 재기록함으로써 요네다 보조정리를 통한 추가 단순화를 가능하게 한다.
• 요네다 보조정리를 반복 적용하여 복잡한 코엔드 표현을 항등 함자로 줄이며, $ F \cong \int^{X} \mathscr{A}(X, -) \cdot FX $ 를 보인다.
• 등식 $ F*F \cong \int^{A,B,C} \mathscr{A}(A\otimes B\otimes C, -) \cdot F(A\otimes B) \otimes FC $ 를 사용하여, 코엔드 다이어그램을 통한 프로베니우스 방정식의 검증을 수행한다.

실험 결과

연구 질문

• RQ1 강한 모나드성보다 더 약한 조건이라도 쌍대가 유지될 수 있는가?
• RQ2 모나드적 및 코모나드적 구조 사이의 어떤 호환 조건이 쌍대를 유지하는가?
• RQ3 프로베니우스 모나드 함자는 기존의 선형 분배 함자 및 분할 모나드 함자와 어떻게 관련되는가?
• RQ4 코엔드 표현 $ \int^{A,B,C} \mathscr{A}(A\otimes B\otimes C, -) \cdot F(A\otimes B\otimes C) $ 가 $ F $ 로 단순화되는 조건은 무엇인가?
• RQ5 코엔드 다이어그램과 자연 동치를 통해 프로베니우스 방정식을 범주론적으로 검증할 수 있는가?

주요 결과

• 프로베니우스 모나드 함자는 쌍대 상황을 유지한다: $ \mathscr{A} $에서 $ (A, B, e, n) $ 가 쌍대이면, $ \mathscr{B} $ 에서 $ (FA, FB, e, n) $ 도 쌍대이다.
• 표준 평가 사상 $ \int^{A,B} \mathscr{A}(A\otimes B, -) \cdot F(A\otimes B) \to F $ 는 동치이며, 이는 이중성 유지에 필수적이다.
• 카테고리 $ \mathscr{A} $ 가 닫혀 있고 프로베니우스 조건이 만족될 경우, 등식 $ F \cong \int^{A,B,C} \mathscr{A}(A\otimes B\otimes C, -) \cdot F(A\otimes B\otimes C) $ 가 성립한다.
• 코엔드의 교환 다이어그램을 통해 프로베니우스 방정식이 검증되며, 두 자연 변환 $ \int 1\otimes i\otimes 1 $ 과 $ \int 1\otimes r $ 이 교환됨을 보여준다.
• 복잡한 코엔드 표현을 단순화하기 위해 요네다 보조정리를 활용하여, 최종적으로 $ \int^{X} \mathscr{A}(X, -) \cdot FX \cong F $ 를 도출한다.
• 결과적으로 강한 모나드 함자에서의 쌍대 유지 결과를 더 넓은 범주인, 선형 분배 함자 및 분할 모나드 함자를 포함하는 더 일반적인 함자 클래스로 일반화한다.