[논문 리뷰] Nakayama categories and groupoid quantization

Fabio Trova|arXiv (Cornell University)|2016. 02. 02.

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

한 줄 요약

이 논문은 나카야마 범주에서 양자화 함수자 Sum의 엄밀한, 이중화 기반의 구성법을 제공하며, 나카야마 동형사상이 유도 데이터와 군oids의 크기를 통한 재스케일링을 통해 자연스럽게 유도됨을 보여준다. 특성 0인 경우, 전-나카야마 사상에 핵의 크기의 역수로 재스케일링하여 Sum의 함의성(functoriality)을 확보한다.

ABSTRACT

We provide a precise description, albeit in the situation of standard categories, of the quantization functor Sum proposed by D.S. Freed, M.J. Hopkins, J. Lurie, and C. Teleman in a way enough abstract and flexible to suggest that an extension of the construction to the general context of higher categories should indeed be possible. Our method is in fact based primarily on dualizability and adjunction data, and is well suited for the homotopical setting. The construction also sheds light on the need of certain rescaling automorphisms, and in particular on the nature and properties of the Nakayama isomorphism.

연구 동기 및 목표

• 확장된 위상적 양자장 이론에서 양자화 함수자 Sum의 세부적인 범주론적 구성법을 제공한다.
• 좌우 수반 함수자 간의 임의의 동형사상이 필요 없도록, 나카야마 동형사상이 이중화와 유도 데이터로부터 유도됨을 보인다.
• 특히 나카야마 동형사상과 같은 재스케일링 자동형사상의 역할이 Sum 구성의 함의성 보장에 어떻게 기여하는지 명확히 한다.
• 특성 0에서 전-나카야마 사상의 함의성 실패는 군oids의 크기의 역수로 재스케일링함으로써 수정됨을 확립한다.
• 표준적인 Dijkgraaf-Witten 유형의 TQFT가 이 틀에서 자연스럽게 유도되며, 애미비터리티와 이중화가 유도된 특성임을 보인다.

제안 방법

• 베이크-체발리 디컨디션 하에서 이중화와 메이트를 사용하여, 인버트 함수자에 대한 오른쪽과 왼쪽 수반 함수자 간의 비교 사상 γ_f 를 정의한다.
• 이중가능한 범주에서 성립하는 투영 공식을 통해, 자연 변환 f_* → f_! 로서의 전-나카야마 사상 γ_f 를 도입한다.
• 연쇄 가능한 사상에서의 섬유 크기의 비자명성으로 인해 γ_f 가 함의적이지 않다는 장애 요소를 규명한다.
• δ_f^{-1} 으로 γ_f 를 재스케일링하며, 여기서 δ_f 는 f 가 자동형사상 군에 작용할 때의 |K_x| (핵의 크기)에 의한 곱셈이다.
• δ_f 가 가역임을 보장하는 대칭 모나드 범주에서 이중화를 갖는 나카야마 범주를 정의하고, 잘 정의된 양자화 함수자를 보장한다.
• 기본적으로 유한한 군oids에 이 구성법을 적용하고, 군 대수 위에서의 텐서와 Hom 공간을 통해 f_!, f_*, 그리고 나카야마 동형사상의 명시적 공식을 계산한다.

실험 결과

연구 질문

• RQ1 좌우 수반 함수자 간의 사전에 동형사상을 가정하지 않고, 양자화 함수자 Sum 을 어떻게 구성할 수 있는가?
• RQ2 확장된 TQFT의 맥락에서 나카야마 동형사상의 기원과 성격은 무엇인가?
• RQ3 표준적인 풀-푸시 구성법이 왜 함의적이지 않은지, 그리고 이 실패는 어떻게 수정할 수 있는가?
• RQ4 전-나카야마 사상의 재스케일링이 언제 Sum 함수자의 함의성을 복구하는가?
• RQ5 결과들이 유한군의 표현 이론에서 알려진 구성, 예를 들어 유도와 코유도와 어떻게 일치하는가?

주요 결과

• 전-나카야마 사상 γ_f 는 이중가능한 범주에서 잘 정의되고 투영 공식을 만족하지만, 비자명한 섬유 크기로 인해 함의적이지 않다.
• 특성 0에서는 γ_f 가 연쇄 가능한 사상에 대해 구성할 때 스칼라 곱으로 나타나며, δ_f^{-1} 으로 재스케일링함으로써 함의성을 복구할 수 있다.
• 재스케일링 인자 δ_f 는 각 합성항에서 K_x (f 가 자동형사상 군에 작용할 때의 핵)에 의한 곱셈이다.
• 나카야마 동형사상은 재스케일된 사상과 유도 데이터의 복합으로 유도되며, 군 표현 이론에서 표준적인 것과 자연스럽게 동형이다.
• 특성 0인 체 위의 유한차원 벡터공간의 범주는 δ_f 가 모든 사상 f 에 대해 가역이므로 나카야마 범주이다.
• 이 구성법은 알려진 결과를 복원한다: 유한군의 자명한 표현에 대해 나카야마 동형사상은 [Mo1]의 표준적 것과 일치하며, 유도함수는 제약함수의 좌우 수반 함수자로 동시에 작용한다.