[논문 리뷰] Suzuki-Ree groups as algebraic groups over $\mathbb{F}_{\sqrt{\smash[b]p}}$

Tom De Medts, Karsten Naert|arXiv (Cornell University)|2019. 04. 24.

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

한 줄 요약

이 논문은 스즈끼–리 군과 혼합 군이 '틀어진 필드' $ℂ_{\sqrt{p}}$ 위의 대수적 군의 유리점으로서 나타나는 프레임워크를 제시한다. 이는 항등 함자에 대한 자기형사(map)를 통한 새로운 개념의 틀어진 및 혼합 범주를 사용하며, 주로 프로베누스 사상에 기반한다. 핵심 기여는 $ℂ_{\sqrt{p}}$ 에서 $ℂ_p$ 로의 기본 체환(base change)이 틀어진 군을 혼합 군으로 변환하며, 틀어진 강하(descent)가 이 구성에서 유래하는 혼합 군을 식별하는 데 기여한다는 것이다.

ABSTRACT

Among the infinite classes of finite simple groups, the most exotic classes are probably the Suzuki groups and the Ree groups. They are "twisted versions" of groups of Lie type, but they cannot be directly obtained as groups of rational points of a suitable linear algebraic group. We provide a framework in which these groups do arise as groups of rational points of algebraic groups over a "twisted field"; in the finite case, such a twisted field can be interpreted as a "field with $\sqrt{\smash[b]p}$ elements". Our framework at once allows for other, perhaps less known, exotic families of groups. Most notably, there is a class of "mixed groups", introduced by J. Tits but also apparent in the work of Steinberg, and we show that they can be obtained as groups of rational points of algebraic groups over a "mixed field". We show that a base change from $\mathbb{F}_{\sqrt{\smash[b]p}}$ to $\mathbb{F}_p$ transforms twisted groups into mixed groups, and we formulate a notion of "twisted descent" that allows to detect which mixed groups arise in this fashion.

연구 동기 및 목표

• 유한체 위의 표준 대수적 군의 유리점이 아닌 스즈끼–리 군을 위한 통합적인 대수기하학적 프레임워크를 제공하기 위해.
• 요소 수가 $p^{(2n+1)/2}$ 인 체가 존재하지 않는 기본 문제를 해결하기 위해, $ℂ_{\sqrt{p}}$ 와 같은 '틀어진 체'를 도입함으로써.
• 티츠가 도입한 혼합 군으로까지 이 프레임워크를 확장하여, 이들이 혼합 대수적 군의 유리점으로서 나타남을 보여주기 위해.
• 틀어진 범주에서 혼합 범주로의 기본 체환 함자를 수립하여 스즈끼–리 군과 혼합 군을 연결하기 위해.
• 기본 체환을 통해 틀어진 군으로부터 유래하는 혼합 군을 식별하는 기준으로서 '틀어진 강하'를 제안하기 위해.

제안 방법

• 항등 함자에 대한 자기형사 $F$ 를 사용하여 틀어진 대상의 범주를 정의한다. 일반적으로 프로베누스 사상이 이 역할을 한다.
• 상호 작용이 가능한 동형사와 그 역의 쌍으로 이루어진 대상의 쌍으로 혼합 대상의 범주를 구성하며, 이는 강하 데이터로 간주된다.
• 기본 체환을 통해 틀어진 대상으로부터 유래하는 혼합 대상을 식별하기 위해 '틀어진 강하'의 개념을 도입한다.
• $ℂ_{\sqrt{p}}$ 에서 $ℂ_p$ 로의 기본 체환 함자를 사용하여 틀어진 대수적 군을 혼합 대수적 군으로 변환한다.
• 유도된 유리점 군이 새로운 프레임워크를 통해 스즈끼–리 군과 혼합 군을 회복함을 보여준다.
• 루트 계열의 대칭성 덕분에 구성이 가능한, 다이킨 다이어그램 $ℂ_n$, $ℂ_n$, $ℂ_4$, 및 $ℂ_2$ 에 이 те올리를 적용한다.

실험 결과

연구 질문

• RQ1 스즈끼–리 군은 $ℂ_{\sqrt{p}}$ 와 같은 '틀어진 체' 위의 대수적 군의 유리점으로서 실현될 수 있는가?
• RQ2 티츠가 도입한 혼합 군은 '혼합 체' 위의 대수적 군의 유리점으로서 체계적으로 구성될 수 있는가?
• RQ3 틀어진 군($ℂ_{\sqrt{p}}$ 에서의)과 혼합 군($ℂ_p$ 에서의) 사이의 정확한 관계는 무엇인가?
• RQ4 어떤 혼합 군이 틀어진 군의 기본 체환으로서 유래하는가? 이를 보장하는 조건은 무엇인가?
• RQ5 강하 이론은 혼합 군으로부터 틀어진 군을 복원하는 데 어떤 역할을 하는가?

주요 결과

• 스즈끼–리 군 ${}^{2}\mathsf{B}_{2}(2^{2n+1})$, ${}^{2}\mathsf{F}_{4}(2^{2n+1})$, 및 ${}^{2}\mathsf{G}_{2}(3^{2n+1})$ 는 $ℂ_{\sqrt{p}}$ 위의 틀어진 선형 대수적 군의 유리점으로서 나타난다.
• 티츠의 혼합 빌딩에서 기인한 혼합 군은 $ℂ_p$ 위의 혼합 선형 대수적 군의 유리점으로서 나타난다.
• $ℂ_{\sqrt{p}}$ 에서 $ℂ_p$ 로의 기본 체환은 틀어진 군을 혼합 군으로 변환한다.
• 혼합 군이 틀어진 강하를 가질 조건은, $\tau f \circ f = \mathrm{id}$ 를 만족하는 자기형사 $f$ 가 존재할 때이며, 이는 $\operatorname{\mathbf{c}}_1 \cong \operatorname{\mathbf{c}}_2$ 를 함의한다.
• 틀어진 대상의 범주는 $\tilde{X} \mapsto (\operatorname{twix}\tilde{X}, \mathrm{id})$ 를 통해 강하 데이터를 지닌 혼합 대상의 범주에 완전하고 본질적으로 충실한 포함을 가지며, 이는 완전한 동치를 수립한다.
• 이 프레임워크는 모든 다이킨 유형 $ℂ_n$, $ℂ_n$, $ℂ_4$, 및 $ℂ_2$ 에 적용 가능하며, $​\mathsf{B}_2 \cong \mathsf{C}_2$ 가 성립하는 $​\mathsf{B}_2$ 경우만이 스즈끼 군의 구성에 기여한다.