博文
盖尔曼、极权主义与红色猜想
||
凡是有用的，都在文章里...
* * *
最近又有个显著事件，一位大物理学家去世了*，90岁。据说是个“肆无忌惮”的家伙。刚订了两本书。也许会了解下有关理论。象这种自己送上门的大事件，最好不要错过。
.
去年放下手头的研究，转去读一篇纯代数文章。在上面的链接里，注意到“极权主义原则”。可能真是这样。比如，已经读了10个月的这篇文章，它的 “主定理” 表述很简单，但证明有近100页，且都是干货。简单介绍下，权当温习。（下文有点长了，不做为学术内容、无职业暗示）。
.
插一句，学习了这篇文章后，悟出一个道理，或者说，注意到一个现象：很多人拿起一篇文章，端详 5 秒钟，就说不懂 —— 那是肯定的。尽管如此，仍然感到吃惊。
.
定理的叙述：设X使得(X,B)关于某个B成为eps-lc型，并使-(Kx + B)是nef和big型，则X形成有界族。
.
写出这个定理，只是想让人们看到其中的字符个数真的很少。就这么一句话，凝聚了近100页的推导。这不就是数学中的 “极权主义原则” 吗？其实在遇到这个原则之前已经有了一个领悟：数学的追求和用途在于，用最少的符号容纳最多的信息。得到这个领悟稍后，进一步领悟到 “神” 这个概念的威力：用一个词容纳一切~（不是指宗教中的神，但很多西方的概念、词汇或思维方式倒真有可能起源于宗教）。
.
再说下（我）如何 “进入” 一篇完全陌生的文章。读了一段时间后，注意到 X 像个摆设，而 “办事情” 总是 B 出面，类似于（国际象棋中的） “王” 和 “后”。之后，干脆引入了 “王侯将相” 的语言。再往后，又对 “理解” 作了个诠释：所谓理解，无非是通过事物的“像”来认识事物本身。
.
比如，把全部的数学看做一个集合，记作 M；再把全部的人事看做一集合，记作 W。我在 M 和 W 之间建立对应关系（即映射），这样就可以通过 M 在 W 中的像来认识 M 本身。这套办法对于进入抽象和陌生的数学领域，特别是代数领域很管用。（我有一种很强的全局观念，原来以为人人都是这样，其实不是）。
.
在 “王侯将相” 的语言体系中，(X, B) 看做 “朝廷”，X 为 “王”，B 为 “相”。刚才说了，“王” 是个摆设，办事情由 “相” 出面。但 “相” 也不便孤立做事，得结合 “王权” 不是？上面蓝色句子中，有个 Kx，这个就看做 “王权”，好比玉玺一样的东西。这样唻，Kx + B 就有了 “国” 的意味：王授权给相办事，这不就是 “国” 吗？
.
这样看来，(X, B) 作为“朝廷” 仅是概念存在，它对外发生作用是靠 “国”，也就是 Kx + B。在数学里 “办事情”，无非就是运算咯，故而 Kx + B 可看做 (X, B) 的 “运算形”。（有时觉着 (X, B) 有点像多啦A梦的口袋，不时地可以从中掏出一样东西）。
.
写到这里，提一下汉字的一个特点：单字单音。C.N. Yang 曾专门提到这个特点。在读文章的过程中意识到，代数中引入汉字符号有方便之处。比如，Kx + B 有好几个符号和音节，用 “国” 来指代，单字单音更凝练，符合“用最少的符号容纳最多的内容”这个原则（或者说“极权主义原则”），附带有 “助记” 的作用。（若在 “行家” 面前贸然提出此论，或引起误会 —— 这并不奇怪）。
.
在阅读的中期曾预料，通过 W 语言识记 M 语言，待有足够积累，会在头脑中形成“自组织”，此时可逐渐丢开 W 语言 —— 这件事情发生了。近几个月，已经进入到证明层面，能达到一定的理解了。现在可以在两种语言之间转换，但有时也引入新的 W 词汇。
.
回到开头的主定理(蓝色字体)。(X, B) 这种对象有若干属性，比如 eps-lc。暂且不必细究 eps-lc 的内涵，知道它是一种性质即可。条件里出现了 - (Kx + B)，可以理解为 0 - (Kx + B)。要求它符合两个属性 nef 和 big。在这几个条件的作用下，X 可以形成 “有界族”。这里的 “有界” 不是通常的含义，而是类似于磁盘格式化的概念。（在我的认知中，有界关联着“方”，后者有 “神性”）。
.
简单地，主定理只是给 (X, B) 及其运算形分别赋予了特定的属性，由此划定了一大类 X。目前已经摸到证明的大思路和若干规律，再过不久，就能看清这里头的事情了。主定理只显示了 (X, B) 和 Kx + B 的属性，以及最终结论，而证明它的方法完全不露痕迹。事实上，作者引入了所谓的 “线性系统”（不是方程组），通过一系列手续，完成了证明。（在我的认知中，“线性” 意味着 “权杖”，而人可以通过权杖触及神性）。
.
换句话说，方法出自“线性系统”，符合 “方成于法” 的预期（“法”的汉字本义是“去除不直”）。我把线性系统的成员称作 “侯”，也就是 “贵族”。在定理的证明中注意到一个情况：要成事，总得有 “侯富于国” 作为条件。看来呀，西方人的数学论文里，也少不得资本家！忽然想到，有没有可能搞一个“红色证明”呢？ 我看行！
https://blog.sciencenet.cn/blog-315774-1181536.html
上一篇：添项操作中有“主动”与“被动”之别~
下一篇：发完贴炖排骨去咯~
