参数化谱上的周期点结构：刚性的一个应用

参数化谱的双范畴具有极为丰富的结构。特别地，可以在该双范畴中取迹，从而得到计数不动点的经典不变量。我们还可以取等变迹，其给出了计数周期点的经典不变量的显著推广。不幸的是，这些迹的一般存在性依赖于关于该双范畴的技术性陈述，而这些陈述往往难以直接验证。在本文中，我们展示了刚性（rigidity）与可变形函子（deformable functors）这两个工具的有效性，利用它们建立起取这些等变迹所需的结构，并以形式化的方式构造周期点不变量。