|
SCIENTIFIC PROGRAMS AND ACTIVTIES |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
December 23, 2024 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Geometry and Model Theory Seminar 2008-09
|
Past Seminars 2004-05 |
Past Seminars 2005-06 |
Past Seminars 2006-07 |
Past Seminars
2007-08 |
The idea of the seminar is to bring together people from the group
in geometry and singularities at the University of Toronto (including
Ed Bierstone, Askold Khovanskii, Grisha Mihalkin and Pierre Milman)
and the model theory group at McMaster University (Bradd Hart, Deirdre
Haskell, Patrick Speissegger and Matt Valeriote).
As we discovered during the programs in Algebraic
Model Theory Program and the Singularity
Theory and Geometry Program at the Fields Institute in 1996-97,
geometers and model theorists have many common interests. The goal
of this seminar is to further explore interactions between the areas.
Unless indicated otherwise, the seminars will take place in the
Fields Institute, Room 230 from 2 - 3 p.m.
Please subscribe to the Fields mail
list to be informed of upcoming seminars.
PAST SEMINARS |
|
Friday February 6, 2009 Room 230 10:30 - 11:30 (note time) |
Malgorzata Czapla On the Weak Lipschitzianity and Definable Triangulations with Regularity Conditions |
Tuesday Room 230 |
Joris van der Hoeven Transserial Hardy fields In our talk we show that the field of differentially algebraic transseries over the real numbers can be embedded in a Hardy field. The proof relies on the concept of a "transserial Hardy field", which both carries the structure of a Hardy field and of a differential subfield of the field of transseries. We will associate analytic meanings to transseries using a technique of iterated integrals. |
Thursday Room 230
|
Andreas Fischer Recovering o-minimal structures It is well known that limits of sequences of definable functions are not necessarily definable. We discuss the limits of uniformly convergent sequences of definable continuous functions from n-space space to the reals, where n runs over all natural numbers. We show how to reconstruct the underlying o-minimal structure from the set of all limits. |
Thursday Room 230
|
Mickael Matusinski |
Friday Stewart Library |
Franz-Viktor Kuhlmann Immediate mappings and differential Hensel's Lemmas The concept of "immediate mappings" on ultrametric spaces is a generalization of the notion of immediate extensions of valued fields. A main theorem giving a criterion for the subjectivity of immediate mappings provides a uniform tool to prove all sorts of generalized Hensel's Lemmas, among them differential Hensel's Lemmas for both D-fields in the sense of Scanlon and differential valuations in the sense of Rosenlicht. After presenting a quick introduction to immediate mappings and the main theorem, I will show how these differential Hensel's Lemmas are derived. In the case of D-fields, the Hensel's Lemma we obtain is satisfactory. But for the Rosenlicht case, it is very restricted; I will discuss the problems that occur in this case. |
Thursday Room 230 |
Dinh Si Tiep On the trajectories of horizontal gradient of polynomial functions |
Tuesday Room 230 |
Lorena López Hernanz Parabolic Curves and Separatrices in C2 |
Thursday Room 230 |
Dmitry Novikov |
Friday March 13, 2009 Stewart Library 2-3 pm |
Dmitry Novikov Non-oscillation of pseudo-Abelian integrals Part II |
Tuesday Room 230 |
Andrei Gabrielov |
Thursday
Room 230
Room 230 |
Alex Rennet Grisha Kolutsky Alex Wilkie |
Thursday
Room 230
|
I would like to address similar questions in the context of o-minimal geometries in an affine situation. Another way to look at this is in asking the following questions: 1 - Given a connected and enough differentiable and definable submanifold, what is the geometry of its boundary ? More simply how large is a the singular locus ? 2 - For a large class of functions I will prove such a result about the critical locus of a singular level. |
Thursday |
Olivier Le Gal A generic condition implying o-minimality for restricted C infinity functions We prove that a transcendance condition (C) on the Tayor series of a restricted smooth function h implies the o-minimality of the expansion of the real field by h. This condition is shown to be generic, in the sense that the set of all functions that verify (C) is residual with respect to the Whitney topology. As corollaries, we re-obtain o-minimal structures that does not admit analytic cell decomposition, and non compatible o-minimal structures. We even obtain o-minimal structures which are not compatible with restricted analytic functions. |
Thursday |
Artur Piekosz Grothendieck topology and o-minimality Grothendieck topology is a categorical analogue of usual topology. It originated in algebraic geometry and was already used in the o-minimal context. Also microlocal analysts have already worked with "the subanalytic site". Grothendieck topology allows to define a deeper version of the notion of a topological space. Here several things should be clarified. Then we get an o-minimal version of homotopy theory. As an example, I want to show a Bertini-Lefschetz type theorem about fundamental groups. |
Tuesday April 14, 2009 Room 230 2-3 pm |
Tamara Servi Pfaffian closure for definably complete Baire structures (joint work with A. Fornasiero) Wilkie (1999) proved that the structure generated by all real Pfaffian functions is o-minimal.Subsequently Speissegger (1999) proved the o-minimality of the Pfaffian closure of an o-minimal structure. We give an alternative proof of this theorem. Moreover our result holds not only over the real numbers but more generally for definably complete Baire structures, which we introduced in 2008 and which form an axiomatizable class. |
Thursday |
Armin Rainer Perturbation of polynomials and normal matrices Given a smooth family P of complex univariate polynomials, it is natural to study the regularity of its roots. I shall give an overview of the known results and recent developments. In particular, I will show that the roots of a quasianalytic multiparameter family P can be chosen smoothly after applying finitely many local blow-ups and local power substitutions. Using that, I will prove that the roots of P admit a parameterization by functions of bounded variation (not better!), locally. Similar results can be obtained for the eigenvalues and eigenvectors of a quasianalytic multiparameter family of normal matrices. |
Thursday
|
Yosef Yomdin Moment vanishing, Compositions, and Mathieu conjecture Recently F. Pakovich and M. Muzychuk completely solved the vanishing problem for polynomial moments of the form \int_a^b P^k(x)Q(x) dP(x). This problem can be considered as an infinitesimal version of the Center-Focus problem for Abel differential equation, and the "moment centers" turn out to be pretty accurately described by certain composition relations between P and Q. For Laurent polynomials situation is more complicated. In a very recent work F. Pakovich has achieved a serious progress in understanding vanishing conditions for rational functions and, in particular, for Laurent polynomials. In particular, new relations with the Mathieu conjecture in representations of compact Lie groups have appeared, and (through the recent work of Wenhua Zhao) to certain questions closely related to the Jacobian conjecture. |
Thursday Stewart Library |
Philipp Hieronymi The real field with two discrete multiplicative subgroups In this talk, I will give the details of the proof that the real field with two discrete multiplicative subgroups defines the integers. The proof presented does not require any previous knowledge of the topic, but it is very computational. |
Thursday May 14 , 2009 Stewart Library 2-3 pm |
Guillaume Valette Classification of definiable sets from the metric point of view Any definable set may be regarded as a metric space, if endowed with the metric induced by the ambient space. I will present several results related to the classification of metric types of sets definable in an o-minimal structure. |
Thursday Room 230 |
Ayhan Gunaydin The real field with the rational points of an elliptic curve (joint work with P. Hieronymi) We consider the model theoretic structure (R,E), where R is the real field and E is the group of rational points of an ellitic curve. We axiomatize this structure and show that it eliminates quantifiers up to existential formulas. As a by-product, we also prove that it has o-minimal open core, which is to say that all the open sets definable in (R,E) are already definable in the real field. |
Tuesday Stewart Library |
Anna Valette Asymptotic variety of polynomials mappings The asymptotic variety of a polynomial map is the locus of points at which this map fails to be proper. We will discuss some nice geometrical properties of the asymptotic variety and we will see how it can be determined effectively in some special cases. |
Tuesday Stewart Library |
Serge Randriambololona |
Thursday Room 230 Room 230 |
David Trotman |
Tuesday Room 230 (two talks) |
Adam Parusinski
|
Wednesday Room 230 |
Margaret Thomas O-Minimal Structures Without Mild Parameterization We consider parameterization in o-minimal structures and look at how the o-minimal Reparameterization Theorem of Pila and Wilkie might be enhanced. In particular, we are interested in whether or not we can have any greater control over the bounds on the derivatives of the parameterizing functions. Work by Pila shows that a certain choice of bounds, namely `mild' bounds, could improve the original corollary to the Reparameterization Theorem (a result about the bound on the number of rational points of bounded height lying on definable sets), at least in the particular case of Pfaff curves. We consider in which o-minimal structures mild parameterization might be found and, using work of Le Gal, show that the analogous reparameterization theorem does not hold for o-minimal structures in general. |
Thursday Room 230
Room 230 |
Juan Diego Caycedo |
Thematic Program on O-minimal Structures and Real Analytic Geometry January-June 2009