I will propose a way to combine the theory of translation functors with the trace formula to study automorphic representations of connected semisimple anisotropic algebraic groups over the rational numbers whose Archimedean component is a limit of discrete series. I will explain the main ideas of the derivation of a trace formula which, modulo a conjecture on the decomposition of the tensor product of a limit of discrete series with a finite-dimensional representation into basic representations, allows to isolate the non-Archimedean parts of a finite family of C-algebraic automorphic representations containing the ones whose Archimedean component is a given limit of discrete series.

Braverman and Kazhdan, L. Lafforgue, Ngo, and Sakellaridis have pursued a set of conjectures asserting that analogues of the Poisson summation formula are valid for all spherical varieties. If proven, these conjectures imply the analytic continuation and functional equations of quite general Langlands L-functions (and thus, by converse theory, much of Langlands functoriality). I will explain techniques for proving the conjectures in special cases that include the first known case where the underlying spherical variety is not a generalized flag variety.

For a smooth projective variety X over an algebraic number field a conjecture of Bloch and Beilinson predicts that the kernel of the Abel-Jacobi map of X is a torsion group. When X is a curve, this follows by the Mordell-Weil theorem. In higher dimensions however there is hardly any evidence for this conjecture. In this talk I will focus on the case when X is a product of smooth projective curves and construct infinitely many nontrivial examples that satisfy a weaker form of the Bloch-Beilinson conjecture. This relies on a recent joint work with Jonathan Love.

Let F be a non-archimedean local field (such as ℚ_p). The Langlands philosophy says that the arithmetic of F is intimately related to the category R(G) of smooth complex representations of G(F) where G denotes a reductive F-group (for example the general linear group). The building blocks of R(G) are the "supercuspidal" representations of G(F). I will define this term in the talk. The category R(G) comes equipped with an involution - the "contragradient" or the "dual". The supercuspidal representations of G(F) which are self-dual are of considerable interest in the subject. In this talk, I will talk about a joint work with Jeff Adler about the existence of supercuspidals and self-dual supercuspidals. Specifically, we show that G(F) always admits supercuspidal representations. Under some mild hypotheses on G, we determine precisely when G(F) admits self-dual supercuspidal representations. These results are obtained from analogous results for finite reductive groups which I will also talk about.

I will first introduce some generalities about exponential sums, in particular that square-root cancellation is expected for many algebraic character sums over the rational points of an algebraic variety over a finite field. I will then set the stage for my work: we consider a family of exponential sums, which in our case is parameterized by the rational points of a variety (the parameter space). Our task is to obtain a good bound on the number of exceptional ("bad") parameters for which square-root cancellations fail. Following an idea of Michael Larsen, we consider even moments of the family of exponential sums. If the summands are of certain product form, a transformation can be applied to produce another family of exponential sums (of the same type). If the summands are products of multiplicative characters composed with certain polynomial functions, a weak bound can then be applied to the character sums in this family (with few bad parameters), yielding bounds for the moments. We know from the theory of l-adic sheaves that the parameter space for the original family have a stratification by smooth varieties, which is uniform in some sense as long as the degrees of the characters and polynomials are bounded. Moreover, on each stratum the character sum behave in certain uniform way, so that we can talk about good and bad strata. The bounds on moments yield bounds on dimensions of bad strata, which in turn yield bounds on the number of bad parameters (in any box) of the original family. Though not optimal, the bounds already imply nontrivial Burgess bounds for forms, in joint work with Lillian Pierce.

We will discuss the conjecture of Kolyvagin on the indivisibility of Heegner points and its role in constructing rational points on elliptic curves over rational numbers, particularly in the proof of a recent result of this type: "the Selmer rank being one implies that the Mordell--Weil rank being one".

I will discuss the relative trace formula approach to the global Gan-Gross-Prasad conjectures for unitary groups. The focus will be on the spectral side. I will present the various terms that appear in the spectral development of the relative trace formula and discuss what is still missing. This is a joint work with Pierre-Henri Chaudouard.

In this talk, I will first review relative (unipotent) completions of discrete groups in general, and $\mathrm{SL}_2(\mathbb{Z})$ in particular. We then develop an explicit $\mathbb{Q}$-de Rham theory for the relative completion of $\mathrm{SL}_2(\mathbb{Z})$, which enables us to construct iterated integrals of modular forms of the second kind that provide its periods. Following Francis Brown, these periods are called `multiple modular values'. They contain periods of modular forms.

Rational maps from the Riemann sphere into itself can be described in terms of poles and principal parts; doing the same for maps into the flag manifold of a loop group gives insight into the topology of moduli of instantons and calorons. (joint work with Michael Murray)

We will give an explicit construction of the regular quotient of Morrissey-Ngô in the case of a symmetric pair. In the case of a quasisplit form (i.e. the regular centralizer group scheme is abelian), we will give a Galois description of the regular centralizer group scheme using parabolic covers. We will then describe how the nonseparated structure of the regular quotient recovers the spectral description of Hitchin fibers given by Schapostnik for U(n,n) Higgs bundles. This work is joint with B. Morrissey.

The Liouville function λ(n) is the completely multiplicative arithmetic function defined by λ(p) = −1 for each prime p. Pólya investigated its summatory function L(x) = Σ_n≤x λ(n), and showed for instance that the Riemann hypothesis would follow if L(x) never changed sign for large x. While it has been known since the work of Haselgrove in 1958 that L(x) changes sign infinitely often, oscillations in L(x) and related functions remain of interest due to their connections to the Riemann hypothesis and other questions in number theory. We describe some connections between the zeta function and a number of oscillation problems, including Pólya's question and some of its weighted relatives, and, in joint work with T. Trudgian, describe a method involving substantial computation that establishes new lower bounds on the size of these oscillations.

In the early 2000s Gan, Gross and Prasad made remarkable conjectures relating the non-vanishing of central values of certain Rankin-Selberg L-functions to the non-vanishing of certain explicit integrals of automorphic forms, called 'automorphic periods', on classical groups. They have been subsequently refined by Ichino-Ikeda and Neal Harris into precise conjectural identities relating these two invariants thus generalizing a famous result of Waldspurger for toric periods on GL(2). In the case of unitary groups, those have been established by Wei Zhang under some local restrictions. I will review the current state of the art on this and in particular how certain results in local harmonic analysis allow to remove almost all the local restrictions made by Zhang.

Henniart derived the following theorem from his numerical local Langlands correspondence: If $F$ is a non-archimedean local field and if $\pi$ is an irreducible representation of $GL(n,F)$, then, after a finite series of cyclic base changes, the image of $\pi$ contains a fixed vector under an Iwahori subgroup. This result was indispensable in all demonstrations of the local correspondence. Scholze gave a different proof, based on the analysis of nearby cycles in the cohomology of the Lubin-Tate tower (and this result also appears, in a somewhat different form, in proofs based on the global correspondence for function fields). An analogous theorem should be valid for every reductive group, but the known proofs only work for GL(n). I will sketch a different proof, based on properties of L-functions and assuming the existence of cyclic base change, that also applies to classical groups; I will also explain how the analogous result for a general reductive group is related to the local parametrization of Genestier-Lafforgue.

We consider the family of $D_4$-quartic fields ordered by the Artin conductors of the corresponding 2-dimensional irreducible Galois representations. In this talk, I will describe ways to compute the number of such $D_4$ fields with bounded conductor. Traditionally, there have been two approaches to counting quartic fields, using arithmetic invariant theory in combination of geometry-of-number techniques, and applying Kummer theory together with L-function methods. Both of these strategies fall short in the case of $D_4$ fields since counting quartic fields containing a quadratic subfield of large discriminant is difficult. However, when ordering by conductor, these techniques can be utilized due to additional algebraic structure that the Galois closures of such quartic fields have, arising from the outer automorphism of $D_4$. This result is joint work with Ali Altug, Arul Shankar, and Kevin Wilson.

We consider the complex zeros of the Riemann zeta-function &rho = &beta + i &gamma, &gamma > 0. The Riemann Hypothesis (RH) is that &beta = 1/2. If we consider the vertical distribution of these zeros, then the average vertical spacing between zeros at height T is 2&pi / log T. We expect theoretically and find numerically that the distribution of the lengths of these gaps follows a certain continuous GUE distribution where both very small and very large multiples of the average spacing occur. In contrast to this, the existence of a Landau Siegel-zero would force all the gaps in a certain large range to never be closer than half the average spacing, and also have even more bizarre and unlikely properties. There are three methods that have been developed to prove something about small gaps. First, Selberg in the 1940's using moments for the number of zeros in short intervals, was able to prove unconditionally that there are some gaps larger than the average spacing and others smaller than the average spacing. Next assuming RH Montgomery in 1972 introduced a pair correlation method for zeros and produced small gaps less than 0.67 times the average spacing. Finally, in 1981 Montgomery-Odlyzko assuming RH introduced a Dirichlet polynomial weighted method which found small gaps less then 0.5179 times the average spacing. (This method was further developed by Conrey, Ghosh, and Gonek.) These methods all exhibit the presumed barrier at 1/2 times the average spacing for small gaps. I will talk about two projects that are work in progress. The first is joint with Hugh Montgomery and is motivated by the observations that all the results mentioned above do not exclude the possibility that the small gaps found are all coming from multiple zeros and thus gaps of length zero, and at present we do not know if there are any non-zero gaps that are shorter then the average spacing. While we have not yet be able to prove there are any smaller than average non-zero gaps, we can quantify the relationship between non-zero gaps and multiple zeros and show there is a positive proportion of one or the other. The second project is joint work with Caroline Turnage-Butterbaugh where we have developed a Dirichlet Polynomial Weighted Pair Correlation Method which potentially can be applied to a number of questions on zeros.

This talk will introduce a very natural and interesting differential complex associated with a CAT(0)-cube complex. The construction builds on ideas first introduced by Pytlik and Szwarc for the free group and extended by Julg and Valette in the case of groups acting on trees. We will extend ideas of Julg-Valette to show how this construction can be used to study K-amenability and K-homology of groups acting on CAT(0)-cube complexes. This talk is based on joint work with Erik Guentner and Nigel Higson.

In the first part of the talk I will describe a general context which, in some specific situations, permits us to give a cohomological interpretation to the Langlands-Shahidi theory of L-functions. In the second part of the talk, I will specialize to the context of the general linear group over a totally imaginary base field F, and discuss some recent results of mine on the special values of Rankin-Selberg L-functions for GL(n) x GL(m) over such an F. The talk is based on my preprint: https://arxiv.org/abs/2207.03393

Rankin-Selberg convolution L-functions are important functions in number theory. Their properties play a central role in many of deepest works on the Ramanujan-Petersson Conjecture. In a recent paper, Hoffstein and Hulse defined generalizations of these L-functions, the so-called "shifted-convolution" L-functions. They obtained the meromorphic continuation of the functions in many cases. Here we consider symmetrizations of these L-functions, and we exactly evaluate their special values at diagonal weights for all shifts. This is joint work with Michael Mertens.

It is well known that for an exponential sum with a prime modulus the best bound for the sum comes from Weil's famous estimation. In this talk, we discuss when this bound can be improved on average over integral modulus in a number field. Investigations into exponential sums on average, or sums of exponential sums, have many applications including the Riemann hypothesis and the Ramanujan conjecture for automorphic forms. In particular, we will get an asymptotic for sums of quartic exponential sums over the Gaussian integers. Tools we will use to get this asymptotic include automorphic forms and the trace formula.

In this talk, I will introduce the famous result by Gangl-Kaneko-Zagier about a family of period polynomial relations among double zeta value of even weight. Then I will generalize their result in various ways, from which we can see the appearance of modular forms in low levels. At the end, I will give a generalization of the Eichler-Shimura-Manin correspondence to the case of the space of newforms of level 2 and 3 and a certain period polynomial space.

I will discuss the relationship between the Kuznetsov formula and certain exponential sums that arise naturally on GL(3). This will lead us to consider the structure of GL(3) Maass forms having non-trivial dependence on the SO(3) part of the Iwasawa decomposition.

We will formulate a conjectural identity relating the Fourier--Jacobi periods on unitary groups and the central value of certain Rankin--Selberg $L$-functions. This refines the famous Gan--Gross--Prasad conjecture. We will give some examples supporting this conjecture.

Following the method developed by Waldspurger and Beuzart-Plessis in their proof of the local Gan-Gross-Prasad conjecture, we were able to prove the multiplicity one theorem on Vogan L-packet for the Ginzburg-Rallis model. In some cases, we also proved the epsilon dichotomy conjecture which gives a relation between the multiplicity and the value of the exterior cube epsilon factor.

I will introduce a parabolic flow of Hermitian metrics which is a generalization of Kahler-Ricci flow. This flow preserves the pluriclosed condition, and its existence and convergence properties are closely related to the underlying topology of the given complex manifold. I will classify static solutions to the flow on various classes of complex surfaces, and show that no static solutions exist on Class VII surfaces, an important first step in using this flow to classify these surfaces. Joint with G. Tian.

In this talk we will discuss two central problems in algebraic number theory and their interconnections: explicit class field theory (also known as Hilbert's 12th Problem), and the special values of L-functions. The goal of explicit class field theory is to describe the abelian extensions of a ground number field via analytic means intrinsic to the ground field. Meanwhile, there is an abundance of conjectures on the special values of L-functions at certain integer points. Of these, Stark's Conjecture has special relevance toward explicit class field theory. I will describe my recent proof of the Gross-Stark conjecture, a p-adic version of Stark's Conjecture that relates the leading term of the Deligne-Ribet p-adic L-function to a determinant of p-adic logarithms of p-units in abelian extensions. Next I will state my refinement of the Gross-Stark conjecture that gives an exact formula for Gross-Stark units. I will conclude with a description of work in progress that aims to prove this conjecture and thereby give a p-adic solution to Hilbert's 12th problem.

We show that the distributions occurring in the geometric and spectral side of the twisted Arthur-Selberg trace formula extend to non-compactly supported test functions. The geometric assertion is modulo a hypothesis on root systems proven among other cases, when the group is split. This result extends the work of Finis-Lapid (and Muller, spectral side) in the non-twisted setting. In the end, we will give an application towards residues of Rankin-Selberg L-functions suggested by J. Getz.

Physicists Green, Russo, and Vanhove have discovered solution to differential equations involving automorphic forms appear at the coefficients to the 4-graviton scattering amplitude in type IIB string theory. Specifically, for \Delta the Laplace-Beltrami operator and E_s(g) a Langlands Eisenstein series, solutions f(g) of (\Delta-\lambda) f(g) = E_a(g) E_b(g) for a and b half-integers on certain moduli spaces G(Z)\G(R)/K(R) of real Lie groups appear as coefficients to the analytic expansion of the scattering amplitude. We will briefly discuss different approaches to finding solutions to such equations and focus on a shifted convolution sum of divisor functions which appears as the Fourier modes associated to the homogeneous part of the solution. Initially, it was thought that, when summing over all Fourier modes, the homogeneous solution would vanish but recently we have found an exciting error term. This is joint work with Stephen D. Miller, Danylo Radchenko and Ksenia Fedosova.

In 2020, Bhargava, Shankar, Taniguchi, Thorne, Tsimerman, and Zhao established that, for a given number field $K$ with a degree $n\geq 5$, the size of the $2$-torsion is bounded by $h_{2}(K) \ll D^{\frac{1}{2}-\frac{1}{2n}}$, where $D_{K}$ is the discriminant of $K$ over $\mathbb{Q}$. In this presentation, we will introduce new bounds that take into account the geometry of the lattice underlying the ring of integers of $K$. This research is a joint project with Pierre Le Boudec.

There are well-known explicit families of K3 surfaces equipped with a low degree polarization, e.g., quartic surfaces in P^3. What if one specifies multiple line bundles instead of a single one? We will discuss representation-theoretic constructions of such families, i.e., moduli spaces for K3 surfaces whose Neron-Severi groups contain specified lattices. These constructions, inspired by arithmetic considerations, also involve some fun geometry and combinatorics. This is joint work with Manjul Bhargava and Abhinav Kumar.

Shnirelman discovered in the 1970s that the eigenfunctions of the Laplacian on a compact Riemannian manifold whose flow is ergodic with respect to Liouville measure exhibit an analogue of classical ergodicity at the quantum level. This phenomenon became known as "Quantum Ergodicity" and Schnirelman's proof was completed by Zelditch and Colin de Verdiere in the 1980s. Following a brief introduction to the subject, I will show that Quantum Ergodicity can also hold in systems which are essentially integrable, provided they have some arithmetic structure. Finally, in the absence of such an arithmetic structure, a very different phenomenon occurs: scarring. This talk is based on joint work with Par Kurlberg, KTH Stockholm.