球面可构造导出范畴的形式性：组合方法与几何方法
代数拓扑
2008-11-04 v1
摘要
我们将n-球面上（按一点及其补集分层）的可构造导出层范畴描述为一个形式dg代数的dg模范畴。我们通过探索两种不同方法证明形式性：作为组合方法，我们将问题重新表述为箭图表示，并证明在系数取自主理想整环时，2-球面的形式性。我们给出了这一形式性结果对于按若干点及其补集分层的2-球面的适当推广。作为几何方法，我们给出了底层dg代数在微分形式下的描述，这使得我们能够证明对于实系数或复系数，n-球面的形式性。
引用
@article{arxiv.0811.0191,
title = {Formality of the constructible derived category for spheres: A combinatorial and a geometric approach},
author = {Anne Balthasar},
journal= {arXiv preprint arXiv:0811.0191},
year = {2008}
}