CAREER: Explicit Methods in Arithmetic Geometry

PI提出研究上同调自同构形的算法和同余半算术群参数化曲线的算法。这项建议将抽象理论和实际计算联系起来，将研究与工具和具体项目的开发联系起来，这些工具和具体项目将被整合到本科和研究生教育中。在第一个提议的活动中，PI将证明存在一个算法来计算算术群的上同调作为Hecke模。PI将在计算机代数系统中健壮地实现所提出的算法，收集和分析数据，并根据发现的现象推测和证明结果。在第二个活动中，PI将学习Galois Belyi覆盖的算术应用，这些覆盖是由三角形群到四元数单位群的模嵌入而产生的。PI将研究模块化、椭圆曲线的参数化以及由这种构造产生的特殊点的问题。拟议的研究将允许在经典和新的环境中明确地研究朗兰兹对应--自同构形、代数群和伽罗瓦表示之间的深层次联系，探索令人兴奋的新基础。经典的未解决的问题通常是丰富和统一的数学结构的形成的起源。亚历山大的丢番图斯在近两千年前首次寻求整数代数方程的解。今天，数学家们认识到，几何性质往往支配着算术对象的行为。此外，计算工具提供了一种测试猜想的方法，有时还可以提供部分解决方案；同时，理论的进步推动了计算的显著改进。算术几何中算法的理论、设计和实现是一个新兴的领域，这些方法在不同的领域有许多令人兴奋的应用。PI进一步在本科生和研究生层面提出了许多具体的项目，所建议的算法工具将被整合到教学、培训和学习中。PI将继续本科生外展，指导本科生和研究生，以及说明性写作和广泛的讲座，旨在向学生受众交流高级数学。最后，PI将为毕业于佛蒙特州数学倡议(VMI)的教师领袖设计一门关于密码学数学的课程

The PI proposes to research algorithms for cohomological automorphic forms and the arithmetic of curves parametrized by congruence semi-arithmetic groups. This proposal interrelates abstract theory and practical computation, linking research with the development of tools and concrete projects which will be integrated into undergraduate and graduate education. In the first proposed activity, the PI will prove that there exists an algorithm to compute the cohomology of an arithmetic group as a Hecke module. The PI will implement the proposed algorithm robustly in a computer algebra system, collect and analyze data, and conjecture and prove results based on the discovered phenomena. In the second activity, the PI will study arithmetic applications of Galois Belyi covers that arise from a modular embedding of a triangle group into a quaternionic unit group. The PI will investigate questions of modularity, parametrization of elliptic curves, and special points arising from this construction. The proposed research will allow explicit investigation of the Langlands correspondence--the deep connection between automorphic forms, algebraic groups, and Galois representations--in both classical and novel settings, exploring exciting new ground.Classical unsolved problems often serve as the genesis for the formulation of a rich and unified mathematical fabric. Diophantus of Alexandria first sought solutions to algebraic equations in integers almost two thousand years ago. Today, mathematicians recognize that geometric properties often govern the behavior of arithmetic objects.Furthermore, computational tools provide a means to test conjectures and can sometimes furnish partial solutions; at the same time, theoretical advances fuel dramatic improvements in computation. The theory, design, and implementation of algorithms in arithmetic geometry is a burgeoning area, and there are many exciting applications of these methods to diverse fields. The PI further proposes many specific projects at the undergraduate and graduate level, and the proposed algorithmic tools will be integrated into teaching, training, and learning. The PI will continue undergraduate outreach, mentoring of undergraduate and graduate students, and expository writing and extensive lectures aimed at communicating high level mathematics to a student audience. Finally, the PI will design a course on the mathematics of cryptography for teacher leaders who have graduated from the Vermont Mathematics Initiative (VMI)