“徐，我们都知道p进ζ函数是p进l函数的一个例子，它体现了对应数域的解析性质，而coates-wiles和an在明显互反律的工作表明上述多项式和chec只是相差一个固定多项式。”
“你说如果选取一个合适的加罗德域作为有限交换群，是否能将代数对象等同于p-进解析对象？”
一旁，正认真坐着听讲的陶哲轩突然凑了过来，小声的询问道。
徐川皱了皱眉，问道：“岩泽理论的主猜想？”
陶哲轩点了点头，道：“嗯，刚刚在听舒尔茨教授讲解他的类似完备空间理论时有些启发，或许值得尝试一下，你怎么看？”
闻言，徐川紧皱起了眉头，思虑了一番后道：“考虑群环zp[gn]构成的系，由于gn到gn?1之间存在自然限制映射，此系也存在射影极限Λ，事实上，Λ同构于以zp为系数的幂级数环zp[[t]]，它被称做岩泽代数......”
“回到分圆zp扩张的情形.kn的理想类群是有限交换群，记其p部分是an.一方面，由于它是p阶群，有zp的作用;而另一方面knk的加罗瓦群作用在它上面，故an是环zp[gn]的有限模.由于kn+1到kn有自然的映射，我们可以得到an+1到an的自然映射......”
“从chachec.可以看出，a说明的是数域的理想类群，是一个纯粹的代数对象.而分圆单位本质上是一个解析对象。”
“从这个角度来看，想要用一个合适的加罗德域作为有限交换群，进而等同代数和p进数恐怕是一件很难的事情。”
闻言，陶哲轩陷入了沉思中，半响后才道：“但域群的有限扩张应该可以解决这个问题，这可以利用舒尔茨教授的类似完备空间理论，这套理论能做到将局部域上的算术问题简化表示为特定的特征及特征域的组合......”
徐川耸了耸肩，道：“抱歉，这方面我就不清楚了，舒尔茨教授的‘ps进域-几何理论’我并不熟悉，不然今天我也不会坐到这里学习了。”
这方面他的确不熟悉，ps进域-几何理论是代数与几何方面的东西，而p进数更是纯数论方面的，上辈子他基本没多少了解，刚刚他说的这些东西还是过年之前学些域扩张时了解的一些知识。
听到这话，陶哲轩才勐然惊醒过来：“哦，我差点忘了你今年才上大一，舒尔茨教授的类似完备空间理论对于大学生来