C5

 The $n$-stranded pure surface braid group of a genus g surface can be described as the subgroup of the pure mapping class group of a surface of genus $g$ with $n$-punctures which becomes trivial on the closed surface. I am interested in the least dilatation of pseudo-Anosov pure surface braids. For the $n=1$ case, upper and lower bounds on the least dilatation were proved by Dowdall and Aougab—Taylor, respectively.  In this talk, I will describe the upper and lower bounds I have proved as a function of $g$ and $n$.

It is a classical theorem of Magnus that the word problem for one-relator groups is solvable; its precise complexity remains unknown. A geometric characterization of the complexity is given by the Dehn function. I will present joint work with Daniel Woodhouse showing that one-relator groups have a rich collection of Dehn functions, including the Brady--Bridson snowflake groups on which our work relies.
 

Given an endomorphism f:X --> X of a 'dualisable' object in a symmetric monoidal category, one can define its trace Tr(f). It turns out that the trace is 'universal' among the scalars we can produce from f. To prove this we will think of the 1d framed bordism category as the 'walking dualisable object' (using the cobordism hypothesis) and then apply the Yoneda lemma.
Employing similar techniques we can define 'hermitian' objects (generalising hermitian vector spaces) and prove that there is a 1-1 correspondence between Hermitian structures on a fixed object X and self-adjoint automorphisms of X. If time permits I will sketch how this relates to hermitian K-theory.

While all results of the talk hold for infinity-categories, they work equally well for ordinary categories. Therefore no knowledge of higher category theory is needed to follow the talk.

Collective neural crest (NC) cell migration determines the formation of peripheral tissues during vertebrate development. If NC cells fail to reach a target or populate an incorrect location, improper cell differentiation or uncontrolled cell proliferation can occur. Therefore, knowledge of embryonic cell migration is important for understanding birth defects and tumour formation. However, the response of NC cells to different stimuli, and their ability to migrate to distant targets, are still poorly understood. Recently, experimental and computational studies have provided evidence that there are at least two subpopulations of NC cells, namely “leading” and “trailing” cells, with potential further differentiation between the cells in these subpopulations [1,2]. The main difference between these two cell types is the mechanism driving motility and invasion: the leaders follow the gradient of a chemoattractant, while the trailing cells follow “gradients” of the leaders. The precise mechanisms underlying these leader-follower interactions are still unclear.

We develop and apply innovative multi-scale modelling frameworks to analyse signalling effects on NC cell dynamics. We consider different potential scenarios and investigate them using an individual-based model for the cell motility and reaction-diffusion model to describe chemoattractant dynamics. More specifically, we use a discrete self-propelled particle model [3] to capture the interactions between the cells and incorporate volume exclusion. Streaming migration is represented using an off-lattice model to generate realistic cell arrangements and incorporate nonlinear behaviour of the system, for example the coattraction between cells at various distances. The simulations are performed using Aboria, which is a C++ library for the implementation of particle-based numerical methods [4]. The source of chemoattractant, the characteristics of domain growth, and types of boundary conditions are some other important factors that affect migration. We present results on how robust/sensitive cells invasion is to these key biological processes and suggest further avenues of experimental research.

[1] R. McLennan, L. Dyson, K. W. Prather, J. A. Morrison, R.E. Baker, P. K. Maini and P. M. Kulesa. (2012). Multiscale mechanisms of cell migration during development: theory and experiment, Development, 139, 2935-2944.

[2] R. McLennan, L. J. Schumacher, J. A. Morrison, J. M. Teddy, D. A. Ridenour, A. C. Box, C. L. Semerad, H. Li, W. McDowell, D. Kay, P. K. Maini, R. E. Baker and P. M. Kulesa. (2015). Neural crest migration is driven by a few trailblazer cells with a unique molecular signature narrowly confined to the invasive front, Development, 142, 2014-2025.

[3] G. Grégoire, H. Chaté and Y Tu. (2003). Moving and staying together without a leader, Physica D: Nonlinear Phenomena, 181, 157-170.

[4] M. Robinson and M. Bruna. (2017). Particle-based and meshless methods with Aboria, SoftwareX, 6, 172-178. Online documentation https://github.com/martinjrobins/Aboria.

This talk will be a general introduction to perverse sheaves and their applications to the study of algebraic varieties, with a view towards enumerative geometry. It is aimed at non-experts.

We will start by considering constructible sheaves and local systems, and how they relate to the notion of stratification: this offers some insight in the relationship with intersection cohomology, which perverse sheaves generalise in a precise sense.

We will then introduce some technical notions, like t-structures, perversities, and intermediate extensions, in order to define perverse sheaves and explore their properties.

Time permitting, we will consider the relevant example of nearby and vanishing cycle functors associated with a critical locus, their relationship with the (hyper)-cohomology of the Milnor fibre and how this is exploited to define refined enumerative invariants in Donaldson-Thomas theory.

The Witten-Reshetikhin-Turaev invariant Z(X,K) of a closed oriented three-manifold X containing a knot K, was originally introduced by Witten in order to extend the Jones polynomial of knots  in terms of Chern-Simons theory. Classically, the Jones polynomial is defined for a knot inside the three-sphere in  a combinatorial manner. In Witten's approach, the Jones polynomial J(K) emerge as the expectation value of a certain observable in Chern-Simons theory, which makes sense when K is embedded in any closed oriented three-manifold X. Moreover; he proposed that these invariants should be extendable to so-called topological quantum field theories (TQFT's). There is a catch; Witten's ideas relied on Feynman path integrals, which made them unrigorous from a mathematical point of view. However; TQFT's extending the Jones polynomial were subsequently constructed mathematically through combinatorial means by Reshetikhin and Turaev. In this talk, I shall expand slightly on the historical motivation of WRT invariants, introduce the formalism of TQFT's, and present some of the open problems concerning WRT invariants. The guiding motif will be the analogy between TQFT and quantum field theory.

Cube Complexes with Coupled Links (CLCC) are a special family of non-positively curved cube complexes that are constructed by specifying what the links of their vertices should be. In this talk I will introduce the construction of CLCCs and try to motivate it by explaining how one can use information about the local geometry of a cube complex to deduce global properties of its fundamental group (e.g. hyperbolicity and cohomological dimension). On the way, I will also explain what fly maps are and how to use them to deduce that a CAT(0) cube complex is hyperbolic.

Equivariant cohomology is adapted from ordinary cohomology to better capture the action of a group on a topological space. In Floer theory, given an autonomous Hamiltonian, there is a natural action of the circle on 1-periodic flowlines given by time translation. Combining these two ideas leads to the definition of  $S^1$-equivariant symplectic cohomology. In this talk, I will introduce these ideas and explain how they are related. I will not assume prior knowledge of Floer theory.

Symplectic cohomology is a Floer cohomology invariant of compact symplectic manifolds 
with contact type boundary, or of open symplectic manifolds with a certain geometry 
at the infinity. It is a graded unital K-algebra related to quantum cohomology, 
and for cotangent bundle, it recovers the homology of a loop space. During the talk 
I will define symplectic cohomology and show some of the results on its (non) vanishing. 
Time permitting, I will also mention natural TQFT algebraic structure on it.