Analysis seminar: Stephen McKeown (UT Dallas)

Title: A fourth-order Escobar-Yamabe problem on a half-ballAbstract: The celebrated Yamabe problem asks us to make a conformal change on a compact Riemannian manifold such that the scalar curvature becomes constant. The (Type-II) Escobar-Yamabe problem is to make a conformal change on a compact Riemannian manifold with boundary so that the scalar curvature vanishes and […]

Number theory seminar: Daniel Li-Huerta (Harvard University)

Krieger 304

Title: Local-global compatibility over function fields Abstract: We show that V. Lafforgue's global Langlands correspondence is compatible with Fargues–Scholze's semisimplified local Langlands correspondence. As a result, we canonically lift Fargues–Scholze's construction to a non-semisimplified local Langlands correspondence for fields of characteristic ≥ 5. We also deduce that Fargues–Scholze's construction agrees with that of Genestier–Lafforgue, answering a question of Fargues–Scholze, Hansen, […]

Number theory seminar: Robin Zhang (Columbia University)

Krieger 304

Title: Harris-Venkatesh plus Stark Abstract: The class number formula describes the behavior of the Dedekind zeta function at s=0 and s=1. The Stark and Gross conjectures extend the class number formula, describing the behavior of Artin L-functions and p-adic L-functions at s=0 and s=1 in terms of units and class numbers. The Harris-Venkatesh conjecture describes […]

CT Seminar: David Jaz Myers

Krieger 413

Title: The Para construction as a wreath product of pseudomonadsjww Matteo CapucciAbstract:"The purpose of being categorical is to make that which is formal, formally formal" - Peter May"You are about to witness the strength of street knowledge" - NWAThis talk is a story about following the natural contours of a categorical argument. We have a […]

Algebraic Geometry Seminar: Jihao Liu (Northwestern)

Krieger 413

Title: Minimal model program for foliations.Abstract: In this talk, I will discuss recent progress on the minimal model program for foliations. Part of this talk is based on joint works with Yujie Luo, Fanjun Meng, and Lingyao Xie.

CT Seminar: Florrie Verity

Krieger 413

Title: Modelling crisp type theory Abstract: Crisp type theory is a modal type theory originating in work of Pfenning and Davies (2001) and developed by Shulman (2018) for investigations in homotopy type theory. It is conjectured to be modelled by some generalised kind of comma category. In this talk, I will follow Pfenning and Davies to […]