[논문 리뷰] Isomorphism classes of $k$-involutions of algebraic groups of type $E_6$

John Hutchens|arXiv (Cornell University)|2015. 04. 17.

Advanced Algebra and Geometry참고 문헌 19인용 수 4

한 줄 요약

이 논문은 특성 2 또는 3이 아닌 체 위의 분할 대수적 군 $\operatorname{E}_6$ 유형에 대한 $k$-involutions(순서 2의 자기동형사상)의 동형류를 분류한다. 이는 알버트 대수의 등장도 그룹과 브라운 대수의 자기동형사상 그룹을 모두 활용한다. 주요 결과는 퀼레르터 대수와 갈루아 코hom로 연결된 불변량을 통한 이러한 $k$-involutions의 완전한 분류이며, 대수적으로 닫힌, 실수, 유한, $p$-진 수체 위에서의 명시적 대표 원소를 제공한다.

ABSTRACT

Automorphisms of order $2$ are studied in order to understand generalized symmetric spaces. The groups of type $E_6$ we consider here can be realized as both the group of linear maps that leave a certain determinant invariant, and also as the identity component of the automorphism group of a class of structurable algebras known as Brown algebras. We will classify the $k$-involutions of these groups of type $E_6$ using aspects of both descriptions, and give detailed descriptions of representatives over certain fields including algebraically closed fields, $\mathbb{R}$, $\mathbb{F}_p$, and $\mathbb{Q}_p$.

연구 동기 및 목표

• 특성 2 또는 3이 아닌 체 위의 분할 대수적 군 $\operatorname{E}_6$ 유형의 $k$-involutions를 분류하는 것.
• 고정점 군이 $k$-involutions인 대칭 $k$-다양체 $G(k)/H(k)$의 구조를 이해하는 것.
• $\operatorname{E}_6$의 두 실현 방식을 통합하는 것: 하나는 알버트 대수의 등장도 그룹으로서이고, 다른 하나는 브라운 대수의 자동사상 그룹의 항등성분으로서이다.
• G(k)-등장도 클래스와 루트 데이터 위의 적합한 인벌루션을 포함하는 불변량을 통한 $k$-involutions의 동형류 결정.
• 대수적으로 닫힌, 실수, 유한, $p$-진 수체 위에서의 동형류에 대한 명시적 대표 원소 제공.

제안 방법

• 분할 알버트 대수 $J$에 대해 $\operatorname{Inv}(J)$와 브라운 대수 $B$에 대해 $\operatorname{Aut}^+(B)$로 표현되는 $\operatorname{E}_6$의 이중 실현을 이용하여 $k$-involutions를 분석한다.
• 특히 $H^1(k, \mu_2)$를 활용한 갈루아 코호몰로지 이론을 적용하여 $k$-내부 원소를 분류하고, 이와 $k$-involutions의 동형류를 연결한다.
• $\mathbb{Z}_2$-gradation이 리 대수에 대해 정의될 때와 $k$-involutions 사이의 대응을 활용하며, 내부 $k$-involutions는 $\operatorname{Aut}(\mathcal{A})$에 $\mu_2$의 임베딩으로 기여함을 이용한다.
• 특히 퀄레르터 대수의 구조를 활용하여 $k$-involutions의 동형류 변화를 기술한다.
• 세밀한 아벨 군의 $\mathbb{Z}_2$-gradation 이론과 자동사상 그룹의 등장도에 의한 등가성 관계를 활용하여 $\mathfrak{e}_6$ 위의 gradation을 $k$-involutions와 연결한다.
• 특정 대수의 $K/k$-형태에 대한 갈루아 코호몰로지 클래스와 $H^1(k, Z_G(r))$ 사이의 이분법적 대응을 활용하여 코호몰로지 불변량을 $k$-involutions의 동형류와 연결한다.

실험 결과

연구 질문

• RQ1 분할 $\operatorname{E}_6$ 군의 $k$-involutions의 동형류는 체 $k$에 따라 어떻게 달라지나?
• RQ2 퀄레르터 대수는 $\operatorname{E}_6$의 $k$-involutions의 동형류를 매개화하는 데 어떤 역할을 하는가?
• RQ3 루트 데이터의 불변량과 $G(k)$-등장도 클래스를 포함하는 $k$-내부 원소는 $k$-involutions를 어떻게 분류하는가?
• RQ4 대수적으로 닫힌, 실수, 유한, $p$-진 수체 위에서의 $k$-involutions의 명시적 구조는 무엇인가?
• RQ5 정의 표현(알버트, 브라운, 옥터니언 대수) 위의 gradation은 $\operatorname{E}_6$의 $k$-involutions와 어떻게 대응되는가?

주요 결과

• $k$-involutions의 동형류는 루트 데이터 위의 적합한 인벌루션과 $G(k)$-등장도 클래스를 포함하는 불변량을 통해 분류된다.
• 동형류의 변화는 주로 $k$ 위의 특정 퀄레르터 대수의 등장도 클래스에 의해 결정되며, 이는 레마 5.8에서 보여진다.
• 정리 5.9는 $J$가 분할일 경우 $\operatorname{Inv}(J)$와 $\operatorname{Aut}^+(B)$의 $k$-involutions의 동형류를 코호몰로지 및 대수적 불변량을 통해 결정하는 방법을 제공한다.
• 정리 5.10은 대수적으로 닫힌 체, $\mathbb{R}$, 유한체, $\mathfrak{p}$-진 수체 위에서의 $k$-involutions의 동형류에 대한 명시적 대표 원소를 제공한다.
• 분류는 $\operatorname{E}_6$가 알버트 대수의 등장도 그룹이자 브라운 대수의 자동사상 그룹의 항등성분임을 이용하여 통합적인 접근이 가능하다.
• $\mathbb{Z}_2$-gradation과 $k$-involutions 사이의 대응은 $\operatorname{Aut}(\mathcal{A})$에 $\mu_2$의 임베딩을 통해 확립되며, $\mathcal{A}$ 위의 gradation은 $\mathfrak{e}_6$ 위의 대응 gradation을 유도한다.