Forthcoming events in this series


Thu, 28 Oct 2010
17:00
L3

Two transfer principles for motivic (exponential) integrals.

Raf Cluckers
(Leuven)
Abstract

Motivic exponential integrals are an abstract version of p-adic exponential integrals for big p. The latter in itself is a flexible tool to describe (families of) finite expontial sums. In this talk we will only need the more concrete view of "uniform in p p-adic integrals"

instead of the abstract view on motivic integrals. With F. Loeser, we obtained a first transfer principle for these integrals, which allows one to change the characteristic of the local field when one studies equalities of integrals, which appeared in Ann. of Math (2010). This transfer principle in particular applies to the Fundamental Lemma of the Langlands program (see arxiv). In work in progress with Halupczok and Gordon, we obtain a second transfer principle which allows one to change the characteristic of the local field when one studies integrability conditions of motivic exponential functions. This in particular solves an open problem about the local integrability of Harish-Chandra characters in (large enough) positive characteristic.

Thu, 21 Oct 2010
17:00
L3

'Proof of Gaifman's conjecture for relatively categorical abelian groups'

Wilfrid Hodges
Abstract

In 1974 Haim Gaifman conjectured that if a first-order theory T is relatively categorical over T(P) (the theory of the elements satisfying P), then every model of T(P) expands to one of T.

The conjecture has long been known to be true in some special cases, but nothing general is known. I prove it in the case of abelian groups with distinguished subgroups. This is some way outside the previously known cases, but the proof depends so heavily on the Kaplansky-Mackey proof of Ulm's theorem that the jury is out on its generality.

Thu, 17 Jun 2010
17:00
L3

Higher amalgamation in valued fields

Martin Hills
(Paris)
Abstract

The n-amalgamation property has recently been explored in connection with generalised imaginaries (groupoid imaginaries) by Hrushovski. This property is useful when studying models of a stable theory together with a generic automorphism, e.g.

elimination of imaginaries (e.i.) in ACFA may be seen as a consequence of 4-amalgamation (and e.i.) in ACF.

The talk is centered around 4-amalgamation of stably dominated types in algebraically closed valued fields. I will show that 4-amalgamation holds in equicharacteristic 0, even for systems with 1 vertex non stably dominated. This is proved using a reduction to the stable part, where 4-amalgamation holds by a result of Hrushovski. On the other hand, I will exhibit an NIP (even metastable) theory with 4-amalgamation for stable types but in which stably dominated types may not be 4-amalgamated.

Thu, 10 Jun 2010
17:00
L3

Simplicity of certain automorphism groups

Katrin Tent
(Muenster)
Abstract

Simple groups of Lie type have a purely group theoretic characterization in terms of subgroup configurations. We here show that for certain Fraisse limits, the automorphism group is a simple group.

Thu, 03 Jun 2010
17:00
L3

Topos Quantum Logic

Andreas Doering
(Oxford)
Abstract

Standard quantum logic, as intitiated by Birkhoff and von Neumann, suffers from severe problems which relate quite directly to interpretational issues in the foundations of quantum theory. In this talk, I will present some aspects of the so-called topos approach to quantum theory, as initiated by Isham and Butterfield, which aims at a mathematical reformulation of quantum theory and provides a new, well-behaved form of quantum logic that is based upon the internal logic of a certain (pre)sheaf topos.

Thu, 27 May 2010
17:00
L3

Recursive existentially closed dimension groups

Philip Scowcroft
(Wesleyan/Oxford)
Abstract

One may answer a question of Macintyre by showing that there are recursive existentially closed dimension groups.  One may build such groups having most of the currently known special properties of finitely generic dimension groups, though no finitely generic dimension group is arithmetic.

 

Thu, 27 May 2010
00:00
L3

tba

tba
Abstract

tba

Thu, 20 May 2010
17:00
L3

Semilattices, Domains, and Computability

Dana Scott
(Carnegie Mellon/Oxford)
Abstract

As everyone knows, one popular notion of a (Scott-Ersov) domain is defined as a bounded complete algebraic cpo. These are closely related to algebraic lattices: (i) A domain becomes an algebraic lattice with the adjunction of an (isolated) top element. (ii) Every non-empty Scott-closed subset of an algebraic lattice is a domain. Moreover, the isolated (= compact) elements of an algebraic lattice form a semilattice (under join). This semilattice has a zero element, and, provided the top element is isolated, it also has a unit element. The algebraic lattice itself may be regarded as the ideal completion of the semilattice of isolated elements. This is all well known. What is not so clear is that there is an easy-to-construct domain of countable semilattices giving isomorphic copies of all countably based domains. This approach seems to have advantages over both the so-called "information systems" or more abstract lattice formulations, and it makes definitions of solutions to domain equations very elementary to justify. The "domain of domains" also has a natural computable structure

Thu, 13 May 2010
16:00
L3

Torsion Points on Fibered Powers of an Elliptic Surface

Philip Habegger - (JOINT WITH NUMBER THEORY SEMINAR)
(ETH Zurich)
Abstract

Jointly with Number Theory

Consider a family of abelian varieties whose base is an algebraic variety. The union of all torsion groups over all fibers of the family will be called the set of torsion points of the family. If the base variety is a point then the family is just an abelian variety.

In this case the Manin-Mumford Conjecture, a theorem of Raynaud, implies that a subvariety of the abelian variety contains a Zariski dense set of torsion points if and only if it is itself essentially an abelian subvariety. This talk is on possible extensions to certain families where the base is a curve. Conjectures of André and Pink suggest considering "special points": these are torsion points whose corresponding fibers satisfy an additional arithmetic property. One possible property is for the fiber to have complex multiplication; another is for the fiber to be isogenous to an abelian variety fixed in advance.

We discuss some new results on the distribution of such "special points"

on the subvarieties of certain families of abelian varieties. One important aspect of the proof is the interplay of two height functions.

I will give a brief introduction to the theory of heights in the talk.

Thu, 06 May 2010
17:00
L3

Definability in valued Ore modules

Luc Belair
(Montreal/Paris)
Abstract

We consider valued fields with a distinguished isometry or contractive derivation, as valued modules over the Ore ring of difference operators. This amounts to study linear difference/differential

equations with respect to the distinguished isometry/derivation.

Under certain assumptions on the residue field, but in all characteristics, we obtain quantifier elimination in natural languages, and the absence of the independence property.

We will consider other operators of interest.

Thu, 29 Apr 2010
17:00
L3

Elimination of wild ramification and local uniformization in arbitrary characteristic

Franz-Viktor Kuhlmann
(Saskatoon)
Abstract

Elimination of wild ramification is used in the structure theory of valued function fields, with applications in areas such as local uniformization (i.e., local resolution of singularities) and the model theory of valued fields. I will give a survey on the role that Artin-Schreier extensions play in the elimination of wild ramification, and corresponding main theorems on the structure of valued function fields. I will show what these results tell us about local uniformization. I have shown that local uniformization is always possible after a separable extension of the function field of the algebraic variety (separable "alteration"). This was extended to the arithmetic case in joint work with Hagen Knaf. Recently, Michael Temkin has proved local uniformization by purely inseparable alteration.

Further, I will describe a classification of Artin-Schreier extensions with non-trivial defect. It can be used to improve one of the above mentioned main theorems ("Henselian Rationality"). This could be a key for a purely valuation theoretical proof of Temkin's result. On the other hand, the classification shows that separable alteration and purely inseparable alteration are just two ways to eliminate the critical defects. So the existence of these two seamingly "orthogonal" local uniformization results does not necessarily indicate that local uniformization without alteration is possible.

Fri, 26 Mar 2010
11:45

The Notion of a Stabilizer

Ehud Hrushovski
(Jerusalem)
Abstract

(IN: LADY MARGARET HALL)

As part of the Conference on Geometric Model Theory in honour of Professor Boris Zilber

Fri, 26 Mar 2010
09:00

One Two Three

Bruno Poizat
(Lyon)
Abstract

( IN: LADY MARGARET HALL)

As part of the Conference on Geometric Model Theory in honour of Professor Boris Zilber

Thu, 04 Mar 2010
11:00
SR2

Topos Quantum Logic

Andreas Doering
(Oxford)
Abstract

Standard quantum logic, as intitiated by Birkhoff and von Neumann, suffers from severe problems which relate quite directly to interpretational issues in the foundations of quantum theory. In this talk, I will present some aspects of the so-called topos approach to quantum theory, as initiated by Isham and Butterfield, which aims at a mathematical reformulation of quantum theory and provides a new, well-behaved form of quantum logic that is based upon the internal logic of a certain (pre)sheaf topos.

Thu, 18 Feb 2010
17:00
L3

Compact Apporximations and Topological Complexity of definable Sets

Nicolai Vorobjov
(Bath)
Abstract

We study upper bounds on topological complexity of sets definable in o-minimal structures over the reals. We suggest a new construction for approximating a large class of definable sets, including the sets defined by arbitrary Boolean combinations of equations and inequalities, by compact sets.

Those compact sets bound from above the homotopies and homologies of the approximated sets.

The construction is applicable to images under definable maps.

Based on this construction we refine the previously known upper bounds on Betti numbers of semialgebraic and semi-Pfaffian sets defined by quantifier-free formulae, and prove similar new upper bounds, individual for different Betti numbers, for their images under arbitrary continuous definable maps.

Joint work with A. Gabrielov.

Thu, 11 Feb 2010
17:00
L3

Pseudofinite groups and groups of finite Morley rank

Alexandre Borovik
(Manchester)
Abstract

The talks will discuss relations between two major conjectures in the theory of groups of finite Morley rank, a modern chapter of model theoretic algebra. One conjecture, the famous the Cherlin-Zilber Algebraicity Conjecture formulated in 1970-s states that infinite simple groups of finite Morley rank are isomorphic to simple algebraic groups over algebraically closed fields. The other conjecture, due to Hrushovski and more recent, states that a generic automorphism of a simple group of finite Morley rank has pseudofinite group of fixed points.

Hrushovski showed that the Cherlin-Zilber Conjecture implies his conjecture. Proving Hrushovski's Conjecture and reversing the implication would provide a new efficient approach to proof of Cherlin-Zilber Conjecture.

Meanwhile, the machinery that is already available for the work at pseudofinite/finite Morley rank interface already yields an interesting

result: an alternative proof of the Larsen-Pink Theorem (the latter says, roughly speaking, that "large" finite simple groups of matrices are Chevalley groups over finite fields).

Thu, 04 Feb 2010
17:00
L3

Generic dimension groups

Philip Scowcroft
(Wesleyan/Oxford)
Abstract

I will discuss the special properties of dimension groups obtained by model-theoretic forcing

Thu, 28 Jan 2010
17:00
L3

TBA

Jeroen Demeyer
(Gwent)
Thu, 28 Jan 2010
17:00
L3

Diophantine Sets of Polynomials over Number Fields

Jeroen Demeyer
(Ghent)
Abstract

 

Let R be a number field (or a recursive subring of anumber field) and consider the polynomial ring R[T].

We show that the set of polynomials with integercoefficients is diophantine (existentially definable) over R[T].

Applying a result by Denef, this implies that everyrecursively enumerable subset of R[T]^k is diophantine over R[T].

Thu, 21 Jan 2010
17:00
L3

Counting rational points on certain Pfaffian surfaces.

Gareth Jones
(Manchester)
Abstract

I'll give a brief survey of what is known about the density of rational points on definable sets in o-minimal expansions of the real field, then discuss improving these results in certain cases.