[论文解读] Tensor products of representations up to homotopy

Camilo Arias Abad, Marius Crainic+1 more|arXiv (Cornell University)|Sep 29, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 13

一句话总结

本文利用微分分次代数中的Maurer-Cartan元和立方体的组合学，构建了上同调表示的显式、普遍公式——即普通表示的$A_\infty$类比——作为张量积。证明了这些构造在同伦范畴上唯一地给出一个至等价的张量积结构，并通过普遍Maurer-Cartan态射自然地推广到表示之间的态射。

ABSTRACT

We study the construction of tensor products of representations up to homotopy, which are the A-infinity version of ordinary representations. We provide formulas for the construction of tensor products of representations up to homotopy and of morphisms between them, and show that these formulas give the homotopy category a monoidal structure which is uniquely defined up to equivalence.

研究动机与目标

• 建立上同调表示的明确定义、典范的张量积运算，推广普通张量积在$A_\infty$-结构背景下的情形。
• 将张量积构造扩展到上同调表示之间的态射，确保与自然变换的相容性。
• 证明上同调表示范畴上的结果张量积结构在等价意义下唯一，确保一致性和普遍性。
• 提供显式、普遍的张量积公式，严格满足结合律和单位元律，利用立方体和多面体的组合数据。
• 为将张量积结构提升至上同调表示的dg-范畴奠定基础，尽管此工作留待未来完成。

提出的方法

• 使用微分分次代数（DGAs）中Maurer-Cartan元的框架来编码上同调表示，将其视为从dg-范畴到复形dg-范畴的$A_\infty$-函子。
• 应用单纯集上DB-代数和扭化链的理论，通过普遍公式对张量积构造进行建模。
• 利用立方体的面和三字母词的组合描述来编码高阶同伦数据，实现张量积的组合描述。
• 通过构造普遍Maurer-Cartan态射来定义表示之间态射的张量积，确保自然性和相容性。
• 利用滤过DGAs的完备性及规范等价性，证明张量积在等价意义下唯一。
• 利用多乘多面体和基于立方体的多面体作为$A_\infty$-张量积结构的底层组合控制，由于定义域和值域范畴的严格性，简化了普遍情形。

实验结果

研究问题

• RQ1 如何构造一个明确定义、普遍的上同调表示张量积，使其严格满足结合律和单位元律？
• RQ2 对象上的张量积运算能否自然地扩展到上同调表示之间的态射？
• RQ3 上同调表示范畴上的结果张量积结构在等价意义下是否唯一？
• RQ4 Maurer-Cartan形式理论和DB-代数在编码张量积结构中起什么作用？
• RQ5 立方体及其面的组合学如何控制张量积构造中的高阶同伦数据？

主要发现

• 本文提供了上同调表示张量积的显式、普遍公式，严格满足结合律和单位元律。
• 证明了任意两个此类张量积运算彼此等价，确立了同伦范畴上张量积结构在等价意义下的唯一性。
• 通过普遍Maurer-Cartan态射实现态射张量积的构造，确保与自然变换的相容性。
• 张量积结构源于与张量积的DB-代数相关的Maurer-Cartan元，其显式描述基于立方体的面和三字母词。
• 该方法依赖于滤过DGAs的完备性及规范等价性，证明张量积定义良好且在等价意义下唯一。
• 结果可推广至表示之间的态射，表明同伦范畴继承了一个与$A_\infty$-框架相容的张量积结构。