[논문 리뷰] Non-separability and complete reducibility: $E_n$ examples with an application to a question of Külshammer

Tomohiro Uchiyama|arXiv (Cornell University)|2015. 10. 04.

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

한 줄 요약

이 논문은 특성 2에서 단순 대수적 군 $G$가 $E_n$ 형식($n=6,7,8$)인 경우, $H < M < G$인 유한부분군의 새로운 예를 구성한다. 여기서 $H$는 $G$-완전적으로 가역적($G$-cr)이지만 $M$-완전적으로 가역적이지 않다. 기하학적 불변량 이론(GIT)과 Magma를 이용한 명시적 계산을 통해, $E_6$에 대해 11개, $E_7$에 대해 1개, $E_8$에 대해 2개의 예를 제시하며, 비분리 작용과 완전가역성의 유리성 문제를 해결한다.

ABSTRACT

Let $G$ be a simple algebraic group of type $E_n (n=6,7,8)$ defined over an algebraically closed field $k$ of characteristic $2$. We present examples of triples of closed reductive groups $H

연구 동기 및 목표

• 특성 2에서 형식 $E_n$($n=6,7,8$)인 예외적 군 $G$에 대해, $H$가 $G$-완전가역적이지만 $M$-완전가역적이지 않은 삼중체 $H < M < G$의 명시적 예를 구성하는 것.
• 유한군의 재조합 표현에 관한 Külshammer의 질문을 비분리 부분군의 구조 분석을 통해 다루는 것.
• 특히 비분리 작용의 맥락에서 부분체 위에서의 $G$-완전가역성의 유리성 문제를 조사하는 것.
• $E_n$ 군 내 특정 부분군의 쌍대류와 그 자동환화 작용 하에서의 행동을 탐구하는 것.
• 완전가역성 맥락에서 분리성의 역할과 재조합 쌍의 이해를 확장하는 것.

제안 방법

• 각각 $G = E_6, E_7, E_8$에 대해 형식 $A_5$, $A_7$, 또는 $A_7$인 리 대수의 리 대칭군 $L$와 최대 토러스 $T$를 고정하고, 그에 대응하는 불가약 부분군 $P$와 유니포텐트 루트 $R_u(P)$를 고려한다.
• Weyl 군 $W_L$의 유한부분군 $K'$를 식별하여, $R_u(P)$에 대해 비분리적으로 작용하도록 하되, $K'$의 전역 및 무한소 중심화자 간의 차이를 조건으로 사용한다.
• $T$의 적절한 원소 $t$를 추가함으로써 $K'$를 $G$-완전가역적 부분군 $K$로 안정화시키되, $K$가 여전히 $R_u(P)$에 대해 비분리적으로 작용하도록 보장한다.
• $R_u(P)$ 내의 1차원 곡선 $C$에 속한 $v$를 선택하여 $H = vKv^{-1}$를 구성한다. 이때 $T_1(C)$가 $K$의 중심화자의 리 대수에는 속하지만, 고정점군 $C_{R_u(P)}(K)$의 리 대수에는 속하지 않도록 한다.
• 기하학적 불변량 이론의 보조정리 2.4를 사용하여, $H$가 $G$-완전가역적임은 물론이지만 $M$-완전가역적이지 않음을 검증한다.
• 특히 $E_6$, $E_7$, $E_8$에서의 군 작용, 루트 체계, 쌍대류를 확인하기 위해 Magma를 활용한 계산을 수행한다.

실험 결과

연구 질문

• RQ1 특성 2에서 형식 $E_n$($n=6,7,8$)인 $G$에 대해, $H$가 $G$-cr이지만 $M$-cr이 아닌 유한부분군 $H < M < G$의 명시적 예를 구성할 수 있는가?
• RQ2 비분리성이 $H$가 $G$-cr이지만 $M$-cr이 아닌 경우에 실패하는 데 어떤 역할을 하는가?
• RQ3 특히 비분리 작용의 맥락에서 부분체 위에서의 $G$-완전가역성의 유리성은 어떻게 행동하는가?
• RQ4 $G$-cr이지만 재조합 부분군 $M$에 대해 $M$-cr이 아닌 유한군의 비쌍대적 표현은 존재하는가?
• RQ5 특히 비분리 작용이 일어나는 경우, $E_n$ 군 내 특정 유한부분군의 쌍대류의 구조는 어떻게 되는가?

주요 결과

• 저자는 특성 2에서 $G = E_6$인 경우, $H$가 $G$-완전가역적이지만 $M$-완전가역적이지 않은 유한부분군 $H < M < G$에 대해 11개의 명시적 예를 구성한다.
• $G = E_7$에 대해 한 개의 새로운 예, $G = E_8$에 대해 두 개의 예를 제공하며, 모두 동일한 조건을 만족한다.
• 구성된 부분군 $H$는 이론적으로 요구되는 바에 따라 $G$에서 비분리적이다. 만약 $H$가 분리적이었다면, $G$-cr이면 항상 $M$-cr이었을 것이다.
• 증명은 기하학적 불변량 이론의 핵심 기하 기준(보조정리 2.4)에 기반하며, 중심화자 조건의 실패를 통해 비-$M$-완전가역성을 검증한다.
• 예들은 부분체 위에서의 $G$-완전가역성의 유리성이 비분리성으로 인해 실패할 수 있음을 보여주며, $H$가 $G$-cr이더라도 그렇다.
• 논문은 표현 $(\rho_a, \rho_b)$가 $a = b$일 때만 $G$-쌍대화 가능하다는 것을 보여주며, $E_n$ 군 내 특정 유한부분군의 비쌍대화 가능성을 확인한다.