The Sink Is a Flattening: Charge, Antigravity, and the Photon in Flowing Space

Abstract

We extend the flowing-space framework in two geometric directions and join them into one chain. The motivation is cumulative: it began with the Riemann hypothesis, where the critical line Re s = 1/2 is the fixed set of the reflection s -> 1-s, and the value 1/2 seemed too physical to be a coincidence; it passed through an abandoned attempt to build a hidden-number space (one sheet cannot accommodate two statistics), and through the goal of unifying the photon, the fermion, and the boson and locating the origin of the glueball mass. The resolution: space is not a background, it flows. Mass is anchoring against that flow; charge is its divergence; a converging divergence is a sink; a fully contracted sink is flattening, and a flattened flow is massless and neutral, the photon. This paper turns that realization into theorems: (i) charge as flow divergence - positive charge is a source, negative charge a sink, mutually exclusive, flipped under rho -> -rho, neutral at zero; (ii) a conditional chain from accelerated charge to the photon via the framework's own mu-bridge (one flattening gives mu = 1); (iii) the sink is a flattening - inward contraction reduces the fluctuation energy QA by the square factor (1-lambda)^2 (exact discrete theorem), making negative charge the natural carrier of the antigravity field; (iv) the half-phase geometry - the fixed point of the envelope reflection is ln(sqrt e) = 1/2, and the half-angle phase exp(i theta/2) is the fermionic closure witness with factor -1, locating spin 1/2. As a device application, the self-flattening of circulating electrons shortens the approach to the working window mu = 0.999 from 132 to 85 steps and reaches it with halved external RMF drive. All statements are formalized in Lean 4 with zero sorry; the honest status is stated: the chain is conditional (if a flattening occurs, any anchored substance becomes a photon), lambda and delta, epsilon are inputs, and the continuum 3D divergence-to-functional correspondence is not yet formalized.

Keywords