TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/COMMON-COVER-INDEPENDENT-REVIEW.txt Original file SHA-256: 2c9c79ddc4e4a8c97ab39b07d2562c0f13362a7a90b6e673c0693997711b11cd 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 | COMMON-COVER-INDEPENDENT-REVIEW 000002 | =============================== 000003 | 000004 | Datum: 2026-10-26 000005 | 000006 | Urteil 000007 | ------ 000008 | 000009 | AKZEPTIERT im angegebenen algebraisch geometrischen Umfang. 000010 | 000011 | Fuer die bereits festgelegten Quellkoordinaten und Koeffizientenlinien ist 000012 | 000013 | X=Norm(D times_C Y_q) 000014 | 000015 | wirklich der kleinste zusammenhaengende Cover von C, der gleichzeitig die 000016 | urspruengliche Funktion g traegt und alle drei q Koeffizientenlinien 000017 | trivialisiert. Es gilt 000018 | 000019 | [X:C]=16, 000020 | [X:P1_z]=48, 000021 | Gal(X/C)=C4 times V4, 000022 | Gal(X/P1_z)=C12 times_C3 A4 ~= A4 times C4, 000023 | g(X)=41. 000024 | 000025 | Die Minimalitaet gilt auch gegen nichtgaloissche Kandidaten, sofern 000026 | "traegt g" dieselbe meromorphe Quellfunktion mit den vorhandenen Relationen 000027 | meint und "trivialisiert" die drei festgelegten flachen Charaktere 000028 | beziehungsweise ihre Kummerlinien meint. Das ist genau die im Hauptbericht 000029 | verwendete Objektklasse. 000030 | 000031 | Der geometrische Viertellift existiert diagonal auf X und hat Ordnung 4. 000032 | Seine Projektion auf den alten D Cover invertiert dessen C12 Deckgenerator. 000033 | Damit bleibt er vom kommutierenden Ordnung 12 Compilerclock R12 getrennt. 000034 | 000035 | 1. Der Feldschnitt ist trivial ueber C 000036 | -------------------------------------- 000037 | 000038 | Ueber C lauten die beiden Erweiterungen 000039 | 000040 | D/C: H^4=w, 000041 | Y_q/C: unverzweigter V4 Cover. 000042 | 000043 | Auf C besitzt w zwei einfache Nullstellen und zwei einfache Pole. D/C ist 000044 | daher an genau diesen vier Stellen total vom Index 4 verzweigt. Die zyklische 000045 | C4 Erweiterung besitzt nur eine echte nichttriviale Zwischenstufe, naemlich 000046 | 000047 | C(H^2)/C, 000048 | (H^2)^2=w. 000049 | 000050 | Auch diese quadratische Stufe ist an allen vier Stellen verzweigt. 000051 | 000052 | Sei E der Schnitt der beiden Funktionskoerper ueber C. Als Zwischenkoerper 000053 | des unverzweigten Galoiscovers Y_q/C ist E/C unverzweigt. Als 000054 | Zwischenkoerper von D/C kann E nur C, C(H^2) oder D sein. Die beiden letzten 000055 | Faelle sind verzweigt. Folglich 000056 | 000057 | C(D) intersect C(Y_q)=C(C). 000058 | 000059 | Damit sind die beiden Erweiterungen linear disjunkt. Die Normalisierung des 000060 | Faserprodukts ist zusammenhaengend und 000061 | 000062 | [X:C]=4*4=16, 000063 | Gal(X/C)=C4 times V4. 000064 | 000065 | Dieser Schluss benutzt die Verzweigung. Die gleichen relativen Grade 4 000066 | allein wuerden nicht genuegen. 000067 | 000068 | 2. Absolute Gruppe und Grad 48 000069 | ------------------------------ 000070 | 000071 | Die bereits bewiesenen absoluten Gruppen sind 000072 | 000073 | Gal(D/P1_z)=C12, 000074 | Gal(Y_q/P1_z)=A4. 000075 | 000076 | Ihr gemeinsamer Zwischenkoerper C hat Gruppe C3 ueber der z Sphaere. Beide 000077 | Quotienten sind dieselbe markierte Drehung w->omega w. Daher ist 000078 | 000079 | Gal(X/P1_z)=C12 times_C3 A4 000080 | 000081 | und seine Ordnung ist 12*12/3=48. 000082 | 000083 | Unter C12 ~= C3 times C4 wird der Faserproduktsatz durch 000084 | 000085 | (n,a) -> (a,n mod 4) 000086 | 000087 | zu einem Isomorphismus mit A4 times C4. Die Umkehrung ist durch den 000088 | chinesischen Restsatz eindeutig, weil n mod3 vom A4/V4 Quotienten und n mod4 000089 | vom C4 Faktor vorgegeben wird. Das ist eine Gruppenidentifikation und kein 000090 | blosser Gradvergleich. 000091 | 000092 | 3. Minimalitaet einschliesslich nichtgaloisscher Cover 000093 | ------------------------------------------------------ 000094 | 000095 | Sei Z->C ein beliebiger zusammenhaengender endlicher Cover in der 000096 | angegebenen Objektklasse. 000097 | 000098 | Die urspruengliche Funktion g erfuellt mit w 000099 | 000100 | g=H^3, 000101 | w=H^4. 000102 | 000103 | Deshalb ist H=w/g bereits im Funktionskoerper von Z. Also enthaelt C(Z) den 000104 | ganzen Koerper C(D). Derselbe Schluss folgt allein aus g^4=w^3: 000105 | 000106 | (w/g)^3=g, 000107 | (w/g)^4=w. 000108 | 000109 | Werden die drei q Linien auf Z trivial, so werden zwei unabhaengige 000110 | Zweitorsionscharaktere trivial. Fundamentalgruppentheoretisch liegt das Bild 000111 | von pi1(Z) damit im gemeinsamen Kern dieser Charaktere, also in der Untergruppe 000112 | des V4 Covers Y_q. 000113 | 000114 | Die gleiche Aussage gilt auch rein algebraisch und bei einem verzweigten Z. 000115 | Ist L=O(E) eine der Linien mit einer festgelegten Relation 000116 | 000117 | div(F)=2E, 000118 | 000119 | und wird der Pullback von L trivial, so gibt es auf Z eine Funktion s mit 000120 | div(s)=pullback(E). Dann besitzt s^2/F konstanten Divisor und ist auf der 000121 | zusammenhaengenden kompakten Kurve konstant. Nach konstanter Skalierung gilt 000122 | s^2=F. Somit enthaelt C(Z) den zugehoerigen Kummerkoerper. Fuer zwei 000123 | unabhaengige Linien enthaelt C(Z) ganz C(Y_q). 000124 | 000125 | Jeder solche Z enthaelt folglich beide Felder D und Y_q und damit ihr 000126 | Kompositum C(X). Er faktorisiert durch X. Diese Argumentation setzt weder 000127 | Galoisschheit noch Zyklizitaet von Z voraus. Daher sind Grad 16 ueber C und 000128 | Grad 48 ueber z echte untere Schranken, die X erreicht. 000129 | 000130 | 4. Geschlecht 000131 | ------------- 000132 | 000133 | Der Cover X->Y_q ist die unveraenderte Basistransformation von D->C. Die 000134 | vier Verzweigungspunkte auf C haben wegen des unverzweigten Grad 4 Covers 000135 | Y_q->C jeweils vier Urbilder. Auf Y_q entstehen somit 16 Punkte mit voller 000136 | C4 Verzweigung. Mit g(Y_q)=5 liefert Riemann Hurwitz 000137 | 000138 | 2g(X)-2 000139 | =4*(2*5-2)+16*(4-1) 000140 | =32+48 000141 | =80. 000142 | 000143 | Also ist g(X)=41. Dieselbe Zahl folgt direkt aus X->C vom Grad 16: Ueber 000144 | jedem der vier Basispunkte liegen vier Punkte mit Index 4. 000145 | 000146 | 5. Viertellift und Clocktrennung 000147 | -------------------------------- 000148 | 000149 | Die beiden bereits festgelegten Lifts 000150 | 000151 | Q_D:(z,H)->(i z,i/H), 000152 | 000153 | und 000154 | 000155 | Q_Y^*h_a=epsilon_a omega/h_(-a-1), 000156 | epsilon=(1,-1,-1), 000157 | 000158 | haben dieselbe Restriktion 000159 | 000160 | Q_C:(z,w,eta)->(i z,w^(-1),-i eta/w^3) 000161 | 000162 | auf C. Sie definieren daher eine eindeutige diagonale Automorphie der 000163 | Normalisierung X. Beide Komponenten besitzen vierte Potenz 1, und die 000164 | Basistransformation z->iz hat genaue Ordnung 4. Somit hat auch Q_X genaue 000165 | Ordnung 4. 000166 | 000167 | Auf D gilt fuer delta(H)=zeta_12 H 000168 | 000169 | Q_D delta Q_D^(-1)=delta^(-1). 000170 | 000171 | Diese Aussage betrifft die festgelegte Projektion X->D. Ein nackter 000172 | Generator delta allein ist wegen des gemeinsamen C3 Quotienten keine 000173 | kanonische Untergruppe des Faserprodukts Gal(X/z); die Inversionsrelation 000174 | auf der D Projektion ist dennoch eindeutig und reicht fuer die Abgrenzung. 000175 | 000176 | Im separaten Compilercover kommutieren Basisviertel und Deckgenerator. Dort 000177 | hat Q12 Delta12^4 Ordnung 12. Hier hat Q_D delta^4 wegen der Inversion 000178 | weiterhin Ordnung 4. Die beiden Clockkonstruktionen sind daher strukturell 000179 | verschieden. Das neue C4 im Isomorphismus A4 times C4 darf nicht als zweiter 000180 | Compilerclock gelesen werden.