×

(J_0(N))的有理扭子群。 (英语) Zbl 1514.14030号

设\(N\)是一个正整数,\(Gamma_0(N)\)是由上三角模矩阵组成的\(SL_2(\mathbb{Z})\的同余子群。完全模曲线\(X_0(N){\mathbb{C}}\)是仿射模曲线\。曲线(X_0(N){\mathbb{C}})有一个在(mathbb}Q})上定义的规范非奇异投影模型,在该模型中,尖角集在(mathrm{Gal}(\bar{\mathbb{Q}}/\tathbb{Q{)的绝对Galois群作用下是不变的。用(J_0(N))表示其有理扭子群的雅可比变种(X_0(N))和(J_0(N)(mathbb{Q}){mathrm{tors}})。此外,用\(J_0(N)(\mathbb{Q})_{\mathrm{tors}}[p^{infty}]\)表示\(J_0(N)的\(p\)-主子群(\mathbb{Q{){\mathr m{tors}}\)。
有理尖点除数是仅在尖点上支持的除数,并在\(\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})\的作用下固定。我们用(mathcal{C}(N)表示由0次有理尖点除数的线性等价类生成的(J0(N)(mathbb{Q})的子群,用(C(N)[p^{infty}]\)表示(C(N\)的(p\)-主子群。
设\(N\)是一个正整数,并假设\(p\)是其平方不除\(N\)的任何奇素数。本文证明了如果(p\geq5),那么我们有(C(N)[p^{infty}]=J_0(N)(mathbb{Q}){mathrm{tors}})。此外,对于素数(p=3),上述等式在额外的假设下成立,即(N)不可被3整除,或者存在与(-1)模3同余的素数除数。该证明使用了艾森斯坦理想理论。

MSC公司:

14G05年 理性点
11世纪18年代 模块和Shimura变种的算术方面
14G35型 模块化和Shimura品种
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 博世公司。;Lütkebohmert,W。;Raynaud,M.,Néron Models,Ergeb。数学。格伦茨盖布。,3.福克,第21卷(1990年),斯普林格-Verlag·Zbl 0705.14001号
[2] Box,J.,模曲线上具有无限Mordell-Weil群的二次曲线点,数学。计算。,90, 327, 321-343 (2021) ·Zbl 1462.11049号
[3] Calegari,F。;Emerton,M.,《关于Hecke代数在Eisenstein素数上的分支》,发明。数学。,160, 97-144 (2005) ·兹比尔1145.11314
[4] Deligne,P。;Rapoport,M.,Les schémas de modules de courbes elliptiques,(一变量的模函数II.一变量的模数函数II,数学讲义,第349卷(1973)),143-316·Zbl 0281.14010号
[5] 戴蒙德·F。;Shurman,J.,模块形式第一课程,数学研究生课本。,第228卷(2005),施普林格出版社·Zbl 1062.11022号
[6] Drinfeld,V.,关于模曲线的两个定理,Funct。分析。申请。,7, 155-156 (1973) ·Zbl 0285.14006号
[7] Edixhoven,B.,《Hecke-sur-les groupes de composantes des jacobiennes des courbes modularies est“Eisenstein”,(《下村课程模块》,奥尔赛,1987/1988年。《模块化课程与Shimura课程》。下村法院,奥赛,1987/1988,阿斯特里斯克,第196-197卷(1991年),159-170·Zbl 0781.14019号
[8] 郭杰。;Yang,Y。;Yoo,H。;Yu,M.,带M平方自由的(J_0(p^2M)的有理尖顶子群,数学。纳克里斯。(2023年),(待发布)·Zbl 07750733号
[9] Katz,N.,模格式和模形式的p-adic性质,(一元模函数III.一元模功能III,数学讲义,第350卷(1973)),69-190·Zbl 0271.10033号
[10] Katz,N.,阿贝尔变种上扭点的Galois性质,发明。数学。,62, 481-502 (1981) ·兹伯利0471.14023
[11] Kim,T。;Yoo,H.,Hecke算子对模Jacobian变种组成群的作用,Pac。数学杂志。,296, 2, 341-355 (2018) ·Zbl 1447.11065号
[12] Ligozat,G.,Courbes modularies de genre 1,《公牛》。社会数学。Fr.、MéM.、。,43, 5-80 (1975) ·Zbl 0322.14011号
[13] Ling,S.,关于-有理尖顶子群和\(J_0(p^r)\,Isr的组成群。数学杂志。,99, 29-54 (1997) ·Zbl 0934.14022号
[14] Lorenzini,D.,模Jacobian(J_0(N))上的扭点,合成。数学。,96, 2, 149-172 (1995) ·兹伯利0846.14017
[15] Manin,Y.,模曲线的抛物线点和zeta函数,Izv。阿卡德。Nauk SSSR,序列号。Mat…Izv公司。阿卡德。Nauk SSSR,序列号。数学、数学。苏联,伊兹瓦。,6,19-64(1972),(俄语)。中的翻译·Zbl 0248.14010号
[16] Mazur,B.,《模数曲线与艾森斯坦理想》,Publ。数学。高等科学研究院。,47, 33-186 (1977) ·Zbl 0394.14008号
[17] Mazur,B。;Ribet,K.,《模曲线算术中的二维表示法》(Courbes modularies et Courbes de Shimura),《Courbes MODularies et-Courbes de Shimura》,奥赛出版社,1987/1988年。模块化法院和下村法院。《模块化课程与Shimura课程》,奥尔赛,1987/1988,《阿斯特里斯克》,第196-197卷(1991)),215-255·Zbl 0780.14015号
[18] Ogg,A.,丢番图方程和模形式,布尔。美国数学。《社会学杂志》,81,14-27(1975)·Zbl 0316.14012号
[19] Ohta,M.,Eisenstein理想与模雅可比变种II的有理扭子群,东京J.数学。,37, 2, 273-318 (2014) ·Zbl 1332.11061号
[20] Ozman,E。;Siksek,S.,模曲线上的二次点,数学。计算。,88, 319, 2461-2484 (2019) ·Zbl 1458.11094号
[21] Poulakis,D.,La courbe modulaire(X_0(125))et sa jacobienne,J.数论,25,112-131(1987)·Zbl 0606.14029号
[22] Raynaud,M.,《Picard专业》,Publ。数学。高等科学研究院。,38, 27-76 (1970) ·Zbl 0207.51602号
[23] Ren,Y.,模雅可比变种的有理扭子群,J.数论,190169-186(2018)·Zbl 1442.11094号
[24] Rouse,J。;Webb,J.J.,《关于eta-商跨越的模形式空间》,高等数学。,272, 200-224 (2015) ·Zbl 1327.11026号
[25] 塞雷,J.-P。;Tate,J.,阿贝尔品种的良好还原,Ann.Math。,88, 492-517 (1968) ·Zbl 0172.46101号
[26] Takagi,T.,无平方M的模曲线(X_0(M))的尖顶类数公式,J.代数,193,180-213(1997)·Zbl 0888.11021号
[27] 韦克,P。;王埃里克森,C.,无平方水平的艾森斯坦理想,高等数学。,380,第107543条pp.(2021)·Zbl 1473.11117号
[28] 王,L。;Yang,Y.,(X_0(n^2 M)上的模单位和尖除子类,带(n|24)和M平方自由,J.代数,562,410-432(2020)·Zbl 1469.11200号
[29] Wiles,A.,模椭圆曲线和费马最后定理,《数学年鉴》。,142, 443-551 (1995) ·兹伯利0823.11029
[30] Yoo,H.,艾森斯坦理想指数和多重性指数,数学。Z.,282,3,1097-1116(2016)·Zbl 1338.11057号
[31] Yoo,H.,模曲线Jacobians上的有理扭点,Acta Arith。,3472, 299-304 (2016) ·Zbl 1337.11039号
[32] Yoo,H.,关于有理Eisenstein素数和模Jacobian变种的有理尖顶群,Trans。美国数学。Soc.,372,4,2429-2466(2019年)·Zbl 1472.11137号
[33] Yoo,H.,\(X_0(N)\)的有理尖除数类群,数论,242278-401(2023)·Zbl 1523.11107号
[34] H.Yoo,M.Yu,(J_0(N))的有理尖顶子群,预印本,2022。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。