Fri, 03 Mar 2017
14:30
C5

Ultraproducts and Spec (^Z)

Paola D'Aquino
(Naples)
Abstract

We give a description of the spectra of $\hat{\mathbb Z}$ and of the
finite adeles using  ultraproducts. In describing the prime ideals and the
localizations, ultrapowers of the group $\mathbb Z$ and ultraproducts of
rings of $p$-adic integers are used.

Thu, 09 Feb 2017

16:00 - 17:00
C5

Finiteness properties of subgroups of hyperbolic groups

Giles Gardam
((Oxford University))
Abstract

Hyperbolic groups were introduced by Gromov and generalize the fundamental groups of closed hyperbolic manifolds. Since a closed hyperbolic manifold is aspherical, it is a classifying space for its fundamental group, and a hyperbolic group will also admit a compact classifying space in the torsion-free case. After an introduction to this and other topological finiteness properties of hyperbolic groups and their subgroups, we will meet a construction of R. Kropholler, building on work of Brady and Lodha. The construction gives an infinite family of hyperbolic groups with finitely-presented subgroups which are non-hyperbolic by virtue of their finiteness properties. We conclude with progress towards determining minimal examples of the "sizeable" graphs which are needed as input to the construction.

Thu, 26 Jan 2017

16:00 - 17:00
C5

The Loop Theorem of Papakyriakopoulos

Gareth Wilkes
((Oxford University))
Abstract

The study of 3-manifolds is founded on the strong connection between algebra and topology in dimension three. In particular, the sine qua non of much of the theory is the Loop Theorem, stating that for any embedding of a surface into a 3-manifold, a failure to be injective on the fundamental group is realised by some genuine embedding of a disc. I will discuss this theorem and give a proof of it.

Thu, 19 Jan 2017
11:00
C5

Towards a Ladder Theorem for Specialisations

Ugur Efem
Abstract


In this talk I will present some answers to the question when every specialisation from a \kappa-saturated extension of 
a Zariski structure is \kappa-universal? I will show that for algebraically closed fields, all specialisations from a \kappa-
saturated extension is \kappa-universal. More importantly, I will consider this question for finite and infinite covers of
Zariski structures. In these cases I will present a counterexample to show that there are covers of Zariski structures 
which have specialisations from a \kappa-saturated extension that are not \kappa-universal. I will present some natural 
conditions on the fibres under which all specialisations from a \kappa-saturated extension of a cover is \kappa-universal. 
I will explain how this work points towards a prospective Ladder Theorem for Specialisations and explain difficulties and 
further works that needs to be considered.
 

Tue, 24 Jan 2017

12:30 - 13:00
C5

Modelling congestion in supermarkets via queuing networks

Fabian Ying
(University of Oxford)
Abstract

In this talk, I will talk about my current approach to model customer movements and in particular congestion inside supermarkets using queuing networks. As the research question for my project is ‘How should one design supermarkets to minimize congestion?’, I will then talk about my current progress in understanding how the network structure can affect this dynamics.

Thu, 09 Feb 2017
11:00
C5

The topological closure of algebraic and o-minimal flows in compact tori

Kobi Peterzil
(Haifa)
Abstract

(joint work with Sergei Starchenko)

Let p:C^n ->A be the covering map of a complex abelian variety and let X be an algebraic variety of C^n, or more generally a definable set in an o-minimal expansion of the real field. Ullmo and Yafaev investigated the topological closure of p(X) in A in the above two  settings and conjectured that the frontier of p(X) can be described, when X is algebraic as finitely many cosets of real sub tori of A, They proved the conjecture when dim X=1. They make a similar conjecture for X definable in an o-minimal structure.

In recent work we show that the above conjecture fails as stated, and prove a modified version,  describing the frontier of p(X) as finitely many families of cosets of subtori. We prove a similar result when X is a definable set in an o-minimal structure and p:R^n-> T is the covering map of a real torus.  The proofs use model theory of o-minimal structures as well as algebraically closed valued fields.

Subscribe to C5