[논문 리뷰] Automorphisms of Chevalley groups of type $B_l$ over local rings with 1/2

E. I. Bunina|ArXiv.org|2009. 11. 22.

Finite Group Theory Research참고 문헌 34인용 수 3

한 줄 요약

이 논문은 1/2를 포함하는 가환 국소환 위에서 형식 $B_l$ ($l \geq 2$)의 체바일 군의 모든 자기동형사상이 표준적임을 증명한다—즉, 환 자기동형사상, 내부 자기동형사상, 중심 자기동형사상의 복합이다. 증명은 제곱근을 포함하도록 환을 확장하고, 기본 부분군을 정규화하는 토르스 원소를 구성하며, 군과 그 중심에 대한 몫에 대한 자기동형사상의 작용을 분석하는 데 기반한다. 궁극적으로 모든 자기동형사상이 환, 내부, 중심 자기동형사상의 조합에 의해 유도됨을 보인다.

ABSTRACT

In the given paper we prove that every automorphism of a Chevalley group of type $B_l$, $l\geqslant 2$, over a commutative local ring with 1/2 is standard, i. e., it is a composition of ring, inner and central automorphisms.

연구 동기 및 목표

• 1/2를 포함하는 가환 국소환 위에서 형식 $B_l$의 체바일 군의 모든 자기동형사상을 분류하는 것.
• 이전의 국소환 위에서의 체바일 군 자기동형사상 결과를 $B_l$ 루트 체계로 확장하는 것.
• 모든 자기동형사상이 표준적임을 입증하는 것—즉, 환, 내부, 중심 자기동형사상의 복합임을 보이는 것.
• 이전의 $A_l$, $D_l$, $E_l$, $F_4$, $G_2$ 작업에서의 방법을 $B_l$의 경우로 일반화하는 것.
• 전체 체바일 군 $G_{\pi}(\Phi,R)$의 자기동형사상이 기본 부분군 $E_{\pi}(\Phi,R)$의 자기동형사상에 의해 유도됨을 증명하는 것, 이를 토르스 원소와 환 자기동형사상으로 확장한다.

제안 방법

• 특정 원소 $r_1$과 $r_l$의 제곱근을 첨가하여 국소환 $R$의 확장 $S$를 구성함으로써, $G_{\pi}(\Phi,S)$에서 토르스 원소를 정의할 수 있도록 한다.
• 체바일 생성자 $h_{\alpha_i}(s)$를 사용하여 $G_{\pi}(\Phi,S)$에서 토르스 원소 $t_1$과 $t_l$를 정의함으로써, 기본 부분군 $E_{\pi}(\Phi,R)$를 정규화하도록 보장한다.
• 기본 체바일 군의 몫이 중심에 대한 애드조인트 기본 군 $E_{\mathrm{ad}}(\Phi,R)$와 동형임을 이용하여, 기존의 $E_{\mathrm{ad}}(\Phi,R)$의 자기동형사상 결과로의 환원을 가능하게 한다.
• 중심에 대한 작용을 유지하면서, 몫 군에서의 환 자기동형사상 $\overline{\rho}$를 전체 군 $E_{\pi}(\Phi,R)$로 올리기 위해 사용한다.
• 원소 $g = te \in G_{\pi}(\Phi,S)$에서 $e \in E_{\pi}(\Phi,R)$이고 $t \in T_{\pi}(\Phi,S)$인 경우, 공역 변환 자기동형사상 $\varphi_g$를 구성함으로써 내부 유사 자기동형사상을 실현한다.
• 중심에서 작용이 자명한 복합 자기동형사상 $\psi = \varphi_{g^{-1}} \circ \rho^{-1} \circ \varphi$를 정의하여, 기본 부분군에서 자명함을 증명함으로써 중심임을 보이고, 완전군의 경우 자명함을 유도한다.

실험 결과

연구 질문

• RQ1 1/2를 포함하는 국소환 위에서 형식 $B_l$의 체바일 군의 모든 자기동형사상은 표준적인가—즉, 환, 내부, 중심 자기동형사상의 복합인가?
• RQ2 $\Phi = B_l$에 대해 $E_{\pi}(\Phi,R)$의 자기동형군은 애드조인트 군 $E_{\mathrm{ad}}(\Phi,R)$에서의 올림을 통해 완전히 기술될 수 있는가?
• RQ3 확장된 환 $S$ 위에서 $G_{\pi}(\Phi,S)$의 토르스 원소를 어떻게 명시적으로 구성할 수 있으며, 이는 기본 부분군을 정규화하고 자기동형사상을 실현하는가?
• RQ4 전체 체바일 군 $G_{\pi}(\Phi,R)$의 자기동형사상은 어느 정도까지 기본 부분군 $E_{\pi}(\Phi,R)$의 자기동형사상에서 유도되는가?
• RQ5 기본 부분군 $E_{\pi}(\Phi,R)$에서 자명하게 작용하는 $G_{\pi}(\Phi,R)$의 모든 자기동형사상은 중심적인가?

주요 결과

• 1/2를 포함하는 가환 국소환 위에서 형식 $B_l$의 체바일 군의 모든 자기동형사상은 표준적이다—즉, 환, 내부, 중심 자기동형사상의 복합이다.
• $E_{\pi}(\Phi,R)$의 자기동형군은 적절한 $R$의 확장 $S$에 대해 $G_{\pi}(\Phi,S)$의 원소에 의해 유도되는 내부 자기동형사상과 환 자기동형사상에 의해 생성된다.
• $E_{\pi}(\Phi,R)$의 중심에 대한 몫은 애드조인트 기본 군 $E_{\mathrm{ad}}(\Phi,R)$와 동형이며, 후자의 자기동형사상은 전자로 올라간다.
• $r_1$과 $r_l$의 제곱근을 사용하여 $G_{\pi}(\Phi,S)$의 토르스 원소 $t_1$과 $t_l$가 명시적으로 구성되며, 이는 루트 원소에 대해 올바른 코너지션 작용을 보장한다.
• $E_{\pi}(\Phi,R)$에서 자명하게 작용하는 $G_{\pi}(\Phi,R)$의 모든 자기동형사상은 중심적이며, $E_{\pi}(\Phi,R)$가 완전하므로 이러한 자기동형사상은 자명하다.
• $G_{\pi}(\Phi,R)$는 토르스와 기본 부분군에 의해 생성되므로, 자기동형사상의 구조는 $E_{\pi}(\Phi,R)$와 토르스에서의 작용에 의해 완전히 결정된다.