[논문 리뷰] $p$-Central Subspaces of Central Simple Algebras

Adam Chapman|arXiv (Cornell University)|2014. 05. 31.

Algebraic structures and combinatorial models참고 문헌 21인용 수 4

한 줄 요약

이 학위논문은 중심 단순 대수에서 $p$-중심 부분공간을 연구하며, 특히 클리포드 대수, 순환 대수의 텐서곱, 체인 보조정리에 초점을 맞춘다. $p$-중심 형식의 유한 선형화 문제는 관련 클리포드 대수의 유한차원 표현을 구성하여 해결되었고, 표준 생성자를 포함하는 4차 순환 대수에서 4-중심 부분공간의 최대 차원이 5임을 증명하였으며, 모든 특성에서 바이쿼aternion 대수에 대한 체인 보조정리를 확립하여 퀼른터 행렬의 왼쪽 고유값을 계산하는 데 사용할 수 있는 계산 프레임워크를 제공한다.

ABSTRACT

We study central simple algebras in various ways, focusing on the role of $p$-central subspaces. The first part of my thesis is dedicated to the study of Clifford algebras. The standard Clifford algebra of a given form is the generic associative algebra containing a $p$-central subspace whose exponentiation form is equal to the given form. There is an old question as for whether these algebras have representations of finite rank over the center, and jointly with Daniel Krashen and Max Lieblich we managed to provide a positive answer. Different generalizations of the structure of the Clifford algebra are presented and studied in that part too. The second part is dedicated to the study of $p$-central subspaces of given central simple algebras, mainly tensor products of cyclic algebras of degree $p$. Among the results, we prove that $5$ is the upper bound for the dimension of 4-central subspaces of cyclic algebras of degree 4 containing pairs of standard generators. The third part is dedicated to chain lemmas. Chain lemmas are of importance in the theory of central simple algebras, because they form one approach to solving the word problem for the Brauer group. We prove the chain lemma for biquaternion algebras, both in characteristic 2 and characteristic not 2, and prove some partial results on the chain lemmas for cyclic algebras of degree $p$. The fourth part is dedicated to the more computational aspects of the theory. It contains results on quaternion polynomial equations and on left eigenvalues of quaternion matrices.

연구 동기 및 목표

• 관련 클리포드 대수의 유한차원 표현을 구성하여 $p$-중심 형식의 유한 선형화 문제를 해결한다.
• 특히 $p=4$일 경우에 대해 순환 대수의 텐서곱에서 $p$-중심 부분공간의 최대 가능 차원을 결정한다.
• 브라우어 군의 단어 문제를 발전시키기 위해 특성 2와 홀수 특성 모두에서 바이쿼aternion 대수에 대한 체인 보조정리를 확립한다.
• 쿼aternion 행렬 대수에서 다항방정식을 푸는 데 사용할 수 있는 계산 도구와 왼쪽 고유값을 계산하는 데 도움이 되는 도구를 개발한다.

제안 방법

• 지정된 거듭제곱 형태를 가진 $p$-중심 부분공간을 포함하는 일반적인 결합 대수로서 표준 클리포드 대수를 구성한다.
• 비가환 변수에서의 다항식에 대해 재귀적 감소 과정을 적용하여 단항식 길이를 줄이면서도 $p$-중심 원소를 유지함으로써, 유한 표현 가능성을 증명한다.
• 최대 부분체와 분해 기법을 사용하여 $p$-순환 대수에서 $p$-중심 원소의 사슬을 분석한다.
• 디외도네 행렬식과 $h: D_G[z] \to D\langle x_1,\dots,x_N\rangle$의 동형사상으로 분할 대수 위의 행렬의 특성다항식을 정의한다.
• 4×4 쿼aternion 행렬의 왼쪽 고유값 계산을 블록 행렬 분해를 통해 세 개의 이차 다항식과 하나의 육차 다항식을 푸는 문제로 환원한다.
• 행렬 $C$가 가역일 경우, $\lambda$가 왼쪽 고유값이 되는 조건은 $e(\lambda)\overline{e(\lambda)}h(\lambda) - g(\lambda)\overline{e(\lambda)}f(\lambda) = 0$ 임을 적용한다.

실험 결과

연구 질문

• RQ1 모든 $p$-중심 형식은 중심 위에서 유한차원 표현을 갖는가?
• RQ2 표준 생성자를 포함하는 두 개의 4차 순환 대수의 텐서곱에서 4-중심 부분공간의 최대 차원은 얼마인가?
• RQ3 특성 2에서 바이쿼aternion 대수에 대한 체인 보조정리를 확립할 수 있는가?
• RQ4 전체 특성다항식을 사용하는 것보다 4×4 쿼aternion 행렬의 왼쪽 고유값을 더 효율적으로 계산할 수 있는 방법은 무엇인가?
• RQ5 분할 대수 위의 일반 다항식의 환과 자유 모노이드 위의 군환 사이에 표준 동형사상이 존재하는가?

주요 결과

• 모든 $p$-중심 형식에 대해 유한 선형화 문제는 양의 해답을 가진다: 관련 클리포드 대수는 중심 위에서 유한차원 표현을 갖는다.
• 표준 생성자를 포함하는 두 개의 4차 순환 대수의 텐서곱에서 4-중심 부분공간의 최대 차원은 5 이하로 제한된다.
• 특성 2와 홀수 특성 모두에서 바이쿼aternion 대수에 대한 체인 보조정리는 성립하며, 브라우어 군의 단어 문제 해결에 핵심 도구가 된다.
• 하부 왼쪽 블록이 가역인 4×4 쿼aternion 행렬의 경우, 왼쪽 고유값은 세 개의 이차 다항식과 하나의 육차 다항식을 포함하는 시스템을 풀어 결정된다.
• 분할 대수 위의 행렬 특성다항식은 $h^{-1}(\det(\widehat{A - \lambda I}))$를 통해 정의되며, 이는 행렬 크기와 분할 대수의 차수에 따라 $kd$차 다항식이 된다.
• 쿼aternion 대수에서 다항식의 켤레는 명시적 공식을 통해 계산 가능하며, 이는 블록 행렬에서 고유값 조건을 유도하는 데 기여한다.