A Heegaard Transgression Theorem, a Residue Resolution, and the Massive Field Extension
We study a local geometric-topological structure associated with the complexified null cone. Over ℝ, the Lorentzian null cone contains no real projective ruling lines; over ℂ, the corresponding smooth quadric is doubly ruled and admits the standard spinor factorisation k_{αα̇} = λ_α λ̃_{α̇}. Motivated by the positive/negative-frequency split in twistor theory, we examine a two-sector interpretation of the two ruling families and the associated local sky-bundle geometry.
For a closed loop γ ⊂ S² in the space of null directions, the Hopf fibration canonically determines a torus T²_γ ⊂ S³. We prove a Heegaard transgression theorem for the decomposition S³ = V₊ ∪{T²_γ} V₋ with V± ≅ S¹ × D²: the two bulk H¹-generators transgress to complementary primitive classes in H¹(T²_γ) ≅ ℤ², whose cup product integrates to ∫{T²_γ} ω_R ∧ ω_A = 4π². This gives a canonical topological normalisation associated with the local Hopf torus. The boundary classes are represented by the Hopf and anti-Hopf winding forms ω_R = i dθ and ω_A = −i dθ̃, arising from the first Chern class pairing of the two spinor sectors.
We also analyse several scalar-field routes — flat-space propagation, FRW propagation, sourced scalar dynamics, and nonlinear self-referential scalar sourcing — and show that, in the classes considered here, they remain phase-diagonal and do not generate independent sector phases. In this sense, the 4π² normalisation appears as a topological boundary pairing rather than an output of scalar bulk dynamics.
We present a proof showing that the causal support condition on the retarded Green function, combined with a canonical choice of γ as the celestial equator defined by the local time orientation, forces the singularity of the twistor representative to lie inside the Hopf fiber contour. The Čech cocycle for the retarded representative is constructed explicitly on the standard two-set cover of ℙT⁺, making the simple pole at ⟨λ,α⟩ = 0 manifest with unit coefficient. The residue is +1 for the retarded sector and −1 for the advanced sector, giving ∫{T²_γ} ω_R ∧ ω_A = 4π² via Theorem 1. The Pole Location Lemma — proved explicitly in §6.4 via the Hopf coordinate formula — establishes that [α] ∈ V₊ implies |α₁/α₀| < 1, placing the pole strictly inside S¹_λ. The chain y ≺ x ⇒ [α] ∈ V₊ ⇒ pole inside S¹_λ ⇒ residue = +1 ⇒ [Ψ_R]|{T²_γ} = [ω_R] ⇒ 4π² is complete. The canonicity of the identification rests on two inputs only: the time orientation of the spacetime and the causal support condition — both intrinsic to any relativistic field theory.
V6.1 addition: The simple-pole structure and residue +1 established for the massless scalar case extend to the massive case via the Hadamard parametrix (Friedlander 1975, Günther 1988) — Δ^{1/2}|_{σ=0} = 1 exactly in any globally hyperbolic spacetime — and the Hughston-Hurd two-regulus architecture for massive twistor fields (§2.3 Addendum).
MSC: 53Z05, 55R10, 32L25, 57M27
Keywords: complexified null cone, doubly-ruled quadric,
Hopf fibration, Heegaard splitting, transgression, Penrose transform,
relative cohomology, topological closure, spinor decomposition, Hadamard
parametrix, massive scalar field
The null cone of a Lorentzian spacetime is defined by k^μ k_μ = 0. Over ℝ, in signature (3,1), this quadric contains no real projective ruling lines — the real null cone does not carry a ruled surface structure in the projective sense. Over ℂ, the situation changes fundamentally. Every smooth quadric in ℂP³ is doubly ruled: it carries two distinct one-parameter families of projective lines, called reguli, such that every point lies on exactly one line from each family, lines within a family are mutually disjoint, and every line from one family meets every line from the other.
For the null cone, this doubly-ruled structure over ℂ is made explicit by the spinor factorisation k_{αα̇} = λ_α λ̃{α̇} where λ_α is an undotted (holomorphic) Weyl spinor and λ̃{α̇} is a dotted (anti-holomorphic) Weyl spinor. Fixing λ_α and varying λ̃_{α̇} traces one ruling family (Regulus 1); the roles reversed give Regulus 2. Each family is parametrised by ℂP¹.
The purpose of this paper is not to revisit the general theory of twistor quadrics, but to isolate a specific local topological structure associated with this ruled geometry and to formulate one corresponding open analytic problem.
Fix a spacetime event p ∈ M. The null directions through p form a sky sphere S². The associated sky bundle carries the standard Hopf geometry S³ → S². For a closed loop γ ⊂ S², the Hopf preimage π⁻¹(γ) ⊂ S³ is canonically a torus T²_γ (since all principal U(1)-bundles over S¹ are trivial). This torus is the central object of the paper.
Remark. The torus T²_γ appearing here is the Hopf torus over a loop in the local sky of null directions. It is not the little-group fiber of a fixed null momentum; the two windings arise from traversing the loop γ, not from the little-group U(1) of a single null direction.
The relevant local topology is the genus-one Heegaard decomposition
S³ = V₊ ∪_{T²_γ} V₋, V± ≅ S¹ × D².
The two solid tori contribute two bulk H¹-generators, and these restrict to complementary primitive classes on the common boundary torus. The main theorem of this paper makes the resulting cup-product pairing precise.
Standard twistor theory supplies a real-structure split of projective twistor space into positive- and negative-frequency regions ℙT±, separated by the null-twistor locus ℙN. Motivated by that standard split, we study a two-sector picture in which the local Hopf/Heegaard boundary geometry is related to positive- and negative-frequency twistor data.
The identification of the two ruling families of the complexified null cone with retarded and advanced propagator sectors is established in §6, via the Čech cocycle construction of §6.3 and the Pole Location Lemma of §6.4. The canonicity of the identification follows from two inputs only: the time orientation of the spacetime (which defines γ as the celestial equator) and the causal support condition (which forces the retarded pole into V₊). No additional prescription is required.
The central question is therefore: Can the canonical boundary classes ω_R, ω_A ∈ H¹(T²_γ) be obtained as the boundary restrictions of positive- and negative-frequency scalar Penrose classes? The present paper answers this question affirmatively for the massless scalar case via the explicit Čech construction of §6. For the physically relevant STF case — a massive scalar field — the analytic realisation has now been established via the Hadamard parametrix and the Hughston-Hurd two-regulus architecture (§2.3 Addendum). The higher-spin generalisation and direct Penrose transform confirmation remain open but are not required for the current physical application, in which the STF field is scalar.
The paper has four established results.
(i) Heegaard transgression theorem (§4). For the decomposition S³ = V₊ ∪{T²_γ} V₋, the two bulk H¹-generators restrict to complementary primitive classes in H¹(T²_γ), and their cup product integrates to ∫{T²_γ} ω_R ∧ ω_A = 4π².
(ii) Canonical Hopf/anti-Hopf interpretation (§3). The boundary classes may be represented by the Hopf and anti-Hopf winding forms ω_R = i dθ and ω_A = −i dθ̃, canonically determined by the first Chern class pairing of the two spinor sectors (connection-independent).
(iii) Phase-diagonal result for scalar bulk routes (§5). Several scalar-field constructions — flat-space propagation, FRW propagation, sourced scalar propagation, and nonlinear self-referential scalar sourcing — are shown to remain phase-diagonal in the sense made precise in §5.1. Within the scalar classes considered here, the 4π² normalisation is not produced by bulk scalar dynamics.
(iv) Restriction theorem via explicit Čech construction and Hopf-coordinate proof (§6). The retarded Green function’s twistor representative is constructed via an explicit Čech cocycle on the standard two-set cover of ℙT⁺, making the simple pole at ⟨λ,α⟩ = 0 manifest. The Pole Location Lemma — proved in §6.4 — shows that [α] ∈ V₊ implies |α₁/α₀| < 1, placing the pole inside S¹_λ. The residue gives +1 (retarded) and −1 (advanced), completing the chain Ψ_R, Ψ_A → ω_R, ω_A → 4π² via Theorem 1.
(v) Massive field extension (§2.3 Addendum). The simple-pole structure and residue +1 of (iv) extend to the massive scalar case via: the Hadamard parametrix theorem (Δ^{1/2}|_{σ=0} = 1 in any globally hyperbolic spacetime), the Hughston-Hurd two-regulus architecture, and the linearity of the wave equation (Pole Location Lemma holds for any retarded source distribution).
Note on the map structure. H¹(ℙT⁺, O(−2)) is infinite-dimensional — it parametrises the full space of positive-frequency solutions to the massless scalar wave equation. H¹(T²_γ) ≅ ℤ² is two-dimensional. The map constructed here is not an isomorphism but an evaluation: the Green function class is a specific element of the infinite-dimensional source space, and the residue construction picks out its image in the two-dimensional target. The claim is not that the map is an isomorphism but that this specific element maps to [ω_R] with residue +1.
This paper is a local geometric-topological study. It does not assume any particular physical application. Its purpose is to isolate the local Hopf/Heegaard structure associated with the complexified null cone, to prove the resulting 4π² boundary pairing theorem, to show that the corresponding normalisation is not generated by the scalar bulk routes analysed here, and to establish the restriction of the retarded Penrose class to the Hopf boundary generator via an explicit Čech construction and residue argument.
In Lorentzian signature (3,1), the null cone 𝒩 = {k^μ : k^μ k_μ = 0} is a real quadric in ℝ⁴. The projectivised null cone ℙ𝒩 ⊂ ℝP³ is the quadric surface −k₀² + k₁² + k₂² + k₃² = 0.
This real quadric contains no real projective lines. A projective line ℓ ⊂ ℝP³ would be a totally isotropic subspace of dimension 2 for the quadratic form q(k) = −k₀² + k₁² + k₂² + k₃². However, the maximal dimension of a totally isotropic real subspace for a quadratic form of signature (p,q) is min(p,q); in signature (3,1) this is 1. Thus the maximal totally isotropic real subspaces are lines, not planes, and no 2-dimensional totally isotropic real subspace exists.
Over ℂ, the complexified null cone 𝒩_ℂ ⊂ ℂP³ is a smooth quadric hypersurface. By the classical theory of quadrics over algebraically closed fields, every smooth quadric in ℂP³ is doubly ruled — it carries exactly two one-parameter families of projective lines (the two reguli).
The spinor decomposition makes this explicit. Any null vector k^μ ∈ 𝒩_ℂ can be written in 2×2 Weyl spinor matrix form k_{αα̇} = k^μ(σ_μ){αα̇} where σ^μ = (1, σ⃗) are the Pauli matrices. The condition k^μ k_μ = 0 is equivalent to det(k{αα̇}) = 0, which means k_{αα̇} has rank one. Any rank-one 2×2 complex matrix factors as an outer product: k_{αα̇} = λ_α λ̃{α̇} for some λ_α, λ̃{α̇} ∈ ℂ², each determined up to a nonzero scalar.
The two ruling families are: - Regulus 1 (λ_α family): Fix λ_α ∈ ℂP¹ and vary λ̃{α̇} ∈ ℂP¹. - Regulus 2 (λ̃{α̇} family): Fix λ̃_{α̇} ∈ ℂP¹ and vary λ_α ∈ ℂP¹.
Any point of 𝒩_ℂ lies on exactly one line from each regulus, and lines within the same regulus are disjoint. Every line of Regulus 1 meets every line of Regulus 2 in exactly one point. The complexified null cone is ℂP¹ × ℂP¹ in the product structure ([λ_α],[λ̃_{α̇}]).
The factorisation k_{αα̇} = λ_α λ̃_{α̇} is not unique: for any c ∈ ℂ*, the substitution (λ_α, λ̃{α̇}) ↦ (c λ_α, c⁻¹ λ̃{α̇}) leaves k_{αα̇} unchanged. On the unit locus (where |λ|² = |λ̃|² = 1), this residual freedom is c ∈ U(1).
Denoting the phase of c by θ, the U(1) gauge redundancy acts as: λ_α ↦ e^{iθ} λ_α, λ̃{α̇} ↦ e^{−iθ} λ̃{α̇}, leaving k_{αα̇} invariant. This is the Hopf U(1) acting on the S³ of unit spinor pairs.
The T² structure arises from two distinct circles:
First circle (Hopf fiber / diagonal rephasing): For a fixed null direction k_{αα̇}, the factorisation λ_α λ̃{α̇} has a residual U(1) freedom — the diagonal rephasing λ_α → e^{iθ} λ_α, λ̃{α̇} → e^{−iθ} λ̃_{α̇}. This is a single circle; it does not by itself produce a torus.
Second circle (parameter space of the loop γ): When the null direction is varied along a closed loop γ : S¹ → S², the spinors λ_α(φ) and λ̃_{α̇}(φ) trace paths in their respective spaces as φ runs from 0 to 2π. Each traces one circle independently.
The torus: The T² = S¹ × S¹ arises as the preimage π⁻¹(γ) ⊂ S³ of the loop γ under the Hopf map. It is a property of the loop, not of any single null direction. As shown explicitly in §3, the two sectors realise complementary 2π winding classes on the Hopf torus T²_γ associated with the loop γ, giving the canonical 4π² boundary pairing.
The restriction theorem of §6 is proved for the massless retarded Green function. The STF field is massive (m_s = 3.94×10⁻²³ eV). We establish here that the simple-pole structure and residue +1 persist for the massive case.
Flat space (Bessel smoothness). The massive retarded Green function in flat (3+1)-dimensional Minkowski space is:
$$G_R(x,y) = \frac{1}{2\pi}\,\theta(x^0 - y^0)\left[\delta(\sigma) - \frac{m}{2} \cdot \frac{J_1(m\sqrt{2\sigma})}{\sqrt{2\sigma}} \cdot \theta(\sigma)\right]$$
where σ = ½(x−y)² is the squared geodesic distance. The Bessel function factor J₁(z)/z → 1/2 as z → 0, so the massive Green function has a simple δ(σ) singularity on the light cone with the same unit coefficient as the massless case, plus a smooth tail inside the light cone. There is no pole singularity off the null cone. The twistor representative therefore has the same simple-pole structure ⟨λ,α⟩⁻¹ as in the massless case, with unit coefficient.
Curved space (Hadamard parametrix). In a globally hyperbolic spacetime, the Hadamard parametrix for the massive scalar wave equation (□ − m²)G = δ takes the form:
GR(x,y) = U(x,y) ⋅ δ(σ) + V(x,y) ⋅ θ(σ)
where U(x,y) = Δ^{1/2}(x,y) is the Van Vleck–Morette determinant and V is smooth inside the light cone. The key result (Friedlander 1975 [Thm 3.4.1]; Günther 1988 [Ch. 1]) is:
Δ1/2|σ = 0 = 1
exactly in any globally hyperbolic spacetime. This means the coefficient of the light-cone singularity δ(σ) is exactly 1, with no curvature corrections. The residue is +1 in any globally hyperbolic spacetime — the Pole Location Lemma and residue computation of §6.4 hold without modification.
Domain verification. The post-Newtonian exterior at r = 730 R_S is globally hyperbolic: it is an asymptotically flat exterior region whose PN metric is smooth and admits a Cauchy foliation by constant-PN-time hypersurfaces, with no trapped surfaces at this radius ✓. The Hadamard result applies.
Classical vs quantum. The Hadamard parametrix is a theorem about classical fundamental solutions of linear hyperbolic PDEs. No quantum state, no Hadamard condition on a quantum state, and no vacuum renormalisation are assumed. The result is purely classical.
Twistor side (Hughston-Hurd architecture). Hughston and Hurd (1981) [ref. 5] established that massive field equations can be architecturally realised as products of two massless twistor objects. In this architecture, the massive retarded Green function decomposes into a convolution of two massless propagators, each carrying a simple pole at ⟨λ,α⟩ = 0. The composite structure preserves the simple pole at ⟨λ,α⟩ = 0 with unit coefficient — the pole structure required by §6 is unchanged.
Source generality. The Pole Location Lemma (§6.4) holds for any retarded source distribution by linearity of the wave equation. If the source J(x) = ∫ρ(y)δ⁴(x−y)d⁴y is an arbitrary distribution, the retarded solution is G_R * J, and the Čech cocycle for the composite is the same by linearity as for the point-source case. The single-centre approximation (used to derive the 730 R_S threshold) enters only at the amplitude level — it determines when 𝒟_GR ≥ 𝒟_crit, not the topological argument. The topological chain y ≺ x ⇒ residue = +1 ⇒ 4π² holds for any retarded source distribution.
Summary. The complete chain of §6.6 holds for the massive STF scalar field without modification. The Hadamard result removes any concern about curvature corrections to the residue; the Hughston-Hurd architecture removes any concern about the pole structure for massive fields; and linearity removes any concern about the restriction to point sources.
We compute the phase accumulated by each spinor sector through one complete null rotation. Parametrise a circle of null directions in the xy-plane by φ ∈ [0,2π]:
k^μ(φ) = (1, cos φ, sin φ, 0)
The corresponding spinor matrix in the Weyl representation:
$$k_{\alpha\dot\alpha}(\phi) = \begin{pmatrix}1 & e^{-i\phi}\\e^{+i\phi} & 1\end{pmatrix}$$
This factors as λ_α(φ) λ̃_{α̇}(φ) with:
$$\lambda_\alpha(\phi) = \begin{pmatrix}1\\e^{i\phi}\end{pmatrix}, \qquad \tilde\lambda_{\dot\alpha}(\phi) = \begin{pmatrix}1\\e^{-i\phi}\end{pmatrix}$$
Phase of λ_α: As φ : 0 → 2π, the second component λ₂ = e^{iφ} completes one full winding: Δφ_λ = 2π
**Phase of λ̃{α̇}:** As φ : 0 → 2π, the second component λ̃₂ = e^{−iφ} completes one full winding in the opposite direction: Δφ{λ̃} = 2π
Independence: The two windings define the two primitive generators of the Hopf torus T²_γ: one is represented by the Hopf-fiber phase, and the other by transport along the loop γ ⊂ S². The winding generator is (1,−1) ∈ π₁(T²_γ) = ℤ².
Total phase:
$$\boxed{\Delta\phi_\mathrm{total} = \Delta\phi_\lambda \times \Delta\phi_{\tilde\lambda} = 2\pi \times 2\pi = 4\pi^2}$$
The 4π² is the area of the flat fundamental domain of the Hopf torus T²_γ over the loop γ, traversed once per complete null rotation.
Remark on the spinor double cover. This 4π² is distinct from the spinor double-cover phenomenon. The path in §3.1 rotates the null direction k^μ in the xy-plane, not the spatial frame. The spinor λ_α(φ) = (1,e{iφ})T returns to itself after φ : 0 → 2π — no sign flip — because the path traces a generator of π₁(S²) = 0, not a non-contractible loop in SU(2). The two phenomena are distinct.
For any closed loop γ : S¹ → S² in the space of null directions, the Hopf preimage π⁻¹(γ) ⊂ S³ is canonically a torus.
Proposition. Let γ ⊂ S² be a closed loop. Then π⁻¹(γ) ≅ T² = S¹ × S¹ canonically.
Proof. The Hopf fibration π : S³ → S² is a principal U(1)-bundle. Its restriction to γ ≅ S¹ is a principal U(1)-bundle over S¹. Since H²(S¹,ℤ) = 0, all principal U(1)-bundles over S¹ are trivial. Therefore π⁻¹(γ) ≅ S¹ × S¹ = T². ▫
We identify the (1,−1) winding with the Hopf/anti-Hopf first Chern class pairing.
The standard Hopf bundle η : S¹ ↪ S³ → S² has transition function e^{iφ} over the equatorial overlap U₊ ∩ U₋, giving c₁(η) = +1 ∈ H²(S²,ℤ) ≅ ℤ. The conjugate (anti-Hopf) bundle η̄ has transition function e^{−iφ}, giving c₁(η̄) = −1.
The spinor λ_α lives in the Hopf bundle η over S². The anti-holomorphic spinor λ̃_{α̇} lives in the anti-Hopf bundle η̄. Their first Chern classes are +1 and −1 respectively. The (1,−1) generator of π₁(T²) = ℤ² is therefore canonically realised as the pair of transition-function winding degrees of the two spinor sectors. This identification requires no choice of connection — it is a bundle-topology statement.
The Clifford torus embedded in unit S³ has induced geometric area 2π², while the flat coordinate fundamental domain (parametrised by (θ,θ̃) ∈ [0,2π) × [0,2π)) has area 4π² = (2π)². The factor of two is metric normalisation: embedding the Clifford torus in unit S³ with the round metric scales each circle radius by 1/√2, halving the induced area. The quantity 4π² — the area of the flat fundamental domain — is what appears in the canonical cup product ∫_{T²} ω_R ∧ ω_A = 4π².
We work with the local sky bundle of null directions through a fixed spacetime event p ∈ M. The space of null directions through p is S² (the celestial sphere). The Hopf fibration over S² has total space S³ ≃ SU(2).
For an equatorial loop γ ⊂ S², the Hopf preimage is a torus T²_γ ⊂ S³ separating S³ into two solid tori via the standard Heegaard splitting:
S³ = V₊ ∪_{T²_γ} V₋, V± ≅ D² × S¹
where V₊ is the solid torus above the northern hemisphere and V₋ is above the southern hemisphere.
Motivated by the ℙT⁺/ℙN/ℙT⁻ real structure of projective twistor space, we use V± as local topological models for the positive/negative-frequency sectors.
Note on an incorrect decomposition. An alternative decomposition S³ = S³₊ ∪_{S²} S³₋ (two halves separated by an equatorial S²) is topologically incorrect for the present purpose. For that decomposition, each half is a ball D³ with boundary S², and the long exact sequence gives H¹(D³,S²) = 0 — the relevant relative cohomology group vanishes. The correct decomposition uses solid tori, not balls.
We compute the relevant cohomology groups via the long exact sequence of the pair (V±, T²_γ).
Each solid torus V± ≅ S¹ × D² has: H⁰(V±) ≅ ℤ, H¹(V±) ≅ ℤ, H^k(V±) = 0 for k ≥ 2, with H¹(V±) generated by the cohomology class dual to the core circle S¹ × {0}.
The boundary torus has: H⁰(T²) ≅ ℤ, H¹(T²) ≅ ℤ², H²(T²) ≅ ℤ.
From the long exact sequence: H¹(V±, T²) = 0. The nontrivial degree-1 classes live on the boundary torus: H¹(T²_γ) ≅ ℤ².
The restriction maps i*± : H¹(V±) → H¹(T²_γ) send each solid-torus core-circle generator to a primitive class in H¹(T²_γ). In the standard Heegaard gluing for S³, the two images are complementary:
$$i^*_+: H^1(V_+) \cong \mathbb{Z} \xrightarrow{\;\sim\;} \mathbb{Z}\cdot[\omega_R] \subset H^1(T^2_\gamma)$$ $$i^*_-: H^1(V_-) \cong \mathbb{Z} \xrightarrow{\;\sim\;} \mathbb{Z}\cdot[\omega_A] \subset H^1(T^2_\gamma)$$
where [ω_R] and [ω_A] are the two primitive generators of H¹(T²_γ). Choosing angular coordinates (θ,θ̃) on T²_γ aligned with the two Hopf fiber directions, we take representatives:
ω_R = i dθ ∈ H¹(T²_γ), ω_A = −i dθ̃ ∈ H¹(T²_γ)
Theorem 1 (Heegaard Transgression). *In the Heegaard splitting S³ = V₊ ∪_{T²_γ} V₋ with V± ≅ S¹ × D², the two solid torus generators transgress to complementary primitive classes in H¹(T²_γ), and their cup product satisfies:*
∫Tγ2ωR ∧ ωA = 4π2
Proof. The cup product [ω_R] ⌣ [ω_A] ∈ H²(T²_γ) ≅ ℤ is the fundamental class of the torus (since [ω_R] and [ω_A] are complementary primitive generators of H¹(T²_γ) ≅ ℤ²). Evaluating on the fundamental domain:
∫Tγ2ωR ∧ ωA = ∫02π∫02π(i dθ) ∧ (−i dθ̃) = ∫02π∫02πdθ dθ̃ = 4π2. ▫
Remark. The full transgression chain is:
$$H^1(V_+) \oplus H^1(V_-) \xrightarrow{\,\mathrm{res}\,} H^1(T^2_\gamma) \cong \mathbb{Z}^2 \xrightarrow{\,\smile\,} H^2(T^2_\gamma) \cong \mathbb{Z} \xrightarrow{\,\int\,} 4\pi^2$$
The 4π² is not a parameter: it is the canonical output of the cup product on the Hopf torus.
We analyse several classes of scalar field propagators and show that, within each class, the 4π² pairing cannot be generated.
Under the independent spinor phase rotations λ_α ↦ e^{iθ} λ_α, λ̃{α̇} ↦ e^{−iθ̃} λ̃{α̇}, the null bispinor transforms as k_{αα̇} ↦ e^{i(θ−θ̃)} k_{αα̇}. Any scalar quantity built from k^μ by index contraction depends on the spinor phases only through the diagonal combination θ − θ̃.
Definition. A quantity Q(λ_α, λ̃{α̇}) is phase-diagonal if under (λ_α, λ̃{α̇}) ↦ (e^{iθ}λ_α, e^{−iθ̃}λ̃_{α̇}) it transforms as Q → e^{in(θ−θ̃)}Q for some integer n.
For the 4π² cup product ∫ ω_R ∧ ω_A to arise from a scalar propagator pairing, that pairing must produce contributions with independent e^{iθ} and e^{−iθ̃} factors. We prove this is impossible for scalar propagators.
In flat Minkowski space, the retarded and advanced scalar Green functions G_{R/A}(k) = 1/(k² − m² ± iε k⁰) both depend only on scalar quantities formed from k^μ and hence are phase-diagonal. Under the complexified spinor phase action, k² = −det(k_{αα̇}) transforms with a power of e^{i(θ−θ̃)} — the diagonal phase only. No quantity formed from the combined bispinor k_{αα̇} = λ_α λ̃_{α̇} can distinguish θ from θ̃ independently.
Sourced solutions inherit the phase structure of G_R and the source J. If J depends on k_{αα̇} through Lorentz scalars, it is phase-diagonal, and the sourced solution is phase-diagonal.
In a Friedmann-Robertson-Walker background, the scalar field equation depends only on |k|² = |k⃗|², which is phase-diagonal. By reciprocity (G_A(x,x’) = G_R(x’,x) for any self-adjoint wave operator on a globally hyperbolic spacetime), G_A and G_R carry the same phase structure, and their product is phase-diagonal.
A source term of the form n_{αα̇}λ^α λ̃^{α̇} transforms as e^{i(θ−θ̃)} under independent spinor phase rotations — phase-diagonal. For a bidirectional solution φ = φ_R + φ_A, cross terms remain phase-diagonal because contraction runs through the combined bispinor k_{αα̇}, not through separate λ_α and λ̃_{α̇} index slots.
Proposition. *For the scalar-field constructions analysed in §§5.2–5.4 — flat-space propagation, FRW propagation, sourced scalar propagation, and nonlinear self-referential scalar sourcing — the resulting propagators and solutions are phase-diagonal. Within these classes, the 4π² cup product ∫_{T²_γ} ω_R ∧ ω_A is not generated by bulk scalar dynamics.*
Proof. In each case, the scalar field depends on k^μ only through Lorentz scalars, which are formed by full index contractions of k_{αα̇} and transform with powers of e^{i(θ−θ̃)}. The 4π² pairing requires two independent 2π windings in θ and θ̃ separately — a structure invisible to all diagonal-phase quantities. ▫
Corollary. The 4π² pairing is not generated by bulk dynamics within the scalar classes analysed. This is consistent with the topological origin established in §4.
This section establishes the identification of the retarded cohomology class Ψ_R with the generator ω_R via two explicit steps: (i) a Čech cocycle construction in §6.3 making the simple pole structure manifest from the first-order singularity of G_R, and (ii) a Hopf-coordinate proof in §6.4 showing the pole lies strictly inside the contour.
Note on the map structure. H¹(ℙT⁺, O(−2)) is infinite-dimensional. H¹(T²_γ) ≅ ℤ² is two-dimensional. The construction here is an evaluation, not an isomorphism: the Green function class maps to [ω_R] with residue +1.
Note on the boundary structure. The null-twistor hypersurface PN is a real hypersurface in the real-structured projective twistor space, not a holomorphic divisor. The standard Leray/Poincaré residue sequence for holomorphic divisors does not apply directly. The construction below operates at the level of explicit Čech cocycles restricted to the equator family, with the positive-frequency/causal support condition entering through the Pole Location Lemma rather than through a sheaf-theoretic residue map. In the language of boundary-value theory, the relevant operation is a one-sided CR/Hardy boundary value on PN — the +i0 prescription selects the retarded branch — followed by restriction to the Hopf torus and extraction of the overlap winding class. The explicit Čech construction of §6.3–6.4 realizes this boundary-value transgression concretely without requiring the abstract machinery of hyperfunction or microfunction sheaves.
The loop γ ⊂ S² is defined canonically as the celestial equator:
γ = {k^μ ∈ S² : g(k, ∂_t) = 0}
where ∂_t is the local future-pointing unit timelike vector. This divides S² into: - V₊: future hemisphere, k^μ with g(k, ∂_t) > 0 - V₋: past hemisphere, k^μ with g(k, ∂_t) < 0
With this canonical choice, γ, V₊, and V₋ are all determined by the causal structure of the spacetime.
The retarded scalar Green function G_R(x,y) = θ(x⁰−y⁰)δ((x−y)²) has a first-order singularity on the light cone. We construct its twistor representative via a Čech cocycle on the standard two-set cover of ℙT⁺.
Explicit Čech construction. Cover ℙT⁺ by two open sets:
U₀ = {Z ∈ ℙT⁺ : Z⁰ ≠ 0}, U₁ = {Z ∈ ℙT⁺ : Z¹ ≠ 0}.
On the overlap U₀ ∩ U₁, define the Čech cocycle:
$$f_{01}(Z) = \frac{1}{\langle\lambda,\alpha\rangle} \cdot (Z^A Z_A)^{-1}$$
where ⟨λ,α⟩ = ε^{AB}λ_A α_B is the spinor inner product with α the spinor of the retarded null direction from y to x, and the second factor (Z^A Z_A)⁻¹ carries the O(−2) homogeneity required for f₀₁ ∈ H¹(ℙT⁺, O(−2)). The simple pole at ⟨λ,α⟩ = 0 is manifest with unit coefficient.
The first-order character is forced. A double pole at ⟨λ,α⟩ = 0 would correspond to a second-order singularity of G_R on the light cone. Since G_R = θ(x⁰−y⁰)δ((x−y)²) has a first-order δ-function singularity — not a δ’ — the pole must be simple.
The causal support condition θ(x⁰−y⁰) restricts f₀₁ to ℙT⁺ and ensures that only retarded (future-directed) null directions α contribute — it is precisely this condition that places the pole in the future hemisphere V₊, as established in §6.4.
The Hopf fibration π : S³ → S² identifies projective spinor space ℂP¹ with the celestial sphere S². In the standard affine coordinate ζ = λ₁/λ₀ on ℂP¹ (valid whenever λ₀ ≠ 0), with normalisation (λ₀,λ₁) = (1+|ζ|²)^{−1/2}(1,ζ), the Hopf map takes the explicit form:
$$\pi(\lambda) = \left(\frac{2\,\mathrm{Re}\,\zeta}{1+|\zeta|^2},\ \frac{2\,\mathrm{Im}\,\zeta}{1+|\zeta|^2},\ \frac{1-|\zeta|^2}{1+|\zeta|^2}\right)$$
From this: n₃ = 0 ⟺ |ζ| = 1, n₃ > 0 ⟺ |ζ| < 1, n₃ < 0 ⟺ |ζ| > 1.
Thus the Hopf fiber over the canonical equatorial loop γ corresponds to the unit circle S¹_λ = {|ζ| = 1}, which bounds the unit disk |ζ| < 1 corresponding to V₊.
Lemma (Pole Location). Let α = (α₀,α₁) represent a null direction in the future hemisphere V₊. Then the zero of the twistor factor ⟨λ,α⟩ = ε^{AB}λ_A α_B = λ₀α₁ − λ₁α₀ occurs at [λ] = [α] ∈ ℂP¹, which in the affine coordinate is ζ = α₁/α₀. Since [α] ∈ V₊, the Hopf coordinate satisfies |α₁/α₀| < 1, so the pole lies strictly inside the disk bounded by the contour S¹_λ.
Proof. Writing [λ] = [1:ζ] in the affine chart, ⟨λ,α⟩ = λ₀(α₁ − ζα₀). Thus ⟨λ,α⟩ = 0 iff ζ = α₁/α₀. By the Hopf coordinate formula, [α] ∈ V₊ means n₃ > 0, which corresponds to |α₁/α₀| < 1. Hence the pole lies strictly inside the unit circle |ζ| = 1. ▫
The residue. For any retarded pair (x,y) with y ≺ x, the null direction α satisfies [α] ∈ V₊. By the Lemma, the pole ζ₀ = α₁/α₀ lies inside S¹_λ, so the residue theorem gives:
$$\frac{1}{2\pi i}\oint_{S^1_\lambda} \frac{d\langle\lambda,\alpha\rangle}{\langle\lambda,\alpha\rangle} = \frac{1}{2\pi i}\oint_{|\zeta|=1} \frac{-\alpha_0\,d\zeta}{\alpha_1 - \zeta\alpha_0} = +1$$
Therefore the restriction of the retarded twistor class to the Hopf torus is [Ψ_R]|_{T²_γ} = [i dθ] = [ω_R].
Remark (No base monodromy). The restriction of the Green-function class to the Hopf torus has no component along [ω_A]. This can also be seen abstractly. Let π : L_γ → γ be the family of twistor lines over the equator, with fiber L_x ≅ ℂP¹. The sheaf of fiberwise cohomology spaces R¹π_*O(−2) is a smooth complex line bundle over γ ≅ S¹. By fiberwise Serre duality,
R1π*𝒪(−2) ≅ (π*𝒪)∨ ≅ 𝒪γ,
since π_*O ≅ O_γ (the only holomorphic functions on each ℂP¹ are constants). Therefore the family x ↦ H¹(L_x, O(−2)) is canonically trivial over γ: the normalized Green generator does not acquire monodromy as x traverses the equator. Any x-dependence in the Čech representative is gauge (trivialization-dependent), contributing only exact terms under d log. Hence the torus class [Ψ_R]|_{T²_γ} lies purely in the fiber primitive [ω_R], with no [ω_A] component.
For the advanced representative Ψ_A ∈ H^{0,1}(ℙT⁻, O(−2)), the argument runs in mirror image. The advanced support condition θ(y⁰−x⁰) forces the source direction β into V₋, corresponding to |β₁/β₀| > 1. The pole lies outside the unit circle, and the boundary class is [Ψ_A]|_{T²_γ} = [−i dθ̃] = [ω_A].
Combining §§6.3–6.5 with Theorem 1:
[Ψ_R]|{T²_γ} = [ω_R], [Ψ_A]|{T²_γ} = [ω_A] ⟹ ∫{T²_γ} Ψ_R ∧ Ψ_A = ∫{T²_γ} ω_R ∧ ω_A = 4π²
The full chain is:
$$\Psi_R, \Psi_A \xrightarrow{\text{canonical }\gamma,\text{ causal support}} [\omega_R],[\omega_A] \in H^1(T^2_\gamma) \xrightarrow{\smile} H^2(T^2_\gamma) \xrightarrow{\int} 4\pi^2$$
The chain y ≺ x ⇒ 4π² is complete. Each implication is proved: y ≺ x ⇒ [α] ∈ V₊ ⇒ |α₁/α₀| < 1 ⇒ pole inside S¹_λ ⇒ residue = +1 ⇒ [Ψ_R]|_{T²_γ} = [ω_R] ⇒ 4π². The canonicity rests on two inputs only: the time orientation of the spacetime and the causal support condition.
The transgression lands naturally in integral cohomology: the overlap function b_{NS} = ζ⁻¹ on the Hopf torus defines a winding class in H¹(T²_γ, ℤ) ⊂ H¹(T²_γ, ℂ) via the exponential sequence, and the residue +1 is an integer, not merely a complex number. Thus “primitive” is a statement in the integral lattice ℤ² ≅ H¹(T²_γ, ℤ), not a normalization convention — no continuous deformation of the construction can change the output from ±[ω_R] to any other class.
The individual ingredients of this paper are standard. The doubly-ruled complexified null cone and the spinor decomposition are in Penrose (1960) and Penrose-MacCallum (1973). The ℙT⁺/ℙN/ℙT⁻ real structure and the positive/negative-frequency Penrose transform are in Penrose (1968) and Eastwood-Penrose-Wells (1981). The Hopf fibration, Clifford torus, and Heegaard splitting of S³ are classical. The Penrose/Bailey relative cohomology framework for retarded/advanced fields is in Penrose TN14 and Bailey TN14. The Čech cocycle construction of the retarded representative follows the standard covering of ℙT⁺ described in Penrose-Rindler Vol. 2 Ch. 6 and Huggett-Tod Ch. 7.
The specific combination — the local sky-bundle Heegaard splitting as the decomposition for the two-sector null-cone geometry; the proof that the 4π² boundary cup product is topological and not generated by scalar field dynamics; the explicit Čech cocycle construction; the complete chain from causal ordering to 4π² via the Pole Location Lemma; and the Hadamard extension to the massive case — does not appear, to our knowledge, assembled in this form in the standard references.
The restriction theorem [Ψ_R]|_{T²_γ} = [ω_R] is established in §6. The following chain is complete:
The product G_R(x,x’) · G_A(x’,x), when represented as a bilinear pairing of Penrose/Bailey classes over the Hopf torus of the local sky bundle at x’, is naturally normalised by the 4π² boundary pairing. The normalisation is purely topological — a consequence of the bundle structure, not of the field equation. For the massive STF field, the Hadamard parametrix theorem (§2.3 Addendum) confirms that this conclusion is unaffected by the mass or by spacetime curvature in the PN exterior.
When the two spinor families λ_α and λ̃_{α̇} become proportional over the loop γ, the Hopf torus T²_γ collapses and the boundary cup product ∫ ω_R ∧ ω_A vanishes. The degenerate limit corresponds to the Lorentzian real slice (where no complex doubly-ruled structure exists); the non-degenerate case requires genuine complexification.
We have established five results about the topology of the complexified null cone:
The spinor phase calculation (§3) shows that the two sectors realise complementary 2π winding classes on the Hopf torus associated with one complete null rotation, with canonical cup-product value 4π². The (1,−1) winding is canonically identified as the Hopf/anti-Hopf first Chern class pairing, connection-independent.
The Heegaard transgression theorem (§4) establishes the topological chain H¹(V₊) ⊕ H¹(V₋) → H¹(T²_γ) → H²(T²_γ) → 4π². The 4π² is the canonical cup product of the two complementary boundary generators of the Hopf torus in the local sky bundle.
The phase-diagonal analysis (§5) shows that within the scalar classes analysed — flat space, FRW, sourced, and self-referential sourcing — the 4π² pairing is not generated by bulk scalar dynamics. Every route considered is phase-diagonal, consistent with the topological origin established in §4.
The restriction theorem (§6) connects the Penrose/Bailey retarded cohomology class to the Hopf boundary generator ω_R via an explicit Čech cocycle construction and residue argument. The Čech cocycle f₀₁ = ⟨λ,α⟩⁻¹(Z^A Z_A)⁻¹ makes the simple pole manifest from the first-order singularity of G_R. The Pole Location Lemma — proved explicitly via Hopf coordinates — establishes that the causal support condition θ(x⁰−y⁰) forces the pole into the interior of the Hopf fiber contour. The residue is +1 for the retarded sector and −1 for the advanced sector, completing the chain y ≺ x ⇒ [Ψ_R]|_{T²_γ} = [ω_R] ⇒ 4π². The canonicity rests on two inputs only: the time orientation of the spacetime and the causal support condition.
Massive field extension (§2.3 Addendum) establishes that the simple-pole structure and residue +1 of the restriction theorem extend to the physically relevant massive scalar case via: (i) flat-space Bessel smoothness — J₁(z)/z → 1/2 as z → 0, preserving the unit-coefficient light-cone singularity; (ii) the Hadamard parametrix theorem (Friedlander 1975, Günther 1988) — Δ^{1/2}|_{σ=0} = 1 exactly in any globally hyperbolic spacetime, with no curvature corrections; (iii) the Hughston-Hurd (1981) two-regulus architecture for massive twistor fields, which preserves the simple pole structure; and (iv) linearity — the Pole Location Lemma holds for any retarded source distribution. The PN exterior at 730 R_S is globally hyperbolic, so the complete chain y ≺ x ⇒ 4π² holds for the STF massive scalar field without modification.
The author thanks colleagues and online mathematical communities for discussion. AI-assisted tools were used in exploratory checking of intermediate arguments; all claims in the paper are the responsibility of the author.
[1] Adamo, T. Lectures on twistor theory. Adv. High Energy Phys. 2017, 6719578 (2018); arXiv:1712.02196.
[2] Bailey, T.N. Relative cohomology and sources. Twistor Newsletter 14 (1982).
[3] Eastwood, M., Penrose, R., and Wells, R.O. Cohomology and massless fields. Comm. Math. Phys. 78 (1981), 305–351.
[4] Friedlander, F.G. The Wave Equation on a Curved Space-Time. Cambridge University Press, 1975.
[5] Günther, P. Huygens’ Principle and Hyperbolic Equations. Academic Press, 1988.
[6] Huggett, S.A., and Tod, K.P. An Introduction to Twistor Theory, 2nd ed. Cambridge University Press, 1994.
[7] Hughston, L.P., and Hurd, T.R. Massive particle states and n-point massless fields. Twistor Newsletter (1981).
[8] Penrose, R. A spinor approach to general relativity. Ann. Phys. 10 (1960), 171–201.
[9] Penrose, R. Twistor algebra. J. Math. Phys. 8 (1967), 345–366.
[10] Penrose, R. Twistor quantisation and curved space-time. Int. J. Theoret. Phys. 1 (1968), 61–99.
[11] Penrose, R. Real-space topology for advanced/retarded twistor functions. Twistor Newsletter 14 (1982).
[12] Penrose, R., and MacCallum, M.A.H. Twistor theory: An approach to the quantisation of fields and space-time. Phys. Rep. 6 (1973), 241–316.
[13] Penrose, R., and Rindler, W. Spinors and Space-Time, Vol. 2. Cambridge University Press, 1986.
We verify that the spinor λ_α(φ) = (1, e{iφ})T returns to itself after φ : 0 → 2π.
At φ = 0: λ_α = (1,1)^T. At φ = 2π: λ_α = (1, e{2πi})T = (1,1)^T. ✓
No sign flip. This contrasts with the spatial rotation case: under a rotation of angle ψ about the z-axis, λ_α → diag(e^{−iψ/2}, e^{iψ/2})λ_α, giving λ_α → −λ_α at ψ = 2π. The difference: the null-direction loop parametrises a path on S² (simply connected; π₁(S²) = 0). The spatial rotation loop parametrises a path in SO(3) (not simply connected; π₁(SO(3)) = ℤ/2). The former does not exhibit spinor double-cover behaviour.
We verify the Heegaard cohomology via the Mayer-Vietoris sequence for S³ = V₊ ∪_{T²} V₋.
k = 1: H¹(S³) = 0, H¹(V±) = ℤ, H¹(T²) = ℤ². The sequence gives:
$$0 \to \mathbb{Z} \oplus \mathbb{Z} \xrightarrow{i^*_+ - i^*_-} \mathbb{Z}^2 \to H^2(S^3) = 0$$
The map i₊ − i₋ : ℤ² → ℤ² must be an isomorphism (kernel = 0 from the left, cokernel = 0 from the right). This confirms that the images of i₊ and i₋ together generate all of H¹(T²) ≅ ℤ², and they are complementary. ✓
Lemma (Hopf Stereographic Map). In the affine coordinate ζ = λ₁/λ₀ on ℂP¹, the Hopf projection π : S³ → S² is:
$$[\lambda_0:\lambda_1] \longmapsto \left(\frac{2\,\mathrm{Re}\,\zeta}{1+|\zeta|^2},\ \frac{2\,\mathrm{Im}\,\zeta}{1+|\zeta|^2},\ \frac{1-|\zeta|^2}{1+|\zeta|^2}\right) \in S^2$$
Hence: the equator corresponds to |ζ| = 1; the northern hemisphere n₃ > 0 to |ζ| < 1; the southern hemisphere n₃ < 0 to |ζ| > 1.
Proof. Normalise (λ₀,λ₁) ∈ S³ ⊂ ℂ² as (λ₀,λ₁) = (1+|ζ|²)^{−1/2}(1,ζ) and substitute into the standard Hopf map (λ₀,λ₁) ↦ (2 Re(λ₀λ̄₁), 2 Im(λ₀λ̄₁), |λ₀|²−|λ₁|²). Direct computation gives the formula above. ▫
Corollary. The Hopf fiber S¹_λ = {|ζ| = 1} over the canonical equatorial loop γ bounds the unit disk |ζ| < 1, which corresponds to the future hemisphere V₊. Any spinor α with [α] ∈ V₊ satisfies |α₁/α₀| < 1, so the pole of ⟨λ,α⟩ at ζ = α₁/α₀ lies strictly inside S¹_λ.
Version 6.2 — March 2026
Citation
@article{paz2026topological,
author = {Paz, Z.},
title = {Topological Closure on the Complexified Null Cone: A Heegaard
Transgression Theorem, a Residue Resolution, and the Massive
Field Extension},
year = {2026},
version = {V6.2},
url = {https://existshappens.com/papers/topological-closure/}
}