강직한 비아키메데안 실수 닫힌 체의 새로운 구성

초록

저자들은 초월 차수가 2인 비아키메데안 실수 닫힌 체를 직접 구성하고, 이 체가 자명한 자동동형사상만을 갖는(강직)임을 증명한다. 이는 가산 크기의 비아키메데안 실수 닫힌 체가 강직할 수 있음을 최초로 보여준다.

상세 분석

이 논문은 실수 닫힌 체(real closed field)의 구조적 강직성(rigidity)을 탐구한다. 실수 닫힌 체는 양의 원소가 영이 아닌 제곱이라는 특성을 가지며, 따라서 모든 자동동형사상은 순서를 보존한다. 아키메데안 실수 닫힌 체는 유리수가 조밀하게 들어가고, 모든 자동동형사상이 유리수를 고정하므로 자동동형군이 자명함을 쉽게 확인할 수 있다. 그러나 비아키메데안 경우에는 이러한 직관이 깨지며, 기존에는 셸라(Shelah)의 집합론적 결과에 의존해 존재가 보였을 뿐 구체적인 예는 제시되지 않았다.

저자들은 먼저 초월 차수가 1인 비아키메데안 실수 닫힌 체는 항상 비자명한 자동동형을 갖는다는 명제를 증명한다(명제 2.1). 이는 무한 원소 a와 a의 거듭 제곱 a^m(m>1) 사이에 동일한 절단(cut)이 존재함을 이용해, a를 a^m으로 보낼 수 있는 순서 보존 필드 동형을 구성하고, 이를 실수 닫힌 체의 실수 폐쇄(real closure)까지 확장함으로써 자동동형을 얻는 방식이다. 따라서 차수 1에서는 강직성을 기대할 수 없으며, 차수 2가 최소 차수임을 확인한다.

핵심은 (a, b)라는 두 원소가 k(=실수 대수적 수) 위에서 정의된 타입 tp(a,b/k)를 유일하게 실현하도록 만드는 것이다. 여기서 a는 무한 원소, b는 k⟨a⟩ 위에서 초월 원소이다. 타입이 유일하게 실현되면, 어떤 k‑정의 가능한 함수 F가 (a,b)를 고정한다고 가정해도, F가 (a,b)를 다른 실현으로 보내는 경우가 없으므로 자동동형이 존재하지 않는다.

이를 위해 저자들은 “끝‑셀(end‑cell)”이라는 개념을 도입한다. 끝‑셀은 x가 충분히 큰 구간 (α,∞)에서 y가 두 연속적인 k‑정의 함수 h₀, h₁ 사이에 놓이는 영역이다. 셀 분해와 o‑minimal 이론의 기본 정리를 활용해, 모든 k‑정의 함수 F는 어떤 작은 끝‑셀 C′⊆C 위에서는 정체 함수이거나 그 이미지가 C′와 전혀 겹치지 않게 만들 수 있음을 보인다(보조정리 2.4).

구체적인 구성은 다음과 같다. 모든 k‑정의 함수와 모든 k‑정의 공식을 열거하고, 단계별로 끝‑셀 C₀⊃C₁⊃…을 축소한다. 각 단계 n에서는 Fₙ이 정체가 되거나 이미지가 셀을 벗어나게 하는 Cₙ₊₁을 선택하고, 동시에 공식 φₙ이 전체 셀에 대해 참이거나 거짓이도록 조정한다. 이렇게 무한히 교차하는 조건들을 동시에 만족시키면, 최종적으로 얻어지는 타입 p는 (a,b)만이 실현하는 고유한 타입이 된다.

결과적으로 K = k⟨a,b⟩는 비아키메데안이며, 자동동형군이 자명함을 보인다. 또한 같은 방법으로 서로 다른 선택을 가하면 2^{ℵ₀}개의 서로 동형이 아닌 강직 체를 만들 수 있음을 언급한다. 논문 말미에서는 다음과 같은 추가 질문들을 제시한다. (1) 무한 초월 차수에서도 강직성을 확보할 수 있는가? (2) 강직 비아키메데안 체의 잔류체와 가치군에 어떤 제약이 있는가? (3) o‑minimal 확장 이론에서도 동일한 방법이 적용 가능한가?

이 연구는 모델 이론과 실수 닫힌 체 이론 사이의 교차점에서 새로운 구조적 현상을 제시하며, 강직성이라는 개념을 비아키메데안 실수 닫힌 체에 처음으로 구체적인 예를 통해 구현했다는 점에서 의미가 크다.