[논문 리뷰] On the Dreaded Right Bousfield Localization

Clark Barwick|ArXiv.org|2007. 08. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 3

한 줄 요약

이 논문은 오른쪽 Bousfield 국소화가 오른쪽 준모델 범주에서 존재함을 확립하며, 모형 범주에서 오른쪽 적절성 조건이 필요 없도록 한다. 이는 오른쪽 적절성 가정 없이도 이러한 국소화가 존재함을 증명하고, 이를 이용해 왼쪽 Quillen 전가우의 호모토피 극한을 오른쪽 준모델 범주로 구성한다.

ABSTRACT

I verify the existence of right Bousfield localizations of right semimodel categories, and I apply this to construct a model of the homotopy limit of a left Quillen presheaf as a right semimodel category.

연구 동기 및 목표

• 오른쪽 Bousfield 국소화가 일반적으로 모형 범주에서 오른쪽 적절성 조건을 필요로 하는 제한을 해결하기 위해.
• 특히 오른쪽 적절성 조건이 성립하지 않는 맥락에서 오른쪽 Bousfield 국소화 이론을 오른쪽 적절한 모형 범주를 초월해 확장하기 위해.
• 왼쪽 Quillen 전가우의 호모토피 극한을 오른쪽 준모델 범주를 통해 구성하는 프레임워크를 제공하기 위해.
• 완전한 모형 범주 구조가 확보되지 않은 맥락으로 고전적 오른쪽 Bousfield 국소화를 일반화하기 위해.
• 비적절한 맥락에서 준모형 범주를 통한 호모토피 이론적 구성의 기초를 마련하기 위해.

제안 방법

• 목표가 피보트인 경우에만 인수분해 및 상승 공리가 성립하는 오른쪽 준모형 범주의 개념을 도입한다.
• 이 맥락에서 오른쪽 Bousfield 국소화를 정의하기 위해 구조화된 호모토피 이론 범주의 일반 이론을 적용한다.
• 오른쪽 적절성 조건을 가정하지 않고 필요한 공리를 검증함으로써 국소화를 오른쪽 준모형 범주로 구성한다.
• 코일러프런트 호모토피 생성자와 유도 함수에 의한 본질적 상사의 이미지를 사용하여 국소화된 범주의 소수 생성자를 구성한다.
• 유한 호모토피 쌓음의 생성자로부터 구성된 호모토피 캐릭터티크 섹션을 통해 왼쪽 Quillen 전가우에 대한 국소화를 적용한다.
• 이 구성에 의해 왼쪽 Quillen 전가우의 호모토피 극한이 오른쪽 준모형 범주로서의 모형 구조를 가짐을 확립한다.

실험 결과

연구 질문

• RQ1 모형 범주에서 오른쪽 적절성 조건이 성립하지 않는 상황에서도 오른쪽 Bousfield 국소화를 구성할 수 있는가?
• RQ2 비오른쪽 적절한 범주에 적용 가능한 오른쪽 Bousfield 국소화의 일반적 프레임워크는 존재하는가?
• RQ3 왼쪽 Quillen 전가우의 호모토피 극한을 오른쪽 준모형 범주로서 모델링할 수 있는가?
• RQ4 어떤 조건이 오른쪽 준모형 범주가 특정 객체 집합에 대해 잘 정의된 국소화를 지원하는가?
• RQ5 코일러프런트 생성자를 어떻게 사용하여 전가우의 호모토피 극한에 대한 소수 대표 원소 집합을 구성할 수 있는가?

주요 결과

• 원래 범주가 오른쪽 적절하지 않더라도 오른쪽 Bousfield 국소화는 오른쪽 준모형 범주로서 존재한다.
• 국소화 과정에서 목표 객체가 피보트가 아닐 경우에만 인수분해 및 상승 공리를 검증한다.
• 이 국소화 절차를 통해 왼쪽 Quillen 전가우의 호모토피 극한은 오른쪽 준모형 범주로서의 모형 구조를 가진다.
• 전가우의 임의의 호모토피 캐릭터티크 섹션은 코일러프런트-피보트 대표 원소의 본질적 상사 이미지로부터 구성된 섹션의 호모토피 쌓음으로 표현될 수 있다.
• 소수 생성자 집합 $ G $ 는 호모토피 극한의 호모토피 범주를 생성한다.
• 이 구성은 코일러프런트 생성자의 선택과 무관하며, 전가우의 함숫수에 의한 본질적 상사 이미지에만 의존한다.