圆的，带齿，亮晶晶，放在桌上还挺好看，可一旦真要把它们装回去，才会发现有的齿轮只负责传动，有的负责限位，有的根本不能装反。
装错一颗。
整块表都不走。
左边这条已经走通的路，就是一块能走的旧表。
现在的问题不是它走不走。
问题是，它为什麽能走。
陈拙把粉笔在手里转了半圈，又在那条短线下面写了一个词。
抓手。
写完之後，他停住了。
这不是讲义上的词，也不是什麽正式数学语言。
但它很准确。
那条已经走通的路之所以能走，是因为在那个简单情形里，人类有一个能抓住影子的东西。
就像你知道墙後面有一根绳子，还得有办法把它从缝里钩出来。
有抓手，东西才不会只停留在应该存在上。
有抓手，它才能被拉出来，落到桌面上，让所有人看见。
陈拙转过身，回到桌边，翻了几页旧讲义。
讲义里用的是更正式的说法。
线丛。
第一陈类。
这些词当然重要。
但陈拙没有把它们全抄到黑板上。
黑板不是垃圾桶，不是什麽词都该往上扔。
他只在抓手旁边小小地写了一个括号。
线丛。
然後就停了。
够了。
他不是要在这一章里重讲半本代数几何。
他要找的是那块齿轮。
在余维一的情况下，这个齿轮确实存在，它能把那些原本只在上同调里留下痕迹的影子，拉回到一个更具体的位置。
这就是那条路能走通的原因。
它不是靠奇蹟，它靠的是接口。
陈拙擡头看向黑板左边。
已经走通。
霍奇类。
除子。
抓手。
线丛。
几个词摆在那里，并不复杂，甚至有点朴素。
朴素到让人容易误以为霍奇猜想也不过如此。
这当然是错觉。
数学里最坑人也是最常见的事情，就是一个低维情形看起来很自然，於是你以为高维也能照着走。
真走上去才发现，前面不是路，是沼泽。
陈拙把视线移到黑板右边。
…。。