Microlocal Prime Correspondences and Prime-Power Trace Identities in the TEBAC Hilbert–Pólya Framework (GS3 Companion)

This companion preprint isolates and closes the GS3 module in the TEBAC Hilbert--Pólya framework: a microlocal prime/prime-power correspondence package on the one-dimensional balanced GL (1) channel and the associated prime-power heat-trace identities required in the GS5 exchange step. We work in the exponential confinement regime on R, modeled by the Schrödinger operatorequation*L₆₋ = -ᵤ² + V (u), (u) = e^2u + e^-2u + R (u), , > 0, equation*where R is assumed trace-smoothing (for example, a smoothing operator with C^, compactly supported kernel). The centered heat trace isequation* (t): = (e^-tL₆₋) - Pₑ₄₅ (t), equation*with Pₑ₄₅ (t) the fixed GS5 reference subtraction. On the analytic side (GS3-), we define the prime-power correspondence operators T₏㵮 as normalized GL (1) translations and prove the shifted-diagonal trace identity for the heat-regularized compositions e^-tL₆₋ T₏㵮 in the fundamental-domain trace conventionequation* (e^-tL₆₋ T₏㵮) = p^-k/2 ₅䂹 K₆₋ (t; u, u + k p), du, equation*where K₆₋ (t;u, v) is the heat kernel of L₆₋ and Fₚ is a fundamental domain of length p. Using Gaussian domination bounds for K₆₋ (t;u, v), we obtain uniform prime-power majorants on compact t-intervals, which yield absolute convergence and uniformity of the series equation* ₏ ₊ ₁ (e^-tL₆₋ T₏㵮), equation* and provide GS5-ready Tonelli/Fubini domination on the half-plane (s) > 1, including differentiation under the integral sign for the prime test family. On the structural side (GS3-), we construct a microlocal branch decomposition on the GL (1) channel and identify the prime-power contributions, matching the diagonal term to the GS5 subtraction Pₑ₄₅ (t) and proving trace-negligibility of the microlocal remainder under explicit support assumptions. In particular, the structural identity takes the formequation* (t) = -₏₊ ₁ (e^-tL₆₋T₏㵮), t>0, equation*and the right-hand side is an absolutely convergent series for each t>0, uniformly on compact t-intervals. For completeness, an appendix titled “Sieve roadmap” records a legacy semigroupoid normal form and sieve-input interface (I1–I5) purely as roadmap; it is not used in any proof in this preprint. This upload is part of the broader TEBAC “unconditionality audit” and is intended to be cited as the GS3 companion module supporting the prime-power trace package used in GS5.