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.
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.
We will host a series of meetings on Zoom that will help us prepare for our upcoming teaching assignments in Mathematics.
Title: Stability of perturbed wave equations on Kerr black hole spacetimesAbstract: I will discuss a recent work with Gustav Holzegel, in which we prove integrated decay bounds for solutions of the geometric wave equation with small linear perturbations on Kerr black hole spacetimes.Our proof adapts the framework introduced by Dafermos, Rodnianski, and Shlapentokh-Rothman for the homogeneous wave […]
Title: Introduction to the trace formula.Abstract: This will be an introductory lecture to a very informal learning seminar that will run this semester. Topics will vary, but many of the talks will be related to the trace formula, which is one of the most important tools in the theory of automorphic representations. I will start […]
Title: Canonical representations of surface groups.Abstract: For $Sigma_{g,n}$ a genus $g$ surface with $n$ punctures, we study the character variety parameterizing representations of $pi_1(Sigma_{g,n})$. This character variety has a natural action of the fundamental group of the moduli space of curves. In joint work with Josh Lam and Daniel Litt, we aim to describe the points with […]
Title: Twisted GGP conjecture for unramified quadratic extensions Abstract: The twisted Gan--Gross--Prasad conjectures consider the restriction of representations from GL_n to a unitary group over a quadratic extension E/F. In this talk, I will explain the relative trace formula approach to the global twisted GGP conjecture. In particular, I will discuss some differences between the […]