[논문 리뷰] Real Polynomial Rings and Domain Invariance

Jon A. Sjogren|arXiv (Cornell University)|2015. 02. 01.

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인 기약 실계수 다항식의 존재가 브라우어의 도메인의 불변성 정리를 통해 위상적 모순을 일으킨다는 것을 보여주는 것.

제안 방법

• 기약 실계수 다항식 p(x)의 차수 n에 대해 몫환 𝒪 = ℝ[x]/(p(x))를 구성하며, 이는 영인자가 없는 실대수 대수를 이룬다.
• 𝒪 위에서 제곱 연산 f(a) = a∘a를 정의한 후, 이를 정규화하여 연속적 사상 ψ: 𝕊ⁿ⁻¹ → 𝕊ⁿ⁻¹를 얻는다.
• ψ(y) = ψ(−y)의 대칭성을 이용하여 ψ를 ̂ψ: ℝPⁿ⁻¹ → 𝕊ⁿ⁻¹로 올리며, 이는 반대칭 동치 관계를 유지한다.
• ̂ψ가 연속적이고 단사적이며, 컴act 하우스도르프 공간 사이에 존재하므로, 그 상에 대한 위상동형사상임을 증명한다.
• 브라우어의 도메인의 불변성 정리를 적용하여 ̂ψ의 상이 𝕊ⁿ⁻¹에서 열려 있고 닫혀 있음을 보이며, 𝕊ⁿ⁻¹가 연결되어 있을 경우(즉, n > 1일 경우) 전사가 됨을 증명한다.
• 유니버설 커버를 통해 ℝPⁿ⁻¹에 비수축 가능한 고리(loop)를 구성함으로써, n > 2일 경우 고정된 끝점을 유지하는 호모토피로 올릴 수 없음을 보이며, 이는 𝕊ⁿ⁻¹에서 고리가 수축 가능하다는 점과 모순된다.

실험 결과

연구 질문

• RQ1 대수적 또는 해석적 방법 외에 위상수학적 방법을 사용하여 대수학의 기본 정리를 증명할 수 있는가?
• RQ2 기약 실계수 다항식의 차수가 n ≥ 3임을 가정할 경우 어떤 위상수학적 제약 조건이 발생하는가?
• RQ3 다항식에서 유도된 실대수 대수 위에서의 제곱 연산이 구면과 프로젝티브 공간 사이에 연속적 사상으로 어떻게 유도되는가?
• RQ4 어떻게 도메인의 불변성 정리가 고차수의 기약 실계수 다항식의 존재를 차단하는가?
• RQ5 왜 실프로젝티브 공간 ℝPⁿ⁻¹는 n > 2일 때 구면 𝕊ⁿ⁻¹와 위상동형이 아니며, 이는 다항식의 기약성과 어떻게 관련되는가?

주요 결과

• 기약 실계수 다항식의 차수는 최대 2여야 하며, 이보다 높은 차수일 경우 위상적 모순이 발생한다.
• 대수에서의 제곱 연산에 의해 유도된 맵 ̂ψ: ℝPⁿ⁻¹ → 𝕊ⁿ⁻¹는 n ≤ 2일 때에만 위상동형사상이 된다.
• n > 2일 경우 ℝPⁿ⁻¹에 존재하는 비수축 가능한 고리가, 구면이 단순연결임에도 불구하고 고정된 끝점을 유지하는 올림으로 올릴 수 없음을 보이며, 이는 모순을 일으킨다.
• 도메인의 불변성 정리는 ̂ψ의 상이 열려 있고 닫혀 있음을 보여주며, 이는 목표 공간이 연결되어 있을 경우 전사가 됨을 증명하는 데 필수적이다.
• 이 증명은 유니버설 커버의 고유한 경로 올림 성질과, 𝕊ⁿ⁻¹의 반대칭 점들이 ℝPⁿ⁻¹에서 같은 점으로 사영된다는 사실에 의존한다.
• 모순은 ℝPⁿ⁻¹의 극점들을 연결하는 고리가, 유니버설 커버 아래에서 올릴 수 있는 올림이 고정된 끝점을 유지해야 하는 조건을 위반함으로써 발생한다.