达姆-约翰森，瓦尔德 Gross-Stark单元和Stark-Heegner点的模块化算法。 （英语） Zbl 07840416号 克雷莫纳，约翰（编辑）等，LuCaNT:LMFDB，计算和数论。2023年7月10日至14日，美国罗得岛州普罗维登斯数学计算与实验研究所（ICERM）会议。普罗维登斯，RI：美国数学学会（AMS）。康斯坦普。数学。796, 261-284 (2024). 摘要：在最近的工作中，Darmon、Pozzi和Vonk显式地构造了一个模形式，其谱系数是Gross-Stark单位和Stark-Heegner点的对数。在这里，我们描述了这种构造如何产生一种实用算法，用于显式计算这些对数以达到指定精度，以及如何从中恢复Gross-Stark单位和Stark-Heegner点的精确值。关键工具是超收敛模形式、二次型约简理论和牛顿多边形。作为一个应用，我们将实际二次域的窄Hilbert类域中的Gross-Stark单位制表，对于小于20的素数，以及椭圆曲线上的Stark-Heegner点，判别式可达10000。关于整个系列，请参见[Zbl 1534.11004号]. MSC公司： 11楼33 模和（p\）-基模形式的同余 11路42号 Zeta函数和数字域的（L）-函数 11年40 代数数论计算 软件：SageMath公司;岩浆 PDF格式BibTeX公司 XML格式引用 \textit{H.Damm-Johnsen}，康特姆。数学。796、261--284（2024；Zbl 07840416） 全文： 内政部 arXiv公司 参考文献： [1] 汤姆·阿波斯托（Tom M.Apostol），《数论中的模函数和狄里克莱级数》，《数学研究生教材》，x+204页，1990年，纽约斯普林格-弗拉格出版社·Zbl 0697.10023号 ·doi:10.1007/978-1-4612-0999-7 [2] Bosma，Wieb，《岩浆代数系统》。I.用户语言，J.符号计算。，235-265, 1997 ·Zbl 0898.68039号 ·doi:10.1006/jsco.1996.0125 [3] Buchmann，Johannes，《二元二次型，数学中的算法和计算》，xiv+318页，2007年，施普林格，柏林·Zbl 1125.11028号 [4] Henri Cohen，《计算代数数论课程》，《数学研究生教材》，xii+534页，1993年，柏林斯普林格-弗拉格·Zbl 0786.11071号 ·doi:10.1007/978-3-662-02945-9 [5] Henri Cohen，《计算数论的高级主题》，《数学研究生教材》，xvi+578页，2000年，纽约斯普林格-弗拉格出版社·Zbl 0977.11056号 ·doi:10.1007/978-1-4419-8489-0 [6] Cox，David A.，《形式的素数》（x^2+ny^2），《纯粹与应用数学》（霍博肯），xviii+356页，2013年，John Wiley&；Sons，Inc.，新泽西州霍博肯·Zbl 1275.11002号 ·doi:10.1002/9781118400722 [7] 科恩，亨利，计算实二次域的希尔伯特类域，数学。公司。，1229-1244, 2000 ·Zbl 1042.11075号 ·doi:10.1090/S0025-5718-99-0111-4 [8] Darmon，Henri，集成于\（\mathcal{H} （p）\times\mathcal{H}）和算术应用，数学年鉴。(2), 589-639, 2001 ·Zbl 1035.11027号 ·doi:10.2307/3062142 [9] Dasgupta，Samit，Stark-Heegner指出模雅可比数，Ann.Sci{E} 科尔标准。补充（4），427-4692005·Zbl 1173.11334号 ·doi:10.1016/j.ansens.2005.03.002 [10] Dasgupta、Samit、Hilbert模形式和Gross-Stark猜想，数学年鉴。(2), 439-484, 2011 ·Zbl 1250.11099号 ·doi:10.4007/annals.2011.174.1.12 [11] Darmon，Henri，椭圆曲线和实二次域的类域：算法和证据，实验。数学。，37-55, 2002 ·Zbl 1040.11048号 [12] Duke，W.，Kronecker的第一个极限公式，重温了Res.Math。科学。，论文编号：20，21页，2018·Zbl 1441.11085号 ·doi:10.1007/s40687-018-0138-0 [13] 达斯古普塔，萨米特，《关于布鲁默·斯塔克猜想》，数学安。(2), 289-388, 2023 ·兹比尔1525.11128 ·doi:10.4007/annals.2023.197.1.5 [14] 萨米特·达斯古普塔（Samit Dasgupta），《关于格罗斯-斯塔克猜想》（On the Gross-Stark suggesture），《数学年鉴》（Ann.of Math）。(2), 833-870, 2018 ·Zbl 1416.11160号 ·doi:10.4007/年鉴2018.188.3.3 [15] Darmon，Henri，通过超收敛模符号高效计算Stark-Heegner点，以色列数学杂志。，319-354, 2006 ·Zbl 1157.11028号 ·doi:10.1007/BF02771789 [16] Darmon，Henri，（p\）adic Eisenstein族的对角线限制，数学。年，503-5482021·Zbl 1482.11087号 ·doi:10.1007/s00208-020-02086-2 [17] \同样，《Dedekind-Rademacher循环在实际乘法点的值》，《欧洲数学学会杂志》（2023）。 [18] Darmon，Henri，实二次域的奇异模：刚性分析方法，杜克数学。J.，2021年9月23日至93日·Zbl 1486.11137号 ·doi:10.1215/00127094-2020-0035 [19] Darmon、Henri、Real二次Borcherds产品、Pure Appl。数学。问，1803-18652022·Zbl 1521.11042号 ·doi:10.4310/pamq.2022.v18.n5.a1 [20] Max Fleischer和Yijia Liu，椭圆单位的计算，https://github.com/liuyj8526/椭圆计算-单位, 2022. [21] Gaudry，P.，《密码学进展——亚洲密码》，2006年。亏格2曲线的2-adic CM方法及其在密码学中的应用，计算讲义。科学。，114-1292006，柏林斯普林格·Zbl 1172.94576号 ·doi:10.1007/11935230 [22] Guitat，Xavier，非几何模椭圆曲线上ATR-Darmon点的计算，实验数学。，85-98, 2013 ·Zbl 1287.11082号 ·doi:10.1080/10586458.2013.738564 [23] \bysame，《超收敛上同调和四元数Darmon点》，《伦敦数学学会杂志》90（2014），第2期，495-524·Zbl 1306.11051号 [24] Guitart，Xavier，\（\mathbb｛Q｝\）-曲线上ATR点的\（p\）-adic构造，Publ。材料，511-5452015·兹比尔1398.11089 [25] Guitat，Xavier，Darmon点在任意签名数域上的椭圆曲线上，Proc。伦敦。数学。Soc.（3），484-5182015年·Zbl 1391.11081号 ·doi:10.1112/plms/pdv033 [26] 乔治·格拉斯（Georges Gras），《阶级场理论：从理论到实践》（Class Field Theory:From Theory to Practice），《施普林格数学专著》（Springer Monographs in Mathematics），施普林格-柏林-海德堡，柏林，海德堡·Zbl 1019.11032号 [27] Greenberg，Matthew，Stark-Heegner点和四元数Shimura变种的上同调，Duke Math。J.，541-5752009年·Zbl 1183.14030号 ·doi:10.1215/00127094-2009-017 [28] Gross，Benedict H.，（p\）-adic\（L\）-series at \（s=0\），J.Fac。科学。东京大学教派。IA数学。，979-994 (1982), 1981 ·2010年7月5日Zbl [29] Gross，Benedict H.，Heegner点和（L）级数的导数，发明。数学。，225-320, 1986 ·Zbl 0608.14019号 ·doi:10.1007/BF01388809 [30] Michael Harris，重量一形式的导出Hecke代数，实验数学。，342-361, 2019 ·Zbl 1480.11049号 ·doi:10.1080/10586458.2017.1409144 [31] Nicholas M.Katz，《一元模函数》，III.模方案和模形式的基本性质，数学课堂讲稿。，1972年第350卷，69-190页，纽约柏林斯普林格·Zbl 0271.10033号 [32] Lauder，Alan G.B.，《经典和进位模块形式的计算》，LMS J.Compute。数学。，214-231, 2011 ·Zbl 1269.11048号 ·doi:10.1112/S146157011000155 [33] 模块形式的计算，2011年8月至9月在海德堡海德堡大学举行的暑期学校会议记录。数学和计算科学贡献，xii+376 pp.，2014，Springer，Cham·Zbl 1283.11007号 ·数字对象标识代码：10.1007/978-3-319-03847-6 [34] Lemmermeyer，Franz，互易定律，施普林格数学专著，xx+487页，2000年，施普林格出版社，柏林·Zbl 0949.11002号 ·doi:10.1007/978-3-662-12893-0 [35] Lauder，Alan，计算全实域的（p\）adic L-函数，数学。公司。，921-942, 2022 ·兹比尔1489.11194 ·doi:10.1090/com/3678 [36] Neukirch，J“{u} rgen公司，代数数论，Grundlehren der mathematischen Wissenschaften[数学科学的基本原理]，xviii+571 pp.，1999，Springer-Verlag，柏林·Zbl 0956.11021号 ·doi:10.1007/978-3-662-03983-0 [37] 《L函数的算术》，IAS/Park City Mathematics Series，xiv+499 pp.，2011年，美国数学学会，普罗维登斯，RI；新泽西州普林斯顿高等研究院（IAS）·Zbl 1226.11004号 ·doi:10.1090/pcms/018 [38] Xavier-Francois Roblot，Algorithmes de factorisation dans les extensions relatives et applications de la suggesture de Stark \`a la construction des corps de classes de rayon，博士论文，波尔多11997。 [39] Serre，Jean-Pierre，有限群的线性表示，数学研究生教材，第42卷，x+170页，1977年，Springer-Verlag，纽约海德堡·Zbl 0355.20006号 [40] 约瑟夫·西尔弗曼（Joseph H.Silverman），《椭圆曲线的算术》，《数学研究生文集》（Graduate Texts in Mathematics），xx+513页，2009年，施普林格（Springer），多德雷赫特（Dordrecht）·Zbl 1194.11005号 ·数字对象标识代码：10.1007/978-0-387-09494-6 [41] Stark，Harold M.，（L）-函数位于（s=1）。四、 在\（s=0\）时的一阶导数，数学中的高级。，197-235, 1980 ·Zbl 0475.12018号 ·doi:10.1016/0001-8708（80）90049-3 [42] John Tate，On Stark’s suggestions On the behavior of \（L（s，\，chi）at \（s=0\），J.Fac.约翰·塔特，《论斯塔克关于（L（s，\，chi）的行为的猜想》。科学。东京大学教派。IA数学。，963-978 (1982), 1981 ·2013年5月14日Zbl [43] Sage Developers，SageMath，Sage数学软件系统（9.5版），2022年。 [44] Tangedal，Brett A.，实二次域上Gross-Stark单位的显式计算，《数论》，1045-10612013·Zbl 1294.11208号 ·doi:10.1016/j.jnt.2012.04.021 [45] Vonk，Jan，《计算小素数的超收敛形式》，LMS J.Compute。数学。，250-257, 2015 ·Zbl 1380.11078号 ·doi:10.1112/S14615701500042 [46] Zagier，D.B.，《齐塔丰克运动与象限运动K》{o} 旋转变压器Hochschultext出版社。【大学教科书】，viii+144页，1981年，施普林格出版社，柏林-纽约·Zbl 0459.10001号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。