明了。
“系统，智子具备自我学习和进化能力吗？”
庞学林心道。
“目前暂时不具备！”
“暂时不具备？什么意思？”庞学林微微一愣：“那她什么时候才能具备？”
“这一点需要宿主今后慢慢探索。”
“……”
庞学林有些无语。
系统总是如此，遇到敏感问题，说一半藏一半，有时候干脆装死。
不过冰雹猜想不是智子自己主动思考解决的就行，否则庞学林怀疑有一天，她说不定会真的变成一个超级智慧生命。
庞学林摇了摇头，将这些乱起八糟的思绪赶出大脑。
刚才看智子的论文的时候，他总感觉自己好像忽略了什么东西，却又想不出到底是什么。
他准备将论文再过一遍，看看有没有什么疏漏的地方
时间不知不觉流逝，半小时后，庞学林将论文翻到了第四页。
【引理5：存在自然数q，若q≡b1(modp1)，q≡b2(modp2)，q≡b3(modp3)……q≡bn(modpn)，p1，p2，p3……都是素数，根据剩余定理，对于给定的b1，b2……bk，q有唯一小于p1p2……pk的正整数解。】
……
庞学林皱了皱眉，这段引理给他一种莫名的熟悉感。
“素数、etale基本群、对偶阿贝尔概型、同余数、伽罗瓦上同调，环面adele点……”
各种各样的概念不停地从庞学林的脑海里闪过。
庞学林站起身，在房间里来回走动思考。
时不时，他还回到书桌前，拿起稿纸写写算算。
庞氏几何理论中，虚二次扩张的理论一共有四个部分。
【一，定义在上半复平面上关于SL（2）的同余子群的模函数。二，虚二次扩张F/Q。三，由F的理想所决定的上半复平面内GL（2，Q）+的子群不动点。四，椭圆曲线及它的自同态环和N阶点……】
假如将这一理论向高维扩张呢？
【一，定义在有界对称域H上，关于代数群G的算术子群的自守函数。二，代数数域。三、G（Q）的离散子群在H内的不动点。四，交换簇的PEL结构，Hodge结构，Motif结构】
这样一来，就可以通过伽罗瓦群的基本作用，来确定志村簇的性质了！
庞学林的眼
…。。