University of Oxford

I will present some basic concepts in Large Cardinal theory. A Large Cardinal axiom is the assertion of the existence of a cardinal so large that it entails the existence of set-sized models of ZFC, something which we know ZFC alone does not do. Large Cardinal axioms are therefore strengthenings of ZFC. We believe them to be consistent with ZFC, but this is a touchy subject. Nevertheless, Large Cardinal axioms have become an essential tool in set theory, providing insight into the fine structure of the set theoretic universe. In my talk, I will focus on inaccessible and measurable cardinals, and, if time permits, I will discuss supercompact cardinals.

My goal for the talk is to give a "from the ground-up" introduction to symplectic topology. We will cover the Darboux lemma, pseudo-holomorphic curves, Gromov-Witten invariants, quantum cohomology and Floer cohomology.

Valérie Voorsluijs
Deterministic limit of intracellular calcium spikes
Abstract: In non-excitable cells, global calcium spikes emerge from the collective dynamics of clusters of calcium channels that are coupled by diffusion. Current modeling approaches have opposed stochastic descriptions of these systems to purely deterministic models, while both paradoxically appear compatible with experimental data. Combining fully stochastic simulations and mean-field analyses, we demonstrate that these two approaches can be reconciled. Our fully stochastic model generates spike sequences that can be seen as noise-perturbed oscillations of deterministic origin while displaying statistical properties in agreement with experimental data. These underlying deterministic oscillations arise from a phenomenological spike nucleation mechanism.

Matthias Nagel
Knots in dimensions three and four
Abstract: Knot theory studies the various embeddings of a circle into three-dimensional space. I will describe an equivalence relation on knots, called "concordance", which takes the fourth dimension into account. The study of concordance is intimately related with many problems at the heart of the topology of four-manifolds, such as the difference between the smooth and the topological category, and I will discuss results that illuminate this relation.

What is the point of giving a talk?  What is the point of going to a talk?  In this presentation, which is intended to have a lot of audience participation, I would like to explore how one should prepare talks for different audiences and different occasions, and what one should try to get out of going to a talk.

After a brief introduction to the theory of transcendental numbers, I will discuss Nesterenko's 1996 celebrated theorem on the algebraic independence of values of Eisenstein series, and some related open problems. This motivates the second part of the talk, in which I will report on a recent geometric generalization of Nesterenko's method.

In 2010 Coecke, Sadrzadeh, and Clark formulated a new model of natural language which operates by combining the syntactics of grammar and the semantics of individual words to produce a unified ''meaning'' of sentences. This they did by using category theory to understand the component parts of language and to amalgamate the components together to form what they called a ''distributional compositional categorical model of meaning''. In this talk I shall introduce the model of Coecke et. al., and use it to compare the meaning of sentences in Irish and in English (and thus ascertain when a sentence is the translation of another sentence) using a cosine similarity score.

The Irish language is a member of the Gaelic family of languages, originating in Ireland and is the official language of the Republic of Ireland.

Suppose that you have a long strip of paper, and draw the central line through it. You then glue it together so as to make a Möbius band. Can the drawn curve be contained in a plane?

We'll answer the question in this talk, as well as introduce the concepts from the Geometry of Surfaces course required to go through it; including Gauss' one and only Theorema Egregium! (we won't prove it though).

The Grothendieck ring of varieties over a field is a simple idea that formalizes various cut-and-paste arguments in algebraic geometry. We will explain how this intuitive construction leads to nontrivial results, such as computing Euler characteristics, counting points of varieties over finite fields, and determining Hodge numbers. As an example, we will investigate cubic hypersurfaces, especially the varieties parametrizing lines on them. If time permits, we will discuss some of the stranger properties of the Grothendieck ring.