[논문 리뷰] Reality Properties of Conjugacy Classes in G_2

Anupam Singh, Maneesh Thakur|ArXiv.org|2008. 04. 08.

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

한 줄 요약

이 논문은 2가지 특성의 체 위의 $G_2$ 형식의 대수적 군에서의 켤레류의 진실성 성질을 조사하며, 반단순 원소가 두 개의 불변원의 곱임과 동치로 진실임을 보이고, 유립원소는 항상 두 불변원의 곱임을 증명한다. 주요 결과로는, $ \mathrm{cd}(k) \leq 1$일 때 $G_2(k)$의 반단순 원소는 항상 진실이며, 이에 대한 장애물은 삼차 확장의 브라우어 군과 관련이 있다.

ABSTRACT

Let $G$ be an algebraic group over a field $k$. We call $g\in G(k)$ {\bf real} if $g$ is conjugate to $g^{-1}$ in $G(k)$. In this paper we study reality for groups of type $G_2$ over fields of characteristic different from 2. Let $G$ be such a group over $k$. We discuss reality for both semisimple and unipotent elements. We show that a semisimple element in $G(k)$ is real if and only if it is a product of two involutions in $G(k)$. Every unipotent element in $G(k)$ is a product of two involutions in $G(k)$. We discuss reality for $G_2$ over special fields and construct examples to show that reality fails for semisimple elements in $G_2$ over $\Q$ and $\Q_p$. We show that semisimple elements are real for $G_2$ over $k$ with $cd(k)\leq 1$. We conclude with examples of nonreal elements in $G_2$ over $k$ finite, with characteristic $k$ not 2 or 3, which are not semisimple or unipotent.

연구 동기 및 목표

• 특성 $\neq 2$인 체 $k$에 대해 $G_2(k)$의 원소가 $G(k)$에서 그 역과 켤레임을 이루는 조건을 규명하는 것, 즉 진실성의 조건을 결정하는 것.
• 반단순 및 유립원소가 두 불변원의 곱임을 특성화하여, 진실성과 군론적 및 코homological한 구조를 연결하는 것.
• $\mathbb{Q}$ 및 $\mathbb{Q}_p$에서 반단순 원소의 진실성 실패를 분석하고, 특성 $\neq 2,3$인 유한체 $k$에 대해 $G_2(k)$에서 비진실 원소의 구체적 예를 구성하는 것.
• 코homological 방법과 스텐버그 정리에 기반하여, $\mathrm{cd}(k) \leq 1$일 때 $G_2(k)$의 모든 반단순 원소가 진실임을 증명하는 것.
• 반단순 원소가 분해 불가능 토리에서 진실이 되지 못하는 장애를 삼차 체 확장의 상대 브라우어 군을 통해 해석하는 것.

제안 방법

• 체 $k$ 위에서 옥타니온 대수의 자동사군으로서 $G_2$를 실현하며, 유일한 옥타니온 대수 $\mathfrak{C}$에 대해 $G \cong \mathrm{Aut}(\mathfrak{C})$의 동형을 활용하는 것.
• G_2의 최대 토리의 구조를 이용하여 분해 가능 및 분해 불가능 토리를 구분하고, 반단순 원소를 퀼러티언 또는 이차 에탈 부분대수 위에서의 작용을 통해 분석하는 것.
• Wonenburger의 정리(특성 $\neq 2$인 $SU(3)$ 및 $SL(3)$ 부분군에서의 불변원 곱에 관한)을 적용하여, 진실성 문제를 고전군에서 알려진 결과로 환원하는 것.
• Galois 코hom올로지와 정확한 수열 $1 \to T \to N(T) \to W \to 1$을 사용하며, $\mathrm{cd}(k) \leq 1$일 때 $H^1(k,T) = 0$이므로, 웨일 군 원소 $w_0 = -1$이 $G(k)$로 올라가는 것을 보장하는 것.
• 삼차 확장 $\mathcal{E}/L$에 대해 $L^1 / N(\mathcal{E}^1)$ 및 $k^* / N(\mathcal{F}^*)$의 몫을 통해 진실성의 장애를 분석하고, 브라우어 군 해석을 제공하는 것.
• 특성 $\neq 2,3$인 유한체, $\mathbb{Q}$, $\mathbb{Q}_p$에서 $SU(3)$-유형 부분군의 고유값 및 행렬식 모순을 통해 $G_2(k)$에서의 비진실 원소를 직접 구성하는 것.

실험 결과

연구 질문

• RQ1 특성 $\neq 2$인 체 $k$에 대해 $G_2(k)$의 반단순 원소가 $G(k)$에서 그 역과 켤레임을 이루는 조건은 무엇인가?
• RQ2 특성 $\neq 2$인 체 $k$에 대해 $G_2(k)$의 반단순 원소가 두 불변원의 곱이 되는 조건은 무엇인가?
• RQ3 $\mathbb{Q}$ 및 $\mathbb{Q}_p$에서 반단순 원소의 진실성이 실패하는 이유는 무엇인가, 비록 그 군이 재수성임에도 불구하고?
• RQ4 반단순 원소가 분해 불가능 토리에서 진실이 되지 못하는 데에 대한 코homological 또는 Galois 이론적 장애는 무엇인가?
• RQ5 $G_2(k)$에서 반단순나 유립원소가 아닌 비진실 원소가 존재할 수 있으며, 만약 그렇다면 어떤 체에서 존재하는가?

주요 결과

• 반단순 원소가 $G_2(k)$에서 진실임은 두 불변원의 곱임과 동치이며, 이는 진실성의 군론적 특성화를 제공한다.
• 모든 유립원소는 $G(k)$에서 두 불변원의 곱이며, 따라서 진실이다.
• 분해 가능 토리에 속한 반단순 원소는 $SL(3)$ 또는 $SU(3)$ 부분군에의 내재 구조로 인해 항상 진실이다.
• $\mathrm{cd}(k) \leq 1$인 체, 예를 들어 유한체일 경우, $H^1(k,T) = 0$이므로 웨일 군 원소 $w_0 = -1$이 $G(k)$로 올라가므로 $G_2(k)$의 모든 반단순 원소는 진실이다.
• $\mathbb{Q}$ 및 $\mathbb{Q}_p$에서는 $SU(3)$-유형 부분군의 고유값 및 행렬식 모순을 통해 비진실 반단순 원소가 존재한다.
• 특성 $\neq 2,3$인 유한체 $k$에 대해 $G_2(k)$에는 반단순나 유립원소가 아닌 비진실 원소가 존재하며, 이는 반단순 및 유립원소 외의 경우에도 진실성이 실패할 수 있음을 보여준다.