Thu, 20 Nov 2008

17:00 - 18:00
L3

Dependent Pairs

Ayhan Gunaydin
(Oxford)
Abstract

I will prove that certain pairs of ordered structures are dependent. There are basically two cases depending on whether the smaller structure is dense or discrete. I will discuss the proofs of two quite general theorems which construe the dividing line between these cases. Among examples are dense pairs of o-minimal structures in the first case, and tame pairs of o-minimal structures in the latter. This is joint work with P. Hieronymi.

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.

Subscribe to L3