[論文レビュー] 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

ひとこと要約

本稿は、有限メタシクライク群（特に2つの巡回群の半直積）の表現に対して、明示的な相互法則を確立する。有限体上の表現を構成し、群不変量と体論的条件を用いてその実現可能性を特定することで、表現が有限体上で実現可能かどうかを有限個の計算に帰着する構成的相互法則を提供する。主な貢献は、表現が有限体上で実現可能かどうかを決定する問題を、有限個の計算に還元する構成的相互法則の確立であり、これは二次相互法則とシルベスターの定理を特別な場合として回復する。

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 $ の形をした分裂半直積群 $ G $ を研究する。ここで $ k $ は $ m $ を法として位数 $ t $ を持つ。
• 1次元の特徴 $ \rho(a) = \zeta $ から誘導表現 $ \rho^G $ を構成する。ここで $ \zeta $ は $ \overline{\mathbb{F}}_s $ 内の原始 $ m $ 乗根である。
• $ k $ の $ m $ を法とする位数を用いて、$ \rho^G $ の既約性を特定する。$ \rho^G $ は、$ |k|_m = n $、すなわち $ b $ の位数と等しいとき、かつそのときに限り既約である。
• $ |k|_m = t < n $ のとき、$ \rho^G $ は $ 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 $ |b| \neq |k|_m $ である場合でも、実現条件 $ q \equiv k^j \pmod{m} $ が $ \rho^G $ が $ \mathbb{F}_q $ 上で実現可能であるために必要かつ十分であると示せるか？
• 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 $ が完全に実現可能であるための必要十分条件は、ある $ j $ に対して $ q \equiv k^j \pmod{m} $ が成り立つことである。
• $ \mathbb{F}_q $ 上での $ \rho^G $ の明示的行列実現は、ノルム方程式の解と同伴行列の形を用いて構成され、$ \mathbb{F}_{19} $ 上での例も計算されている。
• 主定理を用いることで、二次相互法則が直接的に回復される。これは特定の群 $ G $ と表現 $ \rho^G $ を選ぶことで達成される。
• シルベスターの古典的定理（2つの平方数の和）も、主結果の帰結として回復され、この相互法則枠組みの広範な適用可能性が示されている。