-
Motivic, logarithmic, and topological Milnor fibrations
Authors:
Jean-Baptiste Campesato,
Goulwen Fichou,
Adam Parusinski
Abstract:
We compare the topological Milnor fibration and the motivic Milnor fibre of a regular complex function with only normal crossing singularities by introducing their common extension: the complete Milnor fibration. We give two equivalent constructions: the first one extending the classical Kato-Nakayama log-space, and the second one, more geometric, based on the real oriented multigraph construction…
▽ More
We compare the topological Milnor fibration and the motivic Milnor fibre of a regular complex function with only normal crossing singularities by introducing their common extension: the complete Milnor fibration. We give two equivalent constructions: the first one extending the classical Kato-Nakayama log-space, and the second one, more geometric, based on the real oriented multigraph construction, a version of the real oriented deformation to the normal cone. As an application, we recover A'Campo's model of the topological Milnor fibration, by quotienting the motivic Milnor fibration with suitable powers of $\mathbb{R}_{>0}$, and show that it determines the classical motivic Milnor fibre.
We also give precise formulae expressing how the introduced objects change under blowings-up. As an application, we show that the motivic Milnor fibre is well-defined as an element of a suitable Grothendieck ring without requiring that the Lefschetz motive be invertible.
△ Less
Submitted 29 November, 2024; v1 submitted 29 November, 2021;
originally announced November 2021.
-
$\mathcal C^m$ solutions of semialgebraic or definable equations
Authors:
Edward Bierstone,
Jean-Baptiste Campesato,
Pierre D. Milman
Abstract:
We address the question of whether geometric conditions on the given data can be preserved by a solution in (1) the Whitney extension problem, and (2) the Brenner-Fefferman-Hochster-Kollár problem, both for $\mathcal C^m$ functions. Our results involve a certain loss of differentiability.
Problem (2) concerns the solution of a system of linear equations $A(x)G(x)=F(x)$, where $A$ is a matrix of…
▽ More
We address the question of whether geometric conditions on the given data can be preserved by a solution in (1) the Whitney extension problem, and (2) the Brenner-Fefferman-Hochster-Kollár problem, both for $\mathcal C^m$ functions. Our results involve a certain loss of differentiability.
Problem (2) concerns the solution of a system of linear equations $A(x)G(x)=F(x)$, where $A$ is a matrix of functions on $\mathbb R^n$, and $F$, $G$ are vector-valued functions. Suppose the entries of $A(x)$ are semialgebraic (or, more generally, definable in a suitable o-minimal structure). Then we find $r=r(m)$ such that, if $F(x)$ is definable and the system admits a $\mathcal C^r$ solution $G(x)$, then there is a $\mathcal C^m$ definable solution. Likewise in problem (1), given a closed definable subset $X$ of $\mathbb R^n$, we find $r=r(m)$ such that if $g:X\to\mathbb R$ is definable and extends to a $\mathcal C^r$ function on $\mathbb R^n$, then there is a $\mathcal C^m$ definable extension.
△ Less
Submitted 19 April, 2021; v1 submitted 26 October, 2020;
originally announced October 2020.
-
Arc spaces, motivic measure and Lipschitz geometry of real algebraic sets
Authors:
Jean-Baptiste Campesato,
Toshizumi Fukui,
Krzysztof Kurdyka,
Adam Parusinski
Abstract:
We investigate connections between Lipschitz geometry of real algebraic varieties and properties of their arc spaces. For this purpose we develop motivic integration in the real algebraic set-up. We construct a motivic measure on the space of real analytic arcs. We use this measure to define a real motivic integral which admits a change of variables formula not only for the birational but also for…
▽ More
We investigate connections between Lipschitz geometry of real algebraic varieties and properties of their arc spaces. For this purpose we develop motivic integration in the real algebraic set-up. We construct a motivic measure on the space of real analytic arcs. We use this measure to define a real motivic integral which admits a change of variables formula not only for the birational but also for generically one-to-one Nash maps.
As a consequence we obtain an inverse mapping theorem which holds for continuous rational maps and, more generally, for generically arc-analytic maps. These maps appeared recently in the classification of singularities of real analytic function germs.
Finally, as an application, we characterize in terms of the motivic measure, germs of arc-analytic homeomorphism between real algebraic varieties which are bi-Lipschitz for the inner metric.
△ Less
Submitted 14 December, 2018; v1 submitted 13 July, 2018;
originally announced July 2018.
-
Complete classification of Brieskorn polynomials up to the arc-analytic equivalence
Authors:
Jean-Baptiste Campesato
Abstract:
It has been recently proved that the arc-analytic type of a singular Brieskorn polynomial determines its exponents. This last result may be seen as a real analogue of a theorem by E. Yoshinaga and M. Suzuki concerning the topological type of complex Brieskorn polynomials. In the real setting it is natural to investigate further by asking how the signs of the coefficients of a Brieskorn polynomial…
▽ More
It has been recently proved that the arc-analytic type of a singular Brieskorn polynomial determines its exponents. This last result may be seen as a real analogue of a theorem by E. Yoshinaga and M. Suzuki concerning the topological type of complex Brieskorn polynomials. In the real setting it is natural to investigate further by asking how the signs of the coefficients of a Brieskorn polynomial change its arc-analytic type.
The aim of the present paper is to answer this question by giving a complete classification of Brieskorn polynomials up to the arc-analytic equivalence. The proof relies on an invariant of this relation whose construction is similar to the one of Denef-Loeser motivic zeta functions.
The classification obtained generalizes the one of Koike-Parusiński in the two variable case up to the blow-analytic equivalence and the one of Fichou in the three variable case up to the blow-Nash equivalence.
△ Less
Submitted 15 August, 2017;
originally announced August 2017.
-
On the arc-analytic type of some weighted homogeneous polynomials
Authors:
Jean-Baptiste Campesato
Abstract:
It is known that the weights of a complex weighted homogeneous polynomial $f$ with isolated singularity are analytic invariants of $(\mathbb C^d,f^{-1}(0))$. When $d=2,3$ this result holds by assuming merely the topological type instead of the analytic one.
G. Fichou and T. Fukui recently proved the following real counterpart: the blow-Nash type of a real singular non-degenerate convenient weigh…
▽ More
It is known that the weights of a complex weighted homogeneous polynomial $f$ with isolated singularity are analytic invariants of $(\mathbb C^d,f^{-1}(0))$. When $d=2,3$ this result holds by assuming merely the topological type instead of the analytic one.
G. Fichou and T. Fukui recently proved the following real counterpart: the blow-Nash type of a real singular non-degenerate convenient weighted homogeneous polynomial in three variables determines its weights.
The aim of this paper is to generalize the above-cited result with no condition on the number of variables. We work with a characterization of the blow-Nash equivalence called the arc-analytic equivalence. It is an equivalence relation on Nash function germs with no continuous moduli which may be seen as a semialgebraic version of the blow-analytic equivalence of T.-C. Kuo.
△ Less
Submitted 2 December, 2017; v1 submitted 25 December, 2016;
originally announced December 2016.
-
On a motivic invariant of the arc-analytic equivalence
Authors:
Jean-Baptiste Campesato
Abstract:
To a Nash function germ, we associate a zeta function similar to the one introduced by J. Denef and F. Loeser. Our zeta function is a formal power series with coefficients in the Grothendieck ring $\mathcal{M}$ of $\mathcal{AS}$-sets up to $\mathbb{R}^*$-equivariant $\mathcal{AS}$-bijections over $\mathbb{R}^*$, an analog of the Grothendieck ring constructed by G. Guibert, F. Loeser and M. Merle.…
▽ More
To a Nash function germ, we associate a zeta function similar to the one introduced by J. Denef and F. Loeser. Our zeta function is a formal power series with coefficients in the Grothendieck ring $\mathcal{M}$ of $\mathcal{AS}$-sets up to $\mathbb{R}^*$-equivariant $\mathcal{AS}$-bijections over $\mathbb{R}^*$, an analog of the Grothendieck ring constructed by G. Guibert, F. Loeser and M. Merle. This zeta function generalizes the previous construction of G. Fichou but thanks to its richer structure it allows us to get a convolution formula and a Thom-Sebastiani type formula.
We show that our zeta function is an invariant of the arc-analytic equivalence, a version of the blow-Nash equivalence of G. Fichou. The convolution formula allows us to obtain a partial classification of Brieskorn polynomials up to the arc-analytic equivalence by showing that the exponents are arc-analytic invariants.
△ Less
Submitted 15 April, 2016; v1 submitted 22 December, 2015;
originally announced December 2015.
-
An inverse mapping theorem for blow-Nash maps on singular spaces
Authors:
Jean-Baptiste Campesato
Abstract:
A semialgebraic map $f:X\to Y$ between two real algebraic sets is called blow-Nash if it can be made Nash (i.e. semialgebraic and real analytic) by composing with finitely many blowings-up with non-singular centers. We prove that if a blow-Nash self-homeomorphism $f:X\rightarrow X$ satisfies a lower bound of the Jacobian determinant condition then $f^{-1}$ is also blow-Nash and satisfies the same…
▽ More
A semialgebraic map $f:X\to Y$ between two real algebraic sets is called blow-Nash if it can be made Nash (i.e. semialgebraic and real analytic) by composing with finitely many blowings-up with non-singular centers. We prove that if a blow-Nash self-homeomorphism $f:X\rightarrow X$ satisfies a lower bound of the Jacobian determinant condition then $f^{-1}$ is also blow-Nash and satisfies the same condition. The proof relies on motivic integration arguments and on the virtual Poincaré polynomial of McCrory-Parusiński and Fichou. In particular, we need to generalize Denef-Loeser change of variables key lemma to maps that are generically one-to-one and not merely birational.
△ Less
Submitted 12 May, 2015; v1 submitted 25 June, 2014;
originally announced June 2014.
