[논문 리뷰] Feynman Categories

Ralph M. Kaufmann, Benjamin C. Ward|arXiv (Cornell University)|2017. 06. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 37

한 줄 요약

이 논문은 작용, 관계, 매개변수화된 구조를 통합하는 범주론적 프레임워크로 페인만 카테고리(feynman categories)를 도입하며, 작용자, 프롭(Props), 모듈라 작용자, 관련 이론을 일반화한다. 기존의 구성들을 캔 확장으로 재해석하고, 보편적 작용, 해소, 페인만 변환을 가능하게 하여, 새로운 예시를 도출하고 다양한 대수적 및 위상수학적 구성들을 통합하는 모델 카테고리 구조를 수립한다.

ABSTRACT

In this paper we give a new foundational, categorical formulation for operations and relations and objects parameterizing them. This generalizes and unifies the theory of operads and all their cousins including but not limited to PROPs, modular operads, twisted (modular) operads, properads, hyperoperads, their colored versions, as well as algebras over operads and an abundance of other related structures, such as crossed simplicial groups, the augmented simplicial category or FI--modules. The usefulness of this approach is that it allows us to handle all the classical as well as more esoteric structures under a common framework and we can treat all the situations simultaneously. Many of the known constructions simply become Kan extensions. In this common framework, we also derive universal operations, such as those underlying Deligne's conjecture, construct Hopf algebras as well as perform resolutions, (co)bar transforms and Feynman transforms which are related to master equations. For these applications, we construct the relevant model category structures. This produces many new examples.

연구 동기 및 목표

• 작용자, 프롭(Props), 비틀린 작용자(twisted operads)와 같은 다양한 대수적 구조에 대한 통합된 범주론적 기초를 제공하는 것.
• 단일 프레임워크 내에서 (코)바르 변환과 페인만 변환과 같은 고전적 구성들을 일반화하는 것.
• 작용자에 대한 대수들 및 관련 구조들—예를 들어 FI-모듈과 교차 심플리셜 군—을 동등한 기초 위에 놓는 것.
• 델리뉴의 추측과 관련된 보편적 작용들, 특히 그 유형의 체계적 유도를 가능하게 하는 것.
• 이러한 일반화된 대수적 대상들을 해소하고 분석하기 위한 모델 카테고리 구조를 구성하는 것.

제안 방법

• 작용과 관계를 매개변수화하는 객체들을 포함하는 범주론적 프레임워크—페인만 카테고리—를 체계화하는 것.
• 캔 확장(Kan extensions)을 사용하여 (코)바르 변환과 해소와 같은 기존 구성들을 재해석하는 것.
• 범주론적 구조를 통해 보편적 작용을 정의하고, 델리뉴의 추측에 기반한 작용들을 일반화하는 것.
• 프레임워크의 보편적 성질을 통해 호프 대수를 구성하고, 페인만 변환을 수행하는 것.
• 페인만 카테고리 위에 모델 카테고리 구조를 수립하여 호모토피론적 대수학과 해소 기법을 가능하게 하는 것.
• 프레임워크를 적용하여 새로운 예시를 도출하고, 모듈라 작용자와 초작용자(hyperoperads)와 같은 다수의 구조를 통합하는 것.

실험 결과

연구 질문

• RQ1 어떻게 작용자와 그 유사체들을 단일 범주론적 프레임워크 아래 통합할 수 있는가?
• RQ2 어떤 범주론적 구성이 다양한 대수적 이론을 관통하여 (코)바르 변환과 페인만 변환을 일반화하는가?
• RQ3 델리뉴의 추측에 관련된 보편적 작용들은 이 설정에서 어떻게 자연스럽게 유도되는가?
• RQ4 페인만 카테고리 위에 모델 카테고리 구조를 구성하여 호모토피론적 해소를 지원할 수 있는가?
• RQ5 이 일반화된 프레임워크에서 어떤 새로운 대수적 구조의 예시들이 도출되는가?

주요 결과

• 프레임워크는 작용자, 프롭(Props), 모듈라 작용자, 프로퍼티드(properads), 초작용자(hyperoperads)를 단일 범주론적 구성 아래 통합한다.
• (코)바르 변환과 해소와 같은 기존 구성들이 모두 이 프레임워크 내에서 캔 확장의 예시로 나타남을 보여준다.
• 델리뉴의 추측과 관련된 보편적 작용들은 범주론적 구조에서 체계적으로 도출된다.
• 페인만 변환과 관련된 마스터 방정식은 프레임워크의 보편적 성질을 통해 자연스럽게 표현된다.
• 페인만 카테고리 위에 모델 카테고리 구조가 수립되어, 호모토피론적 대수학과 해소 기법을 가능하게 한다.
• 이 프레임워크는 이전에 단일 이론으로 통합되지 않았던 새로운 대수적 구조의 예시들을 도출한다.