[논문 리뷰] Secondary Traces

Dani Ben‐Zvi, David Nadler|arXiv (Cornell University)|2013. 05. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 5

한 줄 요약

이 논문은 대칭 모노이드 고차 범주에서 2-쌍대화 가능한 대상 위의 두 교환 가능한 내면함수에 대한 2차 추적을 도입한다. 모로즈 이론적 추론과 표식이 있는 2-토러스 위의 코버디즘 이론을 사용하여, 2차 추적을 반복 추적으로 식별하는 공식을 수립하고, SL₂(ℤ)의 생성자 S와 T를 통해 두 표현을 연결하며, 모듈라 불변성과 일반화된 아티야- bott- 레프셰츠 공식을 도출한다.

ABSTRACT

We study an invariant, the secondary trace, attached to two commuting endomorphisms of a 2-dualizable object in a symmetric monoidal higher category. We establish a secondary trace formula which encodes the natural symmetries of this invariant, identifying different realizations as an iterated trace. The proof consists of elementary Morse-theoretic arguments (with many accompanying pictures included) and may be seen as a concrete realization of the cobordism hypothesis with singularities on a marked 2-torus. From this perspective, our main result identifies the secondary trace with two alternative presentations coming from the standard generators S and T of the mapping class group SL_2(Z). We include two immediate consequences of the established invariance. The first is a modular invariance property for the 2-class function on a group arising as the 2-character of a categorical representation. The second is a generalization (for coherent sheaves or D-modules) of the Atiyah-Bott-Lefschetz formula conjectured by Frenkel-Ng\^o in the case of a self-map of a smooth and proper stack over a general base.

연구 동기 및 목표

• 대칭 모노이드 고차 범주에서 2-쌍대화 가능한 대상 위의 두 교환 가능한 내면함수에 대한 2차 추적을 정의하고 연구하는 것.
• 기하학적 및 위상수학적 수단을 통해 2차 추적을 반복 추적으로 식별하는 공식을 수립하는 것.
• 표식이 있는 2-토러스 위에서의 싱귤라리티를 고려한 코버디즘 가설을 통해 2차 추적을 해석하고, 이를 SL₂(ℤ)의 매핑 클래스 군과 연결하는 것.
• 카테고리적 군 표현의 2-특성에 대한 모듈라 불변성을 도출하는 것.
• 매끄럽고 완비된 스택 위의 코herent sheaves와 D-모듈러스에 대해 아티야- bott- 레프셰츠 공식을 일반화하는 것.

제안 방법

• 2차 추적의 구조를 분석하기 위해 시각적 다이어그램을 동반한 기본적인 모로즈 이론적 추론을 사용한다.
• 표식이 있는 코버디즘 가설을 적용하여 2차 추적을 표식이 있는 2-토러스 위에서 모델링한다.
• 2차 추적을 SL₂(ℤ)의 표준 생성자 S와 T에 해당하는 두 실현으로 식별한다.
• 대칭 모노이드 고차 범주에 대한 형식적 체계를 활용하여 쌍대화와 추적 구조를 다룬다.
• 매핑 클래스 군 작용에 대한 불변성을 핵심 기술 도구로 도출한다.
• 카테고리적 표현과 D-모듈러스에 이 프레임워크를 적용하여 일반화된 레프셰츠 유형 정리를 도출한다.

실험 결과

연구 질문

• RQ1 대칭 모노이드 고차 범주에서 2-쌍대화 가능한 대상 위의 두 교환 가능한 내면함수에 대해 2차 추적을 어떻게 정의할 수 있는가?
• RQ2 2차 추적의 대칭성을 뒷받침하는 기하학적 또는 위상수학적 구조는 무엇인가?
• RQ3 2차 추적은 2-토러스 위에서 매핑 클래스 군 SL₂(ℤ)의 작용과 어떻게 관련이 있는가?
• RQ4 카테고리적 표현의 2-특성에 대해 어떤 모듈라 불변성 성질이 도출되는가?
• RQ5 아티야- bott- 레프셰츠 공식은 어떤 정도까지 스택 위의 코herent sheaves와 D-모듈러스에 대해 일반화될 수 있는가?

주요 결과

• 2차 추적은 매핑 클래스 군 SL₂(ℤ)의 작용에 대해 불변이며, 생성자 S와 T에 해당하는 두 개의 서로 다른 실현이 존재한다.
• 2차 추적은 표식이 있는 2-토러스 위의 기하적 실현을 통해 반복 추적으로 자연스럽게 식별된다.
• 이 구성은 군의 카테고리적 표현의 2-특성에 대해 모듈라 불변성 성질을 유도한다.
• 매끄럽고 완비된 스택 위의 자기사상에 대해 일반화된 아티야- bott- 레프셰츠 공식이 확립되었으며, 프렌켈- Ngô의 추측을 확장한다.
• 증명은 모로즈 이론적 기법과 시각적 추론에 기반하여, 싱귤라리티를 고려한 코버디즘 가설의 구체적 실현을 제공한다.
• 2차 추적 구성은 완전히 함성적이며, 대칭 모노이드 고차 범주 내에서 쌍대화와 추적 구조를 유지한다.