A Brief Introduction to Gödel's Incompleteness Theorems In 1931 Kurt Gödel proved a pair of landmark results that limited the strength of formal theories of mathematics. These "incompleteness theorems" are central to modern understandings of logic, and also to numerous misunderstandings. So today, we'll explore these theorems - how they work, how they were developed […]
Title: Soap films, Plateau's laws, and the Allen-Cahn equation Abstract: Plateau's problem of minimizing area among surfaces with a common boundary is the basic model for soap films and leads to the theory of minimal surfaces. In this talk we will discuss a modification of Plateau's problem in which surfaces are replaced with regions of small […]
Title: Finite approximations as a tool for studying triangulated categories.Abstract: A metric on a category assigns lengths to morphisms, with the triangle inequality holding. This notion goes back to a 1974 article by Lawvere. We'll start with a quick review of some basic constructions, like forming the Cauchy completion of a category with respect to a metric.And […]
Title: On an application of the residue method. Abstract: When a period integral of an automorphic form converges and is not zero it is often related to a special value of an L-function and indicates that the automorphic form is a functorial transfer. When convergence fails it is still interesting to make sense of the […]
Title: Kähler-Einstein metric, K-stability and moduli of Fano varieties I. Abstract: A complex variety with a positive first Chern class is called a Fano variety. The question of whether a Fano variety has a Kähler-Einstein metric has been a major topic in complex geometry since the 1980s. The Yau-Tian-Donaldson Conjecture predicts the existence of such […]
Title and abstract TBA
Title: Kähler-Einstein metric, K-stability and moduli of Fano varieties II. Abstract: Algebraic varieties are given by solutions of a system of polynomial equations. Constructing parameter space for them has roots in many different fields, e.g. number theory, complex analysis, mathematical physics etc. It is often related to stability notions. The first framework to construct moduli […]
Title: First eigenvalue estimates on asymptotically hyperbolic manifolds and their submanifolds. Abstract: I will report on joint work with Samuel Pérez-Ayala. We derive a sharp upper bound for the first eigenvalue $lambda_{1,p}$ of the $p$-Laplacian on asymptotically hyperbolic manifolds for $1<p<infty$. We then prove that a particular class of conformally compact submanifolds within asymptotically hyperbolic […]
Title: Six functor formalism and the !-topology
Title: The simply typed 2λ-calculus Abstract: 2λ-calculus is a language with three levels: types, terms, and rewrites. I will explore their properties and give categorical description of the equational theory on the rewrites of the 2λ-calculus