비산술 푸시안 군의 범주성

초록

비산술 푸시안 군 Γ에 대한 균일화 함수 j₍Γ₎를 두 정리 체계 T^{∞}{SF}와 T{j₍Γ₎} 로 형식화한다. 저자는 T^{∞}{SF}가 모든 무한 기수에서 범주적이며, T{j₍Γ₎}는 완전하고 양화소 제거와 ω‑안정성을 가진다는 것을 증명한다.

상세 분석

본 논문은 비산술 푸시안 군 Γ(첫 번째 종류, 유한 공분산)를 대상으로, 그 균일화 함수 j₍Γ₎를 두 정렬 구조 (D, S) 위에 정의하고, 이를 L_{ω₁,ω} 언어로 공리화한 이론 T^{∞}{SF}를 제시한다. 핵심은 T^{∞}{SF}가 모든 무한 기수 κ에 대해 κ‑동형(κ‑categorical)임을 보이는 것으로, 이는 기존의 산술 경우에 대한 결과(Daw‑Harris)와는 달리 비산술성에 의해 증명이 크게 단순화된다는 점이다.

우선, 저자는 Γ의 공통화자 G = Comm(Γ) 가 Γ 보다 유한 지수(