The Hodge Conjecture as a Conjunction of Arithmetic and Geometric Problems: A Precise Reduction | Synapse