[論文レビュー] On Extension Of Functors

Lesya Karchevska, Taras Radul|arXiv (Cornell University)|Jun 2, 2011

Advanced Topology and Set Theory参考文献 10被引用数 3

ひとこと要約

この論文は、コンパクトハウスドルフ空間の圏（Comp）からティコノフ空間の圏（Tych）へのファンクターのチゴギデツェ拡張を調査し、特に埋め込みの保存性に関連する性質がどのように保持されるかに焦点を当てる。埋め込みの保存性の必要十分条件として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 で a ∈ F(iA)(F(A))} と定義することで、F: Comp → Comp におけるチゴギデツェ拡張Fβを定義する。
• 1-逆像保存性を導入する：f|f⁻¹(A) がホメオモルフィズムである限り、(Ff)⁻¹(FA) = F(f⁻¹(A)) が成り立つこと。
• 単準同型ファンクター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が可分な距離空間で、X ≅ ℕ かつすべてのnに対してF(n)が有限次元的である場合、Fβ(X) ≅ Qf である。それ以外の場合は Fβ(X) ≅ Σ である。
• Xが位相的に完全で、非コンパクトかつ非局所コンパクトである場合、Fβ(X) ≅ Σ^ω である。