Title: Maximal Subellipticity Abstract: The theory of elliptic PDE stands apart from many other areas of PDE because sharp results are known for very general linear and fully nonlinear elliptic PDE. […]
Title: Solid modules Abstract: For this talk I would like to define and study solid abelian groups, whose construction is motivated in topology/analysis, by the desire to single out (metrizable) topological vector […]
Title: The Quillen-Lichtenbaum dimension of an algebraic variety and the integral Hodge conjecture.Abstract: I will explain a numerical invariant of complex varieties born out of the difference between algebraic and topological K-theory. […]
Title: Compatibility of canonical ell-adic local systems on Shimura varieties Abstract: In his 1979 Corvallis paper, Deligne uses a modular interpretation to construct canonical models of Shimura varieties of Hodge […]
Title: The stability of irrotational shocks and the Landau law of decay. Abstract: We consider the long-time behavior of irrotational solutions of the three-dimensional compressible Euler equations with shocks, hypersurfaces of discontinuity across […]
Title: Decategorifying the singular support of coherent sheaves Abstract: The microlocal homology is a family of chain theories that interpolates between the Borel–Moore homology and singular cohomology of a […]
Title: On the isoperimetric profile of the hypercube Abstract: The isoperimetric problem in the hypercube is a strikingly simple topic which is not yet completely understood. We will review the known […]
Title: Analytic rings
Title: Fibered Yoneda Lemma in Lean 4 Abstract: In this talk, I would like to give you a sense of what it’s like to do category theory in a computer. I […]
Title: Abstract:
Dr. Riehl will be giving an interactive talk where we will play the natural numbers game and learn about formalizing mathematics in a computer-proof assistant! We ask that everyone who […]
Title: The Geometry of Theta Correspondence for Principal Series over Finite Fields Abstract: In this talk, we explore the finite field theta correspondence between principal series representations. We begin by […]