[論文レビュー] Products of two involutions in orthogonal and symplectic groups

Clément de Seguins Pazzis|arXiv (Cornell University)|Feb 1, 2023

Matrix Theory and Algorithms被引用数 5

ひとこと要約

この論文は、特徴が 2 でない体上のシンプレクティック群における二重反射的要素をウォール不変量を用いて特徴づけ、要素が2つの対合の積であるための必要十分条件として、すべてのジョルダン数が偶数であることであることを証明している。また、ウォノンブルガーの直交群に関する結果について、クラウス・ニールセンに帰属する欠落していた証明を埋めることで、長年の文献上の空白を解消した簡略化された証明も提供している。

ABSTRACT

An element of a group is called bireflectional when it is the product of two involutions of the group (i.e. elements of order 1 or 2). If an element is bireflectional then it is conjugated to its inverse. It is known that all elements of orthogonal groups of quadratic forms are bireflectional. F. Bünger has characterized the elements of unitary groups (over fields of characteristic not $2$) that are bireflectional. Yet in symplectic groups over fields with characteristic different from 2, in general there are elements that are conjugated to their inverse but are not bireflectional (however, over fields of characteristic 2, every element of a symplectic group is bireflectional). In this article, we characterize the bireflectional elements of symplectic groups in terms of Wall invariants, over fields of characteristic not 2: the result is cited without proof in Bünger's PhD thesis, and attributed to Klaus Nielsen. We also take advantage of our approach to give a simplified proof of Wonenburger's corresponding result for orthogonal groups and general linear groups.

研究の動機と目的

• 特徴が 2 でない体上のシンプレクティック群における二重反射的要素を、ウォール不変量を用いて特徴づけること。
• ニールセンの未発表の結果に関する完全な証明を提供することで、文献における空白を解消すること。
• ウォノンブルガーの直交群に関する結果について、誤りを是正した簡潔で自己完結的な証明を提示すること。
• 不変量論的手法を用いて、古典的群における二重反射的理論を統一的かつ明確にすること。

提案手法

• 論文は、形式的同相写像対（ε-同相対）の枠組みを用いて、直交群およびシンプレクティック群における同相写像の構造を分析する。
• 特にウォール不変量とジョルダン数に注目して、古典群における共役類のウォール分類を応用する。
• シンプレクティック群の場合、空間を一般化された固有空間に分解し、同相写像が $ p $-主成分上に作用する様子を分析する。
• シンプレクティック形式と標準形式 $ H_V^{-1} $ の間の同型を用い、商空間上の誘導された自己同型が偶数のジョルダン数を持つことを示す。
• シンプレクティック形式と対合の構造を用いて、要素が二重反射的であるための必要十分条件が、すべてのジョルダン数が偶数であることであることを確立する。
• 直交群の場合、同相写像と可換な明示的な対合を構成し、それらの積が元の要素を与えるようにする。この構成には、巡回ベクトルと回文的最小多項式が用いられる。

実験結果

リサーチクエスチョン

• RQ1 特徴が 2 でない体上のシンプレクティック群のどの要素が、2つの対合の積として書けるか。
• RQ2 シンプレクティック要素のジョルダン数がその二重反射的性質を決定する正確な条件は何か。
• RQ3 ウォノンブルガーの直交群における二重反射的性質に関する元の証明に、なぜ深刻な誤りが含まれており、それをどのように是正できるか。
• RQ4 ニールセンの未発表の結果による、シンプレクティック要素の二重反射的性質の特徴づけを、どのように再構築し、厳密に証明できるか。
• RQ5 シンプレクティック群に用いられた手法を、直交群におけるウォノンブルガーの結果のより簡単な証明に適応できるか。

主な発見

• 特徴が 2 でない体上のシンプレクティック群の要素は、すべてのジョルダン数が偶数であるための必要十分条件として、二重反射的である。
• シンプレクティック要素の二重反射的性質は、ウォール不変量によって完全に特徴づけられ、特にジョルダン数の偶奇性によって決定される。
• 論文は、ウォノンブルガーの直交群に関する結果について、是正され簡略化された証明を提供し、すべての要素が二重反射的であることを示している。
• 証明から、ウォノンブルガーの元の議論における誤りは、次元が偶数のとき、ベクトルを適切でない部分空間に配置していたことに起因していることが明らかになった。
• 直交群の場合の明示的対合の構成は、巡回ベクトルの存在と、同相写像の前向き・後ろ向きのべきを入れ替える対称的対合の存在に依存している。
• この手法を拡張することで、二重反射的性質が同相写像同値関係のもとで保存され、ウォール不変量が二重反射的共役類を完全に分類することが示された。