[논문 리뷰] Decomposability of orthogonal involutions in degree 12

Anne Quéguiner-Mathieu, Jean-Pierre Tignol|arXiv (Cornell University)|2019. 11. 05.

Finite Group Theory Research참고 문헌 17인용 수 1

한 줄 요약

이 논문은 분석적 결정계수와 클리포드 불변량이 모두 0인 12차 중심 단순 대수에서의 직교적 불변량에 대한 텐서 분해를 수립한다. 이는 2차 형식의 피슈터의 고전적 결과를 확장하며, 코homological 방법을 통해 f3 불변량을 계산할 수 있게 하여, 이러한 불변량의 존재 조건을 제시하고 분해 성분의 불변량에 대한 f3(σ)의 공식을 제공한다.

ABSTRACT

A theorem of Pfister asserts that every $12$-dimensional quadratic form with trivial discriminant and trivial Clifford invariant over a field of characteristic different from $2$ decomposes as a tensor product of a binary quadratic form and a $6$-dimensional quadratic form with trivial discriminant. The main result of the paper extends Pfister's result to orthogonal involutions: every central simple algebra of degree $12$ with orthogonal involution of trivial discriminant and trivial Clifford invariant decomposes into a tensor product of a quaternion algebra and a central simple algebra of degree $6$ with orthogonal involutions. This decomposition is used to establish a criterion for the existence of orthogonal involutions with trivial invariants on algebras of degree $12$, and to calculate the $f_3$-invariant of the involution if the algebra has index $2$.

연구 동기 및 목표

• 12차 이차 형식에서 분석적 결정계수와 클리포드 불변량이 모두 0인 피슈터의 분해 정리가 12차 중심 단순 대수에서의 직교적 불변량으로 확장되는가를 연구한다.
• 12차 대수에서 분석적 결정계수와 클리포드 불변량이 모두 0인 직교적 불변량의 존재 조건을 설정한다.
• 특히 대수의 지표 ≤2일 경우, 새로운 분해를 통해 이러한 불변량의 f3 코homological 불변량을 계산한다.

제안 방법

• 6차 대수에서 유니타리 불변량의 내림 정리를 사용하여 12차 대수에서의 직교적 불변량의 텐서 분해를 구성한다.
• 불변량을 (A, σ) ≃ (A₀, σ₀) ⊗ (H, ρ) 형태로 표현하며, 여기서 H는 허니 quaternion 대수이고 (A₀, σ₀)는 직교적 불변량을 가진 6차 중심 단순 대수이다.
• 분해 군 내의 quaternion 대수의 노름 형식의 합에 대해 일반화된 아라존 불변량 e3를 적용한다.
• 성분의 불변량에 대한 식을 유도하며, 유클리드 군의 항등식과 코homological 관계를 사용한다.
• 관계 [Q] + [H] + [H′] = 0을 통해 형식 nQ − nH − ⟨d⟩nH′ 가 I³F에 속함을 보장하여 f3(σ) ∈ H³(F, μ₂)의 정의를 가능하게 한다.
• 분해 조건 하에서 f3(σ)와 (de) · [Q] 또는 (de) · [H′]의 동치성을 확립하여 계산 가능한 표현을 제공한다.

실험 결과

연구 질문

• RQ1 분석적 결정계수와 클리포드 불변량이 모두 0인 12차 이차 형식의 피슈터 분해가 12차 중심 단순 대수에서의 직교적 불변량으로 확장 가능한가?
• RQ2 어떤 조건이 12차 대수에서 분석적 결정계수와 클리포드 불변량이 모두 0인 직교적 불변량의 존재를 보장하는가?
• RQ3 이러한 불변량의 f3 코homological 불변량은 어떻게 그 텐서 분해로부터 계산할 수 있는가?
• RQ4 분해 (A, σ) ≃ (A₀, σ₀) ⊗ (H, ρ)는 f3(σ)의 균일한 계산을 가능하게 하는가? 그리고 f3(σ)가 언제 0이 되는가?

주요 결과

• 분석적 결정계수와 클리포드 불변량이 모두 0인 12차 중심 단순 대수에서의 모든 직교적 불변량은 quaternion 대수의 직교적 불변량과 6차 중심 단순 대수의 직교적 불변량의 텐서 곱으로 분해된다.
• 이 분해는 이러한 불변량의 존재 조건을 제공한다: F 위의 biquaternion 대수 D는 2-cohomological dimension이 2 이하일 경우 M₃(D)에서 그러한 불변량을 가진다.
• 불변량 f3(σ)는 f3(σ) = e3(nQ − nH − ⟨d⟩nH′) ∈ H³(F)로 주어지며, 여기서 d 는 quaternion 성분의 결정계수이고 H, H′, Q 는 브라우어-동치인 quaternion 대수이다.
• 기저 대수가 지표 ≤2일 경우, f3(σ) = (de) · [Q] = (de) · [H′] 이다. 여기서 e 는 H = (c, e) 를 만족시키며, c 는 Q, H, H′ 를 모두 분해시킨다.
• A 가 split 이거나 A₀ 가 split 이거나 A₀ 가 F(√d₀) 에서 split 이면 불변량 f3(σ) 는 0이 된다. 이는 명백한 0이 되는 조건를 제공한다.
• 공식은 분해로부터 f3(σ)의 명시적 계산을 가능하게 하며, quaternion 성분이 split 이더라도 f3(σ) 가 반드시 0이 되는 것은 아님을 보여준다.