×

(p)-adic Hecke(L)-函数的Iwasawa(mu)-不变量。 (英语) Zbl 1223.11131号

对于奇素数(p,),如果分支字符的导体是在最大实子域(F)上分裂的素数的乘积,作者计算了(p)-普通(CM)域(M)的反分圆Katz(p)-adic(L)-函数的(mu)-不变量,除非在极少数情况下,(p)的根数-adic函数方程与(-1\bmodp)同余,(mu)不变量为零。更确切地说,假设“普通假设”,即\(M\)中\(F\)分裂的每一个\(p\)位将素数固定到\(p\)\({\mathcal O}_M\)-理想\({\mathfrak G}={\mathcal F}{\mathcal F}'{\mathcal J},\),其中\({\mathcal F}{\mathcal F’}\)(分别为\({\mathcal J})\)由\(F,\)\({\mathcal F)的分裂(分别为惰性或分支)素数组成}+{\mathcal F}'={\mathcal O}_F\)和\({\matchal F}\子集({\mathcal F{')^c\)(其中\(c\)表示复共轭)。继Katz(他做了这个案子)之后,作者和J.蒂卢因【《科学与技术年鉴规范补编》(4)26,第2期,189-259(1993年;Zbl 0778.11061号)]在(M)的射线类群(Z({mathfrak G})mod({matfrak G}p ^ infty)上构造了一个唯一的测度(varphi),该测度内插(以我们不记得的精确方式)Hecke(L)值。固定Witt向量环(W(上划线{mathbb F}_p)上有限平坦的(p\)-adic赋值环(W\)设\(\Delta\)是\(Z({\mathfrak G})的最大扭转子群字符\(\psi:\Delta\到W^\次\)称为分支字符。度量值\(\varphi\)的\(\psi\)-分支\(\valphi_\psi\)由\(\int_\Gamma\;\Phi\;d\;\varphi_\psi=\int_{Z({\mathfrak G})}\;\psi;\功率因数\;天\;\瓦尔斐。\)当({mathcal J}=(1).)这意味着,当(p\)在\(F,\)中未分类时,\(\mu(\varphi^-_\psi)=0\),除非\(p)-adic函数方程的根数与\(-1\bmodp)同余(这种情况很少发生)。
作者的方法很深入,技术要求很高。为了给出一个想法,让我们说,他从Sinnott的代数几何证明出发,证明了分圆不变量(mu)的消失(Ferrero-Washington定理),这依赖于对({mathfrak G}_{m/{mathbb F}_p})上有理函数的分析(在形式群的超越自同构下)他的想法是用希尔伯特模Shimura变种和Eisenstein级数代替({mathfrak G}_m)和有理函数。因此,有必要对Eisenstein级数的(q)-展开式和实乘法为({mathcal O}_F.\)的阿贝尔变换模空间的几何进行广泛的研究。一方面,“(q)膨胀原理”等价于该变换模纤维的几何不可约性,Ribet展示了这一点。另一方面,普通CM-型的数据产生了给定CM-型在(W)上的交换格式(A)。作者为(A)变形空间的自同构的适当有限子集(Omega)构造了由(A)索引的Eisenstein级数(E_A),其性质如下:
1
\(E_a)与算术Eisenstein级数mod(p)同余。
2
(Omega)的元素是模空间的自同构群(即Hilbert模Shimura簇)内的不交模-(A)的稳定器。
三。
函数\(a(E_a)=E_a\circ a\)对于\(a\in\Omega\)和\(E_a\not\equiv 0\bmodp \)是线性无关的模\(p\)。
4
关于(a)Serre-Tate变形空间的标准变量(t)的(a(E_a)}(a))的非零线性组合的展开与所研究的反气旋Katz测度的给定分支的幂级数展开相一致。
作者强调,他的Eisenstein级数的(q)展开充分反映了Katz测度的可除性。在证明了他的主要定理之后,他讨论了当\({mathcal J}\neq(1)\)时会发生什么。但是,当分支字符在非分裂素数上分支和本原时,计算\(\mu\)似乎比在分裂-时间水平上的计算要复杂得多。

MSC公司:

11兰特23 岩泽理论
11国集团15 阿贝尔变种的复乘法和模
11系列40 Zeta函数和\(L\)-函数
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] M.Artin,“完整局部环上结构的代数近似”,高等科学研究院。出版物。数学。,国际空间站。36,第23-58页,1969年·Zbl 0181.48802号 ·doi:10.1007/BF02684596
[2] G.Shimura,自形形式理论中的算术性,普罗维登斯,RI:Amer。数学。Soc.,2000年·Zbl 0967.11001号
[3] D.Mumford,《阿贝尔品种》,为塔塔基础研究所出版,孟买,1970年,第5卷·Zbl 0223.14022号
[4] G.Shimura,具有复数乘法和模函数的阿贝尔变体,新泽西州普林斯顿:普林斯顿大学出版社,1998年·Zbl 0908.11023号
[5] R.Hartshorne,《代数几何》,纽约:Springer-Verlag出版社,1977年,第52卷·Zbl 0367.14001号
[6] C.Chai,“Hilbert-Blumenthal模空间的算术最小紧化”,《数学年鉴》。,第131卷,iss。3,第541-554页,1990年·Zbl 0754.14030号 ·doi:10.2307/1971469
[7] Chai,“每一个具有正特征的普通辛同胚类的模都是稠密的”,发明。数学。,第121卷,iss。1995年,第439-479页·Zbl 0990.11039号 ·doi:10.1007/BF0184309
[8] C.Chai,“可分形式群的刚性结果”,亚洲数学杂志。,第12卷,iss。2008年,第193-202页·Zbl 1153.14030号 ·doi:10.4310/AJM.2008.v12.n2.a3
[9] C.Chai,普通阿贝尔变种族:标准坐标,(p\)-进位单值,Tate-线性子变种和Hecke轨道,预印本,2003年。
[10] W.Messing,《与Barsotti-Tate群相关的晶体:Abelian方案的应用》,纽约:Springer-Verlag,1972年,第264卷·Zbl 0243.14013号 ·doi:10.1007/BFb0058301
[11] P.Deligne,“Variétés abéliennes ordinaries sur un corps fini”,《发明》。数学。,第8卷,第238-243页,1969年·Zbl 0179.26201号 ·doi:10.1007/BF01406076
[12] P.Deligne,“Travaux de Shimura”,《塞姆》。布尔巴吉,《23ème anneée》(1970/71),第389号实验,纽约:施普林格-弗拉格出版社,1971年,第244卷,第123-165页·Zbl 0225.14007号
[13] P.Deligne,“下村的变化:解释模块,以及标准化模式的构建技术”,《自同构形式、表示和\(L\)-函数》,普罗维登斯,R.I.:Amer。数学。Soc.,1979年,第三十三卷,第247-289页·Zbl 0437.14012号
[14] G.Fallings和C.Chai,《阿贝尔品种的退化》,纽约:Springer-Verlag出版社,1990年,第22卷·Zbl 0744.14031号
[15] P.Deligne和K.A.Ribet,“完全实域上负整数上阿贝尔函数的值”,发明。数学。,第59卷,iss。3,第227-286页,1980年·Zbl 0434.12009 ·doi:10.1007/BF014553237
[16] J.S.Milne,Etale Cohomology,新泽西州普林斯顿:普林斯顿大学出版社,1980年·Zbl 0433.14012号
[17] A.Grothendieck和J.Dieudonné,Eléments de Géométrie Algébrique·Zbl 0203.23301号
[18] B.Ferrero和L.C.Washington,“阿贝尔数域的Iwasawa不变量(mu_p)消失”,《数学年鉴》。,第109卷,iss。第2页,第377-395页,1979年·Zbl 0443.12001号 ·doi:10.2307/1971116
[19] T.Finis,“反分圆函数和θ函数与复数乘法的可除性”,《数学年鉴》。,第163卷,iss。2006年,第767-807页·Zbl 1111.11047号 ·doi:10.4007/年度.2006.163.767
[20] T.Finis,“虚二次场反分圆函数的(mu)不变量”,J.Reine Angew。数学。,第596卷,第131-152页,2006年·Zbl 1111.11048号 ·doi:10.1515/CRELLE.2006.056
[21] R.吉拉德(R.Gillard),“功能(L)(p)-军团方形图像与扩展”,J.Reine Angew。数学。,第358卷,第76-91页,1985年·Zbl 0551.12011号 ·doi:10.1515/crll.1985.358.76
[22] R.Gillard,“Remarques sur l’invariant mu d’Iwasawa dans le cas CM”,塞姆。塞奥尔。Nombres Bordeaux,第3卷,iss。1991年,第13-26页·Zbl 0732.11060号 ·doi:10.5802/jtnb.39
[23] D.Mumford,《几何不变量理论》,纽约:Springer-Verlag出版社,1965年,第34卷·Zbl 0147.39304号
[24] H.Hida,几何模块形式和椭圆曲线,新泽西州River Edge:世界科学。出版物。有限公司,2000年·Zbl 0960.11032号
[25] H.Hida,“PEL型Shimura变种上相干带轮的控制定理”,《数学研究所杂志》。Jussieu,第1卷,iss。2002年1月1日,第1-76页·Zbl 1039.11041号 ·doi:10.1017/S147474800200014
[26] H.Hida,“反周期主猜想”,博士。数学。,国际空间站。附加卷,第465-532页,2006年·Zbl 1200.11082号
[27] H.Hida,“Hecke(L)-值和应用的非奇异模”,《函数和伽罗瓦表示》,剑桥:剑桥大学出版社,2007年,第207-269页·Zbl 1156.11023号
[28] H.Hida,“Igusa塔的不可还原性”,《数学学报》。罪\(\)英语。序列号\(),第25卷,iss。2009年1月1日,第1-20页·Zbl 1235.11055号 ·doi:10.1007/s10114-008-6490-z
[29] H.Hida,“(p)-Adic Hecke(L)-函数的(mu)-不变量的消失”,预印本,2009年·兹伯利1239.11120
[30] H.Hida,“Igusa塔对单一Shimura品种的不可还原性”,载于《Shahidi周年纪念卷》,马萨诸塞州剑桥:粘土数学。仪器·Zbl 1272.11081号
[31] H.Hida和J.Tilouine,“反循环Katz\(p\)-adic\(L\)-函数和同余模”,《科学年鉴》。埃科尔规范。补充,第26卷,iss。2,第189-259页,1993年·Zbl 0778.11061号
[32] A.J.de Jong,“Barsotti-Tate群和正特征晶体的同态”,《发明》。数学。,第134卷,iss。2,第301-333页,1998年·Zbl 0929.14029号 ·doi:10.1007/s002220050266
[33] N.M.Katz,“模方案和模形式的基本性质”,载于《一元模函数》,第三期,纽约:Springer-Verlag出版社,1973年,第350卷,第69-190页·Zbl 0271.10033号
[34] N.M.Katz,“Serre-Tate局部模”,摘自《代数曲面》,纽约:Springer-Verlag出版社,1981年,第868卷,第138-202页·兹比尔0477.14007
[35] N.M.Katz,“CM字段的(p\)-adic\(L\)-functions”,发明。数学。,第49卷,iss。3,第199-297页,1978年·Zbl 0417.12003号 ·doi:10.1007/BF01390187
[36] R.E.Kottwitz,“有限域上一些Shimura变种的点”,J.Amer。数学。Soc.,第5卷,iss。1992年,第373-444页·Zbl 0796.14014号 ·doi:10.2307/2152772
[37] J.S.Milne,“(混合)Shimura变种和自形向量丛的规范模型”,自形形式,Shimura变体和(L)-函数,马萨诸塞州波士顿:学术出版社,1990年,第10卷,第283-414页·Zbl 2016年4月7日
[38] J.S.Milne和K.Shih,“Shimura变种的自同构群和互惠定律”,Amer。数学杂志。,第103卷,iss。1981年,第911-935页·Zbl 0475.14022号 ·doi:10.2307/2374252
[39] T.Miyake,“关于自守函数域的自同构群”,《数学年鉴》。,第95卷,第243-252页,1972年·Zbl 0249.10021号 ·doi:10.307/1970798
[40] S.Bosch、W.Lütkebohmert和M.Raynaud,《Néron Models》,纽约:Springer-Verlag出版社,1990年·Zbl 0705.14001号
[41] H.Hida,\(p\)-Shimura品种上的Adic自形形式,纽约:Springer-Verlag,2004年·Zbl 1055.11032号
[42] M.Rapoport,“Hilbert-Blumenthal模块的空间压缩”,合成数学。,第36卷,iss。3,第255-335页,1978年·Zbl 0386.14006号
[43] G.Shimura,“阿贝尔品种的模量和纤维系统”,《数学年鉴》。,第83卷,第294-338页,1966年·Zbl 0141.37503号 ·数字对象标识代码:10.2307/1970434
[44] G.Shimura,“关于有界对称域算术商的标准模型,I”,《数学年鉴》。,第91卷,第144-222页,1970年·Zbl 0237.14009号 ·数字对象标识代码:10.2307/1970604
[45] G.Shimura,“关于有界对称域的算术商的正则模型,II”,《数学年鉴》。,第92卷,第528-549页,1970年·Zbl 0237.14010号 ·doi:10.2307/1970631
[46] G.Shimura,“关于一个和多个变量模形式的一些算术性质”,《数学年鉴》。,第102卷,iss。1975年,第491-515页·Zbl 0327.10028号 ·doi:10.307/1971041
[47] W.Sinnott,“关于有理函数的伽玛变换的(mu)不变量”,发明。数学。,第75卷,iss。第2页,第273-282页,1984年·Zbl 0531.12004号 ·doi:10.1007/BF01388565
[48] V.Vatsal,“Heegner点的均匀分布”,发明。数学。,第148卷,iss。1,第1-46页,2002年·Zbl 1119.11035号 ·doi:10.1007/s002220100183
[49] V.Vatsal,“反分圆函数的特殊值”,杜克数学。J.,第116卷,iss。2,第219-2612003页·Zbl 1065.11048号 ·doi:10.1215/S0012-7094-03-11622-1
[50] V.Vatsal,“(L)函数模(p)的特殊值”,国际数学家大会。第二卷,欧洲数学。苏黎世,2006年,第501-514页·Zbl 1101.14028号
[51] J.G.Zarhin,“有限特征域上阿贝尔变种的自同态”,Izv。阿卡德。Nauk SSSR序列。材料,第39卷,iss。第2页,第272-277页,第4711975页·Zbl 0345.14014号 ·doi:10.1070/IM1975v009n02ABEH001476
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。