TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/dynamic_reconstruction_20261027/SEWING-FUNCTOR-COCYCLE-TEST.txt Original file SHA-256: 6a20e16b3b8b58b44317b85707a896b6c1f03badedf30d7846180b22439ab489 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 | ORIENTIERTER SEAM TRANSPORT, RUECKWEG UND DER ZENTRALE BETA KOKYKLUS 000002 | ===================================================================== 000003 | 000004 | 27. Oktober 2026 000005 | 000006 | Atlas Auditrahmen: Revision 4d210a8bebd5c91c7ee7ad75 000007 | 000008 | 000009 | URTEIL 000010 | ======= 000011 | 000012 | Der bisherige Zweiobjektpfeil ist mit echter Nahtumkehr vertraeglich, sobald 000013 | zwei verschiedene Pfeile nicht mehr gleich benannt werden: 000014 | 000015 | erster orientierter Viertelschritt alpha_01=T, 000016 | geometrisch umgekehrter Weg alpha_01^(-1)=T^(-1), 000017 | naechster Schritt in gleicher Orientierung 000018 | alpha_10=beta_0 T^(-1). 000019 | 000020 | Der dritte Pfeil ist nicht die Umkehr des ersten. Ihre Komposition ist der 000021 | geschlossene orientierte Halbturn: 000022 | 000023 | alpha_10 alpha_01=beta_0, 000024 | alpha_01 alpha_10=beta_1. (1) 000025 | 000026 | Damit verschwindet der scheinbare Konflikt mit der realen beziehungsweise 000027 | unitaren Adjunktion. Ein Hinweg gefolgt vom wirklichen Rueckweg hat Holonomie 000028 | eins. Zwei fortgesetzte Schritte haben die Spinholonomie beta. Auf dem 000029 | markierten Spintransport Gruppoid ist dies ein ehrlicher Funktor, nicht erst 000030 | eine verletzte Funktorialitaet. 000031 | 000032 | Die zusaetzliche beta Wirkung ist auf beiden mathematischen Seiten bereits 000033 | bestimmt. In der Originalgeometrie hebt sich die positiv orientierte 000034 | Vierteldrehung des normalen Zweiplans zu exp(i pi/4); ihr Quadrat ist +i und 000035 | ihre vierte Potenz ist -1. Auf der vorhandenen Genus zwei Quelle hebt Q die 000036 | gleiche markierte Basisdrehung z -> i z, und der ausgewaehlte Spinlift erfuellt 000037 | alpha^2=beta sowie beta^2=-1. Der inverse q Normfaktor traegt beta=+i. In 000038 | diesem eng gefassten markierten Transport ist beta daher keine neu gewaehlte 000039 | Phase. 000040 | 000041 | Der positive Satz endet genau an einer bekannten Typgrenze. Die alten Quellen 000042 | definieren keinen offenen, determinantlinienwertigen Amplitudenfunktor auf der 000043 | ganzen spektralen Bordismuskategorie. Sie beweisen auch nicht, dass der dort 000044 | genannte unitare Matchingoperator U_Gamma selbst der normale Spintransport 000045 | ist. Deshalb ist der folgende vollstaendige physische Pfeil noch nicht 000046 | bewiesen: 000047 | 000048 | tatsaechlicher offener P1 Seam Transport 000049 | -> markierter Spin und Determinantentransport auf W_q 000050 | -> Zweiobjekt Vertextransport. (2) 000051 | 000052 | Was jetzt bewiesen ist, ist staerker als eine gleiche Ordnungszahl: Die 000053 | Kompositionsrelation, der Kokyklus, die Umkehr und die markierte lokale 000054 | Spinphase stimmen exakt. Offen ist die natuerliche Transformation (2), nicht 000055 | eine weitere Wahl von beta. 000056 | 000057 | Eine Notationsgrenze ist dabei tragend. Im tatsaechlichen originalen D4 Satz 000058 | bezeichnet 000059 | 000060 | r(z)=i z, s(z)=1/z, 000061 | 000062 | also ist s eine Spiegelung mit s^2=1. Ein ehrlicher Funktor aus diesem 000063 | unverlaengerten D4 kann s nicht auf alpha mit alpha^2=beta != 1 schicken. 000064 | Die Schreibweise s -> alpha ist nur in einer von zwei praezisen Lesarten 000065 | richtig: 000066 | 000067 | * s meint einen generischen positiv orientierten Sewing Schritt und wird 000068 | unten zur Vermeidung der Kollision a genannt; oder 000069 | * das originale Spiegelungsgruppoid wurde vorher durch den zentralen 000070 | spin gerahmten Gruppoid mit a^2=b erweitert. 000071 | 000072 | Die erste Lesart benutzt die vorhandene Vierteldrehung r. Die zweite ist eine 000073 | projektive beziehungsweise zentral erweiterte Lesart der Spiegelung. Ohne 000074 | diese Typisierung waere s -> alpha bereits an der Quadrat relation falsch. 000075 | 000076 | 000077 | 1. DER KLEINSTE QUELLENNAHE GRUPPOID SATZ 000078 | ========================================== 000079 | 000080 | Die Originalquelle besitzt auf der kompakten Nahtflaeche die markierte 000081 | positive Vierteldrehung 000082 | 000083 | r(z)=i z 000084 | 000085 | und die Spiegelung s(z)=1/z. Sie sagt zugleich, dass die Ecken Vierteldrehungen 000086 | des Spinlifts auf dem orientierten normalen Zweiplan tragen. Fuer Spin(2)=U(1) 000087 | ist die Ueberlagerung nach SO(2) die Quadratabbildung. Daher hat die positive 000088 | Vierteldrehung genau die beiden Lifts 000089 | 000090 | a=+exp(i pi/4) oder -exp(i pi/4), 000091 | 000092 | und beide erfuellen 000093 | 000094 | a^2=+i=:b, b^2=-1, a^8=1. (3) 000095 | 000096 | Der verbleibende Vorzeichenwechsel a -> -a aendert (3) nicht. Die negative 000097 | Vierteldrehung hat den inversen Lift a^(-1) und damit das inverse Quadrat -i. 000098 | Die markierte Orientierung r(z)=iz entscheidet also zwischen b und b^(-1). 000099 | 000100 | Teile die Bahn nur nach gerader und ungerader Schrittzahl in zwei Objekte 0 000101 | und 1. Bezeichne die beiden fortgesetzten positiven Schritte mit 000102 | 000103 | a_01:0->1, a_10:1->0. 000104 | 000105 | Dann sind die geschlossenen geraden Schritte 000106 | 000107 | b_0=a_10 a_01, b_1=a_01 a_10, (4) 000108 | 000109 | und der Transport erfuellt 000110 | 000111 | a_01 b_0=b_1 a_01. (5) 000112 | 000113 | Der wirklich rueckwaerts durchlaufene erste Weg ist dagegen 000114 | 000115 | a_01^(-1)=b_0^(-1) a_10. (6) 000116 | 000117 | Die Gleichungen (3) bis (6) definieren den kleinsten spinmarkierten 000118 | Pfadgruppoid. Es wurde kein neuer Kanal und kein neues Buendel eingefuehrt. 000119 | Man behaelt lediglich die Orientierung eines bereits vorhandenen 000120 | Vierteltransports, statt jeden Pfeil 1->0 automatisch als den inversen Pfeil 000121 | zu lesen. 000122 | 000123 | 000124 | 2. EXAKTER TRANSPORT AUF DIE ZWEI VERTEXOBJEKTE 000125 | ================================================ 000126 | 000127 | Der vorhandene volle Feldlift beginnt mit 000128 | 000129 | F_0=V_Lambda, F_1=V_(zeta_8 Lambda), 000130 | beta_0^4=1, 000131 | beta_1=T beta_0 T^(-1). 000132 | 000133 | Setze 000134 | 000135 | F(a_01)=T, 000136 | F(a_10)=beta_0 T^(-1), 000137 | F(b_j)=beta_j. (7) 000138 | 000139 | Dann folgen (4) und (5) wortwoertlich: 000140 | 000141 | F(a_10)F(a_01)=beta_0, 000142 | F(a_01)F(a_10)=beta_1, 000143 | T beta_0=beta_1 T. (8) 000144 | 000145 | Damit sind auch die beiden nichttrivialen Dreifachkompositionen assoziativ: 000146 | 000147 | (a_10 a_01)a_10=b_0 a_10=a_10 b_1 000148 | =a_10(a_01 a_10), 000149 | 000150 | (a_01 a_10)a_01=b_1 a_01=a_01 b_0 000151 | =a_01(a_10 a_01). (9) 000152 | 000153 | Gleichung (9) ist der vollstaendige lokale 2 Kokyklustest. Auf allen 000154 | Gitterladungen ist seine einzige Voraussetzung die bereits gepruefte 000155 | Transportidentitaet beta_1=T beta_0 T^(-1). Der vorhandene Vertexchecker hat 000156 | diese Identitaet fuer den festen Standardkokyklus auf allen 256 Restklassen 000157 | und allen 65536 Paaren geprueft. Ein neuer endlicher Test wuerde dieselbe 000158 | Rechnung nur wiederholen. 000159 | 000160 | Vergisst man b und betrachtet nur den Objektwechsel von Ordnung zwei, erscheint 000161 | (4) als normalisierter Kokyklus 000162 | 000163 | omega(1,1)=b, omega(0,g)=omega(g,0)=1. (10) 000164 | 000165 | Er beschreibt die nicht gespaltene Erweiterung 000166 | 000167 | 1 -> C4= -> C8= -> C2 -> 1. (11) 000168 | 000169 | Mit markierten mu4 Koeffizienten ist die Klasse nicht durch einen 000170 | mu4 Abschnitt entfernbar: Ein Abschnittswechsel veraendert omega(1,1) nur um 000171 | ein Quadrat, also um 1 oder b^2, waehrend b ein Generator von C4 ist. Auf der 000172 | einzelnen skalaren W_q Darstellung koennte eine beliebige U(1) Rephasierung 000173 | die projektive C2 Darstellung streng machen. Sie wuerde jedoch den markierten 000174 | Q Spinlift a und seine Orientierung aendern. Auf den vollen Vertexfeldern ist 000175 | beta zudem eine Gitterautomorphie und keine frei entfernbare skalare Phase. 000176 | 000177 | 000178 | 3. ECHTE UMKEHR, DAGGER UND DETERMINANTENLINIE 000179 | ============================================== 000180 | 000181 | T ist unitaer. Daher ist der geometrisch umgekehrte erste Weg 000182 | 000183 | F(a_01)^dagger=T^(-1). (12) 000184 | 000185 | Der fortgesetzte Pfeil aus (7) erfuellt stattdessen die beta verdrehte Formel 000186 | 000187 | F(a_10)=beta_0 F(a_01)^dagger, (13) 000188 | 000189 | und folglich 000190 | 000191 | F(a_10)^dagger=F(a_01) beta_0^(-1) 000192 | =beta_1^(-1)F(a_01). (14) 000193 | 000194 | Das Dagger kehrt die geschlossene Spinholonomie korrekt um: 000195 | 000196 | F(b_j)^dagger=beta_j^(-1). (15) 000197 | 000198 | Es gibt daher keine beta Anomalie auf dem kontraktilen Hin und Rueckweg. Beta 000199 | ist die Holonomie des fortgesetzten orientierten Weges. Eine Formulierung, die 000200 | alpha_10 gleichzeitig als beta T^(-1) und als geometrische Nahtumkehr