[논문 리뷰] Topics in Topology and Homotopy Theory

Garth Warner|arXiv (Cornell University)|2020. 07. 05.

Homotopy and Cohomology in Algebraic Topology인용 수 6

한 줄 요약

이 논문은 대수적 위상수학에서 호모토피 기초 이론에 대해 최신 기준의 종합적인 다루기를 제공하며, 모델 범주, 스펙트럼, 안정 호모토피 이론, 그리고 대수적 K-이론과 같은 고급 주제를 중심으로 다룹니다. C-이론, 호모토피적 국소화 및 완비화, 그리고 콪 pact Hausdorff 공간의 곱에 대한 코homological 차원과 위상적 차원에 대한 정밀한 결과를 포함하는 체계적인 접근을 도입합니다.

ABSTRACT

This book is an account of certain topics in general and algebraic topology. Instead of laying out a synopsis of each chapter, here is a sample of some of what is taken up: 1) Nilpotency and its role in homotopy theory. 2) Bousfield's theory of the localization of spaces and spectra. 3) Homotopy limits and colimits and their applications. 4) The James construction, symmetric products, and the Dold$-$Thom theorem. 5) Brown and Adams representability in the setting of triangulated categories 6) Operads and the May$-$Thomason theorem on the uniqueness of infinite loop space machines. 7) The plus construction and theorems A and B of Quillen. 8) Hopkins' global picture of stable homotopy theory. 9) Model categories, cofibration categories, and Waldhausen categories. 10) The Dugundji extension theorem and its consequences.

연구 동기 및 목표

• . 이 논문은 강력한 대수적 및 위상수학적 배경을 지닌 연구자들을 대상으로, 대수적 위상수학에서 호모토피 기초 이론에 대해 현대적이고 깊이 있는 다루기를 목표로 합니다.
• 표준 교재에서 다루지 않는 기초 자료를 체계화하고 확장하고자 합니다. 이는 C-이론, 호모토피적 국소화, 완비화를 포함합니다.
• 알고리즘적 K-이론(Waldhausen 방식) 및 ANR 이론과 같은 고급 주제에 대해 접근 가능하고 상세한 다루기가 부족한 점을 메우고자 합니다.
• 연구자들이 안정 호모토피 이론이나 차원 이론과 같은 특정 분야에 집중적으로 연구할 수 있도록 비선형 참조 자료로 기능하고자 합니다.
• 이론적 추상성 초월하여 깊은 이해를 지원하기 위해 구체적인 예제와 연습 문제를 강조합니다.

제안 방법

• . 논문은 범주론적 프레임워크를 사용하여 함자, 코프라브레이션, 프라브레이션, 모델 범주를 기초 도구로 활용합니다.
• 특히 Bousfield 국소화와 플러스 구성과 같은 기법을 통해 군과 공간을 연구하기 위해 호모토피적 국소화 및 완비화 기법을 적용합니다.
• 스펙트럼 이론과 삼각 범주론을 발전시켜 안정 호모토피 이론을 형식화하고, Brown 및 Adams의 표현 정리를 통해 코homology 함자를 표현합니다.
• 단순 복합체와 공간을 사용하여 위상공간을 모델링하고, 특히 Dold-Thom 정리와 James 구성의 맥락에서 호모토피 유형을 계산합니다.
• Abelian 군을 계수로 삼아 코homological 차원을 분석하기 위해 Bockstein 스펙트럼 수열과 보편 계수 정리를 사용합니다.
• Čech 코homology와 토르션 군 간의 상호작용을 통해 코homological 차원 함수를 통한 차원 이론을 발전시킵니다.

실험 결과

연구 질문

• RQ1 . 유한 차원을 가진 콩팩트 Hausdorff 공간 X와 Y에 대해, 계수군이 토르션 또는 유사유한군일 경우, 곱공간 X×Y의 코homological 차원은 어떻게 행동하는가?
• RQ2 Z/p∞Z 또는 Q 계수를 가진 공간에 대해, 위상적 차원과 코homological 차원 사이의 정확한 관계는 무엇인가?
• RQ3 공간과 스펙트럼의 호모토피적 국소화가 우리가 호모토피 유형과 그 불변량을 이해하는 데 어떻게 기여하는가?
• RQ4 모델 범주와 Waldhausen 범주는 안정 호모토피 이론과 대수적 K-이론의 구조를 어떻게 형식화하는가?
• RQ5 다른 아벨 군 G에 대해, dimG(X×Y) = dimG X + dimG Y 또는 dimG X + dimG Y + 1 가 성립하는 조건은 무엇인가?

주요 결과

• . 콩팩트 Hausdorff 공간 X와 Y가 유한한 위상적 차원을 가지며, dimZ/p∞Z X < dimZ/pZ X 이고 dimZ/p∞Z Y < dimZ/pZ Y 를 만족할 경우, dimZ/p∞Z(X×Y) = dimZ/p∞Z X + dimZ/p∞Z Y + 1 이다.
• 만약 dimZ/p∞Z X = dimZ/pZ X 또는 dimZ/p∞Z Y = dimZ/pZ Y 라면, dimZ/p∞Z(X×Y) = dimZ/p∞Z X + dimZ/p∞Z Y 이다.
• 임의의 단위를 가진 환 R에 대해, dimR(X×Y) ≤ dimR X + dimR Y 이며, R가 R⊗ZR 의 재구성 가능(retract)일 경우 등식이 성립한다.
• 유한 차원을 가진 콩팩트 ANR 공간 X에 대해, X^n 의 차원은 dim X = dimZ/pZ X 인 경우 dim X^n = n·dim X 이고, dim X > dimG X 이며 G=Q 및 모든 G=Z/pZ 인 경우 dim X^n = n·dim X − (n−1) 이다.
• p-주기 군 G와 K에 대해, dimTor(G,K)(X×Y) ≤ dimG X + dimK Y + 1 이며, Tor(G,K) 가 p로 나누어지는 경우 등식이 성립할 수 있다.
• Bockstein 정리에 의해 dimZ/p∞Z(X×Y) ≤ dimZ/p∞Z X + dimZ/p∞Z Y + 1 이며, 이 경계는 특정한 토르션 조건 하에서 날카롭다 (sharp).