TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/session_coverage/supplements/CUT-GLUE-DIHEDRAL-COVER-BRIDGE.txt Original file SHA-256: d9fbd78c38af022e171d70fe35d5257cac0d79282bb297bfb129631b8c1078a9 Inclusive original lines: 1-200 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 | CUT, GLUE AND THE EXISTING DIHEDRAL COVER CARRIER 000002 | 26 October 2026 000003 | 000004 | Question 000005 | ======== 000006 | 000007 | Can the original Moebius cut and Pin gluing be connected to the already 000008 | present marked P1 and C2/C12 covers without choosing a new bundle, a new 000009 | state, or a global Cartan field on the compact normal S2? 000010 | 000011 | Verdict 000012 | ======= 000013 | 000014 | Yes, at one precise and useful level. The pair of Pin quarter sectors on 000015 | the existing NS orientation cover and the polarized real first cohomology of 000016 | 000017 | C2: y^2=x^4-1 000018 | 000019 | carry the same real two dimensional marked dihedral representation. The 000020 | map x:C2->P1 is already the double cover branched at the four flavor marks 000021 | mu4. Thus there is an exact monodromy carrier from the original Pin cut and 000022 | gluing to the marked flavor P1. It does not pass through the normal S2 and 000023 | does not require a global Cartan choice there. 000024 | 000025 | This closes a representation and marking bridge. It does not yet identify 000026 | the full two dimensional Green covariance with the original P1 boundary 000027 | state or Hardy covariance. That state, time and field map remains open. 000028 | 000029 | The changed premise 000030 | =================== 000031 | 000032 | The earlier search often asked for a global map from the compactified normal 000033 | S2, with its degree one determinant line, to the flavor P1. The original 000034 | paper does not ask for such a map. It constructs two outputs from the seam: 000035 | 000036 | * the compact normal S2 with L2=O(1), and 000037 | * the compact seam quotient P1 with four mu4 marks. 000038 | 000039 | The smallest common object required for the current question is therefore 000040 | the representation carried by the cut and gluing operators. It need not be 000041 | a common base surface. This weaker premise is sufficient for the exact 000042 | bridge below and introduces no geometry. 000043 | 000044 | Corrected source boundary: deck reflection is not the Calderon polarization 000045 | ============================================================================ 000046 | 000047 | The archived source starts from D_+=gamma_n(partial_n+B_Sigma) and constructs 000048 | 000049 | M_tilde=M_+ union_Sigma M_+^op, 000050 | Sigma=Fix(tau_dbl), 000051 | D=D_+ union_Sigma D_+^op, 000052 | 000053 | It then claims on the Cauchy data 000054 | 000055 | i_C=2P_C-I=R_tau_dbl. (0) 000056 | 000057 | This equality is not a positive bridge. It was already disproved in the 000058 | scoped 15 October contract. On a compact product Dirac collar the local 000059 | geometric deck lift conjugates the two-face graph projector instead of being 000060 | 2P_C-I. More generally, the principal symbol of 2P_C-I depends on tangential 000061 | cotangent direction, while a local deck lift is pointwise in the bundle. 000062 | Defining R_tau:=2P_C-I makes the equation tautological and loses the claimed 000063 | geometric identity. 000064 | 000065 | The corrected operator slots are therefore separate: 000066 | 000067 | * geometric deck tau_dbl, 000068 | * operational reflection Theta, 000069 | * Calderon polarization P_C. 000070 | 000071 | The full two-face Cauchy graph remains positive and reconstructs the signed 000072 | boundary operator B. It does not identify any of these three slots. No new 000073 | requirement Theta_x=R_tau is made here. 000074 | 000075 | Positive bridge, prioritized test: NS Pin pair and polarized C2 cohomology 000076 | ============================================================================ 000077 | 000078 | On the existing NS orientation cover the original Pin operator is 000079 | 000080 | A=J T1, A^2=-I. 000081 | 000082 | The two Pin sectors are the A eigenlines with eigenvalues +i and -i. The 000083 | linear reflection R satisfies 000084 | 000085 | R A R=-A=A^{-1}. 000086 | 000087 | Hence, in the ordered (+i,-i) basis, 000088 | 000089 | A=diag(i,-i), R=[[0,1],[1,0]]. (1) 000090 | 000091 | This is the standard real D4 representation after complexification. 000092 | 000093 | Now use only the existing parity cover C2 and its already marked base map: 000094 | 000095 | p:C2->P1_x, p(x,y)=x, 000096 | Q2(x,y)=(i x,y), 000097 | kappa(x,y)=(bar x,bar y). 000098 | 000099 | The branch divisor of p is exactly mu4. Infinity has two unramified points. 000100 | For the holomorphic differential eta=dx/y, 000101 | 000102 | Q2* eta=i eta, 000103 | Q2* bar(eta)=-i bar(eta), 000104 | kappa eta=bar(eta), 000105 | kappa Q2* kappa=(Q2*)^{-1}. (2) 000106 | 000107 | Equations (1) and (2) give the explicit intertwiner 000108 | 000109 | Pin +i line -> C eta, 000110 | Pin -i line -> C bar(eta), 000111 | A -> Q2* on H1(C2,R), 000112 | R -> kappa on H1(C2,R). 000113 | 000114 | This is stronger than matching two eigenvalues. In the real basis 000115 | 000116 | a=Re(eta), b=Im(eta), 000117 | 000118 | write the intersection form, quarter rotation and real reflection as 000119 | 000120 | Omega=[[0,1],[-1,0]], 000121 | Q=[[0,1],[-1,0]], 000122 | K=[[1,0],[0,-1]]. 000123 | 000124 | Then, exactly, 000125 | 000126 | Q^T Omega Q=Omega, 000127 | K^T Omega K=-Omega, 000128 | K Q K=Q^{-1}. 000129 | 000130 | Thus Q preserves the symplectic intersection pairing, while K is 000131 | the expected anti-symplectic reflection. For the positive Hodge L2 metric 000132 | g, normalized to the identity in this basis, 000133 | 000134 | Q^T g Q=g, K^T g K=g. 000135 | 000136 | So the full real carrier is positively polarized and the two generators are 000137 | Hodge isometries. There is one essential type distinction. The linear 000138 | pullback K swaps H^{1,0}=C eta with H^{0,1}=C bar(eta). It does not preserve 000139 | the positive holomorphic line by itself. If C denotes coefficient 000140 | conjugation, the anti-linear operation C K fixes each of those quarter 000141 | eigenlines. This reproduces the two different NS facts: the linear Green 000142 | Clifford reflection swaps the quarter sectors, while the anti-linear 000143 | reflection preserves each sector. It still does not identify their Green 000144 | covariance or Fock state with the Hodge polarization. 000145 | 000146 | The comparison is made in the category of real representations. Pullback by 000147 | kappa is complex linear on complex-valued cohomology and swaps the two Hodge 000148 | types; the separate coefficient conjugation is anti-linear. Neither is 000149 | being confused with the linear Clifford factor in the Green positivity form. 000150 | On the four marked points, kappa acts as z->1/z, 000151 | because every mark lies on the unit circle. Thus it has exactly the same 000152 | marked permutation as the paper's D4 reflection. Globally, one is an 000153 | antiholomorphic real structure and the other is the holomorphic Moebius map 000154 | z->1/z. The proved dictionary is the marked real representation and not an 000155 | identity of those two maps on all of P1. 000156 | 000157 | This is more than a count of four points. It preserves the quarter 000158 | eigenvalues, the reflection conjugation law, and the actual branch marking. 000159 | It also explains why one fixed Pin eigenline is insufficient: reflection 000160 | exchanges the two conjugate cohomology lines just as the Green reflection 000161 | exchanges the two Pin sectors. 000162 | 000163 | The same reflection also inverts the existing C12 compiler clock 000164 | =================================================================== 000165 | 000166 | On the already forced common cover 000167 | 000168 | C12: s^12=x^4-1 000169 | 000170 | retain the previously fixed marked clock 000171 | 000172 | R12=Q12 Delta12^4, Q12(x,s)=(i x,s). 000173 | 000174 | Complex conjugation is a canonical real structure of this same equation: 000175 | 000176 | kappa(x,s)=(bar x,bar s). 000177 | 000178 | It inverts both factors and therefore 000179 | 000180 | kappa R12 kappa=R12^{-1}. (3) 000181 | 000182 | The old power relations remain unchanged: 000183 | 000184 | ord(R12)=12, 000185 | R12^4=Delta12^4, 000186 | R12^9=Q12. 000187 | 000188 | Under C12->C2, y=s^6, the factor Delta12^4 acts trivially on y. Thus R12 000189 | descends to Q2 and equation (3) descends to the reflection law in (2). This 000190 | adds reflection to the already established clock dictionary. It does not 000191 | identify cover degree 12 with clock order 12 and does not add a new cover. 000192 | 000193 | Cut and gluing picture 000194 | ====================== 000195 | 000196 | Cut the Moebius band along its core. The orientation cover has two boundary 000197 | copies related by the Pin gluing. Applying the gluing twice produces the NS 000198 | sign, so the gluing operator has square -I and quarter eigenvalues +i,-i. 000199 | The elliptic cover C2 packages exactly those two conjugate quarter lines as 000200 | eta and bar(eta). Its projection forgets the sheet and leaves the four