[論文レビュー] Polar spaces and embeddings of classical groups

Nick Gill|ArXiv.org|Mar 15, 2006

Finite Group Theory Research参考文献 4被引用数 17

ひとこと要約

本稿は、有限体 $GF(q^w)$ 上の極空間における古典的等距群の埋め込みを、体のトレース写像を介してより大きな古典的群 $GF(q)$ へ構成する。形式 $\beta$ や $Q$ を $F$-線形汎関数 $L: K \to F$ と合成することで、得られる形式の型（ユニタリ、直交、歪対称、または退化）を分類し、誘導される群の埋め込みが最大となる条件を特定する。特に有限体の場合に、Aschbacher のクラス $\mathcal{C}_3$ における Kleidman と Liebeck の研究を拡張する。主な貢献は、このような体拡大構成によって誘導される等距群の埋め込みの完全分類である。

ABSTRACT

Given polar spaces $(V,β)$ and $(V,Q)$ where $V$ is a vector space over a field $K$, $β$ a reflexive sesquilinear form and $Q$ a quadratic form, we have associated classical isometry groups. Given a subfield $F$ of $K$ and an $F$-linear function $L:K o F$ we can define new spaces $(V,Lβ)$ and $(V,LQ)$ which are polar spaces over $F$. The construction so described gives an embedding of the isometry groups of $(V,β)$ and $(V,Q)$ into the isometry groups of $(V,Lβ)$ and $(V,LQ)$. In the finite field case under certain added restrictions these subgroups are maximal and form the so called {\it field extension subgroups} of Aschbacher's class $\curlyc{3}$ \cite{aschbacher}. We give precise descriptions of the polar spaces so defined and their associated isometry group embeddings. In the finite field case our results give extra detail to the account of maximal field extension subgroups given by Kleidman and Liebeck \cite[p112]{kl}.

研究の動機と目的

• 有限体 $GF(q^w)$ 上の極空間における古典的等距群の埋め込みを、体トレース写像を用いて $GF(q)$ 上の古典的群へ体系的に構成し、分類すること。
• さまざまな体および形式の条件の下で、合成形式 $L\beta$ および $LQ$ の型（対称、交代、ヘルミート、または退化）を特定すること。
• 誘導される群の埋め込みが Aschbacher のクラス $\mathcal{C}_3$ において最大部分群となる条件を特定すること、特に有限体の場合に注目すること。
• 体の特性が 2 であり、$|K| + \dim_K V$ が無限大であり、$f_Q$ が退化である場合の $LQ$ の退化性に関する未解決事例を解消すること。
• $\alpha$, $q$, $w$, $A$ に依存する明確な条件を提示し、$L\beta$ や $LQ$ の等距群が $O^{\pm}(Aw,q)$、$Sp(Aw,q)$、または $U(Aw,q)$ となる条件を特定すること。

提案手法

• 体 $K = GF(q^w)$ と $F = GF(q)$ に対して、$\alpha \in K^*$ を用いて $L(x) = \operatorname{Tr}_{K/F} (\alpha x)$ と定義される体トレース写像 $L: K \to F$ を導入し、$F$ 上の形式を誘導する。
• ベクトル空間 $V$ 上の反射的 $\sigma$-セスクイ線形形式 $\beta$ または二次形式 $Q$ を $L$ と合成し、$L\beta: V \times V \to F$ および $LQ: V \to F$ を得る。このとき $V$ を $F$ 上のベクトル空間とみなす。
• 特に $K$ が特性 2 の有限体である場合に、トレース写像の性質と $K/F$ の構造を用いて、$L\beta$ および $LQ$ の退化性を分析する。
• 元の形式の型（$\beta$ がヘルミート、対称、交代）と $\sigma(\alpha)$, $q$, $w$, $A$ の条件に基づき、トレース恒等式および判別式解析を用いて $L\beta$ および $LQ$ の型を分類する。
• 有限体上の二次形式および極空間の理論を用い、$GF(q)$ 上での結果形式のウィット指数および型（$O^+$, $O^-$, $Sp$ など）を特定する。
• Lam と Taylor の非退化性および根基構造に関する結果を応用し、$char(K) = 2$, $\dim_K V$ が奇数、$Q$ が非退化である場合に $LQ$ が退化であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 反射的 $\sigma$-セスクイ線形形式 $\beta$ が与えられ、$L: K \to F$ が $F$-線形であるとき、合成形式 $L\beta$ が非退化となる条件は何か？
• RQ2 特に特性 2 の場合に、$Q$ の極形式が退化する可能性がある中で、合成二次形式 $LQ$ が非退化となる条件は何か？
• RQ3 $\beta$ がヘルミート形式であるとき、$L$ がトレース写像である場合、形式 $L\beta$ や $LQ$ の型（直交、歪対称、ユニタリ、または特異）は何か？
• RQ4 $L\beta$ や $LQ$ の等距群が $GF(q)$ 上の古典的群へどのように埋め込まれるか。また、これらの埋め込みが Aschbacher のクラス $\mathcal{C}_3$ において最大部分群となる条件は何か？
• RQ5 $\alpha$, $q$, $w$, $A$ の明確な条件は何か？ それらが $L\beta$ の等距群が $O^{+}(Aw,q)$, $O^{-}(Aw,q)$, $Sp(Aw,q)$, または $U(Aw,q)$ となるかを決定する。

主な発見

• 合成形式 $L\beta$ が非退化であるための必要十分条件は、$\beta$ が非退化であり、$L \neq 0$ であること。これは $K$ の特性にかかわらず成り立つ。
• 特性 $\neq 2$ または $K = GF(2^h)$ かつ $\dim_K V$ が偶数のとき、$LQ$ が非退化であるための必要十分条件は、$Q$ が非退化であり、$L \neq 0$ であること。
• $K = GF(2^h)$ かつ $\dim_K V$ が奇数のとき、$Q$ が非退化であっても $LQ$ は退化である。これは $f_Q$ の根基が非自明であり、$L$ によって保存されるためである。
• ヘルミート形式 $\beta$ を $GF(q^w)$ 上でとるとき、$w$ が偶数、$q$ が偶数、$\sigma(\alpha) = \alpha$ ならば $L\beta$ は交代的となり、埋め込み $U(A,q^w) \leq Sp(Aw,q)$ が得られる。
• $w$ が偶数、$q$ が奇数、$\sigma(\alpha) = \alpha$ のとき、$L\beta$ の型は $A$ が偶数ならば $O^+$、$A$ が奇数ならば $O^-$ となり、埋め込み $U(A,q^w) \leq O^{\pm}(Aw,q)$ が得られる。
• 本稿では、トレース写像によって誘導される等距群の埋め込みを完全に分類し、$O(A,q^w) \leq O^{\pm}(Aw,q)$ または $Sp(Aw,q)$ となる条件を示している。$w$, $q$, およびトレースパラメータ $\alpha$ に応じて、$Q(v) = \gamma v^2$ のガーベル $U$ 上で $\alpha\gamma$ に関する明確な条件が与えられている。