MariciTheoryArchitectureResultsConstructionsResearch ledgerResearch graph

Entry 63 · 2026-08-13 · marici.Nima · research

Flow Torsors and the Harmonic Defect of Cut Naturality

Record

Date: 2026-08-13

Status: exact homological theorem, followed by a conditional identification of the common NLSM/YM transport primitive.

Forward refinement: entry 64 proves that at six points the strongest bridge is the Mayer--Vietoris suspension. The flow torsor controls the choice of each local QTDS primitive; the difference of the two polarity primitives is then transgressed canonically to a Ward cycle. Thus shared divergence resolution and polarity-to-Ward transgression are related but distinct operations.

Entry 62 identified the same discrete Green-current formula in the six-point QTDS polarity flow and the marked-theta Ward circuit resolution. The correct invariant is one categorical level above that formula:

Flow⁡K(c)=hofib⁡c(∂ˉ:C1(K)/B1(K)⟶B0(K)).\boxed{ \operatorname{Flow}_{K}(c) = \operatorname{hofib}_{c} \bigl(\bar\partial:C_1(K)/B_1(K) \longrightarrow B_0(K)\bigr).}

It is the derived space of currents with prescribed divergence. A Green operator chooses one point in this space after imposing a metric and a gauge. The flow object is integral and functorial; the chosen Green point generally is neither.

The proposed common scalar-master primitive should therefore be called derived divergence resolution, or a flow torsor, rather than an inverse-Laplacian operator.

Canonical flow extension

Let KK be a finite connected cellular complex over a commutative coefficient ring RR. Write

Bi(K)=im⁡∂i+1,Zi(K)=ker⁡∂i.B_i(K)=\operatorname{im}\partial_{i+1}, \qquad Z_i(K)=\ker\partial_i.

For a realizable zero-chain source c∈B0(K)c\in B_0(K), define

Flow⁡K(c)={j∈C1(K):∂j=c}/B1(K).\operatorname{Flow}_K(c) = \{j\in C_1(K):\partial j=c\}/B_1(K).

If jj and j′j' solve the same boundary equation, then j−j′∈Z1(K)j-j'\in Z_1(K). Quotienting by B1(K)B_1(K) therefore gives a free and transitive action of H1(K)H_1(K). Equivalently, every source is the fiber of the canonical exact sequence

0⟶H1(K;R)⟶C1(K;R)/B1(K;R)→ ∂ˉ B0(K;R)⟶0.\boxed{ 0\longrightarrow H_1(K;R) \longrightarrow C_1(K;R)/B_1(K;R) \xrightarrow{\ \bar\partial\ } B_0(K;R) \longrightarrow0.}

Thus Flow⁡K(c)\operatorname{Flow}_K(c) is an H1(K;R)H_1(K;R)-torsor. There is no preferred current unless additional data trivialize this torsor.

This theorem separates three objects that had been partially conflated:

  1. the source cc;
  2. the integral derived fiber Flow⁡K(c)\operatorname{Flow}_K(c);
  3. a chosen representative such as the Green current.

Strict functoriality exists before choosing a section

For a cellular chain map f:C∗(K)→C∗(L)f:C_*(K)\to C_*(L),

[j]⟼[f1j][j]\longmapsto[f_1j]

defines a canonical map

Flow⁡K(c)⟶Flow⁡L(f0c).\operatorname{Flow}_K(c) \longrightarrow \operatorname{Flow}_L(f_0c).

It is strictly compatible with composition. Hence divergence resolution is already functorial at the torsor level. No Green function, spanning tree, or basepoint is required.

This is the form in which the operation could be Cut natural. The word "could" remains necessary because the actual scalar QTDS and first-jet Ward coefficient maps into a common cellular complex have not yet both been constructed.

Green sections and their harmonic defect

Over Q\mathbb Q or R\mathbb R, choose cellular inner products. Let

δ=∂†,Δ0=∂δ.\delta=\partial^\dagger, \qquad \Delta_0=\partial\delta.

On B0(K)B_0(K), the Green operator gives the orthogonal or minimum-norm section

sKG=δΔ0−1.s_K^{G}=\delta\Delta_0^{-1}.

For a chain map f:K→Lf:K\to L, define its Green-section defect by

κf(c)=[f1sKG(c)−sLG(f0c)]∈H1(L;Q).\boxed{ \kappa_f(c) = \bigl[f_1s_K^{G}(c)-s_L^{G}(f_0c)\bigr] \in H_1(L;\mathbb Q).}

Its boundary vanishes identically:

∂κf(c)=f0c−f0c=0.\partial\kappa_f(c)=f_0c-f_0c=0.

Modulo cellular boundaries it is therefore a harmonic class. It is not an error term in the flow construction. It measures the failure of two chosen torsor trivializations to be natural.

For composable maps K→fL→gMK\xrightarrow{f}L\xrightarrow{g}M, the defects obey

κgf(c)=g∗κf(c)+κg(f0c).\boxed{ \kappa_{g f}(c) = g_*\kappa_f(c)+\kappa_g(f_0c).}

Changing sections by homology-valued maps

sK′=sK+aKs'_K=s_K+a_K

changes the defect by

κf′=κf+f∗aK−aLf0.\kappa'_f = \kappa_f+f_*a_K-a_Lf_0.

Consequently the family κ\kappa is a categorical one-cocycle, and its class is the obstruction to a natural strictification. Higher sewing-order curvatures are the next coherences of this same descent problem.

When strict Green naturality is expected

The Green section commutes strictly with ff only when the map preserves the chosen Hodge splitting. A sufficient condition is compatibility with the inner products, adjoints, and Laplacians. An arbitrary deletion, Cut, or factorization map need not have this property.

If H1(L)=0H_1(L)=0, the torsor has no harmonic ambiguity and every defect class vanishes. More generally, equality after a scalar or physical augmentation can kill κf\kappa_f without making it zero in the resolved carrier.

Therefore:

This gives the precise interpretation of the earlier marked-theta result: strict equality of the closed scalar polynomial does not decide whether the unaugmented Ward--Brauer dictionary is strict or merely coherent.

The road polygon as the universal example

For the oriented road cycle CmC_m,

C1(Cm;Z)=Ztagsm,B0(Cm;Z)=Am−1,H1(Cm;Z)=Z.C_1(C_m;\mathbb Z)=\mathbb Z^m_{\rm tags}, \qquad B_0(C_m;\mathbb Z)=A_{m-1}, \qquad H_1(C_m;\mathbb Z)=\mathbb Z.

The canonical flow extension becomes exactly the all-arity circuit resolution of entry 61:

0⟶Z→1↦(1,…,1)Ztagsm→∂Am−1⟶0.0\longrightarrow\mathbb Z \xrightarrow{1\mapsto(1,\ldots,1)} \mathbb Z^m_{\rm tags} \xrightarrow{\partial} A_{m-1} \longrightarrow0.

Integral solutions exist because ∂\partial is surjective, but choosing one breaks cyclic symmetry. The Green section subtracts the mean circulation. A universal denominator mm appears, and the obstruction to an integral gradient representative is

Jac⁡(Cm)=Div⁡0(Cm)/ΔC0(Cm)≅Z/m.\operatorname{Jac}(C_m) = \operatorname{Div}^0(C_m)/\Delta C_0(C_m) \cong\mathbb Z/m.

This must be stated carefully: the Jacobian does not obstruct arbitrary integral flows. It obstructs the symmetric zero-circulation or gradient choice represented by the Green section.

Adjoining an oriented polygon cell PmP_m kills the diagonal cycle:

∂Pm=t0+⋯+tm−1.\partial P_m=t_0+\cdots+t_{m-1}.

Then H1H_1 vanishes and the flow torsor becomes canonically contractible in the derived quotient. This is why retaining the relation cell is better than dividing by mm.

Consequence for the NLSM--YM comparison

At six points the QTDS polarity source

ci=Ni+−Ni−Xi,∑ici=0,c_i=\frac{N_i^+-N_i^-}{X_i}, \qquad \sum_i c_i=0,

and the marked-theta Ward circuit source both live abstractly in an A2A_2 module. In both calculations the displayed rational current is the Green section for C3C_3:

δΔ−1:A2⊗Q⟶C1(C3;Q).\delta\Delta^{-1}:A_2\otimes\mathbb Q \longrightarrow C_1(C_3;\mathbb Q).

This proves equality of the transport grammar. It does not yet identify the physical source maps. A genuine common operation requires a diagram

CQTDSsource⟶A2↓↓CWardsource⟶A2⊗χ\begin{matrix} \mathcal C_{\rm QTDS}^{\rm source}&\longrightarrow&A_2\\ \downarrow&&\downarrow\\ \mathcal C_{\rm Ward}^{\rm source}&\longrightarrow&A_2\otimes\chi \end{matrix}

that fixes:

  1. the map between scalar contact coefficients and first-jet Ward coefficients;
  2. the identification of polarity deck reversal with the Ward orientation local system;
  3. the lift of the polygon relation cell;
  4. one physical Cut square.

Without these data, any isomorphism between the two rank-two lattices is a choice of basis, not a scalar-derived comparison.

Revised primitive

Replace the provisional formula

HodgeTransfer⁡K(c)=δKΔK−1c\operatorname{HodgeTransfer}_{K}(c)=\delta_K\Delta_K^{-1}c

by the derived operation

ResolveDiv⁡K(c)=[C1(K)/B1(K)→∂ˉB0(K)]c.\boxed{ \operatorname{ResolveDiv}_{K}(c) = \left[C_1(K)/B_1(K) \xrightarrow{\bar\partial} B_0(K)\right]_c.}

The Green formula is a rational presentation of ResolveDiv⁡\operatorname{ResolveDiv}, not its definition. The candidate NLSM/YM commonality is now:

gr⁡RScalar⟶ResolveDiv⁡KQTDS,HgaugeJF1Scalar⟶ResolveDiv⁡KWard.\begin{aligned} \operatorname{gr}_R\mathrm{Scalar} &\longrightarrow \operatorname{ResolveDiv}_{\mathcal K_{\rm QTDS}},\\ H_{\rm gauge}J_F^1\mathrm{Scalar} &\longrightarrow \operatorname{ResolveDiv}_{\mathcal K_{\rm Ward}}. \end{aligned}

The two complexes need not be identical. They must be related by a factorization-natural chain comparison carrying sources, orientation systems, and relation cells.

Decision and next falsifier

Promote as exact:

Prescribed-divergence transport is canonically a homology torsor, and any Green-section failure of Cut naturality is necessarily a harmonic cocycle.

Promote as a strong hypothesis:

Derived divergence resolution is a common transport primitive used by both the scalar rank-jump/Jordan sector and the scalar first-jet/Ward sector.

The next falsifier is the typed m=3m=3 coefficient comparison. It must do more than recognize the same triangle Laplacian: it must construct the two source maps, match their symmetry characters, lift the relation cell, and commute with one already defined physical Cut. Failure at any of these points separates the two flow torsors despite their identical abstract incidence matrices.

Internal dependencies

Publication notation repair: malformed TeX delimiters or tags are corrected for display only. Historical source bytes and research claims are unchanged.

View source on GitHub