半交换群作用下的完全模

摘要

证明了由具有半交换群作用的射影簇$P$和其上的一个充分的Cartier除数构成的模空间$（P，\Theta）$的存在性，并描述了它的结构，满足几个简单的条件。这个模空间的每个连通分量都是适当的。包含射影复曲面簇的一个分量由几个多面体构成，其中主多面体是次多面体。另一方面，包含主要极化阿贝尔簇的分量提供$a_g$的模紧性。这种紧化的主要不可约成分由二次多面体的“无限周期”模拟描述，并与第二次Voronoi分解的$A_g$环面压缩一致。