TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/STABILITY-SOURCE-RECONCILIATION.txt Original file SHA-256: 416ae9572c5f42706796c3a7c4a237aebe33c20f152a25e9b18209ecf60c5b7e Inclusive original lines: 361-524 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. 000361 | Hier ist bereits der gewoehnliche Grad positiv und alle parabolischen 000362 | Gewichte sind nichtnegativ. 000363 | 000364 | Folglich gilt fuer jedes gesaettigte Rang 2 Unterbuendel 000365 | 000366 | pardeg(F)=-pardeg(Q)<0. 000367 | 000368 | Zusammen mit Abschnitt 4 ist das deklarierte splitte A0* Flagobjekt 000369 | parabolisch stabil. 000370 | 000371 | 6. Unabhaengige Darstellungskontrolle durch v117 000372 | ------------------------------------------------- 000373 | 000374 | verification/v117_monodromy_weyl_a3.py prueft exakt: 000375 | 000376 | M0 ist unitaer, det M0=1, M0^3=I, 000377 | char(M0)=lambda^3-1, 000378 | U=diag(1,i,-i), 000379 | Produkt_k U^k M0 U^-k=I, 000380 | ||=24, 000381 | Summe_g |tr(g)|^2=24. 000382 | 000383 | Dabei muss die Gruppe sauber getrennt werden. Die vier tatsaechlichen 000384 | Peripherien 000385 | 000386 | M_k=U^k M0 U^-k 000387 | 000388 | erzeugen A4 von Ordnung 12. Ihre Charakterverteilung ist 000389 | 000390 | {3:1,-1:3,0:8}, Summe |chi|^2=12, 000391 | 000392 | also ist bereits die vierpunktige Monodromiedarstellung irreduzibel. Das 000393 | kompaktierte Kerncover hat Grad 12 und nach Riemann Hurwitz bei vier 000394 | Traegheitspunkten der Ordnung 3 das Geschlecht 5. Erst das Hinzufuegen der 000395 | C4 Kovarianz U erweitert A4 zur signgetwisteten dreidimensionalen 000396 | S4 Darstellung von Ordnung 24. S4 ist daher die Kovarianzerweiterung, nicht 000397 | die Monodromiegruppe der vierpunktigen x Sphaere. 000398 | 000399 | Das Charakterkriterium gibt die Irreduzibilitaet. Nach Mehta Seshadri gehoert 000400 | zu dieser A4 Monodromie daher ein stabiles parabolisches Grad null Buendel. 000401 | 000402 | verification/v499_p2_weights_deligne_bg.py Zeilen 251 bis 303 zieht daraus 000403 | korrekt h0(E)=0. Zusammen mit deg(E)=-4 und Birkhoff Grothendieck folgt 000404 | 000405 | E = O(-2)+O(-1)+O(-1). 000406 | 000407 | Damit existiert durch v117 ein exaktes stabiles parabolisches Objekt mit derselben 000408 | zugrunde liegenden Spaltung und denselben lokalen Gewichten. Die gewoehnliche 000409 | Spaltung des Buendels ist kein Widerspruch zur parabolischen Stabilitaet. Die 000410 | Flags mischen die Summanden. 000411 | 000412 | Der D4 Quotientenabstieg aus D4-ORBIFOLD-RIGIDITY.txt verschaerft dies: Unter 000413 | dem echten (infinity,2,4) Abstieg, dem Spektrum von U und Irreduzibilitaet ist 000414 | das markierte Paar bis auf den Zentralisator von U eindeutig und gleich v117. 000415 | Dieser Schluss gilt fuer den stabilen Zweig. W_wall verletzt seine 000416 | Irreduzibilitaet und gehoert nicht zu dieser Bahn. 000417 | 000418 | 7. Exakte Korrektur der Quellenlage 000419 | ----------------------------------- 000420 | 000421 | Bewiesen: 000422 | 000423 | 1. Vier Cuspflags liefern deg(E)=-4. Die beiden Quotienten Fixpunkte 0 und 000424 | unendlich sind Orbifoldisotropie und werden nicht als weitere Gewichte in 000425 | pardeg(E) addiert. 000426 | 2. Die exakte v117 Darstellung ist irreduzibel und liefert unter der bereits 000427 | angenommenen Unitaritaet ein stabiles parabolisches Objekt. Die vier 000428 | Peripherien erzeugen A4; U erweitert die Kovarianzgruppe auf S4. 000429 | 3. Das zugrunde liegende Buendel dieses stabilen Objekts hat die Spaltung 000430 | O(-2)+O(-1)^2. 000431 | 4. Die exakten rotierten A0* Eigenflags erfuellen auf dem algebraisch 000432 | deklarierten splitten Buendel alle strikten Rang 1 und Rang 2 000433 | Stabilitaetsungleichungen. Der direkte diagonale Infinity Framewechsel 000434 | identifiziert dieses Objekt noch nicht mit der A0* Deligne Erweiterung. 000435 | 5. W_wall ist eine andere, vollstaendig gesplittete und daher reduzible 000436 | polystabile Konfiguration. 000437 | 000438 | Zu korrigieren: 000439 | 000440 | 1. Section011 Zeilen 262 bis 268 darf nicht behaupten, jede parabolische 000441 | Struktur auf O(-2)+O(-1)^2 liege auf der Wand. Die Rechnung gilt nur, wenn 000442 | die drei globalen Summanden die parabolische Flagge an jedem Punkt splitten. 000443 | 2. Section011 Zeilen 285 bis 297 darf W_wall nicht ohne weitere Identifikation 000444 | mit der stabilen nabla_F* oder der irreduziblen v117 Darstellung 000445 | gleichsetzen. 000446 | 3. Die Positivdimensionalitaet eines D4 Fixlokus fuer blosse Konjugationsklasse 000447 | plus Produktrelation und die Polystabilitaet von W_wall sind getrennte 000448 | Aussagen. Keine folgt aus der anderen. 000449 | 4. Section008 Zeilen 153 bis 156 muss fuer Stabilitaetsrechnungen in die 000450 | absteigende Mehta Seshadri Flagkonvention uebersetzt werden. Die dortige 000451 | generische Gewicht 2/3 Lesart ist eine Eigenraumlabelkonvention, keine 000452 | induzierte Unterbuendelkonvention. 000453 | 000454 | Noch offen: 000455 | 000456 | 1. Die reine Infinity Scherung g=diag(w^2,w,w) laesst exakt den Residuenpol 000457 | -(2 sqrt(2)/3)E_12 uebrig. Die noetige Levelt oder Birkhoff Lattice und ihre 000458 | Wirkung auf die endlichen Flags sind noch nicht hergeleitet. 000459 | 2. v117 Zeilen 184 bis 200 identifiziert die analytische Monodromie des A0* 000460 | Systems nur numerisch mit M0. Die jetzt bewiesene Stabilitaet des 000461 | deklarierten A0* Flagobjekts ersetzt diesen transzendentalen 000462 | Gleichheitsbeweis nicht. 000463 | 3. Die U Rotation beweist C4 Kovarianz des A0* Flagobjekts. Die D4 000464 | Reflexionslinearisierung dieses konkreten Objekts ist nicht geprueft. 000465 | 4. Falls die aktive Quelle nicht den stabilen D4 linearisierten Zweig, sondern 000466 | bewusst W_wall als physisches Objekt waehlen will, braucht sie eine neue 000467 | Quelle fuer diese Auswahl und muss auf die Behauptung irreduzibler v117 000468 | Monodromie fuer dasselbe Objekt verzichten. 000469 | 000470 | Kleinster Erfolgstest und Abbruchkriterium 000471 | ----------------------------------------- 000472 | 000473 | Der entscheidende Stabilitaetstest war keine weitere Moduliscan. Er bestand 000474 | nur aus den vier rotierten A0* Rohflags und allen moeglichen 000475 | Unterbuendelgraden der deklarierten Spaltung. Erfolg bedeutete strikte 000476 | Negativitaet fuer Rang 1 und Rang 2. Ein einziges Unterbuendel mit pardeg 000477 | groesser gleich null haette dieses algebraische Flagobjekt widerlegt. Kein 000478 | solches Unterbuendel existiert. Der getrennte Infinity Test hat dagegen die 000479 | direkte ODE zu BG Identifikation abgebrochen: die reine diagonale Scherung ist 000480 | nicht holomorph. 000481 | 000482 | Quellenschnappschuesse 000483 | --------------------- 000484 | 000485 | [OMITTED: non-scientific conversation or execution metadata] 000486 | 000487 | section008 SHA256 000488 | d8714f3a516a0a4d929a2121fa6dd16e0a00e4f972803130e9235b463276abb7 000489 | section011 SHA256 000490 | a6ddc0c8bfa566b632b1b3734ea44ab684761310b141bcc05fd895c0c179961b 000491 | v27_wall_representative.py SHA256 000492 | 4041285e5d25d64fea1e8ed525e3477d7aa3c8db41fa8cc93d488aeeab9fcc67 000493 | v115_anchor_residue.py SHA256 000494 | 26d84469128747ef11be7513316e6c61f03517632d3a82a197413fe93af814a6 000495 | v117_monodromy_weyl_a3.py SHA256 000496 | 55eca6a64144f6e49789f3f1bbe84e256764e7ce92b207044be693f8684d5df5 000497 | v499_p2_weights_deligne_bg.py SHA256 000498 | 73098e62b3148d1cddb31e60c16a424159f985b874aa0dee1737260fb81017b9 000499 | 000500 | Eigenstaendige Reproduktion 000501 | --------------------------- 000502 | 000503 | python3 research-20261026-real-boundary/check_parabolic_stability.py 000504 | python3 -OO research-20261026-real-boundary/check_parabolic_stability.py 000505 | 000506 | Beide Aufrufe liefern bytegleiches JSON und bytegleiche Standardausgabe. Das 000507 | Programm verwendet keine Assertions als Kontrollfluss. Es prueft die je 81 000508 | Rang 1 und Rang 2 Muster, die 31 entscheidenden High und Low Muster, die 000509 | Grad null Quotientenmatrix, A4 versus S4 und den Infinity Patch getrennt. 000510 | 000511 | check_parabolic_stability.py SHA256 000512 | a9962489103f28ae692ca7b53f27f1d12397e579579c2b887b1c0ee65e2f38ee 000513 | stability-results.json SHA256 000514 | e894f7531264fc5ab1b647922467c47c878d6c271c8e258f76ac4a7bfe7e24b7 000515 | 000516 | Atlasgrenze 000517 | ----------- 000518 | 000519 | Der Atlas bestaetigt die bisherige Trennung: GATE.UWALL.01 ist ein 000520 | historischer offener Wandselektor, v117 eine exakte endliche irreduzible 000521 | Darstellung mit numerischem ODE Anschluss. Der Atlas selbst ist Navigation, 000522 | nicht der Beweis. Die Entscheidung oben stammt aus den Originalstellen, der 000523 | primaeren MS Definition und der exakten Unterbuendelrechnung. Es wurden keine 000524 | Atlasdaten und keine Originaldateien veraendert.