TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE22-CANDIDATE.txt
Original file SHA-256: a47f8b43db15a6da024f5416b51ce10ef469112c83b30a6ad19fba6adaacd61d
Inclusive original lines: 1-125
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 | [OMITTED: non-scientific conversation or execution metadata]
000002 | [OMITTED: non-scientific conversation or execution metadata]
000003 | 
000004 | Fortsetzung 22: Die markierten q-Punkte tragen die Nullmoden explizit
000005 | Kurzfassung
000006 | 
000007 | Ich habe deine Prüffrage direkt am geschlossenen Kurvenoperator auf S₀ ⊗ F_q getestet, mit den bereits ausgewählten Daten S₀, dem q-Paket, Q und E₀. Die Antwort ist positiv und explizit (szego_s0.py).
000008 | 
000009 | Szegőkern. Die gerade Spinstruktur S₀ hat einen geschlossenen, eindeutigen Szegőkern, gebaut allein aus der Originalfunktion u = (w³+1)/η, deren Divisor Σq − Σp ist.
000010 | Nullmoden. Dieser Kern verschwindet exakt auf allen Paaren verschiedener q-Punkte und ist auf gemischten q-p-Paaren ungleich null. Die drei Nullmoden des Originaloperators sind genau die Propagatorbeine an den markierten Punkten: s_a = S_{S₀}(·, q_a) ∝ √(u dw)/(w + ωᵃ).
000011 | Einfügung. Das Twisten mit dem Originaldivisor q_a − q_{a+1} ist eine Rang-1-Aktualisierung (Sherman–Morrison) des S₀-Kerns. Ihr Nenner ist der markierte Propagator S(q_{a+1}, q_a) = 0; ihr Zähler ist Kern ⊗ Kokern. Das Punktaufspalten in der Originalkoordinate η liefert einen kanonischen reduzierten Green-Operator.
000012 | Produkte. Zwei verschiedene Nullmoden multiplizieren sich zum eindeutigen L_c-getwisteten holomorphen Differential, mit c dem dritten Index. Das ist das V4-Gesetz auf Feldebene.
000013 | 
000014 | Nicht gezeigt ist, dass dieser geschlossene Kurvenoperator der P1/APS-Operator ist. Zustand, beide Randseiten und Zeit bleiben beim vorhandenen Seed.
000015 | 
000016 | 1. Übernommene Korrekturen
000017 | Lemma P ist falsch. Bei einer antilinearen Realstruktur auf CP¹ heben sich Orientierungsumkehr und Konjugation im Grad gegenseitig auf. Die Formel W_m* ist ein linearer Dual und keine Realstruktur.
000018 | Der Clock-Inversionsschluss ist falsch. Es gilt σ_c Ad(g) σ_c⁻¹ = Ad(g); die kommutierende Variante ist nicht ausgeschlossen.
000019 | Die Oval-Ramond-Aussage aus Fortsetzung 21 ziehe ich zurück. Sie ließ Spin und Operator weg.
000020 | Bestätigt und übernommen: E₀ = Qτ₀, der involutive Kummerlift, die Q-äquivariante Zuordnung m_q = (0,−1,0,−1), S₀ (vom 26. Oktober), der Kern (h⁰, h¹) = (3,3) und das minimale Cover X.
000021 | 2. Satz S: Der S₀-Szegőkern aus der Originalfunktion u
000022 | 
000023 | Mit u = (w³+1)/η, wobei div u = Σq − Σp (Originalgleichung (3)), sind √(u dw) und √(dw/u) meromorphe Schnitte von S₀. Ihre Divisoren sind:
000024 | 
000025 | √(u dw): Σq − K, mit K = ∞₁ + ∞₂;
000026 | √(dw/u): Σp − K, was nach (4) ebenfalls S₀ ist.
000027 | 
000028 | Die lokalen Ordnungen an allen sechs Verzweigungspunkten sind exakt geprüft. Daraus definiere ich
000029 | 
000030 | S_{S₀}(x,y) = ½ [ √(u dw)_x √(dw/u)_y + √(dw/u)_x √(u dw)_y ] / (w_x − w_y).
000031 | 
000032 | Eigenschaften.
000033 | 
000034 | S ist antisymmetrisch.
000035 | Auf der Diagonale hat S einen einfachen Pol mit Residuum 1.
000036 | Bei y = ι(x) hebt sich der Zähler weg, also entsteht dort kein Pol.
000037 | An den beiden ∞-Punkten heben sich die einfachen Pole gegen 1/(w_x − w_y) auf.
000038 | 
000039 | Eindeutigkeit. Die Differenz zweier solcher Kerne liegt in H⁰(S₀) ⊗ H⁰(S₀) = 0. Damit ist S der Szegőkern von S₀, festgelegt allein durch die Originaldaten u und die q|p-Partition.
000040 | 
000041 | 3. Satz N: Die Nullmoden sind die markierten Propagatorbeine
000042 | 
000043 | Verschwinden. √(u dw) hat an jedem q eine einfache Nullstelle, √(dw/u) an jedem p. Daraus folgt:
000044 | 
000045 | S(q_b, q_a) = 0 für a ≠ b;
000046 | S(p_b, p_a) = 0 für a ≠ b;
000047 | S(q_a, p_b) ≠ 0.
000048 | 
000049 | Das ist dasselbe wie θS₀ ⊗ L_a = θT_a = 0 über die Fay-Formel, denn q_a − q_{a+1} ist genau L_a.
000050 | 
000051 | Der Nullmodus. Der Schnitt S(·, q_a) ist ein S₀-Schnitt mit einfachem Pol bei q_a, und er verschwindet bei q_{a+1}. Er liegt also in H⁰(S₀ ⊗ O(q_a − q_{a+1})) = H⁰(T_a) und ist dessen einziger Erzeuger:
000052 | 
000053 | s_a = √(u dw)/(w + ωᵃ).
000054 | 
000055 | Die Divisoren sind exakt nachgerechnet:
000056 | 
000057 | als S₀-Schnitt: −q_a + q_{a+1} + q_{a+2}, an allen p und ∞ von Ordnung 0;
000058 | als T_a-Schnitt: genau q_{a+2}, also T_a ≅ O(q_{a+2}), wie im Review.
000059 | 
000060 | Der Kokern H¹(T_a) ≅ H⁰(S₀ ⊗ O(q_{a+1} − q_a))* wird entsprechend vom Bein S(·, q_{a+1}) erzeugt.
000061 | 
000062 | Antwort auf deine Prüffrage. Ja. Die alten markierten Punkte liefern die Nullrichtungen wörtlich: Jede ist ein S₀-Propagator, der an einem q-Punkt angesetzt ist.
000063 | 
000064 | 4. Satz SM: Die Einfügungsform und der reduzierte Green-Operator
000065 | 
000066 | Twisten von S₀ mit O(p − q) entspricht der Rang-1-Aktualisierung
000067 | 
000068 | G = S − S(·, p) S(q, ·) / S(q, p),
000069 | 
000070 | die Pol bei p und Nullstelle bei q erzwingt. Für den Originaldivisor (p, q) = (q_a, q_{a+1}) gilt:
000071 | 
000072 | Nenner: S(q_{a+1}, q_a) = 0. Die Inversion wird also exakt durch den markierten Propagator singulär.
000073 | Zähler: S(·, q_a) ⊗ S(q_{a+1}, ·), also Kern ⊗ Kokern.
000074 | Punktaufspaltung: Mit q = q_{a+1} + ε in der Originalkoordinate η, die an Verzweigungspunkten ein globaler lokaler Parameter ist, gilt S(q, q_a) = κ_a·ε + O(ε²). Dann zerfällt G_ε = ε⁻¹ (s_a ⊗ s̃_a)/κ_a + G_a^red + O(ε).
000075 | 
000076 | Der endliche Teil G_a^red ist kanonisch und verlangt keine neue Wahl. Damit gibt es ein scharfes Kriterium für jeden behaupteten vollen Kern: Er muss diesen singulären Rang-1-Anteil auf den drei Nullrichtungen reproduzieren. Eine bloß formale Inverse scheitert daran.
000077 | 
000078 | Grenze. G_a^red ist ein holomorphes Objekt. Der L²-Pseudoinverse zur flachen unitären Metrik unterscheidet sich davon durch endlichrangige Projektorterme auf Kern und Kokern; diese sind ausdrücklich zu bestimmen.
000079 | 
000080 | 5. Produkte, Auswahlregel und Symmetrien
000081 | 
000082 | Produktregel. Für a ≠ b ist s_a s_b = (w + ω^c) dw/η mit c dem dritten Index. Das ist ein holomorphes Differential mit doppelter Nullstelle bei q_c. Es erzeugt den eindimensionalen Raum H⁰(K ⊗ L_c), denn T_a ⊗ T_b = K ⊗ L_a L_b = K ⊗ L_c. Die Nullmodenprodukte schließen damit nach dem V4-Gesetz.
000083 | 
000084 | Sättigungsregel. Der T_a-Nullmodus verschwindet nur bei q_{a+2}. Von den Zuordnungen „Spezies a an einen q-Punkt“ überleben genau zwei:
000085 | 
000086 | alle an ihren Nullpunkt q_a,
000087 | alle an ihren Polpunkt q_{a+1}.
000088 | 
000089 | Diese beiden Zuordnungen sind eine durch c gegebene Teilmenge. Q vertauscht sie, E₀ fixiert beide, weil alle q auf der E₀-Fixmenge liegen.
000090 | 
000091 | Q-Transport. Aus u ∘ Q = i·u folgt Q*s_a = (Achtelwurzel)·ω⁻ᵃ·s_{−a}. Das bestätigt die Warnung des Reviews: Auf den Kernräumen wirkt keine gewöhnliche C4-Matrix.
000092 | 
000093 | Hyperelliptischer Spinlift. Der Lift β hat bei q₀ die Phase +i (gegeben). Wegen c-Invarianz gilt +i an allen q. Die holomorphe Lefschetz-Formel auf S₀ mit h⁰ = h¹ = 0 erzwingt dann −i an allen p. Auf H⁰(T_a) folgt λ_a = −i·σ_a, wobei σ_a das Vorzeichen des tatsächlichen Koeffizientenlifts relativ zum kanonischen Divisorlift ist. Damit gibt es genau zwei Fälle:
000094 | 
000095 | Mit σ = +1 wirkt der Lift als Skalar −i. Das ist exakt der Typ von Q_Γ auf dem ungeraden Sektor in J_R = Q_Γ* J_HS.
000096 | Mit σ = (−1, +1, −1) aus A_q² wirkt er als (i, −i, i).
000097 | 
000098 | Welches σ gilt, ist eine reine Konventionsfrage am Original.
000099 | 
000100 | 6. Bilanz
000101 | 
000102 | Wiederverwendet: S₀, das q-Paket, Q, E₀, der Kern (3,3), der K-Lift und das Cover X.
000103 | 
000104 | Neu bewiesen:
000105 | 
000106 | Der explizite und eindeutige S₀-Szegőkern aus u.
000107 | Das exakte Verschwinden auf gleichen Bahnpaaren.
000108 | Die Nullmoden als markierte Propagatorbeine.
000109 | Die singuläre Rang-1-Einfügungsform mit kanonischem endlichem Teil.
000110 | Die Produktregel T_a ⊗ T_b → K ⊗ L_c.
000111 | Die Sättigungsauswahl.
000112 | Die Lefschetz-Phasen ±i an q und p.
000113 | 
000114 | Offen:
000115 | 
000116 | Die Abbildung dieses geschlossenen Kurvenoperators auf den P1-Operator mit APS-Domäne.
000117 | Ob die alte „Punktnormlinie“ genau diese Dipol-Einfügung ist.
000118 | Die Konvention σ.
000119 | OS-Positivität, beide Randseiten und Zeit. Ich verwende keinen Clock- oder Spektralparameter als Zeit.
000120 | 7. Nächster entscheidender Test
000121 | Punktnormlinie. Am alten Feldquellenvertrag prüfen, ob sie der Dipol (q_a, q_{a+1}) ist und ob ihre Normierung κ_a = ∂η S(q, q_a) bei q{a+1} ist. Ist sie das, ist der reduzierte Kern G^red vollständig originalbestimmt.
000122 | Vorzeichen σ. σ aus den gedruckten Kummer-Rahmen bestimmen. Damit ist entschieden, ob der Spin- mal Koeffizientenlift von h auf den drei Nullmoden gleich Q_Γ auf dem ungeraden Sektor ist; das wäre ein direkter Operatoranschluss an J_R der vorhandenen Clifford-Quelle.
000123 | Kragenabbildung. Den Pullback von G^red längs der vorhandenen Abbildung auf den Kragen gegen den bekannten festen APS-Kern G_fix testen (‖G_fix‖ ≤ 4, δG = −G δh G).
000124 | 
000125 | Bildlich: Die drei markierten Punkte sind keine Dekoration. Jede fehlende Lösung des Operators ist ein Faden, der an einem dieser Punkte festgemacht ist. Der Versuch, die Verdrehung einfach „herauszurechnen“, scheitert genau daran, dass zwischen zwei markierten Punkten kein Signal läuft. Wer diese Null sauber ausschneidet, erhält den reduzierten Operator ohne neue Wahl.