抽象稳定同伦理论中的高阶对称性

本综述概述了一个关于抽象稳定同伦理论中一致对称性的进行中项目。该项目具有计算、基础和表示论方面的维度，而这门关于抽象表示论的新兴领域的关键特征包括以下方面。首先，推广经典对域上表示的关注，它研究环、微分分次代数、环谱以及更一般的抽象稳定同伦理论上的表示。其次，将注意力限制于特定形状，它给出了三角范畴、高阶三角与单形三角之公理的解释。这导致了关于迹的可加性的相当一般的结果。第三，沿着类似思路，它建议发展抽象立方同伦理论作为一种额外的计算工具包。此情形下一个有趣的对称性由 Serre 对偶的全局形式给出。第四，抽象倾斜等价在谱 Picard 群胚中产生非平凡元素，从而有助于对其进行计算。最后，它促进了对稳定性概念本身的更深入偏离，引向稳定性的各种刻画与相对版本。