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: 201-378 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. 000201 | bezeichnet, ist typwidrig und muss durch (6), (12) ersetzt werden. 000202 | 000203 | Die determinantlinienwertige Orientierung ist eine weitere, vertraegliche 000204 | Operation. Auf dem negativen See Defekt gilt 000205 | 000206 | K=det(V), K^*=det(V)^(-1), 000207 | beta|K=-i, beta|K^*=+i. (16) 000208 | 000209 | Orientierungsumkehr dualisiert die Linie und invertiert damit den zentralen 000210 | Charakter. Dies ist die reale beziehungsweise Hermitesche Adjunktion. Sie 000211 | identifiziert nicht F_1 mit F_0^* und ersetzt nicht den objektwechselnden 000212 | Pfeil T. Der Zweiobjekt Vertextransport und die eingehend beziehungsweise 000213 | ausgehend dualen Determinantenlinien sind zwei verschiedene Funktorslots. 000214 | 000215 | 000216 | 4. WO BETA TATSAECHLICH HERKOMMT 000217 | ================================ 000218 | 000219 | 4.1 Originaler lokaler Spintransport 000220 | ------------------------------------ 000221 | 000222 | Die alte A4 Quelle gibt fuer die Moebius Z2 Identifikation einen Spinlift rho_spin 000223 | von Ordnung vier. Auf dem orientierbaren Doppel gilt 000224 | 000225 | rho_spin^2=-I, 000226 | 000227 | also die lokale NS Holonomie. Der spaetere Quellenvertrag trennt dabei 000228 | ausdruecklich drei Operatoren: 000229 | 000230 | tau geometrische Deckwirkung, 000231 | rho_spin ihr Pin beziehungsweise Spinlift, 000232 | U_Gamma windender Matchingkoeffizient fuer den Spektralfluss. 000233 | 000234 | Diese Trennung ist entscheidend. Die Formel U_Gamma(theta)=exp(i theta) darf 000235 | nicht fuer sich als rho_spin gelesen werden. Der Originaltext druckt daneben sogar 000236 | U_Gamma^2=1; punktweise ist das fuer exp(i theta) falsch, solange der 000237 | orientierungsumkehrende Pullback und der Clifford Faktor fehlen. 000238 | 000239 | Die kompakte Familienquelle ergaenzt die positiv orientierte Vierteldrehung 000240 | r(z)=iz. In demselben orientierten normalen Zweiplan liefert die 000241 | Spin Ueberlagerung deshalb genau (3). Somit ist der zentrale Faktor zwischen 000242 | zwei fortgesetzten Viertelschritten lokal geometrisch hergeleitet. Er ist kein 000243 | frei eingefuegter Gluingfaktor. 000244 | 000245 | 4.2 Vorhandene markierte Genus zwei Quelle 000246 | ------------------------------------------ 000247 | 000248 | Auf 000249 | 000250 | C: eta^2=1-w^6, 000251 | z=eta/(1-w^3) 000252 | 000253 | wirkt der vorhandene Viertellift Q durch z -> i z. Der negative Dreierdivisor 000254 | D_q waehlt die eindeutige c invariante gerade Spinlinie S_0. Am fixen Punkt 000255 | q_0=-1 wirkt Q auf dem lokalen Parameter eta durch eta -> i eta. Der 000256 | kompatible Spinlift alpha hat daher 000257 | 000258 | alpha^2=beta, beta^2=-I, 000259 | 000260 | und beta wirkt auf jeder q Faser durch +i. Der inverse Normfaktor 000261 | N_q(S_0)^(-1) behaelt auf W_q genau +i. Damit stimmen Basisdrehung, 000262 | Spinquadrat, Orientierung und zentraler Charakter ueberein. Die Identifikation 000263 | beruht nicht allein auf Ordnung acht oder vier. 000264 | 000265 | 4.3 Was die Eta Formel nicht zusaetzlich beweist 000266 | ------------------------------------------------ 000267 | 000268 | Die primitive Quelle schreibt 000269 | 000270 | S_prim=Tr f(D_rel/chi)-Tr f(D_ref/chi)+(i pi/2) Delta eta. 000271 | 000272 | Der zugehoerige Faktor ist a=exp(-i pi Delta eta/2). Mit den geprueften 000273 | Dai Freed Konventionen gilt, unter den dort genannten Nullmodenbedingungen, 000274 | 000275 | a^2=tau_rel^(-1). 000276 | 000277 | Diese geschlossene skalare Formel ist weder als offener Pfeil noch als 000278 | Holonomie auf N_q(S_0)^(-1) typisiert. Sie liefert daher keinen zweiten Beweis 000279 | von beta und keinen zusaetzlichen Gluingkokyklus. Ein solcher Beitrag muesste 000280 | auf dem tatsaechlichen zuruecklaufenden beziehungsweise fortgesetzten Pfad 000281 | ausgewertet und mit (15), (16) verglichen werden. Spektralfluss eins allein 000282 | entscheidet diese Viertelphase nicht. 000283 | 000284 | 000285 | 5. EXAKTE REICHWEITE DES POSITIVEN PFEILS 000286 | ========================================= 000287 | 000288 | Aus den vorhandenen Konstruktionen folgt jetzt der folgende markierte 000289 | Transportfunktor auf der spin gerahmten zentralen Erweiterung: 000290 | 000291 | Spin gerahmtes Viertel Pfadgruppoid der vorhandenen P1 D4 Wirkung 000292 | -> Spin Pfadgruppoid von (C,S_0,D_q,Q) 000293 | -> Zweiobjekt Gittervertex Gruppoid, 000294 | 000295 | mit 000296 | 000297 | positive Vierteldrehung -> Q Lift alpha -> (T,beta T^(-1)), 000298 | positive Halbdrehung -> beta -> (beta_0,beta_1), 000299 | inverse Vierteldrehung -> alpha^(-1) -> (T^(-1),T beta_0^(-1)). 000300 | 000301 | Der erste Pfeil verwendet die bereits gemeinsame markierte Basiskarte 000302 | z -> i z und die Spin(2) Ueberlagerung. Der zweite Pfeil ist der bewiesene 000303 | W_q Modul und Vertextransport. Komposition, Kokyklus und Dagger stimmen. Fuer 000304 | das unverlaengerte originale Spiegelungsgruppoid ist dieselbe Zuordnung nur 000305 | projektiv; Gleichung (10) ist exakt dessen Faktorensystem. 000306 | 000307 | Nicht aus dem Original bewiesen ist, dass dieser endliche markierte 000308 | Spintransport bereits der Amplitudenfunktor der gesamten P1 000309 | Spektralbordismuskategorie ist. Deren Morphismen sind nur als unitare 000310 | Intertwiner der einseitigen Randdaten definiert. Eine monoidale 000311 | Determinanten oder Pfaffian Zuordnung, offene eingehende und ausgehende 000312 | Linien sowie ihre Gluingkomposition werden dort nicht konstruiert. Ebenso 000313 | bleibt der bereits widerlegte allgemeine Satz Deck gleich Calderon ausserhalb 000314 | dieses Arguments. 000315 | 000316 | Der kleinste noch benoetigte physische Satz ist nun eng: 000317 | 000318 | Der tatsaechliche offene P1 Seam Schritt ist der positiv orientierte 000319 | spin gerahmte Vierteltransport der markierten Familienflaeche, und sein 000320 | Determinantenfunktor ist die bereits konstruierte duale Defektlinie K^*. 000321 | 000322 | Dann folgt alpha_10=beta T^(-1) ohne neue Phase, waehrend die wirkliche 000323 | Nahtumkehr T^(-1) bleibt. Ohne diesen Satz ist die Gruppen und Feldseite 000324 | geschlossen, die physische offene Sewingamplitude jedoch noch nicht 000325 | identifiziert. 000326 | 000327 | 000328 | 6. QUELLEN 000329 | ========== 000330 | 000331 | Originale: 000332 | 000333 | 1. Alte Schnitt, Matching und Spektralflussformeln 000334 | Atlas paper-source:1fe2ddfabc74ac0e94a4686d 000335 | documents/archive--paper-latex--tfpt-theory-fullv21/sections/ 000336 | 001-section-introduction-the-problem-of-parameters.tex:198-276 000337 | SHA256 85bb11511be05385a7cadf6071dbede216b12befeb9d6767bc4460748cbec5d7 000338 | 000339 | 2. Moebius Matching, Spinlift und Viersektorzaehlung 000340 | documents/archive--paper-latex--tfpt-theory-fullv21/sections/ 000341 | 007-subsection-m-obius-matching-and-the-minimal-gluing-class.tex:1-23,75-108 000342 | SHA256 278c385040ba000fc6577b3ba4630b41b49d4486b069c2034e31c4c9bfb3ae2b 000343 | 000344 | 3. Markierte Vierteldrehung auf der kompakten Familienflaeche 000345 | documents/archive--tfpt-45--source_extracts--02_carrier_source/sections/ 000346 | 006-subsection-family-monodromy-and-occupancy.tex:74-125 000347 | SHA256 179b2d568e897e059c2d1ef804bb9b06ee053483d366fc9d24189f1df44253b2 000348 | 000349 | 4. Spektrale Bordismuskategorie mit unitaeren Intertwinern 000350 | documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/ 000351 | sections/002-section-intrinsic-closed-branch-and-canonical-rigid-obje.tex:250-306 000352 | SHA256 1de90a4a7379bef804cc7815d72c0f86bb398a5771e9b00997c4bb15e8815f9e 000353 | 000354 | 5. Primitive Eta Wirkung 000355 | Atlas paper-source:8027564739689dd02e02f11c 000356 | documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/ 000357 | sections/001-section-primitive-core-and-carrier-interface-handoff.tex:302-318 000358 | SHA256 7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79 000359 | 000360 | Bereits gepruefte Anschlussresultate: 000361 | 000362 | research-20261026-real-boundary/SOURCE-SELECTED-THETA-SPIN.txt 000363 | SHA256 cf4478191ccd75d62a2f049a54193541009bed24877df9cbe0ed9f942d07d717 000364 | 000365 | research-20261026-real-boundary/MARKED-Q-DIVISOR-CENTRAL-TWIST.txt 000366 | SHA256 da1f75831a46a0c0662f931486b77e6e2085126df452b009d1a90351d413d904 000367 | 000368 | research-20261027-fundamental-next/eta/P1-ETA-SEWING-DUAL-LINE-TEST.txt 000369 | SHA256 350063b81d790219be7d19b1f13d0b3b76a6513930b82f45d5bb97cafc10711a 000370 | 000371 | research-20261027-fundamental-next/fields/TWO-BRANCH-VERTEX-GROUPOID.txt 000372 | SHA256 fe9459880a659895813853671b5959855d32826cc52c244ca167ff2453b6f8dc 000373 | 000374 | experiments/theory-contracts/canonical-seam-fermionization-20261025/ 000375 | ORIGINAL-SPIN-AND-SEAM-DICTIONARY.txt:517-670,714-765 000376 | SHA256 dfaef864428375b018d0eddcb77a4a5ccd085e996eb1c1b3f1d8db526991cf24 000377 | 000378 | Kein Atlas Eintrag und keine kanonische Quelldatei wurden veraendert.