Skip to main content

One four point divisor, a carrier of 5 and a family rank of 3

The pair (5, 3) can be read from one geometric object. Four marked points on the projective line give a five dimensional meromorphic function space and three independent puncture cycles. The original argument then connects the function space to the carrier spinor.

Statement and assumptions

The divisor and its two mathematical invariants are specified. Their arithmetic and the exterior algebra dimension are exact. The identification of the meromorphic modes and their spinor with the physical carrier retains the conditional scope recorded in ARCH.RRCAR.01 and ARCH.RRCAR.02.

Keep the same four marked points

Take the projective line, topologically a sphere, with the reduced divisor D consisting of the four fourth roots of unity. The degree of D is 4. The cycle and function constructions below use this same D.

D=[1]+[i]+[−1]+[−i],deg⁡D=4,μ4={1,i,−1,−i}.D=[1]+[i]+[-1]+[-i],\qquad\deg D=4,\qquad\mu_4=\{1,i,-1,-i\}.

In words: The divisor is the sum of the four distinct fourth roots of unity.

The cycle side has rank 3

On the punctured sphere, loops around the four punctures have one relation: their oriented sum is zero in first homology. Three independent cycles remain. In the original TFPT reading, this is the family rank.

H1(P1∖μ4;Z)≅Z3,Nfam=deg⁡D−1=3.H_1(\mathbb P^1\setminus\mu_4;\mathbb Z)\cong\mathbb Z^3,\qquad N_{\mathrm{fam}}=\deg D-1=3.

In words: Four punctures leave three independent homology cycles.

The function side has dimension 5

The space H⁰(ℙ¹, O(D)) consists of meromorphic functions with at most simple poles at the marked points and no other poles. On the genus zero projective line, Riemann–Roch gives h⁰(O(D)) = deg D + 1 for a divisor of nonnegative degree. Applied to the same four marks, it gives five modes.

Ccar=H0(P1,O(D)),dim⁡Ccar=h0(O(D))=4+1=5=gcar.C_{\mathrm{car}}=H^0(\mathbb P^1,\mathcal O(D)),\qquad\dim C_{\mathrm{car}}=h^0(\mathcal O(D))=4+1=5=g_{\mathrm{car}}.

In words: Riemann–Roch gives a five dimensional function space for this degree 4 divisor.

Thus the two numbers are tied to one degree. They are two invariants of one object. Their agreement with the carrier and family numbers expresses a shared construction; they do not supply two independent confirmations.

(gcar,Nfam)=(deg⁡D+1,deg⁡D−1)=(5,3).(g_{\mathrm{car}},N_{\mathrm{fam}})=(\deg D+1,\deg D-1)=(5,3).

In words: One divisor degree determines both the carrier dimension and the cycle rank.

From five modes to the carrier spinor

The source continues with the standard exterior algebra realization of the D₅ half spinor. For a five dimensional complex mode space, its even exterior powers have degrees 0, 2 and 4. Their dimensions add to 16.

S+=ΛevenCcar=Λ0Ccar⊕Λ2Ccar⊕Λ4Ccar,S^+=\Lambda^{\mathrm{even}}C_{\mathrm{car}}=\Lambda^0C_{\mathrm{car}}\oplus\Lambda^2C_{\mathrm{car}}\oplus\Lambda^4C_{\mathrm{car}},

In words: The positive half spinor is realized by the even exterior powers of the five dimensional mode space.

dim⁡S+=(50)+(52)+(54)=1+10+5=16=25−1.\dim S^+=\binom50+\binom52+\binom54=1+10+5=16=2^{5-1}.

In words: The even exterior powers contain sixteen components.

Here 5 is the dimension of the mode space and the rank of D₅; 16 is the dimension of its half spinor representation. The original argument keeps the physical carrier identification conditional. The mathematical dimensions alone do not identify modes with physical particles or derive their dynamics.

Read the original sources

This reading edition follows the original arguments below. The paper and its surrounding sections retain the full publication context.

Origin Theory: Anchors, Clocks & TFPT StructureRead the complete PDFInspect the original library record
Source version

Publication source links are pinned to repository revision 2925e262855edf188b1e13a0310278066b20454b. A linked scientific source excerpt carries its own original fingerprint, line range and recorded publication scope.

Inspect the cited verification code

The following scripts support the particular calculations described here. A citation identifies a source; a new execution needs its own result.