TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_unification_20261027/originals/BOUNDARY-COVARIANCE-SOURCE-TYPE-REVIEW.txt Original file SHA-256: 9d58fd4a8c5db0711f33f91f629ca37f80a66f583afcf73f8eaecea5a64d9c2d 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 | ORIGINALQUELLENREVIEW: RANDKOVARIANZ, WEYLTRANSPORT UND DER OFFENE C3 HARDYPFEIL 000002 | ================================================================================ 000003 | 000004 | 27. Oktober 2026 000005 | 000006 | Auftrag 000007 | ======= 000008 | 000009 | Die vier gelieferten Sitzungszusammenfassungen werden hier nur als Lesekarte 000010 | benutzt. Entscheidend sind die dort verlinkten Herleitungen. Zu prüfen ist, 000011 | welche Quelle, welcher Spin, welcher Operator und welcher Projektor in den 000012 | Sätzen zur vollständigen Randkovarianz und Weylkonformität wirklich vorkommen, 000013 | und ob diese Sätze den noch fehlenden Pfeil von der ursprünglichen P1 Quelle 000014 | zum S_0 Hardyraum des vorhandenen C3 Covers liefern. 000015 | 000016 | Atlasrahmen: Revision 127f39f089c99a0a981068e2, 395 Findings. Dieser Bericht 000017 | ändert weder Atlas noch Ledger oder kanonische Vertragsdateien. 000018 | 000019 | Urteil 000020 | ====== 000021 | 000022 | Die Verkettung liefert den fehlenden P1 nach S_0 Hardypfeil nicht. Sie setzt 000023 | ihn an genau der entscheidenden Stelle voraus. 000024 | 000025 | Die vollständige gemeinsame Zweirandkovarianz und der Weyltransport sind auf 000026 | dem schon festgelegten quadratischen elliptischen C2 Träger bewiesen: 000027 | 000028 | E = C/(Z+iZ), 000029 | Spinlinie alpha mit NS Holonomie auf beiden Grundzyklen, 000030 | L = partial_t + B_Sigma, B_Sigma = -i partial_s, 000031 | P_A = orthogonaler Calderonprojektor des geschlossenen Cauchygraphen. 000032 | 000033 | Der Weylsatz hält die komplexe Kurve, die Spinstruktur, die Verbindung, die 000034 | Schnitte und den gegebenen freien Zustand fest. Er transportiert P_A unter 000035 | einem konformen Metrikwechsel auf demselben Träger. Er kann deshalb nicht den 000036 | Genus eins Träger (E,alpha) in den Genus zwei Träger (C,S_0) verwandeln. 000037 | 000038 | Der neue C3 Satz betrifft dagegen 000039 | 000040 | C: eta^2=1-w^6, 000041 | z=eta/(1-w^3), div(z)=D_q-D_p, 000042 | H^2(pi^(-1)D,S_0), 000043 | M_z gegen M_1 auf demselben Spin Hardyraum. 000044 | 000045 | Er beweist den dreifachen Hardydefekt und die relative Determinantenlinie, 000046 | sobald der dafür relevante markierte P1 Quellsektor isometrisch in diesen 000047 | Hardyraum eingefügt ist und sein zyklisches Bild die benötigte Shiftwirkung 000048 | trägt. Eine Identifikation aller P1 Räume ist dafür nicht nötig. Genau diese 000049 | lokale analytische und physische Einfügung ist in den vier älteren 000050 | Zusammenfassungen nicht enthalten. 000051 | 000052 | 1. Die tatsächlichen Eingaben des elliptischen Randquellensatzes 000053 | ================================================================ 000054 | 000055 | Die tragende Quelle ist BOUNDARY-SOURCE.txt, nicht die spätere 000056 | Sitzungszusammenfassung. Sie nennt den Träger und die Randdaten ausdrücklich: 000057 | 000058 | Quelle und Träger: 000059 | quadratische elliptische Kurve E=C/(Z+iZ), dividing Halbannulus 000060 | A_+={0<=t<=1/2}, Breite W=1/2. 000061 | 000062 | Spin: 000063 | die bereits festgelegte Q invariante gerade flache Spinlinie alpha, 000064 | antiperiodisch auf beiden Zyklen. Auf jedem Randkreis ist daher 000065 | H_NS=L2_NS(R/Z), Dom(B_Sigma)=H1_NS(R/Z). 000066 | 000067 | Operator: 000068 | L=partial_t+B_Sigma mit B_Sigma=-i partial_s. Seine Randmoden sind 000069 | exp(2 pi i(n+1/2)s) mit Eigenwert 2 pi(n+1/2). 000070 | 000071 | Projektor und Zustand: 000072 | Der geschlossene Lösungstransfer f_1=exp(-W B_Sigma)f_0 bestimmt den 000073 | orthogonalen Calderon Graphprojektor 000074 | 000075 | P_A = [[I-C_A, X_A], [X_A, C_A]], 000076 | C_A = (I+exp(2W B_Sigma))^(-1), 000077 | X_A = (2 cosh(W B_Sigma))^(-1). 000078 | 000079 | P_A ist der volle reine Zweirandprojektor. Die einzelne Randkompression 000080 | C_A ist treu, gemischt und kein Projektor. 000081 | 000082 | BOUNDARY-SOURCE.txt, Zeilen 9 bis 78, beweist die exakte longitudinale 000083 | Operatoridentität 000084 | 000085 | B_Sigma/(2 pi)=B_cov=2(B_(1/4) direct_sum B_(3/4)), 000086 | V=T_pi, 000087 | u_ann=exp(2 pi i s)=u_cov. 000088 | 000089 | Zeilen 114 bis 170 prüfen Domänen, NS Moden, Halbverschiebung und 000090 | Quarterzerlegung. Das ist mehr als gleiche Spektren. Zeilen 282 bis 327 000091 | halten zugleich fest, dass C_A nur eine spurklassige Störung des alten 000092 | Hardysees P_- ist und nicht derselbe Zustand. Zeilen 469 bis 499 sagen 000093 | ausdrücklich, dass der ursprüngliche P1 Schnitt noch nicht mit diesem C2 000094 | Annulus identifiziert ist. 000095 | 000096 | ELLIPTIC-GREEN-RP.txt ergänzt auf genau demselben E und derselben Spinlinie 000097 | alpha den freien geladenen Gauß CAR Zustand. Zeilen 7 bis 31 nennen 000098 | L=partial_t+B und die Randkovarianz C=(1+exp(B))^(-1), und begrenzen den Satz 000099 | auf diese ausdrücklich gegebene freie Quelle. Zeilen 125 bis 146 identifizieren 000100 | dieselbe Kovarianz mit der Randkompression des Cauchygraphen. Zeilen 151 bis 000101 | 196 erhalten den alten Windungsmultiplikator, unterscheiden die Quarterkarte 000102 | von einer Zeittranslation und transportieren Q zwischen den beiden Schnitten. 000103 | 000104 | Damit lautet der bewiesene Quellensatz genau: 000105 | 000106 | gegebene freie elliptische Quelle (E,alpha,L) 000107 | -> voller Cauchygraph P_A 000108 | -> freie Zweirand CAR Kovarianz und ihre Randmarginale C_A. 000109 | 000110 | Er beginnt nicht bei einem abstrakten P1 Randdatum. 000111 | 000112 | 2. Was der Weylsatz tatsächlich transportiert 000113 | ============================================== 000114 | 000115 | CONFORMAL-TRACE-AND-WICK.txt, Zeilen 15 bis 20, übernimmt denselben 000116 | quadratischen Träger, denselben Spin, dieselben Marken, denselben masselosen 000117 | Operator und die ausdrücklich freie chiral CAR Quelle. Der allgemeine Satz in 000118 | Zeilen 30 bis 57 setzt eine feste Spinstruktur und eine feste getwistete 000119 | Verbindung voraus. Die kanonische konforme Spinbündelidentifikation erzeugt 000120 | den Randunitären 000121 | 000122 | V_sigma f = exp((d-1)sigma_boundary/2) f 000123 | 000124 | und damit 000125 | 000126 | P_sigma = V_sigma^* P_0 V_sigma 000127 | 000128 | für den orthogonalen Calderonprojektor desselben Diracproblems. 000129 | 000130 | Zeilen 94 bis 106 transportieren außerdem die vorhandenen Quarterprojektoren, 000131 | die Träger und den gesamten gegebenen quasifreien Zustand. Zeilen 108 bis 136 000132 | lassen nur den konformen Faktor unter dieser festgehaltenen freien Quelle 000133 | mitteln. Zeilen 139 bis 158 grenzen den Satz ausdrücklich gegen Änderungen 000134 | der komplexen Struktur, des Spins, der Verbindung, der Schnitte, der Zeit, 000135 | des Quellenmaßes und der P1 Identifikation ab. 000136 | 000137 | Der Satz ist daher ein Stabilisator der gegebenen Quelle. Er beweist: 000138 | 000139 | (E,alpha,L,P_A) bei g_sigma 000140 | ~= (E,alpha,L,P_A) bei g_0 000141 | 000142 | nach dem kanonischen Randunitären. Er beweist keine Abbildung 000143 | 000144 | (E,alpha) -> (C,S_0) 000145 | 000146 | und keine Auswahl eines neuen Hardyraums auf C. 000147 | 000148 | 3. Was die vollständige Projektorkovarianz voraussetzt 000149 | ====================================================== 000150 | 000151 | PROJECTOR-STATE-RIGIDITY.txt, Zeilen 33 bis 56, ist ein allgemeiner 000152 | Eindeutigkeitssatz: Ist omega ein tatsächlicher normierter positiver Zustand 000153 | auf einer festgelegten vollen geladenen CAR Algebra und ist seine vollständige 000154 | Besetzungskovarianz ein orthogonaler Projektor P, dann ist omega bereits der 000155 | reine quasifreie Zustand omega_P. Daraus folgen alle geordneten CAR Wörter. 000156 | 000157 | In der elliptischen Anwendung ist P der konkrete Zweirandprojektor P_A. 000158 | Zeilen 58 bis 80 schreiben seine Blöcke aus. Die physische Anwendung verlangt 000159 | aber in Zeilen 73 bis 89 zusätzlich: 000160 | 000161 | 1. eine tatsächliche positive Quelle auf genau dieser gemeinsamen 000162 | Zweirand CAR Algebra, 000163 | 2. den Nachweis, dass ihre vollständige Kovarianz einschließlich X_A 000164 | wirklich P_A ist. 000165 | 000166 | Ein geometrischer Calderonprojektor allein wird dort ausdrücklich nicht als 000167 | physische Besetzungskovarianz eingesetzt. Zeilen 140 bis 159 lassen die P1 000168 | Quellgleichung offen. 000169 | 000170 | HALF-PERIOD-GNS-SEWING.txt schließt den Operator X_A innerhalb der schon 000171 | gegebenen freien elliptischen Quelle. Zeilen 23 bis 34 gewinnen ihn als 000172 | Halbperiodenwert des vorhandenen Greenkerns. Zeilen 47 bis 89 konstruieren im 000173 | Hilbert Schmidt GNS Raum mit der tatsächlichen Fermionparität Gamma zwei 000174 | antikommutierende CAR Familien und erhalten genau P_A. Zeilen 91 bis 126 000175 | zeigen aber, dass eine abstrakte positive Verdopplung für einen allgemeinen 000176 | Zustand diesen Projektor nicht erzwingt. Zeilen 147 bis 160 lassen die 000177 | Identifikation der physischen P1 Zweitrandfamilie, der OS Reflexion, des 000178 | Zustands und der Zeit offen. 000179 | 000180 | Die Logik ist somit: 000181 | 000182 | tatsächliche P1 CAR Quelle mit vollständiger Kovarianz P_A 000183 | => alle P1 CAR Wörter sind die von omega_(P_A). 000184 | 000185 | Der Vordersatz ist keine Folgerung des Projektorsatzes. Ihn durch den 000186 | geometrischen Projektor zu ersetzen wäre genau die gesuchte Quellabbildung 000187 | als Annahme einzusetzen. 000188 | 000189 | 4. Der erste Typenbruch zur C3 Hardyquelle 000190 | ========================================== 000191 | 000192 | Die beiden Seiten tragen verschiedene Daten: 000193 | 000194 | elliptischer C2 Satz C3 Hardy und Divisorsatz 000195 | -------------------- ------------------------ 000196 | Träger E, Genus eins Träger C, Genus zwei 000197 | flache NS NS Spinlinie alpha markierte Spinlinie S_0 000198 | L=partial_t-i partial_s Blattoperator -i partial_theta 000199 | orthogonaler Graphprojektor P_A positiver Hardyraum H^2(pi^-1 D,S_0) 000200 | freie KMS Randmarginale C_A M_z gegen M_1 und endlicher Kokern