코테의 정상성 문제, 무한 초월 차원에서 부정적 답변과 특수 경우의 긍정적 결과

초록

본 논문은 코테가 제기한 “모든 국소 유한 차원( LFD) 중심 나눗셈 대수는 정상적으로(NLF) 포함되는가?”라는 질문에 대해, 기본체가 대수적으로 닫힌 체 위의 무한 초월 차원 순수 초월 확장일 때 부정적인 반례를 구축한다. 반면, 기본체가 유한 생성 확장인 경우·또는 높은 차원의 지역체인 경우 등 ‘Brauer‑유한 차원(ΦBr)’ 성질을 만족하면 모든 LFD 중심 나눗셈 대수는 NLF임을 증명한다.

상세 분석

논문은 먼저 코테의 정상성 질문을 정확히 정의한다. LFD(Locally Finite‑Dimensional) 대수는 임의의 유한 부분집합이 유한 차원의 부분대수를 생성하는 대수이며, NLF(Normally Locally Finite) 대수는 그 유한 부분집합이 중앙이며 기본체 위의 유한 차원 부분대수에 포함될 수 있음을 요구한다. 기존에는 중앙 나눗셈 대수에 대해 이 두 개념이 일치하는지 여부가 미해결이었다. 저자는 두 가지 주요 결과를 제시한다. 첫 번째는 부정적 사례를 구성하는데, 여기서는 기본체 K₀를 대수적으로 닫힌 체로 잡고, K = K₀(xₙ, yₙ : n∈ℕ)와 같이 무한 초월 차원을 갖는 순수 초월 확장을 만든다. 소수 p≠char(K₀)를 고정하고, 각 n에 대해 p‑거듭제곱 차원의 중앙 나눗셈 대수 Rₙ을 정의한다. Rₙ의 중심 Zₙ은 K₀ 위에서 2n 차원의 순수 초월 확장이며, Zₙ/Kₙ는 차수 pⁿ인 아벨 군이 작용하는 Galois 확장이다. 이러한 구조를 귀납적으로 연결해 R = ⋃ₙRₙ를 얻으면, R은 K‑위의 중앙 나눗셈 LFD 대수이지만, 어떠한 비자명한 유한 차원 중앙 K‑부분대수도 포함하지 않는다. 따라서 R는 NLF가 아니며, 코테 질문에 대한 부정적 답을 제공한다(정리 2.1, 명제 2.4). 두 번째는 긍정적 결과이다. ΦBr‑체는 모든 유한 차원 중앙 단순 대수에 대해 Brauer 차원(Brdₚ)이 유한한 체들의 집합으로 정의된다. 저자는 이전 연구