[论文解读] On representations of twisted group rings

Matthias Kuenzer|ArXiv.org|Jan 13, 2003

Algebraic structures and combinatorial models参考文献 9被引用 4

一句话总结

本文将 Brauer 关于群环中单模数量的公式推广至扭曲群环 $T \wr G$，其中 $G$ 作用于域 $L$，其固定域为 $K$，且 $T$ 是离散赋值环 $S$ 在 $L$ 中的整闭包。本文计算了 $T\wr G$ 在 $L\wr G$ 的极大序中的 $S$-线性余长度，并在模条件成立时，通过半单商模的中心模其 Jacobson 幂零根的维数，推导出 $T\wr G$-模的单模数量公式，将经典表示论推广至扭曲情形。

ABSTRACT

We generalize certain parts of the theory of group rings to the twisted case. Let G be a finite group acting (possibly trivially) on a field L of characteristic coprime to the order of the kernel of this operation. Let K in L be the fixed field of this operation, let S be a discrete valuation ring with field of fractions K, maximal ideal generated by pi and integral closure T in L. We compute the colength of the twisted group ring T G in a maximal order in L G. Moreover, if S/pi S is finite, we compute the S/pi S- dimension of the center of T G/Jac(T G). If this quotient is split semisimple, this yields a formula for the number of simple T G-modules, generalizing Brauer's formula.

研究动机与目标

• 将 Brauer 公式从无扭曲群环推广至扭曲群环。
• 计算 $T\wr G$ 在 $L\wr G$ 的极大序中的余长度，其中 $T$ 是离散赋值环 $S$ 在 $G$-扩张 $L/K$ 中的整闭包。
• 在 $\bar{T}\wr G/\mathrm{Jac}(\bar{T}\wr G)$ 为分裂半单时，利用其中心的 $\bar{S}$-维数，确定 $\bar{T}\wr G$-模的单模数量。
• 建立类似于 Brauer-Nesbitt 与 Wedderburn 理论的扭曲群环模理论。
• 分析在野生分歧与非平凡伽罗瓦作用下 $\bar{T}\wr G$-模的结构，特别针对 $G = S_4$。

提出的方法

• 利用 Wedderburn 同构将 $T\wr G$ 嵌入到 $S$ 的扩张上的矩阵环的乘积中，并将余长度计算为该嵌入的余核的 $S$-线性长度。
• 应用 Plancherel 公式与傅里叶反演，推导 Schur 关系，并刻画 $L\wr G$ 的中心。
• 将模问题约化为分析 $\bar{T}\wr G/\mathrm{Jac}(\bar{T}\wr G)$，假设其为分裂半单，并计算其中心的 $\bar{S}$-维数。
• 利用 $G$ 的 $p'$-类，将中心维数表示为 $\bar{S}$ 上某些向量空间维数的和，推广 Brauer 的计数方法。
• 通过伽罗瓦下降与有限域上的表示理论，对例子中的简单 $\bar{T}\wr G$-模进行分类，特别针对 $G = S_4$。
• 通过 $p=3$ 与 $p=31$ 的显式计算验证公式，分析 $G$ 在 $\bar{T}_0$ 上的作用并计算不变子空间。

实验结果

研究问题

• RQ1 如何将 Brauer 公式从群环推广至扭曲群环 $T\wr G$？
• RQ2 $T\wr G$ 在 $L\wr G$ 的极大序中的余长度是多少？它与环结构有何关系？
• RQ3 在何种条件下 $\bar{T}\wr G/\mathrm{Jac}(\bar{T}\wr G)$ 为分裂半单？这如何影响 $\bar{T}\wr G$-模的单模数量？
• RQ4 中心 $\bar{T}\wr G/\mathrm{Jac}(\bar{T}\wr G)$ 的维数与绝对单 $\bar{T}\wr G$-模的数量有何关系？
• RQ5 当剩余域扩张为非可分或有分歧时，$\bar{T}\wr G$-模范畴的结构如何？

主要发现

• 当 $G = S_4$ 且 $p=3$ 时，$\bar{T}\wr G/\mathrm{Jac}(\bar{T}\wr G)$ 的中心具有 $\mathbb{F}_3$-维数 4，存在三个绝对单 $\bar{T}\wr G$-模：两个维数为 6 且自同态环为 $\mathbb{F}_3$，一个维数为 12 且自同态环为 $\mathbb{F}_9$。
• 当 $p=31$ 时，中心具有 $\mathbb{F}_{31}$-维数 5，存在五个绝对单 $\bar{T}\wr G$-模：四个维数为 3，一个维数为 6。
• 单 $T\wr G$-模数量的公式由 $\bar{S}$-维数给出，即 $\bar{T}\wr G/\mathrm{Jac}(\bar{T}\wr G)$ 中心的 $\bar{S}$-维数，该维数为 $G$ 的 $p'$-类上某些向量空间维数的和。
• 当 $N=1$ 时，$L\wr G$ 同构于 $\mathrm{End}_K(L)$，仅有一个单模，展示了非平凡扭曲的极端情况。
• 在 $G = C_2$，$L = \mathbb{Q}(X)$，且 $X^c = -X$ 的例子中，剩余模 $\bar{T}_0$ 在 $\bar{T}\wr G$ 下是单模但非绝对单模，因为 $\mathrm{End}_{\bar{T}\wr G}(\bar{T}_0) = \mathbb{F}_2(X)$。
• 通过 Wedderburn 嵌入的余核的 $S$-线性长度，计算了 $T\wr G$ 在 $L\wr G$ 的极大序中的余长度，推广了经典 Wedderburn 余长度。