Past

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$.

In mathematical modelling, data and solutions are often represented as measurable functions, and their quality is being captured by their membership to a certain function space. One of the core questions arising in applications of this approach is the comparison of the quality of the data and that of the solution. A particular attention is being paid to optimality of the results obtained. A delicate choice of scales of suitable function spaces is required in order to balance the expressivity (the ability to capture fine mathematical properties of the model) and the accessibility (the level of its technical difficulty) for a practical use. We will give an overview of the research area which grew out of these questions and survey recent results obtained in this direction as well as challenging open questions. We will describe a development of a powerful method based on the so-called reduction principles and demonstrate its use on specific problems including the continuity of Sobolev embeddings or boundedness of pivotal integral operators such as the Hardy - Littlewood maximal operator and the Laplace transform.

We ask to what extend the SL(2,C)-character variety of the
fundamental group of the complement of a knot in S^3 determines the
knot. Our methods use results from group theory, classical 3-manifold
topology, but also geometric input in two ways: the geometrisation
theorem for 3-manifolds, and instanton gauge theory. In particular this
is connected to SU(2)-character varieties of two-component links, a
topic where much less is known than in the case of knots. This is joint
work with Michel Boileau, Teruaki Kitano, and Steven Sivek.

We consider an investor who is dynamically informed about the future evolution of one of the independent Brownian motions driving a stock's price fluctuations. The resulting rough semimartingale dynamics allow for strong arbitrage, but with linear temporary price impact the resulting optimal investment problem with exponential utility turns out to be well posed. The dynamically revealed Brownian path segment makes the problem infinite-dimensional, but by considering its convex-analytic dual problem, we show that it still can be solved explicitly and we give some financial-economic insights into the optimal investment strategy and the properties of maximum expected utility. (This is joint work with Yan Dolinsky, Hebrew University of Jerusalem).

It is well understood by works of Fukaya and Teleman that the Fukaya category of a symplectic reduction at a regular value of the moment map can be computed before taking the quotient as an equivariant Fukaya category. Informed by mirror calculations,  we will give a new geometric interpretation of the equivariant Fukaya category corresponding to a singular value of the moment map where the equivariance is traded with wrapping.

Joint work in progress with Ed Segal.

1:30-2:15 Deborah Miori, CDT student, University of Oxford

DeFi: Data-Driven Characterisation of Uniswap v3 Ecosystem & an Ideal Crypto Law for Liquidity Pools

Uniswap is a Constant Product Market Maker built around liquidity pools, where pairs of tokens are exchanged subject to a fee that is proportional to the size of transactions. At the time of writing, there exist more than 6,000 pools associated with Uniswap v3, implying that empirical investigations on the full ecosystem can easily become computationally expensive. Thus, we propose a systematic workflow to extract and analyse a meaningful but computationally tractable sub-universe of liquidity pools.

Leveraging on the 34 pools found relevant for the six-months time window January-June 2022, we then investigate the related liquidity consumption behaviour of market participants. We propose to represent each liquidity taker by a suitably constructed transaction graph, which is a fully connected network where nodes are the liquidity taker’s executed transactions, and edges contain weights encoding the time elapsed between any two transactions. We extend the NLP-inspired graph2vec algorithm to the weighted undirected setting, and employ it to obtain an embedding of the set of graphs. This embedding allows us to extract seven clusters of liquidity takers, with equivalent behavioural patters and interpretable trading preferences.

We conclude our work by testing for relationships between the characteristic mechanisms of each pool, i.e. liquidity provision, consumption, and price variation. We introduce a related ideal crypto law, inspired from the ideal gas law of thermodynamics, and demonstrate that pools adhering to this law are healthier trading venues in terms of sensitivity of liquidity and agents’ activity. Regulators and practitioners could benefit from our model by developing related pool health monitoring tools.

2:15-3:00 Žan Žurič, CDT student, Imperial College London

A Random Neural Network Approach to Pricing SPDEs for Rough Volatility

We propose a novel machine learning-based scheme for solving partial differential equations (PDEs) and backward stochastic partial differential equations (BSPDE) stemming from option pricing equations of Markovian and non-Markovian models respectively. The use of the so-called random weighted neural networks (RWNN) allows us to formulate the optimisation problem as linear regression, thus immensely speeding up the training process. Furthermore, we analyse the convergence of the RWNN scheme and are able to specify error estimates in terms of the number of hidden nodes. The performance of the scheme is tested on Black-Scholes and rBergomi models and shown to have superior training times with accuracy comparable to existing deep learning approaches.

A 2d SCFT given as a non-linear sigma model of a Ricci-flat Kahler target 

space is not a rational CFT in general; only special points in the moduli 

space of the target-space metric, the 2d SCFTs are rational. 

Gukov-Vafa's paper in 2002 hinted at a possibility that such special points 

may be characterized by the property "complex multiplication" of the target space, 

which has its origin in number theory. We revisit the idea, refine the Conjecture, 

and prove it in the case the target space is T^4. 
 

This presentation is based on arXiv:2205.10299 and 2212.13028 .

Speaker: Dr Aleksander Horawa (North Wing)
Title: Bitcoin, elliptic curves, and this building

Abstract:
We will discuss two motivations to work on Algebraic Number Theory: applications to cryptography, and fame and fortune. For the first, we will explain how Bitcoin and other companies use Elliptic Curves to digitally sign messages. For the latter, we will introduce two famous problems in Number Theory: Fermat's Last Theorem, worth a name on this building, and the Birch Swinnerton--Dyer conjecture, worth $1,000,000 according to some people in this building (Clay Mathematics Institute).
 

Speaker: Dr Jemima Tabeart (South Wing)
Title: Numerical linear algebra for weather forecasting

Abstract:
The quality of a weather forecast is strongly determined by the accuracy of the initial condition. Data assimilation methods allow us to combine prior forecast information with new measurements in order to obtain the best estimate of the true initial condition. However, many of these approaches require the solution an enormous least-squares problem. In this talk I will discuss some mathematical and computational challenges associated with data assimilation for numerical weather prediction, and show how structure-exploiting numerical linear algebra approaches can lead to theoretical and computational improvements.

Simulating diffusion computationally allows to predict the diffusivity of materials, understand diffusion mechanisms, and to tailor-make materials such as solid-state electrolytes with desired properties aiming at developing new batteries. By studying the geometry and topology of 3-periodic scalar fields (e.g. the potential of ions in the electrolyte), we develop a cost-efficient multi-scale model for diffusion in crystalline materials. This project is a typical example of a collaboration in the overlap of topology and materials science that started as a persistent homology project and turned into something else.

Nanopore sequencing is a method to infer the sequence of nucleotides in DNA or RNA molecules from small variations in ionic current during transit through a nanoscale pore. We will give an introduction to nanopore sequencing and some of its applications and then explore simple models of the signal generation process. These can provide insight to guide optimisation of the system and inform the design of more flexible neural network models, capable of extracting the rich contextual information required for accurate sequence inference.

The crepant resolutions of a singular threefold are related by a finite sequence of birational maps called flops. In the simplest cases, this network of flops is governed by simple combinatorics. I will begin the talk with an overview of flops and crepant resolutions. I will then move on to explain how their underlying combinatorial structure can be abstracted to define the notion of a cluster category.

Toward a characterization of modularity using shatter functions, we show that an o-minimal expansion of the  real ordered additive group $(\mathbb{R}; 0, +,<)$ does not define restricted multiplication if and only if the shatter function of every definable family is asymptotic to a polynomial. Our result implies that vc-density can only take integer values in $(\mathbb{R}; 0, +,<)$ confirming a special case of a conjecture by Chernikov. (Joint with Abdul Basit.)

Assuming the Riemann Hypothesis, Soundararajan established almost sharp upper bounds for all positive moments of the Riemann zeta-function. This result was later improved by Harper, who proved upper bounds of the right order of magnitude. I will describe some of the ideas in their proofs, and then discuss recent joint work with Alexandra Florea, where we consider negative moments of the Riemann zeta-function. For example, we can obtain asymptotic formulas for negative moments when the shift in the zeta function is large enough, confirming a conjecture of Gonek.  We also obtain an upper bound for the average of the generalised Mobius function.

In this talk, we first review the de Rham complex and the finite element exterior calculus, a cohomological framework for structure-preserving discretisation of PDEs. From de Rham complexes, we derive other complexes with applications in elasticity, geometry and general relativity. The derivation, inspired by the Bernstein-Gelfand-Gelfand (BGG) construction, also provides a general machinery to establish results for tensor-valued problems (e.g., elasticity) from de Rham complexes (e.g., electromagnetism and fluid mechanics). We discuss some applications and progress in this direction, including mechanics models and the construction of bounded homotopy operators (Poincaré integrals) and finite elements.

In this presentation, I will discuss the construction and results of numerical simulations quantifying flows around several species of soft corals. In the first project, the flows near the tentacles of xeniid soft corals are quantified for the first time. Their active pulsations are thought to enhance their symbionts' photosynthetic rates by up to an order of magnitude. These polyps are approximately 1 cm in diameter and pulse at frequencies between approximately 0.5 and 1 Hz. As a result, the frequency-based Reynolds number calculated using the tentacle length and pulse frequency is on the order of 10 and rapidly decays as with distance from the polyp. This introduces the question of how these corals minimize the reversibility of the flow and bring in new volumes of fluid during each pulse. We estimate the Péclet number of the bulk flow generated by the coral as being on the order of 100–1000 whereas the flow between the bristles of the tentacles is on the order of 10. This illustrates the importance of advective transport in removing oxygen waste. In the second project, the flows through the elaborate branching structures of gorgonian colonies are considered.  As water moves through the elaborate branches, it is slowed, and recirculation zones can form downstream of the colony. At the smaller scale, individual polyps that emerge from the branches expand their tentacles, further slowing the flow. At the smallest scale, the tentacles are covered in tiny pinnules where exchange occurs. We quantified the gap to diameter ratios for various gorgonians at the scale of the branches, the polyp tentacles and the pinnules. We then used computational fluid dynamics to determine the flow patterns at all three levels of branching. We quantified the leakiness between the branches, tentacles and pinnules over the biologically relevant range of Reynolds numbers and gap-to-diameter ratios, and found that the branches and tentacles can act as either leaky rakes or solid plates depending upon these dimensionless parameters. The pinnules, in contrast, mostly impede the flow. Using an agent-based modeling framework, we quantified plankton capture as a function of the gap-to diameter ratio of the branches and the Reynolds number. We found that the capture rate depends critically on both morphology and Reynolds number. 

The Lott-Sturm-Villani curvature-dimension condition CD(K,N) provides a synthetic notion for a metric measure space to have curvature bounded from below by K and dimension bounded from above by N. It was proved by Juillet that the CD(K,N) condition is not satisfied in a large class of sub-Riemannian manifolds, for every choice of the parameters K and N. In a joint work with Tommaso Rossi, we extended this result to the setting of almost-Riemannian manifolds and finally it was proved in full generality by Rizzi and Stefani. In this talk I present the ideas behind the different strategies, discussing in particular their possible adaptation to the sub-Finsler setting. Lastly I show how studying the validity of the CD condition in sub-Finsler Carnot groups could help in proving rectifiability of CD spaces.

Mike will briefly describe the scope and shape of science within the Met Office and of his career there. He will also outline the coordination of the development of the NEMO ocean model, which he leads, and work to ensure the marine systems at the Met Office work efficiently on modern High Performance Computers (HPCs).  In the second half of the talk, Mike will focus on two of his current scientific interests: accurate calculation of horizontal pressure forces in models with steeply sloping coordinates; and dynamical interpretations of meridional overturning circulations and ocean heat uptake.

Mathematicians frequently present their own work in a diachronic fashion, e.g. by comparing their "modern" methods to those supposedly of the "Ancients," or by situating their latest theories as an "abstract" counterpart to more "classical" ones. The construction of such contrasts entangle mathematical labour and cultural life writ large. Indeed, it involves on the part of mathematicians the shaping up of correspondences between their technical achievements and intellectual discussions taking place on a much broader stage, such as those surrounding the concept of modernity, its relation to an imagined ancient past, or the characterisation of scientific progress as an increase in abstraction. This talk will explore the creation and use of such mathematical diachronies, the focus being on the works of Felix Klein, Hieronymus Zeuthen, and Hermann Schubert.

Stable commutator length (scl) is a measure of homological complexity in groups that has attracted attention for its various connections with geometric topology and group theory. In this talk, I will introduce scl and discuss the (hard) problem of computing scl in surface groups. I will present some results concerning isometric embeddings of free groups for scl, and how they generalise to surface groups for the relative Gromov seminorm.

The joint spectral radius of a finite family S of matrices measures the rate of exponential growth of the maximal norm of an element from the product set S^n as n grows. This notion was introduced by Rota and Strang in the 60s. It arises naturally in a number of contexts in pure and applied mathematics. I will discuss its basic properties and focus on a formula of Berger and Wang and results of J. Bochi that extend to several matrices the classical for formula of Gelfand that relates the growth rate of the powers of a single matrix to its spectral radius. I give new proofs and derive explicit estimates with polynomial dependence on the dimension, refining these results. If time permits I will also discuss connections with the Tits alternative, the notion of joint spectrum, and a geometric version of these results regarding groups acting on non-positively curved spaces.

In 1977, Milnor formulated the following conjecture: every discrete group of affine transformations acting properly on the affine space is virtually solvable. We now know that this statement is false; the current goal is to gain a better understanding of the counterexamples to this conjecture. Every group that violates this conjecture "lives" in a certain algebraic affine group, which can be specified by giving a linear group and a representation thereof. Representations that give rise to counterexamples are said to be non-Milnor. We will talk about the progress made so far towards classification of these non-Milnor representations.