TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/boundary_origin_20261027/originals/ACTUAL-REFERENCE-SPIN-TEST.txt
Original file SHA-256: df6b3894ee736e3a0d503eb1d90e7b7e4e462af966eb2d6718e82e24516fac72
Inclusive original lines: 1-200
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 | ACTUAL REFERENCE SPIN TEST
000002 | Shifted gegen unshifted auf demselben Spin Hardyraum
000003 | 2026-10-27
000004 | 
000005 | Atlasstand der Navigation: d40044e01d66e9efca2962b9
000006 | 
000007 | Verwendeter bereits geschlossener q Spininput:
000008 | 
000009 |   experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/
000010 |   MARKED-Q-DIVISOR-CENTRAL-TWIST.txt
000011 |   SHA256 da1f75831a46a0c0662f931486b77e6e2085126df452b009d1a90351d413d904
000012 | 
000013 | 
000014 | URTEIL
000015 | =======
000016 | 
000017 | Die tatsaechlichen Definitionen von D_ref und D_rel erzwingen keinen Wechsel
000018 | vom Spintraeger S_0 zu einem skalaren Koeffiziententraeger O. Das ist kein
000019 | Hindernis fuer den positiven Anschluss. Der urspruengliche fullv21
000020 | Spektralfluss vergleicht den unverschobenen und den um eine Windung
000021 | verschobenen Operator auf demselben Feldraum. Auf dem gesuchten Spin
000022 | Hardyraum ist dies genau der Vergleich
000023 | 
000024 |   M_1 gegen M_z auf H2(pi^(-1)D,S_0).                         (1)
000025 | 
000026 | Der Fredholmdefekt von M_z hat keinen Kern und den kanonischen Kokern
000027 | 
000028 |   H2(S_0)/z H2(S_0)=direct_sum_a S_0|q_a.
000029 | 
000030 | Mit der Konvention Det(T)=det ker(T) tensor det coker(T)^(-1) folgt
000031 | 
000032 |   Det(M_z) tensor Det(M_1)^(-1)=B_q^(-1).                     (2)
000033 | 
000034 | Der vorher verlangte zweite skalare Hardyoperator auf O_C ist daher nur ein
000035 | hinreichender Weg, das reine Ordnungszeichen zu normieren. Er ist keine
000036 | notwendige physische Referenz.
000037 | 
000038 | Tatsaechlich gilt
000039 | 
000040 |   N_q=B_q tensor B_O^(-1),
000041 |   B_O=det H^0(D_q,O_Dq),
000042 |   B_q^(-1)=N_q^(-1) tensor B_O^(-1).                          (3)
000043 | 
000044 | Auf B_O wirken c und beta trivial. Q vertauscht q_1 und q_2 und wirkt deshalb
000045 | mit minus eins. Der Unterschied zwischen B_q^(-1) und N_q^(-1) ist somit nur
000046 | das bereits vorhandene globale alpha Vorzeichen, sofern dieses Vorzeichen im
000047 | aktuellen Modulvertrag frei bleibt. Fuer beta, c und alpha^2 sind beide Linien
000048 | identisch. Als Superlinie ist B_O wegen der ungeraden Laenge drei allerdings
000049 | odd. Die ungradierte Abkuerzung darf deshalb nicht automatisch als
000050 | gradierungserhaltende Identifikation ausgegeben werden. Ein physischer O_C
000051 | Referenzsektor ist fuer den ungradierten Modulanschluss nicht noetig; eine
000052 | vollstaendig graduierte Antwort muss die Paritaet von B_O mitfuehren.
000053 | 
000054 | Der wirkliche offene Originalanschluss ist jetzt kleiner:
000055 | 
000056 |   Die Originale definieren einen Spinorhilbertraum, einen tangentialen
000057 |   Kreisoperator und den Winding eins Shift. Sie identifizieren den positiven
000058 |   Cauchy oder Hardyraum dieses Randspinors aber nicht mit
000059 | 
000060 |     H2(pi^(-1)D,S_0)
000061 | 
000062 |   fuer die konkrete Dreiblattkarte pi:C->P1_z. Ohne diese Identifikation ist
000063 |   (2) ein exakter Kandidat, aber noch nicht der tatsaechliche physische
000064 |   Fredholmdefekt der Originalquelle.
000065 | 
000066 | Die gleiche Spinwirkung von D_ref und D_rel schliesst den Anschluss also
000067 | nicht aus. Sie ist mit (1) kompatibel. Sie beweist allein weder die benoetigte
000068 | Hardypolarisation noch die q Auswertungsfasern.
000069 | 
000070 | 
000071 | 1. DIE ORIGINALEN SEKTOREN HABEN DENSELBEN SPINTRAEGER
000072 | =======================================================
000073 | 
000074 | Quelle:
000075 | 
000076 |   Atlas: paper-source:12323340247079857eb23f60
000077 |   documents/archive--paper-latex--tfpt-31/sections/
000078 |   002-subsection-primitive-relative-spectral-dynamics.tex:1-96
000079 |   SHA256 6d8813b95a1ef4d82ee9cd48a25efff3f9c20066a06b85ad121bc26e5dbaae77
000080 | 
000081 | v31 beginnt mit einem einzigen Datum
000082 | 
000083 |   (A,H,D,J,Gamma,tau,nu)
000084 | 
000085 | und definiert
000086 | 
000087 |   D_ref=(D+tau D tau)/2,
000088 |   D_rel=(D-tau D tau)/2.                                      (4)
000089 | 
000090 | Die optionale fast kommutative Realisierung ist einmal
000091 | 
000092 |   H=L2(M_tilde,S) tensor H_int.
000093 | 
000094 | Mit P_plus=(1+tau)/2 und P_minus=(1-tau)/2 folgt
000095 | 
000096 |   D_ref=P_plus D P_plus + P_minus D P_minus,
000097 |   D_rel=P_plus D P_minus + P_minus D P_plus.                  (5)
000098 | 
000099 | D_ref erhaelt die tau Paritaet, D_rel vertauscht sie. Beide bleiben Operatoren
000100 | auf demselben Spintraeger.
000101 | 
000102 | Der zentrale Test ist damit einfach. Fuer jede skalare zentrale Spinwirkung
000103 | Z_S auf H gilt
000104 | 
000105 |   [Z_S,tau]=0,
000106 |   [Z_S,D_ref]=[Z_S,D_rel]=0.                                  (6)
000107 | 
000108 | Insbesondere wirkt das zentrale minus eins der Spinstruktur als minus I auf
000109 | Quelle und Ziel aller Bloecke in (5). Die markierte geometrische Wirkung beta
000110 | muss davon unterschieden werden: Auf dem ganzen Hardyraum kann sie auch die
000111 | Basisvariable bewegen. Auf dem Kokern sitzt sie jedoch an den beta fixierten
000112 | q Punkten und wirkt auf jeder Faser S_0|q_a mit +i. Daher traegt der Kokern in
000113 | (2)
000114 | 
000115 |   beta|B_q=(+i)^3=-i,
000116 |   beta|B_q^(-1)=+i,                                           (7)
000117 | 
000118 | also bereits den benoetigten zentralen Charakter. Es gibt keinen zentralen
000119 | Widerspruch, den ein skalarer Referenztraeger reparieren muesste.
000120 | 
000121 | 
000122 | 2. fullv21 VERGLEICHT SHIFTED GEGEN UNSHIFTED AUF EINEM FELDRAUM
000123 | ================================================================
000124 | 
000125 | Quelle:
000126 | 
000127 |   Atlas: paper-source:1fe2ddfabc74ac0e94a4686d
000128 |   documents/archive--paper-latex--tfpt-theory-fullv21/sections/
000129 |   001-section-introduction-the-problem-of-parameters.tex:220-258
000130 |   SHA256 85bb11511be05385a7cadf6071dbede216b12befeb9d6767bc4460748cbec5d7
000131 | 
000132 | Die Stelle setzt
000133 | 
000134 |   D_Gamma=i d/dtheta,
000135 |   U_Gamma(theta)=exp(i theta)
000136 | 
000137 | und interpoliert die Randbedingung
000138 | 
000139 |   psi(theta+2pi)=exp(i phi) psi(theta),
000140 |   phi:0 -> 2pi.
000141 | 
000142 | Die Eigenwerte n+phi/(2pi) zeigen, dass ein Modus kreuzt. Der Startpunkt
000143 | phi=0 und der Endpunkt phi=2pi benutzen denselben psi Feldraum. U_Gamma
000144 | verschiebt die Fouriermoden um eins. Auf der positiven Polarisation ist dies
000145 | genau die einseitige Shiftstruktur M_1 gegen M_z aus (1).
000146 | 
000147 | Diese Lesart benoetigt keinen zweiten skalaren Koeffiziententraeger. Sie
000148 | benoetigt aber eine Aussage darueber, welcher positive Spinraum polarisiert
000149 | wird. fullv21 schreibt D_Gamma in einer lokalen Kreisrahmung. Aus dieser
000150 | Formel allein folgt nicht, dass der Raum der positive Hardyraum des spaeteren
000151 | S_0 auf C ist.
000152 | 
000153 | 
000154 | 3. DER SKALARE PUNKTDETERMINANT IST NUR EINE ZEICHENNORMIERUNG
000155 | ===============================================================
000156 | 
000157 | Auf den drei q Punkten ist
000158 | 
000159 |   B_O=det H^0(D_q,O_Dq).
000160 | 
000161 | c wirkt als Dreierzyklus und damit mit Zeichen plus eins. beta wirkt auf den
000162 | skalaren Fasern trivial. Q fixiert q_0 und vertauscht q_1,q_2, also
000163 | 
000164 |   c|B_O=1,
000165 |   beta|B_O=1,
000166 |   Q|B_O=-1.                                                   (8)
000167 | 
000168 | Damit veraendert der Uebergang von B_q^(-1) zu N_q^(-1) weder den zentralen
000169 | beta Charakter noch den kubischen Operator noch alpha^2. Er waehlt nur das
000170 | Vorzeichen des Quarterlifts alpha.
000171 | 
000172 | Wenn alpha und minus alpha im geschlossenen Modulvertrag dieselbe verbleibende
000173 | Liftfreiheit sind, kann der physische Defekt direkt B_q^(-1) liefern. Der
000174 | zusaetzliche relative Vergleich mit B_O ist dann eine kanonische
000175 | zeichenfreie Normierung, keine notwendige zweite Teilchensorte oder ein
000176 | notwendiger zweiter physischer Randoperator.
000177 | 
000178 | Diese Abkuerzung gilt auf dem ungradierten vierdimensionalen Modul. Als
000179 | Determinantensuperlinie hat B_O Paritaet
000180 | 
000181 |   dim H^0(D_q,O_Dq) mod 2 = 3 mod 2 = 1.                      (9)
000182 | 
000183 | B_O und B_O^(-1) sind also odd. Ein Vertrag, der die volle
000184 | Determinantengradierung als physische Fermionparitaet festhaelt, muss diesen
000185 | odd Faktor behalten oder seine Absorption in eine bereits vorhandene
000186 | Gradierung beweisen. Gleiche beta,c und alpha^2 Charaktere loesen diese
000187 | Paritaetsfrage nicht.
000188 | 
000189 | Diese Aussage ist enger als eine Identifikation von B_q und N_q als
000190 | equivarianten Linien. Sie sind verschieden. Der Unterschied liegt aber genau
000191 | in dem bereits isolierten alpha Vorzeichen und nicht in einem neuen beta oder
000192 | c Charakter.
000193 | 
000194 | 
000195 | 4. WAS v42 UND DIE NORMALENTKOPPLUNG OFFEN LASSEN
000196 | ==================================================
000197 | 
000198 | Quelle:
000199 | 
000200 |   Atlas: paper-source:543cbb0e445a456e04ec4efc