L3

We review the relation between the geometry of Kleinian singularities and Dynkin diagrams of types ADE, recalling in particular the construction of a braid group action of type A, D, or E on the derived category of coherent sheaves on the minimal resolution of a Kleinian singularity. By work of Seidel-Thomas, this action was known to be faithful in type A. We extend this faithfulness result to types ADE, which provides the missing ingredient for completing Bridgeland's description of spaces of stability conditions for certain triangulated categories associated to Kleinian singularities. Our main tool is the Garside normal form for braid group elements. This project is joint work with Hugh Thomas from the University of New Brunswick.

Zilber constructed an exponential field B, which is conjecturally isomorphic to the complex exponential field. He did so by giving axioms in an infinitary logic, and showing there is exactly one model of those axioms. Following a suggestion of Zilber, I will give a different list of axioms satisfied by B which, under a number-theoretic conjecture known as CIT, describe its complete first-order theory

I will consider the physical background, and general thinking behind, the recent programme aimed at applying topos theory to the foundations of physics.

Words are building blocks of sentences, yet the meaning of a sentence goes well beyond meanings of its words. Formalizing the process of meaning assignment is proven a challenge for computational and mathematical linguistics; with the two most successful approaches each missing on a key aspect: the 'algebraic' one misses on the meanings of words, the vector space one on the grammar.

I will present a theoretical setting where we can have both! This is based on recent advances in ordered structures by Lambek, referred to as pregroups and the categorical/diagrammatic approach used to model vector spaces by Abramsky and Coecke. Surprisingly. both of these structures form a compact category! If time permits, I will also work through a concrete example, where for the first time in the field we are able to compute and compare meanings of sentences compositionally. This is collaborative work with E. Greffenstete, C. Clark, B. Coecke, S. Pulman.

The central axis of the famous DNA double helix can become knotted
or linked as a result of numerous biochemical processes, most notably
site-specific recombination. Site-specific recombinases are naturally
occurring enzymes that cleave and reseal DNA molecules in very precise ways.
As a by product of their main purpose, they manipulate cellular DNA in
topologically interesting and non-trivial ways. So if the axis of the DNA
double helix is circular, these cut-and-seal mechanisms can be tracked by
corresponding changes in the knot type of the DNA axis.  In this talk, I'll
explain several topological strategies to investigate these biological
situations. As a concrete example, I will disscuss my recent work, which
predics what types of DNA knots and links can arise from site-specific
recombination on DNA twist knots.

It is known that the expansion of the real field by some quasianalytic algebras of functions are o-minimal and polynomially bounded. We prove that, for these structures, the preparation theorem for definable functions proved by L. van den Dries and P. Speissegger has an explicit form, from which it is easy to deduce a quantifier elimination result.