Spectral Homotopy and the Spectral Fundamental Group

Abstract

In this paper, we introduce an algebraic-topological invariant for commutative pm-rings, termed the spectral fundamental group, which is denoted by $π_{k}^{alg}(A)$. This group is defined via homotopy classes of loops within the space of induced spectral maps, which are generated by the $k$-algebra endomorphism monoid of the ring. We establish foundational properties of this invariant, proving that $π_{k}^{alg}(A)$ is an abelian group that naturally respects direct products and admits natural morphisms with respect to fully invariant subrings. Further, we establish an explicit isomorphism between the spectral fundamental group of certain continuous function rings and the classical fundamental group of their associated topological mapping spaces. Finally, utilizing a generalized dual number construction, we present an explicit example of a pm-ring that cannot be embedded into any function ring over a field of characteristic zero, yet possesses a nontrivial spectral fundamental group. This demonstrates that $π_{k}^{alg}(A)$ captures homotopical dynamics that are intrinsically algebraic.

Theorems & Definitions (25)

• Theorem 2.1
• Theorem 2.2: Exponential Law
• Definition 3.1: Induced Spectral Maps
• Definition 3.2: Homotopy of Induced Spectral Maps
• Definition 3.3: Spectral Loop at $\mu_{id_{A}}$
• Definition 3.4: Homotopy of Spectral Loops at $\mu_{id_{A}}$
• Definition 3.5
• Theorem 4.1
• proof
• Theorem 4.2