×

从Cartier-Manin矩阵计算Picard曲线的(L)-多项式。 (英语) Zbl 1489.11136号

摘要:我们研究了定义在(mathbb{Q})上的泛型Picard曲线(C:y^3=f(x))的zeta函数(Z(C_p,T))在(C\)的良好约简素数(p\)处的序列。我们在mathbb{Q}[x]\中定义了一个(9)次多项式,使得(psi_f(x^3/2)的分裂场是(C)雅可比矩阵的(2)-扭转场。我们证明,对于素数的密度为零的子集以外的所有素数,zeta函数(Z(C_p,T)唯一地由(C)模的Cartier-Manin矩阵(a_p)和(f)和(psi_f)的分裂行为模(p\)决定;我们还证明了对于素数(equiv1\pmod{3}),矩阵(A_p)就足够了,而对于素数来说,关于(C\)的一般性假设是不必要的。证明的一个元素是确定一般Picard曲线的普通约简素数集的密度,这可能是一个独立的兴趣。通过结合Sutherland最近的工作,我们得到了一个实用的确定性算法,该算法使用(N\log(N)^{3+o(1)}位运算计算几乎所有素数(p\leN)的(Z(C_p,T))。这是对于大于2的亏格曲线这类曲线的第一个实际结果。

MSC公司:

11立方米 Zeta和特性中的函数
14国集团10 Zeta函数和代数几何中的相关问题(例如Birch-Swinnerton-Dyer猜想)
2016年11月 数字理论算法;复杂性
11国40 \(L\)-品种在全球范围内的函数;Birch-Swinnerton-Dyer猜想
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 阿鲁尔、维沙尔;贝斯特,亚历克斯·J。;埃德加·科斯塔(Edgar Costa);理查德·马格纳(Richard Magner);Triantafillou,Nicholas,计算大特征循环覆盖的zeta函数。第十三届算法数论研讨会论文集。2,37-53(2019),数学。科学。出版物。,加利福尼亚州伯克利·Zbl 1517.11119号
[2] S.Abelard,《大特征超椭圆曲线上的计数点:算法和复杂性》,博士论文。,法国洛林大学,2018年。
[3] 杰弗里·阿切特(Jeffrey D.Achter)。;Howe、Everett W.、Hasse-Witt和Cartier-Manin矩阵:警告和请求。算术几何:计算与应用,Contemp。数学。722,1-18([2019]©2019),美国。数学。佛罗里达州普罗维登斯Soc·Zbl 1439.11145号 ·doi:10.1090/conm/722/14534
[4] S.Asif,D.Pentland,Computing Picard,Github repository containing Sage code,《计算Picard》,包含Sage代码,https://github.com/sualehasif/computingPicardhttps://github.com/sualehasif/computingPicard。
[5] Arul,Vishal,超椭圆曲线上的除(1-\zeta)和Jacobians,国际数学。Res.不。IMRN,4,3143-3185(2021)·Zbl 1478.14050号 ·doi:10.1093/imrn/rnaa075
[6] 汉斯·乌尔里希(Hans Ulrich Besche);贝蒂娜·艾克;O'Brien,E.A.,《千年项目:构建小团体》,国际出版社。代数计算杂志。,1623-644年12月5日(2002年)·Zbl 1020.20013号 ·doi:10.1142/S0218196702001115
[7] 马克·鲍尔(Mark Bauer);Edlyn Teske;Weng,Annegret,大特征Picard曲线上的点计数,数学。公司。,74, 252, 1983-2005 (2005) ·Zbl 1079.14040号 ·doi:10.1090/S0025-5718-05-01758-8
[8] E.Costa、R.Donepudi、R.Fernando、V.Karemaker、C.Springer和M.West,超椭圆曲线雅可比数的Weil多项式的限制,出现在算术几何、数论和计算中,西蒙斯交响乐。,2002.02067v22020年。
[9] Doche,Christophe,《有限域算术》。椭圆和超椭圆曲线密码手册,离散数学。申请。(博卡拉顿),201-237(2006),查普曼和霍尔/CRC,佛罗里达州博卡拉顿·Zbl 1082.94001号
[10] 适合,弗朗西斯科;Kiran S.Kedlaya。;Rotger,V'{i}系数;Sutherland,Andrew V.,Sato-Tate分布和属2中的Galois自同态模,合成。数学。,148, 5, 1390-1442 (2012) ·Zbl 1269.11094号 ·doi:10.1112/S0010437X12000279
[11] 适合,弗朗西斯科;Kedlaya,Kiran S。;Sutherland,Andrew V.,Sato-Tate三重阿贝尔群:分类预览。算术,几何学,密码学和编码理论,康特姆。数学。770103-129(2021),美国。数学。佛罗里达州普罗维登斯Soc·Zbl 1497.11158号 ·doi:10.1090/conm/770/15432
[12] F.Fit’e,一些具有额外自同态的品种的普通素数,2005.10185v12020。
[13] 圣弗洛恩{e} 显影; Oyono,Roger,Picard曲线雅可比矩阵的快速算法。公钥密码——PKC 2004,计算机课堂讲稿。科学。2947,55-68(2004),柏林斯普林格·Zbl 1198.94093号 ·doi:10.1007/978-3-540-24632-9\5
[14] 约阿希姆·冯·祖尔·加滕;杰·格哈德“{u} rgen公司《现代计算机代数》,xiv+795 pp.(2013),剑桥大学出版社,剑桥·Zbl 1277.68002号 ·doi:10.1017/CBO9781139856065
[15] 戴维·哈维,《平均多项式时间内超椭圆曲线上的点计数》,《数学年鉴》。(2), 179, 2, 783-803 (2014) ·Zbl 1294.11104号 ·doi:10.4007/annals.2014.179.2.7
[16] David Harvey,《计算算术方案的zeta函数》,Proc。伦敦。数学。Soc.(3),111,6,1379-1401(2015)·Zbl 1333.11062号 ·doi:10.1112/plms/pdv056
[17] 戴维·哈维;van der Hoeven,Joris,《时间中的整数乘法》,《数学年鉴》。(2), 193, 2, 563-617 (2021) ·Zbl 1480.11162号 ·doi:10.4007/annals.2021.193.2.4
[18] 戴维·哈维;梅克·马西雷尔;Sutherland,Andrew V.,计算第三类几何超椭圆曲线的(L)系列,LMS J.计算。数学。,19,补充A,220-234(2016)·兹伯利1404.11143 ·doi:10.1112/S14615701600383
[19] 戴维·哈维;Sutherland,Andrew V.,在平均多项式时间内计算超椭圆曲线的Hasse-Witt矩阵,LMS J.Compute。数学。,17,补充A,257-273(2014)·Zbl 1296.11076号 ·doi:10.1112/S146157014000187
[20] 戴维·哈维;Andrew V.Sutherland,在平均多项式时间内计算超椭圆曲线的Hasse-Witt矩阵,II。Frobenius分布:Lang-Trotter和Sato-Tate猜想,康特姆。数学。663127-147(2016),美国。数学。佛罗里达州普罗维登斯Soc·Zbl 1417.11121号 ·doi:10.1090/conm/663/13352
[21] N.M.Katz,Une formule de concomence pour la function\(\ zeta\)。在一级方程式组中。二、 数学课堂笔记,第340卷,第401-438页。施普林格·弗拉格,柏林-纽约,1973年。S’eminaire de G’eom’etrie Alg’ebrique du Bois-Marie 1967-1969(SGA 7 II),dirig’e par P.Deligne et N.Katz·Zbl 0275.14015号
[22] 尼古拉斯·M·卡茨。;威廉·梅辛(William Messing),黎曼假设对有限域上变分的一些结果,发明。数学。,23, 73-77 (1974) ·Zbl 0275.14011号 ·doi:10.1007/BF01405203
[23] Kiran S.Kedlaya。;Sutherland,Andrew V.,计算超椭圆曲线的(L)级数。算法数论,计算机课堂讲稿。科学。5011、312-326(2008),柏林斯普林格·Zbl 1232.11078号 ·doi:10.1007/978-3-540-79456-1\_21
[24] Kiran S.Kedlaya。;Sutherland,Andrew V.,超椭圆曲线,(L)多项式和随机矩阵。算术,几何学,密码学和编码理论,康特姆。数学。487119-162(2009),美国。数学。佛罗里达州普罗维登斯Soc·Zbl 1233.11074号 ·doi:10.1090/conm/487/09529
[25] LMFDB协作,L函数和模块化表格数据库,2021,可在http://www.lmfdb.org。
[26] E.MacNeil,\(C_3,4\)curves,Github repository containing Sage code,网址:https://github.com/emmacneil/c34-curves。
[27] E.MacNeil、M.Jacobson和R.Scheidler,(C_3,4)曲线上的除数类群算法。加拿大卡尔加里大学硕士论文,2019年,在线阅读https://prism.ucalgary.ca/handle/1880/111659。 ·Zbl 1457.14075号
[28] H.Cohen等人,《PARI/GP数学软件》,2.11.4版,网址:https://pari.math.u-bordeaux.fr。
[29] Pila,J.,《阿贝尔变种的Frobenius映射和在有限域中寻找统一根》,数学。公司。,55, 192, 745-763 (1990) ·Zbl 0724.11070号 ·doi:10.2307/2008445
[30] Ribet,Kenneth A.,Galois对具有实乘法的Abelian变种的分裂点的作用,Amer。数学杂志。,98751-804(1976年)·Zbl 0348.14022号 ·doi:10.2307/2373815
[31] W.A.Stein等人,Sage数学软件,6.3版,网址:http://www.sagemath.org http://www.sagemath.org。
[32] Sawin,William F.,阿贝尔曲面的普通素数,C.R.数学。阿卡德。科学。巴黎,354,6566-568(2016)·Zbl 1336.11048号 ·doi:10.1016/j.crma.2016.01.025
[33] Schaefer,Edward F.,勘误表:“使用曲线上的函数计算Jacobian的Selmer群”[Math.Ann.{\bf 310}(1998),no.3,447-471;MR1612262],数学。年鉴,339,1,1页(2007)·Zbl 0889.11021号 ·doi:10.1007/s00208-007-0091-5
[34] Schoof,Ren’{e},有限域上的椭圆曲线和模(p)平方根的计算,数学。公司。,44, 170, 483-494 (1985) ·Zbl 0579.14025号 ·doi:10.2307/2007968
[35] Serre、Jean-Pierre、Sur la topologie des vari\'{e} t吨\'{e} 秒alg\'{e} 煤块打开\'{e} 里斯蒂克\(p\)。国际拓扑学研讨会代数国际拓扑学研讨会,24-53(1958),国立奥特大学{o} 瘤de M\'(de M){e} 墨西哥和联合国教科文组织,墨西哥城·Zbl 0098.13103号
[36] Serre,Jean-Pierre,《关于(N_X(p))的讲座》,Chapman&Hall/CRC数学研究笔记11,X+163页(2012),CRC出版社,佛罗里达州博卡拉顿·Zbl 1238.11001号
[37] Sutherland,Andrew V.,有限交换群中的结构计算和离散对数,数学。公司。,80, 273, 477-500 (2011) ·Zbl 1225.11163号 ·doi:10.1090/S0025-5718-10-02356-2
[38] A.V.Sutherland,平均多项式时间内超椭圆曲线上的点计数,第十四届算法数论研讨会(ANTS XIV),公开书号。4 (2020), 403-422. ·Zbl 1472.11322号
[39] Upton,M.G.,附在Picard曲线上的Galois表示,代数杂志,322,4,1038-1059(2009)·Zbl 1230.11071号 ·doi:10.1016/j.jalgebra.2009.04.021
[40] Zarhin,Yuri G.,阿贝尔变种的自同态代数,特别是超椭圆雅可比变种。几何学、代数、数论及其信息技术应用,Springer Proc。数学。《法律总汇》第251卷,第477-528页(2018年),美国商会施普林格·Zbl 1475.14055号 ·doi:10.1007/978-3-319-97379-1 \_22
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。