Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 376

Preprint Number 376

Previous Next Preprint server

376. George Comte and Goulwen Fichou
Grothendieck ring of semialgebraic formulas and motivic real Milnor fibres

Submission date: 14 November 2011.


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.

Mathematics Subject Classification: 14P10

Keywords and phrases:

Full text arXiv 1111.3181: pdf, ps.

Last updated: November 17 2011 14:07 Please send your corrections to: