TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/C4-TRIANGLE-INDEPENDENT-REVIEW.txt Original file SHA-256: b589f7d063cc2e7a48549bd5c4d4895f99ab4a103449eae29b28b3dae2fe323f Inclusive original lines: 181-360 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. 000181 | (0,-1/4,-3/4), (-1/2,0,1/2). 000182 | 000183 | Die Differenz eins bei infinity ist resonant. Mit der dort angegebenen 000184 | Matrix S_inf ergibt die unabhängige exakte Rechnung 000185 | 000186 | S_inf^(-1) Binf_old S_inf=diag(-1/2,0,1/2), 000187 | (C_inf)_(3,1)=0. 000188 | 000189 | Genau der einzige resonante Rekursionseintrag verschwindet. Somit entsteht 000190 | auch in dieser Gauge kein logarithmischer Anteil. Die neue Gauge ist also 000191 | eine Kompression des alten Beweises und keine Umgehung einer offenen 000192 | Resonanzfrage. 000193 | 000194 | Ihre Spektren und Ordnungen lauten somit 000195 | 000196 | C0: {1,-i,i}, Ordnung 4, 000197 | C1: {1,omega,omega^2}, Ordnung 3, 000198 | Cinf: {1,-1,-1}, Ordnung 2. 000199 | 000200 | Auch die Determinanten sind eins, denn die Residuenspuren sind 0,1,-1. 000201 | 000202 | 4. Das Gruppenbild ist exakt S4 000203 | -------------------------------- 000204 | 000205 | Für passend orientierte Dreipunktschleifen gilt bis zur üblichen Wahl der 000206 | Produktreihenfolge 000207 | 000208 | C0^4=C1^3=Cinf^2=I, C0 C1 Cinf=I. 000209 | 000210 | Damit ist das Bild ein Quotient der sphärischen Dreiecksgruppe 000211 | 000212 | Delta(4,3,2) = S4. 000213 | 000214 | Die Bilder von C0 und C1 haben weiterhin die exakten Ordnungen 4 und 3. 000215 | Kein echter Quotient von S4 besitzt gleichzeitig solche Bilder: der Quotient 000216 | durch V4 verliert Ordnung 4, der Quotient durch A4 verliert Ordnung 3. 000217 | Folglich ist die Darstellung treu. 000218 | 000219 | Eine reduzible dreidimensionale S4 Darstellung wäre vom Typ 2+1 oder eine 000220 | Summe eindimensionaler Charaktere. Die zweidimensionale irreduzible 000221 | Darstellung hat bereits V4 im Kern, und eindimensionale Charaktere entfernen 000222 | diesen Kern nicht. Die treue Darstellung ist daher irreduzibel. 000223 | 000224 | S4 besitzt zwei irreduzible dreidimensionale Standarddarstellungen. Die 000225 | gewöhnliche Standarddarstellung hat Determinante sign. Ihr Signaltwist hat 000226 | Determinante eins. Da unsere drei lokalen Determinanten eins sind, ist die 000227 | vorliegende Darstellung exakt die vorzeichengetwistete Standarddarstellung 000228 | aus v117. Dieser Schluss benutzt keine numerische Integration. 000229 | 000230 | 5. Die Clock ist U invers orientiert 000231 | ------------------------------------ 000232 | 000233 | Der Gaugefaktor erklärt die scheinbare Vorzeichenfrage vollständig. Unter 000234 | der positiven Deckdrehung z nach iz gilt 000235 | 000236 | (iz)^R=i^R z^R=U z^R. 000237 | 000238 | Für die Quotientenvariable X=z^(-R)Y erscheint daher am Punkt t=0 der 000239 | inverse Faktor. Eine explizite Eigenbasis P von B0 erfüllt 000240 | 000241 | P^(-1) B0 P = diag(0,-1/4,1/4), 000242 | 000243 | also 000244 | 000245 | P^(-1) C0 P = diag(1,-i,i)=U^(-1). 000246 | 000247 | Dies ist kein freies Umphasen. U ist die Wirkung auf dem hochgezogenen 000248 | Y Feld, während C0 die positive Schleifenmonodromie des abgestiegenen X 000249 | Feldes ist. Der bereits positive geometrische Deckmarker bleibt U. 000250 | 000251 | Gerade mit C0=U^(-1) stimmt die v117 Schreierorientierung: 000252 | 000253 | C0^(-k) C1 C0^k = U^k C1 U^(-k). 000254 | 000255 | Sie erzeugt die vier ursprünglichen Peripherien in der vorhandenen Reihenfolge. 000256 | 000257 | 6. Exakte markierte Identifikation mit M0 000258 | ---------------------------------------- 000259 | 000260 | Fixiere nach der obigen Diagonalisierung C0=U^(-1). In S4 gibt es für einen 000261 | festen Vierzyklus genau vier Dreizyklen y, für die das Produkt mit diesem 000262 | Vierzyklus Ordnung 2 hat. Der Zentralisator des Vierzyklus ist zyklisch von 000263 | Ordnung 4 und wirkt transitiv auf diesen vier Möglichkeiten. Daher gibt es 000264 | genau eine Bahn unter dem Zentralisator von U. 000265 | 000266 | Die vorhandene exakte v117 Matrix M0 erfüllt 000267 | 000268 | M0^3=I, 000269 | spec(M0)={1,omega,omega^2}, 000270 | (M0 U^(-1))^2=I. 000271 | 000272 | Sie ist somit ein Vertreter genau dieser einzigen Bahn. Es existiert daher 000273 | eine invertierbare Matrix D, die mit U kommutiert und für die, nach konsistenter 000274 | Basisrichtung, 000275 | 000276 | D^(-1) C0 D = U^(-1), 000277 | D^(-1) C1 D = M0. 000278 | 000279 | Da das Spektrum von U einfach ist, ist D diagonal. Die Identifikation erhält 000280 | also die vollständige Clockmarkierung und ist stärker als eine bloße 000281 | unmarkierte S4 Isomorphie. 000282 | 000283 | Mit der in den vorhandenen v117 Dateien benutzten Schleifenreihenfolge ist 000284 | die Monodromie am unendlichen Punkt der involutive Generator 000285 | 000286 | b=M0 U^(-1). 000287 | 000288 | Bei der entgegengesetzten Standardreihenfolge erscheint sein konjugierter 000289 | Ordnung 2 Vertreter. Diese Pfadkonvention ändert weder die lokale Klasse noch 000290 | die markierte Paarbahn. 000291 | 000292 | Damit ist die in v115 und v117 noch nur numerisch klassifizierte Aussage 000293 | 000294 | konkrete A0* ODE Monodromie = exakte v117 Bahn 000295 | 000296 | algebraisch geschlossen. Der algebraische Schluss steht bereits in der 000297 | späteren Synthesequelle vom 28. September und muss im aktuellen Quellenstand 000298 | als wiederverwendet markiert werden. 000299 | 000300 | 7. Abgrenzung vom modularen Phi Pullback 000301 | ---------------------------------------- 000302 | 000303 | MODULAR-ORBIFOLD-SOURCE.txt untersucht eine andere Verbindung auf derselben 000304 | t Sphäre. Dort lauten die markierten lokalen Wörter 000305 | 000306 | t=0: U, 000307 | t=1: M, 000308 | t=infinity: (UM)^(-1), 000309 | 000310 | und der letzte Operator hat Ordnung 4. Der Typ ist (4,3,4). 000311 | 000312 | Für den direkten Abstieg der tatsächlichen v115 ODE gilt dagegen 000313 | 000314 | t=0: U^(-1), 000315 | t=1: M0, 000316 | t=infinity: Ordnung 2, 000317 | 000318 | also Typ (4,3,2). Lokale Monodromieordnung ist unter Eichtransformationen und 000319 | Konjugation invariant. Deshalb können diese beiden flachen Verbindungen nicht 000320 | gleichgesetzt werden. Insbesondere darf die frühere Aussage "Q Faser gleich 000321 | U" nicht unverändert auf den neuen Quotientenanschluss übertragen werden: 000322 | der geometrische Y Deckoperator ist U, die X Quotientenmonodromie ist U^(-1). 000323 | 000324 | Beide Systeme können dasselbe unmarkierte endliche Gruppenbild S4 besitzen. 000325 | Das ist kein Widerspruch und keine Verbindungsgleichheit. Der direkte C4 000326 | Abstieg ersetzt daher nicht die geometrische Phi Pullbackkonstruktion. Er ist 000327 | der bereits vorhandene exakte Anschluss der konkreten v115 ODE. 000328 | 000329 | 8. Weitere bereits vorhandene Konsequenzen 000330 | ------------------------------------------ 000331 | 000332 | Die Archivquelle zieht aus derselben markierten endlichen Darstellung noch 000333 | zwei korrekte, enger typisierte Folgerungen. 000334 | 000335 | Erstens erzeugen die vier ursprünglichen Punkturmonodromien A4 mit Ordnung 000336 | 12. U erweitert dieses Paket zu S4 mit Ordnung 24. Das bestätigt unabhängig 000337 | die notwendige Trennung von Monodromiecover und zusätzlicher C4 Kovarianz. 000338 | 000339 | Zweitens liefert der Permutationsanteil die dreiblättrige Kurve 000340 | 000341 | w^3=(z^2-1)/(z^2+1). 000342 | 000343 | Sie ist an den vier Punkten 1,i,-1,-i vollständig vom Index 3 verzweigt. 000344 | Riemann Hurwitz gibt 000345 | 000346 | 2g-2=3*(-2)+4*(3-1)=2, 000347 | 000348 | also g=2. Mit eta=z(1-w^3) gilt direkt 000349 | 000350 | eta^2=1-w^6. 000351 | 000352 | Der angegebene Lift 000353 | 000354 | r(w,eta)=(1/w,-i eta/w^3) 000355 | 000356 | erfüllt r^2(w,eta)=(w,-eta) und r^4=I. Der ausgeschriebene Sechspunkt 000357 | Intertwiner transportiert M plus minus M als markierten Punktoperator. Wie 000358 | die Originalquelle selbst festhält, ist dies noch kein Feldintertwiner und 000359 | keine Ableitung des ursprünglichen Nahtprojektors. 000360 |