TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/EM-MEASURE-AND-QUILLEN.txt
Original file SHA-256: a08abf23cab682b6c4733fb2403293b1de0245973864f77447544cde53422c65
Inclusive original lines: 29-120
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.

000029 | 
000030 |   Z_F[A]=det D_A,
000031 |   Gamma_F[A]=-log det D_A,
000032 |   Re Gamma_F[A]=-(1/2) log det(D_A^* D_A).             (3)
000033 | 
000034 | Damit hat (1) genau das Vorzeichen einer fermionischen effektiven Wirkung,
000035 | falls ein originales relatives D_A fuer einen Vergleichspunkt alpha_* die
000036 | Gleichung
000037 | 
000038 |   Det_rel,ren(D_alpha^*D_alpha,D_alpha_*^*D_alpha_*)
000039 |     =[(1-q(alpha))/(1-q(alpha_*))]^(2B gamma)           (4)
000040 | 
000041 | erfuellt. Det_rel,ren bezeichnet hier den tatsaechlich definierten relativen
000042 | Determinanten einschliesslich der erforderlichen lokalen Normierungs- oder
000043 | Gegentermen. Die Schreibweise det_zeta(AB^(-1)) ist fuer allgemeine positive
000044 | elliptische Operatoren nicht ohne diese Wahl und die Kontrolle einer
000045 | moeglichen multiplikativen Anomalie automatisch eine relative Definition.
000046 | Keine gepruefte Quelle gibt (4), ihre Variation oder einen
000047 | Intertwiner an, der den alten Kreisdefekt in D_A einsetzt. Wenn W_Sigma
000048 | stattdessen als log Z gelesen wird, ist exp(W_Sigma) der inverse Determinant.
000049 | Auch diese Richtung wird nicht aus einem Fermionmass bewiesen. Die Quelle
000050 | definiert die Richtung durch (1) und nennt danach
000051 | 
000052 |   T_Sigma=exp(W_Sigma)=(1-q)^(-5/4).                  (5)
000053 | 
000054 | Die bestehende direkte Defektrekonstruktion liefert bereits kanonisch den
000055 | einzelnen Faktor det_F(1-q Pi)=1-q aus dem alten Paar (B_alpha,u). Der
000056 | historische Spektralfluss koppelt auch q(alpha)=delta_top exp(-2 alpha).
000057 | Insbesondere gilt q(0)=delta_top und nicht null. Eine nahtfreie Referenz wird
000058 | deshalb im Folgenden entweder als eigener Operator D_ref mit q_ref=0 oder als
000059 | Vergleichspunkt alpha_* mit dem tatsaechlichen Wert q(alpha_*) bezeichnet.
000060 | Es fehlt daher weder ein neuer Waermeparameter noch ein frei gewaehlter
000061 | Rang eins Kanal. Offen ist die physische Antwortabbildung, welche diesen
000062 | relativen Kovarianzdeterminanten mit der realen EM Determinantennorm des
000063 | tatsaechlichen admissiblen Feldmasses identifiziert und dabei die
000064 | Suszeptibilitaet B gamma=5/4 erzeugt.
000065 | 
000066 | Die Aufhebung voller Dirac Chiralphasen ist kein Gegenargument gegen diesen
000067 | Anschluss. Links und rechts addieren sich in der reellen Vakuumpolarisation.
000068 | Die Quillen Metrik kontrolliert die reelle Norm und ihre Kruemmung; eta und
000069 | Chern Simons Daten kontrollieren die Phase. Ein vektorartiges volles Dirac
000070 | System kann deshalb eine nichtverschwindende reelle EM Suszeptibilitaet
000071 | haben, obwohl seine chirale Anomaliephase aufgehoben ist.
000072 | 
000073 | 
000074 | 1. DER KLEINSTE ENTSCHEIDENDE TEST
000075 | ----------------------------------
000076 | 
000077 | Eine vorhandene fermionische Herleitung muesste mindestens eine der beiden
000078 | folgenden Identitaeten enthalten.
000079 | 
000080 | Auf Determinantenebene:
000081 | 
000082 |   Re[Gamma_F(alpha)-Gamma_F(alpha_*)]
000083 |     =-(1/2) log Det_rel,ren(
000084 |          D_alpha^*D_alpha,D_alpha_*^*D_alpha_*)
000085 |     =-B gamma log[(1-q(alpha))/(1-q(alpha_*))].         (6)
000086 | 
000087 | Fuer eine nahtfreie Referenz setzt man stattdessen D_alpha_*=D_ref und
000088 | q(alpha_*)=q_ref=0. Alpha=0 darf dafuer nicht eingesetzt werden, denn
000089 | q(0)=delta_top. Der relative Determinant in (6) umfasst wie in (4) die
000090 | lokalen Normierungsterme; er wird nicht stillschweigend mit
000091 | det_zeta[(D_alpha^*D_alpha)(D_alpha_*^*D_alpha_*)^(-1)] gleichgesetzt.
000092 | 
000093 | Oder auf Variationsebene, zusammen mit einer Referenznormierung:
000094 | 
000095 |   delta_alpha[-(1/2)log det_zeta(D_alpha^*D_alpha)]
000096 |     =delta_alpha[-B gamma tr_adm log(1-qU_Sigma^min)]. (7)
000097 | 
000098 | Die linke Seite von (7) ist dabei als Variation derselben renormierten
000099 | Quillen Log Norm samt ihren lokalen Termen zu lesen. Eine Variation des
000100 | nackten formalen zeta Ausdrucks wuerde diese Daten erneut unterschlagen.
000101 | 
000102 | Dazu muss die Quelle erklaeren:
000103 | 
000104 |   * auf welchem fermionischen Hilbertraum D_alpha wirkt;
000105 |   * wie alpha beziehungsweise die Nahtquelle in D_alpha eingeht;
000106 |   * wie Pi oder U_Sigma^min aus diesem Operator entsteht;
000107 |   * warum die geordnete relative Richtung 1-qPi ist;
000108 |   * warum die Antwortpotenz B gamma=5/4 betraegt.
000109 | 
000110 | Der bounded source audit findet keine solche Formel. Die entscheidende
000111 | Abwesenheit ist nicht nur ein fehlender Name. Die historischen Stufen liefern
000112 | jeweils verschiedene Teile, aber keine Stufe liefert ihre gemeinsame
000113 | Operatoridentitaet:
000114 | 
000115 |   fullv21:  einteilchiger Kreis und schematische EM Effektivwirkung;
000116 |   v31:      skalares q und die Potenz 5/4;
000117 |   v42:      Rang eins Fredholmform und allgemeines S_adm Funktional;
000118 |   tfpt45:   eigener primitiver linearisierter Determinantenbegriff;
000119 |   Paper 1:  Quillen und Ward Anschluss als ausdruecklich offene Bruecke.
000120 |