Past Logic Seminar

We are interested in measure theory and integration theory that ¯ts into the
o-minimal context. Therefore we introduce the following de¯nition:
Given an o-minimal structure M on the ¯eld of reals and a measure ¹ de¯ned on the
Borel sets of some Rn, we call ¹ M-tame if there is an o-minimal expansion of M such
that for every parameter family of functions on Rn that is de¯nable in M the family of
integrals with respect to ¹ is de¯nable in this o-minimal expansion.
In the ¯rst part of the talk we give the de¯nitions and motivate them by existing and
many new examples. In the second one we discuss the Lebesgue measure in this context.
In the ¯nal part we obtain de¯nable versions of important theorems like the theorem of
Radon-Nikodym and the Riesz representation theorem. These results allow us to describe
tame measures explicitly.
1

Consider the valued field $\mathbb{R}((\Gamma))$ of generalised series, with real coefficients and

monomials in a totally ordered multiplicative group $\Gamma$ . In a series of papers,

we investigated how to endow this formal algebraic object with the analogous

of classical analytic structures, such as exponential and logarithmic maps,

derivation, integration and difference operators. In this talk, we shall discuss

series derivations and series logarithms on $\mathbb{R}((\Gamma))$ (that is, derivations that

commute with infinite sums and satisfy an infinite version of Leibniz rule, and

logarithms that commute with infinite products of monomials), and investigate

compatibility conditions between the logarithm and the derivation, i.e. when

the logarithmic derivative is the derivative of the logarithm.

Vopenka's Principle is a very strong large cardinal axiom which can be used to extend ZFC set theory. It was used quite recently to resolve an important open question in algebraic topology: assuming Vopenka's Principle, localisation functors exist for all generalised cohomology theories. After describing the axiom and sketching this application, I will talk about some recent results showing that Vopenka's Principle is relatively consistent with a wide range of other statements known to be independent of ZFC. The proof is by showing that forcing over a universe satisfying Vopenka's Principle will frequently give an extension universe also satisfying Vopenka's Principle.

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.

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.

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.

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.

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.

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.

tba

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

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.

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.

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.

(IN: LADY MARGARET HALL)

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

( IN: LADY MARGARET HALL)

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

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.

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.

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).

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

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].

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.

After a short introduction to the section conjecture, I plan to present a "minimalistic" form of the birational p-adic section conjecture. The result is related to both: Koenigsmann's proof of the birational p-adic section conjecture, and a "minimalistic" Galois characterisation of formally p-adic valuations.

VC dimension and density are properties of a collection of sets which come from probability theory.  It was observed by Laskowski that there is a close tie between these notions and the model-theoretic property called NIP. This tie results in many examples of collections of sets that have finite VC dimension. In general, it is difficult to find upper bounds for the VC dimension, and known bounds are mostly very large. However, the VC density seems to be more accessible. In this talk, I will explain all of the above acronyms, and present a theorem which gives an upper bound (in some cases optimal) on the VC density of formulae in some examples of NIP theories. This represents joint work of myself with M. Aschenbrenner, A. Dolich, D. Macpherson and S.

Starchenko.

I will speak about the CBP (canonical base property) for types of finite SU-rank. This property first appears in a paper by Pillay and Ziegler, who show that it holds for types of finite rank in differentially closed fields of characteristic 0, as well as in existentially closed difference fields. It is unknown whether this property holds for all finite rank types in supersimple theories. I will first recall the definition of a canonical base, and give some natural examples. I will then  talk about a reduction of the problem (which allows one to extend the Pillay-Ziegler result to existentially closed fields of any characteristic), and finally derive some consequences of the CBP, in particular the UCBP, thus answering a question of Moosa and Pillay.  If time permits, I will show an application of these results to difference

fields.

I will talk about two pieces of work on finite covers:

(i) Work of Hrushovski which, for a stable theory, links splitting of certain finite covers with higher amalgamation properties;

(ii) Joint work of myself and Elisabetta Pastori which uses group cohomology to investigate some non-split finite covers of the set of k-sets from a disintegrated set.

In this talk we discuss the main results of my PhD thesis. We begin by giving some background on Moufang polygons. This is followed by a short introduction of the basic model theoretic notions related to the thesis, such as asymptotic classes of finite structures, measurable structures, (superstable) supersimple theories and (finite Morley rank) S_1 rank. We also mention the relation between Moufang polygons and the associated little projective groups.

Moufang polygons have been classified by Tits and Weiss, and a complete list is given in their book `Moufang polygons'.

This work is inspired by a paper of Kramer, Tent and van Maldeghem called "Simple groups of finite Morley rank and Tits buildings". The authors work in a superstable context. They show that Moufang polygons of finite Morley rank are exactly Pappian polygons, i.e., projective planes, symplectic quadrangles and split Cayley hexagons, provided that they arise over algebraically closed fields.

We work under the weaker assumption of supersimplicity. Therefore, we expect more examples. Indeed, apart from those already occuring in the finite Morley rank case, there are four further examples, up to duality, of supersimple Moufang polygons; namely, Hermitian quadrangles in projective dimension 3 and 4, the twisted triality hexagon and the (perfect) Ree-Tits octagon, provided that the underlying field (or `difference' field in the last case) is supersimple.

As a result, we obtain the nice characterization that supersimple Moufang polygons are exactly those Moufang polygons belonging to families which also arise over finite fields.

Examples of supersimple Moufang polygons are constructed via asymptoticity

arguments: every class C of finite Moufang polygons forms an asymptotic class, and every non-principal ultraproduct of C gives rise to a measurable structure, thus supersimple (of finite S_1 rank). For the remaining cases one can proceed as follows: let \Gamma be any Moufang polygon belonging to a family which does not arise over finite fields, and call K its underlying field; then K is

(first-order) definable in \Gamma, and by applying some model theoretic facts this definability is inconsistent with supersimplicity".

This purpose of this talk will be to introduce the idea that the spectrum of nonstandard models of a ``standard''

algebraic object can be used much like a microscope with which one may perceive and codify irrationality invisible within the standard model.

This will be done by examining the following three themes:

\item {\it Algebraic topology of foliated spaces} We define the fundamental germ, a generalization of fundamental group for foliations, and show that the fundamental germ of a foliation that covers a manifold $M$ is detected (as a substructure) by a nonstandard model of the fundamental group of $M$.

\item {\it Real algebraic number theory.} We introduce the group $(r)$ of diophantine approximations of a real number $r$, a subgroup of a nonstandard model of the integers, and show how $(r)$ gives rise to a notion of principal ideal generated by $r$.

The general linear group $GL(2, \mathbb{Z})$ plays here the role of a Galois group, permuting the real ideals of equivalent real numbers.

\item {\it Modular invariants of a Noncommutative Torus.} We use the fundamental germ of the associated Kronecker foliation as a lattice and define the notion of Eisenstein series, Weierstrass function, Weierstrass equation and j-invariant.

A theorem of Kuyk says that every Abelian extension of a

Hilbertian field is Hilbertian.

We conjecture that for an Abelian variety $A$ defined over

a Hilbertian field $K$

every extension $L$ of $K$ in $K(A_\tor)$ is Hilbertian.

We prove our conjecture when $K$ is a number field.

The proofs applies a result of Serre about $l$-torsion of

Abelian varieties, information about $l$-adic analytic

groups, and Haran's diamond theorem.

Let $\mathbb{E}$ be an elliptic curve defined over a number field $k$,

and let $a\in\mathbb{E}(\mathbb{C})$ be a complex point. Among the

possible choices of sequences of division points of $a$, $(a_n)_n$

such that $a_1 = a$ and $na_{nm} = a_m$, we can pick out those which

converge in the complex topology to the identity. We show that the

algebraic content of this effect of the complex topology is very

small, in the sense that any set of division sequences which shares

certain obvious algebraic properties with the set of those which

converge to the identity is conjugated to it by a field automorphism

of $\mathbb{C}$ over $k$.

As stated, this is a result of algebra and number theory. However, in

proving it we are led ineluctably to use model theoretic techniques -

specifically the concept of "excellence" introduced by Shelah for the

analysis of $L_{\omega_1,\omega}$ categoricity, which reduces the

question to that of proving certain unusual versions of the theorems

of Mordell-Weil and Kummer-Bashmakov. I will discuss this and other

aspects of the proof, without assuming any model- or number-theoretic

knowledge on the part of my audience.