弗兰克·卡莱加里;内森·邓菲尔德。 自同构形式和有理同调3-球。 (英语) Zbl 1103.57007号 地理。白杨。 10, 295-329 (2006). 作者总结:我们研究了虚拟哈肯猜想附近的库珀问题。假设数论中的某些猜想,我们证明了存在具有任意大内射半径的双曲有理同调3-球。这些例子来自显式算术3流形的阿贝尔覆盖塔。我们必须假设的猜想是广义黎曼假设,以及Taylor等人关于{德国}_2\)一个假想的二次场。这个定理的证明包括排除Gal((bar\mathbbQ/mathbbQ(\sqrt{-2}))的不可约二维Galois表示(\rho)的存在性,该表示满足特定的分支条件。与这种形式的类似问题相反,允许在(mathbbZ[\sqrt{-2}]\)的一些素数(\pi\)上有任意分支。【地理白杨.10,331–334(2006;Zbl 1108.57002号)],北波士顿和J.S.埃伦伯格将pro-(p)技术应用于我们的示例,并证明我们的结果无条件为真。在这里,我们给出了他们的技术应用的其他示例,包括一些非算术示例。最后,我们研究了扭结球形体的同余覆盖。我们的实验证据表明,这些拓扑相似的球形物体根据它们是否是算术物体而具有相当不同的行为。特别是,非算术orbifold的同余覆盖缺乏同源性。审核人:Masanori Morishita(福冈) 引用于1审查引用于19文件 MSC公司: 57米27 节点和(3)流形的不变量(MSC2010) 11楼75 算术群的上同调 11层80 伽罗瓦表示 关键词:虚拟哈肯猜想;库珀的问题;有理同调球;注入半径;自形形式;伽罗瓦表示 引文:Zbl 1108.57002号 软件:捕捉;间隙;SnapPea公司 PDF格式BibTeX公司 XML格式引用 \textit{F.Calegari}和\textit{N.M.Dunfield},Geom。白杨。10295-329(2006年;兹比尔1103.57007) 全文: 内政部 arXiv公司 欧洲DML 参考文献: [1] M Baker,M Boileau,S Wang,双曲3-流形覆盖的塔,Rend。发行。Trieste Mat.Univ.32(2001年)·Zbl 1006.57007号 [2] N Boston,J S Ellenberg,Pro-\(p\)群和有理同源球塔,Geom。白杨。10 (2006) 331 ·兹比尔1108.57002 ·doi:10.2140/gt.2006.10.331 [3] A Brumer,K Kramer,某些半稳定阿贝尔变种的不存在,手稿数学。106 (2001) 291 ·Zbl 1073.14544号 ·doi:10.1007/PL00005885 [4] F Calegari,(mathbbQ)上的半稳定阿贝尔变种,Manuscripta Math。113 (2004) 507 ·Zbl 1076.14058号 ·doi:10.1007/s00229-004-0445-1 [5] F Calegari、N M Dunfield、数据文件和Magma程序·Zbl 1025.57018号 [6] H Carayol,Sur les représentations\(l)-adiques associees aux formes modulares de Hilbert,Ann.Sci。埃科尔规范。补充(4)19(1986)409·Zbl 0616.10025号 [7] L Clozel,关于\(\mathrm{SL}(2n)\)的算术子群的尖上同调和算术3-流形的第一个Betti数,Duke Math。《J·55》(1987)475·Zbl 0648.2207号 ·doi:10.1215/S0012-7094-87-05525-6 [8] L Clozel,《论科特维茨算术变体的上同调》,《数学公爵》。J.72(1993)757·Zbl 0974.11019号 ·doi:10.1215/S0012-7094-93-07229-8 [9] C A Group,Magma,2.12版(2003) [10] D Coulson,O A Goodman,C D Hodgson,W D Neumann,计算3流形的算术不变量,实验。数学。9 (2000) 127 ·Zbl 1002.57044号 ·doi:10.1080/10586458.2000.10504641 [11] J E Cremona,双曲镶嵌,模符号,复二次域上的椭圆曲线,合成数学。51 (1984) 275 ·兹伯利0546.14027 [12] J D Dixon,M P F du Sautoy,A Mann,D Segal,分析亲组,剑桥高等数学研究61,剑桥大学出版社(1999)·Zbl 0934.20001号 [13] N M Dunfield,W P Thurston,虚拟Haken猜想:实验和示例,Geom。白杨。7 (2003) 399 ·Zbl 1037.57015号 ·doi:10.2140/gt.2003.7.399 [14] J M Fontaine,Il n'y a pas de variétéabélienne sur(\mathbbZ),《发明》。数学。81 (1985) 515 ·兹伯利0612.14043 ·doi:10.1007/BF01388584 [15] O Goodman,Snap:研究双曲3-流形算术不变量的计算机程序 [16] F Grunewald、H Helling、J Mennicke、{SL}_2\)复二次数域I,代数I Logika 17(1978)512,622·Zbl 0483.10024号 ·doi:10.1007/BF01673825 [17] G Harder,Eisenstein算术群的上同调。案例\(\mathrm{GL}_2\),发明。数学。89 (1987) 37 ·Zbl 0629.10023号 ·doi:10.1007/BF01404673 [18] M Harris,D Soudry,R Taylor,与虚二次域上模形式相关的(l)元表示I:提升到(mathrm{GSp}_4(\mathbbQ),发明。数学。112(1993)377·Zbl 0797.11047号 ·doi:10.1007/BF01232440 [19] D Heard,Orb:计算球面双曲线结构的程序 [20] H M Hilden,M T Lozano,J M Montesinos-Amilibia,《关于算术2-桥结和链接球形以及一个新的结不变量》,《结理论分支》4(1995)81·Zbl 0844.57006号 ·doi:10.1142/S0218216595000053 [21] J Hoste,P D Shanahan,扭结的可公度类,J.结理论分歧14(2005)91·Zbl 1074.57007号 ·doi:10.1142/S021821655003737 [22] H Jacquet,R P Langlands,自形形式·Zbl 0236.12010 ·doi:10.1007/BFb0058988 [23] R C Kirby,低维拓扑问题,AMS/IP Stud.高级数学。2,美国。数学。Soc.(1997)35 [24] J P Labesse,J Schwermer,《关于算术群的提升和尖点上同调》,《发明》。数学。83 (1986) 383 ·Zbl 0581.10013号 ·doi:10.1007/BF01388968 [25] Lubotzky,群表示,(p)元分析群和格{SL}_2(mathbbC),数学年鉴\((2)\) 118 (1983) 115 ·兹伯利0541.20020 ·doi:10.2307/2006956 [26] 卢博茨基,拉普拉斯算子的特征值,第一贝蒂数和同余子群问题,数学年鉴\((2)\) 144 (1996) 441 ·Zbl 0885.11037号 ·doi:10.2307/2118597 [27] 一个Lubotzky,自由商和一些双曲流形的第一个Betti数,变换。第1组(1996)71·Zbl 0876.22015.中 ·doi:10.1007/BF02587736 [28] C Maclachlan,A W Reid,双曲3流形的算法,数学研究生教材219,Springer(2003)·Zbl 1025.57001号 [29] J Martinet,Petits discriminations des corps de nombres,伦敦数学。Soc.课堂讲稿Ser。56,剑桥大学出版社(1982)151·兹伯利0491.12005 [30] J J Millson,关于常负弯曲流形的第一个Betti数,数学年鉴\((2)\) 104 (1976) 235 ·Zbl 0364.53020号 ·doi:10.2307/1971046 [31] M F Newman,E A O’Brien,《计算机在伯恩赛德II等问题上的应用》,国际出版社。代数计算J。6 (1996) 593 ·Zbl 0867.20003号 ·doi:10.1142/S0218196796000337 [32] G Perelman,Ricci流的熵公式及其几何应用·Zbl 1130.53001号 [33] G Perelman,Ricci flow与三流形手术·Zbl 1130.53002号 [34] C S Rajan,关于双曲三流形第一Betti数的非零性,数学。安330(2004)323·Zbl 1077.11040号 ·doi:10.1007/s00208-004-0552-z [35] M Rapoport、T Zink、U ber die lokale Zetafunktion von Shimuravarietäten。发明ungleicher Charakteristik中的单峰过滤和verschwindende Zyklen。数学。68 (1982) 21 ·Zbl 0498.14010号 ·doi:10.1007/BF01394268 [36] J D Rogawski,三变量幺正群的自守表示,数学研究年鉴123,普林斯顿大学出版社(1990)·Zbl 0724.11031号 [37] R Schoof,分圆域上的Abelian变量,到处都有良好的约简,数学。附件325(2003)413·Zbl 1058.11038号 ·doi:10.1007/s00208-002-0368-7 [38] H P F Swinnerton-Dyer,模形式系数的On(l)-adic表示和同余,Springer(1977)·Zbl 0392.10030号 [39] J Tate,在2之外未分类的某些Galois扩展的不存在,Contemp。数学。阿默尔174。数学。社会学(1994)153·Zbl 0814.11057号 [40] R Taylor,与虚二次域上模形式相关的(l)-元表示II,发明。数学。116 (1994) 619 ·Zbl 0823.11020号 ·doi:10.1007/BF01231575 [41] R Taylor,关于Hilbert模形式II的Galois表示,Ser。《数论I》,国际出版社(1995)185·兹比尔0836.2017 [42] R Taylor,A Wiles,某些Hecke代数的环理论性质,数学年鉴\((2)\) 141 (1995) 553 ·Zbl 0823.11030号 ·doi:10.2307/2118560 [43] R Taylor,T Yoshida,《兰兰兹本地和全球通信的兼容性》,预印本(2004)·Zbl 1210.11118号 ·网址:10.1090/S0894-0347-06-00542-X [44] T G Group,GAP-Group,Algorithms and Programming,4.2版(2000) [45] M F Vignéras,四元数算术,数学讲义800,Springer(1980)·Zbl 0422.12008号 [46] F Waldhausen,《足够大的不可约3流形基本群中的单词问题》,《数学年鉴》\((2)\) 88 (1968) 272 ·Zbl 0167.52103号 ·doi:10.2307/1970574 [47] J R Weeks,SnapPea:一个研究双曲3-流形的计算机程序 [48] A Weil,关于李群的离散子群,数学年鉴\((2)\) 72 (1960) 369 ·Zbl 0131.26602号 ·数字对象标识代码:10.2307/1970140 [49] 威尔斯,模椭圆曲线和费马最后定理,数学年鉴\((2)\) 141 (1995) 443 ·Zbl 0823.11029号 ·doi:10.2307/2118559 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。