[论文解读] A geometric invariant of a finite group

Torsten Ekedahl|ArXiv.org|Mar 18, 2009

Mathematics and Applications参考文献 1被引用 20

一句话总结

本文研究代数堆的格罗滕迪克群中有限群的分类堆的类，通过堆对称幂上的λ结构，证明对称群的类是平凡的。进一步地，利用不变量理论和诺特定有理性问题的反例，证明了ℤ/47等某些群的类是非平凡的，将该类与无分支布饶尔群及商簇的有理性的联系起来。

ABSTRACT

We study the class of the classifying stack of a finite group in a Grothendieck group of algebraic stacks introduced previously. We show that this class is trivial in a number of examples most notably for all symmetric groups. We also give some examples where it is not trivial. The latter uses counterexamples of Saltman and Swan to the problem of Noether.

研究动机与目标

• 确定有限群G的分类堆BG在代数堆的格罗滕迪克群K₀(Stckₖ)中的类是否为平凡。
• 探讨BG的类与忠实G-表示V的商簇V/G的有理性或稳定双有理等价性之间的联系。
• 研究几何不变量（如无分支布饶尔群）如何与K₀(Stckₖ)中BG的类相关联。
• 建立K₀(Stckₖ)上的λ结构与特征零下K₀(Spcₖ)上的普通λ结构之间的联系。
• 通过萨尔特曼和斯旺对诺特定有理性问题的反例，提供{BG} ≠ 1的显式例子。

提出的方法

• 利用G的忠实线性表示，通过向量的稳定子构造分层，实现K₀(Stckₖ)中{BG}的归纳计算。
• 应用通过'堆'对称幂定义的K₀(Stckₖ)上的λ结构，该结构在证明对称群的{BΣₙ} = 1中起关键作用。
• 利用同构K₀(Spcₖ)′ ≅ K₀(Stckₖ)，其中K₀(Spcₖ)′是K₀(Spcₖ)在ℒ和ℒⁿ−1处的局部化，将堆类与代数簇联系起来。
• 使用完成映射K₀(Stckₖ) → ˆK₀(Spcₖ)，通过紧支集的欧拉特征和上同调权重分析BG的类。
• 利用若G ∈ Zar，则{BH} = {G/H}{BG}且{G}{BG} = 1的事实，特别地适用于有限维代数单位群的群概形。
• 应用不变量理论结果，包括G-表示的不变域的无分支布饶尔群，以检测{BG}的非平凡性。

实验结果

研究问题

• RQ1 在K₀(Stckₖ)中，{BG}是否对所有有限群G（特别是对称群）都等于1？
• RQ2 {BG} = 1在多大程度上意味着对于忠实G-表示V，商簇V/G是有理的或稳定有理的？
• RQ3 能否从K₀(Stckₖ)中BG的类恢复出G-表示的不变域的无分支布饶尔群？
• RQ4 K₀(Stckₖ)上的λ结构与特征零下K₀(Spcₖ)上的标准λ结构之间有何关系？
• RQ5 若非分裂环面存在光滑的塔里克紧化，是否能用于检测K₀(Stckℚ)中{Bℤ/47}的非平凡性？

主要发现

• 在所有对称群Σₙ下，K₀(Stckₖ)中{BΣₙ} = 1，该结论通过堆对称幂上的λ结构证明。
• 在ℚ上，ℤ/47的类{Bℤ/47}在K₀(Stckℚ)中是非平凡的，该结论通过非分裂环面的光滑塔里克紧化建立。
• G-表示的不变域的无分支布饶尔群是{BG}的不变量，因此萨尔特曼和波戈莫洛夫的例子在特征零下产生非平凡的{BG}。
• 若{V/G} = ℒⁿ在K₀(Spcₖ)中，则V/G是有理的，且该性质可在K₀(Spcₖ)≤n中检测，从而在已知情形下确认有理性。
• 从K₀(Spcₖ)≤n到grⁿK₀(Spcₖ)的映射是同构，表明该群中{V/G}的计算反映了双有理不变量。
• 完成映射K₀(Stckₖ) → ˆK₀(Spcₖ)使得可利用紧支集的欧拉特征与上同调权重检测{BG}的非平凡性。