TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE23-PFAFF-FIRST-REVIEW.txt Original file SHA-256: 17db47c55f4922ccb4975202d0616005ea89df129b9baddd583b11ec02eb7a3e Inclusive original lines: 1-134 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 | 000008 | Primary sources actually consulted 000009 | [LS] Yves Laszlo and Christoph Sorger, Ann. Sci. ENS30(1997),499-525: 000010 | https://www.numdam.org/item/ASENS_1997_4_30_4_499_0.pdf 000011 | sections6.5,7.1-7.4,7.8-7.10, especially Proposition7.9, pp517-518. 000012 | The convention-bearing pages513-515 and518 were also visually inspected. 000013 | [At] Michael Atiyah, Ann. Sci. ENS4(1971),47-62: 000014 | https://www.numdam.org/item/10.24033/asens.1205.pdf 000015 | sections1-2, especially the real-bundle twist and mod2 index on pp52-53. 000016 | 000017 | Existing source results reused: 000018 | SOURCE-SPIN-SIGN-KERNEL-REVIEW.txt; 000019 | SOURCE-ZERO-MODE-ACTUAL-LIFT-NORM.txt; 000020 | elliptic-moebius-source-bridge-20261026/CLOCK-Q-PACKET-COMPATIBILITY.txt; 000021 | pfaff_source_review/NORMAL-KINETIC-PAIRING.txt:37-85. 000022 | No reconstruction of the earlier fixed-quarter old-J pairing is asserted. 000023 | 000024 | 1. The geometric first step is valid for THIS coefficient operator 000025 | Write V=S0 tensor (L0+L1+L2+O), where plus denotes direct sum. 000026 | The given spin quadratization S0^2 -> K_C and given orthogonal form 000027 | on the flat real coefficient system define a symmetric nondegenerate 000028 | complex-bilinear map 000029 | B:V tensor V -> K_C. 000030 | The L_a^2 trivializations are the actual H_a, with their corrected flat 000031 | coefficient lifts. The old real orthogonal coefficient matrices preserve 000032 | that form; the spin maps preserve its K_C-valued product. Consequently 000033 | B is c/Q covariant. It is canonical relative to these specified structures, 000034 | not after forgetting the spin quadratization or the orthogonal form. 000035 | 000036 | [OMITTED: non-scientific conversation or execution metadata] 000037 | [OMITTED: non-scientific conversation or execution metadata] 000038 | [OMITTED: non-scientific conversation or execution metadata] 000039 | [OMITTED: non-scientific conversation or execution metadata] 000040 | [OMITTED: non-scientific conversation or execution metadata] 000041 | [OMITTED: non-scientific conversation or execution metadata] 000042 | [OMITTED: non-scientific conversation or execution metadata] 000043 | [OMITTED: non-scientific conversation or execution metadata] 000044 | [OMITTED: non-scientific conversation or execution metadata] 000045 | [OMITTED: non-scientific conversation or execution metadata] 000046 | [OMITTED: non-scientific conversation or execution metadata] 000047 | 000048 | 2. The Pfaffian is a genuine line functor, not an arbitrary scalar root 000049 | For the given omega-valued quadratic bundle the self-dual elliptic complex 000050 | has a Pfaffian superline. The construction in [LS,7.4,7.9] uses local 000051 | skew finite reductions and their transition maps, so it works in families 000052 | and preserves isomorphisms. Taking a dual consistently gives the opposite 000053 | determinant convention. This is stronger than choosing a square root of 000054 | a complex number at one background. It does not select a nonzero 000055 | section, a phase trivialization or a physical fermion functional. 000056 | 000057 | [OMITTED: non-scientific conversation or execution metadata] 000058 | [OMITTED: non-scientific conversation or execution metadata] 000059 | [OMITTED: non-scientific conversation or execution metadata] 000060 | [OMITTED: non-scientific conversation or execution metadata] 000061 | [OMITTED: non-scientific conversation or execution metadata] 000062 | [OMITTED: non-scientific conversation or execution metadata] 000063 | [OMITTED: non-scientific conversation or execution metadata] 000064 | [OMITTED: non-scientific conversation or execution metadata] 000065 | [OMITTED: non-scientific conversation or execution metadata] 000066 | [OMITTED: non-scientific conversation or execution metadata] 000067 | [OMITTED: non-scientific conversation or execution metadata] 000068 | [OMITTED: non-scientific conversation or execution metadata] 000069 | [OMITTED: non-scientific conversation or execution metadata] 000070 | [OMITTED: non-scientific conversation or execution metadata] 000071 | [OMITTED: non-scientific conversation or execution metadata] 000072 | [OMITTED: non-scientific conversation or execution metadata] 000073 | [OMITTED: non-scientific conversation or execution metadata] 000074 | 000075 | 4. Characters and odd parity 000076 | Reuse the CORRECT source lift, not the superseded Kummer-function lift. 000077 | For xi=exp(-i pi/4), Q on Delta is xi^3. Thus 000078 | line Q character spin central -I 000079 | Delta xi^3 -1 000080 | lambda_coh +i +1 000081 | Pf_F -xi -1 000082 | Det_F -i +1 000083 | N_q -xi -1 000084 | The cubic and the actual deck-V4 characters on these compared lines are1. 000085 | Therefore Pf_F and N_q have the SAME generated c/Q/deck-V4/spin-center 000086 | line representation. It is the DUAL of Delta ~=N_q^-1, not a derivation 000087 | that P1 uses either line. No Jac[2] translation action on only this 000088 | rank-jumping zero-mode sector is inferred. 000089 | 000090 | The Pfaffian superline has parity dim H mod2=1. 000091 | A scalar -I acts there by (-1)^3=-1; squaring removes that sign. 000092 | The parity is stable under compatible orthogonal skew-Fredholm 000093 | deformations; this is the mod2 index mechanism of [At]. 000094 | Odd parity does not destroy the line. At this noninvertible operator 000095 | the unsaturated Pfaffian section vanishes. An odd correlator needs 000096 | actual insertions saturating the kernel and a nonzero complementary 000097 | factor; parity alone does not prove a particular three-point function 000098 | nonzero or require a new physical partner sector. Even total parity 000099 | is not sufficient for nonvanishing of a gluing amplitude. 000100 | 000101 | 5. Decisive full charged-source type test 000102 | V above is a spin/flavor COEFFICIENT bundle. The actual E8 charged branch is 000103 | W=(16,4). 000104 | There is no K-invariant nonzero scalar symmetric B_W:W tensor W->K_C. 000105 | The smallest test is the existing VERTICAL native kappa: 000106 | it acts on W by -i and leaves the base canonical line K_C unchanged. 000107 | Invariance would require 000108 | B_W(kappa u,kappa v)=(-i)^2 B_W(u,v) 000109 | =-B_W(u,v)=B_W(u,v), 000110 | hence B_W=0. 000111 | This excludes that particular invariant-pairing identification on W, 000112 | not the coefficient Pfaffian above and not every possible interaction. 000113 | 000114 | On W+W^* the hyperbolic evaluation form is available. The already 000115 | proved actual F5 charged block is 000116 | [[0,-K^T],[K,0]], Pf=+/-det K, 000117 | with its stated fields and domains. It is a charged determinant in its 000118 | selfdual presentation; it does not provide half of a different charged 000119 | determinant. A mixed (10,6) Higgs anchor has kappa phase -1 and can 000120 | compensate the W W phase algebraically, but its actual original insertion, 000121 | statistics, contraction and domain must be supplied. 000122 | The same abstract skew type cannot identify F5 with barpartial_V. 000123 | 000124 | 6. Final source boundary 000125 | The geometric B/skew/Pfaffian step is sound with the convention correction. 000126 | Its FIRST transfer to physical P1 is not yet supplied: 000127 | one needs the actual charged-field map and the original rule selecting this 000128 | chiral bilinear source or its required insertion. An antilinear curve 000129 | involution alone supplies neither a Pfaffian action nor OS positivity. 000130 | Likewise three complex kernel directions with a Real comparison do not 000131 | by themselves construct three physical Majorana operators. 000132 | No existing Seed state/time is reselected and no original source is closed 000133 | by these character or parity calculations. 000134 |