Virtual

Abstract: John Roe was a much admired figure in topology and noncommutative geometry, and the creator of the C*-algebraic approach to coarse geometry. John died in 2018 at the age of 58. My aim in the first part of the lecture will be to explain in very general terms the major themes in John’s work, and illustrate them by presenting one of his best-known results, the partitioned manifold index theorem. After the break I shall describe a later result, about relative eta invariants, that has inspired an area of research that is still very active.

Assumed Knowledge: First part: basic familiarity with C*-algebras, plus a little topology. Second part: basic familiarity with K-theory for C*-algebras.

The random initialisation of Artificial Neural Networks (ANN) allows one to describe, in the functional space, the limit of the evolution of ANN when their width tends towards infinity. Within this limit, an ANN is initially a Gaussian process and follows, during learning, a gradient descent convoluted by a kernel called the Neural Tangent Kernel.

Connecting neural networks to the well-established theory of kernel methods allows us to understand the dynamics of neural networks, their generalization capability. In practice, it helps to select appropriate architectural features of the network to be trained. In addition, it provides new tools to address the finite size setting.

The signature of a path in Euclidean space resides in the tensor algebra of that space; it is obtained by systematic iterated integration of the components of the given path against one another. This straightforward definition conceals a host of deep theoretical properties and impressive practical consequences. In this talk I will describe the homotopical origins of path signatures, their subsequent application to stochastic analysis, and how they facilitate efficient machine learning in topological data analysis. This last bit is joint work with Ilya Chevyrev and Harald Oberhauser.

The concept of path signatures has been widely used in several areas of pure mathematics including in applications to data science. However, we remain unable to answer even the most basic questions about it. For instance, how to fully characterise the set of (untruncated) signatures of bounded variation paths? Can certain norms on signatures be related to the length of a path, like in Fourier isometry? In this talk, we will review some known results, explain the open problems and discuss their difficulties.

We present a method for obtaining approximate solutions to the problem of optimal execution, based on a signature method. The framework is general, only requiring that the price process is a geometric rough path and the price impact function is a continuous function of the trading speed. Following an approximation of the optimisation problem, we are able to calculate an optimal solution for the trading speed in the space of linear functions on a truncation of the signature of the price process. We provide strong numerical evidence illustrating the accuracy and flexibility of the approach. Our numerical investigation both examines cases where exact solutions are known, demonstrating that the method accurately approximates these solutions, and models where exact solutions are not known. In the latter case, we obtain favourable comparisons with standard execution strategies.

We will show that minimally supersymmetric SU(N+2) SQCD models in the middle of the conformal window can be engineered by compactifying certain 6d SCFTs on three punctured spheres. The geometric construction of the 4d theories predicts numerous interesting strong coupling effects, such as IR symmetry enhancements and duality. We will discuss this interplay between simple geometric and group theoretic considerations and complicated field theoretic strong coupling phenomena. For example, one of the dualities arising geometrically from different pair-of-pants decompositions of a four punctured sphere  is an $SU(N+2)$ generalization of the Intriligator-Pouliot duality of $SU(2)$ SQCD with $N_f=4$, which is a degenerate, $N=0$, instance of our discussion. 

This is a joint work with C.Daw in progress. We study the L_{omega_1,omega}-theory of the modular functions j_n: H -> Y(n). In other words, H is seen here as the universal cover in the class of modular curves. The setting is different from one considered before by Adam Harris and Chris Daw: GL(2,Q) is given here as the sort without naming its individual elements. As usual in the study of 'pseudo-analytic cover structures', the statement of categoricity is equivalent to certain arithmetic conditions, the most challenging of which is to determine the Galois action on CM-points. This turns out to be equivalent to determining the Galois action on SL(2,\hat{Z})/(-1), that is a subgroup of

Out SL(2,\hat{Z})/(-1)   induced by the action of  Gal_Q. We find by direct matrix calculations a subgroup Out_* of the outer automorphisms group which contains the image of Gal_Q. Moreover, we prove that Out_* is the image of Drinfeld's group GT (Grothendieck-Teichmuller group) under a natural homomorphism.

It is a reasonable to conjecture that Out_* is equal to the image of Gal_Q, which would imply the categoricity statement. It follows from the above that our conjecture is a consequence of Drinfeld's conjecture which states that GT is isomorphic to Gal_Q.  

Since the work of von Neumann, the theory of operator algebras has been closely linked to the theory of groups. On the one hand, operator algebras constructed from groups provide an important source of examples and insight. On the other hand, many problems about groups are most naturally studied within an operator-algebraic framework. In this talk I will give an overview of some problems relating the structure of a group to the structure of a corresponding C*-algebra. I will discuss recent results and some possible future directions.

The study of non-local games has involved fruitful interactions between operator algebra theory and quantum physics, with a starting point the link between the Connes Embedding Problem and the Tsirelson Problem, uncovered by Junge et al (2011) and Ozawa (2013). Particular instances of non-local games, such as binary constraint system games and synchronous games, have played an important role in the pursuit of the resolution of these problems. In this talk, I will summarise part of the operator algebraic toolkit that has proved useful in the study of non-local games and of their perfect strategies, highlighting the role C*-algebras and operator systems play in their mathematical understanding.

We study the countable set of rates of growth of a hyperbolic 
group with respect to all its finite generating sets. We prove that the 
set is well-ordered, and that every real number can be the rate of growth 
of at most finitely many generating sets up to automorphism of the group.

We prove that the ordinal of the set of rates of growth is at least $ω^ω$, 
and in case the group is a limit group (e.g., free and surface groups), it 
is $ω^ω$.

We further study the rates of growth of all the finitely generated 
subgroups of a hyperbolic group with respect to all their finite 
generating sets. This set is proved to be well-ordered as well, and every 
real number can be the rate of growth of at most finitely many isomorphism 
classes of finite generating sets of subgroups of a given hyperbolic 
group. Finally, we strengthen our results to include rates of growth of 
all the finite generating sets of all the subsemigroups of a hyperbolic 
group.

Joint work with Koji Fujiwara.