京城,放下电话的乔喻兴奋的将目光投向电脑上的公式,并开始重新审视公式中这些参数跟常量的几何背景。
乔曦说的没错,参数多,公式复杂,他现在需要找到这些参数的共性,所以现在条件背后的共同点是什么?不对,不止是要共同点,而是本质上的共同点!
否则并不足以把这些参数联系到一起。
所以很自然的,乔喻提出了一个假设:无论是模形式、-进几何还是量子化同调范畴,它们的参数都可以通过一个单一的几何量来统一表示。
这一假设最关键的部分就是找到一个统一的几何量,能够捕捉不同几何工具中反映曲线复杂性的参数。
接下来就是最麻烦也是最关键的步骤了。
乔喻开始一个个的分析每个几何工具的核心参数,然后把其核心的部分都列出来,然后找到所有这些参数的共同点。
说简单些便是,这些参数是否都受一个共同的约束参数所控制,当然这只是第一步。
找到共同的约束之后,还得找到这些参数跟共同约束之间的联系,这又是一个极为复杂的命题,但怎么说呢,完全符合了张教授的要求,把证明过程复杂化,结果简单化。
而且也能让这个公式变成真正的通用公式,在解决曲线有理数点上界问题时,大家不需要再去想别的,直接用他的乔喻-乔曦定理就行了。
沉浸到定理的证明中去,不知不觉中天色便暗了下来。
直到传来敲门声,才把乔喻从繁琐的工作中惊醒。
抬头看了眼窗外,然后乔喻原地伸了个懒腰,这才去把门打开。
门外站着陈师兄,看到乔喻站在门前,立刻扬起了他刚刚在食堂打的盒饭,说道:“刚刚我去吃饭的时候,看到你在房间里没动静,怕打搅你,就没喊。想着你肯定还没吃饭,就顺便给你带了一份回来。”
“谢谢陈师兄!”乔喻咧开嘴送了师兄一个真诚的笑容,然后接过盒饭,转身走进了房间。
耗费了一下午的脑细胞,乔喻的确感觉很饿了。
这份盒饭很及时。
陈卓阳跟着走了进来,嘴里还念叨着:“你这学起来也不要总是废寝忘食的,再忙饭也要吃啊,不管干啥,身体都是最重要的。”
“知道,陈师兄。今天属于特殊情况!”乔喻笑了笑解释了句,然后便打开盒饭,狼吞虎咽的吃了起来。
虽然下午没什么运动,但耗费了太多脑力,同样感觉很饿。