정의 가능한 직교 클래스의 소규모성: 레비 계층과 대카디널 가설의 연결고리

본 논문은 접근 가능한 범주(특히 구조 이론의 모델 범주)에서 정의 가능한 사상 클래스 S에 대한 직교 객체 클래스 S⊥가 언제 작은(즉, 반사가능)인지에 대한 일련의 정리를 제시한다. 먼저, 모든 접근 가능한 범주는 충분히 큰 서명 Σ의 구조 범주 Str Σ에 완전하게 삽입될 수 있음을 상기하고, 이를 통해 범주 내 객체·사상 정의를 집합론 언어 L(=ZFC)로 옮긴다. 레비 계층(Σₙ, Πₙ) 정의를 도입하여, 클래스 C가 Σₙ(또는 Πₙ)로 정의된다는 의미를 명확히 한다. Σ₀은 유한 양화만을 허용하고, Σ_{n+1}은 ∃ 양화가 Πₙ 식을 앞에 두는 형태이며, Π_{n+1}은 ∀ 양화가 Σₙ 식을 앞에 두는 형태이다. 이러한 정의를 이용해, S가 Σ₁(또는 Σₙ)로 정의될 때 S⊥가 작은 직교 클래스가 되는 충분조건을 탐구한다. 주요 정리 1(정리 3.2)은 S가 Σ₁ 정의이면, ZFC만으로 S⊥가 반사가능함을 보인다. 증명은 Σ₁ 식이 전이 모델 사이에서 상향·하향 절대성을 갖는 점을 이용해, 적절한 작은 카디널 κ를 선택하고, V_κ가 Σ₁-절대 모델이므로 S⊥가 κ-접근 가능한 반사체로 구성될 수 있음을 보인다. 주요 정리 2(정리 4.5)는 S가 Σ₂ 정의일 때, 초대형(cardinal) 가정이 필요함을 보여준다. 초대형 κ는 V_κ가 Σ₂-절대 모델이며, 모든 λ>κ에 대해 κ를 임계점으로 하는 초등 임베딩 j:V_λ→V_μ (μ>λ) 가 존재한다. 이를 통해 S⊥가 κ-접근 가능한 반사체가 됨을 증명한다. Σ_{n+2} 정의에 대해서는 새로운 대카디널 계층 C(n)-extendible을 정의한다. C(n) 카디널은 V_α가 Σₙ-초기 부분모델인 α들의 집합이며, κ∈C(n) 이고 모든 λ>κ∈C(n) 에 대해 임계점 κ를 갖는 초등 임베딩 j:V_λ→V_μ (μ∈C(n)) 가 존재하면 κ를 C(n)-extendible라 부른다. 이 정의는 기존의 extendible( n=1)과 supercompact( n=0) 개념을 일반화한다. 정리 6.9에서는 Vopěnka 원리와 “모든 n에 대해 C(n)-extendible 카드inals가 존재한다”는 명제가 동치임을 증명한다. 따라서 Vopěnka 원리는 가장 강한 형태의 C(n)-extendibility를 요구한다는 사실을 명확히 한다. 응용 부분에서는 스펙트럼 이론을 통해 코호몰로지와 호몰로지 로컬라이제이션 문제를 다룬다. 스펙트럼 E에 대해 E⁎-동등성(코호몰로지 동등성) 클래스는 Σ₂-정의이며, E⁎-동등성(호몰로지 동등성) 클래스는 Σ₁-정의임을 정리 9.3에서 보인다. 따라서 코호몰로지 로컬라이제이션은 초대형 카드날 가정(또는 더 강한 C(1)-extendible) 하에서만 존재함을 얻고, 호몰로지 로컬라이제이션은 ZFC만으로 존재함을 재확인한다. 이는 이전에 Vopěnka 원리를 사용해 증명된 결과를 보다 미세한 대카디널 가정으로 대체한 것이다. 또한, 반사성 문제에 대한 일반화된 결과를 제시한다. 만약 반사함수 L의 동등성 클래스가 Σ₂-정의라면, 초대형 카드날 가정 하에 L이 F‑반사(F는 집합 사상)임을 보인다(정리 8.5). 이는 Freyd‑Kelly 직교 서브카테고리 문제에 대한 새로운 답변을 제공한다: Σ₁-정의된 사상 클래스에 대해서는 ZFC만으로 반사성을 보장하고, Σ₂-정의된 경우는 초대형 카드날이 필요하다. 마지막으로, 논문은 접근 가능한 범주의 반사성, 직교 서브카테고리, 그리고 동형론적 로컬라이제이션 전반에 걸쳐, 정의 복잡도에 따라 필요한 대카디널 가정을 정확히 구분함으로써, 기존에 “Vopěnka 원리 필요”라고 여겨졌던 여러 결과를 보다 약한 가정으로 대체할 수 있음을 보여준다. 이는 범주론·동형론에서 대카디널 가정의 역할을 정량화하는 중요한 진전이며, 향후 대카디널 가정과 구조 이론 사이의 상호작용을 연구하는 데 기초 자료가 될 것이다.