TFPT scientific source excerpt Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/NORMAL-CLUTCH-TO-SOURCE-PUSHFORWARD.txt Original file SHA-256: f3ff2fce59e3f39d1be5884f995f454ecd3db184b286b903a63f91938c3236f2 Inclusive original lines: 1-170 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 | TFPT: normaler Grad-eins-Clutch und tangentiale Kreisquelle 000002 | Datum: 25. Oktober 2026 000003 | Verdict: BEDINGT POSITIVER PUSHFORWARD; DIE ORIGINALABBILDUNG IST NICHT DEFINIERT 000004 | 000005 | Fragestellung 000006 | ============= 000007 | 000008 | Kann die im Original vorhandene Determinantenlinie L2 mit c1(L2)=1 auf der 000009 | kompaktifizierten normalen S2 eine kanonische transversale Indexlinie vom Rang 000010 | eins liefern, die den gesamten alten tangentialen Kreisoperator D_Gamma traegt? 000011 | Entscheidend ist eine Operatorabbildung. Die Gleichheit zweier Windungszahlen 000012 | oder zweier Kreisparameter reicht nicht. 000013 | 000014 | Ergebnis 000015 | ======== 000016 | 000017 | 1. BEWIESEN: Auf der Spin-Sphaere S2 ist der mit der DETERMINANTENLINIE 000018 | L2=O(1) gekoppelte echte Spin-Diracoperator transversal von Index eins und 000019 | hat genau eine positive Nullmode: 000020 | 000021 | S_plus = K^(1/2)=O(-1), 000022 | S_plus tensor L2 = O, 000023 | ker D_perp_plus = H0(S2,O)=C, 000024 | coker D_perp_plus = H1(S2,O)=0. 000025 | 000026 | Die chirale Indexlinie dieses LINIENoperators ist daher kanonisch 000027 | eindimensional, bis auf die Phase eines normierten Erzeugers. 000028 | 000029 | Das gilt nicht automatisch fuer den Spin-Diracoperator mit dem ganzen 000030 | rangzweiten E2 als Twist. Aus det E2=O(1) folgt fuer diesen Operator nur 000031 | der Index eins. Bereits die Zerlegungen 000032 | 000033 | E2=O(k) direct_sum O(1-k), k>=1, 000034 | 000035 | haben alle dieselbe Determinante, aber 000036 | 000037 | dim ker D_(S2,E2)_plus=k, 000038 | dim ker D_(S2,E2)_minus=k-1. 000039 | 000040 | Der Originaltext fixiert keine holomorphe Zerlegung oder Lueckenbedingung, 000041 | die daraus den Kernrang eins des vollen E2-Operators machen wuerde. 000042 | 000043 | 2. BEWIESEN: Das im spaeteren Original verwendete 000044 | 000045 | H0(S2,O(1))=C^2 000046 | 000047 | ist ein anderer Operatortrager. Beim kanonischen komplexen Spin-c-Dolbeault- 000048 | operator, mit W_plus=Lambda^(0,0) und Twist O(1), ist der Index 000049 | 000050 | chi(O(1)) = dim H0(O(1))-dim H1(O(1)) = 2. 000051 | 000052 | Diese zwei Komponenten sind die skalaren holomorphen Abschnitte, die der Text 000053 | als ein schwaches Dublett liest. Sie sind nicht der eindimensionale Kern des 000054 | oben gekoppelten Spin-Diracoperators. Die gedruckte Folge 000055 | H0(O(1))=C^2 und danach Ind(B_E2_plus)=1 zaehlt ein internes Dublett als ein 000056 | physisches Objekt; sie ist keine Fredholm-Indexgleichung fuer denselben 000057 | Dolbeaultoperator. 000058 | 000059 | 3. BEWIESEN UNTER EINER KLAR BENANNTEN ZUSATZVORAUSSETZUNG: Wenn ein wirklicher 000060 | originaler Produktoperator mit dem Determinantenlinienoperator aus Punkt 1 000061 | 000062 | B_prod = B_a tensor gamma_N + I tensor D_N, 000063 | {gamma_N,D_N}=0, 000064 | 000065 | auf dem tangentialen Kreis mal der normalen Spin-Sphaere gegeben ist, dann 000066 | ist seine Domaene die genuine Produktdomaene H1 des gekoppelten 000067 | Diracoperators. Der skalare Kreisraum ist ungraduiert; eine gamma_Gamma wird 000068 | weder benoetigt noch vorausgesetzt. 000069 | 000070 | Sei chi eine normierte positive normale Nullmode, 000071 | 000072 | gamma_N chi=+chi, D_N chi=0, 000073 | 000074 | und V_chi f=f tensor chi. Dann gilt auf Dom(B_a) 000075 | 000076 | B_prod V_chi = V_chi B_a. (1) 000077 | 000078 | Der Projektor F=V_chi V_chi^*=I tensor |chi>