[논문 리뷰] Fixed point theory and trace for bicategories

Kate Ponto|arXiv (Cornell University)|2008. 07. 09.

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

한 줄 요약

이 논문은 대칭 모나드 카테고리에서의 트레이스를 그림자를 지닌 2-범주로 일반화하여 고정점 불변량인 레프셰츠 수, 니엘스 수, 레이드마이스터 트레이스를 통합하는 프레임워크를 제공한다. 이러한 불변량들이 이 설정에서 트레이스로서 유도됨을 증명하고, 트레이스의 함자성은 역 레프셰츠 고정점 정리의 핵심 식별을 증명하는 데 필수적이며, 단순체 기법에 의존하지 않는다.

ABSTRACT

The Lefschetz fixed point theorem follows easily from the identification of the Lefschetz number with the fixed point index. This identification is a consequence of the functoriality of the trace in symmetric monoidal categories. There are refinements of the Lefschetz number and the fixed point index that give a converse to the Lefschetz fixed point theorem. An important part of this theorem is the identification of these different invariants. We define a generalization of the trace in symmetric monoidal categories to a trace in bicategories with shadows. We show the invariants used in the converse of the Lefschetz fixed point theorem are examples of this trace and that the functoriality of the trace provides some of the necessary identifications. The methods used here do not use simplicial techniques and so generalize readily to other contexts.

연구 동기 및 목표

• 대칭 모나드 카테고리에서의 고전적 트레이스를 그림자와 함께한 2-범주로 확장하여 고정점 이론을 위한 더 넓은 카테고리적 프레임워크를 가능하게 한다.
• 고정점 이론에서 핵심적인 불변량들—레이드마이스터 트레이스와 니엘스 수 등—이 이 일반화된 트레이스의 사례임을 보인다.
• 트레이스의 함자성을 이용하여 단순체 기법을 사용하지 않고 레프셰츠 고정점 정리의 역을 증명하는 새로운 비단순체 증명을 제공한다.
• 그림자와 이중성 구조를 갖춘 이중모듈러 2-범주를 이용하여 매개변수화되고 섬유화된 고정점 불변량의 카테고리적 기반을 구축한다.

제안 방법

• 그림자와 함께한 2-범주에서 트레이스를 도입하여 대칭 모나드 카테고리에서의 고전적 트레이스를 일반화한다.
• 특히 매개변수화된 모노이드 위의 모듈러 및 이중모듈러 카테고리에서 그림자와 이중성을 정의한다.
• 강화된 모노이드 위의 이중모듈러 2-범주를 구성하고, 이 경우 그림자를 공등분해자(coequalizers)를 통해 정의할 수 있음을 보인다.
• 2-범주 간의 릿지 함수자(lax functors)를 사용하여 트레이스 구조를 올리고 그림자 호환성을 유지한다.
• 트레이스를 위상수학적 및 매개변수화된 설정에 적용하여, 군 또는 경로 모노이드 작용을 갖는 섬유화된 사상과 공간을 포함한다.
• 레이드마이스터 트레이스 및 관련 불변량들이 이 프레임워크 내에서 자연스럽게 트레이스로 나타남을 보이며, 함자적 식별을 가능하게 한다.

실험 결과

연구 질문

• RQ1 대칭 모나드 카테고리에서의 고전적 트레이스는 어떻게 그림자와 함께한 2-범주로 일반화되어 고정점 불변량들을 통합할 수 있는가?
• RQ2 레이드마이스터 트레이스와 니엘스 수는 이 일반화된 프레임워크에서 어떻게 트레이스로 나타나는가?
• RQ3 트레이스의 함자성을 사용하여 단순체 기법을 사용하지 않고 레프셰츠 고정점 정리의 역을 증명할 수 있는가?
• RQ4 이중모듈러 2-범주에서의 그림자와 이중성 구조는 매개변수화되고 섬유화된 설정에서 고정점 불변량을 구성하는 데 어떻게 기여하는가?
• RQ5 기하학적, 호모토피적, 대수적 레이드마이스터 트레이스 간의 카테고리적 관계는 일반화된 트레이스를 통해 어떻게 기술되는가?

주요 결과

• 그림자와 함께한 2-범주에서의 일반화된 트레이스는 레프셰츠 수, 고정점 지수, 레이드마이스터 트레이스를 단일 카테고리적 구성의 사례로 통합한다.
• 트레이스의 함자성은 레프셰츠 고정점 정리의 역을 증명하는 데 핵심적인 식별을 제공하며, 레이드마이스터 트레이스가 0이 되는 것과 맵이 고정점을 갖지 않는 맵과 호모토피적일 조건이 동치임을 보여준다.
• 이 구성은 단순체 기법을 피하고 매개변수화되고 섬유화된 고정점 이론으로 쉽게 일반화된다.
• 매개변수화된 모노이드 위의 이중모듈러 2-범주에서의 그림자는 공등분해자를 통해 정의되며, 강화된 및 위상수학적 설정에서의 트레이스 구성이 가능하다.
• 기하학적 및 호모토피적 레이드마이스터 트레이스는 매개변수화된 이중모듈러 2-범주에서 트레이스로 식별되며, 라니키 이중성과 호환되는 트레이스 구조를 갖는다.
• 클라인-윌리엄스 불변량은 기반점이 없는 이중모듈러 설정에서 트레이스로 표현 가능함을 보여주며, 이는 비단순연결된 공간으로의 프레임워크 확장을 가능하게 한다.