L5

State-of-the art experimental data promises exquisite insight into the spatial heterogeneity in tissue samples. However, the high level of detail in such data is contrasted with a lack of methods that allow an analysis that fully exploits the available spatial information. Persistent Homology (PH) has been very successfully applied to many biological datasets, but it is typically limited to the analysis of single species data. In the first part of my talk, I will highlight two novel techniques in relational PH that we develop to encode spatial heterogeneity of multi species data. Our approaches are based on Dowker complexes and Witness complexes. We apply the methods to synthetic images generated by an agent-based model of tumour-immune cell interactions. We demonstrate that relational PH features can extract biological insight, including the dominant immune cell phenotype (an important predictor of patient prognosis) and the parameter regimes of a data-generating model. I will present an extension to our pipeline which combines graph neural networks (GNN) with local relational PH and significantly enhances the performance of the GNN on the synthetic data. In the second part of the talk, I will showcase a noise-robust extension of Reani and Bobrowski’s cycle registration algorithm  (2023) to reconstruct 3D brain atlases of Drosophila flies from a sequence of μ-CT images.

Periodic point clouds naturally arise when modelling large homogenous structures like crystals. They are naturally attributed with a map to a d-dimensional torus given by the quotient of translational symmetries, however there are many surprisingly subtle problems one encounters when studying their (persistent) homology. It turns out that bisheaves are a useful tool to study periodic data sets, as they unify several different approaches to study such spaces. The theory of bisheaves and persistent local systems was recently introduced by MacPherson and Patel as a method to study data with an attributed map to a manifold through the fibres of this map. The theory allows one to study the data locally, while also naturally being able to appeal to local systems of (co)sheaves to study the global behaviour of this data. It is particularly useful, as it permits a persistence theory which generalises the notion of persistent homology. In this talk I will present recent work on the theory and implementation of bisheaves and local systems to study 1-periodic simplicial complexes. Finally, I will outline current work on generalising this theory to study more general periodic systems for d-periodic simplicial complexes for d>1. 

To neural activity one may associate a space of correlations and a space of population vectors. These can provide complementary information. Assume the goal is to infer properties of a covariate space, represented by ochestrated activity of the recorded neurons. Then the correlation space is better suited if multiple neural modules are present, while the population vector space is preferable if neurons have non-convex receptive fields. In this talk I will explain how to coherently combine both pieces of information in a bifiltration using Dowker complexes and their total weights. The construction motivates an interesting extension of Dowker’s duality theorem to simplicial categories associated with two composable relations, I will explain the basic idea behind it’s proof.

The natural occurrence of singular spaces in applications has led to recent investigations on performing topological data analysis (TDA) on singular data sets. However, unlike in the non-singular scenario, the homotopy type (and consequently homology) are rather course invariants of singular spaces, even in low dimension. This suggests the use of finer invariants of singular spaces for TDA, making use of stratified homotopy theory instead of classical homotopy theory.
After an introduction to stratified homotopy theory, I will describe the construction of a persistent stratified homotopy type obtained from a sample with two strata. This construction behaves much like its non-stratified counterpart (the Cech complex) and exhibits many properties (such as stability, and inference results) necessary for an application in TDA.
Since the persistent stratified homotopy type relies on an already stratified point-cloud, I will also discuss the question of stratification learning and present a convergence result which allows one to approximately recover the stratifications of a larger class of two-strata stratified spaces from sufficiently close non-stratified samples. In total, these results combine to a sampling theorem guaranteeing the (approximate) inference of (persistent) stratified homotopy types from non-stratified samples for many examples of stratified spaces arising from geometrical scenarios.

The simplicial volume of a simplicial complex is a topological invariant
related to the growth of the fundamental group, which gives rise to a
semi-norm in homology. In this talk, we introduce the volume entropy
semi-norm, which is also related to the growth of the fundamental group
of simplicial complexes and shares functorial properties with the
simplicial volume. Answering a question of Gromov, we prove that the
volume entropy semi-norm is equivalent to the simplicial volume
semi-norm in every dimension. Joint work with I. Babenko.
 

We will discuss the problem of finding hyperbolic manifolds fibring over the circle; and show a method to construct and analyse maps from particular hyperbolic manifolds to S^1, which relies on Bestvina-Brady Morse theory. 
This technique can be used to build and detect fibrations, algebraic fibrations, and Morse functions with minimal number of critical points, which are interesting in the even dimensional case. 
After an introduction to the problem, and presentation of the main results, we will use the remaining time to focus on some easy 3-dimensional examples, in order to explicitly show the construction at work.
 

I will discuss three different constructions of smooth tori in S^4 whose complements have fundamental group Z: turned 1-twist-spun tori due to Boyle, the union of a ribbon disc with a genus one Seifert surface constructed by Cochran and Davis, and certain tori with four critical points. They are all topologically unknotted, but it is not known whether they are smoothly standard, except for tori with four critical points whose middle level set is a split link. The branched double cover of S^4 along any of these surfaces is a potentially exotic copy of S^2 x S^2, though, in the case of Boyle's example, it cannot be distinguished from the standard S^2 x S^2 using Seiberg-Witten invariants. This is joint work with Mark Powell.

Let $S$ be a set of rational places of odd cardinality containing infinity and a rational prime $p$. We can associate to $S$ a Shimura curve $X$ defined over $\mathbb{Q}$. The Gross--Kohnen--Zagier theorem states that certain generating series of Heegner points of $X$ are modular forms of weight $3/2$ valued in the Jacobian of $X$. We will state this theorem and outline a new approach to proving it using the theory of $p$-adic uniformization and $p$-adic families of modular forms of half-integral weight. This is joint work with Lea Beneish, Henri Darmon, and Lennart Gehrmann.