[论文解读] Bar category of modules and homotopy adjunction for tensor functors

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

Algebraic structures and combinatorial models参考文献 21被引用 3

一句话总结

本文引入了模的bar范畴，作为DG范畴的导出范畴的DG增强，避免了复杂的A∞-范畴工具，同时保留了同伦结构。它建立了张量函子的同伦伴随理论，证明了函子的球面扭转的平方可表示为一个典范扭曲复形的卷积，并通过四个显式构造的Postnikov系统计算该卷积。

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.

研究动机与目标

• 开发一种更实用的导出范畴DG增强，避免A∞-范畴的复杂性与符号约定问题。
• 为DG范畴导出范畴之间的张量函子构建同伦伴随理论。
• 为一个典范扭曲复形的卷积提供显式Postnikov系统，其结果为函子球面扭转的平方。
• 证明函子复形FR → FRFR → FR → Id可自然提升至bar范畴框架下的扭曲复形。
• 提供一种计算上可处理的框架，用于以DG双模作为三角范畴中精确函子的增强。

提出的方法

• 将模的bar范畴$\overline{\operatorname{Mod}}\text{-}{\mathcal{A}}$定义为使用内在DG范畴语言的$D({\mathcal{A}})$的DG增强。
• 在bar范畴中引入张量与Hom双函子、对偶化函子以及扭曲复形上的卷积运算。
• 构造一个典范扭曲复形，表示函子复形$FR \xrightarrow{F\operatorname{act}R} FRFR \xrightarrow{FR\operatorname{tr} - \operatorname{tr}FR} FR \xrightarrow{\operatorname{tr}} \operatorname{Id}$。
• 证明该扭曲复形的卷积同构于函子$F$的球面扭转的平方。
• 推导出四个显式Postnikov系统，用于计算该卷积，从而对构造提供同伦控制。
• 利用bar范畴避免对$h$-投影化分解的依赖，特别是对于非$h$-投影化的对角双模$\mathcal{A}$，在标准框架中其通常不满足$h$-投影性。

实验结果

研究问题

• RQ1 能否构造一种避免使用$A_\infty$-结构但保留同伦控制的导出范畴DG增强？
• RQ2 如何为DG范畴导出范畴之间的张量函子形式化同伦伴随？
• RQ3 是否存在一个典范扭曲复形，其卷积可实现函子球面扭转的平方？
• RQ4 能否显式写出四个不同的Postnikov系统来计算该扭曲复形的卷积？
• RQ5 与标准增强（如$h$-投影模或Drinfeld商）相比，模的bar范畴在计算可处理性方面有何改进？

主要发现

• bar范畴$\overline{\operatorname{Mod}}\text{-}{\mathcal{A}}$提供了$D({\mathcal{A}})$的DG增强，其同构于具有$A_\infty$-同态的DG${\mathcal{A}}$-模范畴，但无需依赖$A_\infty$-范畴工具。
• 在bar范畴中，对角双模$\mathcal{A}$自然具有$h$-投影性，从而避免了在恒等函子构造中对分解的需要。
• 函子复形$FR \xrightarrow{F\operatorname{act}R} FRFR \xrightarrow{FR\operatorname{tr} - \operatorname{tr}FR} FR \xrightarrow{\operatorname{tr}} \operatorname{Id}$可自然提升为bar范畴中的扭曲复形。
• 该扭曲复形的卷积同构于函子$F$的球面扭转的平方，从而为经典球面扭转公式提供了同伦提升。
• 构造了四个不同的Postnikov系统来计算该卷积，为同一对象提供了多种同伦分解方式。
• 该框架使得DG双模理论中的显式计算成为可能，尤其适用于Fourier-Mukai型函子，通过稳定自然变换的同伦结构实现。