[论文解读] Character correspondences induced by magic representations

Frieder Ladisch|arXiv (Cornell University)|Apr 26, 2010

Finite Group Theory Research参考文献 9被引用 6

一句话总结

本文通过‘魔法表示’——一种由特征限制重数导出的投影表示——引入了有限群不可约特征之间的新对应关系。当该投影表示可提升为普通表示时，它在群代数之间诱导出一个Morita等价，从而在给定正规子群特征之上的特征与对应交子群特征之上的特征之间建立双射，且该双射保持有理性和Schur指标的控制。

ABSTRACT

Let G be a finite group, K a normal subgroup of G and H a subgroup such that G = HK, and set L = H \cap K. Suppose θ\in Irr K and ϕ\in Irr L, and ϕ occurs in θ_L with multiplicity n > 0. A projective representation of degree n on H/L is defined in this situation; if this representation is ordinary, it yields a bijection between Irr(G | θ) and Irr(H | ϕ). The behavior of fields of values and Schur indices under this bijection is described. A modular version of the main result is proved. We show that the theory applies if n and the order of H/L are coprime. Finally, assume that P <= G is a p-group with P \cap K = 1 and PK normal in G, that H = N_G(P), and that θ and ϕ belong to blocks of p-defect zero which are Brauer correspondents with respect to the group P. Then every block of F_p[G] or Q_p[G] lying over θ is Morita-equivalent to its Brauer correspondent with respect to P. This strengthens a result of Turull [Above the Glauberman correspondence, Advances in Math. 217 (2008), 2170--2205].

研究动机与目标

• 通过由特征限制重数导出的投影表示，建立 $\operatorname{Irr}(G\mid\vartheta)$ 与 $\operatorname{Irr}(H\mid\varphi)$ 之间的普遍特征对应。
• 描述该对应下特征值域与Schur指标的行为，确保有理性相容性。
• 将理论扩展至 $\mathbb{F}_p$ 和 $\mathbb{Q}_p$ 上的模表示，尤其在 $p$-亏零块的背景下。
• 通过证明 $\mathbb{F}_pG$ 与 $\mathbb{Q}_pG$ 的块及其Brauer对应之间存在Morita等价，推广已知结果（如Glauberman对应）。
• 通过一个精细化框架处理非不变特征，避免依赖Clifford对应，同时保持域与Schur指标数据。

提出的方法

• 在 $\mathbb{C}K$ 中定义一个中心幂等元 $i = e_\vartheta e_\varphi$，并构造中心化子 $S = \mathbf{C}_{i\mathbb{C}Ki}(L) \cong \mathbf{M}_n(\mathbb{C})$。
• 通过 $H/L$ 在 $S$ 上的共轭作用定义一个投影表示 $\sigma: H/L \to S^*$，其中 $s^h = s^{\sigma(h)}$。
• 若 $\sigma$ 可提升为普通表示，则称其为‘魔法表示’，此时它在 $\mathbb{C}Ge_\vartheta$ 与 $\mathbb{C}He_\varphi$ 之间诱导出一个Morita等价。
• 通过魔法表示的特征 $\psi$ 建立特征双射 $\iota: \operatorname{Irr}(G\mid\vartheta) \to \operatorname{Irr}(H\mid\varphi)$，满足 $\sum_{\xi \in \operatorname{Irr}(H\mid\varphi)} (\chi_H, \xi)\xi = \psi \chi^\iota$。
• 将投影表示的上同调类与差 $[\vartheta]_{G/K}[\varphi]_{H/L}^{-1} \in H^2(G/K, \mathbb{C}^*)$ 关联起来。
• 在模设置下使用 $\mathbb{F}_p$ 与 $\mathbb{Q}_p$ 扩展框架，并在 $p$-群控制下证明 $\mathbb{F}_pG$ 与 $\mathbb{Q}_pG$ 的块及其Brauer对应之间存在Morita等价。

实验结果

研究问题

• RQ1 当由特征限制重数 $n = (\vartheta_L, \varphi)$ 导出的投影表示可提升为普通表示时，其在何种条件下能实现特征对应？
• RQ2 在 $\operatorname{Irr}(G\mid\vartheta)$ 与 $\operatorname{Irr}(H\mid\varphi)$ 之间的诱导双射下，特征的值域与Schur指标如何变换？
• RQ3 该理论能否扩展至 $\mathbb{F}_p$ 与 $\mathbb{Q}_p$ 上的模表示，特别是当 $\vartheta$ 与 $\varphi$ 属于 $p$-亏零块时？
• RQ4 上同调类 $[\vartheta]_{G/K}[\varphi]_{H/L}^{-1}$ 在决定特征对应的存在性与性质方面起什么作用？
• RQ5 当 $\vartheta$ 与 $\varphi$ 分别不是 $G$-或 $H$-不变时，如何在不依赖Clifford对应的前提下构造该对应？

主要发现

• 当 $H/L$ 的投影表示可提升为普通表示时，通过魔法表示构造了特征双射 $\iota: \operatorname{Irr}(G\mid\vartheta) \to \operatorname{Irr}(H\mid\varphi)$。
• 该特征对应满足恒等式 $\sum_{\xi \in \operatorname{Irr}(H\mid\varphi)} (\chi_H, \xi)\xi = \psi \chi^\iota$，其中 $\psi$ 是魔法表示的特征。
• 投影表示的上同调类恰好为 $[\vartheta]_{G/K}[\varphi]_{H/L}^{-1}$，将该对应与群上同调联系起来。
• 当 $n = (\vartheta_L, \varphi)$ 与 $|H/L|$ 互素时，该理论适用，并推广了Schmid的一个结果。
• 在模设置下，每个位于 $\vartheta$ 之上的 $\mathbb{F}_pG$ 或 $\mathbb{Q}_pG$ 的块都与关于 $p$-群 $P$ 的Brauer对应块Morita等价，从而加强了Turull的结果。
• 对于 $p$-亏零块，该对应保持Brauer对应关系，并在 $\mathbb{F}_pG$ 与 $\mathbb{Q}_pG$ 的块及其 $P$-Brauer对应块之间诱导出Morita等价。