스펙트럼 동형론과 새로운 대수적 기본군

본 논문은 가환 pm-환(모든 소이데알이 유일한 극대이데알에 포함되는 환) 위에 새로운 대수‑위상학적 불변량인 스펙트럼 기본군 π_{alg}^k(A)를 정의하고, 그 기본적인 성질들을 체계적으로 탐구한다. 서론에서는 스펙트럼 Spec(A)와 Max(A) 사이의 고유 재traction μ를 소개하고, 이를 통해 Max(A) 가 Hausdorff 공간임을 상기한다. 이어서 k가 ℤ 또는 ℝ인 경우를 전제로, k‑PM 범주(객체는 k‑대수 구조를 가진 pm-환, 사상은 단위 보존 k‑대수 동형사상)와 각 객체 A에 대한 엔도몰리즘 모노이드 E_k(A)=Hom_k‑PM(A,A)를 정의한다. 각 엔도몰리즘 f∈E_k(A)는 Spec(A)와 Max(A) 위에 연속 사상 f^*:Spec(A)→Spec(A), μ_f=μ∘f^*|_{Max(A)} 를 유도한다. 이렇게 얻은 μ_f들의 집합 X_A^k 를 C(Max(A),Max(A))의 부분공간으로 간주하고, compact‑open 위상을 부여한다. 정의 3.2‑3.5를 통해 μ_f 사이의 호모토피와 μ_id_A 를 기준점으로 하는 루프들을 정의하고, 그 호모토피 클래스를 π₁(X_A^k,μ_id_A) 로 정의함으로써 스펙트럼 기본군 π_{alg}^k(A) 를 도입한다. 제4절에서는 기본적인 구조 결과들을 제시한다. 정리 4.1은 X_A^k 가 연산적 H‑space임을 이용해 π_{alg}^k(A) 가 언제나 아벨 군임을 증명한다. 정리 4.2와 4.3은 완전 불변 부분환 D⊂B와 그에 대한 사상 h:A→B(또는 포함 i:D↪B) 사이에 자연스러운 군 사상 h_* 혹은 i_* 를 구성하고, 전단사인 경우 동형, 전단사이면서 완전 불변인 경우 군이 직접곱 분해되는 성질을 보인다. 정리 4.4는 위의 결과를 결합해 h가 완전 불변 리트랙트인 경우에도 전단사와 동일한 결론을 얻는다. 정리 4.5는 직적곱에 대한 보존성을 다룬다. A×B의 엔도몰리즘은 (E_k(A)×E_k(B))와 일대일 대응하고, μ_f는 Max(A)와 Max(B) 각각에 대한 μ_{f_i} 로 분리된다. 따라서 π_{alg}^k(A×B)≅π_{alg}^k(A)×π_{alg}^k(B) 가 성립한다. 이는 스펙트럼 기본군이 카테고리적 곱에 대해 완전함을 의미한다. 다음으로, 정리 4.6에서는 연속함수환 C(X)와 그 변형 C^*(X)를 대상으로 한다. Tychoff 공간 Y와 그 베타 완성 βY 를 이용해 C(βY)와 동형인 경우를 고려한다. 각 엔도몰리즘 f는 βY 위의 연속 사상 φ_f 로 유일하게 대응하고, X_A^Z 가 C(βY,βY)와 동형임을 보인다. 결과적으로 π_{alg}^Z(C^*(X))≅π_1(C(βY,βY),id) 가 되어, 전통적인 매핑 공간의 기본군과 정확히 일치한다. 이는 스펙트럼 기본군이 기존 위상학적 불변량과 자연스럽게 연결될 수 있음을 보여준다. 마지막 절에서는 특수한 예시를 제시한다. 일반화된 이중수(dual number) 구조를 이용해, 특성 0 필드 위의 함수환에 삽입될 수 없는 pm-환 A를 구성한다. 이 A는 비자명한 엔도몰리즘 군을 갖고, 직접 계산을 통해 π_{alg}^k(A)≠0 를 확인한다. 따라서 스펙트럼 기본군은 순수히 대수적 현상을 포착하며, 기존 위상학적 도구로는 탐지되지 않는 정보를 제공한다는 점을 강조한다. 전체적으로 논문은 “대수적 엔도몰리즘 → 유도된 스펙트럼 지도 → 연속적 루프 공간 → 기본군”이라는 일련의 사상을 통해 새로운 불변량을 정의하고, 그 구조적 특성(아벨성, 직적곱 보존, 완전 불변 부분환에 대한 사상)과 전통적인 위상학적 기본군과의 동형성을 입증한다. 또한 함수환이 아닌 경우에도 비자명한 예시를 제공함으로써 이 불변량이 순수 대수적 현상을 탐지하는 강력한 도구임을 시사한다.