We discuss ongoing work with Joseph Leung in which we obtain estimates for sums of Fourier coefficients of GL(2) and certain GL(3) automorphic forms along the values of irreducible binary cubics.

The lambda-calculus was invented to formalise arithmetic by encoding numbers and operations as abstract functions. We will introduce the lambda-calculus and present two encodings of modular arithmetic: the first is a recipe to quotient your favourite numeral system, and the second is purpose-built for modular arithmetic. A highlight of the second approach is that it does not require recursion i.e., it is defined without fixed-point operators. If time allows, we will also give an implementation of the Chinese remainder theorem which improves computational efficiency. 

In this talk, I will introduce the frameworks of globally valued fields (Ben Yaacov-Hrushovski) and adelic curves (Chen-Moriwaki). Both of these frameworks aim at understanding the arithmetic of fields sharing common features with global fields. A lot of examples fit in this scope (e.g. global fields, finitely generated extension of the prime fields, fields of meromorphic functions) and we will try to describe some of them.

Although globally valued fields and adelic curves came from different motivations and might seem quite different, they are related (and even essentially equivalent). This relation opens the door for new methods in the study of global arithmetic. As an application, we will sketch the proof of an arithmetic analogue of Siu inequality in algebraic geometry (a fundamental tool to detect the existence of global sections of line bundles in birational geometry). This is a joint work with Michał Szachniewicz.