Irrationality of Periods and Arithmetic of Abelian Varieties

这个研究项目涉及丢番图几何和算术几何的工作，它们本质上是理解多项式方程族解的方法。项目的第一部分研究丢番图几何的不合理性。证明一个数是无理数的一个经典方法是证明存在一个与这个数非常接近的有理数序列。在文献中有许多有趣的（推测的）无理数与有理数的近似，这些近似不够好，无法应用经典方法。主要研究者和合作者将开发一个新的框架来探索由这些近似构造的某些幂级数的性质，以证明在一些重要情况下推测的非理性。第二部分研究了椭圆曲线的高维类似物——阿贝尔变的算法。这些几何对象可以用整数上的多项式方程来定义。主要研究者和合作者将研究某些阿贝尔变体模不同素数的行为。建议的工作包括培养本科生和研究生。对于第一部分，证明无理性的经典方法可以表示为研究与有理近似相关的幂级数的收敛半径，并将其与幂级数的分母类型进行比较。在幂级数的合理性和代数判据的早期研究中，幂级数的收敛半径被许多数值上更大的变量所取代；因此，与分母型相比，存在收敛半径太小的有理近似，而这些变量足够大。PI和合作者希望探索这些更大的半径变量来解决一些非理性问题。对于第二部分，PI和合作者期望将Elkies关于椭圆曲线超奇异约简的无穷定理推广到某些由属0 Shimura曲线参数化的阿贝尔变数。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

This research project concerns work in Diophantine geometry and arithmetic geometry, which are essentially ways to understand solutions of families of polynomial equations. The first part of the project studies irrationality in Diophantine geometry. A classical way to prove a number is irrational is by showing that there exists a sequence of rational numbers that approximate this number very well. There are many interesting (conjecturally) irrational numbers in the literature with approximations by rational numbers that are not good enough to apply the classical methods. The principal investigator and collaborators will develop a new framework to explore the properties of certain power series constructed from these approximations in order to prove the conjectured irrationality in some important cases. The second part of the project studies the arithmetic of abelian varieties, which are higher dimensional analogues of elliptic curves. These geometric objects can be defined by polynomial equations over the integers. The principal investigator and collaborators will study the behavior of certain abelian varieties modulo different prime numbers. The proposed work includes the training of undergraduate and graduate students. For the first part, the classical way of proving irrationality can be formulated as studying the convergence radii of the power series associated to the rational approximations and comparing them to the denominator type of the power series. In earlier studies of rationality and algebraicity criterion of power series, the convergence radii have been replaced by many variants, which are numerically larger; therefore, there are rational approximations whose convergence radii are too small compared to the denominator type while these variants are large enough. The PI and collaborators expect to explore these larger radii variants to solve some irrationality questions. For the second part, the PI and collaborators expect to generalize Elkies’s theorem on infinitude of supersingular reductions of elliptic curves to certain abelian varieties parametrized by genus 0 Shimura curves.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.