[논문 리뷰] On Extension Of Functors

Lesya Karchevska, Taras Radul|arXiv (Cornell University)|2011. 06. 02.

Advanced Topology and Set Theory참고 문헌 10인용 수 3

한 줄 요약

이 논문은 컴팩트 하우스도르프 공간의 범주(Comp)에서 티히코노프 공간의 범주(Tych)로의 함자에 대한 치고기데의 확장을 조사하며, 특히 임bedding 보존성과 같은 성질이 유지되는지를 다룬다. 임베딩 보존성을 위한 필요충분조건으로 1-역상 보존 성질을 도입하고, 강한 볼록 함자들은 (Q, σ), (Q, Σ), 또는 (Q, Σ^ω)로의 위상적 분류가 가능한 확장을 유도함을 규명한다. 이는 부분공간의 위상적 구조에 따라 달라진다.

ABSTRACT

A.Chigogidze defined for each normal functor on the category Comp an extension which is a normal functor on the category Tych. We consider this extension for any functor on the category Comp and investigate which properties it preserves from the definition it preserves from the definition of normal functor. We investigate as well some topological properties of such extension.

연구 동기 및 목표

• 컴팩트 하우스도르프 공간의 범주(Comp)에서 티히코노프 공간의 범주(Tych)로의 치고기데 확장에서 정상 함자들의 성질이 어떤 것이 유지되는지를 규명하는 것.
• 확장이 임베딩을 보존하기 위한 필요충분조건을 규명하는 것.
• 임베딩 보존성의 핵심 기준으로서 1-역상 보존 성질을 도입하고 분석하는 것.
• 분리 가능 메트릭 공간 위의 볼록 함자에 대한 치고기데 확장의 위상적 분류 결과를 일반화하는 것.
• 메트릭 컴팩타 X와 적절한 밀도가 있는 Gδ부분집합 Y에 대해 (FX, FβY)의 위상형을 규명하는 것.

제안 방법

• 모든 함자 F: Comp → Comp에 대해 Fβ(X) = {a ∈ F(βX) | ∃ compact A ⊂ X with a ∈ F(iA)(F(A))}를 통해 치고기데 확장 Fβ를 정의한다.
• 1-역상 보존 성질을 도입: f|f⁻¹(A)가 위상동형일 때마다 (Ff)⁻¹(FA) = F(f⁻¹(A))가 성립한다.
• 단사 함자 F가 Fβ 하에서 임베딩을 보존하는 것은, F가 1-역상 보존 성질을 만족할 때이고 그때에만 성립함을 증명한다.
• 닫힌 A ⊂ X에 대해 (FX ∖ FA) ∩ aff(FA) = ∅ 를 만족하는 조건으로 강한 볼록 함자를 정의한다.
• 호모토피와 Z-집합 이론을 활용하여, F가 강한 볼록일 경우 FβY가 FX 내의 σZ-집합임을 보인다.
• 특성 정리들(정리 A, B, C)을 적용하여, Y의 위상적 유형에 따라 (FX, FβY)의 위상형을 위상동형으로 분류한다.

실험 결과

연구 질문

• RQ1 치고기데 확장이 티히코노프 공간으로의 확장에서 정상 함자들의 어떤 성질을 유지하는가?
• RQ2 치고기데 확장이 임베딩을 보존하기 위한 필수충분조건은 무엇인가?
• RQ3 볼록 함자의 치고기데 확장이 (Q, σ), (Q, Σ), 또는 (Q, Σ^ω)와 위상동형이 되는 조건은 무엇인가?
• RQ4 X의 밀도가 있는 Gδ부분집합 Y의 위상적 구조가 (FX, FβY)의 위상형에 어떤 영향을 미치는가?
• RQ5 강한 볼록 성질이 FβY가 FX 내의 σZ-집합임을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 치고기데 확장 Fβ가 임베딩을 보존하는 것은, 원래 함자 F가 1-역상 보존 성질을 만족할 때이고 그때에만 성립한다.
• 강한 볼록 함자 F와 메트릭 컴팩타 X, 그리고 적절한 밀도가 있는 Gδ부분집합 Y에 대해, Y가 이산이고 모든 n ∈ ℕ에 대해 F(n)이 유한차원이면, 쌍 (FX, FβY)는 (Q, σ)와 위상동형이다.
• Y가 이산이고 어떤 n에 대해 F(n)이 무한차원이면, 또는 Y가 국소적으로 컴팩트하지 않은 이산이 아니면, (FX, FβY)는 (Q, Σ)와 위상동형이다.
• Y가 국소적으로 컴팩트하지 않으면, (FX, FβY)는 (Q, Σ^ω)와 위상동형이다.
• X가 분리 가능 메트릭 공간이면, Fβ(X) ≅ Qf 이다. 이때 X ≅ ℕ 이고 F(n)이 유한차원일 경우; 그렇지 않으면 Fβ(X) ≅ Σ이다.
• X가 위상적으로 완비이고, 비콤팩트이며, 국소적으로 컴팩트가 아니면, Fβ(X) ≅ Σ^ω 이다.