[논문 리뷰] Automorphisms of Chevalley groups of types B_2 and G_2 over local rings

E. I. Bunina|ArXiv.org|2007. 11. 04.

Advanced Algebra and Geometry참고 문헌 12인용 수 3

한 줄 요약

이 논문은 1/2와 1/3를 가진 국소환에서의 고형 Chevalley 군 $B_2$ 및 $G_2$ 유형의 모든 자기동형사상이 표준적임을 증명한다—즉, 내부 자기동형사상, 환 자기동형사상, 중심 자기동형사상의 조합으로 이루어져 있다. 증명은 행렬군의 임bedding, 국소환 위의 선형대수학, 그리고 기본 부분군의 구조를 이용하여, 자기동형사상이 환 자기동형사상과 행렬 표현에서의 기저 변화로부터 유도됨을 보이며, 궁극적으로 전체 행렬환 $M_n(R)$의 자기동형사상으로 이어진다.

ABSTRACT

In the paper we prove that every automorphism of any adjoint Chevalley group of types B_2 or G_2 is standard, i.e., it is a composition of the ``inner'' automorphism, ring automorphism and central automorphism.

연구 동기 및 목표

• 1/2와 1/3를 가진 국소환환에서의 고형 Chevalley 군 $B_2$ 및 $G_2$ 유형의 모든 자기동형사상을 분류하는 것.
• 체와 Noetherian 환에서의 Chevalley 군 자기동형사상에 대한 기존 결과를 더 넓은 국소환의 범주로 확장하는 것.
• 그러한 자기동형사상이 표준적임을 보이며, 즉 내부, 환, 중심 자기동형사상의 합성임을 증명하는 것.
• Chevalley 군의 자기동형사상이 그가 포함된 전체 행렬환 $M_n(R)$의 자기동형사상으로 유도됨을 확립하는 것.

제안 방법

• 고형 표현을 이용하여 Chevalley 군 $G_{ad}(R,\Phi)$를 $GL_n(R)$에 임베딩함으로써, 이를 행렬군으로 간주한다.
• 국소환의 성질(예: 행렬식의 유일한 가역성, 가역 계수를 가진 선형방정식계의 해법 가능성 등)을 이용하여 행렬의 구조를 분석한다.
• 기본 부분군 $E_{ad}(R,\Phi)$가 행렬 단위에 대한 작용을 통해 전체 행렬환 $M_n(R)$을 생성함을 보인다.
• 기본 부분군 $E_{ad}(R,\Phi)$를 보존하는 임의의 자기동형사상은 환 자기동형사상 $\rho$와 가역 행렬 $C$에 의한 코너지션으로 유도됨을 증명하여 표준형을 이룬다.
• Weil 군 작용을 이용하여 모든 행렬 단위 $E_{i,j}$를 생성함으로써, 자기동형사상의 상이 전체 행렬 대수를 생성함을 보인다.
• 유도된 군 자기동형사상이 기본 부분군 위에서 항등적으로 고정되는 경우에만 그 자체가 자명함을 보이며, 이는 자기동형사상이 표준적이어야 한다는 것을 강제한다.

실험 결과

연구 질문

• RQ1 국소환에서의 고형 Chevalley 군 $B_2$ 및 $G_2$ 유형의 모든 자기동형사상은 표준적인가, 즉 내부, 환, 중심 자기동형사상의 합성인가?
• RQ2 이러한 Chevalley 군의 자기동형사상군은 국소환 위의 행렬군 기법을 통해 완전히 기술될 수 있는가?
• RQ3 Chevalley 군의 자기동형사상은 그가 포함된 행렬환 $M_n(R)$의 자기동형사상으로 유도되는가?
• RQ4 국소환의 성질—특히 2와 3의 가역성—은 자기동형사상의 분류에 어떻게 기여하는가?
• RQ5 기본 부분군은 전체 자기동형사상군의 구조를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 1/2와 1/3를 가진 국소환 $R$ 위에서 $\Phi = B_2$ 또는 $G_2$인 $G_{ad}(R,\Phi)$의 모든 자기동형사상은 표준적이다. 즉, 내부, 환, 중심 자기동형사상의 합성이다.
• $G_{ad}(R,\Phi)$의 자기동형사상군은 행렬환 $M_n(R)$ 위에서 코너지션과 환 자기동형사상의 작용을 통해 작용하며, 이는 $R$ 위에 자기동형사상 $\rho$를 유도한다.
• 기본 부분군 $E_{ad}(R,\Phi)$는 전체 행렬환 $M_n(R)$을 생성하며, 이를 보존하는 임의의 자기동형사상은 환 자기동형사상과 기저 변화로부터 기인한다.
• 유도된 군 자기동형사상이 기본 부분군 위에서 항등적으로 고정되는 경우에만 그 자체가 항등사상이며, 이는 자기동형사상이 표준적이어야 한다는 것을 강제한다.
• $B_2$ 및 $G_2$의 고형 표현의 차원 $n$은 각각 10과 14이며, $n$이 3으로 나누어지지 않기 때문에 토루스 자기동형사상의 스칼라 인자도 자명해야 한다.
• 따라서 자기동형사상은 환 자기동형사상과 코너지션에 의해 완전히 결정되며, 3차 단위근을 통한 스칼라 곱셈을 제외한 비자명한 중심 자기동형사상은 존재하지 않는다. 이는 차원 조건으로 인해 소멸한다.