L1

There are many recent points of contact of model theory and other 
parts of mathematics: o-minimality and Diophantine geometry, geometric group 
theory, additive combinatorics, rigid geometry,...  I will probably 
emphasize  long-standing themes around stability, Diophantine geometry, and 
analogies between ODE's and bimeromorphic geometry.

Several recent works by D. Tamarkin, D. Nadler, E. Zaslow make use of the microlocal theory of sheaves of M. Kashiwara and P. Schapira to obtain results in symplectic geometry. The link between sheaves on a manifold $M$ and the symplectic geometry of the cotangent bundle of $M$ is given by the microsupport of a sheaf, which is a conic co-isotropic subset of the cotangent bundle. In the above mentioned works properties of a given Lagrangian submanifold $\Lambda$ are deduced from the existence of a sheaf with microsupport $\Lambda$, which we call a quantization of $\Lambda$.

In the second talk we will introduce a stack on $\Lambda$ by localization of the category of sheaves on $M$. We deduce topological obstructions on $\Lambda$ for the existence of a quantization.

In this talk I will discuss recent developments in information theoretical approaches to fundamental

molecular processes that affect the cellular decision making processes. One of the challenges of applying

concepts from information theory to biological systems is that information is considered independently from

meaning. This means that a noisy signal carries quantifiably more information than a unperturbed signal.

This has, however, led us to consider and develop new approaches that allow us to quantify the level of noise

contributed by any molecular reactions in a reaction network. Surprisingly this analysis reveals an important and hitherto

often overlooked role of degradation reactions on the noisiness of biological systems. Following on from this I will outline

how such ideas can be used in order to understand some aspects of cell-fate decision making, which I will discuss with

reference to the haematopoietic system in health and disease.

The operation of sub-cellular processes in living organisms often require the transfer of biopolymers across impermeable lipid membranes. The emergence of new experimental techniques for manipulation of single molecules at nanometer scales have made possible in vitro experiments that can directly probe such translocation processes in cells as well as in synthetic systems. Some of these ideas have spawned novel bio-technologies with many more likely to emerge in the near future. In this talk I would review some of these experiments and attempt to provide a quantitative understanding of the data in terms of physical laws, primarily mechanics and electrostatics.

I will present an efficient algorithm for computing certain special values of Rankin triple product $p$-adic L-functions and give an application of this to the explicit construction of rational points on elliptic curves.

The $p$-adic Gross-Zagier formula for diagonal cycles and the $p$-adic Beilinson formulae described in the lectures of Rotger and Bertolini respectively suggest a connection between certain  {\em $p$-adic iterated integrals} attached to modular forms and rational points on elliptic curves. I will describe an ongoing project (in collaboration with Alan Lauder and Victor Rotger) whose goal is to explore these relationships numerically, with the goal of better understanding the notion of {\em Stark-Heegner points}. It is hoped that these experiments might suggest new perspectives on Stark-Heegner points based on suitable {\em $p$-adic deformations} of the global objects--diagonal cycles, Beilinson-Kato and Beilinson-Flach elements-- described in the lectures of Rotger, Bertolini, Dasgupta, and Loeffler, following  the influential approach to $p$-adic $L$-functions pioneered by Coates-Wiles, Kato, and Perrin-Riou.

We define an integral version of Sczech cocycle on ${\rm GL}_n(\mathbf{Z})$ by raising the level at a prime $\ell$.As a result, we obtain a new construction of the $p$-adic L-functions of Barsky/Cassou-Nogu\`es/Deligne-Ribet. This cohomological construction further allows for a study of the leading term of these L-functions at $s=0$:\\1) we obtain a new proof that the order of vanishing is at least the oneconjectured by Gross. This was already known as result of Wiles.\\2) we deduce an analog of the modular symbol algorithm for ${\rm GL}_n$ from the cocyclerelation and LLL. It enables for the efficient computation of the special values of these $p$-adic L-functions.\\When combined  with a refinement of the Gross-Stark conjecture, we obtain some examples of numerical construction of $\mathfrak p$-units in class fields of totally real (cubic) fields.This is joint work with Samit Dasgupta.