“说吧，卡在什么地方了？”
走进房间，邱成梧头也不回的走向书桌，他的书桌上同样摆满了草稿纸，此时云伟正坐在书桌前。
田阳陡然间有些恍惚，仿佛时光倒流回到了三十年前，他还是学生的时候。
当年他遇到了困扰了好久的问题，找到老师时，老师也是这样问他的。
邱成梧好半天没有听到声音，回过头来，眉头微拧，正准备斥问，才忽然想起，这不是三十年前他的办公室。
“分数陈数的分母素数性证明我已经完成了，在建立晶体对称性与模形式参数的严格对应时，还有些地方没想明白。”
终究不再是当年的少年，短暂的愣神后，田阳已经恢复了冷静，开口说道。
“你应该没看你学生的论文吧？”
话一开口，邱成梧的语气自带冷嘲热讽，这么多年的惯性自然不是短时间内能够消除的，“晶体对称性的建立完全可以引入朗兰兹对偶群，将晶体对称群cn嵌入朗兰兹对偶群l_g，利用晶体群的旋量表示，构造从cn到l_g的非平凡同态p:cnl_g，再通过局部朗兰兹对应，将p提升为galois表示。”
说着他从书桌上抽出一张写着一串公式的草稿纸递给田阳。
p~:gal(qˉ/q)→lg
田阳紧皱的眉头慢慢舒展开来，然后又再次拧起，“怎么进行非分歧表示的构造？”
“你忘了taylor-wiles定理？”
邱成梧声音变得严厉起来，像是在教训自己的学生，“借助p-adic hodge理论中全新的相容性条件，推广taylor-wiles定理至晶体对称群，就能证明当n为素数时，p~在p=n处非分歧。”
“没错，p~在p=n处非分歧，根据néron-ogg-shafarevich准则，模形式级数n必须被n整除，如果n非素数，则p~在pin处分歧，导致a_p = 0，与分数陈数非零性矛盾！”
“所以模形式级数n必含素因子p=n！”
田阳研究这个问题已经有些时间，即便是上了年纪，也是思维敏捷，一点既透。
云伟有些