第2章 不，他错了

  两人於是边討论著刚才研討会上其他报告的得失，边朝公园走去。

  寒风吹得纸张哗哗作响，他们都下意识地將论文护在怀里。

  到了亭子，果然没人。

  他们將文件袋、公文包放在一边，把论文和隨身带的草稿纸在冰凉的石桌上铺开。

  爭论便是这样开始的。

  “老李，你再看看这个矩阵——”

  本书首发 找书就去 101 看书网，101??????.??????超全 ,提供给你无错章节，无乱序章节的阅读体验

  张秉文用手指重重戳在论文中一段复杂的表达式上，“莫里斯团队假设它在四维条件下依然满秩，这个前提站得住脚吗？你刚才的直觉，具体疑点在哪儿？”

  李长青眉头紧锁，早已沉浸在问题中，他拿出钢笔，在草稿纸上快速勾勒：“就在这里。看，三维空间里，这个线性方程组对应的齐次项，经过这个变换后，確实只有零解，因为矩阵是满秩的。但四维多了一个自由度，你看这个子式的结构……”

  他画了个简图，“我怀疑矩阵的秩完全可能降一，那样解空间的维度就至少为1，非零解就冒出来了。可气的是，我验算了几种特殊情况，都没找到明显的反例，卡住了。”

  “但莫里斯用了拓扑约束来补偿啊。”

  张秉文指著论文另一段，“这里，他引入了这个上同调条件，理论上可以限制住一些『坏』的变形。”

  “补偿不够！”李长青声音不由得提高，笔尖点在纸上，“拓扑约束管的是整体性质，像个大笼子。但局部，在这个方程描述的几何结构上，可能还存在细微的『弯曲』或『扭曲』空间，就像笼子里的鸟还能扑腾几下。我需要一个具体的代数反例，或者至少严格证明解空间维度大於零，才能断定这个引理在四维不成立。否则，也许真是我们多虑了……”

  两人越说越投入，身体前倾，几乎头碰头，爭论声在空旷的亭子周围迴荡，完全没注意到不远处那对刚刚坐下、神色疲惫的母子，更没发现那个少年沉默注视的目光，正逐渐被他们笔下和口中那些抽象的符號与空间所吸引。

  直到那只属於少年的、略显纤细的手，平静地伸过来，拿走了石桌上那支閒置的铅笔。