“任意系数的上同调，都可以用z-系数的上同调算出！”

“正解！”

陈阳点了下头，那副在平时总是没什么仄起平落的语调，这次一次不但被灌注了震撼和激动的情绪，更是罕见地带上了一丝因激动而产生的颤抖。

“……这是代数几何大统一理论最核心的推论之一！根据它，我们直接可以推出，映射l（n-2i）：ai(x)→an-i(x)是同构（0≤i≤n2）！”

听到这句话的一瞬间，季默的瞳孔微微收缩，一双眼睛顿时睁大了。

虽然在学术上他的知识水平和经验都还略显稚嫩，也不清楚这所谓的“直接推出”到底是怎么个推导法，但身为io大赛的满分金牌得主，再加上平时的课外学习，这些基础的概念他还是清楚的。

陈教授所说的这一结论，正是hard-lefschetz定理的推广！

即，格罗滕迪克的标准猜想的第一部分——lefschetz标准猜想！

“……不愧是陆教授，”仰望着台上的那道身影，还有那一行行沿着笔尖流淌而出的算式，陈阳的眼中交织着震撼与神往的色彩，“昨天晚上，我是突然想到可能存在的这种可能性，一直想到了早上才隐隐约约有了一点头绪……”

然而却没想到的是，他绞尽脑汁想了一整晚才想通的思路，放到了这场报告会上，却像是连难题都谈不上。

白板上，那奔腾如江水的思路，随着流畅的笔触倾泻而下。无论是怎样的沟壑与艰难险阻，在那挥舞着的一寸锋芒之下，都显得苍白而无力。

没有任何障碍能够将它阻拦。

甚至连让它停下几秒都做不到。

以至于当最后的那一行算式、那令他魂牵梦绕的结论被写下时，一切都是如此的水到渠成。

【……综上述可得。】

【映射l（n-2i）：ai(x)→an-i(x)是同构（0≤i≤n2）】