[论文解读] Derived Hall algebras for stable homotopy theories

Julia E. Bergner|arXiv (Cornell University)|Oct 9, 2009

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

一句话总结

本文将托恩的导出 Hall 代数构造推广至稳定同伦理论，具体采用带有有限性条件的稳定完备 Segal 空间。通过同伦纤维积与 Ext 群，建立了导出 Hall 数的公式，将代数结构从模型范畴推广至更广泛的同伦设定。

ABSTRACT

In this paper we extend Toën's derived Hall algebra construction, in which he obtains unital associative algebras from certain stable model categories, to one in which such algebras are obtained from more general stable homotopy theories, in particular stable complete Segal spaces satisfying appropriate finiteness assumptions.

研究动机与目标

• 将托恩的导出 Hall 代数构造从稳定模型范畴推广至更一般的稳定同伦理论。
• 解决现有构造中有限性假设的局限性，特别是针对非有限型三角范畴（如根范畴）的情形。
• 在模型范畴过于严格而无法适用的设定中启用同伦论工具，例如不源于模型范畴的导出范畴。
• 为未来在导出 Hall 代数上研究余代数与 Hopf 代数结构奠定基础。
• 提供一个基于完备 Segal 空间的框架，其捕捉的同伦信息多于导出范畴本身。

提出的方法

• 使用稳定完备 Segal 空间作为 $(∞,1)$-范畴的模型，以表示稳定同伦理论。
• 将托恩在模型范畴中使用的同伦纤维积替换为完备 Segal 空间之间的同伦拉回。
• 通过映射空间的同伦纤维定义导出 Hall 数，具体为 $F^z_{x,y}$，即 $\text{equiv}(W\downarrow z)$ 的全子范畴的骨架，其对象为 $x' \to z$ 且 $x' \simeq x$，且其锥为 $y$。
• 应用同伦群的长正合序列，将 $\pi_i(F^z_{x,y}, u)$ 与 $\text{Ext}^{-i}(x,z)$ 和 $\text{Ext}^{-i}(x,x)$ 关联起来。
• 通过同伦群的欧拉特征推导出导出 Hall 数的公式：$g^z_{x,y} = \sum_{[f] \in \pi_0(F^z_{x,y})} \prod_{i>0} |\pi_i(F^z_{x,y}, u)|^{(-1)^i}$。
• 建立关键恒等式：$\prod_{i>0} |\pi_i(F^z_{x,y}, u)|^{(-1)^i} = |\text{Aut}(f/z)|^{-1} \cdot \prod_{i>0} |\text{Ext}^{-i}(x,z)|^{(-1)^i} \cdot |\text{Ext}^{-i}(x,x)|^{(-1)^{i+1}}$。

实验结果

研究问题

• RQ1 能否为不满足托恩原始模型范畴框架所要求有限性条件的三角范畴构造导出 Hall 代数？
• RQ2 同伦论工具如何被调整以在稳定完备 Segal 空间背景下定义 Hall 代数？
• RQ3 在使用完备 Segal 空间时，导出 Hall 数的精确公式如何用同伦群与 Ext 群表示？
• RQ4 在该推广设定下，导出 Hall 代数结构能否扩展以支持余代数或 Hopf 代数等额外代数结构？
• RQ5 完备 Segal 空间在导出 Hall 代数构造中，相较于模型范畴，能在多大程度上提供更灵活且信息更丰富的框架？

主要发现

• 导出 Hall 数 $g^z_{x,y}$ 由公式 $g^z_{x,y} = \frac{|[x,z]_y| \cdot \prod_{i>0} |\text{Ext}^{-i}(x,z)|^{(-1)^i}}{|\text{Aut}(x)| \cdot \prod_{i>0} |\text{Ext}^{-i}(x,x)|^{(-1)^i}}$ 给出，其中 $[x,z]_y$ 是锥同构于 $y$ 的态射 $x \to z$ 的集合。
• 目标映射 $t: X^{(1)} \to X^{(0)}$ 在 $z$ 处的同伦纤维 $F^z_{x,y}$ 弱同伦等价于范畴 $\text{equiv}(W\downarrow z)$ 的骨架，其 $\pi_0$ 分类了 $[x,z]_y / \text{Aut}(x)$。
• 同伦群 $\pi_i(F^z_{x,y}, u)$ 通过映射空间纤维的长正合序列与 $\text{Ext}^{-i}(x,z)$ 和 $\text{Ext}^{-i}(x,x)$ 相关联。
• 在 $\text{Aut}(x)$ 作用下，$f \in [x,z]_y$ 的稳定化子 $\text{Aut}(f/z)$ 以 $|\text{Aut}(f/z)|^{-1}$ 的形式出现在公式中，用以校正自同构的重复计数。
• 在该公式定义的乘法下，导出 Hall 代数是结合的，将托恩的结果推广至完备 Segal 空间。
• 该构造在满足适当有限性假设的稳定完备 Segal 空间上成立，其适用范围超越了模型范畴，可涵盖不源于模型范畴的导出范畴。