“徐，我们都知道p进ζ函数是p进l函数的一个例子，它体现了对应数域的解析性质，而coates-wiles和an在明显互反律的工作表明🄗♒🇶上述多项式和ch(e/c)只是相差一个固定多项式。”
“你说如果选取一个合适的加罗德域作为有限交换群，🖸是🗟🜵🆞否能将代数对象等同于p-进解析对象？”
一旁，正认真坐着听讲的陶哲轩突然凑了过👟来，小声的询问☆☰🃃道。
徐川皱⛓🙿🐋了皱眉，问道：“岩🗁😪泽理论🚙📶的主猜想？”
陶哲轩点🏽🟧了点头，道：“嗯，刚刚在听舒尔茨教授讲解他的类似完备空间理😾论时有些启发，或许值得尝试一下，你怎么看？”
闻言，徐川紧皱起了眉头，思虑了一番后道：“考虑群环zp🙨🌻🄔[gn]构成的系，由于gn到gn?1之间存🔩🃓🗙在自然限制映射，此系也存在🂆射影极限Λ，事实上，Λ同构于以zp为系数的幂级数环zp[[t]]，它被称做岩泽代数......”
“回到分圆zp扩张的情形.kn的理想类群是有限交换群，记其p部🐁☝分是an.一方面，由于它是p阶群，有zp的作用;而另一方面kn/k🔆♼的加罗瓦群作用在它上面，故an是环zp[gn]的有限模.由于kn+1到kn有自然的映射，我们可以得到an+1到an的自然映射...⚻...”
“从ch(a)=ch(e/c).可以看出，a说明的是数域的理想类群，是一个🌱🂼纯粹的代数对象.而分圆单位本质上是一个解析对象。🂆”
“从这个角度来看，🙑想要用一🄴🁭🉁个合适的加罗德域作为有限交换群，进而等同😾代数和p进数恐怕是一件很难的事情。”
闻言，陶哲轩陷入了沉思中，半响后才道：“但域群的有限扩张应该可以解决这个问题，这可以利用舒尔茨教授的类似完备空间理论，这套理论能做到将局部域上的算术问题简化表示为特定的特征及特征域的组合......”
徐川耸了耸🄶🁿肩，道：“抱歉，这方面我就不清楚了🍗，舒尔茨教授的‘p·s进域-几何理论’我并不熟悉，不然今天我也不会坐到这里学习了。”
这方面⛓🙿🐋他的确不熟悉，p·s进域-几何理论是代数与几何方面的东西，而p进数更是纯数论方面的，上辈🍥子他基本没多少了解，刚刚他说的这些东西还是过年之前学些域扩张时了解的一些知识。
听到这话，陶哲轩才勐然惊醒过来：“哦，我差点忘了你今年才上大一，舒尔茨教🐡🁝授的类似完备空间理论对于大学生来说的确有点难懂。”
“不过你的学识真是让我吃惊，没想到除了谱渐近和具分形边界连通区域外，你对🐡🁝在群环和有限域上的理解也这么深刻。🟗🝏”
“你真的是一名还在读本科的大学生吗🃉🕹？或许你在未来可以更多🞓的尝试深入了解一下这方面的内容。”
徐川笑了笑，道：“我正在这么做。”
闻言，陶哲轩感🟌叹道：“看来在不久的将来，我们又将迎来一名数学界的🛺新星。”
顿了⚱🕉🇱顿，陶哲轩又接着道：“徐，🚙📶不如你来加州大学读博如何？关于岩泽理论的主猜想我这边有一些思路，如果你感兴趣的话，我们可🝾🐭🃃以一起来解决这个问题。”
“关于群域这方面的东西🐕⛕🚌，我需要一个人帮助，你很合适，而且我们交流和愉快不是吗？”
一旁，一名来自🟌阿根廷的数学教授🚙📶一脸懵逼的看着陶哲轩和徐川🞓。