Virtual

Just as differential equations often boundary conditions of various types, so too do quantum field theories often admit boundary theories. I will explain these notions and then discuss a theorem proved with Constantin Teleman, essentially characterizing certain 3-dimensional topological field theories which admit nonzero boundary theories. One application is to gapped systems in condensed matter physics.

Femoral neck response to physiological loading during level walking can be better understood, if personalized muscle and bone anatomy is considered. Finite element (FE) models of in vivo cadaveric bones combined with gait data from body-matched volunteers were used in the earlier studies, which could introduce errors in the results. The aim of the current study is to report the first fully personalized multiscale model to investigate the strains predicted at the femoral neck during a full gait cycle. CT-based Finite element models (CT/FE) of the right femur were developed following a validated framework. Muscle forces estimated by the musculoskeletal model were applied to the CT/FE model. For most of the cases, two overall peaks were predicted around 15% and 50% of the gait. Maximum strains were predicted at the superior neck region in the model. Anatomical muscle variations seem to affect femur response leading to considerable variations among individuals, both in term of the strains level and the trend at the femoral neck.
 

Pattern formation emerges during development from the interplay between gene regulatory networks (GRNs) acting at the single cell level and cell movements driving tissue level morphogenetic changes. As a result, the timing of cell specification and the dynamics of morphogenesis must be tightly cross-regulated. In the developing zebrafish, mesoderm progenitors will spend varying amounts of time (from 5 to 10hrs) in the tailbud before entering the pre-somitic mesoderm (PSM) and initiating a stereotypical transcriptional trajectory towards a mesodermal fate. In contrast, when dissociated and placed in vitro, these progenitors differentiate synchronously in around 5 hours. We have used a data-driven mathematical modelling approach to reverse-engineer a GRN that is able to tune the timing of mesodermal differentiation as progenitors leave the tailbud’s signalling environment, which also explains our in vitro observations. This GRN recapitulates pattern formation at the tissue level when modelled on cell tracks obtained from live-imaging a developing PSM. Our “live-modelling” framework also allows us to simulate how perturbations to the GRN affect the emergence of pattern in zebrafish mutants. We are now extending this analysis to cichlid fishes in order to explore the regulation of developmental time in evolution.

There is a need for a new kind of maths course, to be taught, not to mathematics students, but to biologists with little or no maths background. There have been many recent calls for an upgrade to the mathematical background of biologists: undergraduate biology students need to understand the role of modeling and dynamics in understanding ecological systems, evolutionary dynamics, neuroscience, physiology, epidemiology, and the modeling that underlies the concept of climate change. They also need to understand the importance of feedback, both positive and negative, in creating dynamical systems in biology.

 Such a course is possible. The most important foundational development was the 20^th century replacement of the vague and unhelpful concept of a differential equation by the rigorous geometric concept of a vector field, a function from a multidimensional state space to its tangent space, assigning “change vectors” to every point in state space. This twentieth-century concept is not just more rigorous, but in fact makes for superior pedagogy. We also discuss the key nonlinear behaviors that biological systems display, such as switch-like behavior, robust oscillations and even chaotic behavior.

 This talk will outline such a course. It would have a significant effect on the conduct of biological research and teaching, and bring the usefulness of mathematical modeling to a wide audience.

Calibrated geometry, more specifically Calabi-Yau geometry, occupies a modern, rather sophisticated, cross-roads between Riemannian, symplectic and complex geometry. We will show how, stripping this theory down to its fundamental holomorphic backbone and applying ideas from classical complex analysis, one can generate a family of purely holomorphic invariants on any complex manifold. We will then show how to compute them, and describe various situations in which these invariants encode, in an intrinsic fashion, properties not only of the given manifold but also of moduli spaces.

Interest in these topics, if initially lacking, will arise spontaneously during this informal presentation.

For a bundle E over a manifold M, the associated "configuration-section spaces" are spaces of configurations of points in M together with a section of E over the complement of the configuration. One often considers subspaces where the behaviour of the section near a configuration point -- a kind of "monodromy" -- is restricted or prescribed. These are examples of "non-local configuration spaces", and may be interpreted physically as moduli spaces of "fields with prescribed singularities" in an ambient manifold.

An important class of examples is given by Hurwitz spaces, which are moduli spaces of branched G-coverings of the 2-disc, and which are homotopy equivalent to certain configuration-section spaces on the 2-disc. Ellenberg, Venkatesh and Westerland proved that, under certain conditions, Hurwitz spaces are (rationally) homologically stable; from this they then deduced an asymptotic version of the Cohen-Lenstra conjecture for function fields, a purely number-theoretical result.

We will discuss another homological stability result for configuration-section spaces, which holds (with integral coefficients) whenever the base manifold M is connected and open. We will also show that the "stabilisation maps" are split-injective (in all degrees) whenever dim(M) is at least 3 and M is either simply-connected or its handle dimension is at most dim(M) - 2.

This represents joint work with Ulrike Tillmann.