The Hopf Fibration Is One Comparison: Ratio, Cost and Linking on the Three-Sphere

The manuscript presents the classical Hopf fibration S^3 to S^2 as the ratio map on normalized pairs of complex numbers. Theorem 2 defines p(a,b) = (2 Re(a conjugate(b)), 2 Im(a conjugate(b)), |a|^2 - |b|^2) and proves that p equals the stereographic image sigma(a/b) of equation (1). The proof is elementary: when b = 0 one recovers the north pole; otherwise normalization |a|^2 + |b|^2 = 1 converts a conjugate(b) into z / (|z|^2 + 1) and recovers the remaining coordinates of sigma. Part (iii) shows that the fibre over each ratio is precisely the circle of common phase factors of modulus one. The worked pair a = 2i, b = 1 is carried through every subsequent calculation, giving an immediate numerical check that p lands at (0, 4/5, 3/5). This identification is classical (Hopf 1931, Lyons 2003) yet the paper's contribution is the sustained dictionary that converts every geometric feature into a statement about two numbers comparing by size and phase only. The domain of validity is the set of nonzero pairs in C^2; no regularity beyond continuity of the ratio is required for Theorem 2 itself. The same construction is later extended, via Hurwitz's theorem, to the four real normed division algebras, but that extension is cited rather than re-proved. No counter-example arises under the stated hypotheses: every normalized pair belongs to exactly one fibre and every ratio is attained. The argument therefore recovers the standard Hopf map without introducing new analytic hypotheses. The status table (Table 2) correctly labels the result classical with a proof supplied for completeness. The reading is pedagogical rather than a claim of mathematical novelty, and the paper does not overstate its originality on this point. Comparison with Urbantke's survey of physical appearances of the fibration shows that the present dictionary is more elementary and more tightly focused on the comparison interpretation. The three open questions listed in Section 9 are kept carefully separate from the proved geometric statements. Overall the identification of the Hopf map with division is solid under the classical hypotheses and is presented with unusual transparency about provenance.

The latitude-longitude dictionary of Section 3 follows at once from the same coordinate formulae. Equation (3) records H = (|a|^2 - |b|^2) / (|a|^2 + |b|^2) = tanh(ln r) with r = |a|/|b|, so latitude is relative size and the polar angle of X + iY = 2 a conjugate(b) is relative phase. Proposition 3 then shows that the exchange (a,b)mapsto(b,a) acts on the sphere by the half-turn (X,Y,H)mapsto(X,-Y,-H) about the X-axis, fixing the two balanced ratios z = plus or minus 1. The proof is a one-line conjugation argument and is elementary. The equator H = 0 is exactly the set of equal-size pairs, and each pole corresponds to a vanishing entry. These readings hold for any continuous choice of coordinates compatible with stereographic projection; no extra smoothness is imposed. The worked example again supplies an immediate numerical verification: r = 2 yields H = 3/5 and latitude arcsin(3/5) approximately 36.9 degrees north. The geometric dictionary is therefore an immediate and correct consequence of the Hopf coordinates already established in Theorem 2. The paper does not claim that these readings are new theorems; it claims only that they become plain once the fibration is viewed as a single comparison. That claim is supported by the explicit formulae and by the consistent numerical checks. No counter-example exists inside the stated domain: every point of S^2 arises as a ratio and every relative-size value appears as a unique latitude. The same dictionary later supplies the geometric meaning of the cost function, so the elementary geometry of Section 3 is foundational for the remainder of the argument.

The cost construction of Section 4 is the principal conditional novelty. Assumptions (C1)-(C3) require that C depend only on relative size r > 0, be continuous and non-negative, obey the composition law (4), and not vanish identically. Setting f = C + 1 converts (4) into the multiplicative form f(xy) + f(x/y) = 2 f(x) f(y). The change of variable g(u) = f(e^u) produces d'Alembert's functional equation. Continuous solutions with g(0) = 1 and g greater than or equal to 1 are precisely the hyperbolic cosines cosh(kappa u) for kappa > 0 (Aczel, Lectures on Functional Equations). Hence Theorem 4 concludes C(r) = cosh(kappa ln r) - 1. Specialisation kappa = 1 recovers the explicit formulae (7): C = (1/2)(r + 1/r) - 1 = 1/(2 |a| |b|) - 1 = sec phi - 1. The geometric reading (8) then follows at once: 1 + C equals the reciprocal of the Euclidean distance from the polar axis. The derivation is correct under the stated continuity and positivity hypotheses; the cosine solutions are excluded by the lower bound f greater than or equal to 1, and the constant solution is excluded by (C3). The paper is explicit that statements (i)-(iii) of Theorem 4 (vanishing on the equator, growth to infinity at the poles, invariance under exchange) hold for any cost of the form h(|ln r|) with h increasing from zero, so the composition law is used only to fix the precise hyperbolic formula. The value kappa = 1 is further fixed by the normalisation C''(1) = 1 taken from the uniqueness theorem of the authors' earlier work [11]; any other positive kappa merely rescales the unit. The worked pair again checks the arithmetic: r = 2 yields C = 1/4, matching sec phi - 1 when cos phi = 4/5. Corollary 5 places the same cost on Mercator's map (t, theta) = (ln r, arg(a/b)), where it becomes a function of height alone. The functional-equation argument is classical once the composition law is granted; the novelty lies in transporting the solution onto the sphere of ratios and reading it as a cost of imbalance. No counter-example to the uniqueness claim appears under continuity: every continuous solution of d'Alembert's equation with the stated bounds is a hyperbolic cosine. The status table correctly marks (C1)-(C3) and the second-derivative normalisation as assumed, and the derivation of the sphere formula as proved here.

The linking results occupy Sections 5 and 6. Theorem 6 asserts that any two distinct Hopf fibres are linked exactly once. The proof first exhibits an explicit disc Delta bounded by the fibre over infinity that meets the fibre over zero transversely at a single point, giving absolute linking number one. Path-connectedness of the configuration space of ordered pairs of distinct points of S^2 then deforms any pair of fibres to the polar pair without collision, preserving the linking number. The argument is the standard one already present in Hopf's original paper; the manuscript supplies a self-contained write-up and illustrates it by stereographic images (Figures 4 and 5). Proposition 7, citing Alexander duality (Hatcher, Corollary 3.45), shows that the first homology of the complement of an embedded circle in S^D is nontrivial precisely when D = 3. The paper carefully qualifies that the result concerns closed curves and first homology only; higher-dimensional sphere linkages exist in other ambient dimensions and are outside the scope of the proposition. The connection to the separate claim that a kept comparison requires three dimensions is explicitly labelled as resting on the hypotheses of the companion paper [14] and is not re-proved here. The geometric fact that the zero-cost set is the Clifford torus, and that positive-cost level sets are pairs of tori shrinking onto the polar fibres, follows at once from fixing |a| and |b| while leaving the two phases free; this is elementary once Theorem 4 is available and is illustrated in Figure 5. No analytic gap appears in the linking arguments under the classical topological hypotheses.

The four-fibration discussion of Section 7 and the qubit dictionary of Section 8 complete the classical picture. The statement that exactly four real number systems admit division and a multiplicative norm is the classical Hurwitz theorem on normed division algebras; the manuscript cites Baez's survey and Adams's theorem that sphere fibrations of the indicated dimensions exist only for n = 1, 2, 4, 8. The wording "number systems built on the real numbers" is slightly informal; the precise hypotheses (finite-dimensional real algebra with unit and positive-definite multiplicative norm) should be stated explicitly for a headline claim, but the mathematical content is correct under that reading and the Table 1 caption already states that octonion fibres are defined by the map rather than by group orbits. Validated objections O1-O3 are therefore editorial preferences only; O4 is already addressed by the existing caption. Section 8 simply specialises the same formulae to a pure qubit state: relative size is the square root of the odds, the distance from the polar axis is the l1 coherence 2 |a| |b|, and therefore cost equals 1/coherence - 1 for kappa = 1. The identification is dictionary only; the paper does not claim that the cost is an energy or any other measured quantity. The three open questions of Section 9 (identification of the three-sphere of pairs with physical space, coincidence of the two appearances of the number eight, and choice of number system in nature) are left explicitly open and are not used as premises for any proved theorem; validated objections O5-O7 confirm that the paper already labels them unsupported. Table 2 supplies a complete status inventory that separates classical results, results proved here, assumed axioms, cited companion results, and open questions. The reference list contains two monographs (Aczel, Hatcher) whose bibliographic details are standard; the automated resolver failed to match author strings, but no integrity concern arises. The overall mathematical content is therefore a careful, self-contained exposition of classical Hopf geometry together with a conditional cost function fixed by a functional equation, all presented under transparent hypotheses and with an unusually explicit separation of proved statements from open physical identifications. The minor wording tightenings suggested by the referees (explicit Hurwitz hypotheses, orientation convention for linking number, parenthetical remark on the independence of geometric conclusions from the choice of kappa) would improve precision but do not affect the correctness of any theorem under the stated premises. The paper meets the standards of a pedagogical and conceptual contribution in mathematical physics.

If the central reading is accepted, every classical feature of the Hopf fibration becomes a plain statement about comparing two numbers, and the cost function supplies an explicit numerical measure of imbalance fixed by a functional equation. The mathematical content is largely classical (Hopf, Adams, d'Alembert, Alexander duality), so the advance is pedagogical and synthetic rather than a new theorem that alters existing geometry. The transparent status table and the careful labelling of physical identifications as open prevent over-reach; the work therefore functions as a clear dictionary and a modest conceptual contribution for readers in mathematical physics or quantum-information foundations, without claiming to derive physical space or to settle which number system nature uses.

1. Transparent Table 2 separating classical, proved-here, assumed, cited and open claims.
2. Elementary self-contained proofs of Theorem 2 (Hopf map equals ratio) and Theorem 4 (cost cosh form under C1-C3).
3. Consistent worked pair a=2i, b=1 verifying every numerical claim.
4. Correct recovery of classical linking (Theorem 6) and dimension-three restriction (Proposition 7) with appropriate cautions.
5. Non-overreaching open questions on physical space, the two eights, and choice of number system.
6. Accurate qubit dictionary: cost equals 1/coherence-1 for kappa=1.

This review was written by a machine. No person has reviewed this paper on Pith yet. A scientist listed on Pith can review it for a fee, and their review is published here whatever it concludes. It does not decide whether the paper is published.

Get a human review · Become a reviewer

Competing interests. The author is affiliated with the Recognition Physics Institute and is an owner of Pith.

License. This paper is distributed under the Creative Commons Attribution 4.0 license.