Thu, 30 Oct 2008

17:00 - 18:00
L3

Defining Z in Q

Jochen Koenigsmann
(Oxford)
Abstract

I will present a universal definition of the integers in the field of rational numbers, building on work discussed by Bjorn Poonen in his seminar last term. I will also give, via model theory, a geometric criterion for the non-diophantineness of Z in Q.

Mon, 20 Oct 2008
16:45
L3

"Simple platonic polygonal complexes."

Ian Leary
(Ohio State; visitin Bristol)
Abstract

We classify 2-dimensional polygonal complexes that are simply connected, platonic (in the sense that they admit a flag-transitive group of symmetries) and simple (in the sense that each vertex link is a complete graph).  These are a natural generalization of the 2-skeleta of simple polytopes.

Our classification is complete except for some existence questions for complexes made from squares and pentagons.

(Joint with Tadeusz Januszkiewicz, Raciel Valle and Roger Vogeler.)

Mon, 20 Oct 2008
15:30
L3

"Lattices acting on Platonic polygonal complexes and Fuchsian buildings"

Anne Thomas
(Cornell)
Abstract

A polygonal complex $X$ is Platonic if its automorphism group $G$ acts transitively on the flags (vertex, edge, face) in $X$. Compact examples include the boundaries of Platonic solids.  Noncompact examples $X$ with nonpositive curvature (in an appropriate sense) and three polygons meeting at each edge were classified by \'Swi\c{a}tkowski, who also determined when the group $G=Aut(X)$, equipped with the compact-open topology, is nondiscrete.  For example, there is a unique $X$ with the link of each vertex the Petersen graph, and in this case $G$ is nondiscrete.  A Fuchsian building is a two-dimensional also determined when the group $G=Aut(X)$, equipped with the compact-open topology, is nondiscrete.  For example, there is a unique $X$ with the link of each vertex the Petersen graph, and in this case $G$ is nondiscrete.  A Fuchsian building is a two-dimensional hyperbolic building.  We study lattices in automorphism groups of Platonic complexes and Fuchsian buildings.  Using similar methods for both cases, we construct uniform and nonuniform lattices in $G=Aut(X)$.  We also show that for some $X$ the set of covolumes of lattices in $G$ is nondiscrete, and that $G$ admits lattices which are not finitely generated.  In fact our results apply to the larger class of Davis complexes, which includes examples in dimension > 2.

Tue, 28 Oct 2008

14:30 - 15:30
L3

Distance labeling on graphs

Andy Twigg
(Oxford)
Abstract
Given a graph G, we are asked to preprocess G and compute labels L(u) for vertices such that given L(x) and L(y) we can efficiently answer d_G(x,y). I will describe some results in this area and some open problems.
Tue, 14 Oct 2008
16:00
L3

Subgraphs of Oriented Graphs

Simon Griffiths
(Cambridge)
Abstract

How can one guarantee the presence of an oriented four-cycle in an oriented graph G? We shall see, that one way in which this can be done, is to demand that G contains no large `biased. subgraphs; where a `biased. subgraph simply means a subgraph whose orientation exhibits a strong bias in one direction.

Furthermore, we discuss the concept of biased subgraphs from another standpoint, asking: how can an oriented graph best avoid containing large biased subgraphs? Do random oriented graphs give the best examples? The talk is partially based on joint work with Omid Amini and Florian Huc.

Subscribe to L3