L6

In this talk we will discuss when one right-angled Artin group is a subgroup of another one and explain how this basic algebraic problem may provide answers to questions in geometric group theory and model theory such as classification of right-angled Artin groups up to quasi-isometries and universal equivalence.

This is joint work with Angus Macintyre.

We prove that the first-order theory of a finite extension of the field of p-adic numbers is model-complete in the language of rings, for any prime p.

To prove this we prove universal definability of the valuation rings of such fields using work of Cluckers-Derakhshan-Leenknegt-Macintyre on existential

definability, quantifier elimination of Basarab-Kuhlmann for valued fields in a many-sorted language involving higher residue rings and groups,

a model completeness theorem for certain pre-ordered abelian groups which generalize Presburger arithmetic (we call finite-by-Presburger groups),

and an interpretation of higher residue rings of such fields in the higher residue groups.

Finite sharply 2-transitive groups were classified by Zassenhaus in the 1930's. It has been an open question whether infinite sharply 2-transitive group always contain a regular normal subgroup. In joint work with Rips and Segev we show that this is not the case.

I will give a short introduction to geometric stability theory and independence relations, focussing on the tree properties. I will then introduce one of the main examples for general measureable structures, the two sorted structure of a vector space over a field with a bilinear form. I will state some results for this structure, and give some open questions. This is joint work with William Anscombe.

Cardinal characteristics of the continuum are (definitions for) cardinals that are provably uncountable and at most the cardinality c of the reals, but which (if the continuum hypothesis fails) may be strictly less than c.  Cichon's diagram is a standard diagram laying out all of the ZFC-provable inequalities between the most familiar cardinal characteristics of the continuum.  There is a natural analogy that can be drawn between these cardinal characteristics and highness properties of Turing oracles in computability theory, with implications taking the place of inequalities.  The diagram in this context is mostly the same with a few extra equivalences: many of the implications were trivial or already known, but there remained gaps, which in joint work with Brendle, Ng and Nies we have filled in.

This is a report on joint work (still in progress) with Ellen Eischen, Jian-Shu Li,
and Chris Skinner.  I will describe the general structure of our construction of p-adic L-functions
attached to families of ordinary holomorphic modular forms on Shimura varieties attached to
unitary groups.  The complex L-function is studied by means of the doubling method;
its p-adic interpolation applies adelic representation theory to Ellen Eischen's Eisenstein 
measure.

We know since almost a century that a ball can be decomposed into five pieces and these pieces rearranged so as to produce two balls of the same size as the original. This apparent paradox has led von Neumann to the notion of amenability which is now much studied in many areas of mathematics. However, the initial paradox has remained tied down to an elementary property of free groups of rotations for most of the 20th century. I will describe recent progress leading to new paradoxical groups.

Erdos, Faudree, Gould, Gyarfas, Rousseau and Schelp, conjectured that
whenever the edges of a complete graph are coloured using three colours
there always exists a set of at most three vertices which have at least
two-thirds of their neighbours in one of the colours.  We will describe a
proof of this conjecture. This is joint work with Rahil Baber

In this talk I will discuss a deformation principle for cohomology with coefficients in representations on Banach spaces. The

main idea is that small, metric perturbations of representations do not change the vanishing of cohomology in degree n, provided that

we have additional information about the cohomology in degree n+1. The perturbations considered here happen only on the generators of a

group and even for isometric representations give rise to unbounded representations. Applications include fixed point properties for

affine actions and strengthening of Kazhdan’s property (T). This is joint work with Uri Bader.