卦造八元数:三索而八

构造只用三步,每步是《说卦》的一句。以坤(☷=000)为实单位 1;凯莱-迪克森倍维三次: 一索得震(☳=001),ℝ 翻成 ℂ;再索得坎(☵=010),ℂ 翻成 ℍ;三索得艮(☶=100),ℍ 翻成 𝕆。 三女为积:兑=震·坎,离=震·艮,巽=坎·艮;乾=震·坎·艮。八个单位的乘法从此全定: e_a · e_b = ε(a,b) · e_{a⊕b},其中 ⊕ 是三爻逐位相变(XOR)——正是周流六虚里「一爻之变走一条棱」的那个运算, ε(a,b) = ±1 由倍维递归算出,不手打。于是重卦即乘法:内卦为左乘子、外卦为右乘子, 六十四卦恰是 8×8 乘法表的六十四格。乘以 e乾 = 逐位对 111 相变 = 错卦(带号); 上下交易(如随 ↔ 归妹)= 换乘序 = 反号。

一层彩蛋不敢掠美:ℂ 由坤、震所张,而内震外坤这一卦,名字就叫复(地雷复)。复数者,复卦之数也。

三十六与二十八

乘法表六十四格的正负,数出来是 36 正、28 负——天罡之数对宿之数。这不是巧合,是三行小定理: 坤行坤列十五格恒正(单位律);对角七格恒负(七虚单位自乘皆 −1,方根); 其余四十二格两两配对(交易上下反号),恰半正半负,21+21。合计 15+21=36 正、7+21=28 负。 任何一张八元数基乘法表都如此——载入自检逐格清点。

七衡:结义与不结合

三十五组三卦(七取三)里,恰有七组对 XOR 封闭(a⊕b⊕c=0): 震坎兑、震艮离、震巽乾、坎艮巽、坎离乾、兑艮乾、兑离巽。 组合学里这是法诺平面 PG(2,2) 的七条线;代数里每组连同坤张一具四元数分身 ℍ——结合律在组内成立,出组即破: 非此七组的二十八组,结合子 [x,y,z]=(xy)z−x(yz) 全不为零。悬象球上把七组画作七环,故称七衡 (《周髀》七衡六间之衡)。保线的可逆卦变恰 168 个(=|GL(3,𝔽₂)|,载入全枚举)——这是七衡几何的对称群。

悬象:S⁶ 是方根之海

七个虚单位(坤外七卦)张出 ℝ⁷;其单位球即六维球面 S⁶。球上任一点 p 自乘 p·p = −|p|² = −1: S⁶ 的每一点都是 −1 的方根。左乘即转:J_p(v) = p·v 把切平面转九十度,J² = −id—— 这给了 S⁶ 一个几乎复结构。Borel–Serre 定理说,偶数维球面里只有 S² 和 S⁶ 配得上这句话; S⁶ 的这份特权,来路正是八元数。守护它的是 G₂:七维旋转 so(7) 共二十一钮,其中恰十四钮吹动全球而卦乘法分毫不乱 (导子;台上载入时从卦乘法现场求秩得 14,不引书)——此即例外李群 G₂ 之所以「例外」。 其余七钮一吹即破,风律表立红。

拧率即不结合率

几乎复结构要升格为复结构(局部真能当复坐标用),须 Nijenhuis 张量处处为零(Newlander–Nirenberg)。 本台拧率仪双路并算:定义直算(向量场差分括号)与闭式 N(X,Y) = 2[X,Y,p]—— S⁶ 的拧率恰是八元数的结合子。这个闭式先由推导脚本数值标定(比例散差 ~10⁻¹⁰), 后补全了笔证(下节),连带证出勾股恒等式。于是一句话收束: S⁶ 标准 J 的不可积,正是八元数的不结合。零拧的方向只剩复线自身(Y = ±JX,即结义方向)—— 那是任何 J 都免费成立的万有零;其余方向处处拧,处处按勾股定量,故此 J 不可积(Eckmann–Fröhlicher 1951)。

对照周流六虚:那边年轮 g 满足 g⁶ = 错 = −I,故 g³ 平方即 −I——平直 ℝ⁶ 上一只正交复结构,拧率恒零,平而不拧; 这边 S⁶ 弯曲,标准 J 拧而不平。整桩悬案,就悬在「弯曲之上能否别造一只不拧的 J」这一句上。

四条引理一个定理:闭式的笔证

全文在 scratchpad/basuo-proofs.md,骨架如下。纯虚八元数上定义叉积 x×y = Im(xy), 则 xy = −⟨x,y⟩ + x×y,且结合子展开为 [x,y,z] = (x×y)×z − x×(y×z) − ⟨x,y⟩z + ⟨y,z⟩x(引理一;交错性由 Artin 定理)。 圆球的 Gauss 公式给出 (∇_X J)Z = P_t(X×Z)(引理二;顺带证明 S⁶ 近 Kähler:(∇_X J)X = 0), 代入 Nijenhuis 的联络表达 N = (∇_{JX}J)Y − (∇_{JY}J)X + J(∇_Y J)X − J(∇_X J)Y(引理三,对任意无挠联络成立), 得 N = P_t[(p×X)×Y + X×(p×Y)] − 2p×(X×Y)。再用引理一对 (p,X,Y) 的三种排布展开、以交错性互消, 中括号收成 [p,X,Y],而 [X,Y,p] = −2p×(X×Y)(引理四)。两项相并: N(X,Y) = 2[X,Y,p]。∎

同一链条白送三件:其一,正交规范切对上 |N|² + 16ω² = 16(ω = ⟨JX,Y⟩,Kähler 形式 = 结合定标形式 ι_pφ,Harvey–Lawson),即 |N| = 4√(1−ω²)——拧率与结义度勾股互补, 载入自检随机八例验之(偏差 ~10⁻¹⁴);其二,N = 0 ⟺ ω = ±1 ⟺ Y = ±JX: 此 J 的零拧方向恰好只剩万有零,不可积在每一点、几乎每个方向上都是满额的; 其三,七衡之外的三卦组不结合有一行证:e_c ⊥ ℍ_{ab} 时 𝕆 = ℍ_{ab} ⊕ ℍ_{ab}e_c(凯莱-迪克森识别), 直接算得 [e_a,e_b,e_c] = (e_ae_b − e_be_a)e_c = ±2e_{a⊕b⊕c} ≠ 0——不必逐组枚举。

悬案界碑(至二〇二六年八月)

Hopf 问题:S⁶ 是否存在(任何一只)可积复结构?一九二〇年代问出,悬了一百年。已立的界碑: LeBrun(1987)以 twistor 法证明与圆度量正交的复结构一只也没有——本台这只 J 恰在其列; 陈省身晚年以 G₂ 几何攻之,稿未能完;Atiyah(2016)四页短稿声称不存在,学界未接受; Etesi 声称构造出存在,亦未获公认。若存在,它必是 b₂ = 0 的非 Kähler 复三维流形—— 无辛结构可依、无 Kähler 度量可用,Hodge 数约束(Gray、Huckleberry–Kebekus–Peternell、Ugarte)算过而未见矛盾。

而就在本台落成之际(2026 年 8 月 23 日),界碑上刻了新字:数学家 Levent Alpöge 发布百余页构造 (alpo.ge/s6.pdf),声称答案为「存在」:取 (3,4,∞) 三角群的复 2-环面模族,在三个特殊点分别以 Mumford 环面退化与两次 Kodaira 对数变换(扭数 (0,1,−1))补全,得紧复三维流形 X; 算得 π₁ = 1、整同调同 S⁶、e = 2,由 Smale 与 Θ₆ = 0 断得 X 微分同胚 S⁶——复结构随微分同胚搬运上球。 其不变量(a(X)=1、K_X 非挠、c₃=2、h⁰¹=1、非 Kähler 非 Moishezon)与前述全部已知约束逐条吻合; 构造完全绕开 LeBrun 之禁(它与圆度量毫无正交之约)。作者自陈由 AI(Claude Opus 5)协力写尽细节。 然裁决未落:此文与 Campana–Demailly–Peternell 已发表之定理正面相抵(若彼定理成立,则同胚 S⁶ 的复流形代数维数必为零,而此 X 之 a = 1);文中第十节自称定位了彼证之失效步(彼文一九九八年版 已出过一次勘误,此为实录)。两说必有一误,同行评审未竟,而此问题史上两个方向的宣称尽数倒毙。 故碑仍立:台上「此 J 拧」诸定理与新构造两不相涉、皆不动摇;「S⁶ 有无复结构」一问, 正处在百年来最接近落槌、而槌未落的一刻。

界之全录

1. 对应到卦画为止——「八卦=八单位」用的是三爻的位值结构(𝔽₂³),不动象、辞、占的一根毫毛;义理不为代数背书,代数也不为义理背书。
2. 配法有约定——哪个卦当哪个单位、正负如何取,传统上共 480 张等价乘法表。此台以《说卦》索序定正统(震坎艮为三索), 换配法即作用一个保线卦变(那 168 个)外加改号,结构量(36/28、七衡、拧率、G₂)一概不变——这正是它们配称「结构」的原因。
3. 七维投影必失——悬象球是 ℝ⁷ 里的 S⁶ 投到平面,如同六虚之投,单帧必有遮挡与压扁;玄风(视角漫游)以时间补空间。
4. 悬案非此台所能决——台上演示的全是已证的定理(此 J 拧、正交类被断、四索崩); 「别有一 J 不拧」之有无,是数学前沿,不是可视化能回答的。拧率仪的表盘只把「差在哪里」造得可拨、可看、可算。

自检清单

载入即验,不合即拒演(与推导脚本 scratchpad/basuo-derive.mjs 独立对拍):

• 分次:e_a e_b = ±e_{a⊕b} 六十四格逐格;正负恰 36/28;单位律、反交换、e_a²=−1。
• 七衡恰七、非衡二十八,结合子零与不零逐组;范数合成 |xy|=|x||y| 与交错律随机二十例。
• J²=−id、J 保内积;结义方向 |N|=0、非结义 |N|=4;闭式与差分双路之差 <10⁻⁴;N 反对称。
• dim 𝔤₂ = 14 由二十一导子高斯求秩;exp(D) 正交且保乘法 ~10⁻¹⁵;单平面旋转破乘法 ~0.69;保线卦变恰 168。
• 四索(十六维)零因子 (e₁+e₁₀)(e₄−e₁₅)=0 现场乘出,范数合成失效。