TFPT scientific source excerpt Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/CALLIAS-KERNEL-SOURCE-TYPE.txt Original file SHA-256: f0bda8e52a0f0a9f3cce74aeb3a3245d37ac3bd0090c275556579e168ae28f86 Inclusive original lines: 1-164 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 | CALLIAS KERN UND TATSAECHLICHE QUELLKOMPONENTEN 000002 | ============================================= 000003 | 25. Oktober 2026 000004 | MATH.ORIGINAL-SEAM.CALLIAS-PRODUCT-TYPE.01 000005 | 000006 | Frage und Ergebnis 000007 | ----------------- 000008 | Kann die bereits originale bosonische Calliasrechnung den zusaetzlichen 000009 | Spinoperator auf der normalen Determinantenlinie ersetzen? 000010 | 000011 | Ein echter geschlossener normaler Fredholmoperator reicht mathematisch 000012 | fuer den Produkttransport aus. Der besondere kompakte Spinoperator ist 000013 | also keine universelle notwendige Voraussetzung. Er ist eine ausdrueckliche 000014 | ausreichende Realisierung. Die originale bosonische Zahl eins darf jedoch 000015 | nicht als belegte komplexe Kerndimension eins in diesen Satz eingesetzt 000016 | werden. Die spaetere Originalfassung zaehlt ausdruecklich ein zweikomponentiges 000017 | schwaches Dublett als eine Spezies. Ausserdem bleiben der wirkliche geschlossene 000018 | Operator, seine adjungierte Chiralkomponente und die gemeinsame Produktquelle 000019 | festzulegen. Dies ist eine Anwendung des frueheren Typaudits auf den jetzt 000020 | bewiesenen Paarindextransport, keine neue Entdeckung der alten Higgs Luecke. 000021 | 000022 | 1. Was der Originaltext tatsaechlich zaehlt 000023 | ------------------------------------------ 000024 | v32 Abschnitt007:165-212 definiert 000025 | 000026 | B_Ea = sigma^mu nabla_mu^(a) + Phi_a. 000027 | 000028 | Unter asymptotischer Invertierbarkeit und ausdruecklichen positiven Luecken 000029 | fuer B_E2^- und B_E3^+/- werden Index1, dim ker B_E2^+=1 und ein bosonisches 000030 | schwaches Dublett (1,2)_(1/2) behauptet. Getrennte geschlossene Domainen fuer 000031 | B^+ und B^- sowie B^-=(B^+)* werden dort nicht definiert. Die Ungleichung 000032 | (B^-)^dagger B^- >= m^2 setzt diese letzte Gleichheit nicht ein. 000033 | 000034 | v42 Abschnitt012:114-169 macht die spaetere Zaehlkonvention eindeutig: 000035 | 000036 | H0(S2,O(1)) = C^2, H1(S2,O(1)) = 0, 000037 | chi(O(1)) = 2. 000038 | 000039 | Der Text bezeichnet den zweidimensionalen Nullraum ausdruecklich als ein 000040 | komplexes schwaches Dublett und verbucht diesen als bosonischen Index1. 000041 | Das ist eine Dublettmultiplizitaet, nicht der gewoehnliche komplexe 000042 | Fredholmindex desselben Dolbeaultoperators. Diese spaetere Konvention 000043 | repariert auch keine im aelteren v32 fehlende Domain oder Adjungiertenstruktur. 000044 | 000045 | 2. Der allgemeine ausreichende Produkttransport 000046 | ------------------------------------------------ 000047 | Sei A:Dom(A) subset H_+ -> H_- dicht definiert, geschlossen und Fredholm, 000048 | M=ker A endlichdimensional, ker A*=0. Mit 000049 | 000050 | D_C = [[0,A*],[A,0]], Dom(D_C)=Dom(A) direct_sum Dom(A*), 000051 | gamma=diag(I,-I) 000052 | 000053 | ist D_C selbstadjungiert und {D_C,gamma}=0. Die Selbstadjungiertheit folgt 000054 | direkt aus A**=A: Der adjungierte Block hat dieselben beiden Domainen. 000055 | Der Nullraum ist M direct_sum 0 und besitzt positive Graduierung. 000056 | 000057 | Der WIRKLICH GEGEBENE Produktoperator sei 000058 | 000059 | B = B_a tensor gamma + I tensor D_C, B_a=-i partial_theta+a. 000060 | 000061 | Seine natuerliche Domain ist die Schnittdomain beider Summanden. Im 000062 | Kreisfourierraum ist er die selbstadjungierte direkte Summe 000063 | 000064 | direct_sum_(n in Z) [(n+a)gamma+D_C]. 000065 | 000066 | Die Domainbedingung lautet 000067 | 000068 | sum_n [(n+a)^2 ||psi_n||^2 + ||D_C psi_n||^2] < infinity. 000069 | 000070 | Dies folgt aus der Antikommutation und enthaelt die ganze Operatorinformation; 000071 | auf einer nichtkompakten Calliasscheibe ist sie nicht automatisch die Domain 000072 | eines zuvor kompaktifizierten Kugeloperators. 000073 | 000074 | Die kanonische Einbettung 000075 | 000076 | V:L2(S1) tensor M -> L2(S1) tensor (H_+ direct_sum H_-) 000077 | 000078 | erfuellt auf dieser Domain 000079 | 000080 | B V=V(B_a tensor I_M). 000081 | 000082 | Ihr Bild reduziert B. Daher werden alle Kreisfrequenzen, der volle 000083 | Funktionalkalkuel und alle zugehoerigen Kovarianzen exakt transportiert. 000084 | Es braucht dazu keinen ausgewaehlten Basisvektor in M. Fuer r=dim_C M 000085 | liefert die skalare Kreiswindung u tensor I_M in der gewoehnlichen komplexen 000086 | Spurklasse des REDUZIERTEN Kreises mit 000087 | P=1_(B_a<0) tensor I_M, U=u tensor I_M und |z|<1 000088 | 000089 | Tr(U P U*-P)=r, 000090 | det_F[(I-z U C U*)(I-z C)^(-1)]=(1-z)^r. (1) 000091 | 000092 | Hier C-P spurklassig und 0<=C<=I; der etablierte Paarindexsatz wird angewandt. 000093 | Dies ist keine Aussage ueber einen Fredholmdeterminanten des vollstaendigen 000094 | nichtkompakten Produktes oder seine thermische Spurklasse. 000095 | 000096 | 3. Kleinster Test der schwachen Darstellung 000097 | -------------------------------------------- 000098 | Ist M bei festem A ein erhaltenes irreduzibles schwaches SU(2) Dublett, 000099 | so r=2 und Hom_SU(2)(C,M)=0. Schon das zentrale -I wirkt auf M als -I und 000100 | auf einer trivialen Linie als +I. Ein Intertwiner v muesste -v=v erfuellen, 000101 | also v=0. Es gibt keine SU(2) aequivariante skalare Linie in diesem Dublett. 000102 | Unter genau diesem gegebenen skalaren Windungs und Spurvertrag folgt 000103 | aus (1) deshalb (1-z)^2 statt1-z. 000104 | 000105 | Die Determinante det M=Lambda^2 M ist zwar ein SU(2) Singulett, aber kein 000106 | linearer Teilraum von M. Bei Hyperladung1/2 je Komponente besitzt sie 000107 | Hyperladung1. Ihre Verwendung braucht eine wirkliche aeussere Potenz oder 000108 | Determinantenabbildung samt Quellenrolle, keine Umbenennung einer Komponente. 000109 | Ein SU(2) Singulett ist nicht automatisch insgesamt neutral. 000110 | 000111 | Das schliesst andere Operatorfamilien, gebrochene Hintergruende oder einen 000112 | wirklich gegebenen nichtskalaren U(2) Clutch mit Determinantenwindung1 nicht 000113 | aus. Die schon bewiesene Matrixclutchformel zaehlt weiterhin wind det g, 000114 | nicht allgemein den inneren Rang. Hier wurde ausschliesslich u I_M untersucht. 000115 | 000116 | 4. Was die Anwendung auf TFPT weiter nachweisen muss 000117 | ---------------------------------------------------- 000118 | Das Original bezeichnet seinen Modus als BOSONISCH. Eine lineare 000119 | Hilbertraumeinbettung oder der Zahlenindex waehlt keine CAR Statistik und 000120 | keinen Operator fuer eine fermionische physische Quelle. Die Feldabbildung 000121 | muss Ladung, Graduierung, Statistik, Zeit, Zustand und Domain erhalten. 000122 | 000123 | Das spaetere Randdatum hat D_+=gamma_n(partial_n+B_Sigma); es erklaert eine 000124 | Faktorisierung L2(M,S) tensor H_int ausdruecklich zur Realisierungswahl. 000125 | Diese normale Kragenkoordinate definiert weder eine zweite Familie 000126 | Gamma mal N_Seam noch den obigen Callias Produktoperator. 000127 | 000128 | Der konkrete naechste Identitaetstest ist deshalb: 000129 | 000130 | Originaler tangentialer B_Sigma und seine Feldabbildung 000131 | -> tatsaechlicher normaler geschlossener Operator A oder D_N 000132 | -> seine komplexe KernDARSTELLUNG samt horizontaler Verbindung 000133 | -> volle reduzierende Kreisquelle oder exakter Kopplungsrest. 000134 | 000135 | Die Ersetzung durch eine freie Produktquelle wird nicht vorgenommen. 000136 | Ebenso bleiben Komplementantwort, Originalmass und reale EM Variation 000137 | offen. Der normale Spinlinienweg bleibt als ausreichende alternative 000138 | Realisierung erhalten; seine Auswahl ist kein bewiesener Ursprungsschritt. 000139 | 000140 | Originalquellen und Wiederverwendung 000141 | ------------------------------------- 000142 | documents/archive--paper-latex--tfpt-32/sections/ 000143 | 007-subsection-occupancy-and-boundary-to-bulk-bridge.tex:165-212 000144 | SHA256 ee0f3ecd2776f594d9c0cc4ac5c9acae8835b29ae1254414431b234efd4d0e76 000145 | 000146 | documents/archive--paper-latex--tfpt-42/sections/ 000147 | 012-subsection-bosonic-relative-index-and-higgs-selection.tex:96-180 000148 | SHA256 8140f7618b51292b8acf79fdc999cac9482842626ed07db4edb54dc91c9499d6 000149 | 000150 | documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/ 000151 | 001-section-primitive-core-and-carrier-interface-handoff.tex:65-91 000152 | SHA256 7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79 000153 | 000154 | seam-joint-source-origin-audit-20261016/PROOF.txt:52-82: 000155 | Bereits vorhandener Higgs/Carrier Typaudit, ausdruecklich wiederverwendet. 000156 | PAIR-INDEX-DETERMINANT.txt: allgemeiner Paarindexsatz fuer (1). 000157 | NORMAL-INDEX-TRANSPORT.txt: exakte reduzierende Produktabbildung und 000158 | getrennte volle kompakte Produktantwort. Deren kompakte Spurklassenannahmen 000159 | werden hier nicht auf die nichtkompakte Calliasscheibe uebertragen. 000160 | 000161 | Originalpassagen und kleinster SU(2)/Komponententest wurden unabhaengig 000162 | mit dem bestehenden Originalquellenreviewer abgeglichen. Bedingter 000163 | mathematischer Anschluss, Gesamtverdict PARTIAL, kein physisches Gate 000164 | geschlossen und keine Ledgerpromotion.