[論文レビュー] The z-Classes of Isometries

Krishnendu Gongopadhyay, Ravi S. Kulkarni|arXiv (Cornell University)|Jun 2, 2009

Advanced Algebra and Geometry参考文献 14被引用数 9

ひとこと要約

この論文は、有界次数の体拡張が有限個しかない完備体上の有限次元ベクトル空間の等長群におけるz-類の有限性を確立する。ジョルダン分解を用い、体拡張上のエルミート形式を介して半単純およびユニポテンツな元を分類することで、著者らは、幾らかの体論的条件下で、直交群およびシミプレクティック群におけるz-類の数が有限であることを証明する。これは、実数体、複素数体、代数的に閉体の場合に既知の結果を一般化する。

ABSTRACT

Let G be a group. Two elements x,y are said to be in the same z-class if their centralizers are conjugate in G. Let V be a vector space of dimension n over a field F of characteristic different from 2. Let B be a non-degenerate symmetric, or skew-symmetric, bilinear form on V. Let I(V, B) denote the group of isometries of (V, B). We show that the number of z-classes in I(V, B) is finite when F is perfect and has the property that it has only finitely many field extensions of degree at most n.

研究の動機と目的

• 有限次元ベクトル空間の等長群においけるz-類の数が有限になる条件を特定すること。
• 非退化な対称または歪対称双一次形式Bを伴う等長群I(V,B)におけるz-類を分類すること。
• 古典的群におけるz-類の既知の有限性結果を、制御された体拡張構造を持つ任意の完備体にまで一般化すること。
• 体拡張上のエルミート形式を用いた半単純元のz-類のパラメトライゼーションを提供すること。
• z-類を用いた幾何的群作用の動的型を理解するための一般枠組みを確立すること。

提案手法

• z-類の研究をI(V,B)内の半単純およびユニポテンツな元に還元するためにジョルダン分解を用いる。
• 体Fの拡張上のエルミート形式の同値類と一次分解を用いて、半単純元のz-類を分類する。
• KiehmとWallのエルミート形式の同値性に関する結果を応用し、半単純の場合のz-類のパラメトライゼーションを実現する。
• 一般の場合における共軛類の解析を通じて、ユニポテンツ元のz-類の数が有限であることを示す。
• 体Fにおける次数≤nの体拡張の有限性を活用し、可能なz-類の数を有界化する。
• dim(V)の分割の有限性、有界次数の体拡張の有限性、およびそれら拡張上のエルミート形式の同値類の有限性を組み合わせて、全体的な有限性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 Fが完備で、次元dim(V)以下の体拡張が有限個であるという体論的条件下で、等長群I(V,B)におけるz-類の数はいつ有限になるか。
• RQ2 半単純等長写像のz-類は、体拡張およびエルミート形式の観点からどのようにパラメトライズできるか。
• RQ3 等長写像のz-類とI(V,B)におけるその中心化部分群の構造との間にどのような関係があるか。
• RQ4 有界次数の拡張が有限個である任意の完備体において、直交群やシミプレクティック群のような古典的群におけるz-類の有限性は確立可能か。
• RQ5 z-類の構造は、幾何的空間上の群作用の動的型をどの程度反映しているか。

主な発見

• Fが完備で、dim(V)以下の次数の体拡張が有限個であるとき、I(V,B)におけるz-類の数は有限である。
• 半単純等長写像のz-類は、その一般化固有空間の次元、最小多項式の既約因子の次数、関連する体拡張、およびそれら拡張上のエルミート形式の同値類によって完全に決定される。
• 最小多項式が素数べきである半単純元については、定理3.7によりz-類の明示的パラメトライゼーションが与えられる。
• ユニポテンツ元のz-類の数は有限であることが示されており、これは定理3.6が一般の場合におけるその共軛類を分類していることから導かれる。
• I(V,B)におけるz-類の有限性は、dim(V)の分割の有限性、有界次数の体拡張の有限性、およびそれら拡張上のエルミート形式の同値類の有限性の組み合わせから導かれる。
• この結果は、R、C、局所体といった重要なケースに適用可能であり、コンパクトなリー群や再帰的代数群におけるz-類に関する先行研究を一般化する。