El mar que envuelve a las piedras: espacios de Stone, profinitos y su papel en la aritm\'etica contempor\'anea

TL;DR

This paper provides a comprehensive development of Stone duality, illustrating its significance in arithmetic geometry and condensed mathematics, with a focus on profinite spaces and their applications.

Contribution

It offers a rigorous, self-contained exposition of Stone duality, including the construction of Stone spaces, their relation to profinite spaces, and applications in arithmetic geometry and condensed mathematics.

Findings

Proves Stone's representation theorem.

Describes profinite spaces as inverse limits of finite systems.

Connects Stone duality to arithmetic objects like p-adic integers and Galois groups.

Abstract

Stone duality establishes a contravariant equivalence between the category of Boolean algebras and the category of compact, Hausdorff, totally disconnected topological spaces (Stone spaces). These spaces are precisely the profinite spaces and form the natural environment for arithmetic objects such as the $p$-adic integers, absolute Galois groups, and profinite completions. In this article we give a rigorous and self-contained development of the construction of the Stone space associated to a Boolean algebra, prove Stone's representation theorem, and describe profinite spaces as inverse limits of finite systems. From there we introduce the Stone--\v{C}ech compactification via its universal property and discuss central arithmetic examples (such as $\beta\mathbb{N}$ and profinite completions), emphasizing their structural role in arithmetic geometry and in the framework of Condensed Mathematics of Clausen--Scholze. The text is aimed at advanced undergraduate and beginning graduate students, as well as readers interested in the interface between topology, number theory, and new categorical formulations of topology.