[論文レビュー] Embedding compacta into products of curves

Akira Koyama, J. Krasinkiewicz+1 more|ArXiv.org|Dec 20, 2007

Geometric and Algebraic Topology参考文献 13被引用数 7

ひとこと要約

この論文は、コンパクトな空間を曲線の積へ埋め込む位相的埋め込みを調査し、n次元コンパクトな空間を『通常』と『例外的』に分類する概念を導入する。これは、n個の曲線へ埋め込めるかどうかに基づくものである。2次元の可縮多面体が例外的であることを証明し、2次元球面が2つの曲線へ埋め込めないというボルスキーの結果を拡張する。また、テンソル積の準同型が非自明のままである条件を確立し、非埋め込み性を検出する代数的道具を提供する。

ABSTRACT

We present some results on n-dimensional compacta lying in n-dimensional products of compacta, in particular, in products of n 1-dimensional compacta. Most of our basic results are proven under the assumption that the compacta X admit essential maps into the n-sphere. The results of the present paper may be viewed as an extension of the theory developed so far by other authors. First, we prove that if X is an n-dimensional compactum with $H^n(X) eq 0$ that embeds in either a product of n curves or the nth symmetric product of a curve, then there exists an algebraically essential map of X into the n-torus. Consequently, there exist elements $a_1,...,a_n$ in $H^1(X)$ whose cup product is non-zero. Therefore, the rank of $H^1(X)$ is at least n, and the category of X exceeds n. Next, we introduce some new classes of n-dimensional continua and show that embeddability of locally connected quasi n-manifolds into products of n curves also implies that the rank of $H^1(X)$ is at least n. It follows that some 2-dimensional contractible polyhedra are not embeddable in products of two curves. On the other hand, we show that any collapsible 2-dimensional polyhedron can be embedded in a product of two trees. We answer a question posed by Cauty proving that closed surfaces embeddable in products of two curves can be also embedded in products of two graphs. We prove that no closed surface, different from the 2-torus, lying in a product of two curves is a retract of that product.

研究の動機と目的

• n次元コンパクトな空間がn個の曲線の積へ埋め込めるかどうかを特徴づけ、『通常』と『例外的』な空間を区別すること。
• 2次元球面が2つの曲線へ埋め込めないというボルスキーの結果を、特定の2次元可縮多面体へ拡張すること。
• アーベル群のテンソル積を用いた代数的基準を考案し、写像の非自明性を検出するものとし、それによって位相的非埋め込み性を特定すること。
• Čechコホモロジーと代数的本質性の役割を明らかにし、多様体への写像が全射であるかどうかを決定すること。
• 曲線の積への写像が非自明である条件を明確にすること、特に群のねじれや無限位数要素との関係において

提案手法

• n個の曲線の積への埋め込みに基づいて、『通常』と『例外的』なn次元コンパクトな空間の概念を導入する。
• Čechコホモロジーと代数的本質性の概念を用い、特に閉じたn次元多様体への写像を分析する。
• アーベル群の理論におけるテンソル積の技法を応用し、写像の積による誘導された準同型の非自明性を研究する。
• ε-写像と準埋め込みの概念を用い、トポロジカル次元とグラフ・曲線の積への埋め込みとの関係を関連付ける。
• 次元論および絶対近傍リトラクト（ANR）の結果を活用し、コンパクトな空間の局所的・大域的構造を分析する。
• すべての1次元コンパクトな空間が埋め込める普遍的な1次元空間としてのMenger曲線μを用い、通常のコンパクトな空間をμ^nに埋め込めるものとして特徴づける。

実験結果

リサーチクエスチョン

• RQ1 任意のn次元コンパクトな空間はn個の曲線の積へ埋め込めるのか、それとも位相的障害があるのか？
• RQ2 2次元可縮多面体のうち、2次元球面と同様に2つの曲線の積へ埋め込めないものがあるのか？
• RQ3 アーベル群の代数的条件下で、非自明な準同型が群Gまたはその反復テンソル積とテンソル積を取った後でも非自明のままである条件は何か？
• RQ4 グラフの積へε-写像が存在することは、曲線の積への埋め込みを意味するのか？
• RQ5 ホモロジーまたはコホモロジー群のねじれや無限位数構造が、非埋め込み性を決定づける役割を果たすのか？

主な発見

• 2次元球面S²は、いかなる2つの曲線の積へも埋め込めず、ボルスキーの結果を確認し、例外的空間として特定される。
• 特定の2次元可縮多面体も例外的であることが示され、2つの曲線の積へは埋め込めない。これは非埋め込み可能な空間のクラスを拡張する。
• アーベル群の写像f: A → Bが、Aにねじれ部分群を含み、Gが任意の群であるとき、f⊗1_G: A⊗G → B⊗G が非自明である。ただし、テンソル積上の誘導写像が非自明のままであることが条件。
• AおよびGの両方が無限位数要素を含む場合、f⊗1_GはGとの反復テンソル積をとっても非自明のままである。これはねじれのない商群における単射性の性質により示される。
• f⊗1_{G⊗G} は f⊗1_G が非自明であっても、自明であることがある。これは、非自明性が高次のテンソル積においても保たれないことを示している。
• 論文は、Gがねじれ群であってもG⊗G ≠ 0 であれば、定理A1の結論が成り立たない反例を構成し、非自明性の持続には無限位数要素を含む群が必要であることを強調している。