브라운 대표성은 공짜가 아니다

초록

이 논문은 곱과 합을 모두 갖는 삼각형 범주 T와, T 안의 지역화·공지역화 모두 가능한 삼각형 부분범주 S를 구성한다. S에 대해 Bousfield 지역화와 공지역화가 존재하지 않으며, 따라서 S와 그 이중범주 모두 Brown 대표성을 만족하지 않는다. 핵심 예시는 작은 Hom‑집합을 갖지 않는 유도 범주를 가진 아벨 범주를 이용한다.

상세 분석

논문은 먼저 Brown 대표성 정리의 전제 조건을 재검토한다. 전통적으로, 완비 삼각형 범주에서 충분히 많은 콜렉터(예: 스몰 콤팩트 객체)와 작은 Hom‑집합이 보장될 때, Brown 대표성은 “모든 코한함수는 대표화된다”는 형태로 서술된다. 그러나 저자는 이 전제가 자동으로 충족되지 않음을 보이기 위해, 곱과 합을 동시에 갖는 삼각형 범주 T를 선택한다. T는 어떤 아벨 범주 A의 유도 범주 D(A)로 정의되는데, 여기서 A는 충분히 큰 인덱스 집합을 갖는 모듈류를 포함한다. 중요한 점은 D(A)가 작은 Hom‑집합을 갖지 않아, Hom‑셋이 실제로 클래스가 된다면 전통적인 카테고리 이론의 기본 가정이 깨진다.

그 다음, T 안에 지역화와 공지역화 모두 가능한 삼각형 부분범주 S를 명시적으로 구성한다. S는 D(A) 안의 특정 복합체(예: 완전한 직합을 이루는 복합체들의 폐쇄된 서브카테고리)로, 이때 S는 로컬라이징(폐쇄된 삼각형 서브카테고리)와 코로컬라이징(폐쇄된 삼각형 서브코카테고리) 두 성질을 동시에 만족한다. 일반적인 상황에서는 이러한 S에 대해 Bousfield 지역화(L: T→S)와 코지역화(R: T→S)가 존재한다. 하지만 여기서는 S가 “큰” 객체들을 포함하면서도 Hom‑집합이 클래스가 되기 때문에, 어떠한 사상도 L이나 R을 만족시키는 삼각형 함수를 정의할 수 없게 된다. 구체적으로, 저자는 가정에 모순되는 사상들의 존재를 보이며, 만약 지역화가 존재한다면 특정 삼각형 사상이 동시에 두 개의 서로 다른 사상으로 강제되어 모순이 발생함을 증명한다.

이러한 비존재 결과는 직접적으로 Brown 대표성의 실패와 연결된다. Brown 대표성은 “모든 코한함수는 대표화된다”는 명제이며, 이는 Bousfield 지역화가 존재함을 전제한다. S와 그 이중범주 S^op 모두에서 대표성이 깨지는 이유는, 대표화하려는 코한함수가 실제로는 작은 Hom‑집합을 필요로 하는데, 현재 구조에서는 이를 만족시킬 수 없기 때문이다. 따라서 이 논문은 “Brown 대표성은 자동적으로 따라오지 않는다”는 강력한 반례를 제공한다.

마지막으로, 저자는 이러한 예가 단순히 인위적인 구성에 그치지 않고, 실제로 큰 모듈류를 다루는 호몰로지 이론이나 스펙트럼 이론 등에서 발생할 수 있음을 시사한다. 특히, 무한 차원의 대수적 구조를 다루는 경우, 작은 Hom‑집합 가정이 자연스럽게 깨질 수 있음을 강조한다. 이는 향후 삼각형 범주 이론에서 Brown 대표성의 적용 범위를 재검토하고, 추가적인 가정(예: 가용성, 스몰 완전성 등)을 명시적으로 명시해야 함을 시사한다.