有限群内平凡模的同伦理论方法

分类内平凡 kG-模（即任意有限群 G 的稳定模范畴的皮卡群中的元素）一直是一项长期的探索。借助 Dade、Alperin、Carlson、Thevenaz 等人的深入工作，该问题已归结为理解如下子群：当限制到西罗 p-子群时，该子群由分裂为平凡模 k 与某个投射模的直和的模表示组成。在本文中，我们将该子群识别为非平凡 p-子群上的轨道范畴取值于单位群 k^x（视为常系数系统）的第一上同调群。随后，我们利用同伦技术给出了该群关于 G 中正规化子和中心化子的交换化的一系列公式，特别地验证了 Carlson-Thevenaz 猜想——这将该群的计算从表示论中的计算简化为局部群论中的算法计算。我们还就此类维数大于一的表示何时可能出现给出了强有力的限制，这些限制通过 p-子群复形与 p-融合系统来描述。我们立即恢复并推广了文献中的大量计算结果，并通过在其他新的样例情形（例如对所有素数的怪兽群）中计算该群进一步说明了其计算潜力。