The Null Orbit of the Syracuse Map

We identify a single arithmetic object — the null orbit \(\mathcal{N} = \{-\tfrac{1}{2} \cdot 2^{k} : k \in \mathbb{Z}\}\) of the map \(f(x) = 3x + 1\) — and show that it organises the divergence obstruction of the Syracuse map. The null \(x_0 = -1/2\) admits three independent characterisations: the algebraic fixed point of \(f\), the analytic-continuation value of \(\sum 3^i\) evaluated outside the disk of convergence, and (up to the transparent factor 2) the unique \(2\)-adic fixed point sustaining maximal expansion \(\kappa \equiv 1\). CYCLE OBSTRUCTION — The Syracuse cycle equation \((2^n - 3^T)x = S_T^*\) is not algebraically reducible to the pure map's fixed-point equation. Baker's theorem constrains cycles by bounding \(|2^n - 3^T|\) from below, but does not by itself exclude them. The null orbit plays no role here. DIVERGENCE OBSTRUCTION — The null orbit organises the limiting geometry through three mechanisms: the algebraic centre of the dominant mean multiplicative dynamics at \(q = -1/2 \notin \mathbb{Z}^+\), the \(2\)-adic escape at \(q = -1 \notin \mathbb{Z}^+\), and the regularised accumulation. The open interface is the promotion of static mean contraction together with independent control of the additive correction \(A_T\) to a pointwise orbital drop criterion \(\Gamma_T \log 2 > A_T\). The companion paper (Envelope Bound, DOI 10.5281/zenodo.19937295) supplies a non-circular logarithmic bound \(A_T = O(\log T)\) via Hölder–\(\zeta\) interpolation, so that any eventual positive co-length margin \(K_T/T > \log_2 3 + \epsilon\) would imply finite drop for all sufficiently large \(T\). The underlying difficulty is the Collatz singularity: \(\mathbb{Z}^+_{\mathrm{odd}}\) embeds densely in the odd coset \(1 + 2\mathbb{Z}_2\) but has Haar measure zero, so the known \(2\)-adic ergodicity does not transfer automatically. Three boundary results identify the non-closure interfaces of the present framework: Baker bounds do not control numerator divisibility; \(\mathrm{SU}(2)\)-density does not imply deterministic orbital equidistribution; and the self-referential remainder cannot be controlled by assuming the surplus it is meant to prove. The framework should be read as a localisation of the Collatz frontier, not as a closure of it. EPISTEMIC MARKERS — Each statement carries a status marker: I = proved, D = definition, N = negative result, O = open interface, B = boundary result. Serie I · v0.7 · DOI all versions: 10.5281/zenodo.19874522