[论文解读] Essential p-dimension of algebraic tori

Roland Lötscher, Mark L. MacDonald+2 more|ArXiv.org|Oct 29, 2009

Algebraic Geometry and Number Theory参考文献 10被引用 6

一句话总结

本文为特征不等于 $ p $ 的域上代数环的本征 $ p $-维数建立了显式公式，扩展了 Karpenko 和 Merkurjev 对有限 $ p $-群的结果。通过分析环的特征格与 $ \mathbb{Z}G $-格的表示理论，作者将本征 $ p $-维数计算为 $ p $-忠实表示的最小秩，给出了分裂于阶整除 $ p^2 $ 的循环扩张的环的确切值。

ABSTRACT

The essential dimension is a numerical invariant of an algebraic group G which may be thought of as a measure of complexity of G-torsors over fields. A recent theorem of N. Karpenko and A. Merkurjev gives a simple formula for the essential dimension of a finite p-group. We obtain similar formulas for the essential p-dimension of a broader class of groups, which includes all algebraic tori.

研究动机与目标

• 将 Karpenko 和 Merkurjev 对有限 $ p $-群的本征 $ p $-维数公式扩展至更广的代数群类，特别是代数环。
• 利用表示论与上同调方法，确定分裂于阶整除 $ p^2 $ 的循环扩张的环的本征 $ p $-维数。
• 对由 $ p $-群 $ G $ 分裂的 $ k $ 上的不可约环进行分类，并在 $ p $-局部化后通过 $ \mathbb{Z}G $-格计算其本征 $ p $-维数。
• 建立环的本征 $ p $-维数与其实特征格的 $ p $-忠实表示的最小秩之间的联系。
• 为所有由 $ G $ 分裂的不可约环提供完整的本征 $ p $-维数表格，其中 $ G $ 是阶为 $ p^2 $ 的循环扩张的伽罗瓦群。

提出的方法

• 使用函子的本征 $ p $-维数概念，特别是伽罗瓦上同调函子 $ H^1(*, G) $，以定义 $ \operatorname{ed}_k(G; p) $。
• 应用 $ \mathbb{Z}G $-格及其 $ p $-局部化的理论，对由 $ p $-群 $ G $ 分裂的 $ k $ 上的不可约环进行分类。
• 采用 $ p $-忠实表示的概念，以及映射到特征格 $ M $ 的置换 $ \mathbb{Z}G $-格的最小秩，其中 $ \operatorname{ed}(T; p) = \operatorname{rk}P - \operatorname{rk}M $。
• 利用群 $ C = \operatorname{Split}_k(T[p]) $，即 $ p $-挠的固定点常数群，以确定置换格 $ P $ 中不可约直和项的数量。
• 应用上同调工具，包括 $ H^0(G, M) $，以证明在某些格中，无非平凡的 $ G $-不变特征格在 $ C $ 上非平凡地限制，从而排除更高秩表示。
• 使用可加性定理（定理 8.1）和扭曲有限群的结构，将本征 $ p $-维数的计算归约为格论不变量。

实验结果

研究问题

• RQ1 分裂于阶整除 $ p^2 $ 的循环扩张的代数环的本征 $ p $-维数是多少？
• RQ2 如何从其作为 $ \mathbb{Z}G $-模的特征格计算环的本征 $ p $-维数？
• RQ3 哪些 $ \mathbb{Z}G $-格作为由 $ p $-群 $ G $ 分裂的不可约环的特征格出现？它们的本征 $ p $-维数是多少？
• RQ4 能否从特征格的结构及伽罗瓦群的作用确定环的 $ p $-忠实表示的最小秩？
• RQ5 在 $ \mathbb{Z}G $-格中的 $ G $-不变特征格在什么条件下于常数群 $ C = \operatorname{Split}_k(T[p]) $ 上非平凡地限制？

主要发现

• 对于特征格同构于 $ M_1, M_2, M_4 $ 的环 $ T $，本征 $ p $-维数为 0，表明它们在 Grothendieck 意义下是特殊的。
• 对应于 $ M_3 $ 或 $ M_5 $ 的环的本征 $ p $-维数为 1，因为这些格不接受秩小于 $ p $ 的非平凡 $ p $-忠实表示。
• 对于 $ M_7 $ 和 $ M_8 $，本征 $ p $-维数为 $ p $，因为最小 $ p $-忠实表示的秩为 $ p^2 $，且 $ \operatorname{ed}(T; p) = p^2 - (p^2 - p) = p $。
• 对于 $ M_9, M_{10}, M_{11}, M_{12} $，本征 $ p $-维数为 $ p $，因为最小 $ p $-忠实表示的秩为 $ p^2 + p $，且 $ \operatorname{ed}(T; p) = (p^2 + p) - p^2 = p $，即使存在更高秩表示。
• 作者证明，$ M_{9,r}, M_{10,r}, M_{11,r}, M_{12,r} $ 中无 $ G $-不变特征格在 $ C $ 上非平凡地限制，从而排除了秩为 $ p^2 + 1 $ 的表示，确认了 $ p^2 + p $ 的最小性。
• 为所有由 $ G $ 分裂的不可约环列出了完整的本征 $ p $-维数表格，其值从 0 到 $ p $ 不等，取决于特征格的秩与结构。