The Taylor expansion of a controlled differential equation suggests that the solution at time 1 depends on the driving path only through the latter's iterated integrals up to time 1, if the vector field is infinitely differentiable. Hambly and Lyons proved that this remains true for Lipschitz vector fields if the driving path has bounded total variation. We extend the Hambly-Lyons result for weakly geometric rough paths in finite dimension. Joint work with X. Geng, T. Lyons and D. Yang.    

I'll discuss work (part with Savitt, part with Dembele and Roberts) on two related questions: describing local factors at primes over p in mod p automorphic representations, and describing reductions of local crystalline Galois representations with prescribed Hodge-Tate weights.

In this seminar I will discuss a function field analogue of classical problems in analytic number theory, concerning the auto-correlations of divisor functions, in the limit of a large finite field.

The classical conjecture of Serre (proved by Khare-Winterberger) states that a continuous, absolutely irreducible, odd representation of the absolute Galois group of Q on two-dimensional F_p-vector space is modular. We show how one can formulate its analogue in characteristic 0. In particular we discuss the weight part of the conjecture. This is a joint work with John Bergdall.

Rational points on Kummer varieties can be studied through the variation of Selmer groups of quadratic twists of the underlying abelian variety, using an idea of Swinnerton-Dyer. We consider the case when the Galois action on 2-torsion has a large image. Under a mild additional assumption we prove the Hasse principle assuming the finiteness of relevant Shafarevich-Tate groups. This approach is inspired by the work of Mazur and Rubin.

I will outline some recent work with Jonathan Kirby regarding the first stage in the construction of the pseudo j-function. In particular, I will go through the construction of the analogue of the canonical countable pseudo exponential field as the "Fraisse limit" of a category of "partial j-fields". Although I will be talking about the j-function throughout the talk, it is not necessary to know anything about the j-function to get something from the talk. In particular, even if you don't know what the j-function is, you will still hopefully have an understanding of how to construct the countable pseudo-exp by the end of the talk.
 

Note: joint with Philosophy of Physics.

Venue: Lecture Room, Radcliffe Humanities, ROQ.

The aim of this talk is to provide a general setting in which a number of important dualities in mathematics can be framed uniformly.  The setting comes about as a natural generalisation of the Galois connection between ideals of polynomials with coefficients in a field K and affine varieties in K^n.  The general picture that comes into sight is that the topological representations of Stone, Priestley, Baker-Beynon, Gel’fand, or Pontryagin are to their respective classes of structures just as affine varieties are to K-algebras.

Note: joint with Algebra seminar.

String algebras are tame - their finite-dimensional representations have been classified - and the Auslander-Reiten quiver of such an algebra shows some of the morphisms between them.  But not all.  To see the morphisms which pass between components of the Auslander-Reiten quiver, and so obtain a more complete picture of the category of representations, we should look at certain infinite-dimensional representations and use ideas and techniques from the model theory of modules.

This is joint work with Rosie Laking and Gena Puninski:
G. Puninski and M. Prest,  Ringel's conjecture for domestic string algebras, arXiv:1407.7470;
R. Laking, M. Prest and G. Puninski, Krull-Gabriel dimension of domestic string algebras, in preparation.

A G\"odel sentence is often described as a sentence saying about itself that it is not provable, and a Henkin sentence as a sentence stating its own provability. We discuss what it could mean for a sentence to ascribe to itself a property such as provability or unprovability. The starting point will be the answer Kreisel gave to Henkin's problem. We describe how the properties of the supposedly self-referential sentences depend on the chosen coding, the formulae expressing the properties and the way a fixed point for the formula is obtained. Some further examples of self-referential sentences are considered, such as sentences that \anf{say of themselves} that they are $\Sigma^0_n$-true (or $\Pi^0_n$-true), and their formal properties are investigated.