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.

The fundamental results about definable groups in o-minimal structures all suggested a deep connection between these groups and Lie groups. Pillay's conjecture explicitly formulates this connection in analogy to Hilbert's fifth problem for locally compact topological groups, namely, a definably compact group is, after taking a suitable the quotient by a "small" (type definable of bounded index) subgroup, a Lie group of the same dimension. In this talk we will report on the proof of this conjecture in the remaining open case, i.e. in arbitrary o-minimal structures. Most of the talk will be devoted to one of the required tools, the formalism of the six Grothendieck operations of o-minimals sheaves, which might be useful on it own. 

Lagrangian Floer cohomology categorifies the intersection number of (half-dimensional) Lagrangian submanifolds of a symplectic manifold. In this talk I will describe how and when can we define Lagrangian Floer cohomology. In the case when Floer cohomology cannot be defined I will describe an alternative invariant known as the Fukaya (A-infinity) algebra.