Georgia Institute of Technology College of Sciences

Decoupling is a Fourier analytic tool that  has repeatedly proved its extraordinary potential for a broad range of applications to number theory (counting solutions to Diophantine systems, estimates for the growth of the Riemann zeta), PDEs (Strichartz estimates, local smoothing for the wave equation, convergence of solutions to the initial data), geometric measure theory (the Falconer distance conjecture)  and harmonic analysis (the Restriction Conjecture). The abstract theorems are formulated and proved in a continuous framework, for arbitrary functions with spectrum supported near curved manifolds. At this level of generality, the proofs involve no number theory, but rely instead on  wave packet analysis and incidence geometry related to the Kakeya phenomenon.   The special case when the spectrum is localized near lattice points leads to unexpected  solutions of conjectures once thought to pertain to the realm of number theory. 

Although studying numbers seems to have little to do with shapes, geometry has become an indispensable tool in number theory during the last 70 years. Deligne's proof of the Weil Conjectures, Wiles's proof of Fermat's Last Theorem, and Faltings's proof of the Mordell Conjecture all require machinery from Grothendieck's algebraic geometry. It is less frequent to find instances where tools from number theory have been used to deduce theorems in geometry. In this talk, we will introduce one tool from each of these subjects -- Galois representations in number theory and cohomology in geometry -- and explain how arithmetic can be used as a tool to prove some important conjectures in geometry. More precisely, we will discuss ongoing joint work with Laure Flapan in which we prove the Hodge and Tate Conjectures for self-products of 16 K3 surfaces using arithmetic techniques.

Abstract:  Matroids are combinatorial objects that model various types of independence. They appear several fields mathematics, including graph theory, combinatorial optimization, and algebraic geometry. In this talk, I will introduce the theory of matroids along with the closely related class of polynomials called strongly log-concave polynomials. Strong log-concavity is a functional property of a real multivariate polynomial that translates to useful conditions on its coefficients. Discrete probability distributions defined by these coefficients inherit several of these nice properties.  I will discuss the beautiful real and combinatorial geometry underlying these polynomials and describe applications to random walks on the faces of simplicial complexes. Consequences include proofs of Mason's conjecture that the sequence of numbers of independent sets of a matroid is ultra log-concave and the Mihail-Vazirani conjecture that the basis exchange graph of a matroid has expansion at least one. This is based on joint work with Nima Anari, Kuikui Liu, and Shayan Oveis Gharan.

Elliptic integrands are used to model anisotropic energies in variational problems. These energies are employed in a variety of applications, such as crystal structures, capillarity problems and gravitational fields, to account for preferred inhomogeneous and directionally dependent configurations. After a brief introduction to variational problems involving elliptic integrands, I will present an overview of the techniques I have developed to prove existence, regularity and uniqueness properties of the critical points of anisotropic energies. In particular, I will present the anisotropic extension of Allard's rectifiability theorem and its applications to the Plateau problem. Furthermore, I will describe the anisotropic counterpart of Alexandrov's characterization of volume-constrained critical points. Finally, I will mention some of my ongoing and future research projects.