L3

Bardakov and Tolstykh have recently shown that Richard Thompson's group

$F$ interprets the Arithmetic $(\mathbb Z,+,\times)$ with parameters. We

consider a class of infinite groups of piecewise affine permutations of

an interval which contains all the three groups of Thompson and some

classical families of finitely presented infinite simple groups. We have

interpreted the Arithmetic in all the groups of this class. In particular

we have obtained that the elementary theories of all these groups are

undecidable. Additionally, we have interpreted the Arithmetic in $F$ and

some of its generalizations without parameters.

This is a joint work with Tuna Altınel.

This is joint work with Assaf Hasson. We consider non-locally modular strongly minimal reducts of o-minimal expansions of reals. Under additional assumptions we show they have a Zariski structure.

We shall present work in progress in collaboration with E. Hrushovski on the geometry of spaces of stably dominated types in connection with non archimedean geometry \`a la Berkovich

There is a well-behaving class of dense ordered abelian groups called "regularly dense ordered abelian groups". This first order property of ordered abelian groups is introduced by Robinson and Zakon as a generalization of being an archimedean ordered group. Every dense subgroup of the additive group of reals is regularly dense. In this talk we consider subgroups of the multiplicative group, S, of all complex numbers of modulus 1. Such groups are not ordered, however they have an "orientation" on them: this is a certain ternary relation on them that is invariant under multiplication. We have a natural correspondence between oriented abelian groups, on one side, and ordered abelian groups satisfying a cofinality condition with respect to a distinguished positive element 1, on the other side. This correspondence preserves model-theoretic relations like elementary equivalence. Then we shall introduce a first-order notion of "regularly dense" oriented abelian group; all infinite subgroups of S are regularly dense in their induced orientation. Finally we shall consider the model theoretic structure (R,Gamma), where R is the field of real numbers, and Gamma is dense subgroup of S satisfying the Mann property, interpreted as a subset of R^2. We shall determine the elementary theory of this structure.

One knows, for example by proving well-posedness for an initial value problem with data at the singularity, that there exist many cosmological solutions of the Einstein equations with an initial curvature singularity but for which the conformal metric can be extended through the singularity. Here we consider a converse, a local extension problem for the conformal structure: given an incomplete causal curve terminating at a curvature singularity, when can one extend the conformal structure to a set containing a neighbourhood of a final segment of the curve?

We obtain necessary and sufficient conditions based on boundedness of tractor curvature components. (Based on work with Christian Luebbe: arXiv:0710.5552, arXiv:0710.5723.)

The complement of a knot or link is a 3-manifold which admits a geometric

structure. However, given a diagram of a knot or link, it seems to be a

difficult problem to determine geometric information about the link

complement. The volume is one piece of geometric information. For large

classes of knots and links with complement admitting a hyperbolic

structure, we show the volume of the link complement is bounded by the

number of twist regions of a diagram. We prove this result for a large

collection of knots and links using a theorem that estimates the change in

volume under Dehn filling. This is joint work with Effie Kalfagianni and

David Futer