[논문 리뷰] Tannaka duality for enhanced triangulated categories

J. P. Pridham|arXiv (Cornell University)|2013. 09. 03.

Algebraic structures and combinatorial models참고 문헌 36인용 수 5

한 줄 요약

이 논문은 Hochschild 호몰로지를 통해 유한차원 복합체로의 dg 함자를 통해 dg 코알제브라를 구성함으로써, 향상된 삼각 범주에 대한 Tannaka 대칭성을 수립한다. 함자가 충실할 경우, A-모듈의 유도 dg 범주와 C-코모듈의 유도 dg 범주 사이에 준동치가 존재하며, 이는 Morita fibrant dg 범주로의 대칭성 확장을 가능하게 하고, pro-대수적 호모토피 유형과 모티빅 갈루아 군에의 응용을 가능하게 한다.

ABSTRACT

We develop Tannaka duality theory for dg categories. To any dg functor from a dg category A to finite-dimensional complexes, we associate a dg coalgebra C via a Hochschild homology construction. When the functor is faithful, this gives a quasi-equivalence between the derived dg categories of A-modules and of C-comodules. When A is Morita fibrant (i.e. an idempotent-complete enhanced triangulated category), it is thus quasi-equivalent to the derived dg category of compact C-comodules. We give several applications for pro-algebraic homotopy types associated to various cohomology theories, and for motivic Galois groups.

연구 동기 및 목표

• dg 범주를 이용하여 향상된 삼각 범주 설정으로 Tannaka 대칭성을 확장하기.
• Hochschild 호몰로지를 통해 유한차원 복합체로의 dg 함자로부터 dg 코알제브라를 구성하기.
• 충실성 조건 하에서 모듈의 유도 dg 범주와 코모듈의 유도 dg 범주 사이의 준동치를 수립하기.
• 코homology 이론으로부터 유도되는 pro-대수적 호모토피 유형에 대칭성의 응용을 제공하기.
• 향상된 삼각 범주 맥락에서 모티빅 갈루아 군과의 연결 고리 탐색하기.

제안 방법

• dg 범주 A에서 유한차원 복합체로의 dg 함자로부터 Hochschild 호몰로지를 활용해 dg 코알제브라 C를 부여하기.
• 대칭성 구성의 대상으로서 C-코모듈의 유도 dg 범주 정의하기.
• 함자가 충실할 경우, A-모듈의 유도 dg 범주와 C-코모듈의 유도 dg 범주 사이의 준동치 수립하기.
• Morita fibrant dg 범주—즉, 아이디포텐트 완비인 향상된 삼각 범주—에 초점 맞추기. 여기서 대칭성은 컴act C-코모듈의 유도 dg 범주와 준동치를 이룬다.
• 코homology 이론에 이 프레임워크를 적용하여 pro-대수적 호모토피 유형을 구성하기.
• 코알제브라적 구조를 통해 대칭성을 이용해 모티빅 갈루아 군 분석하기.

실험 결과

연구 질문

• RQ1 어떻게 dg 범주를 통해 대수적 군에서 향상된 삼각 범주로 Tannaka 대칭성을 일반화할 수 있는가?
• RQ2 Hochschild 호몰로지는 어떤 역할을 하여 유한차원 복합체로의 함자를 분류하는 코알제브라를 구성하는가?
• RQ3 모듈의 유도 dg 범주와 코모듈의 유도 dg 범주 사이의 준동치가 성립하는 조건은 무엇인가?
• RQ4 이 대칭성 프레임워크는 어떻게 코homology 이론으로부터 pro-대수적 호모토피 유형을 구성하는 데 응용될 수 있는가?
• RQ5 이 대칭성은 어떤 방식으로 모티빅 갈루아 군의 구조를 드러내는가?

주요 결과

• Hochschild 호몰로지를 통한 dg 코알제브라 C의 구성은 함자가 충실할 경우, A-모듈의 유도 dg 범주와 C-코모듈의 유도 dg 범주 사이의 준동치를 유도한다.
• Morita fibrant dg 범주에서는 유도 dg 범주가 컴팩트 C-코모듈의 유도 dg 범주와 준동치이다.
• 대칭성 구성은 향상된 삼각 범주를 코알제브라적 기술로 기술함으로써 고전적 Tannaka 대칭성을 확장한다.
• 코알제브라적 프레임워크를 통해 코homology 이론에 대응하는 pro-대수적 호모토피 유형을 구성하는 데 응용이 가능하다.
• 이 프레임워크는 모티빅 갈루아 군을 동치로 간주하는 새로운 시각을 제공하며, 이는 모티빅 함자에 대응하는 코알제브라 C의 대칭성으로서 실현된다.