TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/local_source_origin_20261028/neutral/HALF-WINDING-DHR-SOURCE-ADDENDUM.txt
Original file SHA-256: 75308a38b30782bcedb656788229d2d5db72e21543a171dde78e602b0c7ece97
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 | HALBWINDUNG ALS LOKALISIERTER DHR SEKTOR
000002 | =========================================
000003 | 
000004 | Stand: 28. Oktober 2026
000005 | Atlasstand: c478cbc397ee23a375ff4093
000006 | 
000007 | 
000008 | Frage und Urteil
000009 | ----------------
000010 | 
000011 | Auf dem bereits gegebenen geraden rank acht CAR Netz existiert eine direkte
000012 | positive Konstruktion der Spinorladung
000013 | 
000014 |   s=q/2=(1/2,...,1/2),      h_s=s^2/2=1.                 (1)
000015 | 
000016 | Sie braucht keine Summe ueber Spinstrukturen und kein einzelnes Spinorfeld
000017 | als Observable. Eine lokale Quadratwurzel der skalaren Windung ist auf den
000018 | ungeraden Fermionfeldern nur bis zum Vorzeichen definiert. Auf dem geraden
000019 | Netz ist dieses Vorzeichen die Fermionparitaet und wirkt trivial. Die lokalen
000020 | Quadratwurzeln kleben deshalb zu einem lokalisierten, transportablen
000021 | Automorphismus rho_s des geraden Netzes.
000022 | 
000023 | Dieser Satz gilt unmittelbar fuer das bereits stipulierte Quotientennetz
000024 | 
000025 |   A_8(I)=CAR(L2(I,C^8))^even.                             (2)
000026 | 
000027 | Er ist noch kein Satz ueber das rohe P1 Einintervallnetz. Die vorhandene
000028 | Achtfachfaltung ist eine unitaere Umindizierung eines einzigen
000029 | Kontinuumskanals. Ein Quotientenintervall I entspricht dort der Vereinigung
000030 | von acht Coverboegen F^(-1)I. Die Originalquellen haben diese Mehrintervall
000031 | Algebra bislang nicht als ein physisches P1 Einintervall identifiziert.
000032 | 
000033 | Die genaue Antwort lautet daher:
000034 | 
000035 |   * Auf dem gegebenen Quotientennetz beweist die ungerade
000036 |     Pseudolokalisation die lokalisierte Spinorsektorklasse. Das genaue Label
000037 |     s statt c folgt zusaetzlich aus dem festen Ladungschart
000038 |     q=(1,...,1) und seiner Chiralitaetskonvention. Gemeinsam mit der
000039 |     orientierten Windung bestimmt dies rho_s bis zur ueblichen
000040 |     Transporteraequivalenz.
000041 | 
000042 |   * Aus der rohen Coverwindung allein folgt rho_s nicht. Der Kink ist keine
000043 |     Quadratwurzel des tatsaechlichen W_ext und kein Halbfluss desselben
000044 |     Coveroperators.
000045 | 
000046 |   * Die glatten Transporter sind bounded Quellen Weylimplementer. Im Haag
000047 |     dualen Vakuumnetz liegen DHR Transporter in der passenden lokalen von
000048 |     Neumann Algebra. Eine Mitgliedschaft in der normabgeschlossenen
000049 |     quasilokalen C Stern Algebra wird hier nicht behauptet.
000050 | 
000051 |   * Fuer den urspruenglichen P1 Ursprung fehlt weiterhin die lokale
000052 |     Quotientenabbildung mit Zustand, OS Zeit und Reflexion. Die Kovarianz
000053 |     unter der gegebenen K_alpha Quellenzeit ist auf dem Quotientennetz
000054 |     geschlossen; ihre Identifikation mit der primitiven P1 OS Zeit ist offen.
000055 | 
000056 | 
000057 | 1. Exakte lokale Verklebung auf dem geraden Netz
000058 | -------------------------------------------------
000059 | 
000060 | Fixiere ein echtes Intervall I auf dem punktierten Quotientenkreis. Seine
000061 | beiden aeusseren Zusammenhangskomponenten seien I_minus und I_plus. Waehle
000062 | eine glatte reelle Phase phi_I mit
000063 | 
000064 |   phi_I=0 auf I_minus,       phi_I=2 pi auf I_plus,
000065 | 
000066 | deren Aenderung in I liegt, und setze lokal
000067 | 
000068 |   g_I=exp(i phi_I/2).                                      (3)
000069 | 
000070 | Auf den acht komplexen Fermionen wirkt die zugehoerige
000071 | Bogoliubovtransformation diagonal,
000072 | 
000073 |   psi_a(f) -> psi_a(g_I f),
000074 |   psi_a(f)^* -> psi_a(conj(g_I) f)^*,    a=1,...,8.        (4)
000075 | 
000076 | Ein anderer Zweig ersetzt g_I durch minus g_I. Auf jedem geraden CAR Wort
000077 | heben sich diese Vorzeichen paarweise weg. Gleichung (4) definiert daher
000078 | ohne Zweigwahl einen Automorphismus rho_s von A_8.
000079 | 
000080 | Ausserhalb I ist g_I auf den beiden Komponenten gleich plus eins
000081 | beziehungsweise minus eins. Deshalb gilt fuer jedes J mit J geschnitten I
000082 | leer
000083 | 
000084 |   rho_s(A)=A,        A in A_8(J).                         (5)
000085 | 
000086 | Das ist die DHR Lokalitaetsbedingung. Eine Verlagerung von I aendert nur den
000087 | Ladungstransporter und nicht die Sektorklasse.
000088 | 
000089 | Dies ist genau der Typ der in Boeckenhauers CAR Konstruktion verwendeten
000090 | ungerade pseudolokalisierten Bogoliubovoperatoren: Auf den beiden
000091 | Komplementkomponenten gelten entgegengesetzte Vorzeichen. Fuer eine gerade
000092 | Anzahl realer Fermionen ist der Spinoroperator unitaer. Bei sechzehn reellen,
000093 | also acht komplexen Fermionen, liefert sein Satz
000094 | 
000095 |   pi_0 o rho_s  ~=  pi_s.                                 (6)
000096 | 
000097 | Die Konstruktion arbeitet auf dem geraden CAR Netz des punktierten Kreises.
000098 | Sie setzt keine vorher gewaehlte Ramondzustandssumme voraus. Boeckenhauers
000099 | ungerade Pseudolokalisation bestimmt dabei den Spinorsektortyp. Das konkrete
000100 | Label s in (6) benutzt den folgenden festen q Chart; ohne ihn waere die Wahl
000101 | zwischen s und c nicht entschieden.
000102 | 
000103 | Der gemeinsame Ladungsvektor q waehlt die diagonale Richtung in (4). Ihre
000104 | halbe Kowurzel ist s=q/2. Daher sind Ladung und Gewicht nicht aus einer
000105 | Dimensionsgleichheit geraten, sondern folgen direkt aus derselben
000106 | Bogoliubovwirkung:
000107 | 
000108 |   Q(s)=4,       s^2=2,       h_s=1.                       (7)
000109 | 
000110 | Die beiden globalen Zweige plus/minus g_I geben denselben Automorphismus auf
000111 | A_8. Auch s und minus s liegen fuer D8 in derselben Spinorklasse. Die andere
000112 | Spinorklasse c entsteht erst durch Komposition mit der Vektorladung, nicht
000113 | durch die Zweigwahl in (3).
000114 | 
000115 | 
000116 | 2. Warum dies nicht die Quadratwurzel der Originalwindung ist
000117 | -------------------------------------------------------------
000118 | 
000119 | Die vorhandene Faltung eines einzelnen Coverfeldes lautet
000120 | 
000121 |   (F f)_r(x)=f((x+2 pi r)/8)/sqrt(8),    r=0,...,7.       (8)
000122 | 
000123 | Sie erzeugt acht Faserkomponenten ueber dem Quotientenkreis, aber keine acht
000124 | unabhaengigen Originalfermionen. Die Kovarianz bleibt in der Bogenbasis
000125 | korreliert.
000126 | 
000127 | Der Kink (3) ist ein gemeinsamer Halbwind auf dem Quotientenkreis. Auf dem
000128 | Cover wird er auf allen acht Boegen wiederholt. Nach acht Vorzeichenwechseln
000129 | ist er wieder einwertig. Er beschreibt damit einen Z2 Wechsel der
000130 | Abstiegsstruktur auf der Basis, dessen Pullback bei geradem Covergrad trivial
000131 | ist. Er ist nicht sqrt(u_cover).
000132 | 
000133 | Der bereits gepruefte Holonomietest trennt die beiden Operationen exakt. Mit
000134 | C(h) als wirklicher Achtfachtransition gilt fuer einen primitiven
000135 | Coverhalbfluss
000136 | 
000137 |   C(-h)^8=-h I,
000138 | 
000139 | waehrend der gleichmaessige Spinortwist auf der Quotientenfaser
000140 | 
000141 |   (-C(h))^8=+h I                                         (9)
000142 | 
000143 | erfuellt. Es gibt keine komplexe, die gegebene Ladung erhaltende Konjugation
000144 | zwischen diesen beiden festen Holonomien. Gleichung (9) ist gerade mit dem
000145 | positiven DHR Satz vereinbar: rho_s ist ein Wechsel des Basisabstiegs, kein
000146 | Wechsel h -> minus h der Coververbindung.
000147 | 
000148 | Ebenso wenig kann rho_s aus dem Funktionalkalkuel des vorhandenen
000149 | 
000150 |   W_ext : (0 v)(s c)
000151 | 
000152 | gewonnen werden. W_ext kommutiert mit dem Ramondprojektor. Jede beschraenkte
000153 | Borelfunktion f(W_ext) erhaelt deshalb NS und Ramond getrennt, waehrend
000154 | 
000155 |   rho_s : (0 s)(v c)                                    (10)
000156 | 
000157 | die beiden Summen vertauscht. Der neue lokale Kink ist ein anderer, nun
000158 | explizit typisierter Bogoliubovoperator.
000159 | 
000160 | 
000161 | 3. Der verbleibende Originaltest
000162 | ---------------------------------
000163 | 
000164 | Im stipulierten Quotientennetz ist die Konstruktion abgeschlossen. Unter F
000165 | ist ihre Lokalisierungsregion jedoch
000166 | 
000167 |   F^(-1)I = I_0 vereinigt ... vereinigt I_7.             (11)
000168 | 
000169 | Sie ist damit ein Mehrintervall auf dem urspruenglichen Coverkreis. Der
000170 | bereits bekannte lokale Algebraausdruck
000171 | 
000172 |   A_8(I)=A_CAR^even(F^(-1)I)                             (12)
000173 | 
000174 | ist mathematisch wohldefiniert. Die alten P1 Texte liefern aber noch keine
000175 | normale lokale Abbildung iota_I, die (12) mit einem einzigen physikalischen
000176 | P1 Gebiet verbindet und gleichzeitig Zustand, OS Reflexion und Zeit
000177 | transportiert.
000178 | 
000179 | Der kleinste noch fehlende Quellenpfeil ist daher nicht mehr die Existenz
000180 | eines Spinor DHR Sektors. Er ist die Gleichung
000181 | 
000182 |   iota_I o rho_s = rho_s,P1 o iota_I                    (13)
000183 | 
000184 | auf den lokalen geraden Algebren, zusammen mit der Supportaussage fuer alle
000185 | J disjunkt zu I und der Kovarianz von Zustand, Zeit und Reflexion. Ohne
000186 | (13) ist rho_s ein exakter Sektor des gegebenen Quotienten CAR Netzes und
000187 | ein achtboegiger Defekt des Covernetzes, aber noch kein hergeleiteter
000188 | Einintervalloperator des primitiven P1 Kerns.
000189 | 
000190 | Dieser Befund schliesst genau die zuvor offene algebraische DHR Existenz.
000191 | Er behauptet weder die lokale P1 Feldkarte Xi noch die Ausfuehrung der
000192 | 30er Ward CP Antwort. Fuer die neutrale Observableform kann rho_s nach (13)
000193 | direkt in
000194 | 
000195 |   a -> Sum_gamma L_gamma^* rho_s(a) L_gamma
000196 | 
000197 | eingesetzt werden. Die Koeffizienten L_gamma und die physische Quellenregel
000198 | bleiben getrennte Voraussetzungen.
000199 | 
000200 |