TFPT scientific source excerpt Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/TRANSVERSE-INDEX-EM-RESPONSE.txt Original file SHA-256: 1d8758b405532f5f1e31421be142bd2759bddc3e361072581f71945a56402036 Inclusive original lines: 1-190 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 | TRANSVERSALER INDEX, EINSEITIGE QUELLE UND EM ANTWORT 000002 | ==================================================== 000003 | 000004 | Datum: 2026-10-25 000005 | Scope: begrenzter Originalquellenaudit und analytischer Typentest. 000006 | Keine Atlas, Index, Ledger oder Paper Aenderung. 000007 | 000008 | 000009 | ERGEBNIS 000010 | -------- 000011 | 000012 | Der transversale schwache Index ist ein echter positiver Anschluss, aber er 000013 | schliesst nur die topologische Haelfte der benoetigten Abbildung. 000014 | 000015 | Das Original besitzt 000016 | 000017 | * die Grad eins Kupplung g_2 auf dem Aequator der kompakten normalen S2, 000018 | * einen kompakten schwachen Operator B_{E_2} auf dieser normalen S2, 000019 | * das einseitige physische Randdatum mit D_+=gamma_n(partial_n+B_Sigma), 000020 | * den alten Kreisoperator D_Gamma und den Windungsoperator U_Gamma, 000021 | * sowie einen spaeteren projizierten Masterdeterminanten. 000022 | 000023 | Es konstruiert daraus jedoch keine Familie der normalen Operatoren ueber dem 000024 | alten Quellkreis, keine horizontale Verbindung auf ihrem Indexbuendel und 000025 | keinen Pushforward auf denselben Hilbertraum wie die Hardy beziehungsweise 000026 | KMS Kovarianz. Insbesondere sind die normale Verbindung nabla^(2), die 000027 | tangentiale Verbindung in B_Sigma und die alpha Variation von D_xi nirgends 000028 | durch eine Operatorgleichung verbunden. 000029 | 000030 | Die genaue positive Folgerung lautet deshalb: 000031 | 000032 | Wenn der transversale Pushforward eine glatte Kreiswirkung G mit 000033 | wind(det G)=1 auf DEMSELBEN Quellenraum wie C_Sigma liefert, dann folgt aus 000034 | dem bereits bewiesenen Paarindexsatz fuer jede C_Sigma-P_Hardy in L1 exakt 000035 | 000036 | det_F[(I-z M_G C_Sigma M_G*)(I-z C_Sigma)^(-1)] = 1-z. (1) 000037 | 000038 | Massive oder indefinite Quellenanteile stoeren (1) nicht. Dafuer ist weder 000039 | eine Nullmodeprojektion noch eine Abtrennung des Komplements erforderlich. 000040 | 000041 | Diese Aussage ist aber eine Aussage ueber den gerichteten relativen 000042 | Kovarianzdeterminanten. Sie ist nicht automatisch eine Aussage ueber 000043 | 000044 | Re log det_{zeta,P_adm}(D_xi^2+mu^2) (2) 000045 | 000046 | im Masterfunktional. Bei einem echten spektralen beziehungsweise Quillen 000047 | Pushforward antwortet das massive Komplement im Allgemeinen selbst auf eine 000048 | U(1) Holonomie. Eine reine Nullmodenreduktion erhaelt die volle Quelle daher 000049 | nur, wenn entweder der Komplementdeterminant samt Quillen Verbindung 000050 | mitgefuehrt wird oder seine alpha Ableitung im selben relativen 000051 | Renormierungsvertrag nachweislich verschwindet. Das Original beweist keine 000052 | dieser beiden Alternativen. 000053 | 000054 | 000055 | 1. DIE DREI OPERATORARTEN SIND IM ORIGINAL VERSCHIEDEN 000056 | ------------------------------------------------------ 000057 | 000058 | 1.1 Transversaler schwacher Block 000059 | 000060 | `documents/archive--paper-latex--tfpt-42/sections/ 000061 | 012-subsection-bosonic-relative-index-and-higgs-selection.tex:3-31,96-180` 000062 | definiert auf der kompakten normalen Sphaere 000063 | 000064 | S2_N = D_N union_{S1_N} D_S, 000065 | L_2=det E_2, 000066 | g_2(phi)=exp(i phi), 000067 | B_{E_2}=sigma^mu nabla_mu^(2)+Phi_2. 000068 | 000069 | Der Text setzt c1(L_2)=1 und Ind(B_{E_2}^+)=1. Der angegebene Aequator 000070 | S1_N ist der Kupplungsaequator der NORMALEN Sphaere. Der Text schreibt keine 000071 | Familie B_{E_2,theta} mit theta auf dem alten Quellkreis hin. Auch der 000072 | angefuehrte Raum H0(S2,O(1))=C2 ist kein konstruierter Spektralprojektor des 000073 | Operators B_{E_2}; der Originalbeweis benutzt ihn als Zaehler fuer ein 000074 | schwaches Dublett. Fuer einen analytischen Pushforward fehlen weiterhin 000075 | Domain, Kernprojektion und Familienverbindung. 000076 | 000077 | 1.2 Einseitiger physischer Randoperator 000078 | 000079 | `documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/ 000080 | sections/001-section-primitive-core-and-carrier-interface-handoff.tex:65-110` 000081 | definiert dagegen 000082 | 000083 | T_boundary=(A_+,H_+,D_+,J,Gamma,B_Sigma), 000084 | D_+=gamma_n(partial_n+B_Sigma). 000085 | 000086 | P_C ist dort der Calderon Projektor der Cauchydaten von D_+ auf Sigma. Weder 000087 | B_{E_2} noch nabla^(2) oder g_2 kommt in dieser Definition vor. Die 000088 | fakultative fastkommutative Faktorisierung H=L2(M~,S) tensor H_int wird in 000089 | Zeilen 83 bis 91 ausdruecklich als analytische Realisierungswahl und nicht als 000090 | Teil des Randdatums bezeichnet. 000091 | 000092 | 1.3 Alter Kreisoperator 000093 | 000094 | `documents/archive--paper-latex--tfpt-theory-fullv21/sections/ 000095 | 001-section-introduction-the-problem-of-parameters.tex:225-251` schreibt 000096 | 000097 | D_Gamma=i partial_theta, 000098 | U_Gamma(theta)=exp(i theta) 000099 | 000100 | auf dem alten Kreis. Nach der bereits geprueften Orientierungskorrektur ist 000101 | B_a=-D_Gamma der Kreisgenerator, dessen negative Seepolarisation mit M_z den 000102 | Paarindex eins besitzt. Das liefert den richtigen K1 Vertreter. Das Original 000103 | gibt aber keine Isometrie 000104 | 000105 | V: L2(S1_N,L_2|S1_N) -> H_Gamma 000106 | 000107 | und keine Gleichung V M_{g_2} V*=U_Gamma. Gleiche Windungszahl ist die 000108 | notwendige K Klasse, noch keine gemeinsame Operatorwirkung, Domain oder 000109 | Verbindung. 000110 | 000111 | 000112 | 2. WAS EIN TRANSVERSALER PUSHFORWARD ZUSAETZLICH BRAUCHT 000113 | -------------------------------------------------------- 000114 | 000115 | Ein wirklicher Familienindexanschluss muesste eine normale Faserung ueber dem 000116 | Quellkreis und eine Fredholmfamilie liefern, schematisch 000117 | 000118 | pi:N -> Gamma, 000119 | theta -> B_{E_2,theta}^+. 000120 | 000121 | Dann ist 000122 | 000123 | Ind(B_{E_2}^+) = [ker B^+] - [ker B^-] 000124 | 000125 | ein K0 Buendel ueber Gamma. Der Zahlenindex eins fixiert nur den virtuellen 000126 | Rang. Er fixiert weder die Parallelverschiebung des Indexbuendels noch die 000127 | Holonomie seiner Determinantenlinie. Fuer den benoetigten Quellenoperator 000128 | muessen zusaetzlich festliegen: 000129 | 000130 | * eine horizontale Verbindung der normalen Familie; 000131 | * glatte Kern beziehungsweise Spektralprojektionen; 000132 | * die Bismut Freed beziehungsweise Quillen Verbindung einschliesslich des 000133 | massiven Spektralanteils; 000134 | * eine Identifikation ihres Kreisparalleltransports mit M_{g_2}; 000135 | * die Wirkung dieses Operators auf demselben H wie C_Sigma. 000136 | 000137 | Die einzelne normale S2 in Abschnitt 012 liefert keine solche Familie. Auch 000138 | eine Linie vom virtuellen Rang eins ueber S1 ist topologisch trivial; ihr 000139 | relevantes Kreisdatum ist die Verbindungsholonomie. Diese folgt nicht allein 000140 | aus dem Zahlenindex der normalen Faser. 000141 | 000142 | Der positive topologische Zusammenhang bleibt bestehen: g_2 selbst ist ein 000143 | expliziter Grad eins Loop und damit genau die richtige K1 Klasse fuer (1). 000144 | Was fehlt, ist nicht eine neue Klasse, sondern ihr originaler 000145 | Darstellungs beziehungsweise Pushforwardpfeil. 000146 | 000147 | Eine hinreichende natuerliche Realisierung waere ein im Original 000148 | bereitgestelltes Produktkollar Gamma x S2_N mit Produktverbindung. Schreibe 000149 | B_a=-i partial_theta+a auf Gamma, D_N fuer den chiralen normalen Operator und 000150 | 000151 | mathcal D_s=(B_a+s) gamma_N + D_N, 0<=s<=1. (2a) 000152 | 000153 | Auf einem normalen Nichtnullpaar mit Eigenwerten +/-lambda besitzt dieser 000154 | Operator die symmetrischen Eigenwerte 000155 | 000156 | +/-sqrt((n+a+s)^2+lambda^2). 000157 | 000158 | Diese Bloecke tragen keinen Spektralfluss durch null. Die normalen Nullmoden 000159 | tragen dagegen jeweils den Kreisfluss, mit dem orientierten Saldo 000160 | 000161 | SF(mathcal D_s) = dim ker D_N^+ - dim ker D_N^- 000162 | = Ind(D_N^+). (2b) 000163 | 000164 | Damit wuerde ein normaler Index eins den tangentialen Paarindex eins liefern, 000165 | ohne den normalen Aequator mit Gamma gleichzusetzen. Das ist das kleinste 000166 | positive Produkttheorem hinter der Pushforwardidee. Es ist im Original nicht 000167 | instanziiert: Gamma x S2_N, die Produktconnection, die gemeinsame Domain und 000168 | die Familie (2a) werden dort nicht angegeben. 000169 | 000170 | Aus (2b) folgt ausserdem keine eindeutige Nullmode. Ein Rang zwei Buendel vom 000171 | Grad eins kann auf CP1 beispielsweise als 000172 | 000173 | E_2=O(k) direct_sum O(1-k), k>=1, 000174 | 000175 | splitten. Fuer den spinverschobenen Dolbeaultoperator auf 000176 | E_2 tensor O(-1) sind dann 000177 | 000178 | dim ker D_N^+=k, dim ker D_N^-=k-1, 000179 | 000180 | also stets Index eins, aber nur bei k=1 eine einzelne positive Nullmode ohne 000181 | negative Partner. Die originale Determinantenklasse fixiert Grad und Index, 000182 | nicht diese Splittingklasse oder die beiden Kerndimensionen. 000183 | 000184 | Schliesslich ist (2b) eine Spektralfluss beziehungsweise Indexaussage, noch 000185 | keine gewoehnliche Fredholmdeterminantenformel auf dem dreidimensionalen 000186 | Produkt. Fuer die vollen Spektralprojektionen muss zuerst die relevante 000187 | Schattenklasse geprueft werden. Auf einem dreidimensionalen kompakten Produkt 000188 | ist eine generische Differenz von Dirac Spektralprojektionen der Ordnung -1 000189 | nicht automatisch spurklassig. Der eindimensionale Paarindexdeterminant (1) 000190 | darf daher erst nach einem bewiesenen Pushforward auf den Kreis oder mit einer