[논문 리뷰] Traces in symmetric monoidal categories

Kate Ponto, Michael Shulman|arXiv (Cornell University)|2011. 07. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 9

한 줄 요약

이 논문은 범주론에서 대칭 모나드 트레이스를 종합적으로 서술하며, 고전적 행렬 트레이스를 대칭 모나드 범주 내의 이중가능한 대상으로 일반화한다. 트레이스가 위상수학, 대수학, 논리학 분야에서 고정점 탐지에 강력한 불변량임을 입증하며, 주요 결과로 그 자연성, 함자성, Lefschetz 고정점 정리 및 고차 오일러 특성수에의 응용을 포함한다.

ABSTRACT

The purpose of this expository note is to describe duality and trace in a symmetric monoidal category, along with important properties (including naturality and functoriality), and to give as many examples as possible. Among other things, this note is intended as background for the generalizations to the context of bicategories and indexed monoidal categories.

연구 동기 및 목표

• 대칭 모나드 범주 내의 이중가능한 대상의 자기형사에 대한 트레이스 개념을 범주론적으로 형식화하고 일반화하기.
• 특히 전역적으로 정의될 수 없는 고정점 연산자가 존재하는 맥락에서 트레이스와 고정점 간의 깊은 연관성을 명확히 하기.
• 대수학, 위상수학, 논리학, 도메인 이론 등 다양한 예시를 하나의 범주론적 프레임워크 아래 통합하기.
• 트레이스 구성의 기본 성질인 순환성, 자연성, 함자성을 확립하기.
• 후속 연구에서 언급된 이중 범주와 색인 모나드 범주에 대한 고급 일반화를 위한 기초를 마련하기.

제안 방법

• 대칭 모나드 범주 내의 사상과 트레이스에 대해 시각화하고 추론하기 위해 스트링 다이어그램 계산을 사용한다.
• 이중성에 기반한 트레이스 정의: 이중가능한 대상 $X$에 대해, $f: X \to X$의 트레이스는 공평가 및 평가 사상으로 구성된다.
• 타원형 이sovorphism $\tau: X \to X$를 도입하여 왜곡 트레이스를 정의함으로써, 일반 트레이스를 매개변수화되거나 피브리드된 맥락으로 일반화한다.
• 다양한 범주에 트레이스를 적용함: $\mathbf{Set}$, $\mathbf{Ab}$, $\mathbf{Sup}$, $\mathbf{Top}$, $\mathbf{Rel}$, 및 $\mathbf{Sp}$ (안정 호모토피), 변형에 대해 불변성을 보여준다.
• 자유 아벨 군 및 자유 슈퍼슬래이스 함자 함수를 활용해 트레이스를 가환 또는 순서론적 맥락으로 옮기며, 고정점의 수를 세거나 합산할 수 있도록 한다.
• 트레이스 구성이 모나드 함자와 가환함을 보여주어, 범주 간의 구조를 유지하는 함자성의 성질을 입증한다.

실험 결과

연구 질문

• RQ1 고전적 행렬 트레이스는 어떻게 대칭 모나드 범주 내의 이중가능한 대상의 자기형사로 범주론적으로 일반화될 수 있는가?
• RQ2 전역적으로 정의될 수 없는 고정점 연산자가 존재하는 맥락에서 대칭 모나드 트레이스는 고정점에 대한 정보를 어떻게 포함하는가?
• RQ3 트레이스의 일致성 및 자연성 성질은 무엇이며, Lefschetz 고정점 정리와 같은 응용을 뒷받침하는 데 어떻게 기여하는가?
• RQ4 왜곡 트레이스는 일반 트레이스를 어떻게 일반화하며, 어떤 맥락에서 자연스럽게 나타나는가?
• RQ5 트레이스와 위상수학에서의 오일러 특성수 또는 안정 호모토피류와 같은 고차 불변량 사이의 관계는 무엇인가?

주요 결과

• 이중가능한 대상 $X$에 대한 자기형사 $f: X \to X$의 트레이스는 잘 정의된 사상 $I \to I$이며, 행렬 트레이스를 일반화한다.
• $\mathbf{Set}$에서 자유 슈퍼슬래이스 함자 $\mathcal{P}$에 대해 $\mathcal{P}(f)$의 트레이스는 $f$의 고정점 집합이며, 이는 $\mathcal{P}(M)$의 원소로 표현된다.
• $\mathbf{Ab}$에서 $\mathbb{Z}[f]: \mathbb{Z}[Q] \otimes \mathbb{Z}[M] \to \mathbb{Z}[M]$의 트레이스는 각 $q \in Q$에 대해 $f(q, -)$의 고정점 수로 보낸다.
• $\mathbf{Rel}$에서 $\Gamma_f$의 트레이스는 관계 $\{q \in Q \mid f(q, -) \text{ 가 고정점을 가진다}\}$이며, 고정점의 존재 여부를 포괄한다.
• 안정 호모토피 이론에서, 이중가능한 $\Sigma_+^\infty M$를 갖는 연속 사상 $f: Q \times M \to M$의 트레이스는 안정 사상 $Q \to S^0$를 유도하며, 고정점이 존재하지 않으면 이는 자명하다.
• Alexandrov 공간에 대해 $\mathbf{Sup}$에서 $f^{-1} \circ \cap$의 트레이스는 집합 $\{a \in A \mid a \leq f(a)\}$의 폐쇄와 대응되며, 순서론적 고정점과 위상적 고정점 간의 연결 고리를 형성한다.