[논문 리뷰] Homology and cohomology via enriched bifunctors

Kazuhisa Shimakawa, Kohei Yoshida외 1명|arXiv (Cornell University)|2010. 10. 16.

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

한 줄 요약

이 논문은 수치적으로 생성된 기점 공간의 범주(NG₀)에서의 강화된 이중함수를 사용하여 일반화된 호모로지 및 코호몰로지 이론을 구성하기 위한 범주론적 프레임워크를 제안한다. NG₀의 완비성, 쌍완비성, 그리고 모나드 닫힘 성질을 활용하여 선형 강화 이중함수는 스펙트럼으로부터 유도된 이론들과 동형인 일반화된 호모로지 및 코호몰로지 이론을 제공함을 보이며, 선형 강화 함자와 스펙트럼 사이의 퀼렌 동치를 수립함으로써 고전적 안정 호모토피 이론을 통합하고 일반화한다.

ABSTRACT

We show that the category of numerically generated pointed spaces is complete, cocomplete, and monoidally closed with respect to the smash product, and then utilize these features to establish a simple but flexible method for constructing generalized homology and cohomology theories by using the notion of enriched bifunctors.

연구 동기 및 목표

• 일반화된 호모로지 및 코호몰로지 이론을 구성하기 위해 스펙트럼에 의존하지 않는, 범주론적으로도 영리한 대안을 개발하기 위해.
• 기점 위상공간의 범주를 완비성, 쌍완비성, 모나드적으로 닫힌 성질을 갖춘 더 편리한 범주 NG₀로 대체하기 위해.
• NG₀ 위의 선형 강화 함자 모델 범주와 스펙트럼의 범주 사이에 퀼렌 동치를 수립하여, 고전적 안정 호모토피 이론을 새로운 프레임워크에서 복원하기 위해.
• 강화된 이중함수가 하나의 변수에 대해 반대칭이고 다른 변수에 대해 공변하는 방식으로, 이중형 호모로지-코호몰로지 이론을 체계적으로 구성하기 위해.

제안 방법

• 저자는 수치적으로 생성된 공간을 그들의 단순형 싱귤러 심플렉스들에 의해 유도되는 최종 위상으로 정의하며, 이는 기점 위상공간의 전부인 NG₀의 부분범주를 이룬다.
• NG₀가 완비성, 쌍완비성, 카르테시안 닫힘 성질을 지니며, 약한 동치를 유도하는 반사자 ν: Top₀ → NG₀를 갖는다는 것을 입증한다.
• NG₀가 스마시 곱에 관해 모나드적으로 닫혀 있음을 보이며, 내부 함자와 강화된 함자 구조를 가능하게 한다.
• 함자 T: NG₀ → NG₀가 내부 함자들 사이의 사상 Y^X → (TY)^{TX} 를 유도하는 경우 강화된 함자라 한다. 선형 함자는 호모토피 상에서 코이브레이션 시퀀스를 유지한다.
• 이중함수 F: NG₀^op × NG₀ → NG₀에 대해, 강화된 성질은 F₀(X′,X) × F₀(Y,Y′) → F₀(F(X,Y), F(X′,Y′)) 가 연속적이고 기점이 되는 사상임을 의미한다.
• 호모로지와 코호몰로지 이론의 구성은 각각 π₀(F(S^{n+k}, Σ^k X)) 와 π₀(F(Σ^k X, S^{n+k})) 의 코일리미트를 이용하며, 스터핑 이sov머피즘을 활용한다.

실험 결과

연구 질문

• RQ1 스펙트럼에 의존하지 않고, 강화된 함수와 범주론적 구조만을 사용하여 일반화된 호모로지 및 코호몰로지 이론을 구성할 수 있는가?
• RQ2 수치적으로 생성된 기점 공간의 범주 NG₀는 완비성, 쌍완비성, 모나드적으로 닫힘 성질을 갖추어 안정 호모토피 이론의 기초로 충분히 잘 다뤄질 수 있는가?
• RQ3 S⁰에서의 도함수 함자 할당이 선형 강화 함자 모델 범주와 스펙트럼의 범주 사이에 퀼렌 동치를 유도하는가?
• RQ4 강화된 이중함수를 통해 이중형 호모로지-코호몰로지 이론을 체계적으로 구성할 수 있으며, 이는 기존의 이론들(예: 단순 코호몰로지 또는 스티너드 코호몰로지)을 복원하는가?
• RQ5 스펙트럼으로부터 유도되지 않는 강화된 이중함수 중에서도 비자명하고 흥미로운 이중형 호모로지-코호몰로지 이론을 유도할 수 있는가?

주요 결과

• 모든 선형 강화 함자 T: NG₀ → NG₀ 는 n ≥ 0 에 대해 hₙ(X;T) ≅ πₙ(TX) 과 n < 0 에 대해 π₀(T(Σ⁻ⁿX)) 를 만족하는 일반화된 호모로지 이론을 정의하며, 스터핑을 통해 호모로지와 코호몰로지를 통합한다.
• S⁰에서의 도함수 함자가 NG₀ 위의 선형 강화 함자 모델 범주와 스펙트럼의 범주 사이에 퀼렌 동치를 유도하며, 이는 그들의 호모토피 범주가 동치임을 보여준다.
• 이중선형 함자 F에 의해 정의된 호모로지 이론 hₙ(X;F) 는 F의 공변 부분 T 에 의해 정의된 호모로지 이론과 자연동형이다. 여기서 TX = F(S⁰, X) 이다.
• 코호몰로지 이론 hⁿ(X;F) 는 k, n+k ≥ 0 일 때 π₀(F(ΣᵏX, Sⁿ⁺ᵏ)) 와 동형이며, 스터핑 이sov머피즘 hⁿ⁺¹(ΣX;F) ≅ hⁿ(X;F) 를 만족한다.
• 예시들은 단순 코호몰로지와 체흐 코호몰로지(스티너드 호모로지와 함께)가 특정 강화된 이중함수로 표현될 수 있음을 보여주며, 모든 공간에 대해 단일 이중함수가 단순 코호몰로지를 표현하는 것은 아니라는 점을 확인한다.
• 이 프레임워크는 단순체계, 미분위상공간, 등변 공간 등 다른 범주로도 영리하게 일반화 가능하며, 고전적 위상수학을 넘어서 광범위한 적용 가능성을 시사한다.