[논문 리뷰] Orthogonal involution on algebras of degree 16 and the Killing form of E8

Skip Garibaldi|arXiv (Cornell University)|2007. 12. 26.

Algebraic Geometry and Number Theory참고 문헌 38인용 수 10

한 줄 요약

이 논문은 중심 단순 대수에서 직교적 호환성을 갖는 16차 대수에 대해 $E_8$ 형식의 군을 구성하고, 이들의 카일링 형식을 비틀린 $A_1$ 부분군으로의 제한을 통해 계산한다. $I^3$ 내의 이러한 대수에 대해 아라존 불변량 $e_3$를 확장하여, 일반적인 피피스터 형식을 탐지하고, 홀수 차수 확장과 추측을 가정할 경우, 이 $E_8$ 군들은 자명한 로스트 불변량을 갖는 모든 $E_8$ 군을 포함함을 보여준다.

ABSTRACT

We exploit various inclusions of algebraic groups to give a new construction of groups of type E8, determine the Killing forms of the resulting E8's, and define an invariant of central simple algebras of degree 16 with orthogonal involution "in I^3", equivalently, groups of type D8 with a half-spin representation defined over the base field. The determination of the Killing form is done by restricting the adjoint representation to various twisted forms of PGL2 and requires very little computation. An appendix by Kirill Zainoulline contains a type of "index reduction" result for groups of type D.

연구 동기 및 목표

• 16차 중심 단순 대수에 직교적 호환성을 갖는 $e_3$ 아라존 불변량을 $I^3$ 내에서 확장하여, 이는 이전에 이차형식에 대해 알려진 행동을 일반화한다.
• quaternion 대수에 심플렉틱 호환성을 갖는 것과 16차 대수에 직교적 호환성을 갖는 것을 결합하여 $E_8$ 형식의 대수적 군을 구성한다.
• 카일링 형식을 계산하기 위해 고도로 복잡한 계산을 피하기 위해, 인접 표현을 비틀린 $\operatorname{PGL}_2$ 형태로 제한한다.
• 불변량 $e^{16}_3$와 로스트 불변량 사이의 연결 고리를 확립하여, 이 구성이 수체 위에서 자명한 로스트 불변량을 갖는 모든 $E_8$ 군을 포괄함을 보여준다.
• $\deg A / \operatorname{ind} A$ 가 홀수일 때, 세버리-브라우어 다양체의 함수체 위에서 16차 대수에 대한 직교적 호환성이 비초기형임을 $J$-불변량과 모티빅 기법을 사용하여 증명한다.

제안 방법

• 대수 $A$의 세버리-브라우어 다양체의 함수체를 사용하여, $e^{16}_3(A,\sigma)$를 정의함으로써, 16차 대수에 직교적 호환성을 갖는 아라존 불변량 $e_3$를 확장한다.
• $\operatorname{PGL}_2 \times \operatorname{PSp}_8 \times \boldsymbol{\mu}_2 \subset \operatorname{HSpin}_{16}$ 포함관계를 이용하여, 분해 가능한 호환성 $ (Q,\bar{\,}) \otimes (C,\gamma) $ 에서 $e^{16}_3$ 의 공식을 유도한다.
• $E_8$ 군의 카일링 형식을 비틀린 $\operatorname{PGL}_2$ 형태로의 제한을 통해 계산하며, 이는 $A_1$ 군과 동형이므로 계산을 단순화한다.
• $\operatorname{HSpin}(A,\sigma)$ 와 $\operatorname{PGL}(A)$ 의 $J$-불변량을 이용한 모티빅 기법을 적용하여, $\deg A / \operatorname{ind} A$ 가 홀수일 때 호환성이 비초기형임을 증명한다.
• 로스트 불변량과 [PSZ]의 모티빅 분해 구조를 이용하여, 초기형일 경우의 가정 하에 모순을 도출한다.
• 자이노울린의 부록에서 얻은 결과를 활용하여, $\operatorname{HSpin}_{16}$ 의 $J$-불변량은 $\frac{1}{4}\deg A = 4$ 개의 홀수 $d_i$ 를 갖는다. 반면 $\operatorname{PGL}_{16}$ 은 단일한 $J$-불변량 항목을 갖는다. 이는 호환성이 초기형인 경우에 모순을 일으킨다.

실험 결과

연구 질문

• RQ1 16차 중심 단순 대수에 직교적 호환성을 갖는 아라존 불변량 $e_3$ 는 $I^3$ 내에서 확장 가능한가?
• RQ2 quaternion 대수와 16차 대수에 직교적 호환성을 갖는 것의 텐서곱으로 구성된 $E_8$ 군의 카일링 형식은 무엇인가?
• RQ3 어떤 필드 위에서 이 구성으로부터 유래하는 $E_8$ 군은 무엇이며, 자명한 로스트 불변량을 갖는 군들과의 관계는 어떠한가?
• RQ4 어떤 조건에서 16차 대수에 대한 직교적 호환성이 세버리-브라우어 다양체의 함수체 위에서 비초기형인가?
• RQ5 $\operatorname{HSpin}_{16}$ 과 $\operatorname{PGL}_{16}$ 의 $J$-불변량은 어떻게 다를 수 있으며, 이는 호환성의 초기형에 어떤 함의를 갖는가?

주요 결과

• 16차 중심 단순 대수 $A$ 와 $I^3$ 내의 직교적 호환성 $\sigma$ 에 대해 불변량 $e^{16}_3(A,\sigma)$ 는 잘 정의되어 있으며, $(A,\sigma)$ 가 일반적으로 피피스터 형식인지 탐지할 수 있다.
• $ (Q,\bar{\,}) \otimes (C,\gamma) $ 를 통한 $E_8$ 군의 구성은 수체 위에서 기저 필드의 홀수 차수 확장까지 고려할 때 모든 $E_8$ 군을 포괄한다.
• 유도된 $E_8$ 군의 카일링 형식은 비틀린 $\operatorname{PGL}_2$ 형태로의 제한을 통해 계산되며, 이는 이전 방법보다 계산을 단순화한다.
• $\operatorname{HSpin}_{16}$ 의 $J$-불변량은 $\frac{1}{4}\deg A = 4$ 개의 홀수 $d_i$ 를 갖는다. 반면 $\operatorname{PGL}_{16}$ 은 단일한 $J$-불변량 항목을 갖는다. 이는 $\deg A / \operatorname{ind} A$ 가 홀수일 경우 호환성이 초기형인 가정 하에 모순을 일으킨다.
• $e^{16}_3$ 가 영이 되는 것은 오직 호환성이 일반적으로 피피스터 형식일 때뿐이며, 이는 관련된 $E_8$ 군의 로스트 불변량이 0일 때와 일치한다.
• $D_8$ 군에 대한 추측이 참이라면, 이 구성은 필드 $k$ 위에서 자명한 로스트 불변량을 갖는 모든 $E_8$ 군을 생성하며, 이는 수체에서 검증되었다.