Effectivity for existence of rational points is undecidable

IF 0.6 3区 数学 Q3 MATHEMATICS
Natalia Garcia-Fritz , Hector Pasten , Xavier Vidaux
{"title":"Effectivity for existence of rational points is undecidable","authors":"Natalia Garcia-Fritz ,&nbsp;Hector Pasten ,&nbsp;Xavier Vidaux","doi":"10.1016/j.jnt.2025.01.023","DOIUrl":null,"url":null,"abstract":"<div><div>The analogue of Hilbert's tenth problem over <span><math><mi>Q</mi></math></span> asks for an algorithm to decide the existence of rational points on algebraic varieties over this field. This remains as one of the main open problems in the area of undecidability in number theory. Besides the existence of rational points, there is also considerable interest in the problem of effectivity: one asks whether the sought rational points satisfy determined height bounds, often expressed in terms of the height of the coefficients of the equations defining the algebraic varieties under consideration. We show that, in fact, Hilbert's tenth problem over <span><math><mi>Q</mi></math></span> with (finitely many) height comparison conditions is undecidable.</div></div>","PeriodicalId":50110,"journal":{"name":"Journal of Number Theory","volume":"276 ","pages":"Pages 81-97"},"PeriodicalIF":0.6000,"publicationDate":"2025-05-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Number Theory","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0022314X25001180","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0

Abstract

The analogue of Hilbert's tenth problem over Q asks for an algorithm to decide the existence of rational points on algebraic varieties over this field. This remains as one of the main open problems in the area of undecidability in number theory. Besides the existence of rational points, there is also considerable interest in the problem of effectivity: one asks whether the sought rational points satisfy determined height bounds, often expressed in terms of the height of the coefficients of the equations defining the algebraic varieties under consideration. We show that, in fact, Hilbert's tenth problem over Q with (finitely many) height comparison conditions is undecidable.
有理点存在的有效性是不可确定的
在Q上的希尔伯特第十问题的类似问题要求一种算法来确定该域上代数变异上有理点的存在性。这仍然是数论中不可判定性领域的主要开放问题之一。除了有理点的存在性之外,对有效性问题也有相当大的兴趣:人们问所寻找的有理点是否满足确定的高度界限,通常用定义所考虑的代数变量的方程的系数的高度来表示。我们证明,事实上,希尔伯特的第十问题在Q上具有(有限多个)高度比较条件是不可判定的。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Journal of Number Theory
Journal of Number Theory 数学-数学
CiteScore
1.30
自引率
14.30%
发文量
122
审稿时长
16 weeks
期刊介绍: The Journal of Number Theory (JNT) features selected research articles that represent the broad spectrum of interest in contemporary number theory and allied areas. A valuable resource for mathematicians, the journal provides an international forum for the publication of original research in this field. The Journal of Number Theory is encouraging submissions of quality, long articles where most or all of the technical details are included. The journal now considers and welcomes also papers in Computational Number Theory. Starting in May 2019, JNT will have a new format with 3 sections: JNT Prime targets (possibly very long with complete proofs) high impact papers. Articles published in this section will be granted 1 year promotional open access. JNT General Section is for shorter papers. We particularly encourage submission from junior researchers. Every attempt will be made to expedite the review process for such submissions. Computational JNT . This section aims to provide a forum to disseminate contributions which make significant use of computer calculations to derive novel number theoretic results. There will be an online repository where supplementary codes and data can be stored.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信