[논문 리뷰] Automorphisms of Chevalley groups of types $A_l, D_l, E_l$ over local rings without 1/2

E. I. Bunina|arXiv (Cornell University)|2010. 02. 05.

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

한 줄 요약

이 논문은 1/2가 존재하지 않는 가환 국소환 위에서 체바렐리 군 $A_l$, $D_l$, $E_l$ ($l \geq 3$)의 모든 자기동형사상이 표준적임을 증명한다—즉, 환 자기동형사상, 내부 자기동형사상, 중심 자기동형사상, 그래프 자기동형사상의 합성임을 보인다. 증명은 1/2가 존재하는 환에 대해 이전 연구에서 확립된 결과를 확장하며, 행렬 공역과 무게 띠의 구조를 이용하여, 임의의 자기동형사상이 애드조인트 표현에서 적절한 기저 변경 후에 환 자기동형사상으로 나타남을 보인다.

ABSTRACT

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

연구 동기 및 목표

• 1/2가 가역적이지 않은 가환 국소환 위에서 체바렐리 군 $A_l$, $D_l$, $E_l$의 전체 자기동형군을 기술하는 것.
• 이전에 1/2가 존재하는 환에 대해 확립된 체바렐리 군의 자기동형사상 결과를 1/2가 존재하지 않는 경우로 확장하는 것.
• 1/2가 환에 존재하지 않더라도 모든 자기동형사상이 표준적임을 보여주는 것—즉, 환, 내부, 중심, 그래프 자기동형사상의 합성임을 보여주는 것.
• 고전적 및 예외적 유형 $A_l$, $D_l$, $E_l$에 대해 1/2가 존재하지 않는 경우를 해결하여, 가환환 위에서 체바렐리 군의 자기동형사상 분류에서 발생한 갭을 메우는 것.

제안 방법

• 1/2가 존재하는 환에 대해 표준 자기동형사상의 구조를 확립한 이전 연구 결과([15]를 구체적으로 참조)를 1/2가 존재하지 않는 환으로 확장한다.
• 체바렐리 군의 애드조인트 표현을 이용하여 자기동형사상을 $\mathrm{GL}(V)$ 내의 행렬에 의한 공역으로 표현하고, 애초의 군 $E_{\mathrm{ad}}(\Phi,R)$ 를 어떤 $R$의 부분환 $R'$로 보내는 $E_{\mathrm{ad}}(\Phi,R')$ 로 매핑한다.
• 무게 띠의 구조와 체바렐리 기저를 적용하여 자기동형사상이 루트 원소 $x_\alpha(t)$ 및 코루트 원소 $h_\alpha(t)$ 위에 미치는 영향을 분석하고, 매개변수 $t$에 대한 유도된 사상이 $\rho: R \to R'$ 인 환 준동형사상임을 보여준다.
• 유도된 환 준동형사상 $\rho$ 가 $R$ 의 자기동형사상임을 증명하기 위해, 행렬 단위 재구성 기법을 사용하여 $R' = R$ 임을 보인다: 군 작용을 통해 행렬 단위 $E_{ij}$ 를 생성하고, 변환된 행렬의 계수들이 $R$ 에 속함을 보여 $R' = R$ 를 강제한다.
• 모든 국소환 원소가 두 개의 단위 원소의 합임을 이용하여, $\rho$ 를 $R^*$ 에서 전체 $R$ 으로 확장하여 덧셈과 곱셈의 성질을 보장한다.
• 자기동형사상 $\varphi$ 와 행렬 $C \in \mathrm{GL}(V)$ 를 통한 기저 변경을 조합하여 문제를 환 자기동형사상 $\rho$ 로 환원하고, $\varphi$ 가 표준적임을 증명한다.

실험 결과

연구 질문

• RQ1 1/2가 존재하지 않는 국소환 위에서 체바렐리 군 $A_l$, $D_l$, $E_l$ 의 모든 자기동형사상은 표준적인가? 즉, 환, 내부, 중심, 그래프 자기동형사상의 합성인가?
• RQ2 1/2가 존재하는 환에 대해 확립된 애초의 체바렐리 군의 자기동형사상 분류를 1/2가 존재하지 않는 경우로 확장할 수 있는가?
• RQ3 2가 가역적이지 않을 때, 애드조인트 표현에서 체바렐리 군의 정규화군이 표준 자기동형사상의 구조를 유지하는가?
• RQ4 체바렐리 군의 자기동형사상으로부터 유도된 매개변수 환 $R$ 에 대한 사상이 반드시 $R$ 의 자기동형사상인가? 특히 $1/2 \notin R$ 인 경우에도 그렇다면?
• RQ5 1/2가 가역적이지 않을 때, 애드조인트 표현에서 군 작용을 통해 행렬 단위를 재구성할 수 있는가? 이를 통해 이미지 환 $R'$ 가 원래 환과 동일해지게 할 수 있는가?

주요 결과

• 1/2가 존재하지 않는 가환 국소환 위에서 체바렐리 군 $G_{\pi}(\Phi,R)$ 의 모든 자기동형사상은 표준적이다—즉, 환, 내부, 중심, 그래프 자기동형사상의 합성이다.
• 기저 변경에 의한 행렬 $C \in \mathrm{GL}(V)$ 에 의한 공역을 통해 자기동형사상은 환 자기동형사상 $\rho: R \to R$ 로 변환되며, 이후에는 순수한 환 자기동형사상이 된다.
• 행렬 $C$ 를 통해 $E_{\mathrm{ad}}(\Phi,R)$ 를 공역한 부분환 $R'$ 는 $R$ 과 동일하다. 이는 행렬 단위 $E_{ij}$ 를 재구성하고, $C$ 와 $C^{-1}$ 의 가역성 항목들이 $C(aE_{11})C^{-1}$ 의 계수들이 모두 $R$ 에 속함을 보여 $R' = R$ 를 강제함으로써 증명된다.
• $\rho: R \to R$ 는 단위 원소 위에서 덧셈과 곱셈을 보존하며, $R$ 의 모든 원소가 두 개의 단위 원소의 합이므로 $\rho$ 는 전체 $R$ 에서 환 자기동형사상으로 확장되며, 표준 형식이 증명된다.
• 웨일 군의 루트에 대한 추이성 작용을 이용하여 한 루트 스트링에서 유도된 행렬 단위 생성을 다른 루트 스트링으로 확장함으로써 군의 구조와 그 자기동형사상에 대한 전체 제어를 확보한다.
• 이 결과는 가환 국소환 위에서 체바렐리 군의 유형 $A_l$, $D_l$, $E_l$ 에 대한 자기동형사상 분류를 완성하며, 1/2가 존재하지 않는 경우를 해결한다.