TFPT scientific source excerpt Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/NORMAL-INDEX-TRANSPORT.txt Original file SHA-256: f66b65fb9e23a2fe97c95ad924bd6ee39ea9c182111031392010cf4507620099 Inclusive original lines: 1-98 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 | NORMALE INDEXLINIE UND VOLLSTAENDIGE KREISQUELLE 000002 | =============================================== 000003 | 25. Oktober 2026 000004 | MATH.ORIGINAL-SEAM.NORMAL-INDEX-TRANSPORT.01 000005 | MATH.ORIGINAL-SEAM.NORMAL-HOLONOMY-CRITERION.01 000006 | MATH.ORIGINAL-SEAM.FULL-PRODUCT-TRACECLASS.01 000007 | 000008 | Ergebnis und erste zusaetzliche Voraussetzung 000009 | -------------------------------------------- 000010 | Die normale Kupplungssphaere muss nicht mit dem tangentialen Quellkreis 000011 | gleichgesetzt werden. Es gibt einen natuerlichen analytischen Indextransport, 000012 | wenn dieselbe Quelle tatsaechlich einen entsprechenden Produktoperator traegt. 000013 | Eine solche Operatoridentifikation wird in den geprueften Originalstellen 000014 | nicht definiert. Die folgenden Saetze bestimmen exakt, was sie leisten wuerde, 000015 | und welche Quellantwort sie nicht automatisch erhaelt. Es wird keine neue 000016 | physische Quelle gewaehlt oder auf einen Zielwert angepasst. 000017 | 000018 | Die erste Zusatzvoraussetzung ist D_N=D_spin(S2) gekoppelt an L2=det E2. 000019 | Die vorhandene bosonische B_E2 und die Abschnittsrechnung H0(O(1)) definieren 000020 | diesen Spinoperator nicht. Danach braucht es eine originale normale Familie 000021 | ueber dem Quellkreis und deren Produkt oder Familienverbindung. 000022 | 000023 | 1. Welcher normale Operator hat eine einzelne Nullmode? 000024 | ------------------------------------------------------ 000025 | Auf der orientierten Spin S2=CP1 ist K^(1/2)=O(-1). Fuer die originale 000026 | Determinantenlinie L2=O(1) folgt beim echten getwisteten Spinoperator 000027 | 000028 | ker D_(N,L2)^+ = H0(O(-1) tensor O(1)) = H0(O) = C, 000029 | ker D_(N,L2)^- = H1(O) = 0. (1) 000030 | 000031 | Die Normalnullmode ist eine kanonische Linie; ein normierter Erzeuger chi 000032 | ist nur bis auf Phase bestimmt. Keine Kreis Fouriermode wurde ausgewaehlt. 000033 | 000034 | Fuer den vollen E2 Twist ist die Aussage staerker als seine Determinante: 000035 | E2=O(k) direct_sum O(1-k), k>=1, hat weiterhin det E2=O(1), aber 000036 | 000037 | dim ker D_(N,E2)^+ = k, 000038 | dim ker D_(N,E2)^- = k-1. (2) 000039 | 000040 | Sein Index ist immer eins. Dagegen hat der skalare beziehungsweise komplexe 000041 | Spin-c Dolbeaultoperator mit O(1) den Index chi(O(1))=2 und H0 Dimension2. 000042 | Die Rechnung eines schwachen Dubletts und die Spin Indexlinie sind somit 000043 | verschiedene Operatorrealisierungen derselben Gradangabe. Der bestehende 000044 | Higgs/Carrier Audit wird wiederverwendet; aus (1) folgt keine neue physische 000045 | Herleitung des Higgs oder des Rang2 Traegers. 000046 | 000047 | 2. Exakter Transport, sobald der Originaloperator die Produktform hat 000048 | -------------------------------------------------------------------- 000049 | Seien B_a=-i partial_theta+a auf H1_per(S1), 0