TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SPIN-PRODUCT-CAR-U6-TRANSPORT-REVIEW.txt Original file SHA-256: 6a107b94df366affec36a50d940a74420e192010d371d34a6aeeccfe074a1e5b Inclusive original lines: 1-190 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 | SPIN PRODUCT, CAR U6 AND WHOLE SOURCE TRANSPORT REVIEW 000002 | Independent exact type review, 30 October 2026. No Atlas or prior report edit. 000003 | 000004 | VERDICT 000005 | 000006 | The six geometric mixed spin products and the six ordered CAR pair fields 000007 | carry equivalent C6 representations, but they are not literally the same 000008 | object in their natural charts. The holomorphic product map is ordinary 000009 | commutative multiplication and carries +U6. The ordered fermionic pair 000010 | acquires the forced Koszul sign and carries -U6. Because the orbit length is 000011 | even, the alternating orbit map intertwines -U6 with +U6 exactly. It is 000012 | unique up to one common scalar only within the orbit-linewise diagonal 000013 | comparison that preserves the six fixed summands. Without that extra 000014 | restriction the full intertwiner space is D times the six-dimensional 000015 | commutant of the regular cycle P; starting label and orientation alone do not 000016 | make it one-dimensional. 000017 | 000018 | The annihilation pair B_ab=a(q_a)a(p_b) is the adjoint/dual chart, not the 000019 | holomorphic product line itself. A star closed identification therefore needs 000020 | Voff direct-sum bar(Voff), with pair creation on the holomorphic factor and 000021 | pair annihilation on its conjugate. The canonical Hodge metric supplies that 000022 | antilinear Riesz identification and makes the geometric U6 unitary; it is not 000023 | by itself the physical CAR star operation. It does not embed these 000024 | six modes into the existing F5/96 CAR source, select its covariance C, or fix 000025 | its Hamiltonian h. 000026 | 000027 | No existing reviewed map identifies the p packet with the v252 antiparticle 000028 | slots, the T_faces adjoint slots, a hole polarization, or the second boundary 000029 | face. The prior q-column comparison uses only the three q lines as generation 000030 | slots. Consequently the finite CAR lift below is exact as a conditional 000031 | algebraic construction on the given six one-particle modes, but it is not yet 000032 | an operation of the already fixed whole source. 000033 | 000034 | The reviewed graph/HS state is the exact mathematical source object used 000035 | below. Its further identification with an operational P1 Seed remains the 000036 | same stated premise as in the graded source reports; this review does not 000037 | promote that premise. 000038 | 000039 | For the existing graph source, same-object covariance requires r C r^*=C; 000040 | with C=(1+exp(2 ell h))^(-1), this is equivalent to [r,h]=0. A source-family 000041 | transport may instead obey r h_Phi r^*=h_(Phi^R) and carry the state and time 000042 | to that target. Neither identity has been derived for Rhat. The geometric 000043 | Hodge L2 metric alone cannot supply it. 000044 | 000045 | 1. Exact CAR star automorphism and its sixth power 000046 | 000047 | Let 000048 | 000049 | K6=direct-sum_a (Aq_a direct-sum Ap_a) 000050 | 000051 | be the six-dimensional one-particle zero-mode space and assume the stipulated 000052 | unitary spin transport Rhat on K6. Its actual spin lift obeys 000053 | 000054 | Rhat^6=-I, Rhat^12=I. (1) 000055 | 000056 | Every unitary on a one-particle Hilbert space defines a unique gauge 000057 | preserving CAR star automorphism 000058 | 000059 | alpha_R(a(f))=a(Rhat f), 000060 | alpha_R(a(f)^*)=a(Rhat f)^*. (2) 000061 | 000062 | Here a(f) is antilinear in f and a(f)^* is linear. Equation (2) preserves 000063 | the CAR, multiplication and the star operation. From (1), 000064 | 000065 | alpha_R^6=gamma_CAR, alpha_R^12=id, (3) 000066 | 000067 | where gamma_CAR is fermion parity. Hence alpha_R^6 is the identity on the 000068 | even pair algebra while it is minus the identity on odd fields. This is the 000069 | correct whole-algebra statement; calling Rhat an order-six field operation 000070 | would drop its central fermion parity. 000071 | 000072 | 2. Pair fields versus ordinary holomorphic products 000073 | 000074 | Use the product report's orbit convention 000075 | 000076 | (a,b)->(b+1,a+1), a!=b, (4) 000077 | 000078 | and write B_ab=a(q_a)a(p_b). Since Rhat exchanges q and p, direct use of the 000079 | CAR gives, with all already fixed spin/Kummer phases retained in the 000080 | transition maps, 000081 | 000082 | alpha_R(B_ab)=- B_(b+1,a+1). (5) 000083 | 000084 | The minus sign is forced by moving the transformed p annihilator past the 000085 | transformed q annihilator. It is absent from the geometric formula because 000086 | mu_ab is ordinary multiplication of complex line-bundle sections. 000087 | Using the inverse pullback convention reverses P in both formulas below and 000088 | does not alter the relative minus sign or the alternating intertwiner. 000089 | 000090 | Let e_j be the normalized geometric orbit basis of the mixed product report, 000091 | so R_V e_j=e_(j-1), and let B_j have the same ordered orbit labels. Then 000092 | 000093 | R_V=P, alpha_R|pair=-P. (6) 000094 | 000095 | Put D e_j=(-1)^j e_j. Exact 6 by 6 calculation gives 000096 | 000097 | D(-P)D^-1=P, D^2=I, (7) 000098 | 000099 | and both P and -P have characteristic polynomial t^6-1. Thus 000100 | 000101 | I_pair(B_j)=s (-1)^j e_j (8) 000102 | 000103 | is an equivariant isomorphism for every nonzero common scalar s. The 000104 | recursion imposed by equivariance makes (8) unique up to s among diagonal 000105 | orbit-linewise maps that preserve each of the six named summands. The 000106 | starting summand (0,1) and the positive R orientation then fix the 000107 | alternating sign sequence; the scalar contains the remaining relative 000108 | normalization. For arbitrary linear comparisons the complete solution is 000109 | 000110 | I_pair = D Q, with QP=PQ, (8a) 000111 | 000112 | so the intertwiner space is D times the six-dimensional commutant of P. 000113 | Equivariance alone permits summand mixing and does not select D uniquely. 000114 | 000115 | Equation (8) proves equivalence of the two finite representations. It does 000116 | not make ordinary holomorphic multiplication equal to the graded CAR product. 000117 | That equality would require the explicitly signed comparison (8). 000118 | 000119 | 3. Adjoint pair sector and the rho line 000120 | 000121 | The holomorphic product section is naturally linear in its two spin 000122 | sections. It therefore matches a pair-creation chart before taking the star. 000123 | With C_ab=a(q_a)^*a(p_b)^*, its CAR transform also carries -P. The proposed 000124 | annihilation operator is related by 000125 | 000126 | B_ab^*=a(p_b)^*a(q_a)^*=-C_ab. (9) 000127 | 000128 | Consequently annihilation pairs transform in the conjugate/dual 000129 | representation. If a coherent creation pair has eigenvalue rho, its adjoint 000130 | annihilation pair has eigenvalue bar(rho). A star closed finite object is 000131 | 000132 | P_pair = Voff direct-sum bar(Voff), (10) 000133 | 000134 | not Voff alone. A Hermitian quadrature C_rho+C_rho^* spans a two-dimensional 000135 | real rotation plane; it is not a rho eigenoperator. 000136 | 000137 | This distinction does not remove the positive result. The rho and bar(rho) 000138 | lines are both present and are exchanged by star. It prevents an untyped 000139 | claim that the holomorphic rho line itself is already the annihilation field 000140 | or a selfadjoint physical insertion. 000141 | 000142 | 4. Why a hole or dual relabeling is not yet an existing source map 000143 | 000144 | There are three different dualities in the reviewed whole source: 000145 | 000146 | * J_F is the finite KO6 particle/antiparticle antiunitary on the actual 000147 | 96-dimensional v252 coefficient; 000148 | * C0 and the bar(w) entries of T_faces provide the selfdual CAR adjoint 000149 | completion of one charged Hilbert space; 000150 | * the negative-energy sea of h_Phi turns some charged annihilators into 000151 | hole creators in its Fock presentation. 000152 | 000153 | None has been identified with the geometric p packet. The q/p rotation R is 000154 | complex linear and holomorphic, covers z->1/z, and exchanges two distinct 000155 | coefficient/spin packets. J_F is antiunitary and exchanges the already given 000156 | finite particle and antiparticle labels. T_faces duplicates the same charged 000157 | space into field and adjoint slots and into two boundary faces. A hole label 000158 | depends on the spectral polarization of h_Phi. These types cannot be equated 000159 | from their dimensions or from the common occurrence of a conjugate space. 000160 | 000161 | The existing full real P2 dictionary verifies the actual action of J_F, 000162 | gamma_F, compact conjugation and all D5 generators. The existing declared 000163 | q-column comparison maps the three horizontal q columns to the three v252 000164 | generation slots. It supplies no image for the three p columns and no unitary 000165 | 000166 | iota_6: K6 -> H_charged (11) 000167 | 000168 | which intertwines Rhat with an operation of the F5/96 source. Assigning p to 000169 | antiparticles, holes, adjoints or the second face would be four different new 000170 | maps, each with different charge, anti/linearity and time behavior. 000171 | 000172 | The numerical resemblance Rhat^6=-I to other parity-square maps in the F5 000173 | reports does not give (11). In particular the known complex-linear 000174 | composition C_raw has square -I but transports Phi to Phi^K and reverses the 000175 | circle parameter. The native product reflection R_geo is antiunitary and 000176 | preserves each fixed graph. J_F has its separate KO6 action. None has the 000177 | same base, coefficient packet and source target as Rhat. 000178 | 000179 | Map (11) is therefore a sufficient direct six-mode comparison, not a 000180 | necessary form of every possible source-family realization. A different 000181 | possibility is an original pullback which carries the q source over z->1/z 000182 | to a distinct p source, with the basis-inversion sign compensated by an 000183 | already represented chiral or dual swap. Such a map need not place q and p 000184 | as six independent modes inside one fixed 96-dimensional coefficient. It 000185 | must still be tested on the actual operator h_Phi, state, time and face 000186 | charts; none of those identities follows from the product U6 alone. 000187 | 000188 | 5. The actual given state and time test 000189 | 000190 | In the reviewed graded whole source the charged one-particle generator is