Logic Seminar
|
Thu, 13/10/2011 17:00 |
Alex Wilkie (Manchester) |
Logic Seminar |
L3 |
|
Thu, 20/10/2011 17:00 |
Deborah Lockett (Leeds) |
Logic Seminar |
L3 |
| After a short introduction to homogeneous relational structures (structures such that all local symmetries are global), I will discuss some different topics relating homogeneity to homomorphisms: a family of notions of 'homomorphism-homogeneity' that generalise homogeneity; generic endomorphisms of homogeneous structures; and constraint satisfaction problems. | |||
|
Thu, 27/10/2011 17:00 |
Anand Pillay (Leeds) |
Logic Seminar |
L3 |
| (Joint with Ronnie Nagloo.) I investigate algebraic relations between sets of solutions (and their derivatives) of the "generic" Painlevé equations I-VI, proving a somewhat weaker version of “there are NO algebraic relations". | |||
|
Thu, 03/11/2011 16:00 |
Jacob Tsimerman (Harvard) |
Logic Seminar Number Theory Seminar |
L3 |
Let be a CM point in the moduli space of principally
polarized complex abelian varieties of genus , corresponding to an
Abelian variety with complex multiplication by a ring . Edixhoven
conjectured that the size of the Galois orbit of x should grow at least
like a power of the discriminant of . For , this reduces to the
classical Brauer-Siegel theorem. A positive answer to this conjecture
would be very useful in proving the André-Oort conjecture unconditionally.
We will present a proof of the conjectured lower bounds in some special
cases, including . Along the way we derive transfer principles for
torsion in class groups of different fields which may be interesting in
their own right. |
|||
|
Thu, 10/11/2011 16:00 |
Andrei Yafaev (UCL) |
Logic Seminar Number Theory Seminar |
L3 |
| This is a joint work with Emmanuel Ullmo. This work is motivated by J.Pila's strategy to prove the Andre-Oort conjecture. One ingredient in the strategy is the following conjecture: Let S be a Shimura variety uniformised by a symmetric space X. Let V be an algebraic subvariety of S. Maximal algebraic subvarieties of the preimage of V in X are precisely the components of the preimages of weakly special subvarieties contained in V. We will explain the proof of this conjecture in the case where S is compact. | |||
|
Thu, 17/11/2011 17:00 |
David Evans (UEA) |
Logic Seminar |
L3 |
| We give an exposition of some results from matroid theory which characterise the finite pregeometries arising from Hrushovski's predimension construction as the strict gammoids: a class of matroids studied in the early 1970's which arise from directed graphs. As a corollary, we observe that a finite pregeometry which satisfies Hrushovski's flatness condition arises from a predimension. We also discuss the isomorphism types of the pregeometries of countable, saturated strongly minimal structures in Hrushovski's 1993 paper and answer some open questions from there. This last part is joint work with Marco Ferreira, and extends results in his UEA PhD thesis. | |||
|
Thu, 24/11/2011 17:00 |
Charlotte Kestner (Oxford) |
Logic Seminar |
L3 |
|
Thu, 01/12/2011 16:00 |
Umberto Zannier (Pisa) |
Logic Seminar Number Theory Seminar |
L3 |
(Joint work with P. Corvaja and D.
Masser.)
The topic of the talk arises from the
Manin-Mumford conjecture and its extensions, where we shall
focus on the case of (complex connected) commutative
algebraic groups of dimension . The `Manin-Mumford'
context in these cases predicts finiteness for the set of
torsion points in an algebraic curve inside , unless the
curve is of `special' type, i.e. a translate of an algebraic
subgroup of .
In the talk we shall consider not merely the set of torsion
points, but its topological closure in (which turns out
to be also the maximal compact subgroup). In the case of
abelian varieties this closure is the whole space, but this is
not so for other ; actually, we shall prove that in certain
cases (where a natural dimensional condition is fulfilled) the
intersection of this larger set with a non-special curve
must still be a finite set.
We shall conclude by stating in brief some extensions of
this problem to higher dimensions. |
|||

be a CM point in the moduli space
of principally
polarized complex abelian varieties of genus
, corresponding to an
Abelian variety
with complex multiplication by a ring
. Edixhoven
conjectured that the size of the Galois orbit of x should grow at least
like a power of the discriminant
of
, this reduces to the
classical Brauer-Siegel theorem. A positive answer to this conjecture
would be very useful in proving the André-Oort conjecture unconditionally.
We will present a proof of the conjectured lower bounds in some special
cases, including
. Along the way we derive transfer principles for
torsion in class groups of different fields which may be interesting in
their own right.
of dimension
. The `Manin-Mumford'
context in these cases predicts finiteness for the set of
torsion points in an algebraic curve inside