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.

We investigate the $p$-adic monodromy of certain kinds of abelian varieties in $\mathcal{A}_{g}$ and prove a formal density theorem for the locus of deformations with big monodromy. Also, we prove that the small monodromy locus of the deformation space of a supersingular elliptic curve is $p$-adic nowhere dense. The approach is based on a congruence condition of $p$-divisible groups and transform of data between the Rapoport-Zink spaces and deformation spaces.

In the 1980�??s, Greene defined hypergeometric functions over finite fields using Jacobi sums. The framework of his theory establishes that these functions possess many properties that are analogous to those of the classical hypergeometric series studied by Gauss and Kummer. These functions have played important roles in the study of Ap ́ery-style supercongruences, the Eichler-Selberg trace formula, Galois representations, and zeta-functions of arithmetic varieties. In this talk we discuss the distributions (over large finite fields) of natural families of these functions. For the 2F1 functions, the limiting distribution is semicircular, whereas the distribution for the 3F2 functions is the more exotic Batman distribution.

Hecke operators act on many invariants associated to modular curves and their generalizations. For example, they act on modular forms and on cohomology groups of modular curves. In each of these cases, they generate a semi-simple, commutative algebra. In the first part of this talk, I will recall (in friendly, elementary, geometric terms) what Hecke operators are and how they act on the standard invariants. I will then show that they also act on loops in modular curves (aka, conjugacy classes in modular groups). In this case, the Hecke operators generate a non-commutative subalgebra of the vector space generated by the conjugacy classes, which leads to a very natural non-commutative generalization of the classical Hecke algebra. In the second part of the talk will discuss why one might want do construct such a Hecke action. As a prelude to this, I will explain why this Hecke action commutes with the natural action of the absolute Galois group after taking profinite completions. And, in the unlikely event that I have sufficient time, I will also explain how (after taking the appropriate completion) this Hecke action is also compatible with Hodge theory.

The local Langlands correspondence is a dictionary between representations of two kinds of groups: reductive p-adic groups (such as the general linear group) and the absolute Galois groups of p-adic fields. One entry in the dictionary is a conjectural formula of Hiraga, Ichino, and Ikeda for the size of a representation of a p-adic group, its "formal degree", in terms of the corresponding representation of a Galois group. In this talk, after reviewing the broad shape of p-adic representation theory, I'll explain why the conjecture is true for almost all supercuspidals, the fundamental building blocks of the subject.

Godement-Jacquet use the Schwartz space of n-by-n matrices to construct the standard L-function for GL_n. Ben-Zvi, Sakellaridis and Venkatesh conjecture that the local unramified part of this theory can be categorified to an equivalence between an 'analytic' category of constructible sheaves and a 'spectral' category of dg modules. In this talk I will explain the proof of this equivalence and some of its properties. I will also discuss connections to conjectures of Braverman-Kazhdan on constructions of general automorphic L-functions. This is joint work with Tsao-Hsien Chen (in preparation).

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.

We prove that, when monic quintic integral polynomials f\in \Z[x] with nonzero discriminant are ordered by height, the average number of solutions to y^2 = f(x) is bounded.

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.

Ribet�??s method describes a way to construct a certain extension of fields from the existence of a suitable modular form. To do so, we consider the Galois representation of an appropriate cuspform, which gives rise to a cohomology class that cuts out our desired extension. The process of obtaining a cohomology class from such a representation is usually known as Ribet�??s lemma. Several generalizations of this lemma have been stated and proved during the last decades, but the vast majority of them makes the assumption that the representation is residually distinguishable, meaning that the characters of its residual decomposition are non-congruent modulo the maximal ideal. However, recent applications of Ribet�??s method, such as for the proof of the 2-part of the Brumer-Stark conjecture, have encountered the challenge that the representation we obtain does not satisfy this assumption. In my talk, I describe the limitations of the residually indistinguishable case and conjecture a new general version of Ribet�??s lemma in this context, giving a proof in some particular cases.

In 1966 Artin and Tate constructed a canonical pairing on the Brauer group of a surface over a finite field, and conjectured it to be alternating. This duality has analogous incarnations across arithmetic and topology, namely the Cassels-Tate pairing for a Jacobian variety, and the linking form on a 5-manifold. I will explain a proof of the conjecture, which is based on a surprising connection to Steenrod operations.

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.

In his recent paper,\Beyond Endoscopy", Langlands proposed an approach to (ultimately) attack the general functoriality conjectures by means of the trace formula. For a (reductive algebraic) group G over a global field F and a representation of its L-group, the strategy, among other things, aims at detecting those automorphic representations of G for which the L-function, L(s;\pi ;\rho ), has a pole at s = 1. The method suggested using the the trace formula together with an averaging process to capture these poles. In this talk we will start by recalling the functoriality conjectures and brie y describe the method suggested by Langlands. Then, specializing on the group GL(2) we will discuss some recent work on Beyond Endoscopy. More precisely, we will discuss the elliptic part of the trace formula and the analytic problems caused by the volumes of tori, singularities of orbital integrals and the non-tempered terms. We will then describe how one can use an approximate functional equation in the trace formula to rewrite the elliptic part which resolves these issues. Finally, we will talk about applications of the resulting formula.

Fourier coefficients of automorphic forms are invariants which encode the analytic and arithmetic properties of automorphic forms. In this talk, we introduce the general notion of Fourier coefficients for automorphic representations of reductive groups and use them to construct explicit endoscopy correspondences, which construct via integral transforms with automorphic kernel functions members in global Arthur packets for classical groups. For instance, we will discuss with some details the recent work joint with Lei Zhang.

A surprising property of the cohomology of locally symmetric spaces is that Hecke operators can act on multiple cohomological degrees with the same eigenvalues. We will discuss this phenomenon for the coherent cohomology of line bundles on modular curves and, more generally, Hilbert modular varieties. We propose an arithmetic explanation: a hidden degree-shifting action of a certain motivic cohomology group (the Stark unit group). This extends the conjectures of Venkatesh, Prasanna, and Harris to Hilbert modular varieties.

Recently A. Braverman, D. Kazhdan, and L. Lafforgue have interpreted Langlands' functoriality in terms of a generalized harmonic analysis on reductive groups that requires the existence of new spaces of functions and an associated, generally non-linear, involutive Fourier transform. This talk will discuss some of these objects involved in the local p-adic situation, after introducing some ideas and basic constructions involved. Specifically, the local Fourier transforms have a nice interpretation in terms of their spectral decomposition giving the gamma factors that appear in functional equations of L functions, which, in the standard case allows one to write down the epsilon factors attached to supercuspidal representations as non-abelian Gauss sums. For G=GL(2), we use the local Langlands correspondence to provide L and epsilon factors for odd adjoint power transfers and use this to interpret the Adjoint power Fourier-transform such that its spectral decomposition on supercuspidal representations is given explicitly by certain non-abelian Kloosterman sums, which we use to give a form of the Fourier operator.

Holomorphic modular forms on the Shimura variety S(G) attached to the reductive group G can be interpreted naturally as sections of automorphic vector bundles: locally free sheaves that can be defined analytically by exploiting the structure of a Shimura variety as a quotient of a symmetric space. The construction can also be made algebraic, and in this way one gets a canonical functor from the tensor category of representations of a certain Levi subgroup K of G to the tensor category of vector bundles on S(G), and thus a homomorphism from the representation ring of K to K_0(S(G)). When S(G) is compact we determine how the image of this homomorphism behaves under Chern characters to Deligne cohomology and continuous l-adic cohomology. When S(G) is non-compact and of abelian type, we use perfectoid geometry to define Chern classes in the l-adic cohomology of the minimal compactification of S(G); these are analogous to the topological cohomology classes defined by Goresky and Pardon, using differential geometry. (Joint work with Helene Esnault.)

For a (squarefree) integer d the negative Pell equation is given by: X^2 - d Y^2 = -1. It is easy to see that this equation has no solution over the integers, if d is negative or d is congruent to 3 modulo 4. In this talk we would like to study the asymptotic behavior of integers d such that this equation is solvable. This question is related to the behavior of the class group of the quadratic field generated by a square root of d. The distribution of those class groups is described by the Cohen-Lenstra heuristics.

In the 1990s Moy and Prasad revolutionized p-adic representation theory by showing how to use Bruhat-Tits theory to assign invariants to p-adic representations. The tools they introduced resulted in rapid advancements in both representation theory and harmonic analysis -- areas of central importance in the Langlands program. A crucial ingredient for many results is an explicit construction of (types for) representations of p-adic groups. In this talk I will indicate why, survey what constructions are known (no knowledge about p-adic groups assumed) and present recent developments based on a refinement of Moy and Prasad's invariants.

Let G be the group of rational points of a linear algebraic group over a local field. A representation of G is distinguished by a subgroup H if it admits a non-zero H-invariant linear form. A Galois symmetric pair (G,H) is such that H=Y(F) and G=Y(E) where E/F is a quadratic extension of local fields and Y is a reductive group defined over F. In this talk we show that for a Galois symmetric pair, often the necessary condition for H-distinction of a parabolically induced representation, emerging from the geometric lemma of Berenstein-Zelevinsky, are also sufficient. In particular, we obtain a characterization of H-distinguished representations induced from cuspidal in terms of distinction of the inducing data. We explicate these results further when Y is a classical group and point out some global applications for Galois distinguished automorphic representations of SO(2n+1). This is joint work with Nadir Matringe.

I will give a very informal talk on some work I am doing now with Mahesh Kakde. We hope to make progress on the Brumer-Stark conjecture using the theory of group-ring families of modular forms. I will motivate and state the conjecture, and describe the flavor of our approach.

We propose general frameworks to inductively count number fields building on previously known counting results and good uniformity estimates in different flavors. By this method, we prove new results in counting number fields with Galois groups ranging from direct product to wreath product. We will also mention interesting applications en route. This involves my thesis and on going project with Melanie Matchett Wood and Robert J. Lemke Oliver.

We express the bias of global root numbers of Hilbert new forms of cubic level via special values of Dedekind L-functions attached to CM extensions determined by the level. In particular, our formula includes the case when weight 2 appears. We establish the formula by 1) a limit form of Jacquet-Zagier trace formula on PGL_2 associated to certain not necessarily integrable test functions at Archimedean places (when weight 2 occurs), and 2) showing the meromorphic continuation of certain Dirichlet series with coefficients given by special value of Dedekind L-functions via spectral side of the Jacquet-Zagier trace formula. This is a joint work with Q. Pi and H. Wu. arXiv: 2110.08310.

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".

In a 1997 Fields Medalist Maxim Kontsevich suggested that the function F(q) = 1 + (1-q) + (1-q)(1-q^2) + (1-q)(1-q^2)(1-q^3)+�?, defined only for q a root of unity, is similar to certain functions arising from the computation of Feynman integrals in quantum field theory. In the last sixteen years this function has been connected to interval orders in decision making theory, ascent sequences and matchings in combinatorics, and Vassiliev invariants in knot theory. Don Zagier related the asymptotic properties of this function to the �?half-derivatives�? of modular forms and was led to define a notion of �?quantum modular form�?. In a trilogy of papers, my collaborators (Andrews, Bryson, Ono, Pitman, Zwegers) and I have connected this function to Ramanujan�?s mock theta functions and the combinatorics of unimodal sequences. I will tell the story of this function and these many relationships.

Theta functions are automorphic forms on the double cover of symplectic groups and are important for constructing automorphic liftings. For higher-degree covers of symplectic groups, there are generalized theta representations and it is natural to ask if these ``higher'' theta functions play a similar role in the theory of metaplectic forms. In this talk, I will discuss new lifting of automorphic representations on the 4-fold cover of symplectic groups using such theta functions. A key feature is that this lift produces counterexamples of the generalized Ramanujan conjecture, which motivates a connection to the emerging ``Langlands program for covering groups'' by way of Arthur parameters. The crucial fact allowing this lift to work is that theta functions for the 4-fold cover still have few non-vanishing Fourier coefficients, which fails for higher-degree covers.

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.

The cohomology of arithmetic groups is built from certain automorphic forms, allowing for explicit computation of Hecke eigenvalues using topological techniques in some cases. For modular forms attached to the general linear group over a number field F of class number one, these cohomological forms can be described in terms an associated Voronoi polyhedron coming from the study of perfect n-ary forms over F. In this talk, we describe this relationship and report on some recent computational investigations of the modularity of elliptic curves over the cubic field of discriminant -23. This is joint work with Donnelly, Gunnells, and Klages-Mundt.

Recently, Jiang made a conjecture investigating the connection between two fundamental invariants of an automorphic representation \pi appearing in the discrete spectrum of quasi-split classical groups G(A). The first invariant is the wave front of \pi, WF(\pi), which is the set of maximal unipotent orbits of G, such that \pi admits a non-trivial Fourier coefficients with respect to them. The second invariant is the Arthur parameter \psi of \pi to which one can associate a unipotent orbit \underline{p}(\psi) of the dual group of G. The conjecture says that in any Arthur packet associated to \psi, the Barbasch-Vogan duality of the orbit \underline{p}(\psi) is a sharp upper bound for the wave front of the representations of the packet. This is an important conjecture that vastly generalizes Shahidi's conjecture which claims that in every tempered packet there exists a generic representation. In this talk, I will review this conjecture and present some recent progress towards it. This is a joint work in progress with Dihua Jiang.