Title: A reintroduction to proofs Abstract: An introduction to proofs course aims to teach how to write proofs informally in the language of set theory and classical logic. In this talk, I'll explore the alternate possibility of learning instead to write proofs informally in the language of dependent type theory. I'll argue that the intuitions […]
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. Many of the classical techniques from harmonic analysis were first developed to prove these sharp results; and the study of elliptic PDE leans heavily on […]
Title: Pyknotic setsAbstract: In this talk, I will introduce the idea of Pyknotic/Condensed sets and how they can potentially be used to solve the problem of the category of topological spaces not being abelian. I will also go over the prerequisite concepts in category theory such as the notion of Grothendieck topology, pro-object in a […]
Title: On the cone conjecture for log Calabi-Yau threefolds.Abstract: Let $Y$ be a smooth projective threefold admitting a $K3$ fibration $f: Y rightarrow mathbb{P}^{1}$ with $-K_{Y} = f^{ast} mathcal{O}(1)$. Then the extremal rays of the cone of curves of $Y$ in the region $K_{Y} < 0$ are of two types: the blowup of a smooth curve (Type […]
Title: Modularity of trianguline Galois representations Abstract: The Fontaine-Mazur conjecture (proved by Kisin and Emerton) says that (under certain technical hypotheses) a Galois representation rho: Gal_Q -> GL2(Qp) is modular if it is unramified outside finitely many places and de Rham at p. I will talk about what this means, and I will discuss an […]
Title: Speculations on Computing with the Relative Trace FormulaAbstract: I will discuss and motivate the problem of computing statistics of automorphic representations. Many statistics have been computed previously using "explicit" forms of Arthur's trace formula. I will present a very speculative plan to develop similar "explicit" versions of relative trace formulas and mention some new specific […]