Blow-Nash types of simple singularities

We address the question of the classification under blow-Nash equivalence of simple Nash function germs. We state that this classification coincides with the real analytic classification. We prove moreover that a simple germ can not be blow-Nash equivalent to a nonsimple one. The method is based on the computation of relevant coefficients of the real zeta functions associated to a Nash germ via motivic integration.Comment: 16 page

Zeta functions and Blow-Nash equivalence

We propose a refinement of the notion of blow-Nash equivalence between Nash function germs, which is an analog in the Nash setting of the blow-analytic equivalence defined by T.-C. Kuo. The new definition is more natural and geometric. Moreover, this equivalence relation still does not admit moduli for a Nash family of isolated singularities. Some previous invariants are no longer invariants for this new relation, however, thanks to a Denef & Loeser formula coming from motivic integration in a Nash setting, we managed to derive new invariants for this equivalence relation.Comment: 12 page

Equivariant virtual Betti numbers

We define a generalised Euler characteristic for arc-symmetric sets endowed with a group action. It coincides with equivariant homology for compact nonsingular sets, but is different in general. We lay emphasis on the particular case of $Z/2\Z$, and give an application to the study of the singularities of Nash function germs via an analog of the motivic zeta function of Denef & Loeser.Comment: 20 pages, to appear in Ann. Inst. Fourie

Motivic invariant of real polynomial functions and Newton polyhedron

We propose a computation of real motivic zeta functions for real polynomial functions, using Newton polyhedron. As a consequence we show that the weights are blow-Nash invariants of convenient weighted homogeneous polynomials in three variables.Comment: 22 pages in Math. Proc. Camb. Phil. Soc, 201

Analytic equivalence of normal crossing functions on a real analytic manifold

By Hironaka Desingularization Theorem, any real analytic function has only normal crossing singularities after a suitable modification. We focus on the analytic equivalence of such functions with only normal crossing singularities. We prove that for such functions $C^{\infty}$ right equivalence implies analytic equivalence. We prove moreover that the cardinality of the set of equivalence classes is zero or countable

Grothendieck ring of semialgebraic formulas and motivic real Milnor fibres

We define a Grothendieck ring for basic real semialgebraic formulas, that is for systems of real algebraic equations and inequalities. In this ring the class of a formula takes into consideration the algebraic nature of the set of points satisfying this formula and contains as a ring the usual Grothendieck ring of real algebraic formulas. We give a realization of our ring that allows to express a class as a Z[1/2]- linear combination of classes of real algebraic formulas, so this realization gives rise to a notion of virtual Poincar\'e polynomial for basic semialgebraic formulas. We then define zeta functions with coefficients in our ring, built on semialgebraic formulas in arc spaces. We show that they are rational and relate them to the topology of real Milnor fibres.Comment: 30 pages, 1 figur