[论文解读] Reciprocity laws for representations of finite groups

Sunil K. Chebolu, C. M. Reis+1 more|arXiv (Cornell University)|Nov 19, 2009

Finite Group Theory Research参考文献 10被引用 3

一句话总结

本文為有限幂零群的表示建立了顯式互惠律——具體而言，是兩個循環群的半直積的表示——通過在有限域上構造表示，並利用群不變量和域論條件來確定其可實現性。主要貢獻在於提出了一種構造性互惠律，將表示是否可在有限域上實現的問題簡化為有限次計算，從而將二次互惠律和西爾維斯特定理作為特例重新獲得。

ABSTRACT

Much has been written on reciprocity laws in number theory and their connections with group representations. In this paper we explore more on these connections. We prove a "reciprocity Law" for certain specific representations of semidirect products of two cyclic groups which is in complete analogy with classical reciprocity laws in number theory. In fact, we show that the celebrated quadratic reciprocity law is a direct consequence of our main theorem applied to a specific group. As another consequence of our main theorem we also recover a classical theorem of Sylvester. Our main focus is on explicit constructions of representations over sufficiently small fields. These investigations give further evidence that there is still much unexplored territory in connections between number theory and group representations, even at an elementary level.

研究动机与目标

• 為有限冪零群在有限域上的表示發展構造性互惠律。
• 建立在有限域上實現誘導表示的必要與充分條件，將無限域問題簡化為有限次計算。
• 證明經典數論結果（如二次互惠律與西爾維斯特定理）可作為主定理的特例。
• 提供在小有限域上表示的顯式矩陣構造，避免依賴抽象不變量（如舒爾指數）。
• 在初等層次探討群表示理論與數論之間的更深層聯繫，暗示有限群表示中存在更廣泛的互惠理論。

提出的方法

• 本文研究分裂半直積 $ G = \big\bracevert a,b \big\bracevert a^m = 1 = b^n, b^{-1}ab = a^k \rangle $，其中 $ k $ 在模 $ m $ 下的階為 $ t $。
• 從一維特徵 $ \rho(a) = \zeta $ 僅誘導表示 $ \rho^G $，其中 $ \zeta $ 是 $ \overline{\mathbb{F}}_s $ 中的 $ m $ 次單位根。
• 利用 $ k $ 在模 $ m $ 下的階，本文確定 $ \rho^G $ 的不可約性：當且僅當 $ |k|_m = n $，即 $ b $ 的階時，$ \rho^G $ 是不可約的。
• 當 $ |k|_m = t < n $ 時，表示分解為 $ r = n/t $ 個兩兩不等價的不可約分量，每個分量均可透過 $ \overline{\mathbb{F}}_s $ 上的友矩陣實現。
• 對於在 $ \mathbb{F}_q $ 上的可實現性，本文根據 $ q \equiv k^j \pmod{m} $ 對某個 $ j $ 是否成立來推導條件，並利用域範數計算在 $ \mathbb{F}_q $ 上構造顯式矩陣。
• 該方法涉及在擴域中求解範數方程，並使用中國剩餘定理構造過渡矩陣，從而實現 $ \mathbb{F}_q $ 上的顯式矩陣表示。

实验结果

研究问题

• RQ1 在何種條件下，冪零群的誘導表示 $ \rho^G $ 可在有限域 $ \mathbb{F}_q $ 上實現？
• RQ2 如何透過有限次計算來確定此類表示的可實現性，類比於經典互惠律？
• RQ3 經典數論結果（如二次互惠律與西爾維斯特定理）如何作為主互惠定理的特例出現？
• RQ4 可實現性條件 $ q \equiv k^j \pmod{m} $ 是否在 $ |b| \neq |k|_m $ 時仍為必要且充分？
• RQ5 此構造性方法對將互惠律推廣至有限域之外及其它類型的有限或代數群有何啟示？

主要发现

• 表示 $ \rho^G $ 在 $ \overline{\mathbb{F}}_s $ 上不可約當且僅當 $ k $ 在模 $ m $ 下的階等於 $ G $ 中 $ b $ 的階。
• 當 $ |k|_m = t < n $ 時，$ \rho^G $ 在 $ \overline{\mathbb{F}}_s $ 上分解為 $ r = n/t $ 個兩兩不等價的不可約表示，每個分量維數為 $ t $。
• 對於 $ \mathbb{F}_q $，若 $ (q, |G|) = 1 $，則 $ \rho^G $ 完全可實現當且僅當 $ q \equiv k^j \pmod{m} $ 對某個 $ j $ 成立。
• 透過求解範數方程與友矩陣形式，構造了 $ \mathbb{F}_q $ 上 $ \rho^G $ 的顯式矩陣實現，並在 $ \mathbb{F}_{19} $ 上計算了具體例子。
• 透過選擇特定群 $ G $ 和表示 $ \rho^G $，二次互惠律可直接作為主定理的推論重新獲得。
• 西爾維斯特關於兩平方和的經典定理亦作為主結果的推論被重新獲得，顯示了該互惠框架的廣泛適用性。