[論文レビュー] An exposition of results of Fricke

William M. Goldman|ArXiv.org|Feb 6, 2004

Physics and Engineering Research Articles参考文献 6被引用数 17

ひとこと要約

この論文は、Vogt-Frickeの定理の自己完結的で初等的な証明を提供し、SL(2,C)-行列の対からそのトレース（tr(ξ), tr(η), tr(ξη)）へのキャラクター写像が、Fricke不変量 κ(x,y,z) ≠ 2 の条件下で全射であり、かつ二つの対がトレースが一致するときかつそのときに限り、SL(2,C)による共役であることを確立する。主な貢献は、共役作用の不変量をトレース多項式を用いて完全に代数的に特徴づけることにある。

ABSTRACT

This paper gives an elementary proof of the result that the conjugacy classes of pairs (X,Y) of unimodular 2x2 complex matrices is an affine 3-space, parametrized by the traces of X, Y and XY. Identities for triples of elements of SL(2,C) are also derived.

研究の動機と目的

• SL(2,C)におけるトレース不変量に関するVogt-Frickeの定理の自己完備的かつアクセス可能な証明を提供すること。
• π を二生成子の自由群とするとき、Hom(π, SL(2,C)) における共役作用によるカテゴリカル商の構造を明確にすること。
• トレース写像 (tr(ξ), tr(η), tr(ξη)) が、アフィン3次元空間 C³ として商空間をパラメトライズすることを確立すること。
• 二つの行列における任意の語のトレースが、三つのトレース tr(ξ), tr(η), および tr(ξη) の多項式関数として表現されることを示すこと。
• Fricke不変量 κ(x,y,z) ≠ 2 の条件下で、トレースキャラクター写像の単射性と全射性を解明すること。

提案手法

• Cayley-Hamiltonの定理を用いて基本的なトレース恒等式、特に基本的恒等式：tr(ξη) + tr(ξη⁻¹) = tr(ξ)tr(η) を導出すること。
• H = SL(2,C) × SL(2,C) 上の任意の G-不変正則関数 f(ξ,η) が、f(ξ,η) = F(tr(ξ), tr(η), tr(ξη)) とトレース写像を介して因数分解できるような多項式 F(x,y,z) を構成すること。
• ジョルダン標準形と連続性の議論を用いて、トレースが ±2 に等しい場合の取り扱いを行い、不変性および全射性の結果がすべての複素数値に拡張されることを保証すること。
• 特に Fricke不変量が0である場合に、行列 A₁, A₂, A₃ を用いたトレース方程式の解の明示的パラメトライゼーションを行うこと。
• 一パラメータ族の行列の行列式を用いて、トレース写像の全射性を示すこと。直線に沿った行列式多項式が定数でない限り、その性質を活用すること。
• 二つの行列対が同じトレースを持ち、かつ κ(x,y,z) ≠ 2 であるならば、SL(2,C) の元による共役であることを示すことで、単射性を証明すること。

実験結果

リサーチクエスチョン

• RQ1 SL(2,C)-行列の対からなる写像 (tr(ξ), tr(η), tr(ξη)) が C³ に全射であるのはどのような条件下か？
• RQ2 二つの SL(2,C)-行列対がトレースが一致する場合、SL(2,C) の作用のもとでいつ共役となるか？
• RQ3 二つの行列における任意の語のトレースは、どのようにして tr(ξ), tr(η), および tr(ξη) の三つのトレースの多項式として表現できるか？
• RQ4 Fricke不変量 κ(x,y,z) = x² + y² + z² - xyz - 2 がキャラクター写像の単射性を決定する役割を果たすのはどのようなときか？
• RQ5 任意の x, y, z ∈ C に対して、tr(ξ)=x, tr(η)=y, tr(ξη)=z を満たす SL(2,C) 内の行列対 (ξ,η) をどのように明示的に構成できるか？

主な発見

• H = SL(2,C) × SL(2,C) から C³ へのキャラクター写像 (tr(ξ), tr(η), tr(ξη)) は全射であり、任意の三つ組 (x,y,z) ∈ C³ が、ある行列対のトレース三つ組として現れることを意味する。
• H 内の二つの対 (ξ,η) と (ξ′,η′) が同じトレースを持つ場合、かつ Fricke不変量 κ(x,y,z) ≠ 2 である限り、それらは SL(2,C) の元による共役である。
• 二つの SL(2,C)-行列における任意の簡約語 w(ξ,η) のトレースは、tr(ξ), tr(η), および tr(ξη) の多項式として表現可能であり、再帰的トレース恒等式を用いて明示的に計算可能である。
• Fricke不変量 κ(x,y,z) = x² + y² + z² - xyz - 2 は、トレース三つ組 (x,y,z) が可約または非一般的表現に対応するときにかつそのときに限り0になる。このとき、共役性はトレースのみでは決定されない。
• 任意の (x,y,z) ∈ C³ に対して、行列 A₁ = [[t₁,-1],[1,0]] および A₂ = [[0,ξ],[-ξ⁻¹,t₂]] を用い、ξ + ξ⁻¹ = z を満たす ξ を選ぶことにより、tr(ξ)=x, tr(η)=y, tr(ξη)=z を満たす行列対 (ξ,η) ∈ H を明示的に構成できる。
• 共役作用による Hom(π, SL(2,C)) のカテゴリカル商は、アフィン3次元空間 C³ に同型である。ここで π は二生成子の自由群である。