[논문 리뷰] Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract)

André Joyal, Joachim Kock|arXiv (Cornell University)|2009. 08. 19.

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

한 줄 요약

이 논문은 컴팩트 대칭 다중범주에 대해 페인만 그래프의 범주를 조합적 기초로 도입함으로써, 컴팩트 대칭 다중범주에 대한 뉴스 정리(nerve theorem)를 수립한다. 이는 다중범주와 범주에 대한 뉴스 정리를 모듈러성과 대칭성의 설정으로 일반화한 것으로, 그래픽스 종류에 대한 맨드로이드 구조를 통해 이루어진다.

ABSTRACT

We describe a category of Feynman graphs and show how it relates to compact symmetric multicategories (coloured modular operads) just as linear orders relate to categories and rooted trees relate to multicategories. More specifically we obtain the following nerve theorem: compact symmetric multicategories can be characterised as presheaves on the category of Feynman graphs subject to a Segal condition. This text is a write-up of the second-named author's QPL6 talk; a more detailed account of this material will appear elsewhere.

연구 동기 및 목표

• 범주와 다중범주에 대한 뉴스 정리를 컴팩트 대칭 다중범주(색깔이 있는 모듈러 작도)의 설정으로 확장하기.
• 다중 입력과 출력을 가진 연산을 인코딩하기 위한 조합적 기초로 페인만 그래프의 범주를 정의하기.
• 컴팩트 대칭 다중범주가 페인만 그래프의 범주 위의 프레셰프이자 세갈 조건을 만족하는 것임을 수립하기.
• 데코레이션된 그래프 위의 자유-기억 상자 쌍과 맨드로이드 구조를 이용해 그래픽스 종류에 대한 맨드로이드 접근을 일반화하기.

제안 방법

• 뉴스 구성의 색인 범주로 페인만 그래프의 범주를 도입하여, 범주에 대한 선형 순서(선형 순서)와 다중범주에 대한 루트가 있는 나무를 일반화한다.
• 데코레이션된 그래프 위의 복합 연산을 통해 그래픽스 종류의 범주에 맨드로이드를 정의하며, 여기서 정점은 일치하는 인터페이스를 가진 부분 그래프로 대체된다.
• 이 맨드로이드의 클라이슬리 범주를 구성하며, 이를 Gr로 표기한다. 이는 그래프에서 데코레이션된 부분 그래프로의 사상들을 캡처한다.
• Gr에서 일반적/자유 분해 체계를 수립하며, 일반적 사상은 세분화를 나타내고 자유 사상은 에탈 사상에 대응한다.
• 이 분해를 이용해 컴팩트 대칭 다중범주에서 프레셰프 위의 뉴스 함자(functor)가 완전 충실함을 증명한다.
• 좌측 칸 확장과 셰이프 조건과 같은 범주론적 기법을 적용하여, 뉴스의 본질적 이미지가 세갈 조건을 만족하는 프레셰프로 이루어져 있음을 검증한다.

실험 결과

연구 질문

• RQ1 범주와 다중범주에 대한 뉴스 정리는 어떻게 컴팩트 대칭 다중범주 설정으로 일반화될 수 있는가?
• RQ2 어떤 조합적 구조—특히 어떤 그래프의 범주—가 이러한 뉴스 정리의 색인 범주로 작용할 수 있는가?
• RQ3 그래픽스 종류에 대한 맨드로이드 구조는 컴팩트 대칭 다중범주 내의 연산의 복합성과 대칭성을 어떻게 캡처하는가?
• RQ4 세갈 조건은 컴팩트 대칭 다중범주로부터 유도된 프레셰프를 특징짓는 데 어떤 역할을 하는가?
• RQ5 페인만 그래프의 범주에서의 일반적/자유 분해는 단체 범주에서의 분해와 유사하게 뉴스 정리를 증명하는 데 사용될 수 있는가?

주요 결과

• 컴팩트 대칭 다중범주에서 페인만 그래프의 범주 위의 프레셰프로의 뉴스 함자는 완전 충실하다.
• 페인만 그래프의 범주 위의 프레셰프가 뉴스 함자의 본질적 이미지에 속해 있는 것은 그 0-정점 그래프의 전체 부분범주로의 제약이 세갈 조건을 만족할 때이고, 그 때에만 해당한다.
• 페인만 그래프의 범주는 단체 범주 Δ에서의 것과 유사한 일반적/자유 분해 체계를 갖는다.
• 그래픽스 종류에 대한 맨드로이드 구조는 정점을 부분 그래프로 대체하는 복합 연산에서 유래하며, 이는 컴팩트 대칭 다중범주의 정의를 뒷받침한다.
• 이 구성은 게츠러-카프란프의 모듈러 작도 접근을 일반화하며, 페인만 그래프의 범주는 그들의 작업에서 사용된 그래프의 범주가 수행하는 역할을 한다.
• 컴팩트 대칭 다중범주에 대한 뉴스 정리는 일반적/자유 분해에 기반한 좌측 칸 확장의 보존 결과를 통해 증명된다.