[논문 리뷰] What Separable Frobenius Monoidal Functors Preserve

Micah Blake McCurdy, Ross Street|arXiv (Cornell University)|2009. 04. 22.

Algebraic structures and combinatorial models참고 문헌 6인용 수 4

한 줄 요약

이 논문은 분리 가능한 프로베누스 모나이드 함자에 의해 보존되는 모나이드 표현을 규명하며, 그것들이 켤레에 대해 안정되고 릿지 양-바이저 연산자, 약한 양-바이저 연산자, 그리고 브레이드된 카테고리 내의 약한 이단화를 보존함을 보여준다. 주요 기여는 켤레 안정성에 의한 보존 구조의 기하적 특성 기술과, 모든 약한 양-바이저 연산자가 이러한 함자 아래에서 진정한 연산자의 이미지로 나타남을 증명하는 것이다.

ABSTRACT

Separable Frobenius monoidal functors were defined and studied under that name by Szlachanyi and by Day and Pastro, and in a more general context by Cockett and Seely. Our purpose here is to develop their theory in a very precise sense. We determine what kinds of equations in monoidal categories they preserve. For example we show they preserve lax (meaning not necessarily invertible) Yang-Baxter operators, weak Yang-Baxter operators in the sense of Alonso Alvarez et al., and (in the braided case) weak bimonoids in the sense of Pastro and Street. In fact, we characterize which monoidal expressions are preserved (or rather, are stable under conjugation in a well-defined sense). We show that every weak Yang-Baxter operator is the image of a genuine Yang-Baxter operator under a separable Frobenius monoidal functor. Prebimonoidal functors are also defined and discussed.

연구 동기 및 목표

• 모나이드 카테고리 내에서 분리 가능한 프로베누스 모나이드 함자를 정확히 이론화하기 위해.
• 이 함자들에 의해 보존되는(즉, 켤레에 대해 안정되는) 모나이드 표현의 기하적 특성 기술을 위해.
• 이러한 함자들이 브레이드된 경우 릿지 양-바이저 연산자, 약한 양-바이저 연산자, 그리고 약한 이단화를 보존함을 보여주기 위해.
• 일반화된 개념으로서 프리이단화 함자를 도입하고, 분리 가능한 프로베누스 함자와의 관계를 연구하기 위해.
• 모든 약한 양-바이저 연산자가 분리 가능한 프로베누스 모나이드 함자 아래에서 진정한 양-바이저 연산자의 이미지로 나타남을 보여주기 위해.

제안 방법

• 논문은 n > 0일 때 복합 함수 ψ∘ϕ가 항등함수가 되는, 호환 가능한 모나이드 및 옵모나이드 구조를 지닌 분리 가능한 프로베누스 모나이드 함자를 정의한다.
• 다중 텐서 tích 간의 사상에 대한 F-켤레를 도입하며, φ 및 ψ 구조를 사용하여 도메인 카테고리의 표현을 공도메인으로 매핑한다.
• 코herency 정리들을 활용하여 모나이드 카테고리를 엄격한 것으로 간주함으로써 텐서 표현의 조작을 단순화한다.
• 예를 들어 그림 9 및 10과 같은 교환 다이어그램을 사용하여 F-켤레가 양-바이저 연산자에 대해 잘 정의되고 구조를 보존함을 증명한다.
• 브레이드된 모나이드 카테고리 간의 프리이단화 함자를 정의하고, 강한 모나이드 함자가 브레이드된 경우에만 프리이단화 함자가 되는 것을 증명한다.
• 분리 가능한 프로베누스 함자는 복합화되며, 켤레와 안정성에 의해 약한 이단화 구조와 관련이 있음을 확립한다.

실험 결과

연구 질문

• RQ1 분리 가능한 프로베누스 모나이드 함자에 의해 F-켤레 작용 하에서 보존되는 모나이드 표현은 무엇인가?
• RQ2 분리 가능한 프로베누스 모나이드 함자와 릿지 및 약한 양-바이저 연산자의 보존 간의 관계는 무엇인가?
• RQ3 브레이드된 모나이드 카테고리에서 프리이단화 함자와 분리 가능한 프로베누스 함자 간의 관계는 무엇인가?
• RQ4 모든 약한 양-바이저 연산자가 이러한 함자 아래에서 진정한 양-바이저 연산자의 이미지로 나타날 수 있는가?
• RQ5 강한 모나이드 함자가 언제 프리이단화 함자가 되며, 이는 브레이드된 구조와 어떻게 관련되는가?

주요 결과

• 분리 가능한 프로베누스 모나이드 함자는 릿지 양-바이저 연산자를 보존하며, 이는 연산자가 가역이 아닐 수도 있음을 의미한다.
• 또한 이들은 [2]의 정의에 따르면 약한 양-바이저 연산자를 보존하며, 엄밀한 경우를 초월한 보존 구조의 범위를 확장한다.
• 브레이드된 경우, 이러한 함자들은 [12]에서 정의된 바와 같이 약한 이단화를 보존함을 보여주며, 일반화된 이단화 대수적 구조에서의 유용성을 입증한다.
• 모든 약한 양-바이저 연산자는 분리 가능한 프로베누스 모나이드 함자 아래에서 진정한 양-바이저 연산자의 F-켤레로 나타난다.
• 브레이드된 모나이드 카테고리 간의 강한 모나이드 함자는 브레이드된 경우에만 프리이단화 함자가 되며, 이는 이러한 개념들 사이의 정확한 연결 고리를 확립한다.
• 모나이드(또는 코모나이드)의 F-켤레는 모나이드(또는 코모나이드)로 유지되며, 이는 기존 결과를 일반화한다.