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-180
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.
000115 |   g=G3 direct_sum G2 in
000116 |      S(U(3) x U(2)):             wind det g=0, Faktor 1.
000117 | 
000118 | Der erste Fall ist die in CARRIER-MODULE-FORWARD-MAP.txt berechnete
000119 | triviale innere Fortsetzung. Der zweite benoetigt keinen Rang1 Selektor:
000120 | er ist fuer JEDEN glatten Repraesentanten dieser Determinantenklasse wahr.
000121 | Der dritte ist der volle determinantenerhaltende Carriertransport in
000122 | derselben ungewichteten Hardy Klasse. Er schliesst einen getrennt
000123 | typisierten relativen schwachen oder externen Nahtlinienfaktor nicht aus.
000124 | 
000125 | Das Original v42, Sektion012, definiert L2=det E2 und L3=det E3 auf der
000126 | normalen S2 und druckt die Klassen (c1(L2),c1(L3))=(1,0). Fuer eine wirkliche
000127 | U(2) Uebergangsmatrix des E2 bedeutet dies wind det G2=1. WENN dieselbe
000128 | Matrix auf der oben festgehaltenen Kreisquelle mit der Spurklasse aus (2)
000129 | wirkt, folgt der relative Faktor 1-z unabhaengig von Rang und Frame.
000130 | Es wird keine Matrix passend zum gewuenschten Faktor gewaehlt.
000131 | 
000132 | Die staerkere Identifikation mit dem VOLLEN Carrier muss zusaetzlich den
000133 | Originalsatz G_car=S(U(3)xU(2)) aus Sektion005 beachten. Ein Uebergang IN
000134 | DIESER GRUPPE erfuellt c1(E3)+c1(E2)=0. Die Quelle bestimmt jedoch einen
000135 | determinantenerhaltenden FASERSTABILISATOR, keine globale Reduktion aller
000136 | Uebergaenge auf G_car. Ein U(3)xU(2) Buendel mit fester aeusserer Linie
000137 | L=det E=L3 tensor L2 und c1(L)=1 hat weiterhin diesen Faserstabilisator.
000138 | Die gedruckte Klasse (1,0) ist daher konsistent. Die alten tfpt31/32
000139 | Stellen zur occupancy-and-boundary-to-bulk-bridge ordnen die Klasse bereits
000140 | dem totalen Seam Twist eins und seinem Half Angle Lift zu. Es muss hier
000141 | keine neue Kompensationslinie erfunden werden.
000142 | 
000143 | Fehlend bleibt der OPERATORanschluss dieser vorhandenen Linie. Insbesondere
000144 | ist der Kupplungsaequator der normalen S2 nicht automatisch der tangentiale
000145 | Quellkreis von B_a und C_Sigma. ADMISSIBLE-INDEX-CARRIER-SELECTOR.txt liest
000146 | diese Originalstellen und den Faserstabilisator getrennt. Die Herkunft der
000147 | minimalen Klasse wird hier als vorhandene Zweigaussage verwendet und nicht
000148 | unabhaengig neu bewiesen.
000149 | 
000150 | 5. Kleine entscheidende Kontrollen
000151 | ----------------------------------
000152 | check_pair_index_determinant.py prueft exakt mit rationalen Matrizen:
000153 | 
000154 |   * einen nichtkommutierenden Projektionswechsel mit Eigenwerten des
000155 |     Defekts 1,+4/5,-4/5: Rang3, indefinit, Index1, dennoch Faktor1-z;
000156 |   * eine positive nichtprojektive spurklassige Kovarianzaenderung auf dem
000157 |     alten unendlichen Kreis, deren endlich unterstuetzter Relativoperator
000158 |     denselben Faktor hat; U ist dabei der bilaterale Shift mit endlicher
000159 |     unitaerer Mischung, kein zyklisch abgeschlossener Shift;
000160 |   * die Unterscheidung det(diag(z,1))=z,
000161 |     det(z I2)=z^2 und det(diag(z^-1,1,1,z,1))=1;
000162 |   * die exakte logarithmische Ableitungsidentitaet aus Abschnitt1.
000163 | 
000164 | Die Matrizen verifizieren algebraische Identitaeten des bewiesenen Satzes.
000165 | Sie sind kein neues physisches Hilfsmodell und kein endlicher Beweis der
000166 | unendlichen Spurklassenannahme. Diese wird in Abschnitt3 analytisch bewiesen.
000167 | 
000168 | 6. Was dieser Anschluss schliesst und was noch zu zeigen ist
000169 | -----------------------------------------------------------
000170 | Abgeschlossen ist die skalare relative Antwort der ganzen bezeichneten
000171 | Paarindexklasse. Eine zusaetzliche Auswahl eines primitiven Eigenvektors,
000172 | eine einzelne Fouriermode oder eine Division durch die Carrierdimension
000173 | ist dafuer entbehrlich. Das bisherige positive Rang1 Resultat bleibt fuer
000174 | den besonderen alten Repraesentanten richtig, ist aber keine notwendige
000175 | Voraussetzung fuer dieselbe skalare Determinantenform.
000176 | 
000177 | Nicht automatisch abgeschlossen ist die Gleichheit mit der ORIGINALEN EM
000178 | Antwort. Dort steht eine gewoehnliche admissible Spur ueber einen positiven
000179 | Seam Transfer beziehungsweise eine gesonderte minimale Linie. Diese ist
000180 | nicht per Definition der relative Indexdeterminant aus (2). Ebenso liefert