TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/C3-REAL-QUARTER-COMPATIBILITY-REVIEW.txt
Original file SHA-256: e118c54415cb2b80174a4950b146e8050f787bc1f536f3fb0068054f6420a242
Inclusive original lines: 1-131
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 | C3-q-Paket: gemeinsamer Viertellift und Realstruktur
000002 | 29. Oktober 2026. Unabhängige analytische Koeffizientenprüfung.
000003 | 
000004 | Quellen: SIGN-LINE-COVER-DICTIONARY.txt, der vorhandene
000005 | C3-COVER-JOINT-CONNECTION-REVIEW.txt und die im Auftrag festgehaltenen
000006 | Matrizen Q, M_q, R_q. Keine neue Enumeration, kein Browser, kein Atlas.
000007 | 
000008 | 1. Feste Daten und globale Kummerlifts
000009 | 
000010 | Auf C: eta^2=1-w^6 seien omega^3=1, omega!=1,
000011 | 
000012 |   f_a(w)=(w+omega^a)/(w+omega^(a+1)),
000013 |   h_a^2=f_a(w),   h0 h1 h2=1,   a mod3.
000014 | 
000015 | Dies ist der bereits ausgewählte negative q-Deckverband Y_q, kein neues
000016 | Linienpaket. Die ursprüngliche z-Vierteldrehung induziert auf C
000017 | 
000018 |   Q_C(w,eta)=(1/w,-i eta/w^3),
000019 |   tau0(w,eta)=(bar(w),bar(eta)).
000020 | 
000021 | Es gilt Q_C^2(w,eta)=(w,-eta), Q_C^4=1 und tau0 Q_C tau0=Q_C^-1.
000022 | Setze p(a)=-a-1 mod3; p vertauscht0 und2 und fixiert1. Direkt folgt
000023 | 
000024 |   f_a(1/w)=omega^2/f_p(a)(w),
000025 |   conjugate(f_p(a)(w))=1/f_a(bar(w)).
000026 | 
000027 | Wähle r=(omega,-omega,-omega). Die folgenden Punktabbildungen des
000028 | Kummerkörpers sind daher wohldefiniert:
000029 | 
000030 |   Qhat: (w,eta,h_a) -> (1/w,-i eta/w^3,r_a/h_p(a)),
000031 |   That: (w,eta,h_a) -> (bar(w),bar(eta),1/bar(h_p(a))).
000032 | 
000033 | Alle Quadratrelationen bleiben erhalten. Auch das Produkt bleibt1, da
000034 | product r_a=omega^3=1. Diese invertierbaren Funktionenkörperabbildungen
000035 | setzen sich auf die normalisierten vollständigen Kurven fort; die
000036 | scheinbaren Pole in den gedruckten Koordinaten sind keine lokale Lücke.
000037 | 
000038 | Direkte zweimalige Anwendung ergibt
000039 | 
000040 |   Qhat^2: eta -> -eta, (h0,h1,h2) -> (-h0,h1,-h2),
000041 |   That^2=1.
000042 | 
000043 | Ferner hat That Qhat That auf h_a den Wert r_p(a)/h_p(a), genau wie
000044 | Qhat^-1; die Basisformeln stimmen ebenfalls überein. Also gelten global
000045 | 
000046 |   Qhat^4=1,   ord(Qhat)=4,   That^2=1,
000047 |   That Qhat That=Qhat^-1.
000048 | 
000049 | Die Existenz ist damit einschließlich Kummerphasen bewiesen, nicht nur in
000050 | Pic^0(C)[2]. Die Deckzeichen des Quadrats sind genau (-1,+1,-1), passend
000051 | zum Quadrat der vorgegebenen Koeffizientenmatrix
000052 | 
000053 |   Q=[[0,0,-1],[0,1,0],[1,0,0]].
000054 | 
000055 | Eine Gleichheit mit einer bestimmten ursprünglichen flachen Faserbasis
000056 | erfordert weiterhin deren konstante Framekalibrierung. Die Klassenformel
000057 | tau0*bar(L_a)=L_p(a) allein legt diese Kalibrierung nicht fest.
000058 | 
000059 | 2. Freie Zeichen und kleinster Gegenfall
000060 | 
000061 | Ein weiterer Kummerlift darf r_a durch epsilon_a r_a mit
000062 | epsilon_a in {+1,-1}, product epsilon_a=1 verändern. Die konkrete
000063 | Orientierung und die geforderte Wirkung des Quadrats müssen dabei
000064 | mitgeführt werden. Analog kann ein Real-Lift mit einem V4-Deckzeichen
000065 | D_s, product s_a=1, multipliziert werden. Für T_s=D_s That gilt
000066 | 
000067 |   T_s^2(h_a)=s_a s_p(a) h_a.
000068 | 
000069 | Beispielsweise liefert s=(-1,-1,+1) dieselbe Linienpermutation wie That,
000070 | aber T_s^2=D_(-1,+1,-1), nicht die Identität. Das ist der kleinste konkrete
000071 | Gegenfall gegen die Folgerung von der Linienpermutation auf ein bestimmtes
000072 | Quadrat des Lifts. Er ist KEIN physischer Ausschluss: Ein ursprünglicher
000073 | Pin-, Clifford- oder weiterer Trägerfaktor könnte eine Quadratwirkung
000074 | kompensieren. Ein solcher gemeinsamer Lift müsste tatsächlich angegeben
000075 | werden.
000076 | 
000077 | Bei festem Q-Quadrat und festem Kummerprodukt gibt es zwei der vier
000078 | r-Vorzeichenmöglichkeiten. Für T_s^2=1 muss s0=s2 und s1=1 gelten; auch
000079 | hier bleiben zwei Deckzeichenmöglichkeiten. Deckkonjugation und allgemeine
000080 | unitäre Änderungen der flachen Linienframes sind verschiedene Äquivalenzen.
000081 | Insbesondere kann eine komplexe Framephase die zugehörige antilineare
000082 | Matrix verändern, ohne ihre Linienklasse zu ändern. Ohne Festlegung der
000083 | Frames, Kummertrivialisierungen und Eichgruppe wird keine eindeutige
000084 | ursprüngliche Realstruktur behauptet.
000085 | 
000086 | 3. Verträgliche Markierungen auf dem Viererkoeffizienten
000087 | 
000088 | P vertausche die q-Slots0 und2 und fixiere1; P4=diag(P,1). Für
000089 | 
000090 |   M_q=diag(0,-1,0,-1),
000091 |   R_q=diag(omega^2,omega,omega^2,omega)
000092 | 
000093 | gilt P4 M_q P4=M_q. Q vertauscht nur Linien mit gleicher D-Potenz und
000094 | gleicher R-Phase. Daher bleibt die bereits konstruierte globale
000095 | K-Verbindung unter diesen Koeffizientenmarkierungen kompatibel.
000096 | 
000097 | Im entsprechend gewählten flachen Koeffizientenframe erfüllt
000098 | T4=P4 complex-conjugation die Relationen
000099 | 
000100 |   T4^2=1,   T4 Q4 T4=Q4^-1,
000101 |   T4 M_q T4=M_q,   T4 R_q T4=R_q^-1.
000102 | 
000103 | Dies betrifft die Viererkoeffizienten. Für einen Real-Lift auf dem ganzen
000104 | geladenen Bündel sind zusätzlich der ursprüngliche Lift auf E, auf D,
000105 | deren Verbindung, die Bereiche und die Tensorproduktidentifikationen
000106 | zu transportieren. Eine OS-Reflexion oder Positivität folgt daraus nicht.
000107 | 
000108 | 4. Ganze E8-Algebra: anderer Typ der Realstruktur
000109 | 
000110 | Die kompakte Realstruktur sigma_c auf der komplexen E8-Algebra ist nicht
000111 | komponentenweise Konjugation auf dem fundamentalen Vierer allein. Sie
000112 | vertauscht die Zweige (16,4) und (bar16,bar4). Für jedes g im kompakten K
000113 | gilt dagegen
000114 | 
000115 |   sigma_c Ad(g) sigma_c=Ad(g).
000116 | 
000117 | Daher darf T4 R_q T4=R_q^-1 nicht unverändert als Identität der ganzen
000118 | E8-Algebra mit kompakter Realstruktur gelesen werden. Auch eine zusätzliche
000119 | Permutation P4, die mit R_q kommutiert, verwandelt diese kompakte Identität
000120 | nicht automatisch in Inversion. Der volle ursprüngliche Reflexionsoperator
000121 | mit seinen tatsächlichen Faktoren muss verglichen werden.
000122 | 
000123 | Der schon vorhandene minimale gemeinsame Cover mit Grad48 und Genus41
000124 | wird hier nicht neu hergeleitet. Sein Q_X invertiert den C12-Wurzeldeck.
000125 | Diese geometrische Deckrelation ist nicht ohne weitere Intertwiner die
000126 | Inversionsrelation eines angepassten VERTIKALEN Clockoperators c0.
000127 | 
000128 | Verdikt: simultane globale Koeffizientenlifts mit Q-Ordnung4 und T-Quadrat1
000129 | EXPLIZIT KONSTRUIERT; Linienklassen erzwingen deren Phasen nicht;
000130 | Identifikation mit ursprünglichem OS-/Pin-/Clifford-Lift OFFEN. Die
000131 | kompakte E8-Realstruktur und die Viererkonjugation bleiben getrennt.