[論文レビュー] Structure of Group Invariants of a Quasiperiodic Flow

Lennard F. Bakker|ArXiv.org|Jun 27, 2002

Quantum chaos and dynamical systems参考文献 9被引用数 5

ひとこと要約

本稿は、n-トーラス上の滑らかな準周期的流れに対して、乗数群の任意の部分群に関連する一般化された対称性群が、n-トーラス（乗数表現の核として）と、次数がn以下である実代数的整数の乗法的群との内部半直積に同型であることを確立している。この群構造は、滑らかな同型類における完全な群論的不変量を提供する。

ABSTRACT

The multiplier representation of the generalized symmetry group of a quasiperiodic flow on the n-torus defines, for each subgroup of the multiplier group of the flow, a group invariant of the smooth conjugacy class of that flow. This group invariant is the internal semidirect product of a subgroup isomorphic to the n-torus by a subgroup isomorphic to that subgroup of the multiplier group. Each subgroup of the multiplier group is a multiplicative group of algebraic integers of degree at most n, which group is isomorphic to an abelian group of n by n unimodular matrices.

研究の動機と目的

• 滑らかな同型に関して、n-トーラス上の準周期的流れの一般化された対称性群を群不変量として特徴づけること。
• 対称性群の乗数表現によって定義される群拡大の代数的構造を特定すること。
• 任意の乗数群 Λ の部分群に対して、ρ⁻¹(Λ) が n-トーラスと次数 ≤ n である実代数的整数の乗法的群との半直積に同型であることを示すこと。
• この半直積構造が流れの滑らかな同型類に内在的であることを示し、完全な群論的不変量を提供すること。

提案手法

• 乗数表現 ρϕ: Sϕ → ℝ* は、各一般化された対称性 R に対して、ベクトル場 X をスカラー α = ρϕ(R) 倍する乗数 α を割り当てる。
• ρϕ の核が n-トーラス Tⁿ に同型であることが示され、これは流れの古典的対称性を表す。
• 任意の部分群 Λ < ρϕ(Sϕ) に対して、ρϕ⁻¹(Λ) は短完全系列 1 → Tⁿ → ρϕ⁻¹(Λ) → Λ → 1 に含まれる。
• デック変換の群 Πϕ と乗数群との間の同型 νϕ: Πϕ → Λ を用いて、写像 hΛ: Λ → ρϕ⁻¹(Λ) を構成する。
• このスプリット写像の存在が、ρϕ⁻¹(Λ) が Tⁿ と hΛ(Λ) の内部半直積であることを証明する。
• 乗数群 Λ が GL(n, ℤ) のアーベル部分群に同型であり、次数が n 以下の実代数的整数の乗法的群であることが示される。

実験結果

リサーチクエスチョン

• RQ1 n-トーラス上の準周期的流れの一般化された対称性群の群構造は何か？
• RQ2 乗数表現 ρϕ は、このような流れの対称性をどのように分類するか？
• RQ3 ρϕ⁻¹(Λ) で定義される群拡大は分解可能か？ もし可能であれば、その結果得られる群構造は何か？
• RQ4 乗数群 Λ < ρϕ(Sϕ) を特徴付ける代数的性質は何か？
• RQ5 ρϕ⁻¹(Λ) の半直積構造は、流れの滑らかな同型類とどのように関係するか？

主な発見

• 乗数群の任意の部分群 Λ に対して、一般化された対称性群 ρϕ⁻¹(Λ) は、n-トーラス Tⁿ と Λ に同型な部分群との内部半直積に同型である。
• 乗数表現 ρϕ の核は Tⁿ に同型であり、これは流れの古典的対称性を表す。
• 乗数群 Λ は、次数が n 以下の実代数的整数の乗法的群であり、GL(n, ℤ) のアーベル部分群に同型である。
• 群拡大 1 → Tⁿ → ρϕ⁻¹(Λ) → Λ → 1 は、明確に定義されたスプリット写像 hΛ によって分解可能であり、半直積構造が確認される。
• Λ ≠ {1} のとき、この半直積は非可換であるため、非自明な乗数部分群に対して一般化された対称性群は非可換である。
• 群構造 ρϕ⁻¹(Λ) は、準周期的流れの滑らかな同型不変量であり、滑らかな同型の下で保存される。