[论文解读] Real Polynomial Rings and Domain Invariance

Jon A. Sjogren|arXiv (Cornell University)|Feb 1, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 3

一句话总结

本文通过以布劳威尔域不变性定理为核心的拓扑方法，证明了代数基本定理。通过构造一个从实射影空间 ℝPⁿ⁻¹ 到球面 𝕊ⁿ⁻¹ 的连续且单射的映射，该映射源自由一个不可约多项式导出的实代数中的平方运算，作者证明了此类映射仅当 n ≤ 2 时才可能是同胚，从而证明不可约实多项式次数至多为 2。

ABSTRACT

Recent proofs of classical theorems in polynomial algebra and functional analysis are discussed, which use tools from the topology of real manifolds. Simpler proofs were discovered in the new century, of the Hilbert Nullstellensatz, and the Gelfand-Mazur Theorem. We give a related proof that an irreducible real polynomial has degree 2 or less, Gauss's form of the Fundamental Theorem of Algebra. It has been debated whether an elementary proof for FTA can be found, using the Brouwer Fixed-Point Theorem as its "analytical" component. In the present case the analytic or topological tool employed is Brouwer's Theorem on Invariance of Domain, which derives from his Fixed-Point Theorem. A corollary of Domain Invariance is that an injective mapping of one compact manifold to another (connected) one of the same dimension, is in fact surjective and a homeomorphism. The desired result (FTA) comes from the fact that a real sphere and its (quotient) projective space of the same dimension are homeomorphic only when this dimension equals 1. This proof joins a class of proofs that depend on Euclidean fixed-point theory, and also the class of proofs that involve no field extensions or methods of complex analysis.

研究动机与目标

• 通过代数拓扑工具，提供代数基本定理的一个拓扑证明。
• 通过分析相关代数的拓扑结构，证明不可约实多项式次数必须满足 ≤ 2。
• 建立实多项式商环的代数结构与同伦性、连通性等拓扑不变量之间的联系。
• 表明若存在次数 n ≥ 3 的不可约实多项式，则会通过域不变性定理导致拓扑矛盾。

提出的方法

• 对次数为 n 的不可约实多项式 p(x)，构造商环 𝒪 = ℝ[x]/(p(x))，其构成一个无零因子的实代数。
• 在 𝒪 上定义平方映射 f(a) = a∘a，然后通过归一化得到连续映射 ψ: 𝕊ⁿ⁻¹ → 𝕊ⁿ⁻¹。
• 通过利用 ψ(y) = ψ(−y) 的对称性，将 ψ 提升为映射 ̂ψ: ℝPⁿ⁻¹ → 𝕊ⁿ⁻¹，该对称性尊重对径等价关系。
• 证明 ̂ψ 是连续的、单射的，且定义在紧致豪斯多夫空间之间，因此是其像上的同胚。
• 应用布劳威尔域不变性定理，证明 ̂ψ 的像在 𝕊ⁿ⁻¹ 中既开又闭，因此当 𝕊ⁿ⁻¹ 连通时（n > 1），必为满射。
• 通过万有覆盖构造 ℝPⁿ⁻¹ 中一个非同伦收缩的闭链，该闭链必须被提升为保持端点固定的同伦，这与 𝕊ⁿ⁻¹ 中闭链的可缩性矛盾（当 n > 2 时）。

实验结果

研究问题

• RQ1 代数基本定理能否通过纯拓扑方法而非纯代数或分析方法证明？
• RQ2 假设存在次数 n ≥ 3 的不可约实多项式，会引出何种拓扑约束？
• RQ3 由多项式导出的实代数上的平方映射如何诱导出球面与射影空间之间的连续映射？
• RQ4 域不变性定理在何种意义上阻碍了高次不可约实多项式的存在？
• RQ5 为何当 n > 2 时，实射影空间 ℝPⁿ⁻¹ 不同胚于球面 𝕊ⁿ⁻¹？这与多项式不可约性有何关联？

主要发现

• 不可约实多项式次数至多为 2，因为任何更高次都会导致拓扑矛盾。
• 由代数中平方运算诱导的映射 ̂ψ: ℝPⁿ⁻¹ → 𝕊ⁿ⁻¹ 是同胚当且仅当 n ≤ 2。
• 在 ℝPⁿ⁻¹ 中存在一个无法同伦收缩为常值闭链（通过万有覆盖构造），尽管 𝕊ⁿ⁻¹ 是单连通的，这在 n > 2 时导致矛盾。
• 域不变性定理在证明 ̂ψ 的像既开又闭（从而在连通目标空间中为满射）时至关重要。
• 该证明依赖于万有覆盖的唯一路径提升性质，以及 𝕊ⁿ⁻¹ 中对径点在 ℝPⁿ⁻¹ 中投影为同一点的事实。
• 矛盾源于：在 ℝPⁿ⁻¹ 中连接两极的闭链无法被收缩，而其在万有覆盖下的提升必须保持端点固定，这与 𝕊ⁿ⁻¹ 中闭链的可缩性相矛盾。