Title: Formalizing ∞-Category Theory in Lean Abstract: This semester the category theory seminar will function as a working group with the aim of contributing to an open-source collaborative computer formalization project with the aim of developing the formal theory of ∞-categories in the computer proof assistant Lean. A "blueprint" for the formalization project, which is […]
Title: First explicit reciprocity law for unitary Friedberg—Jacquet periods Abstract: In the early 2000's, Bertolini and Darmon introduced a new technique to bound Selmer groups of elliptic curves via level raising congruences. This was the first example of what is now termed a "bipartite Euler system", and over the last decade we have seen many […]
Title: Geometric Casselman-Shalika in mixed characteristic Abstract: I will present joint work with Ashwin Iyengar and Konrad Zou, where we proved a geometric analog of the (local) Casselman-Shalika formula for split connected reductive groups over mixed characteristic local fields. This formula captures properties of Fourier coefficients of automorphic functions that are fundamental to the Langlands […]
Euler systems and spherical functions. (Continued)
Title: The geometry and topology of lower bounds on scalar curvatureAbstract: In this talk, I will discuss some recent results about controlling the geometry and topology of manifolds from a (positive) lower bound on their scalar curvature.
Title: Curves on Varieties and the Degree of Irrationality.Abstract: Inspired by the Noether-Lefschetz theorem, it has been conjectured that the degree of any curve on a (very) general complete intersection variety is divisible by the degree of the variety itself. In this talk, we present a weaker version of this conjecture. Using this result, we confirm a […]
Title: Unipotent Representations of Real Reductive Groups and Mixed Hodge Modules Abstract: Let Pi(G) denote the set of irreducible unitary representations of a semisimple Lie group G. A fundamental problem in representation theory is to describe the structure of this set. In previous joint work with Losev and Matvieievskyi, we have defined a class of […]
Title: A Khovanov-like Categorification of the Four Color TheoremAbstract: The four color theorem states that each bridgeless trivalent planar graph has a proper 4-face coloring. It can be generalized to certain types of CW complexes of any closed surface for any number of colors, i.e., one looks for a coloring of the 2-cells (faces) of […]
Langlands functoriality and stable transfer. (Continued.)
Title: On isolated singularities and generic regularity of min-max CMC hypersurfacesAbstract: Smooth constant mean curvature (CMC) hypersurfaces serve as effective tools to study the geometry and topology of Riemannian manifolds. In high dimensions however, one in general must account for their singular behaviour. I will discuss how such hypersurfaces are constructed via min-max techniques and […]