Extensions of Hilbert's Tenth Problem and Computational Aspects of Arithmetic Geometry

希尔伯特第十个问题的推广和算术几何的计算方面

• 批准号: 0801123
• 负责人: Kirsten Eisentraeger
• 金额: $ 11.94万
• 依托单位: Pennsylvania State Univ University Park
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2008
• 资助国家: 美国
• 起止时间: 2008-06-15 至 2013-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0801123&HistoricalAwards=false
• 关键词: Extensions; Hilbert; Tenth; Problem; Computational

The investigator will work on two projects connected with numbertheory and arithmetic geometry. The first project is to studygeneralizations of Hilbert's Tenth Problem. The problem in itsoriginal form asked for an algorithm to decide whether an arbitrarymultivariable polynomial equation with integer coefficients has aninteger solution. In 1970 Matiyasevich proved that no such algorithmexists, i.e. Hilbert's Tenth Problem is undecidable. This motivatedstudying analogues of this problem by considering equations andsolutions in other commutative rings. The biggest open problem in thearea is Hilbert's Tenth Problem over the rational numbers. The PI hasproved the undecidability of Hilbert's Tenth Problem for variousfunction fields. These generalizations have used tools fromarithmetic geometry, such as the study of rational points on ellipticcurves. One research goal is to extend these results and proveundecidability of Hilbert's Tenth Problem for the function fields for whichthe problem is still unresolved. The biggest open problems arefunction fields of one variable over an algebraically closed field.Another goal is to explore Hilbert's Tenth Problem for varioussubrings of number fields. The second project is to study severalproblems that deal with computational aspects of curves and theirJacobians. Elliptic curves and, more generally, Jacobians of curvesof small genus have many applications to cryptography, and the secondproject focuses on these applications. One goal of the second projectis to explore curves of small genus and work on constructing curvesthat are suitable for cryptographic purposes. The PI will also work onapplications of pairings to cryptography.Both projects involve studying the solutions to multivariablepolynomial equations. Looking for solutions to such equations over theintegers or rational numbers has a long history that goes back toancient Greece. For the first project the investigator will study thefundamental question of whether it is possible to find a procedurethat determines whether an arbitrary multivariable polynomial equationhas a solution in a given number system. The second project focuseson computational aspects of certain special classes of equations thathave applications to cryptography. For these applications one usuallylooks for solutions to these equations over finite fields.

调查员将从事与数论和算术几何有关的两个项目。第一个项目是研究希尔伯特第十问题的推广。该问题的原始形式要求一个算法来判定任意多变量整系数多项式方程是否有整数解。1970年，Matiyasevich证明了不存在这样的算法，即希尔伯特第十问题是不可判定的。这激发了通过考虑其他交换环中的方程和解来研究类似问题。该领域最大的开放性问题是关于有理数的希尔伯特第十问题。PI证明了Hilbert第十问题对各种函数域的不可判定性。这些推广使用了算术几何的工具，例如椭圆曲线上有理点的研究。本文的一个研究目标是推广这些结果，并证明Hilbert第十问题对于尚未解决的函数域的不可判定性。最大的开放问题是代数闭域上的一元函数域，另一个目标是探索数域的各种子环的希尔伯特第十问题。第二个项目是研究几个问题，处理计算方面的曲线和他们的雅可比。椭圆曲线和更一般的小亏格曲线的雅可比数在密码学中有许多应用，第二个项目集中在这些应用上。第二个项目的目标之一是探索小亏格的曲线，并致力于构建适合密码学目的的曲线。PI还将致力于配对在密码学中的应用。这两个项目都涉及研究多变量多项式方程的解。在整数或有理数上寻找这类方程的解有着悠久的历史，可以追溯到古希腊。对于第一个项目，调查员将研究的基本问题，是否有可能找到一个程序，确定是否任意多变量多项式方程有一个解决方案，在一个给定的数字系统.第二个项目的重点是计算方面的某些特殊类别的方程thathave应用到密码学。对于这些应用，人们通常在有限域上寻找这些方程的解.