[논문 리뷰] Degree 3 Cohomological Invariants of Groups that are Neither Simply Connected nor Adjoint

Hernando Bermudez, Anthony Ruozzi|arXiv (Cornell University)|2013. 05. 13.

Advanced Algebra and Geometry참고 문헌 8인용 수 8

한 줄 요약

이 논문은 메르쿠제프의 정확한 수열을 사용하여 단순 연결이 아니며 고도가 아닌 분할된 단순형 A 및 D를 가진 군에 대해 차수 3 정규화된 코homological 불변량을 계산한다. $\mathrm{SL}_n/\mu_m$ 및 $\mathrm{HSpin}_{4n}$에 대해 새로운 분해 불가능한 불변량을 규명하고, 16의 배수인 차수를 가진 대칭 대수에 대한 직교적 불변량으로 아라존 불변량을 확장하며, 이 불변량들과 로스트 불변량, $\mathrm{PSp}_{2n}$의 불변량 사이의 공식을 수립한다.

ABSTRACT

In a recent paper A. Merkurjev constructed an exact sequence which includes as one of the terms the group of degree 3 normalized cohomological invariants of a semisimple algebraic group G, greatly extending results of M. Rost for simply connected quasi-simple groups. Furthermore, in the aforementioned paper, Merkurjev uses his exact sequence to determine the groups of invariants for all semisimple adjoint groups of inner type. The goal of this paper is to use Merkurjev's sequence to compute the group of invariants for the remaining split cases, namely groups of types A and D that are neither simply connected nor adjoint. This description not only demonstrates the existence of many previously unstudied invariants but also allows us to extend several known results which relate these invariants to the Rost invariant and algebras with involution.

연구 동기 및 목표

• 분할된 A형 및 D형 군 중 단순 연결이 아니며 고도가 아닌 군에 대해 차수 3 정규화된 코homological 불변량의 군을 계산하는 것.
• 로스트와 메르쿠제프가 연구한 단순 연결 및 고도 경우를 초월하여 코homological 불변량 이론을 확장하는 것.
• 메르쿠제프의 정확한 수열을 사용하여 $\mathrm{SL}_n/\mu_m$ 및 $\mathrm{HSpin}_{4n}$에 대해 새로운 분해 불가능한 불변량을 구성하고 특성화하는 것.
• 이 불변량들이 로스트 불변량과 $\mathrm{PSp}_{2n}$의 불변량과 어떻게 관련되어 있는지, 특히 직교적 불변량을 가진 대수의 맥락에서 설명하는 것.
• 메르쿠제프의 정확한 수열을 통해 $\mathrm{HSpin}_{4n}$의 불변량을 활용하여 중심 단순 대수의 차수가 16의 배수인 경우에 대해 아라존 불변량을 일반화하는 것.

제안 방법

• 메르쿠제프의 정확한 수열을 활용하여 $\mathrm{Inv}^3(G,\mathbb{Q}/\mathbb{Z}(2))_{\mathrm{norm}}$ 를 $\mathrm{CH}^2(BG)_{\mathrm{tors}}$, $H^1(F,\hat{C}(1))$, 및 $H^2(F,\hat{C}(1))$ 와 연결한다.
• 중심 $C$의 특성에 沿해 쌍대표를 통해 $H^1(F,G) \to H^2(F,\mathbb{G}_m)$ 로의 연결 호모로피즘 $\sigma$ 를 이용해 분해 가능한 불변량을 식별한다.
• 분해 가능한 불변량을 $G = \mathrm{SL}_n/\mu_m$ 및 $G = \mathrm{HSpin}_{4n}$ 에 대해 $\hat{C} \otimes F$ 와 동형으로 특성화한다.
• 분해 불가능한 불변량을 $\mathrm{Inv}^3(G,\mathbb{Q}/\mathbb{Z}(2))_{\mathrm{ind}} = \mathrm{Inv}^3(G,\mathbb{Q}/\mathbb{Z}(2))_{\mathrm{norm}} / \mathrm{Inv}^3(G,\mathbb{Q}/\mathbb{Z}(2))_{\mathrm{dec}}$ 의 몫으로 분석한다.
• 중앙 단순 대수에 직교적 불변량이 존재할 경우, $H^1(F,\mathrm{HSpin}_{4n})$ 로의 올림과 $H^3(F,\mathbb{Q}/\mathbb{Z}(2))/E(A)$ 로의 사상으로 $e_3(A,\sigma)$ 를 구성한다.
• 메르쿠제프의 정확한 수열을 통해 $x$ 가 불변량을 가진 대수에 대응할 경우, $H^3(F,\mathbb{Z}/4\mathbb{Z})/P$ 에서 공식 $e_3(x) = \Delta(z) + e_3^{\mathrm{Spin}}(y)$ 를 수립하며, 이는 $\mathrm{PSp}_{2n}$ 과 비틀린 $\mathrm{Spin}$ 군과의 연관성을 보여준다.

실험 결과

연구 질문

• RQ1 단순 연결이 아니며 고도가 아닌 군 $\mathrm{SL}_n/\mu_m$ 에 대해 차수 3 정규화된 코homological 불변량의 군의 구조는 어떠한가?
• RQ2 $\mathrm{HSpin}_{4n}$ 의 분해 불가능한 불변량은 로스트 불변량 및 $\mathrm{PSp}_{2n}$ 의 불변량과 같은 기존의 불변량으로 어떻게 묘사될 수 있는가?
• RQ3 메르쿠제프의 $\mathrm{HSpin}_{4n}$ 불변량을 활용하여 직교적 불변량을 가진 차수가 16의 배수인 중심 단순 대수에 대해 아라존 불변량을 확장할 수 있는가?
• RQ4 $\mathrm{HSpin}_{4n}$ 의 불변량 $e_3$ 와 그 군의 티츠 대수 사이의 관계는 어떠한가?
• RQ5 메르쿠제프의 정확한 수열을 통해 $\mathrm{SL}_n/\mu_m$ 과 $\mathrm{HSpin}_{4n}$ 의 불변량들이 로스트 불변량과 상호작용하는 방식은 어떠한가?

주요 결과

• 군 $G = \mathrm{SL}_n/\mu_m$ 및 $G = \mathrm{HSpin}_{4n}$ 에 대해 분해 가능한 불변량의 군은 $\hat{C} \otimes F$ 와 동형이다. 여기서 $\hat{C}$ 는 보편 커버의 중심의 특성군이다.
• $\mathrm{HSpin}_{16}$ 에 대해 논문은 기존의 분해 불가능한 불변량 결과를 재확인하고 확장하며, $H^3(F,\mathbb{Z}/4\mathbb{Z})/P$ 에서 공식 $e_3(x) = \Delta(z) + e_3^{\mathrm{Spin}}(y)$ 를 제시한다. 여기서 $\Delta$ 는 $\mathrm{PSp}_8$ 의 불변량이다.
• 직교적 불변량을 가진 차수가 16의 배수인 중심 단순 대수 $(A,\sigma)$ 에 대해 잘 정의된 불변량 $e_3(A,\sigma) \in H^3(F,\mathbb{Q}/\mathbb{Z}(2))/E(A)$ 가 존재한다.
• 불변량 $e_3(A,\sigma)$ 는 $K$ 가 $A$ 를 분할할 경우 $\operatorname{res}_{K/F}e_3(A,\sigma) = e_3(q_{\sigma \otimes K})$ 를 만족하며, 이는 $K$ 상의 이차형식의 아라존 불변량과 연관된다.
• 대수 $(A,\sigma)$ 가 $I^4$ 에 속해 있는 것은 $e_3(A,\sigma) = 0$ 과 동치이며, 이는 가리바르디의 16차 대수에 대한 결과를 일반화한 것이다.
• 이 구성은 직교적 불변량을 가진 8차 대수에 대해 $I^3$ 에서는 그러한 불변량이 존재하지 않음을 보여주며, 이는 이전 연구의 결과를 확인한다.