TFPT scientific source excerpt Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/PAIR-INDEX-DETERMINANT.txt Original file SHA-256: 7c7dc9d48a96a140afeb72ddb2d0e6ae2f37e73e6260426544b9a94d7abac04d Inclusive original lines: 1-114 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 | PAARINDEX, DETERMINANTENKLASSE UND DIE URSPRUENGLICHE NAHTANTWORT 000002 | ================================================================ 000003 | 25. Oktober 2026 000004 | MATH.ORIGINAL-SEAM.PAIR-INDEX.01 000005 | MATH.ORIGINAL-SEAM.CARRIER-CLUTCH-INDEX.01 000006 | 000007 | Ergebnis und genaue Aenderung des bisherigen Anschlusses 000008 | ------------------------------------------------------- 000009 | Der gerichtete relative Determinant braucht keine ausgezeichnete Rang1 000010 | Linie. Zwei orthogonale Polarisationen mit spurklassiger Differenz und 000011 | Paarindex eins genuegen. Auch ein indefiniter Defekt beliebigen Ranges kann 000012 | denselben skalaren Faktor 1-z liefern. Das schwaecht die Voraussetzung fuer 000013 | diesen Faktor, ohne eine neue physische Zustandswahl vorzunehmen. 000014 | 000015 | Auf einem Kreis mit r inneren Komponenten zaehlt der Faktor die Windung der 000016 | DETERMINANTE des wirklichen Matrix Clutch, nicht r selbst. Insbesondere kann 000017 | ein Rang2 Buendel mit Determinantenwindung eins den Faktor 1-z tragen. Die 000018 | skalare Fortsetzung u tensor I_r hat dagegen Determinantenwindung r. 000019 | 000020 | Das ist eine Anwendung bekannter Paarindex und Toeplitzmathematik auf die 000021 | bisher getrennten Originalstellen. Keine allgemeine mathematische Neuheit 000022 | wird beansprucht. Die Quellenfunktion, ihre physische Realisierung und das 000023 | EM Wardgesetz werden dadurch nicht automatisch identifiziert. 000024 | 000025 | 1. Allgemeiner Satz fuer zwei Polarisationen 000026 | -------------------------------------------- 000027 | Seien P,Q orthogonale Projektionen auf demselben Hilbertraum mit 000028 | 000029 | Q-P in L1, k=Tr(Q-P). 000030 | 000031 | Der Paarindexsatz besagt k in Z. Mit der Konvention Index(P,Q)=Tr(P-Q) 000032 | von Avron, Seiler und Simon ist unser k=-Index(P,Q). Fuer |z|<1 sei 000033 | 000034 | A_P=I-zP, A_Q=I-zQ, R=A_Q A_P^(-1). 000035 | 000036 | Dann R-I=-z(Q-P)A_P^(-1) in L1 und 000037 | 000038 | det_F R = (1-z)^k. (1) 000039 | 000040 | Beweis ohne Quotienten undefinierter unendlicher Determinanten: 000041 | Alle A sind invertibel. Weil P,Q Projektionen sind, 000042 | 000043 | A_P^(-1)P=P/(1-z), A_Q^(-1)Q=Q/(1-z). 000044 | 000045 | Direkte Differentiation liefert die spurklassige Identitaet 000046 | 000047 | R' R^(-1)=A_Q [(P-Q)/(1-z)] A_Q^(-1). 000048 | 000049 | Zyklizitaet der Spur eines spurklassigen Operators mit beschraenkten 000050 | Faktoren ergibt 000051 | 000052 | d_z Log det_F R = -k/(1-z). 000053 | 000054 | Mit det_F R(0)=1 und dem holomorphen Logarithmus Log(1)=0 folgt (1). 000055 | Weder PQ=QP noch Q>=P, endlicher Rang oder ein gewaehlter Defektvektor 000056 | wurden verwendet. Bei k=1 bestimmt (1) keinen solchen Vektor. 000057 | 000058 | 2. Jede vorhandene Kovarianz derselben Spurklasse 000059 | ------------------------------------------------ 000060 | Sei U unitaer, Q=UPU*, Q-P in L1, und sei 0<=C<=I mit C-P in L1. 000061 | Setze A_C=I-zC und A_C'=I-zUCU*. Dann 000062 | 000063 | A_C' A_C^(-1) 000064 | = [U(A_C A_P^(-1))U*] 000065 | [A_Q A_P^(-1)] [A_P A_C^(-1)]. 000066 | 000067 | Jede Klammer ist Identitaet plus Spurklasse. Multiplikativitaet und unitaere 000068 | Invarianz des Fredholmdeterminanten lassen die erste und letzte Klammer 000069 | exakt kuerzen. Deshalb 000070 | 000071 | det_F[(I-zUCU*)(I-zC)^(-1)] = (1-z)^k. (2) 000072 | 000073 | Die zuvor bewiesene alte Verschiebung und ihre treuen KMS Kovarianzen sind 000074 | Spezialfaelle. Neu im Anschluss ist, dass U keine uniforme Verschiebung und 000075 | UPU*-P keine positive Rang1 Projektion sein muss. Ein konkreter Zustand C 000076 | wird nicht rekonstruiert: alle C dieser Klasse haben denselben Faktor. 000077 | 000078 | 3. Glatter Matrix Clutch auf dem vollstaendigen Originalkreis 000079 | ------------------------------------------------------------ 000080 | Behalte den alten Kreis mit Basis psi_n, n in Z, und 000081 | 000082 | H=L2(S1) tensor C^r, P psi_n=1_(n<0) psi_n. 000083 | 000084 | Sei g:S1 -> U(r) glatt, U=M_g und g(theta)=sum_j g_j exp(ij theta). 000085 | Fuer den bilateralen Shift S gilt ||[P,S^j]||_1=|j|. Daher 000086 | 000087 | ||[P tensor I_r,M_g]||_1 <= sum_j |j| ||g_j||_1 < infinity. 000088 | 000089 | Q-P ist also spurklassig. Die Fourierdiagonale liefert absolut konvergent 000090 | 000091 | Tr(Q-P)=sum_j j tr(g_j* g_j) 000092 | =(1/(2pi i)) integral tr(g(theta)* g'(theta)) dtheta 000093 | =wind(det g). (3) 000094 | 000095 | Im ersten Ausdruck ist die Matrixspur auf den r inneren Komponenten 000096 | gemeint. Die letzte Gleichheit folgt aus der Jacobi Formel fuer det g. 000097 | Somit fuer jede vorhandene C mit C-P in L1: 000098 | 000099 | det_rel(g,C;z)=(1-z)^(wind det g). (4) 000100 | 000101 | Das gilt auf allen Fouriermoden. Ein endlich zyklisch abgeschnittener 000102 | Shift ist ein anderes Paar mit Index null; sein UV Partner darf nicht 000103 | unbemerkt entfernt werden. Siehe NS-CONTINUUM-WINDING-LIMIT.txt. 000104 | 000105 | Fuer r=1 ergibt (3) wind(u). Auch nichtuniforme glatte unimodulare 000106 | Vertreter mit derselben Windung liefern daher denselben Faktor. Die 000107 | Energieauswahl eines uniformen Vertreters ist fuer (4) nicht noetig. 000108 | 000109 | 4. Der Carrier muss seine wirkliche Clutchwirkung behalten 000110 | --------------------------------------------------------- 000111 | Folgende Faelle sind verschieden: 000112 | 000113 | g=u I_r, wind(u)=1: wind det g=r, Faktor (1-z)^r. 000114 | g in U(2), wind det g=1: Faktor 1-z.