[논문 리뷰] An introduction to Bousfield localization

Tyler Lawson|arXiv (Cornell University)|2020. 02. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 4

한 줄 요약

이 논문은 호모토피 이론에서 Bousfield 국소화에 대한 종합적인 소개를 제공하며, 그 카테고리적 기초, 소형 객체 방법을 통한 구성, 그리고 대수적 토폴로지에서의 응용을 설명한다. 이는 Bousfield 국소화가 온건한 조건 하에서 모노이드 구조를 유지함을 입증하며, 호환 가능한 모노이드 연산을 갖는 국소화된 ∞-카테고리의 구축을 가능하게 한다.

ABSTRACT

In this article we discuss Bousfield localization, beginning with definitions in terms of mapping spaces and working up to a discussion of how they can be constructed when we have access to the small object argument. We also discuss Bousfield localization in the presence of multiplicative structure. Our goal is to place an emphasis on examples of various types. This is an expository article, written to be part of an upcoming book.

연구 동기 및 목표

• Bousfield 국소화에 대한 자가 포함된 소개를 제공하여, 대수적 토폴로지의 단순화와 체계화에서 그 역할을 강조한다.
• 소형 객체 방법을 통해 국소화 함자들이 모델 카테고리와 ∞-카테고리에서 어떻게 구성될 수 있는지 설명한다.
• Bousfield 국소화가 모노이드 구조와 호환되는 방식을 입증하며, 특히 ∞-오페라드를 지닌 ∞-카테고리에서의 응용을 강조한다.
• 유리수화, p-국소화, 완비화를 통한 공간과 스펙트럼의 분해를 통해 국소화의 유용성을 설명하고, 국소 데이터로부터의 전반적 정보 복원을 보여준다.
• 국소화 함자의 보편 성질과 그들이 피브란트 치환 및 보편 사상 공간을 통해 호모토피 계산을 단순화하는 데서의 역할을 명확히 한다.

제안 방법

• 모든 사상의 클래스를 반전시키는 보편 성질을 정의함으로써 국소화를 카테고리 이론적 국소화 기반으로 사용한다.
• 모델 카테고리에서 왼쪽 Bousfield 국소화를 구성하기 위해 소형 객체 방법을 적용하여 국소화 함자의 존재를 보장한다.
• 공간에 값이 있는 ∞-카테고리에서, 사상 공간과 호모토피 카테고리를 사용하여 국소 객체를 정의하고 분석한다.
• Lurie의 ∞-오페라드 이론과 ∞-모노이드 카테고리 이론을 활용하여 국소화가 모노이드 구조와 호환되는 것을 형식화한다.
• Quillen의 모델 구조에서 피브란트 치환의 보편 성질을 사용하여, 유리수화와 p-국소화가 피브란트 치환으로서 나타남을 보여준다.
• 산술 분열 정사각형을 적용하여, 호모토피 당김을 통해 공간을 그의 유리수화 $X_{\mathbb{Q}}$ 와 $p$-완비화 $X^\wedge_p$ 의 국소화로부터 재구성한다.

실험 결과

연구 질문

• RQ1 소형 객체 방법을 사용하여 모델 카테고리와 ∞-카테고리에서 Bousfield 국소화를 체계적으로 어떻게 구성할 수 있는가?
• RQ2 Bousfield 국소화가 ∞-카테고리에서 모노이드 구조를 보존하는 조건은 무엇인가?
• RQ3 국소화가 곱과 루프 공간과의 호환성은 기저에 대한 공간의 범주에서의 섬유화 국소화를 가능하게 하는가?
• RQ4 소형 객체 방법은 호모토피적 맥락에서 국소화 함자의 존재를 보장하기 위해 어떤 역할을 하는가?
• RQ5 산술 분열 기법을 통해 유리수화 및 $p$-adic 국소화로부터 전반적 호모토피 유형을 어떻게 재구성할 수 있는가?

주요 결과

• 모든 모델 카테고리에서 소형 객체 방법을 통해 Bousfield 국소화를 구성할 수 있으며, 이는 주어진 사상의 클래스를 보편적으로 반전시키는 국소화 함자의 존재를 보장한다.
• 국소화가 각 변수에서 $L$-동형사상들을 유지할 경우, Bousfield 국소화에서 국소 객체의 부분카테고리가 자연스러운 ∞-모노이드 구조를 가진다. 이는 정리 12.22에 의해 형식화되어 있다.
• 모든 국소화 $L$ 에 대해, $LX \times LY$ 는 $L(X \times Y)$ 와 동치이며, 이는 카르테시안 곱이 모든 국소화 함자와 호환됨을 보여준다.
• 군적 성질을 가진 $E_n$-공간 $B$ 위의 공간에서의 섬유화 국소화는 Day convolution 모노이드 구조와 호환되며, 이는 $E_n$-모노이드 함수임을 보여준다.
• 산술 분열 정사각형을 통해 단순 연결된 공간 $X$ 는 그의 유리수화 $X_{\mathbb{Q}}$ 와 $p$-완비화 $X^\wedge_p$ 의 호모토피 당김으로서 재구성될 수 있으며, 이는 국소 데이터로부터의 전반적 호모토피 유형 복원을 보여준다.
• 약한 동치가 유리수 호모로지에서의 동형사상이 되는 Quillen의 공간에 대한 모델 구조는 유리수화를 피브란트 치환으로서 실현하며, 이는 국소화 함자의 보편성을 강조한다.