The Critical Arithmetic Sector and the Restricted Transverse Trace Conjecture

The Critical Arithmetic Sector and the Restricted Transverse Trace Conjecture Geometry of the Critical Line — Paper 38 Pavel Kramarenko-Byrd Independent Researcher [email protected] Pasha · vX.Ø March 2026 DOI: 10.5281/zenodo.19178308 Abstract The original Transverse Trace Conjecture (TTC) of the SCT programme is formulated on the full coupled spectral space. We show that the combined results of the critical-slice characterisation (Paper 5), the functional-equation isometry (Paper 33), and the windingconfinement analysis (RN7) single out a unique invariant subspace—the critical arithmetic sector —on which the trace identity should be stated. We prove that this sector is an exact reducing subspace for both the geometric spectral operator and the prime translation action, yielding a canonical self-adjoint restricted operator with real discrete spectrum. The Restricted Transverse Trace Conjecture (RTTC) is then stated precisely on this sector and decomposed into a ladder of seven sub-conjectures. We prove the conditional result that RTTC implies the identification of the restricted spectrum with the Riemann zero ordinates. This paper does not prove RTTC; it isolates the exact operator-theoretic framework in which such a trace formula must be established and identifies the remaining obstacles. 1 Introduction The Geometry of the Critical Line programme, comprising 37 papers and 8 research notes published between February and March 2026, constructs a five-dimensional Riemannian manifold 5 whose geometric properties are centred on the critical line σ = 21 of the Riemann zeta MSCT function. The original Transverse Trace Conjecture (Paper 8) asserts that an arithmetic trace on the full SCT spectral space reproduces the prime side of the Weil explicit formula. The present paper refines that conjecture. The evidence assembled across the programme— the critical-slice uniqueness theorem (Paper 5), the conjugation-reduction theorem (Paper 33), and the winding-confinement eigenvalue analysis (RN7)—indicates that the full spectral space is not the correct arithmetic carrier. The arithmetic realisation should occur on a unique symmetry-compatible, winding-confined invariant subspace: the critical arithmetic sector. We prove the full invariant-subspace infrastructure around this sector (Section 4), state the Restricted Transverse Trace Conjecture precisely (Section 5), prove the conditional spectral identification theorem (Section 6), and decompose the remaining conjecture into a ladder of seven specific sub-problems (Section 7). What this paper proves: the critical arithmetic sector is rigorously defined, is preserved exactly by both the spectral operator and the prime translations, and carries a canonical selfadjoint restricted operator. 1 What this paper does not prove: RTTC itself. The trace identity remains conjectural. This paper does not establish a trace formula for Dcrit and does not construct the arithmetic trace functional that would turn the spectral carrier into the explicit formula. It isolates the exact operator-theoretic framework in which such a trace formula must be proved, and decomposes the remaining obstacle into explicit sub-problems. 2 Background We recall the essential structures from the monograph (Papers 0–8) and subsequent developments. 2.1 The SCT 5-manifold Paper 4 constructs a five-dimensional Riemannian manifold with coordinates√(σ, tR , tI , θ, ϕ) and metric containing the cross-term 2kδ dσ dθ, where δ = σ − 21 and k = 1/ 2. At σ = 21 , the metric becomes diagonal and the torus is flat. 2.2 The functional-equation isometry The map Φ : (σ, t, tR , tI , θ) 7−→ (1 − σ, −t, tR , tI , θ + π) is an isometry of the SCT metric. This is the geometric realisation of the functional equation ξ(s) = ξ(1 − s). 2.3 Five characterisations of the critical slice Paper 5 proves that σ = 12 is the unique slice satisfying: (i) fixed-point symmetry, (ii) parity compatibility, (iii) derivative decoupling, (iv) torus flatness, and (v) metric diagonalisation. 2.4 The original TTC Paper 8 conjectures that the arithmetic trace on the full SCT spectral space reproduces the Weil explicit formula. Paper 8 also proves the conditional theorem: TTC implies the spectral parameters equal the Riemann zero ordinates. 3 Why Restriction Is Necessary Three independent lines of evidence indicate that the full spectral space is too coarse for the arithmetic trace identity. Evidence 1 (Paper 5). The critical slice is uniquely distinguished by five independent geometric conditions. The arithmetic content should live on the subspace adapted to this slice, not the ambient space. Evidence 2 (Paper 33). The functional-equation involution reduces to pure conjugation type only on the critical slice. The functional-equation-compatible sector is therefore a proper subspace. Evidence 3 (RN7). The naive unwound sector (m = 0) does not furnish spectrally meaningful confined states. The first stable confined spectral sectors have nontrivial winding (m ̸= 0). Any viable arithmetic realisation must be winding-sensitive. These three observations converge on a single conclusion: the correct carrier for the arithmetic trace identity is the intersection of the functional-equation-compatible sector with the winding-confined sector. 2 4 The Critical Arithmetic Sector 4.1 Ambient Hilbert space and definitions Let H = L2 (B, S(σ) dσ) ⊗ Hτ , √ where B = {σ : |σ − 21 | < 2} is the longitudinal bubble, S(σ) dσ is the geometric weight from the Friedrichs/Sturm–Liouville construction, and Hτ is the GNS Hilbert space of the irrational rotation algebra Aα . The separated modes have the form Ψ(σ, tR , tI , θ) = eipR tR eipI tI eimθ ψ(σ), with torus momenta pR , pI ∈ R, winding number m ∈ Z, and longitudinal profile ψ(σ). Definition 4.1 (Critical involution). Define K : H → H as the pullback of the functionalequation isometry: (Kf )(σ, t, tR , tI , θ) = f (1 − σ, −t, tR , tI , θ + π). Define H+ := ker(K − I), H− := ker(K + I), with projectors P± := (I ± K)/2. Definition 4.2 (Winding sector). Let Hm ⊂ H denote the closed subspace of winding number m. Define the winding-confined sector M Hwind := m∈M Hm , where M ⊆ Z \ {0}. In the full-winding formulation, M = Z \ {0}; in the lowest-winding formulation, M = {±1}. Let Pwind denote the orthogonal projector onto Hwind . Definition 4.3 (Critical arithmetic sector). The critical arithmetic sector is Hcrit := H+ ∩ Hwind , with projector Pcrit := P+ Pwind . 4.2 Prime translations and symmetry preservation Let Tp denote the prime translation on the torus: (Tp f )(σ, t, tR , tI , θ) = f (σ, t, tR + vR log p, tI + vI log p, θ), where (vR , vI ) is the flow direction on the Clifford torus. Lemma 4.4 (Basic properties of K). The operator K is a unitary involution: K 2 = I, K ∗ = K, P±2 = P± , P+ P− = 0, and H = H+ ⊕ H− . Proof. Since Φ is an isometry, K preserves the L2 inner product and is therefore unitary. Since Φ2 = id, K 2 = I. The projector identities follow. ■ Lemma 4.5 (Prime translations preserve symmetry sectors). For every prime p, [K, Tp ] = 0. Consequently Tp (H± ) ⊆ H± and [P± , Tp ] = 0. Proof. K acts on (σ, t, θ); Tp acts on (tR , tI ). The actions are on disjoint coordinate sets and therefore commute pointwise. ■ 3 Lemma 4.6 (Prime translations preserve winding sectors). For every prime p, Tp (Hm ) ⊆ Hm for each m ∈ Z, and therefore Tp (Hwind ) ⊆ Hwind and [Pwind , Tp ] = 0. Proof. Tp acts on (tR , tI ) and leaves θ unchanged; hence it does not alter the Fourier label m. ■ Proposition 4.7 (Sector invariance under prime translations). For every prime p, Tp (Hcrit ) ⊆ Hcrit , [Pcrit , Tp ] = 0. Proof. By Lemmas 4.5 and 4.6, Tp preserves both H+ and Hwind , hence their intersection. 4.3 ■ Commutation with the spectral operator Let ∆g denote the scalar Laplace–Beltrami operator of the SCT metric. Let D denote the self-adjoint spectral operator obtained from ∆g by the Friedrichs realisation and functional calculus. Proposition 4.8 (Exact commutation with the critical involution). [∆g , K] = 0. Consequently, any self-adjoint operator D obtained canonically from ∆g satisfies [D, K] = 0 and [D, P± ] = 0. Proof. The map Φ is an isometry. For any scalar function f , pullback by an isometry commutes with the scalar Laplace–Beltrami operator: ∆g (f ◦ Φ) = (∆g f ) ◦ Φ. This is exactly ∆g K = K∆g . Since K is unitary and commutes with ∆g , it commutes with every Borel function F (∆g ), hence with D. ■ Remark 4.9. The mixed metric term 2kδ dσ dθ is not an obstruction to commutation. Under Φ, δ 7→ −δ and dσ 7→ −dσ, so the two sign changes cancel. At the operator level: the coupling term δ ∂σ ∂θ has an odd coefficient (δ) and an odd derivative (∂σ ); their product is even, so the coupling commutes with K. Proposition 4.10 (Winding reduction). The SCT metric coefficients are independent of θ. Hence [∆g , ∂θ ] = 0, each Hm is invariant under ∆g , and [D, Pwind ] = 0. Proof. θ-independence of the metric implies invariance under θ-rotations, whose eigenspaces are the Hm . ■ 4.4 The main theorem Theorem 4.11 (Critical-sector reduction). Let Hcrit = H+ ∩ Hwind and Pcrit = P+ Pwind . Assume D is a self-adjoint operator canonically obtained from the SCT scalar Laplace–Beltrami operator. Then: 1. P+ and Pwind commute; 2. Pcrit is an orthogonal projector; 3. [D, Pcrit ] = 0; 4. D preserves Hcrit exactly; 5. the restricted operator Dcrit := D|Hcrit is self-adjoint on Hcrit . Proof. Since K maps Hm to itself (up to the phase (−1)m from θ 7→ θ + π), P+ commutes with each winding projector and hence with Pwind . By Propositions 4.8 and 4.10, [D, P+ ] = 0 and [D, Pwind ] = 0. Therefore [D, Pcrit ] = [D, P+ ]Pwind + P+ [D, Pwind ] = 0. A self-adjoint operator reduced by a commuting orthogonal projector restricts to a self-adjoint operator on the invariant subspace. ■ 4 Corollary 4.12 (Real discrete spectrum). If D has discrete real spectrum on H, then Dcrit has discrete real spectrum on Hcrit , with positive spectral parameters {Ekcrit }. Remark 4.13 (Why the isometry route is stronger than compression). Because D commutes exactly with K and with the winding projectors, the critical arithmetic sector is an exact reducing subspace, not merely an approximate or compressed one. Dcrit is a genuine self-adjoint restriction with its own spectral theorem. 5 Restricted Transverse Trace Conjecture The invariant-subspace infrastructure is rigorous. The arithmetic trace identity itself remains conjectural. Conjecture 5.1 (RTTC). For every even Schwartz test function h, τarith h(Dcrit )
= b h(0) log 1 − 2π ∞  X X log p b b h(m log p) + h(−m log p) + l.o.t., m/2 p p prime m=1 where τarith is the arithmetic trace functional of the noncommutative torus programme and l.o.t. denotes the lower-order archimedean and regularisation terms appearing in the Weil explicit formula. Remark 5.2. The content of RTTC is not the existence of Dcrit ; that is proved in Theorem 4.11. The content is the identification of its arithmetic trace with the Weil prime-side distribution. 6 Conditional Identification Theorem Theorem 6.1 (Conditional spectral identification). Assume Conjecture 5.1. Then for every even Schwartz test function h, X k 1 − h(Ekcrit ) = b h(0) log 2π ∞  X X log p b b h(m log p) + h(−m log p) + l.o.t. pm/2 p prime m=1 Comparing with the Weil explicit formula yields Ekcrit = tk , where {tk } are the ordinates of the nontrivial zeros of ζ(s). Proof. Since Dcrit is self-adjoint with discrete real spectrum, the spectral theorem gives τarith (h(Dcrit )) = P crit k h(Ek ). Under RTTC, this equals the Weil prime-side distribution. The classical Weil explicit formula gives the same distribution in terms of zero ordinates. Equality for all even Schwartz h identifies the two multisets. ■ 7 RTTC Sub-Conjecture Ladder We decompose RTTC into a ladder of smaller statements to make the remaining problem transparent. Definition 7.1 (Weil prime-side distribution). For an even Schwartz test function h, define Wprime (h) := b h(0) log 1 − 2π ∞  X X log p b b h(m log p) + h(−m log p) + l.o.t. m/2 p p prime m=1 5 7.1 RTTC-1: Functional calculus Lemma 7.2 (Proved). h(Dcrit ) is well-defined by the self-adjoint functional calculus, and P crit k h(Ek ) converges. 7.2 RTTC-2: Arithmetic trace factorisation Conjecture 7.3 (Partial). τarith (h(Dcrit )) factors through the longitudinal/transverse splitting: a spectral contribution from the restricted operator, a transverse contribution from the prime translation action on the noncommutative torus, and a critical-slice normalisation. Monograph inputs: Papers 6, 8. Missing: sectorial theorem. 7.3 RTTC-3: Prime-power expansion Conjecture P P7.4 (Partial). The factored trace admits a canonical expansion τarith (h(Dcrit )) = I(h) + p m≥1 Cp,m (h). Monograph inputs: Paper 6. Missing: derivation from restricted trace. 7.4 RTTC-4: Exact coefficient extraction Conjecture 7.5 (Open—the hardest piece). Each coefficient is exactly  log p  h(m log p) + b h(−m log p) . Cp,m (h) = − m/2 b p This is the arithmetic heart of the programme. Genuinely new mathematics is likely required. 7.5 RTTC-5: Exact test-function transform Conjecture 7.6 (Partial). The contribution of translation length m log p produces b h(±m log p) exactly, for h-independent coefficients ap,m . Motivated by Selberg-transform analogy; theorem missing. 7.6 RTTC-6: Summation and regularisation Conjecture 7.7 (Open). All interchanges (spectral sum, prime-power sum, Fourier transform, regularisation) are legitimate in the relevant test-function class. Technical analysis layer. 7.7 RTTC-7: Full Weil identification Proposition 7.8 (Conditional on RTTC-2 through RTTC-6). Assuming the above sub-conjectures, RTTC holds: τarith (h(Dcrit )) = Wprime (h). 7.8 Heat Kernel Coefficient Conjecture Conjecture 7.9 (HKCC—strategic target). There exists a theta-type function Θt (ξ) such that for every integer n ≥ 1, 2
τarith Tn e−tDcrit = n−1/2 Θt (log n). This is the closest analogue of the orbital-integral step in the Selberg trace formula and represents the most promising attack vector for RTTC. 6 7.9 Summary Step RTTC-1 RTTC-2 RTTC-3 RTTC-4 RTTC-5 RTTC-6 RTTC-7 HKCC 8 Statement Status Gap Functional calculus on Dcrit Arithmetic trace factorisation Prime-power expansion Exact coefficients log p/pm/2 Test-function transform Summation/regularisation Full Weil identification Heat-kernel coefficient identity Proved Partial Partial Open Partial Open Conditional Open Section 4; Paper 7 Sectorial theorem missing Derivation missing Hardest piece Theorem missing Technical layer Assembly Best symbolic target Discussion This paper does not prove RTTC. It does not prove the Riemann Hypothesis. What it proves is the complete invariant-subspace infrastructure surrounding RTTC: the critical arithmetic sector is rigorously defined, is preserved exactly by both the prime translation action and the geometric spectral operator, and carries a canonical self-adjoint restricted operator. The remaining obstruction is isolated cleanly as the arithmetic trace identity itself. The programme has thus moved from the broad assertion that the critical line is geometrically special to the precise claim that a unique invariant subspace exists whose restricted trace should reproduce the Weil explicit formula. This is a substantially sharper formulation than the unrestricted TTC, and it is more faithful to the structure developed across 37 papers and 55 falsified hypotheses. The RTTC sub-conjecture ladder decomposes the remaining problem into specific, independently attackable pieces. The primary open question is the construction of the correct arithmetic trace functional—the transform or distributional state that turns the spectral carrier built here into the explicit formula. The raw restricted heat trace is a carrier-level object; the final arithmetic identity likely requires an additional Selberg-type transform, a primitive-orbit regrouping, or a dictionary to an established noncommutative-geometric framework. Identifying this extractor layer is the central task for future work. References [1] P. Kramarenko-Byrd, “The Geometry of the Critical Line: A Monograph on the SCT 5Manifold, the Prime Translation Group, and the Riemann Zeros” (Papers 0–8 + Addendum), Zenodo, 2026. DOI: 10.5281/zenodo.18761429. [2] P. Kramarenko-Byrd, “Further DOI: 10.5281/zenodo.18780549. Developments” (Papers 9–10), Zenodo, 2026. [3] P. Kramarenko-Byrd, “The Geometry of the Critical Line: A Reader’s Map,” 2nd ed., Zenodo, 2026. DOI: 10.5281/zenodo.18895703. [4] A. Connes, “Noncommutative geometry and the Riemann zeta function,” in Mathematics: Frontiers and Perspectives, AMS, 1999. [5] A. Selberg, “Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series,” J. Indian Math. Soc. 20 (1956), 47–87. [6] A. Weil, “Sur les ‘formules explicites’ de la théorie des nombres premiers,” Comm. Sém. Math. Univ. Lund (1952), 252–265. 7 Spanish Hills, California. March 2026. DOI: 10.5281/zenodo.19178308 8