알버트 대수의 연습문제 해답과 최신 정정·보강 정리

초록

본 문서는 2024년 케임브리지 출판된 Albert algebras over commutative rings의 연습문제 풀이와 오류 정정, 그리고 네 가지 주요 보강(예외성, Dedekind 영역으로의 강하, Freudenthal 대수의 분할, Tits 구성에 의한 기술)을 제공한다.

상세 분석

본 자료는 책 전반에 걸친 오류 정정(Errata)과 네 개의 보강(Addenda)을 포함한다. 첫 번째 보강(A1)에서는 알버트 대수가 “i‑exceptional”임을 증명한다. 여기서 i‑exceptional은 기존의 “exceptional”보다 강한 개념으로, 어떤 평탄 확장 R에 대해 J⊗R가 i‑special이 아니면 원래 대수 J도 i‑exceptional임을 보인다(Lemma A1.4). 핵심은 Glennie 다항식 g₉(x,y,z)의 비동일성이다. Lemma A1.6은 C가 비연관적인 곱셈 원뿔 대수일 때 g₉가 Her₃(C)에서 영이 아님을 보이며, Lemma A1.7은 모든 i‑special 조던 대수에서 g₉가 영임을 보여준다. 이를 통해 Albert 대수는 평탄 확장 후에도 i‑special이 될 수 없으므로 i‑exceptional임을 결론짓는다. 이어 A1.2는 중앙 단순 조던 대수가 알버트 대수와 동치임을 재확인한다.

두 번째 보강(A2)은 Dedekind 영역 k 위의 대수에 대한 강하 문제를 다룬다. Lemma A2.1은 다항식 법칙이 어떤 필드 확장에서 영이면 원래도 영임을 보이며, 이를 이용해 Jordan 대수와 cubic Jordan 대수의 구조가 평탄 확장 후에도 보존됨을 증명한다(Prop. A2.2, A2.3). 특히, k‑격자 Λ가 U‑연산자를 닫거나 2∈k×와 x²∈Λ 조건을 만족하면 Λ 자체가 k‑Jordan 대수가 된다. 이는 실수 알버트 대수의 정수 격자에 대한 기존 결과를 일반화한다.

세 번째 보강(A3)은 Freudenthal 대수의 분할 필드에 관한 것으로, “Freudenthal 대수는 차수가 6 이하인 확장으로 분할된다”는 명제를 제시한다. 여기서는 Zorn 대수와 그 연관된 cubic norm 구조를 이용해 차수 2,3,6의 확장이 충분함을 보이며, 특히 비특수 경우에도 동일한 결과가 유지됨을 강조한다.

네 번째 보강(A4)은 Albert 대수를 Tits의 두 가지 구성(첫 번째와 두 번째)으로 기술한다. Freudenthal 부분대수(차수 9)를 선택하면, 해당 부분대수와 중심의 연산자를 통해 Albert 대수를 J(D,μ) 형태로 재구성할 수 있음을 보인다. 이는 기존 책에서 제시된 “Tits construction”을 보다 구체적인 사상과 동형 사상으로 전개한 것으로, 특히 실수와 복소수 경우에 대한 구체적 예시가 포함된다.

전체적으로 이 문서는 연습문제 풀이를 통해 책 전반의 이론을 검증하고, 예외성, 강하, 분할, Tits 구성이라는 네 핵심 주제에 대한 최신 결과와 증명을 제공한다. 오류 정정 부분은 페이지 번호와 구문 교정을 상세히 나열하여 독자가 원본과 비교하기 쉽게 만든다. 특히, i‑exceptional 개념 도입과 Glennie 다항식의 활용은 알버트 대수 연구에 새로운 도구를 제공한다는 점에서 학술적 의의가 크다.