Abstracts

Week of February 6, 2022

February 7, 2022
Geometry, Symmetry and Physics Hecke operators over local fields and an analytic approach to the geometric Langlands correspondence 4:30pm -
Zoom

Abstract: I will review an analytic approach to the geometric Langlands correspondence, following my work with E. Frenkel and D. Kazhdan,
arXiv:1908.09677, arXiv:2103.01509, arXiv:2106.05243. This approach was developed by us in the last couple of years and involves ideas from previous and ongoing works of a number of mathematicians and mathematical physicists, Kontsevich, Langlands, Teschner, and Gaiotto-Witten. One of the goals of this approach is to understand single-valued real analytic eigenfunctions of the quantum Hitchin integrable system. The main method of studying these functions is realizing them as the eigenbasis for certain compact normal commuting integral operators the Hilbert space of L2 half-densities on the (complex points of) the moduli space Bun_G of principal G-bundles on a smooth projective curve X, possibly with parabolic points. These operators actually make sense over any local field, and over non-archimedian fields are a replacement for the quantum Hitchin system. We conjecture them to be compact and prove this conjecture in the genus zero case (with parabolic points) for G=PGL(2).

I will first discuss the simplest non-trivial example of Hecke operators over local fields, namely G=PGL(2) and genus 0 curve with 4 parabolic points. In this case the moduli space of semistable bundles Bun_G^{ss} is P^1, and the situation is relatively well understood; over C it is the theory of single-valued eigenfunctions of the Lame operator with coupling parameter -1/2 (previously studied by Beukers and later in a more functional-analytic sense in our work with Frenkel and Kazhdan). I will consider the corresponding spectral theory and then explain its generalization to N>4 points and conjecturally to higher genus curves.

February 8, 2022
Algebra and Number Theory Seminar A global cohomological formula for the square class of the central value of a symplectic L-function 4:30pm -

In the 70s Deligne gave a topological formula for the local epsilon factors attached to an orthogonal representation.
We consider the case of a symplectic representation and present a conjecture giving a topological formula for a finer invariant, the square class of its central value.
We also formulate a topological analogue of the statement, in which the central value of the L-function is replaced by Reidemeister torsion of 3-manifolds and give a sketch of the proofs.
This is joint work in progress with Akshay Venkatesh.

February 9, 2022
Applied Mathematics Dual Principal Component Pursuit 12:00pm -
https://yale.zoom.us/j/97458245891

Abstract:   We consider the problem of learning a union of subspaces from data corrupted by outliers. State-of-the-art methods based on convex l1 and nuclear norm minimization require the subspace dimensions and the number of outliers to be sufficiently small. In this talk I will present a non-convex approach called Dual Principal Component Pursuit (DPCP), which can provably learn subspaces of high relative dimension and tolerate a large number of outliers by solving a non-convex l1 minimization problem on the sphere. Specifically, I will present both geometric and probabilistic conditions under which every global solution to the DPCP problem is a vector in the orthogonal complement to one of the subspaces. Such conditions show that DPCP can tolerate as many outliers as the square of the number of inliers. I will also present various optimization algorithms for solving the DPCP problem and show that a Projected Sub-Gradient Method admits linear convergence to the global minimum of the underlying non-convex and non-smooth optimization problem. Experiments show that the proposed method is able to handle more outliers and higher relative dimensions than state-of-the-art methods. Joint work with Tianjiao Ding, Daniel Robinson, Manolis Tsakiris and Zhihui Zhu.

Biosketch: René Vidal is the Herschel Seder Professor of Biomedical Engineering and Director of the Mathematical Institute for Data Science at Johns Hopkins University. He is also an Amazon Scholar, Chief Scientist at NORCE, and Associate Editor in Chief of TPAMI. He also directs the NSF-Simons Collaboration on the Mathematical Foundations of Deep Learning and the TRIPODS Institute on the Foundations of Graph and Deep Learning. His current research focuses on the foundations of deep learning and its applications in computer vision and biomedical data science. He is an AIMBE Fellow, IEEE Fellow, IAPR Fellow and Sloan Fellow, and has received numerous awards for his work, including the IEEE Edward J. McCluskey Technical Achievement Award, D’Alembert Faculty Award, J.K. Aggarwal Prize, ONR Young Investigator Award, NSF CAREER Award as well as best paper awards in machine learning, computer vision, controls, and medical robotics.

Colloquium The C^3 problem: error-correcting codes with a constant rate, constant distance, and constant locality. 4:15pm -

Abstract: 

 An error-correcting code is locally testable (LTC)  if there is a random tester that reads only a small number of bits of a given word and decides whether the word is in the code, or at least close to it. 

 A long-standing problem asks if there exists such a code that also satisfies the golden standards of coding theory: constant rate and constant distance. 

Unlike the classical situation in coding theory, random codes are not LTC, so this problem is a challenge of a new kind. 

    We construct such codes based on what we call (Ramanujan) Left/Right Cayley square complexes. These are 2-dimensional versions of the expander codes constructed by Sipser and Spielman (1996)

  The main result and lecture will be self-contained. But we hope also to explain how the seminal work Howard Garland ( 1972) on the cohomology of quotients of the Bruhat-Tits buildings

of p-adic Lie group has led to this construction ( even though, it is not used at the end). 

  Based on joint work with I. Dinur, S. Evra, R. Livne, and S. Mozes 

   The lecture will also serve as a preview for a crash course on that topic which will start the day after. 

February 10, 2022
Algebra and Geometry lecture series An informal introduction to categorical actions of groups, Lecture 2 4:00pm -
https://yale.zoom.us/j/92613729337
Analysis On recent developments in multiple pointwise ergodic theory. 4:15pm -

Abstract:

A celebrated theorem of Szemeredi asserts that every subset of integers with nonvanishing upper Banach density contains arbitrarily long arithmetic progressions. I will discuss the role of ergodic theory an Fourier analysis in this problem. I will also explain how this problem led to the conjecture of Furstenberg-Bergelson-Leibman, which is a major open problem in pointwise ergodic theory.

This will be a survey talk.

February 11, 2022
Friday Mornings Friday Morning Seminar 9:00am -

We discuss topics of common interest in the areas of geometry, probability, and combinatorics.

Graduate Student Seminar Algebraic Structure of Mapping Class Groups via Dynamics 12:00pm -

Random walk on the mapping class group produces mapping classes with large translation lengths on Teichmüller space. In 2007, Maher and Tiozzo showed that they are not normal generators of the mapping class group. In contrast, Lanier and Margalit proved in 2018 that pseudo-Anosov mapping classes with small translation lengths are normal generators of the mapping class group. In this talk, we introduce related work and show that reducible mapping classes with small translation lengths also normally generate the mapping class group using simple combinatorics. This is joint work with Hyungryul Baik and Chenxi Wu. We also discuss an analogous question for asymptotic translation length on curve graphs and related work if time permits.