Cone Geometry, Quaternion Orders, and Monodromy-Generated Euler Products

The connection between prime numbers and spectral geometry can be organized into a four-stage programme, each progressively translating arithmetic data into geometric and analytic structures. The overarching goal is to encode the primes as spectral invariants of a geometric object, ultimately linking the Riemann zeros to eigenvalues of a canonical operator. Primes as Cone Singularities At the first stage, primes are interpreted as cone singularities on a Riemann surface. This perspective is formalized via the singular Liouville equation, whose solutions describe metrics of constant negative curvature with prescribed conical deficits at the primes. The Troyanov–McOwen existence theorem guarantees solutions under natural angle conditions. From a physical viewpoint, the primes act like point charges in a log-gas, repelling each other via a two-dimensional Coulomb interaction: the logarithmic potential mirrors the long-range arithmetic correlations between primes. Residue Matrices & the Logarithmic Spiral Torus Each prime ppp is encoded by a residue matrix which represents a hyperbolic element. This construction maps the prime to a displacement along a logarithmic spiral torus, giving a geometric manifestation of log⁡p plogp as the hyperbolic length. The resulting matrices collectively form a discrete subgroup whose spectral properties reflect the distribution of primes. Quaternion Orders & Cocompactness To achieve a cocompact quotient, one moves to quaternion algebras and their maximal orders. Division algebras provide the algebraic setting for Borel–Harish-Chandra finiteness results, ensuring that the corresponding arithmetic Fuchsian group is cocompact. However, the presence of Condition (B) — a subtle obstruction related to torsion-free embeddings — highlights fundamental limitations: not every arithmetic structure admits a smooth compact model. Global Euler Product The primes re-emerge in analytic guise through the global Euler product whose logarithmic derivative resembles a von Mangoldt-style sum over primes. This stage encodes the additive and multiplicative information of the primes into a spectral function whose zeros will later be related to eigenvalues. Heat-Trace Formula At the analytic heart lies the heat-trace formula. By constructing a Fourier-based Selberg kernel, one identifies four distinct terms corresponding to the geometric, cusp, elliptic, and hyperbolic contributions of the arithmetic surface. Mellin transformation bridges the trace formula to the LLL-function, providing a spectral interpretation of the logarithmic derivative and connecting the lengths of geodesics (logarithms of primes) to the spectrum of the Laplacian. Shimura Curves & Adelic Framework The programme is then lifted to the adelic setting. By considering an algebraic tower and taking the projective limit surface, one achieves a global object encoding all local data. The Arthur–Selberg dictionary translates adelic orbital integrals into spectral sums, linking the arithmetic of primes to automorphic representations on Shimura curves and establishing the necessary arithmetic–geometric dictionary. Arithmetic Mirror Symmetry Primes and their duals are further structured via Atkin–Lehner involutions, reflecting a form of arithmetic mirror symmetry. Langlands duality governs the passage between these dual objects, and the functional equation criterion imposes strict symmetry constraints on the associated spectral data, hinting at a deep reciprocity between geometric and arithmetic manifestations of primes. Open Problems The final frontier of this programme remains audacious: the spectral realization of the nontrivial zeros of the Riemann zeta function. While partial correspondences are established via the heat-trace and Euler product, a full geometric operator whose spectrum precisely matches the Riemann zeros remains elusive. Other open questions include explicit cocompact models, the full adelic correspondence, and a natural arithmetic–mirror symmetry framework that incorporates higher-rank phenomena.