Past

We introduce ultrasolid modules, a variant of complete topological vector spaces. In this setting, we will prove some results in commutative algebra and apply them to the deformation of algebraic varieties in the language of derived algebraic geometry.

We present an existence and uniqueness result for nonlinear Fokker--Planck equations driven by rough paths. These equations describe the evolution of the probability distributions associated with McKean--Vlasov stochastic dynamics under (rough) common noise.  A key motivation comes from the study of interacting particle systems with common noise, where the empirical measure converges to a solution of such a nonlinear equation. 
Our approach combines rough path theory and the stochastic sewing techniques with Lions' differential calculus on Wasserstein spaces.

This is joint work with Peter K. Friz and Wilhelm Stannat.

The Critical 2d Stochastic Heat Flow arises as a non-trivial solution
of the Stochastic Heat Equation (SHE) at the critical dimension 2 and at a phase transition point.
It is a log-correlated field which is neither Gaussian nor a Gaussian Multiplicative Chaos.
We will review the phase transition of the 2d SHE, describe the main points of the construction of the Critical 2d SHF
and outline some of its features and related questions. Based on joint works with Francesco Caravenna and Rongfeng Sun.

A classical result of Dixmier and Douady enables us to classify locally trivial bundles of C*-algebras with compact operators as fibres via methods in homotopy theory. Dadarlat and Pennig have shown that this generalises to the much larger family of bundles of stabilised strongly self-absorbing C*-algebras, which are classified by the first group of the cohomology theory associated to the units of complex topological K-theory. Building on work of Evans and Pennig I consider Z/pZ-equivariant C*-algebra bundles over Z/pZ-spaces. The fibres of these bundles are infinite tensor products of the endomorphism algebra of a Z/pZ-representation. In joint work with Pennig, we show that the theory refines completely to this equivariant setting. In particular, we prove a full classification of the C*-algebra bundles via equivariant stable homotopy theory.

I will discuss various results and conjectures about off-diagonal hypergraph Ramsey numbers, focusing on recent developments.

I am interested in studying moduli spaces and associated enumerative invariants via degeneration techniques. Logarithmic geometry is a natural language for constructing and studying relevant moduli spaces. In this talk I  will explain the logarithmic Hilbert (or more generally Quot) scheme and outline how the construction helps study enumerative invariants associated to Hilbert/Quot schemes- a story we now understand well. Time permitting, I will discuss some challenges and key insights for studying moduli of stable vector bundles/ sheaves via similar techniques - a theory whose details are still being worked out. 

In this talk I will give an introduction to analogues to the classical finiteness conditions FP_n for totally disconnected locally compact groups. I will present a construction of non-discrete tdlc groups of arbitrary finiteness length. As a bi-product we also obtain a new collection of (discrete) Thompson-like groups which contains, for all positive integers n, groups of type FP_n but not of type FP_{n+1}. This is joint work with I. Castellano, B. Marchionna, and Y. Santos-Rego.

Networks provide a powerful language to model interacting systems by representing their units as nodes and the interactions between them as links. Interactions can be connotated in several ways, such as binary/weighted, undirected/directed, etc. In the present talk, we focus on the positive/negative connotation - modelling trust/distrust, alliance/enmity, friendship/conflict, etc. - by considering the so-called signed networks. Rooted in the psychological framework of the balance theory, the study of signed networks has found application in fields as different as biology, ecology, economics. Here, we approach it from the perspective of statistical physics by extending the framework of Exponential Random Graph Models to the class of binary un/directed signed networks and employing it to assess the significance of frustrated patterns in real-world networks. As our results reveal, it critically depends on i) the considered system and ii) the employed benchmark. For what concerns binary directed networks, instead, we explore the relationship between frustration and reciprocity and suggest an alternative interpretation of balance in the light of directionality. Finally,  leveraging the ERGMs framework, we propose an unsupervised algorithm to obtain statistically validated projections of bipartite signed networks, according to which any, two nodes sharing a statistically significant number of concordant (discordant) motifs are connected by a positive (negative) edge, and we investigate signed structures at the mesoscopic scale by evaluating the tendency of a configuration to be either `traditionally' or `relaxedly' balanced.

A set in the Euclidean plane is called an integer distance set if the distance between any pair of its points is an integer.  All so-far-known integer distance sets have all but up to four of their points on a single line or circle; and it had long been suspected, going back to Erdős, that any integer distance set must be of this special form. In a recent work, joint with Marina Iliopoulou and Sarah Peluse, we developed a new approach to the problem, which enabled us to make the first progress towards confirming this suspicion.  In the talk, I will discuss the study of integer distance sets, its connections with other problems, and our new developments.

Nakajima quiver varieties form an important class of examples of conical symplectic singularities. For example, such varieties of dimension 2 are Kleinian singularities. Starting from this, I will describe a combinatorial approach to classifying the next case, affine quiver varieties of dimension 4. If time permits, I will try to say the implications we obtained and how can one compute the number of crepant symplectic resolutions of these varieties. This is a joint project with Samuel Lewis.

I will discuss the recent progress in the numerical bootstrap of the 3d Ising CFT using the correlation functions of stress-energy tensor and the relevant scalars. This numerical bootstrap setup gives excellent results which are two orders of magnitude more accurate than the previous world's best. However, it also presents many significant technical challenges. Therefore, in addition to describing in detail the numerical results of this work, I will also explain the state-of-the art numerical bootstrap methods that made this study possible. Based on arXiv:2411.15300 and work in progress.

When it comes to the nonlinear heat equation u_t - \Delta u = u^p, a sharp condition for the stability of positive radial steady states was derived in the classical paper by Gui, Ni and Wang.  In this talk, I will present some recent joint work with Daniel Devine that focuses on a more general system of reaction-diffusion equations (which is also also known as the parabolic Henon-Lane-Emden system).  We obtain a sharp condition that determines the stability of positive radial steady states, and we also study the separation property of these solutions along with their asymptotic behaviour at infinity.

A generalisation of Wiles’ famous modularity theorem, the Fontaine-Mazur conjecture, predicts that two dimensional representations of the absolute Galois group of the rationals, with a few specific properties, exactly correspond to those representations coming from classical modular forms. Under some mild hypotheses, this is now a theorem of Kisin. In this talk, I will explain how one can p-adically interpolate the objects on both sides of this correspondence to construct an eigensurface and “trianguline” Galois deformation space, as well as outline a new approach to proving a theorem of Emerton, that these spaces are often isomorphic.

We study the spectrum of the Laplacian on finite-area hyperbolic surfaces of large volume, focusing on small eigenvalues i.e. those below 1/4. I will discuss some recent results and open problems in this area. Based on joint works with Michael Magee and with Joe Thomas.
 

We provide sharp bounds in the supremum- and Hölder norm for parameter-dependent stochastic integrals. As an application we obtain novel long-term bounds for stochastic partial differential equations as well as novel bounds on the space-time modulus of continuity of the stochastic heat equation. This concerns joint work with Joris van Winden (TU Delft).

The fundamental group of a complex variety is finitely presented. The talk will survey algebraic variants (in fact, distant corollaries) of this fact, in the context of variants of the etale fundamental group. We will then zoom in on "tame" etale fundamental groups of p-adic analytic spaces. Our main result is that it is (topologically) finitely generated (for a quasi-compact and quasi-separated rigid space over an algebraically closed field).  The proof uses logarithmic geometry beyond its usual scope of finitely generated monoids to (eventually) reduce the problem to the more classical one of finite generation of tame fundamental groups of algebraic varieties over the residue field. This is joint work with Katharina Hübner, Marcin Lara, and Jakob Stix.

Attention-based models, such as Transformer, excel across various tasks but lack a comprehensive theoretical understanding, especially regarding token-wise sparsity and internal linear representations. To address this gap, we introduce the single-location regression task, where only one token in a sequence determines the output, and its position is a latent random variable, retrievable via a linear projection of the input. To solve this task, we propose a dedicated predictor, which turns out to be a simplified version of a non-linear self-attention layer. We study its theoretical properties, by showing its asymptotic Bayes optimality and analyzing its training dynamics. In particular, despite the non-convex nature of the problem, the predictor effectively learns the underlying structure. This work highlights the capacity of attention mechanisms to handle sparse token information and internal linear structures.

This is a joint work with Pierre Marion, Gérard Biau and Raphaël Berthier

Informally, monodromy captures the behavior of objects when one circles around a singularity. In persistent homology, non-trivial monodromy has been observed in the case of biparameter filtrations obtained by sublevel sets of a continuous function [1]. One might consider the fundamental group of an admissible open subspace of all lines defining linear one-parameter reductions of a bi-parameter filtration. Monodromy occurs when this fundamental group acts non-trivially on the persistence space, i.e. the collection of all the persistence diagrams obtained for each linear one-parameter reduction of the bi-parameter filtration. Here, under some tameness assumptions, we formalize the monodromy behavior in algebraic terms, that is in terms of the persistence module associated with a bi-parameter filtration. This allows to translate monodromy in terms of persistence module presentations as bigraded modules. We prove that non-trivial monodromy involves generators within the same summand in the direct sum decomposition of a persistence module. Hence, in particular interval-decomposable persistence modules have necessarily trivial monodromy group.

Despite the stereotype of the lone genius working by themselves, most professional mathematicians collaborate with others. But when you're learning maths as a student, is it OK to work with other people, or is that cheating? How do you build the skills and confidence to collaborate effectively? And where does AI fit into all this? In this session, we'll explore ways in which you can get the most out of collaborations with your fellow students, whilst avoiding inadvertently passing off other people's work as your own.

Hilbert’s fourteenth problem is concerned with whether invariant rings under algebraic group actions are finitely generated. A number of examples have been constructed since the mid-20th century which demonstrate that this is not always the case. However such examples by their nature are difficult to construct, and we know little about their underlying structure. This talk aims to provide an introduction to the topic of Hilbert’s fourteenth problem, as well as the finite generation ideal - a key tool used to further understand these counterexamples. We focus particularly on the example constructed by Daigle and Freudenberg at the turn of the 21st century, and describe the work undertaken to compute the finite generation ideal of this example. 

I will explain about how tubings of rooted trees can solve Dyson-Schwinger equations, and then summarize the two newer results in this direction, how to incorporate distinct insertion places and how when the Mellin transform is a reciprocal of a polynomial with rational roots, then one can use combinatorial techniques to obtain a system of differential equations that is perfectly suited to resurgent analysis.

Based on arXiv:2408.15883 (with Michael Borinsky and Gerald Dunne) and arXiv:2501.12350 (with Nick Olson-Harris).

The epithelial to mesenchymal transition (EMT) is a key cellular process underlying cancer progression, with multiple intermediate states whose molecular hallmarks remain poorly characterized. In this talk, I will describe AI-powered and ecology-inspired methods recently developed by us to provide a multi-scale view of the epithelial-mesenchymal plasticity in cancer from single cell and spatial transcriptomics data. First, we employed a large language model similar to the one underlying chatGPT but tailored for biological data (inspired by scBERT methodology), to predict individual stable states within the EMT continuum in single cell data and dissect the regulatory processes governing these states. Secondly, we leveraged spatial transcriptomics of breast cancer tissue to delineate the spatial relationships between cancer cells occupying distinct states within the EMT continuum and various hallmarks of the tumour microenvironment. We introduce a new tool, SpottedPy, that identifies tumour hotspots within spatial transcriptomics slides displaying enrichment in processes of interest, including EMT, and explores the distance between these hotspots and immune/stromal-rich regions within the broader environment at flexible scales. We use this method to delineate an immune evasive quasi-mesenchymal niche that could be targeted for therapeutic benefit. Our insights may inform strategies to counter immune evasion enabled by EMT and offer an expanded view of the coupling between EMT and microenvironmental plasticity in breast cancer.

We develop a new construction of complete non-compact 8-manifolds with holonomy equal to $\Spin(7)$. As a consequence of the holonomy reduction, these manifolds are Ricci-flat. These metrics are built on the total spaces of principal $T^2$-bundles over asymptotically conical Calabi Yau manifolds. The resulting metrics have a new geometry at infinity that we call asymptotically $T^2$-fibred conical ($AT^2C$) and which generalizes to higher dimensions the ALG metrics of 4-dimensional hyperkähler geometry. We use the construction to produce infinite diffeomorphism types of $AT^2C$ $\Spin(7)$-manifolds and to produce the first known example of complete toric $\Spin(7)$-manifold.

A major open problem in the model theory of valued fields is to gain an understanding of the first-order theory of the power series field F((t)), where F denotes a finite field. For sufficiently "nice" henselian valued fields, the Ax-Kochen/Ershov philosophy allows to reduce questions of elementary equivalence and elementary embeddings to the analogous questions about the value group and residue field (or related structures). In my talk, I will present a new such principle which applies in particular to a large class of algebraic extensions of F((t)), albeit not to F((t)) itself. The talk is based on joint work with Konstantinos Kartas and Jonas van der Schaaf.