TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/NORMAL-INDEX-TRANSPORT.txt
Original file SHA-256: f66b65fb9e23a2fe97c95ad924bd6ee39ea9c182111031392010cf4507620099
Inclusive original lines: 99-132
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.

000099 | -------------------------------------------------------
000100 | Bei einer echten Familie ist die horizontale Indexlinienverbindung zu
000101 | behalten. Schon in der guenstigen exakt reduzierenden Rang1 Situation hat
000102 | der effektive Kreisoperator die Form
000103 | 
000104 |   B_A=-i partial_theta+A(theta),   A reell glatt,
000105 |   Dom B_A=H1_per,   Abar=(1/(2pi)) integral A.
000106 | 
000107 | Bei festem Kreiszeitmass und u=M_z existiert ein glatter periodischer
000108 | Multiplikator g mit B_A M_g=M_g B_a genau dann, wenn
000109 | 
000110 |   Abar-a in Z.                                               (6)
000111 | 
000112 | Beweis: Setze g=exp(i chi), chi'=a-A. Die Gleichung ist genau
000113 | chi'+A=a. g ist periodisch genau bei integral(a-A) in2pi Z.
000114 | Umgekehrt erzwingt jede periodische Loesung diese Integralbedingung.
000115 | Der Multiplikator erhaelt H1 und kommutiert mit u. Borel Funktionalkalkuel
000116 | transportiert daher Zustand und Zeit auf dem gegebenen Quellraum. Dies ist
000117 | die Anwendung des schon klassifizierten skalaren Erstordnungsfalls, keine
000118 | erneute allgemeine Klassifikation. Feste Clockmarken und eine urspruengliche
000119 | Reflexion muessen bei ihrer Anwendung ebenfalls transportiert werden.
000120 | 
000121 | Das vertikale Datum bestimmt (6) nicht: Die triviale normale Familie mit
000122 | festem D_N darf horizontal mit einer flachen Linie der Verbindung
000123 | partial_theta+i t getensort werden. Auf jeder normalen Faser bleiben L2,
000124 | c1, D_N, sein Kernel und sein Index gleich. Die induzierte Kreisphase
000125 | veraendert sich um exp(-2pi i t). t modulo Z ist ein freies Verbindungsdatum
000126 | SOLANGE die urspruengliche horizontale Quellenregel nicht festliegt.
000127 | Dies sind keine behaupteten zwei vollstaendigen P1 Modelle; der Test zeigt
000128 | nur die Informationsgrenze der vertikalen Gradangabe. Das A4 Spinresultat
000129 | bleibt erhalten und ersetzt keinen unbewiesenen zusaetzlichen Wilsonfaktor.
000130 | 
000131 | 4. Der volle Produktwechsel ist nicht derselbe Fredholm Determinant
000132 | ------------------------------------------------------------------