Program

21 March 22 March 23 March
10:00-11:00 C1:  Houston 10:00-11:00 C2:  Comte 9:30-10:30 C3: Parusinski
11:00-11:30  Coffee break
11:00-11:30 Coffee break 10:30-11:00 Coffee break
11:30-12:30 Nicaise
11:30-12:30 Krasinski 11:00-12:00 Koike
13:00 Lunch 13:00 Lunch 13:00 Lunch
14:30-15:30 C1:  Houston 14:30-15:30 C2:  Comte 14:00-15:00 C3: Parusinski
15:30-16:00 Coffee break 15:30-16:00 Coffee break 15:00-15:30 Coffee break
16:00-17:00 Merle 16:00-17:00 Risler 15:30-16:30 Trotman
17:15-18:15 Pichon 17:15-18:15 Dutertre 16:45-17:45 Dzedzej
                            cocktail                                           

List of registred participants
  • Arnaud Bodin (Lille)
  • Mihnea Coltoiu (Bucuresti)
  • Georges Comte (Nice)
  • Akbar Dehghan-Nezhad (Valenciennes)
  • Philippe Du Bois (Angers)
  • Nicolas Dutertre (Marseille)
  • Adam Dzedzej (Gdansk)
  • Mohammed Elamrani (Angers)
  • Goulwen Fichou (Rennes)
  • Kevin Houston (Leeds)
  • Cezar Joita (Bucuresti)
  • Satoshi Koike (Hyogo)
  • Tadeusz Krasinski (Lodz)
  • Michel Merle (Nice)
  • Aleksandra Nowel (Gdansk)
  • Johannes Nicaise (Lille)
  • Adam Parusinski (Angers)
  • Anne Pichon (Marseille)
  • Jean-Jacques Risler (Paris)
  • Michel Raibaut (Nice)
  • Dirk Siersma (Utrecht)
  • Aviva Szpirglas (Poitiers)
  • Vincent Thilliez (Lille)
  • Mihai Tibar (Lille)
  • David Trotman (Marseille)

Mini-courses

Georges Comte Local Invariants in Tame Geometry.


This talk is based on joint work with Ph. Graftieaux (Nice) et M. Merle (Nice). We attach to a germ of
some sub-analytic set two new finite sequences of numerical invariants. The first one consists of  the localisations
of the Lipschitz-Killing curvatures. The second one consists of  the real analogues of the vanishing characteristics
introduced by Kashiwara in the complex setting. We show that every term from any of these sequences is a
linear combination of terms from the other sequence.  We then show how these invariants relate to the geometry of the discriminants of the projections to planes of various dimensions.
It turns out that these invariants are continuous along the strata of a sub-analytic Verdier stratification.
  We show how these invariants relate to problems in spherical convex geometry and we give some elements of the p-adic definable setting.


Kevin Houston Equisingularity of Mappings.

A classical theorem of Briançon, Speder and Teissier states that a family of isolated hypersurface singularities is Whitney equisingular if and only if the \mu^*-sequence for a hypersurface is constant in the family. Similar results are true for families of finitely A-determined map-germs from C^n to C^p, where n and p are general. In this case one defines an analogue of the \mu^*-sequence using the disentanglement of a map rather than the Milnor fibre. The constancy of this sequence is equivalent to Whitney equisingularity in some cases.


Adam Parusinski Blow-analytic equivalence of two variable real analytic function germs.


We give a complete characterization of blow-analytic equivalence classes of two variable real analytic function germs.
pdf file with abstract


Conferences


Nicolas Dutertre A Gauss-Bonnet formula for closed semi-algebraic sets.


We establish a formula for the total Gauss-Bonnet-Chern curvature of a closed semi-algebraic set
$X \subset \mathbb{R}^n$ in terms of its Euler-Poincaré characteristic and its behaviour at infinity.


Adam Dzedzej On discretization of analytic gradient vector fields.
        
To a vector field defined by the gradient of an analytic function $f$ one can associate a difference equation $x_{k+1}-x_k=t\nabla f(x_k)$, for some small t. It is clear that away from the singular points of f, the orbits behave very similarly to the continuous trajectories of the gradient flow. We ask what can be said near singular points. Using the Lojasiewicz inequality one proves the finite "length" of an orbit. We present some properties which are easily proved for a continuous flow, but are not obvious for a discrete flow.

Satoshi Koike Finiteness theorems on Blow-Nash and Blow-semialgebraic triviality for a family of Nash sets.

Given a family of of Nash mappings $f_t : N \to \R^k$ defined over a Nash manifold $N$ with a semialgebraic parameter space $J$, we ask whether a finiteness theorem holds on some triviality for the family of zero-sets $\{ (N,f_t^{-1}(0)) \}$. More precisely, we ask whether there is a finite partition of $J$ into Nash open simplices $Q_i$'s such that the family of zero-sets is trivial over each $Q_i$ on the triviality we consider. We do not assume that the source manifold $N$ is compact. Then it follows from Hardt's theorem that a finiteness theorem holds on semialgebraic triviality for the family of zero-sets. Here we consider the notions of Blow-Nash triviality and Blow-semialgebraic triviality for a family of Nash sets, which are stronger than semialgebraic triviality. Thanks to Hardt's theorem, when we we consider our finiteness problem on those trivialities, we may assume from the beginning that $\dim f_t^{-1}(0)$ is constant over $J$. Under this setup we explain the following finiteness results for the family of Nash sets $\{ (N,f_t^{-1}(0)) \}$: (0) In any case a finiteness theorem holds on the existence of Nash trivial simultaneous resolution. (I) In the regular case a finiteness theorem holds on Nash triviality. (II) In the case of isolated singularities, a finiteness theorem holds on Blow-Nash triviality. (III) In the case of non-isolated singularities, a finiteness theorem holds on ``Blow-semialgebraic triviality" and ``Blow-semialgebraic triviality consistent with a compatible filtration" for a family of 2-dimensional Nash sets and a family of 3-dimensional Nash sets, respectively. Addendum: T. Fukui constructed a family of 4-dimensional real algebraic varieties in $\R^6$ and its Nash trivial simultaneous resolution such that the restriction of the resolution mapping to the intersection of the strict transform of the variety and the exceptional divisor at some point represents the Nakai family in which local topological moduli appear. This implies that our programme to show finiteness on Blow-semialgebraic triviality for 2 or 3-dimensional Nash sets is not applicable to the 4-dimensional case.

Tadeusz Krasinski The Lojasiewicz exponent of isolated singularities

      This is a survey lecture on the Lojasiewicz exponent of isolated singularities. The main topics are:
    1. characterization of rational numbers which are Lojasiewicz exponents of isolated singularities.
    2. the Lojasiewicz exponent of isolated nondegenerate singularities.

 Michel Merle Singularités et intégration motivique.

Johannes Nicaise Rigid geometry and complex singularities.

I will try to convince you that rigid geometry over the field of Laurent series C((t)) is a natural and powerful tool in the study of complex algebraic singularities. The main example will be the construction of the analytic Milnor fiber, associated to the germ of a morphism f from a smooth algebraic variety X to the affine line. This analytic Milnor fiber is a smooth rigid variety over C((t)), and it fully determines the analytic type of the singularity of the germ f. Its (étale) cohomology coincides with the singular cohomology of the classical topological Milnor fiber of f; the monodromy transformation is given by the Galois action. Moreover, the points on the analytic Milnor fiber are closely related to the motivic zeta function of f, and the arc space of X. The general observation is that the arithmetic properties of the analytic Milnor fiber reflect the structure of the singularity of the germ f.

Anne Pichon Principal analytic link theory in surface singularity links.

(joint work with Walter D. Neumann) An important corpus of works in singularity theory concentrate on the following class of questions : given a singularity - e.g. a germ of analytical space or morphism - which analytical properties of the singularity are reflected by its topology ? We focus on the following situation : let $Z$ be a normal complex surface and let $p \in Z$. One denotes by $M_{(Z,p)}$ the link of the singularity $(Z,p)$, i.e. the 3-dimensional manifold obtained as the boundary of a small regular neighbourhood of $p$ in $Z$. Then, $Z$ is locally homeomorphic to the cone $C(M_{(Z,p)})$ on $M_{(Z,p)}$. Given a surface singularity link $M$, there may exists many different analytical structures on the cone $C(M)$, i.e. normal surfaces singularities $(Z,p)$ whose $M$ is (homeomorphic to) the link. A natural problem - particular formulation of the above question - is to understand the different analytic structures which arise on $C(M)$. In this talk, we will present an approach which consists of studying the principal analytic link-theory on $M$. Our aim is to present this point of view, to outline this study through examples and to encourage people to pursue this area.

Jean-Jacques Risler Deformations de Harnack d'une branche plane réelle.

We define a class of local deformations of a real plane branch C in terms of the embedded resolution of singularities of the branch. We investigate the relations between the embedded topological type of the real branch, viewed in the affine complex plane, and the embedding of its Harnack's deformations, those real local deformations which are smooth, have the maximal number of ovals and have good oscillation conditions with the coordinate axes. These relations involves a generalization to the local case of a theorem of Mikhalkin on Harnack curves in a toric surface and their amoebas. The amoeba of a plane curve is the image of its points $(x, y)$ under the map $(x, y) \mapsto (\log|x|, \log |y|)$.

David Trotman  Local geometry of singular spaces and Whitney's fibering conjecture.

Since the foundational work of Whitney and Thom much progress has been made in taming real and complex algebraic/analytic varieties. Whitney showed the existence of (b)-regular stratifications which Thom proved to be locally topologically trivial. Hardt showed further local semialgebraic triviality of semialgebraic sets, while Mostowski and Parusinski showed local bilipschitz triviality. Recently Valette combined these results by obtaining local semialgebraic bilipschitz triviality of semialgebraic sets, and proved a conjecture of Siebenmann and Sullivan on the countability of metric types of germs of analytic spaces. Whitney's fibering conjecture asks that a neighbourhood of a stratum be foliated by analytic copies of a core stratum such that the tangent spaces to the leaves of the foliation vary continuously. We describe recent progress made with Murolo and du Plessis on a subanalytic Whitney fibering conjecture and its smooth version. There are applications to other conjectures - for example Whitney triangulation of Whitney stratified sets (proved by Shiota in 2005 for semialgebraic sets).


Back to welcome page