[논문 리뷰] Polar spaces and embeddings of classical groups

Nick Gill|ArXiv.org|2006. 03. 15.

Finite Group Theory Research참고 문헌 4인용 수 17

한 줄 요약

이 논문은 유한체 $GF(q^w)$ 위의 극성 공간에서 $GF(q)$ 위의 더 큰 고전적 군으로의 등급을, 체 추적 사상에 의해 고전적 등급군의 임bedding을 구성한다. $F$-선형 함수 $L: K \to F$와 형태를 조합함으로써, 결과 형태의 유형(유니터리, 옥서터리, 심플렉틱, 또는 퇱성)을 분류하고, 특히 유한체의 경우 아슈바처의 클래스 $\mathcal{C}_3$ 내에서 유도된 군 임베딩이 최대인 경우를 규명한다. 주요 기여는 이러한 체 확장 구성에 의해 유도되는 등급군 임베딩의 완전한 분류이다.

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$의 조합 형태의 유형(대칭, 교환, 에르미트, 또는 퇱성)을 결정한다.
• 특히 유한체의 경우 아슈바처의 클래스 $\mathcal{C}_3$ 내에서 유도된 군 임베딩이 최대 부분군이 되는 조건을 규명한다.
• 특히 $char(K) = 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)$ 위의 고전적 군으로 어떻게 임베딩되는지, 그리고 아슈바처의 클래스 $\mathcal{C}_3$ 내에서 이러한 임베딩이 최대 부분군이 되는 조건은 무엇인가?
• RQ5 $L\beta$ 의 등급군이 $O^{+}(Aw,q)$, $O^{-}(Aw,q)$, $Sp(Aw,q)$, 또는 $U(Aw,q)$ 가 되는 데 필요한 $\alpha$, $q$, $w$, $A$ 의 정확한 조건은 무엇인가?

주요 결과

• 조합 형태 $L\beta$ 는 $\beta$ 가 비퇴화이면서 $L \neq 0$ 이면, $K$ 의 특성이 무엇이든 간에 비퇴화이다.
• 특성 $K \neq 2$ 이거나 $K = GF(2^h)$ 이고 $\dim_K V$ 가 짝수일 경우, $LQ$ 는 $Q$ 가 비퇴화이면서 $L \neq 0$ 이면 비퇴화이다.
• 특성 2인 $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$ 이면, $A$ 가 짝수이면 $L\beta$ 는 $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$ 에 대한 명시적 조건을 제시한다.