[논문 리뷰] Duality and traces for indexed monoidal categories

Kate Ponto, Michael Shulman|arXiv (Cornell University)|2012. 11. 07.

Homotopy and Cohomology in Algebraic Topology참고 문헌 21인용 수 40

한 줄 요약

이 논문은 색인된 모나드 범주를 사용하여 대칭 모나드 범주 내에서 추적을 정련하는 통합 프레임워크를 제안하며, 이는 호모토피 이론에서 Reidemeister 추적을 포괄하는 이중 범주적 일반화를 가능하게 한다. 저자들은 기저 공간의 대칭성, 특히 기본군 작용을 포함하여 섬유 위 추적을 정련하기 위해 기저 범주 S 위의 색인된 대칭 모나드 범주로부터 이중 범주를 구성한다. 이는 매개변수화된 스펙트럼과 스트링 다이어그램 및 Beck-Chevalley 일관성에 의한 총 대칭성에 응용된다.

ABSTRACT

By the Lefschetz fixed point theorem, if an endomorphism of a topological space is fixed-point-free, then its Lefschetz number vanishes. This necessary condition is not usually sufficient, however; for that we need a refinement of the Lefschetz number called the Reidemeister trace. Abstractly, the Lefschetz number is a trace in a symmetric monoidal category, while the Reidemeister trace is a trace in a bicategory; in this paper we relate these contexts using indexed symmetric monoidal categories. In particular, we will show that for any symmetric monoidal category with an associated indexed symmetric monoidal category, there is an associated bicategory which produces refinements of trace analogous to the Reidemeister trace. This bicategory also produces a new notion of trace for parametrized spaces with dualizable fibers, which refines the obvious "fiberwise" traces by incorporating the action of the fundamental group of the base space. We also advance the basic theory of indexed monoidal categories, including introducing a string diagram calculus which makes calculations much more tractable. This abstract framework lays the foundation for generalizations of these ideas to other contexts.

연구 동기 및 목표

• 범주론적 도구를 사용하여 Lefschetz 고정점 정리의 일반화를 위해 Lefschetz 수를 Reidemeister 추적으로 정련함으로써 달성한다.
• 기저 공간 대칭성, 예를 들어 기저 공간의 기본군 작용을 포함하여 대칭 모나드 범주 내에서 섬유 위 추적을 정련하는 이중 범주적 프레임워크를 수립한다.
• 복잡한 추적 구성 요소를 단순화하고 시각화하기 위해 색인된 모나드 범주를 위한 스트링 다이어그램 계산법을 개발한다.
• 섬유 위 추적, 등변 추적, 상대 추적과 같은 다양한 추적 정련을 단일 추상적 프레임워크 아래 통합한다.
• 특히 위상 공간 위의 스펙트럼에 대해 안정 호모토피 이론에 적용 가능한 매개변수화된 공간 내 추적의 범주론적 기초를 제공한다.

제안 방법

• 기저 범주 S가 카르테시안 모나드 범주일 때, 푸시포워드와 기저 전환 함자들을 사용하여 S 위의 색인된 대칭 모나드 범주로부터 이중 범주를 구성한다.
• 첫 번째 사상은 기저 공간에 따라 결정되고 두 번째 사상은 객체와 내적 사상에 따라 결정되는 인수 분해를 통한 정련된 추적을 정의한다: IA → (πA)*⟨⟨A⟩⟩ → IA.
• 색상 구조를 가진 스트링 다이어그램을 사용하여 사상과 복합체를 표현함으로써 추적 분해의 시각적 계산을 가능하게 한다.
• 기저 전환과 푸시포워드를 포함하는 복합체를 단순화하기 위해 Beck-Chevalley 동치와 편의성 함수의 일관성을 활용한다.
• 기저 범주 S 내에서 사상 f: A → A의 총 추적은 섬유 범주로 올라가며, 복합체 ξ ◦ f 는 Σ(φ), 즉 f의 스펙트럼의 스uspension 스펙트럼으로 식별된다.
• 슬라이딩 및 분할 동치(Beck-Chevalley)를 사용하여 φ! 및 φ* 함자들을 포함하는 복잡한 복합체를 증명의 주요 정리에서 단순화한다.

실험 결과

연구 질문

• RQ1 안정 호모토피 이론에서 Reidemeister 추적은 어떻게 대칭 모나드 추적의 정련으로 유도될 수 있는가?
• RQ2 기저 공간의 기본군으로부터 유도되는 전역 대칭성을 포함하여 섬유 위 추적을 정련하는 데 필요한 범주론적 구조는 무엇인가?
• RQ3 스트링 다이어그램은 어떻게 색인된 모나드 범주에 적응되어 추적 계산을 단순화할 수 있는가?
• RQ4 색인된 대칭 모나드 범주 내에서 단위 객체의 푸시포워드는 어떻게 고전적인 추적 불변량, 예를 들어 Lefschetz 수를 복원하는가?
• RQ5 기저 범주 내에서 사상 f: A → A의 총 추적이 잘 정의된 섬유 범주 내 추적으로 올라가는 데 필요한 조건은 무엇인가?

주요 결과

• 대칭 모나드 범주 C_A 내에서 사상 f: M → M의 섬유 위 추적은 IA → (πA)*⟨⟨A⟩⟩ → IA로 분해되며, 첫 번째 사상은 기저 공간의 구조를 캡슐화하고 두 번째 사상은 정련된 추적 정보를 포함한다.
• 정련된 추적 tr( bf)는 기저 공간 A의 고리가 M의 섬유 위에 작용하는 방식을 포함하며, 매개변수화된 안정 호모토피 이론 내 고전적인 Reidemeister 추적을 일반화한다.
• 기저 범주 S 내에서 사상 f: A → A의 총 추적은 섬유 범주로 올라가며, 복합체 ξ ◦ f 는 Σ(φ), 즉 f의 스펙트럼의 스uspension 스펙트럼으로 식별된다.
• 복합체 ζ ◦ f 는 Σ(∆A ◦ φ)로 식별되며, 이는 총 추적 구성이 기저 범주 내에서 대각선 사상의 추적을 정확히 포착하고 있음을 보여준다.
• 색상 구조를 가진 스트링 다이어그램은 Beck-Chevalley 동치와 편의성 함수의 일관성과 같은 맥락에서 추적 분해 계산을 위한 실용적인 계산법을 제공한다.
• 주요 정리의 증명은 편의성 함수의 일관성과 깨진 진자 식별식에 기반하며, 기저 전환과 푸시포워드를 포함하는 복잡한 복합체를 단순화한다.