TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/SIGN-LINE-INDEPENDENT-REVIEW.txt Original file SHA-256: 0fe7f92d0155a0fc5b15d585ec2042930e1e3fa8508c346aee636b053b068280 Inclusive original lines: 1-180 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 | SIGN-LINE-INDEPENDENT-REVIEW 000002 | ============================ 000003 | 000004 | Datum: 2026-10-26 000005 | 000006 | Gepruefter Stand 000007 | ---------------- 000008 | 000009 | Geprueft wurde die Endfassung von 000010 | 000011 | research-20261026-real-boundary/SIGN-LINE-COVER-DICTIONARY.txt 000012 | 000013 | mit SHA256 000014 | 000015 | 555f75a2d3c67347fa5f8e3c4f7f46e79d94cb4172176c84010224585dc842e7. 000016 | 000017 | Die fruehere antipodale Vermutung O(p_a-q_a) ist dort vollstaendig durch das 000018 | negative Dreierpaket 000019 | 000020 | C: eta^2=1-w^6, 000021 | q_a=(-omega^a,0), 000022 | L_a^q=O_C(q_a-q_(a+1)), 000023 | h_a^2=(w+omega^a)/(w+omega^(a+1)) 000024 | 000025 | ersetzt. Genau diese Korrektur ist mathematisch entscheidend. 000026 | 000027 | Urteil 000028 | ------ 000029 | 000030 | AKZEPTIERT auf Koeffizientenebene. Das negative Paket liefert den exakten 000031 | markierten (4,3,2) S4 Dreieckscover der v117 Quelle. Nach Pullback auf C 000032 | zerfaellt das determinanteneins Rank 3 Lokalsystem in die drei angegebenen 000033 | unverzweigten Zweitorsionslinien. Der Beweis verwendet weder eine eingepasste 000034 | Zielmatrix noch einen Dimensionsschluss. 000035 | 000036 | Der fruehere antipodale Kandidat ist ausgeschlossen: Er hat den globalen 000037 | Passport (4,3,4) und Geschlecht 3 am Grad 24 Dreieckslevel. Das positive 000038 | Paket O(p_a-p_(a+1)) hat (2,3,4) und vertauscht damit die im Original fest 000039 | markierten Fasern t=0 und t=unendlich. 000040 | 000041 | Die Aussage bleibt exakt auf das Koeffizientenlokalsystem begrenzt. Sie ist 000042 | kein Intertwiner geladener CAR Felder und beweist noch keinen gemeinsamen 000043 | Zustand, keine lokale Unterstuetzung und keine physische Antwortabbildung. 000044 | 000045 | 1. Zweitorsionslinien und der unramifizierte Cover 000046 | -------------------------------------------------- 000047 | 000048 | An jedem Weierstrasspunkt q_a ist eta ein lokaler Parameter. Deshalb besitzt 000049 | w+omega^a dort Ordnung 2. Es folgt 000050 | 000051 | div((w+omega^a)/(w+omega^(a+1))) 000052 | =2q_a-2q_(a+1). 000053 | 000054 | An beiden Punkten ueber w=unendlich geht der Quotient gegen 1. Dort tritt 000055 | weder eine Nullstelle noch ein Pol auf. Jede Linie L_a^q ist daher eine 000056 | unverzweigte Zweitorsionslinie auf C. 000057 | 000058 | Keine dieser Linien ist trivial. Ein Hauptdivisor q_a-q_(a+1) wuerde eine 000059 | meromorphe Funktion vom Grad 1 auf der Geschlecht 2 Kurve liefern. Die drei 000060 | Klassen sind verschieden und erfuellen wegen der teleskopierenden Gleichung 000061 | 000062 | product_a h_a^2=1, 000063 | L_0^q tensor L_1^q tensor L_2^q=O_C 000064 | 000065 | genau eine Relation. Sie bilden die drei nichttrivialen Charaktere einer 000066 | V4 Untergruppe von Jac(C)[2]. Der zugehoerige Cover Y_q nach C ist 000067 | zusammenhaengend, unverzweigt vom Grad 4 und hat 000068 | 000069 | g(Y_q)=1+4(g(C)-1)=5. 000070 | 000071 | Die Drehung c:w->omega w zyklisiert diese drei Klassen. Damit ist bereits 000072 | auf den konkreten Funktionen die Struktur V4 semidirect C3=A4 vorhanden. 000073 | 000074 | 2. Der kleinste entscheidende Test ist der markierte Passport 000075 | ------------------------------------------------------------- 000076 | 000077 | Vergisst man eta, so entsteht ueber der w Sphaere der Grad 4 Cover 000078 | 000079 | Z_q=C(w,h_0,h_1). 000080 | 000081 | Er verzweigt genau an q_0,q_1,q_2. Die drei lokalen Traegheiten sind die drei 000082 | nichttrivialen Elemente von V4. Riemann Hurwitz ergibt 000083 | 000084 | 2g(Z_q)-2=4(-2)+3*(4/2)=-2, 000085 | g(Z_q)=0. 000086 | 000087 | Fuer 000088 | 000089 | z^2=(1+w^3)/(1-w^3), 000090 | t=z^4=((1+w^3)/(1-w^3))^2 000091 | 000092 | hat w->t folgende markierten Fasern: 000093 | 000094 | q_a -> t=0 mit Index 2, 000095 | w=0,unendlich -> 1 mit Index 3, 000096 | p_a -> unendlich mit Index 2. 000097 | 000098 | Nur ueber q_a verzweigt zusaetzlich Z_q->P1_w mit Index 2. Im Turm 000099 | multiplizieren sich die Indizes. Daher besitzt Z_q->P1_t vom Grad 24 exakt 000100 | 000101 | (e_0,e_1,e_unendlich)=(4,3,2). 000102 | 000103 | Es gibt keine weitere Verzweigung. Der Cover ist zusammenhaengend. Seine 000104 | Monodromie ist damit eine transitive Grad 24 Quotientendarstellung der 000105 | sphaerischen Dreiecksgruppe Delta(4,3,2)=S4. Eine transitive Gruppe auf 24 000106 | Blaettern hat mindestens 24 Elemente, waehrend S4 genau 24 Elemente besitzt. 000107 | Folglich ist der Cover regulaer und seine Deckgruppe ist S4. 000108 | 000109 | Der bereits separat exakt gepruefte Nielsen Satz zeigt, dass geordnete Paare 000110 | aus einem 4 Zyklus und einem 3 Zyklus, deren Produkt eine Transposition ist, 000111 | eine einzige simultane Konjugationsbahn bilden. Dies fixiert den markierten 000112 | v117 Typ bis auf einen gemeinsamen Basiswechsel. Die determinanteneins 000113 | dreidimensionale Darstellung ist die eindeutige treue S4 Darstellung dieses 000114 | Typs. Damit ist auch die Orientierung der positiven t=0 Monodromie als die 000115 | v117 Klasse von U^(-1) korrekt. Eine wortgleiche feste Matrix U^(-1) entsteht 000116 | erst nach Wahl der gemeinsamen v117 Basis; der Lokalsystemisomorphismus 000117 | selbst benoetigt keine zusaetzliche Phase. 000118 | 000119 | 3. Exaktes Faserprodukt und Aufspaltung auf C 000120 | --------------------------------------------- 000121 | 000122 | Im Feld C(Z_q) liegt bereits 000123 | 000124 | z^2=(1+w^3)/(1-w^3). 000125 | 000126 | Somit enthaelt C(Z_q) die quadratische Zwischenstufe C(z^2) von 000127 | C(z)/C(t). Der Schnitt kann nicht C(z) sein, denn die regulaere S4 Erweiterung 000128 | besitzt keinen zyklischen Quotienten der Ordnung 4. Also gilt exakt 000129 | 000130 | C(Z_q) intersect C(z)=C(z^2). 000131 | 000132 | Daraus folgt 000133 | 000134 | [C(Z_q,z):C(z)]=12. 000135 | 000136 | Die zugehoerige Untergruppe von S4 ist der Kern seines einzigen 000137 | nichttrivialen zyklischen Quotienten, also A4. Zugleich ist 000138 | 000139 | C(C)=C(w,z), 000140 | eta=z(1-w^3), 000141 | 000142 | und deshalb 000143 | 000144 | C(Z_q,z)=C(Y_q). 000145 | 000146 | Y_q ist somit wortgleich der A4 Kernelcover der bereits bewiesenen v117 000147 | Dreiecksquelle. Beim weiteren Pullback von der z Sphaere auf C bleibt als 000148 | Deckgruppe V4. Die determinanteneins S4 Darstellung zerfaellt auf V4 in 000149 | dessen drei nichttriviale Charaktere. Diese Charaktere sind gerade die 000150 | Kummerlinien L_a^q. Damit ist 000151 | 000152 | pi^* E_v117 ~= L_0^q direct-sum L_1^q direct-sum L_2^q 000153 | 000154 | als unitaeres flaches Koeffizientenlokalsystem bewiesen. 000155 | 000156 | 4. Die beiden falschen Pakete 000157 | ----------------------------- 000158 | 000159 | Das positive Paket O(p_a-p_(a+1)) ist ebenfalls ein mathematisch gueltiges 000160 | C3 stabiles V4 Paket. Seine Zusatzverzweigung liegt jedoch ueber t=unendlich. 000161 | Sein Passport ist daher (2,3,4). Unmarkiert beschreibt dies dieselbe 000162 | sphaerische Dreiecksordnung, aber es ist nicht dieselbe Quelle: In v117 sind 000163 | t=0 als Viertelfaser und t=unendlich als Zweierfaser fest markiert. 000164 | 000165 | Beim antipodalen Paket O(p_a-q_a) verzweigt der reduzierte V4 Cover an allen 000166 | sechs Weierstrasspunkten. Mit 000167 | 000168 | v_0=z u_0 000169 | 000170 | erhaelt man bereits 000171 | 000172 | v_0^2=-(w^2-w+1)/(w^2+w+1). 000173 | 000174 | Die zyklischen Partner zeigen dieselbe Verzweigung an den restlichen Punkten. 000175 | Ueber t ergibt das (4,3,4). Riemann Hurwitz am Grad 24 Cover liefert 000176 | Geschlecht 3. Eine guenstige Wahl einzelner Quadratwurzelzeichen oder ein 000177 | importierter Zieltransport kann diesen globalen Unterschied nicht aendern. 000178 | 000179 | 5. Abgrenzung vom gemeinsamen mu_12 Cover 000180 | -----------------------------------------