[论文解读] 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-球面无法嵌入到两条曲线中——并建立了张量积同态保持非平凡性的条件，提供了检测非嵌入性的代数工具。

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-球面无法嵌入到两条曲线中）扩展至某些二维可缩多面体。
• 通过阿贝尔群的张量积开发代数判据，用于检测映射的非平凡性，从而推断拓扑上的非嵌入性。
• 研究Čech上同调与代数本质性在判断映射到流形是否为满射中的作用。
• 阐明映射到曲线乘积中为非平凡的条件，尤其关注群挠结构与无限阶元素的关系。

提出的方法

• 基于嵌入到n条曲线乘积中的能力，引入‘普通’与‘例外’n维紧致空间的概念。
• 使用Čech上同调与代数本质性的概念，分析映射到流形（特别是闭n-流形）的情形。
• 应用阿贝尔群理论中的张量积技术，研究映射乘积下诱导同态的非平凡性。
• 采用ε-映射与拟嵌入的概念，将拓扑维数与嵌入到图和曲线乘积的能力联系起来。
• 利用维数理论与绝对邻域收缩核（ANRs）的结果，分析紧致空间的局部与全局结构。
• 利用Menger曲线μ作为所有1维紧致空间的通用1维空间，使得普通紧致空间可表征为可嵌入到μ^n中的空间。

实验结果

研究问题

• RQ1 是否每个n维紧致空间都能嵌入到n条曲线的乘积中，还是存在拓扑障碍？
• RQ2 是否存在二维可缩多面体无法嵌入到两条曲线的乘积中，类似于2-球面的情形？
• RQ3 当阿贝尔群满足何种代数条件时，非平凡同态在与群G或其迭代张量幂进行张量积后仍保持非平凡？
• RQ4 是否存在ε-映射到图的乘积，是否意味着可嵌入到曲线的乘积中？
• RQ5 同调或上同调群中的挠结构或无限阶结构在决定非嵌入性中起什么作用？

主要发现

• 2-球面S²无法嵌入到任意两条曲线的乘积中，确认了博苏克的结果，并将其确立为例外空间。
• 某些二维可缩多面体也属于例外类型，即无法嵌入到两条曲线的乘积中，扩展了不可嵌入空间的类别。
• 若阿贝尔群之间的映射f: A → B的诱导张量同态f⊗1_G: A⊗G → B⊗G非平凡，且A包含挠子群，G为任意群，则该同态保持非平凡。
• 若A与G均包含无限阶元素，则即使经过对G的迭代张量积，f⊗1_G仍保持非平凡，此结论通过挠自由商群中的单射性性质得以证明。
• 张量积同态f⊗1_{G⊗G}可能为平凡，即使f⊗1_G非平凡，表明非平凡性在高阶张量幂下并不总是保持。
• 本文构造了一个反例，表明当G为挠群时（即使G⊗G ≠ 0），定理A1的结论可能不成立，突显了无限阶元素在保持非平凡性中的必要性。