Tutorials:
- O-minimal geometry, Tobias Kaiser (Passau)
SLIDES
Abstract: We present how the axiom of o-minimality leads to excellent geometric behaviour of sets and functions definable in an o-minimal structure expanding the field of reals(or more generally a real closed field). The leitmotivs are tameness and uniform finiteness. We cover cell decomposition, triangulation, stratification, trivialization and parametrization. We also show how geometry and logic interact in establishing o-minimality and proving strong geometric properties for important o-minimal structures.
The prerequisite for the tutorial is knowledge of mathematics at a bachelor level and familiarity with basic concepts from logic.
Literature:
(1) J. Bochnak, M. Coste, M.-F.Roy: Real algebraic geometry. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) 36. Springer, 1998.
(2) M. Coste: An introduction to o-minimal geometry. Lecture notes Pisa, 1999.
(3) L. van den Dries: Tame topology and o-minimal structures. London Mathematical Society Lecture Note Series 248. Cambridge University Press, 1998.
(4) G. Jones, A. Wilkie (eds.): O-minimality and diophantine geometry. London Mathematical Society Lecture Note Series 421. Cambridge University Press, 2015.
(5) C. Miller, J.-P. Rolin, P. Speissegger (eds.): Lecture notes on o-minimal structures and real analytic geometry. Fields Institute Communications 62. Springer, 2012.
(6) M. Shiota: Geometry of subanalytic and semialgebraic sets. Progress in Mathematics 150. Birkäautuser, 1997.
- Real algebraic geometry, Daniel Plaumann (Dortmund)
Abstract: In this tutorial, we will give an introduction to the study of positive polynomials and sums of squares. We will focus on examples and aspects that relate to model theory, such as questions of definability and degree bounds in sum-of-squares representations.
Results on this subject often combine methods from several different areas of mathematics, but we will not assume much background beyond calculus and basic algebra. However, some familiarity with ordered fields, real closure, etc., as presented for example in the first chapter of (3), should be very useful.
Literature:
(1) J. Bochnak, M. Coste, M.-F. Roy: Real algebraic geometry. Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer, 1998
(2) M. Marshall: Positive Polynomials and Sums of Squares. AMS Surv. 146, 2008.
(3) A. Prestel and C. Delzell: Positive Polynomials. Springer SMM, 2001
- Tame expansions of o-minimal structures, Philipp Hieronymi (UIUC)
PROBLEMS
Abstract: A relatively new part of the model theory of ordered structures is the study of tame expansions of o-minimal structures.
O-minimality can be considered as a nice framework for studying tame geometric objects. In the last three decades researchers proved that
many classical phenomena from real-analytic geometry fall into the framework of o-minimality. This has led to advances not only in logic
and analytic geometry, but also in other branches of mathematics like Lie theory and Diophantine number theory. Unfortunately, o-minimality
can only be used to model phenomena that are at least locally finite, or more precisely, objects that have only finitely many connected
components. The observation that there are many interesting geometric objects with infinitely many connected components (such as certain
trajectories of vector fields or the set of rational points of an elliptic curve) led to the study of model-theoretically well-behaved
expansions of o-minimal structures that define such objects. The study of such tame expansions of o-minimal structures has recently seen
significant growth and the purpose of this tutorial is to survey this development.
- Definable groups, Margarita Otero (Madrid)
SLIDES
Abstract
- Pila-Wilkie theorem and Diophantine applications, Ya'acov Peterzil (Haifa)
SLIDES and Margaret Thomas (Konstanz)
Margaret Thomas: The Pila-Wilkie Theorem
Pila and Wilkie's influential counting theorem provides a bound on the
"density" of rational points lying on sets definable in o-minimal
expansions of the real field, or, more specifically, lying on the
"transcendental parts" of such definable sets. This provides a strong
connection between certain algebraic and arithmetic properties of
definable sets and has brought about a lively interaction in recent
years between o-minimality and diophantine geometry, including several
important applications to arithmetical conjectures which will be
explored further in Ya'acov Peterzil's tutorial.
As a prelude to this, we will provide an introduction to the Pila-Wilkie
Theorem, indicating the main ingredients involved in the proof. In
particular, we will focus on the key step known as the Pila-Wilkie
Reparameterization Theorem, following Yomdin and Gromov. This is a
statement about the geometry of sets definable in o-minimal expansions
of real closed fields, namely that they can be covered by the images of
finitely many "sufficiently differentiable" functions with bounded
derivatives, functions which turn out to play a key role in the counting
of rational points.
Ya'acov Peterzil: Applications of o-minimality to some problems in Diophantine Geometry
Abstract: Consider the following linear algebra problem: Assume that V is a coset of a complex linear subspace H of C^n. Assume further that the intersection of Q^n with V (Q=rationals) is Zariski dense in V. Show that H has a basis in Q^n and V is a H-coset of some element in Q^n.
The above problem is a very simple example of a class of problems of the following prototype: We fix a an algebraic variety X (in the above=C^n), we fix a class of sub-varieties C (in the above-all affine subspaces), and in it a subfamily S of "special" varieties (in the above-those affine spaces defined over Q). The 0-dimensional sub-varieties, S_0, are called special points (in the above-Q^n). Under appropriate assumptions one wishes to show: If V is in C and its intersection with S_0 is Z-dense in V then V is special, namely in S.
The above framework specializes to several important problems in Diophantine geometry:
1. Manin-Mumford Conjecture (a Theorem of Reynaud) : Here X is an abelian variety over Q and C the collection of all irreducible algebraic subvarieties of V. The special varieties are those which are cosets of Abelian subvarieites of X (namely, cosets of algebraic subgroups) and the special points are the torsion points of X. The result says: If the torsion points on an irreducible subvariety V of X are Z-dense in V then V is a special variety.
2. Same as above, with X=(C^*)^n. Here the result says: If the torsion points of X are Z-dense on an irreduclbe algebraic subvariety V of X then V is a coset of an algebraic subgroup.
3. The Andre-Oort Conjecture (a theorem, under various assumptions, of Pila, Pila-Timerman, Klingler-Ullmo-Yafaev). This is more complicated to explain here. In broad terms: X is a Shimura variety, C the collection of all irreducible subvarieties, and S is the collection of "special subvarieties".
About 8 years ago Pila and Zannier proposed a new strategy to tackle problems as above, using the Pila-Wilkie result on the number of rational points in definable sets in o-minimal structures. This strategy has proven extremely fruitful in many different settings, culminating in a theorem of Pila on the Andre-Oort conjecture.
In these talks I will outline the above strategy, focusing mainly on problems 1 and 2 above.
Students attending these talks are advised to get basic familiarity with notions from model theory such as definable sets, o-minimal structures, and notions from Algebraic geometry such as Abelian Varieties.