[논문 리뷰] The Arason invariant of orthogonal involutions of degree 12 and 8, and quaternionic subgroups of the Brauer group

Anne Quéguiner-Mathieu, Jean-Pierre Tignol|arXiv (Cornell University)|2014. 06. 30.

Algebraic structures and combinatorial models인용 수 7

한 줄 요약

이 논문은 중심 단순 대수에서 분해형 불변량 $ f_3(\sigma) $ 를 도입하여, 12차와 8차 대수에 대한 직교적 불변량을 정교화한다. 이는 Arason 불변량 $ e_3(\sigma) $ 를 $ H^3(F, \mathbb{Q}/\mathbb{Z}(2)) $ 의 순서 2인 코homology 클래스로 올리지 못하는지를 측정한다. 주요 기여는 12차 대수에 대한 분해형 불변량을 3개의 분해형 불변량이 0인 4차 대수로 분해하여, Arason 불변량을 Peyre의 복합체의 호모로지와 연결하고, 어떤 이차 확장이 대수와 불변량을 모두 초과시키면 이 불변량이 0이 되는 것을 증명하는 것이다.

ABSTRACT

Using the Rost invariant for torsors under Spin groups one may define an analogue of the Arason invariant for certain hermitian forms and orthogonal involutions. We calculate this invariant explicitly in various cases, and use it to associate to every orthogonal involution with trivial discriminant and trivial Clifford invariant over a central simple algebra of even co-index a cohomology class $f_3$ of degree 3 with $μ_2$ coefficients. This invariant $f_3$ is the double of any representative of the Arason invariant; it vanishes when the algebra has degree at most 10, and also when there is a quadratic extension of the center that simultaneously splits the algebra and makes the involution hyperbolic. The paper provides a detailed study of both invariants, with particular attention to the degree 12 case, and to the relation with the existence of a quadratic splitting field.

연구 동기 및 목표

• Arason 불변량 $ e_3(\sigma) $ 가 $ H^3(F, \mathbb{Q}/\mathbb{Z}(2)) $ 의 순서 2인 코homology 클래스로 올라가는지를 측정하는 보다 정교한 불변량 $ f_3(\sigma) $ 를 정의하고 연구하기.
• 특히 대수가 분해형 불변량과 클리포드 불변량이 0일 때, 중심 단순 대수의 12차 및 8차 직교적 불변량에 대해 Arason 불변량을 확장하기.
• 분해형 불변량이 0인 12차 대수에 대한 불변량을 3개의 분해형 불변량이 0인 4차 대수로 분해하여, 펠리스터의 이차형식에 대한 분해를 일반화하기.
• 부분군 $ U $ 에 대해 3차 갈로아 코hom로지 그룹을 포함하는 Peyre의 복합체와 관련된 호모로지와 Arason 불변량을 연결하기.
• 모든 대수가 인덱스가 2 이하인 삼중체에 대해 Arason 불변량의 정의를 확장하기.

제안 방법

• 분해형 불변량과 클리포드 불변량이 0인 직교적 불변량에 대해 $ \mathrm{Spin} $ 군의 Rost 불변량을 사용하여 절대 Arason 불변량 $ e_3(\sigma) $ 를 정의한다.
• Arason 불변량 $ e_3(\sigma) $ 의 어떤 대표자에 대해 두 배를 취하여 $ f_3(\sigma) \in H^3(F, \mu_2) $ 를 정의하며, 이는 $ e_3(\sigma) $ 가 순서 2인 클래스로 표현될 때 정확히 0이 된다.
• 문헌 [17] 의 열린 궤도 논증을 사용하여, 분해형 불변량이 0인 12차 대수에 대한 불변량 $ (A,\sigma) $ 를 3개의 분해형 불변량이 0인 4차 대수에 대한 직교적 불변량으로 애드티브하게 분해한다.
• 각 분해에 대해 최대 3개의 이중형 대수로 생성되는 부분군 $ U \subset \mathrm{Br}(F) $ 를 할당하고, $ e_3(\sigma) $ 와 Peyre의 복합체 $ F^\times \cdot U \to H^3(F, \mathbb{Q}/\mathbb{Z}(2)) \to H^3(F_U, \mathbb{Q}/\mathbb{Z}(2)) $ 의 호모로지 사이의 관계를 설정한다.
• $ f_3(\sigma) = f_3(W) $ 를 임의의 분해군 $ W $ 에 대해 증명하고, $ \overline{e_3(\sigma)}^W $ 가 Peyre의 복합체의 호모로지 군 $ \mathcal{H}_W $ 를 생성함을 보인다.
• 클리포드 대수의 짝수 및 홀수 부분에 대한 표준 불변량 $ \sigma^+ $ 와 $ \sigma^- $ 를 사용하여 $ e_3(\sigma) = e_3(\sigma^+) = e_3(\sigma^-) $ 와 $ f_3(\sigma) = f_3(\sigma^+) = f_3(\sigma^-) $ 를 증명한다.

실험 결과

연구 질문

• RQ1 중심 단순 대수 $ A $ 에 대한 직교적 불변량 $ \sigma $ 의 Arason 불변량 $ e_3(\sigma) $ 이 $ H^3(F, \mathbb{Q}/\mathbb{Z}(2)) $ 의 순서 2인 코homology 클래스로 올라가는가?
• RQ2 분해형 불변량과 클리포드 불변량이 0일 때, Arason 불변량을 12차 및 8차 대수에 대해 의미 있게 확장할 수 있는가?
• RQ3 12차 대수에 대한 불변량이 3개의 분해형 불변량이 0인 4차 대수로 분해될 때, 클리포드 성분이 생성하는 브라우어 군 부분군 $ U $ 의 구조는 어떠한가?
• RQ4 Arason 불변량 $ e_3(\sigma) $ 는 분해군 $ U $ 와 관련된 Peyre의 복합체의 호모로지와 어떻게 관련되어 있는가?
• RQ5 불변량 $ f_3(\sigma) $ 가 언제 0이 되며, 이는 $ (A,\sigma) $ 가 이차 분할체를 가지는 것과 어떻게 관련되어 있는가?

주요 결과

• 불변량 $ f_3(\sigma) $ 는 $ e_3(\sigma) $ 가 $ H^3(F, \mathbb{Q}/\mathbb{Z}(2)) $ 의 순서 2인 클래스로 표현될 때 정확히 0이 되며, $ \deg A \leq 10 $ 이거나 $ A $ 와 $ \sigma $ 가 모두 초과되는 이차 확장이 존재할 때도 0이 된다.
• 분해형 불변량과 클리포드 불변량이 0인 12차 대수에 대한 직교적 불변량은 3개의 분해형 불변량이 0인 4차 대수로 분해 가능하며, 이는 이차형식에 대한 펠리스터의 분해를 일반화한다.
• 합성 성분의 클리포드 성분은 $ \mathrm{Br}(F) $ 의 부분군 $ U $ 를 생성하며, 여기서 각 원소는 이중형 대수로 표현되며, $ e_3(\sigma) $ 는 $ U $ 와 관련된 Peyre의 복합체의 호모로지 군을 생성한다.
• Arason 불변량은 $ e_3(\sigma) = e_3(\sigma^+) = e_3(\sigma^-) $ 를 만족하며, $ f_3(\sigma) = f_3(\sigma^+) = f_3(\sigma^-) $ 이다. 여기서 $ \sigma^+ $ 와 $ \sigma^- $ 는 클리포드 대수의 짝수 및 홀수 부분에 대한 표준 불변량이다.
• 임의의 분해군 $ W $ 에 대해 불변량 $ f_3(\sigma) $ 는 $ f_3(W) $ 와 같으며, $ \overline{e_3(\sigma)}^W $ 는 $ W $ 와 관련된 Peyre의 복합체의 호모로지 군 $ \mathcal{H}_W $ 를 생성한다.
• 논문은 12차 경우의 결과를 바탕으로, 모든 세 대수가 인덱스가 2 이하인 삼중체에 대해 Arason 불변량의 정의를 확장한다.