Title: Categorical diagonalization.Abstract: We give an introduction to the circle of ideas known as categorification, guided by the following question: what might it mean to diagonalize a functor?Given a category, one can forget most of the information and just remember skeletal information about the objects up to isomorphism, a process known as decategorification. For example, the […]
Title: Decomposition problem for topological Azumaya algebras with an involution of the first kindAbstract: Topological Azumaya algebras (TAAs) over a space are topological shadows of more complicated algebraic Azumaya algebras defined over schemes. Tensor product is a well-defined operation on TAAs. Hence given a TAA $mathcal{A}$ of degree $mn$ over $X$, where $m$ and $n$ […]
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 […]
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, […]
Krieger 413
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 […]
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 […]
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.
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 […]
Via Zoom
We will host a series of meetings on Zoom that will help us prepare for our upcoming teaching assignments in Mathematics.
We will host a series of meetings on Zoom that will help us prepare for our upcoming teaching assignments in Mathematics.