TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/MIXED-SPIN-PRODUCT-U6-SOURCE-REVIEW.txt
Original file SHA-256: 319d9b965c909058c237b523236c2d9f4521989b8154fffbd527987d1b3ba1c8
Inclusive original lines: 1-173
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000001 | [OMITTED: non-scientific conversation or execution metadata]
000002 | [OMITTED: non-scientific conversation or execution metadata]
000003 | [OMITTED: non-scientific conversation or execution metadata]
000004 | 
000005 | VERDICT
000006 | 
000007 | YES. The six offdiagonal mixed sectors are a genuine sixfold product
000008 | alphabet formed from the already given odd spin sections. Their product
000009 | maps are global, nonzero and equivariant with the ACTUAL paired Kummer
000010 | and spin lifts. On the existing joint unramified cover, the Hodge inner
000011 | product gives a positive invariant metric and makes the six sectors
000012 | orthogonal. In an orbit basis the resulting operator is exactly the
000013 | concrete U6 of verification/v231_cp_mu6_phases.py, including its shift
000014 | orientation. This supplies a geometric source realization of that matrix,
000015 | beyond a comparison of dimension or characteristic polynomial.
000016 | 
000017 | It selects no eigenprojector, no physical CP insertion and no field/state
000018 | interpretation of this six-dimensional space. In particular neither an
000019 | invariant cohomology metric nor this product map is a physical sewing rule.
000020 | 
000021 | 1. ACTUAL ODD SPIN SECTIONS AND THEIR NONZERO PRODUCTS
000022 | 
000023 | Retain C: eta^2=1-w^6, S0=O(Dq-Kinf), S0^2=K_C and the existing sign lines
000024 | 
000025 |  Laq=O(q_a-q_(a+1)), Lbp=O(p_b-p_(b+1)).
000026 | 
000027 | All indices are modulo three. The SAME spin line is represented by either
000028 | Dq-Kinf or Dp-Kinf. The earlier exact divisor calculation therefore gives
000029 | 
000030 |  Tqa=S0 tensor Laq isomorphic O(q_(a+2)),
000031 |  Tpb=S0 tensor Lbp isomorphic O(p_(b+2)).
000032 | 
000033 | Each space Aqa=H^0(C,Tqa), Apb=H^0(C,Tpb) has dimension one. Multiplication
000034 | and the fixed spin square define the genuine global map
000035 | 
000036 |  mu_ab: Aqa tensor Apb -> V_ab,
000037 |  V_ab=H^0(C,K_C tensor Laq tensor Lbp).
000038 | 
000039 | For nonzero input sections the product is nonzero: at a point outside the
000040 | two finite zero sets both factors are nonzero. Its zero divisor is exactly
000041 | 
000042 |  q_(a+2)+p_(b+2).
000043 | 
000044 | These are distinct points, also when a=b. Since Vq and Vp are disjoint
000045 | nontrivial two-torsion planes, Laq tensor Lbp is nontrivial for ALL nine
000046 | pairs. Riemann-Roch gives dim V_ab=1. Thus every mu_ab is an isomorphism
000047 | between one-dimensional spaces. No additional section or coupling is
000048 | chosen to make multiplication nonzero.
000049 | 
000050 | The output is a TWISTED canonical section. It is not an ordinary section
000051 | of K_C with the sign line silently omitted. The zero divisor above is
000052 | also not a doubled branch point.
000053 | 
000054 | 2. SPIN AND KUMMER SIGNS, WITH BOTH HALF-FORMS PRESENT
000055 | 
000056 | Use the already constructed positive rotation R=sc^2, covering w->rho w,
000057 | with the normalized joint lift
000058 | 
000059 |  R^*h_a^q=h_(a+1)^p, R^*h_b^p=h_(b+1)^q.
000060 | 
000061 | Together with the fixed compatible spin lift, this transports Tqa to
000062 | Tp_(a+1) and Tpb to Tq_(b+1). The divisor check agrees exactly:
000063 | 
000064 |  R^-1(q_(a+2))=p_a=p_((a+1)+2),
000065 |  R^-1(p_(b+2))=q_b=q_((b+1)+2).
000066 | 
000067 | Multiplication of holomorphic sections commutes with pullback. Therefore
000068 | 
000069 |  R_V mu_ab(x tensor y)
000070 |     =mu_(b+1,a+1)(R_p y tensor R_q x).
000071 | 
000072 | The interchange here is ordinary multiplication of sections of complex
000073 | line bundles. It is NOT a chosen exchange of Grassmann generators and
000074 | introduces no fermionic Koszul sign. A later physical fermion contraction
000075 | must retain its own grading and ordering.
000076 | 
000077 | For the normalized half-form representative Phi^2=u dw, u=(w^3+1)/eta,
000078 | the existing spin calculation is Rhat Phi=lambda Chi,
000079 | Rhat Chi=lambda Phi, lambda^2=rho and Rhat^6=-I. The two half-forms in
000080 | mu_ab each acquire that central minus sign after six iterations. Their
000081 | product acquires +I, exactly as the natural action on K_C does. Changing
000082 | the overall spin lift sign also cancels from the product. Thus
000083 | 
000084 |  R_V^6=I.
000085 | 
000086 | No unspecified spin phase was dropped. The coherent normalized Kummer
000087 | lift used above is the EXISTING one; selecting a different deck lift can
000088 | alter other marked intertwiners and is not silently identified with it.
000089 | 
000090 | 3. SIXFOLD ORBIT AND THE EXACT MATRIX, INCLUDING ORIENTATION
000091 | 
000092 | Set Voff=direct_sum_(a!=b) V_ab. The permutation is
000093 | 
000094 |  (a,b)->(b+1,a+1),
000095 | 
000096 | and its single orbit is
000097 | 
000098 |  (0,1),(2,1),(2,0),(1,0),(1,2),(0,2).
000099 | 
000100 | Consequently Voff is an actual cyclic system of six one-dimensional
000101 | product spaces, not merely an arbitrary six-dimensional carrier. All
000102 | transition maps are invertible. Their product is one by R_V^6=I.
000103 | For any nonzero v0 in V_01, define e_j=R_V^(-j) v0, 0<=j<6. Then
000104 | 
000105 |  R_V e_j=e_(j-1), indices modulo six.
000106 | 
000107 | Hence its matrix has entries
000108 | 
000109 |  (R_V)_ij=1 if j-i=1 mod6, and zero otherwise.
000110 | 
000111 | This is EXACTLY the concrete U6 constructed in
000112 | verification/v231_cp_mu6_phases.py. Choosing e_j=R_V^j v0 would instead
000113 | give U6^-1; this orientation choice must be stated. The ordered source
000114 | labels provide the named starting summand. A common phase of v0 remains
000115 | and does not change the intertwining matrix. Thus this is an explicit
000116 | operator realization up to the stated orbit frame, not a claim of a
000117 | canonically chosen physical vector in V_01.
000118 | 
000119 | 4. POSITIVITY FROM THE ALREADY EXISTING JOINT COVER
000120 | 
000121 | The six-line completion supplies the connected degree-sixteen unramified
000122 | Kummer cover pi:Y->C, genus seventeen, with deck group G=(C2)^4. Its
000123 | canonical differential space decomposes into G characters:
000124 | 
000125 |  H^0(Y,K_Y)=H^0(C,K_C) direct_sum_(chi!=1) H^0(C,K_C tensor L_chi).
000126 | 
000127 | The trivial component has dimension two; each of the fifteen nontrivial
000128 | components has dimension one. The nine V_ab are exactly the mixed
000129 | characters in this decomposition. The standard canonical positive form
000130 | 
000131 |  <alpha,beta>=(i/2) integral_Y alpha wedge bar(beta)
000132 | 
000133 | is intrinsic to the compact complex curve and requires no additional
000134 | Riemannian metric. Every holomorphic deck transformation and the actual
000135 | lift R preserve it by change of variables. Different G-character spaces
000136 | are orthogonal: averaging their inner product over G multiplies it by
000137 | a nontrivial character and hence gives zero.
000138 | 
000139 | Thus Voff inherits a positive definite metric and R_V is unitary. Choose
000140 | v0 of unit norm; the six orbit vectors e_j then have unit norm and lie in
000141 | different orthogonal character sectors. The displayed intertwiner with
000142 | U6 is therefore UNITARY. This proves the metric statement from the
000143 | existing curve and cover, rather than assuming orthogonality because
000144 | there happen to be six labels.
000145 | 
000146 | This Hodge metric does not assert that mu_ab is an isometry for arbitrary
000147 | separately chosen norms on the individual odd-spin section lines. It
000148 | provides the actual positive target metric needed for the six-cycle.
000149 | Normalizing products or a physical sewing amplitude requires their actual
000150 | norm, determinant, reference and contraction data.
000151 | 
000152 | 5. SOURCE CONSEQUENCE AND PRECISE LIMIT
000153 | 
000154 | The earlier v231 script supplied U6 as a six-cycle and checked its spectrum.
000155 | The original q+p geometry, selected S0 and their holomorphic multiplication
000156 | now realize that same operator in six genuine mixed product sectors with
000157 | a natural positive metric. No new C6 action, cover or phase scalar was
000158 | introduced. The rho eigenline is its usual Fourier eigenspace, and its
000159 | existence is exact; no reason to choose that eigenline as a physical
000160 | preparation, output or CP reader has been added.
000161 | 
000162 | This is a concrete candidate geometric origin of the sixfold operator
000163 | template. Identifying it with a particular complete K/E8/Clock field
000164 | object still requires the actual labelled source map, products and
000165 | remaining clock transports. It does not follow from U6 equality alone.
000166 | The existing source-selected spin norm, determinant and sewing results
000167 | remain separate and unchanged.
000168 | 
000169 | Sources reused: SOURCE-SPIN-SIGN-KERNEL-REVIEW.txt, exact a+2 divisor
000170 | formula and its p analogue; SIX-LINE-THETA-COMPLETION.txt, joint cover,
000171 | deck characters and normalized c/s lifts; SOURCE-SELECTED-THETA-SPIN.txt;
000172 | HEXAGONAL-OPEN-SOURCE-PHASE-REVIEW.txt; and actual matrix definition in
000173 | verification/v231_cp_mu6_phases.py. No original/hash-pinned file changed.