The motivic real Milnor fibres (Q451999): Difference between revisions

Let \(f:\mathbb{R}^d\to \mathbb{R}\) be a real polynomial function and \(f_{\mathbb{C}}\) its complexification. Choose as the Milnor fibre \(F\) the fibre of \(f_{\mathbb{C}}\) over the positive real number in a small circle around \(0\in\mathbb{C}\). Denote by \(c\) the complex conjugation acting on \(F\) and by \(h: H_\ast(F, \mathbb{C})\to H_\ast(F,\mathbb{C})\) the monodromy. Then \(chch=1\), especially the complex conjugation exchanges the eigenspace for the action of the mono\-dromy corresponding to complex conjugate eigenvalues. The article introduces motivic positive and negative Milnor fibres for real polynomials considering the zeta function of the complexified polynomial with the action of the complex conjugation. For the complex case a motivic Milnor fibre was introduced by \textit{J. Denef} and \textit{F. Loeser} [Invent. Math. 135, No. 1, 201--232 (1999; Zbl 0928.14004)]. Motivic real Milnor fibres are defined as object in a Grothendieck ring of algebraic varieties over \(\mathbb{R}\). A Grothendieck ring of Hodge structures over \(\mathbb{R}\) is introduced giving a correspondence between the motivic real Milnor fibres and the classical Milnor fibres in analogy to the complex case.