안정 동형 범주의 지역화 부분범주는 코어플렉시브인가

본 논문은 ‘안정 동형 범주(stable homotopy category)’라는 큰 틀 안에서, 지역화(localizing)와 콜로컬라이징(colocalizing) 부분범주의 존재와 성질을 탐구한다. 연구의 출발점은 삼각형 범주 T가 조합가능 모델 범주 K(즉, 코피브레이트(cofibrantly generated)이며 기저가 로컬하게 프레젠터블인 모델 범주)에서 유도된 경우, T가 ‘well‑generated’ 삼각형 범주가 된다는 사실이다. 이러한 배경 하에 저자는 Vopěnka 원리(Vopěnka’s principle)라는 큰 기수 가정을 도입한다. Vopěnka 원리는 ‘모든 적당한 클래스는 작은 집합에 의해 생성된다’는 형태의 강력한 선택 공리이며, 이전 연구에서 토션 이론과 아벨 군의 구조에 적용된 바 있다. 첫 번째 주요 결과는 다음과 같다. K가 안정(stable) 조합가능 모델 범주이면, T=Ho(K) 안의 모든 세미지역화(semilocalizing) 부분범주 C는 Vopěnka 원리 하에서 코어플렉시브(coreflective)이며, C가 실제 지역화(즉, 삼각형이며 복사에 닫힌)라면 그 코어플렉션은 정확(exact)한다. 즉, 존재하는 코어플렉션 C : T→T가 삼각형을 보존하고, C‑local 객체들의 클래스가 콜로컬라이징 객체들의 사상소거(acyclic) 클래스와 일치한다. 이와 대칭적으로, 모든 세미콜로컬라이징(semicolocalizing) 부분범주 L은 리플렉시브이며, L이 콜로컬라이징이면 그 리플렉션도 정확한다. 핵심적인 기술은 ‘세미리플렉션(L)과 세미코어플렉션(C) 사이의 쌍대 대응’을 구축하는 것이다. 저자는 각 객체 X에 대해 L X와 C X를 정의하고, 삼각형 C X → X → L X → ΣC X가 항상 존재함을 보인다. 이 삼각형은 ‘5‑lemma’과 삼각형 보존성에 대한 일반적인 논증을 통해 얻어진다. 결과적으로 L‑local 객체와 C‑colocal 객체가 서로의 사상소거 클래스와 일치함을 확인한다. 또한, L이 정확이면 C도 정확하고, 이때 C = ⊥L, L = C⊥라는 정규직교(orthogonal) 관계가 성립한다. 두 번째 중요한 정리는 ‘단일 생성(singly generated)’ 성질이다. 저자는 모든 세미지역화 부분범주 C가 어떤 객체 A에 의해 생성된다는 것을 증명한다. 구체적으로, C는 A를 포함하는 최소 세미지역화 부분범주이며, 이는 기존에 ‘well‑generated’ 삼각형 범주에서 알려진 결과를 일반화한다. 반면, 콜로컬라이징 부분범주가 단일 생성인지에 대해서는 아직 해결되지 않았다. 이는 아벨 군의 토션‑프리 클래스가 ZFC 하에서 단일 생성되지 않는 사례와 유사한 비대칭성을 보여준다. 마지막으로, 정규직교 연산 ⊥와 L·, D· 등을 이용해 지역화와 콜로컬라이징 사이의 완전한 쌍대성을 확립한다. Vopěnka 원리 하에서는 ⊥ 연산이 전사적이며, 따라서 모든 지역화 부분범주 C는 어떤 클래스 D에 대해 C = ⊥D 로 표현될 수 있다. 동시에 D = C⊥가 되므로, 지역화와 콜로컬라이징 사이에 일대일 대응이 존재한다. 이는 Hovey‑Palmieri‑Strickland과 Neeman이 제기한 ‘지역화와 콜로컬라이징 사이의 bijection 존재 여부’라는 열린 문제를 해결한다. 또한, 세미지역화와 세미콜로컬라이징 사이에도 동일한 대응이 성립하며, 각각이 t‑structure를 결정한다는 부가적인 결과를 얻는다. 논문의 부록에서는 측정 가능한 기수(measurable cardinal)가 존재하지 않을 경우, 스펙트럼 호모토피 범주에서 약하게 리플렉시브하지 않은 복사에 닫힌 부분범주의 존재를 보이며, 이는 기존에 제기된 문제를 해결한다. 전체적으로 이 연구는 큰 기수 가정이 삼각형 범주의 구조적 대칭성을 어떻게 강화하는지를 명확히 보여주며, 안정 동형 범주와 그 모델 이론 사이의 교량 역할을 수행한다. 결과는 스펙트럼 이론, 유도 범주, 고차 동형론 등에서 지역화·콜로컬라이징 기법을 적용하는 데 중요한 이론적 토대를 제공한다.