TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE21-NORMAL-REAL-TYPE-REVIEW.txt
Original file SHA-256: 544ebcee4af6bd99098ed3443cea93da74e7c4ace0d9c040f89240ba0e47b53a
Inclusive original lines: 1-105
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 | 
000004 | [OMITTED: non-scientific conversation or execution metadata]
000005 | [OMITTED: non-scientific conversation or execution metadata]
000006 | [OMITTED: non-scientific conversation or execution metadata]
000007 | [OMITTED: non-scientific conversation or execution metadata]
000008 | [OMITTED: non-scientific conversation or execution metadata]
000009 | [OMITTED: non-scientific conversation or execution metadata]
000010 | [OMITTED: non-scientific conversation or execution metadata]
000011 | [OMITTED: non-scientific conversation or execution metadata]
000012 | [OMITTED: non-scientific conversation or execution metadata]
000013 | 
000014 | 1. Verdict
000015 | Lemma P is false as a general prohibition of an antilinear reflection
000016 | covering orientation reversal of the normal sphere. Its fourth-slot equation
000017 | m_4=-1-m_4 does not follow for an antilinear Real bundle map.
000018 | The linear dual formula used there and a Real structure are different types.
000019 | 
000020 | [OMITTED: non-scientific conversation or execution metadata]
000021 | [OMITTED: non-scientific conversation or execution metadata]
000022 | [OMITTED: non-scientific conversation or execution metadata]
000023 | [OMITTED: non-scientific conversation or execution metadata]
000024 | [OMITTED: non-scientific conversation or execution metadata]
000025 | [OMITTED: non-scientific conversation or execution metadata]
000026 | [OMITTED: non-scientific conversation or execution metadata]
000027 | [OMITTED: non-scientific conversation or execution metadata]
000028 | [OMITTED: non-scientific conversation or execution metadata]
000029 | [OMITTED: non-scientific conversation or execution metadata]
000030 | [OMITTED: non-scientific conversation or execution metadata]
000031 | [OMITTED: non-scientific conversation or execution metadata]
000032 | [OMITTED: non-scientific conversation or execution metadata]
000033 | [OMITTED: non-scientific conversation or execution metadata]
000034 | 
000035 | Exterior powers, duals and integer tensor powers are Real functors.
000036 | For EVERY integer tuple with sum m_j=-2,
000037 |   W_m=Lambda-even E tensor direct-sum_j D^{m_j}
000038 | has the explicit global map
000039 |   j_W=(Lambda-even j_E) tensor direct-sum_j j_D^{m_j}.
000040 | It is antilinear, involutive and covers sigma_X. Each m_j is UNCHANGED.
000041 | In particular the fourth flat-trivial slot D^{m_4} is preserved for integer
000042 | m_4, without requiring m_4=-1/2. Standard Real Hermitian metrics and their
000043 | Chern connections provide compatible connections in this same example.
000044 | 
000045 | By contrast, over a FIXED E the complex-linear duality identity is
000046 |   W_m^* ~= Lambda-odd E tensor direct-sum_j D^{-1-m_j}.
000047 | It uses Lambda-even E^* ~= Lambda-odd E tensor D^-1.
000048 | That identity does not describe j_W, which preserves exterior parity and
000049 | covers sigma_X antilinearly. It cannot be applied as the reflection rule
000050 | without an additional, different identification.
000051 | 
000052 | 3. Extension to all E8 branches and Lie products
000053 | The counterexample is not confined to an arbitrary standalone 64-space.
000054 | Use the complexification
000055 |   K_C=(Spin(10,C) x SL(4,C))/diagonal mu4
000056 | and the actual natural iota_m from the September22 proof.
000057 | In the compatible wedge/contraction realization of the spinor,
000058 |   s(g,z)=z^-1 Lambda-even g, z^2=det g,
000059 | the family factor is diag(z^{2m_j+1}). These maps, their Clifford
000060 | contractions and the integer-cocharacter quotient are defined over R.
000061 | Thus the split Real involution r_K satisfies
000062 |   r_K(iota_m(g))=iota_m(bar g).
000063 | The local root change z->-z still cancels by (-1,-I4); conjugation
000064 | preserves this quotient kernel. No square-root line is introduced.
000065 | 
000066 | A concrete full-E8 realization uses a real Chevalley chart. Write compact
000067 | conjugation as
000068 |   c_c(H)=-H, c_c(e_alpha)=-e_-alpha, anti-linearly,
000069 | and the linear Chevalley involution as
000070 |   theta(H)=-H, theta(e_alpha)=-e_-alpha.
000071 | With compatible Chevalley signs these preserve the Lie brackets and square
000072 | to one. Their composition r_s=theta c_c is coefficient conjugation:
000073 |   r_s(H)=H, r_s(e_alpha)=e_alpha, anti-linearly.
000074 | It preserves every bracket since the Chevalley structure constants are real.
000075 | The linear involution induces -I on the eight-dimensional root chart,
000076 | an E8 Weyl transformation normalizing D5+D3. It exchanges the two 64
000077 | branches; c_c also exchanges them. Their composition preserves each branch.
000078 | In the real wedge chart its action on W_m is the j_W construction above.
000079 | 
000080 | Therefore the transition rule r_s iota_m(g) r_s^-1=iota_m(bar g)
000081 | constructs a genuine antilinear Real automorphism of the whole associated
000082 | complex E8 Lie-algebra bundle. All five K branches and Lie products are
000083 | included. This uses SPLIT/Chevalley conjugation, not compact conjugation
000084 | alone. It supplies an existence counterexample to Lemma P, not a selection
000085 | of the physically intended TFPT reflection or its real form.
000086 | 
000087 | 4. Actual sign packet and limits of the conclusion
000088 | If a given involution tau_E on C fixes bar L_a under pullback, each actual
000089 | flat line admits the required antilinear bundle comparison. When tau_E has
000090 | fixed points, a unitary line comparison can be normalized to square +1;
000091 | its tensor-product trivialization must be respected as well.
000092 | Combining those given line maps with j_E and j_D leaves the same integer
000093 | m assignments in W_m. No linear-dual half-integer condition reappears.
000094 | This is conditional on the actual Real flat line maps, not a fresh
000095 | identification of their physical fields.
000096 | 
000097 | [OMITTED: non-scientific conversation or execution metadata]
000098 | [OMITTED: non-scientific conversation or execution metadata]
000099 | [OMITTED: non-scientific conversation or execution metadata]
000100 | [OMITTED: non-scientific conversation or execution metadata]
000101 | [OMITTED: non-scientific conversation or execution metadata]
000102 | [OMITTED: non-scientific conversation or execution metadata]
000103 | [OMITTED: non-scientific conversation or execution metadata]
000104 | [OMITTED: non-scientific conversation or execution metadata]
000105 |