[論文レビュー] On the Structure of Involutions and Symmetric Spaces of Dihedral Groups

Katrina K. A. Cunningham, Tom Edgar+5 more|arXiv (Cornell University)|May 14, 2012

Advanced Algebra and Geometry参考文献 2被引用数 3

ひとこと要約

本稿は、有限二面体群 Dn における一般化対称空間と対合の構造を、自己同型の特徴付け、同値関係による対合の分類、および固定部分群 H と対称空間 Q の明示的同定を通じて調査する。主な貢献は、Dn の対合に対して、対称空間 Q が常に ⟨r⟩ の部分群であり、同値類の数を求める閉じた公式が得られることである。Q はパラメータに応じて ⟨a−1⟩ または ZDiv(a+1) に同型である。また、代数的群論における標準的結果の反例を提示し、有限群において同型な固定部分群をもつ対合が同値であるとは限らないことを示している。

ABSTRACT

We initiate the study of analogues of symmetric spaces for the family of finite dihedral groups. In particular, we investigate the structure of the automorphism group, characterize the involutions of the automorphism group, and determine the fixed-group and symmetric space of each automorphism.

研究の動機と目的

• 有限二面体群 Dn の自己同型の構造、特に一般化対称空間 Q と固定部分群 H の構造を調査すること。
• 特に有限位数および対合に注目し、Dn の自己同型を共轭を含めた同値関係で分類すること。
• 特に対合の場合に、各自己同型に対して H と Q の明示的記述を同定すること。
• G と H の Q への θ-歪み共役作用を解析し、G-軌道を H-軌道に分解すること。
• 代数的群論における標準的結果を反証するため、有限群において同型な固定部分群をもつ対合が同値でない例を構成すること。

提案手法

• 自己同型群 Aut(Dn) を、a ∈Un, b ∈Zn による ax + b の形の自己同型を用いて、アフィン群 Aff(Zn) として表現する。
• θk = id という条件から、θ = ax + b が ak ≡1 mod n を満たし、b ∈ZDiv(ak−1 + ⋯ + 1) であることを導出する。
• Aut(Dn) 内の共轭による自己同型の同値関係を定義し、コhomological 論法を用いて二つの自己同型が同値となる条件を導出する。
• G と H が Q に作用する twisted conjugation g ∗ q = gqθ(g)−1 を用いて軌道を解析する。
• twisted involution の集合 R = {x ∈G | θ(x) = x−1} を導入し、その構造をコセットと部分群の言いかえで記述する。
• 中国剰余定理と群論的分解を用いて、a² ≡1 mod n を満たす解の数 |R2_n| を計算する。

実験結果

リサーチクエスチョン

• RQ1 Dn の自己同型群はどのように完全に特徴付けられるか？ また、自己同型が有限位数 k をもつための条件は何か？
• RQ2 各自己同型 θ ∈Aut(Dn) に対して、固定部分群 H と一般化対称空間 Q の構造はどのようなものか？
• RQ3 G と H が Q に作用する軌道はどのように分解され、G-軌道と二重コセット H\G/H の関係は何か？
• RQ4 Dn の自己同型としての二つの対合が同値となる条件は何か？ また、対合の同値類はいくつ存在するか？
• RQ5 代数的群論における標準的結果（同型な固定部分群 ⇒ 同値な対合）は有限群において成り立つか？ そうでない場合、反例を構成できるか？

主な発見

• 任意の対合 θ = ax + b に対して、対称空間 Q は常に ⟨r⟩ の部分群であり、ψ: ⟨r⟩ → Zn による同型写像のもとで、ψ(Q) は b ∈⟨a−1⟩ ならば ⟨a−1⟩、そうでなければ ZDiv(a+1) に一致する。
• Dn における対合の同値類の数は、各成分あたり最大2つの類に分割され、その数を数える閉じた公式が導出された。
• b ∈⟨a−1⟩ のとき、ψ(Q) = ⟨a−1⟩ ≤ ZDiv(a+1) であり、そうでないとき ψ(Q) = ZDiv(a+1) である。この構造は、代数的群の文脈で Q が部分群でない場合にも成立する。
• twisted involution の集合 R に対して、R = Q となるのは b ̸∈⟨a−1⟩ の場合に限る。そうでない場合、R ackslash Q は、k ∈ZDiv(a+1) ackslash ⟨a−1⟩ に対し、要素 rk と rks（k(a−1) ≡−b mod n）からなる。
• D8 において反例を構成し、Hθ1 = Hθ2 であっても θ1 ∼ θ2 でない例を示した。これにより、有限群において代数的群論の標準的結果が成り立たないことが反証された。
• 無限二面体群 D∞ に対して、有限位数の自己同型はちょうど −x + b の形の対合であり、同値類は二つに分けられる：b が偶数の内因（inner）と、b が奇数の外因（outer）。両方のケースで Q は Z に同型である。