[논문 리뷰] Bar category of modules and homotopy adjunction for tensor functors

Rina Anno, Timothy Logvinenko|arXiv (Cornell University)|2016. 12. 30.

Algebraic structures and combinatorial models참고 문헌 21인용 수 3

한 줄 요약

이 논문은 A∞-카테고리 기계의 복잡성을 피하면서 호모토피적 구조를 유지하는 DG-카테고리의 유도 카테고리에 대한 더 실용적인 DG-강화인 모듈의 바 카테고리를 소개한다. 이는 텐서 함자에 대한 호모토피 수반 이론을 수립하며, 함자에 대한 구면 테이프의 제곱이 표준적인 왜곡 복합체의 콘볼루션으로서 나타남을 증명한다. 이 콘볼루션을 계산하기 위해 네 가지 명시적인 포스트니코프 체계를 제공한다.

ABSTRACT

Given a DG-category A we introduce the bar category of modules Modbar(A). It is a DG-enhancement of the derived category D(A) of A which is isomorphic to the category of DG A-modules with A-infinity morphisms between them. However, it is defined intrinsically in the language of DG-categories and requires no complex machinery or sign conventions of A-infinity categories. We define for these bar categories Tensor and Hom bifunctors, dualisation functors, and a convolution of twisted complexes. The intended application is to working with DG-bimodules as enhancements of exact functors between triangulated categories. As a demonstration we develop homotopy adjunction theory for tensor functors between derived categories of DG-categories. It allows us to show in an enhanced setting that given a functor F with left and right adjoints L and R the functorial complex $FR ightarrow FRFR ightarrow FR ightarrow Id$ lifts to a canonical twisted complex whose convolution is the square of the spherical twist of F. We then write down four induced functorial Postnikov towers computing this convolution.

연구 동기 및 목표

• A∞-카테고리의 기술적 문제와 부호 규약을 피하면서도 호모토피적 제어를 유지하는 더 실용적인 유도 카테고리의 DG-강화를 개발하기 위해.
• DG-카테고리의 유도 카테고리 사이의 텐서 함자에 대한 호모토피 수반 이론을 구축하기 위해.
• 함자에 대한 구면 테이프의 제곱을 실현하는 표준 왜곡 복합체의 콘볼루션을 계산하는 명시적인 포스트니코프 체계를 제공하기 위해.
• 함자 복합체 FR → FRFR → FR → Id 가 바 카테고리 프레임워크에서 자연스럽게 왜곡 복합체로 올라간다는 것을 보여주기 위해.
• 정확한 함자에 대한 DG-바이모듈을 강화로 사용하는 삼각형 카테고리에서의 계산 가능성을 높이는 프레임워크를 제공하기 위해.

제안 방법

• 내재적인 DG-카테고리 언어를 사용하여 $\overline{\operatorname{Mod}}\text{-}{\mathcal{A}}$ 라고 표기되는 모듈의 바 카테고리를 정의함으로써 $D({\mathcal{A}})$ 의 DG-강화를 제공한다.
• 바 카테고리 내에서 왜곡 복합체에 대한 텐서 및 함자 이중함수, 쌍대화 함자, 콘볼루션 연산을 도입한다.
• 함자 복합체 $FR \xrightarrow{F\operatorname{act}R} FRFR \xrightarrow{FR\operatorname{tr} - \operatorname{tr}FR} FR \xrightarrow{\operatorname{tr}} \operatorname{Id}$ 를 나타내는 표준 왜곡 복합체를 구성한다.
• 이 왜곡 복합체의 콘볼루션이 함자 $F$ 의 구면 테이프의 제곱과 동형임을 보인다.
• 이 콘볼루션을 계산하는 데 사용할 수 있는 네 가지 명시적인 포스트니코프 체계를 유도하여 구조의 호모토피적 제어를 확보한다.
• 특히 표준 프레임워크에서 $h$-프로젝티브가 아닌 대각 바이모듈 $\mathcal{A}$ 의 경우, $h$-프로젝티브 해상도가 필요 없도록 바 카테고리를 사용하여 이를 피한다.

실험 결과

연구 질문

• RQ1 A∞-구조를 피하면서도 호모토피적 제어를 유지하는 유도 카테고리의 DG-강화를 구성할 수 있는가?
• RQ2 DG-카테고리의 유도 카테고리 사이의 텐서 함자에 대해 호모토피 수반을 어떻게 형식화할 수 있는가?
• RQ3 함자에 대한 구면 테이프의 제곱을 실현하는 표준 왜곡 복합체는 무엇인가?
• RQ4 이 왜곡 복합체의 콘볼루션을 계산하는 데 사용할 수 있는 네 가지 다른 포스트니코프 체계를 명시적으로 기술할 수 있는가?
• RQ5 바 카테고리의 모듈은 표준 강화 방법인 $h$-프로젝티브 모듈이나 드린펠트 몫보다 계산 가능성이 어떻게 향상되는가?

주요 결과

• 바 카테고리 $\overline{\operatorname{Mod}}\text{-}{\mathcal{A}}$ 는 $A_\infty$-사상이 포함된 DG ${\mathcal{A}}$-모듈의 카테고리와 동형이지만, $A_\infty$-카테고리 기계를 요구하지 않아도 된다.
• 대각 바이모듈 $\mathcal{A}$ 는 바 카테고리 내에서 자연스럽게 $h$-프로젝티브이므로, 항등 함자 구성에서 해상도가 필요로 하지 않는다.
• 함자 복합체 $FR \xrightarrow{F\operatorname{act}R} FRFR \xrightarrow{FR\operatorname{tr} - \operatorname{tr}FR} FR \xrightarrow{\operatorname{tr}} \operatorname{Id}$ 는 바 카테고리 내에서 자연스럽게 왜곡 복합체로 올라간다.
• 이 왜곡 복합체의 콘볼루션은 함자 $F$ 의 구면 테이프의 제곱과 동형이며, 고전적인 구면 테이프 공식의 호모토피적 상향을 제공한다.
• 이 콘볼루션을 계산하는 데 사용할 수 있는 네 가지 다른 포스트니코프 체계가 구성되었으며, 동일한 객체에 대한 다수의 호모토피적 해상도를 제공한다.
• 이 프레임워크는 자연 변환의 호모토피적 구조를 안정화함으로써, 특히 푸리에-무카이 유형의 함자에 대해 DG-바이모듈 이론에서의 명시적 계산을 가능하게 한다.