TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/ELLIPTIC-QUILLEN-RESPONSE.txt
Original file SHA-256: e849e9001678ee2beddb8efb5afa09e0395f867b03feb47e369c19479e492ebc
Inclusive original lines: 1-169
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 | ACTUAL ELLIPTIC FLAT-CONNECTION DETERMINANT AND ITS INSERTION TYPE
000002 | 26 October 2026. MATH.ORIGINAL-SEAM.ELLIPTIC-QUILLEN-RESPONSE.01
000003 | 
000004 | 1. Original question and unchanged source
000005 | 
000006 | The preceding modulus continuation excludes a variable complex structure
000007 | inside the retained marked square compiler. Does this eliminate all source
000008 | response? No. The original ALPHA.QUILLEN.EXACT.01 contract explicitly asks
000009 | for a continuum determinant family over flat U(1) connections, which is a
000010 | different insertion type from complex-structure or Weyl variation.
000011 | 
000012 | Here that continuum object is constructed on the EXISTING elliptic source
000013 | E=C/(Z+iZ), in its given flat representative and original nontrivial
000014 | NS/NS spin line. This supplies explicit mathematics for this source, not
000015 | an identification of the primitive physical P1 charged measure with it.
000016 | No new collar Hamiltonian, learning rule or geometry measure is selected.
000017 | 
000018 | Original T1/T2: documents/tfpt_research_contracts/sections/020-source.tex,
000019 | 163-270, especially independent operator/domain/gauge descent, null locus,
000020 | duality, two holonomies and full metric/connection comparison. The current
000021 | contract already corrects the historical claim that a finite Fermi gap
000022 | would supply a global nonvanishing section of a degree-one line. We retain
000023 | that correction. Matching one Chern integer does not close T1.
000024 | 
000025 | Read with ORIGINAL-RELEVANCE.txt, BOUNDARY-SOURCE.txt and GLOBAL-SPIN-KERNEL.txt
000026 | in ../elliptic-moebius-source-bridge-20261026, and this folder's
000027 | EM-MEASURE-AND-QUILLEN.txt and KMS-AND-CARRIER-TRANSPORT.txt.
000028 | 
000029 | 2. Actual family, domains, units and null divisor
000030 | 
000031 | Take x,y of period one, NS in both directions. On fixed H1_NSNS(T2) define
000032 | 
000033 |  K_z=(-i partial_x+2pi v)+i(-i partial_y+2pi u), z=v+i u,
000034 |  L_z=K_z* K_z,
000035 |  D_z=[[0,K_z*],[K_z,0]].                                  (1)
000036 | 
000037 | K_z:H1_NSNS->L2_NSNS is closed elliptic Fredholm; D_z is selfadjoint on
000038 | the doubled H1 domain. This is the expressly unit-charge flat probe of the
000039 | given source, not a derived physical hypercharge embedding. Its spectrum is
000040 | 
000041 |  lambda_mn(L_z)=4pi^2[(m+1/2+v)^2+(n+1/2+u)^2].           (2)
000042 | 
000043 | Thus z->z+1 and z->z+i are large gauge transformations by smooth periodic
000044 | unitaries, preserving the stated domain. Exactly one complex zero mode
000045 | occurs at z_*=(1+i)/2 modulo Z+iZ. Away from that divisor all operators
000046 | L_z are invertible. The theta determinant has a simple zero there and its
000047 | squared norm has a quadratic zero. No globally invertible family is claimed.
000048 | The fixed geometric quarter rotation acts covariantly on these external
000049 | connection insertions by z->i z; it does not vary the complex structure.
000050 | An insertion need not be individually invariant to define a covariant
000051 | generating functional. This is not a claim that all its twists define a
000052 | positive thermal state with one fixed reflection and time.
000053 | 
000054 | 3. Relative spectral determinant, including its actual norm
000055 | 
000056 | Define theta(z|tau)=sum_n exp(pi i tau n^2+2pi i n z), tau=i.
000057 | With the reference z=0, the relative determinant is exactly
000058 | 
000059 |  N(z)=det_zeta L_z / det_zeta L_0
000060 |      =exp(-2pi u^2)|theta3(z|i)/theta3(0|i)|^2.             (3)
000061 | 
000062 | Equivalently the holomorphic section in a local frame is theta3(z|i)/eta(i),
000063 | with frame metric h(z)=exp(-2pi u^2). Constant eta/reference factors cancel.
000064 | We use the positive theta line convention. Passing to a dual line reverses
000065 | its degree and connection, not the need to specify that convention.
000066 | 
000067 | The standard flat torus determinant calculation is given in Chakraborty
000068 | and Mathai, J.Noncommut.Geom.3(2009)559-578, Section5, pp576-577,
000069 | https://ems.press/content/serial-article-files/30461 . Its commutative
000070 | torus case and translation by the NS spin characteristic give(3).
000071 | This is an application of known determinant mathematics, not a new theorem
000072 | of fundamental physics. Squared norm, chiral modulus and doubled Dirac
000073 | modulus are kept separate: norm_chiral^2 is proportional to det L_z;
000074 | for D_z in(1), |det D_z| is proportional to det L_z as well, whereas
000075 | |det K_z| is its square root. Reference ratios remove fixed constants.
000076 | 
000077 | Independently, on this SAME spectrum the relative heat identity is
000078 | 
000079 |  log N(z)=-integral_0^infty [Tr exp(-tL_z)-Tr exp(-tL_0)]dt/t. (4)
000080 | 
000081 | All local heat coefficients coincide for these flat unitary connections
000082 | on the same flat torus; Poisson summation makes their small-t difference
000083 | exponentially small. At large t the integral converges off the null divisor.
000084 | Thus (4) is an actual relative determinant without an unspecified local
000085 | subtraction. Neither det_zeta(AB^-1) nor a hidden multiplicative rule is used.
000086 | The checker uses direct Fourier sums at large t and their Poisson dual at
000087 | small t. Three distinct invertible probes agree with(3) at better than
000088 | 1e-45 at60-digit precision; this finite check supports, not replaces, the
000089 | standard identity. A separate Jacobi product checks the theta implementation.
000090 | 
000091 | 4. Explicit line connection, holonomies and local real response
000092 | 
000093 | The identities theta(z+1)=theta(z) and
000094 | theta(z+i)=exp(pi-2pi i z)theta(z) imply N(z+1)=N(z+i)=N(z).
000095 | In the unitary frame the SECTION COEFFICIENT changes by exp(-2pi i v)
000096 | on the second cycle; the FRAME changes by its inverse exp(+2pi i v).
000097 | The corresponding Chern/Quillen connection and curvature in this convention are
000098 | 
000099 |  A=2pi i u dv, F=-2pi i dv wedge du,
000100 |  (i/2pi)integral_T2 F=+1.                                (5)
000101 | 
000102 | Including endpoint frame identifications, the line holonomies based at(v,u)
000103 | are exp(-2pi i u) along the v cycle and exp(+2pi i v) along the u cycle.
000104 | These are determinant-line transports in PARAMETER SPACE, not the original
000105 | spacetime gauge holonomies or a proof of physical time. They supply explicit
000106 | targets for both T1 comparisons; equality to a finite occupied Berry line,
000107 | its sign/duality and its continuum limit have NOT been established.
000108 | The gauge field on the SOURCE TORUS remains flat: F_spacetime=0. Nonzero
000109 | parameter-space F in(5) and the global holonomy susceptibility in(6) are not
000110 | the local four-dimensional gauge-curvature/a4 coefficient or the SM b1.
000111 | 
000112 | The square modular identity gives N(iz)=N(z). Away from zeros, log|theta|
000113 | is harmonic, so the Laplacian of log N is -4pi. At z=0 evenness gives a
000114 | zero gradient and quarter invariance makes the Hessian scalar. Consequently
000115 | 
000116 |  Hess_0 log N=-2pi I_2,
000117 |  log N(z)=-pi(v^2+u^2)+O(|z|^4),
000118 |  Hess_0 Gamma_vector=2pi I_2, Gamma_vector=-log N.         (6)
000119 | 
000120 | The chiral real effective action has half this coefficient. This nonzero
000121 | real response survives a vectorlike cancellation of chiral phase. It is a
000122 | calculated external connection susceptibility of the given elliptic source;
000123 | it is not yet a selected primitive action or a new autonomous feedback law.
000124 | 
000125 | 5. Smallest decisive comparison to the OLD winding determinant
000126 | 
000127 | On the retained full NS circle B e_n=(n+1/2)e_n, C=(1+exp(2pi B))^-1 and
000128 | the original u_circle e_n=e_(n+1), the previously proved identity remains
000129 | 
000130 |  det_F[(I-q u_circle C u_circle*) (I-q C)^-1]=1-q.         (7)
000131 | 
000132 | Here q is the occupation-pair counting parameter; in TFPT the historical
000133 | prescription q(alpha)=delta_top exp(-2alpha) is separately supplied.
000134 | It is not the flat holonomy coordinate z. The relative spectral determinant
000135 | of gauge-equivalent L_z and L_(z+1) or L_(z+i) is instead exactly ONE.
000136 | The same circle/winding does not equate these two insertion problems.
000137 | One transports the entire gauged operator; the other compares occupations
000138 | against the retained counting/reference insertion. This is not a failure
000139 | of(7) and not a no-go theorem for a correctly derived physical insertion.
000140 | It excludes identifying a bare large-gauge norm ratio with1-q for q!=0.
000141 | 
000142 | A second conditional diagnostic is local: if a proposed identification uses
000143 | ONLY this norm, a fixed multiplicity and constant reference, and a smooth
000144 | z(alpha) with z(0)=0, its first alpha derivative is zero by(6). The old
000145 | W_min(alpha)=-(5/4)log(1-delta_top exp(-2alpha)) has instead
000146 | 
000147 |  W_min'(0)=-(5/2)delta_top/(1-delta_top)!=0,
000148 |  delta_top=48/(8pi)^4.                                  (8)
000149 | 
000150 | These cannot agree under those stated conditions. Alpha0 has q=delta_top,
000151 | not q0; it is not a seam-free reference. A derived nonzero background or
000152 | additional original insertions lies outside this conditional exclusion.
000153 | No path z(alpha), fractional exponent or counterterm is fitted to repair it.
000154 | 
000155 | 6. Outcome and reproducibility
000156 | 
000157 | We have explicit continuum operators, domains, null locus, relative norm,
000158 | line connection, two holonomies and first real susceptibility on the given
000159 | elliptic source. This advances the operator side of the existing T1 demand.
000160 | Its equality to the physical P1 measure, charged two-face source, the v472
000161 | occupied line or the specific EM Ward functional remains conditional/open.
000162 | An arbitrary temporal twist is not declared a positive CAR/KMS state.
000163 | The original common insertion map and source reference remain the decisive
000164 | next calculation; topology or a renamed holonomy does not supply them.
000165 | 
000166 | Checker: elliptic_quillen_response/check_elliptic_quillen_response.py.
000167 | Results: elliptic_quillen_response/elliptic_quillen_response.json.
000168 | Exact analytic identities above; finite independent60-digit checks, normal
000169 | and -OO byte equality. Contract PARTIAL; no physical gate or ledger promotion.