University of Oxford

This is a continuation of https://www.maths.ox.ac.uk/node/61240

The Dedekind zeta function generalises the Riemann zeta
function to other number fields than the rationals. The analytic class number
formula says that the leading term of the Dedekind zeta function is a
product of invariants of the number field. I will say some things
about the class number formula, about L-functions, and about Stark's
conjecture which generalises the class number formula.

Let $p \ge 3$ be a prime integer. The density of a non-empty solution set of a system of affine equations $L_i(x) = b_i$, $i=1,\dots,k$ on a vector space over the field $\mathbb{F}_p$ is determined by the dimension of the linear subspace $\langle L_1,\dots,L_k \rangle$, and tends to $0$ with the dimension of that subspace. In particular, if the solution set is dense, then the system of equations contains at most boundedly many pairwise distinct linear forms. In the more general setting of systems of affine conditions $L_i(x) \in E_i$ for some strict subsets $E_i$ of $\mathbb{F}_p$ and where the solution set and its density are taken inside $S^n$ for some non-empty subset $S$ of $\mathbb{F}_p$ (such as $\{0,1\}$), we can however usually find subsets of $S^n$ with density at least $1/2$ but such that the linear subspace $\langle L_1,\dots,L_k \rangle$ has arbitrarily high dimension. We shall nonetheless establish an approximate boundedness result: if the solution set of a system of affine conditions is dense, then it contains the solution set of a system of boundedly many affine conditions and which has approximately the same density as the original solution set. Using a recent generalisation by Gowers and the speaker of a result of Green and Tao on the equidistribution of high-rank polynomials on finite prime fields we shall furthermore prove a weaker analogous result for polynomials of small degree.

Based on joint work with Timothy Gowers (College de France and University of Cambridge).

Perverse sheaves are an indispensable tool in representation theory. Their stalks often encode important representation theoretic information such as composition multiplicities or canonical bases. For the nilpotent cone, there is an algorithm that computes these stalks, known as the Lusztig-Shoji algorithm. In this talk, we discuss how this algorithm can be modified to compute stalks of perverse sheaves on more general varieties. As an application, we obtain a new algorithm for computing canonical bases in certain quantum groups as well as composition multiplicities for standard modules of the affine Hecke algebra of $\mathrm{GL}_n$.

This course will serve as an introduction to the theory of gradient flows with an emphasis on the recent advances in metric spaces. More precisely, we will start with an overview of gradient flows from the Euclidean theory to its generalisation to metric spaces, in particular Wasserstein spaces. This also includes a short introduction to the Optimal Transport theory, with a focus on specific concepts and tools useful subsequently. We will then analyse the time-discretisation scheme à la Jordan--Kinderlehrer-Otto (JKO), also known as minimising movement, and discuss the role of convexity in proving stability, uniqueness, and long-time behaviour for the PDE under study. Finally, we will comment on recent advances, e.g., in the study of PDEs on graphs and/or particle approximation of diffusion equations.

PhD_course_Esposito_1.pdf

This course will serve as an introduction to the theory of gradient flows with an emphasis on the recent advances in metric spaces. More precisely, we will start with an overview of gradient flows from the Euclidean theory to its generalisation to metric spaces, in particular Wasserstein spaces. This also includes a short introduction to the Optimal Transport theory, with a focus on specific concepts and tools useful subsequently. We will then analyse the time-discretisation scheme à la Jordan--Kinderlehrer-Otto (JKO), also known as minimising movement, and discuss the role of convexity in proving stability, uniqueness, and long-time behaviour for the PDE under study. Finally, we will comment on recent advances, e.g., in the study of PDEs on graphs and/or particle approximation of diffusion equations.

PhD_course_Esposito_0.pdf

This DPhil short course will serve as an introduction to the theory of gradient flows with an emphasis on the recent advances in metric spaces. More precisely, we will start with an overview of gradient flows from the Euclidean theory to its generalisation to metric spaces, in particular Wasserstein spaces. This also includes a short introduction to the Optimal Transport theory, with a focus on specific concepts and tools useful subsequently. We will then analyse the time-discretisation scheme à la Jordan--Kinderlehrer-Otto (JKO), also known as minimising movement, and discuss the role of convexity in proving stability, uniqueness, and long-time behaviour for the PDE under study. Finally, we will comment on recent advances, e.g., in the study of PDEs on graphs and/or particle approximation of diffusion equations.

In the theory of relative algebraic geometry, our affines are objects in the opposite category of commutative monoids in a symmetric monoidal category $\mathcal{C}$. This categorical approach simplifies many constructions and allows us to compare different geometries. Toën and Vezzosi's theory of homotopical algebraic geometry considers the case when $\mathcal{C}$ has a model structure and is endowed with a compatible symmetric monoidal structure. Derived algebraic geometry is recovered when we take $\mathcal{C}=\textbf{sMod}_k$, the category of simplicial modules over a simplicial commutative ring $k$.

In Kremnizer et al.'s version of derived analytic geometry, we consider geometry relative to the category $\textbf{sMod}_k$ where $k$ is now a simplicial commutative complete bornological ring. In this talk we discuss, from an algebraist's perspective, the main ideas behind the theory of relative algebraic geometry and discuss briefly how it provides us with a convenient framework to consider derived analytic geometry. 

Quantum toroidal algebras $U_{q}(\mathfrak{g}_{\mathrm{tor}})$ are certain Drinfeld quantum affinizations of quantum groups associated to affine Lie algebras, and can therefore be thought of as `double affine quantum groups'.

In particular, they contain (and are generated by) a horizontal and vertical copy of the affine quantum group. 

Utilising an extended double affine braid group action, Miki obtained in type $A$ an automorphism of $U_{q}(\mathfrak{g}_{\mathrm{tor}})$ which exchanges these subalgebras. This has since played a crucial role in the investigation of its structure and representation theory.

In this talk I shall present my recent work -- which extends the braid group action to all types and generalises Miki's automorphism to the ADE case -- as well as potential directions for future work in this area.

Let $G$ be a $p$-adic Lie group. From the perspective of $p$-adic manifolds, possibly the most natural $p$-adic representations of $G$ to consider are the locally analytic ones.  Motivated by work of Pan, when $G$ acts on a rigid analytic variety $X$ (e.g., the flag variety), we would like to geometrise locally analytic $G$-representations, via a covariant localisation theory which should intertwine Schneider-Teitelbaum's duality with the $p$-adic Beilinson-Bernstein localisation. I will report some partial progress in the simplified situation when we replace $G$ by its germ at $1$. The main ingredient is an infinite jet bundle $\mathcal{J}^\omega_X$ which is dual to $\widehat{\mathcal{D}}_X$. Our "co"localisation functor is given by a coinduction to $\mathcal{J}^\omega_X$. Work in progress.