| عربية | Català | Deutsch | English | Español | فارسی | Français | Italiano | Türkçe |


|
Empfang
|
Anmeldung
|
Teilnehmer
|
Praktische Hinweise
| |

Zusammenfassungen



Franck Benoist
Université Paris 7.
Model theory of Hasse fields and application to algebraic geometry
Abstract: We will give some properties of existentially closed fields with a Hasse derivation, in arbitrary characteristic. We will focus on possible applications to algebraic geometry, by studying two different ways of putting additional structure on algebraic varieties using the Hasse derivation. Our aim is to give a criterion concerning the field of definition of an abelian variety over a function field of positive characteristic, in the spirit of the work done around Mordell-Lang conjecture.

Alexandre Borovik
University of Manchester.
Linear and permutation groups of finite Morley rank.

Zoé Chatzidakis
Université Paris 7.
Algebraic dynamics over function fields and model theory of difference varieties.
Problèmes de dynamique sur des corps de fonctions, théorie des modèles des corps de différence.

Résumé (pdf)

Gregory Cherlin
Rutgers University.
Genericity, Generosity, and Tori
Abstract: We show that if a connected group of finite Morley rank G generically satisfies the condition x^n=1, where n is a power of 2, then G is a 2-group of exponent at most n. The proof makes use of results of a general character inspired by work on the structure of the simple groups of finite Morley rank. An important part of this is the understanding of the properties of generic elements, and their relationship with tori which arise as the definable hulls of torsion subgroups. The same ideas can also be usefully brought to bear in the theory of definably primitive permutation groups of finite Morley rank, yielding a bound on the rank of such a group in terms of the rank of the set on which it acts.

Adrien Deloro
Université Paris 7.
How to recognize PSL2(K) (among other groups of finite Morley rank)
Abstract: Making assumptions on the structure of the Sylow 2-subgroup(s) is common in the study of groups of finite Morley rank. We shall deal with the case of a simple group of finite Morley rank (and minimal in some sense), whose Sylow 2-subgroup is a finite extension of the group of complex numbers of order some power of 2. These assumptions do characterize PSL2 over some algebraically closed field. The method we will discuss requires a "0-characteristic theory of unipotence" for groups of finite Morley rank, which makes it still valid in case a bad field should appear during the conference.

David Evans
University of East Anglia. Expansions of fields by angular functions
Abstract:The notion of an angular function has been introduced by Zilber in his paper `Non-commutative geometry and new stable structures' as one possible way of connecting non-commutative geometry with two `counterexamples' from model theory: the non-classical Zariski curves of Hrushovski and Zilber, and Poizat's field with green points. In this talk I will discuss some questions from Zilber's paper relating to existentially closed structures in the class of algebraically closed fields with an angular function.

Olivier Frécon
Université de la Reunion. Conjugaison des sous-groupes de Carter
dans les groupes de rang de Morley fini.

Abstract: If G is a group of finite Morley rank, we say that a
subgroup C is a Carter subgroup of G if it is definable, connected,
nilpotent and of finite index in its normalizer in G. These subgroups are
analogous to Cartan subgroups , that is to the centralizers of maximal tori in
connected algebraic groups. In joint work with E. Jaligot we proved their
existence in every group of finite Morley rank. Henceforth the conjugacy of
Carter subgroups is the most important open problem
concerning these subgroups.
For the Cherlin-Zil'ber Conjecture, the study of Carter subgroups is especially
interesting in minimal connected simple groups of finite Morley rank, which are
the infinite simple groups all of whose proper connected definable
subgroups are solvable.
We prove the following result.
Theorem: In any minimal connected simple group, Carter subgroups are conjugate.
(This talk will be in French with transparencies in English.)

Assaf Hasson
University of Oxford.
On Zilber's Dichotomy in 1-dimensional reducts of o-minimal structures.
Abstract: We discuss several aspects of the modular/non-modular dichotomy in 1-dimensional reducts of o-minimal structures. In particular, we prove that if a 1-dimensional reduct of an o-minimal expansion of a field is stable it must be locally modular.
Joint work with A. Onshuus and Y. Peterzil.

Martin Hils
Humboldt-Universität zu Berlin, Université Paris 7, Université Lyon 1.
Mauvais corps en caractéristique 0
Zusammenfassung: Die GrÜnen existieren auch.
Abstract: A bad field is an algebraically closed field K together with a proper infinite subgroup T of the multiplicative group, such that the structure (K,+, . ,0,1,T) is of finite Morley rank.
We show that bad fields exist in characteristic 0. More precisely, we construct such a bad field by collapsing Poizat's green fields in characteristic 0.
Joint work with A. Baudisch, A. Martin-Pizarro and F. Wagner
(The talk will be in French, with slides in English.)

Ehud Hrushovski
The Hebrew University of Jerusalem.
On Grothendieck rings and interpretations
Abstract: Grothendieck rings of definable sets can be viewed as intrinsic cardinality structures on a first order theory. Comparing rings belonging to different theories can reveal significant geometric information, and leads immediately to some model theoretic questions. I will discuss some of these, both abstractly and for specific theories around algebraic geometry: ACF, PF, ACFA, ACVFA.

Guillaume Malod
Kyoto University.
Complete problems in Valiant's theory.
Abstract: Valiant's theory is a simple framework to study computations by circuits. One of the nice results of this theory relates the possible equality of two key classes to the feasability of expressing any permanent as a determinant of reasonable size. This is a consequence of the completeness of the determinant and permanent polynomials for the relevant classes. However, very few other complete problems are known, and for other classes we do not know any natural complete problems. We will describe different attempts to find such complete problems, the difficulties involved, and the results.

Christian Michaux
Université de Mons-Hainaut.
Deux ou trois choses que je ne sais pas sur (IN, +,V_2)
Résumé (pdf)

Anand Pillay
University of Leeds.
Return of generix
Abstract: We discuss attempts to find a common generalization of "genericity" in (i) compact groups, (ii) stable groups, (iii) "definably compact" groups in o-minimal structures and p-adically closed fields.

Zlil Sela
The Hebrew University of Jerusalem.
Free and hyperbolic groups are stable.
Abstract: We apply the iterative procedure that was used for proving quantifier elimination over a free group, and the structure of definable sets obtained by this procedure, to prove stability for free (and hyperbolic) groups. Equationality and other related questions are considered as well.

Alex Usvyatsov
University of California at Los Angeles.
Categoricity for uncountable continuous theories.
Abstract: We suggest a notion of primeness in the continuous superstable context and as an application prove the categoriciy theorem for uncountable continuous theories.

John Wilson
University of Oxford.
Characterizations of solubility. for finite groups.

Martin Ziegler
Albert-Ludwigs-Universität Freiburg.
Red Fields
Abstract: They exist. (Joint work with Baudisch and Pizarro).

Boris Zilber
University of Oxford.
Quantum Zariski geometries and groups
Abstract: We show how to construct a Zariski geometry V(A) out of the category of A-modules for many (conjecturally all) quantum algebras A at roots of unity. Typically the Zariski geometry turns out to be non-classical, that is not definable in an algebraically closed field.
When A is a Hopf algebra (i.e. a quantum group) we find a group configuration in V(A) and so deduce that any quantum group at roots of unity is in a canonical correspondence with an algebraic group.