面向同伦理论学家的环面镜像对称

我们构造了函子，将球谱上的环面概型上的环面等变拟凝聚层发送到实向量空间上的可构造谱层。这提供了 Fang-Liu-Treumann-Zaslow (arXiv:1007.0053) 的环面同调镜像对称定理的谱提升。在此过程中，我们获得了关于这些函子的对称幺半结构和函子性结果，这些结果即使在域 $k$ 上也是新的。我们还解释了该定理的“非等变”版本如何通过去等变化技术从该函子性中得出。作为一个具体应用，我们获得了射影空间上带谱系数的拟凝聚层的 Beilinson 线性代数描述的替代证明。