We define motivic Milnor fiber of cyclic $L_\infty$-algebras of dimension three using the method of Denef and Loeser of motivic integration. It is proved by Nicaise and Sebag that the topological Euler characteristic of the motivic Milnor fiber is equal to the Euler characteristic of the étale cohomology of the analytic Milnor fiber. We prove that the value of Behrend function on the germ moduli space determined by $L$ is equal to the Euler characteristic of the analytic Milnor fiber. Thus we prove that Behrend function depends only on the formal neighborhood of the moduli space.
By calculating the equivariant mixed Hodge numbers of motivic Milnor fibers introduced by Denef-Loeser, we obtain explicit formulas for the Jordan normal forms of Milnor monodromies. The numbers of the Jordan blocks will be described by the Newton polyhedron of the polynomial.
We study function germs on toric varieties which are nondegenerate for their Newton diagram. We express their motivic Milnor fibre in terms of their Newton diagram. We extend a formula for the motivic nearby fibre to the case of a toroidal degeneration. We illustrate this by some examples.
We find a recursive formula for the motivic Milnor fiber of an irreducible plane curve, using the notions of a truncation and derived curve. We then apply natural transformations to obtain a similar recursion for the Hodge-theoretic spectrum.
Let $f$ be a germ of complex analytic function at $({\mathbf{C}}^{d+1}, 0)$ such that its zero level defines an irreducible germ of quasi-ordinary hypersurface $(S,0)$. We describe the motivic Igusa zeta function, the motivic Milnor fibre and the Hodge-Steenbrink spectrum of $f$ at 0 in terms of topological invariants of the quasi-ordinary hypersurface $(S,0)$.
We compute the motivic Milnor fiber of a complex plane curve singularity in an inductive and combinatoric way using the extended simplified resolution graph. The method introduced in this article has a consequence that one can study the Hodge-Steenbrink spectrum of such a singularity in terms of that of a quasi-homogeneous singularity.
We study the Jordan normal forms of the local and global monodromies over complete intersection subvarieties of $C^n$ by using the theory of motivic Milnor fibers. The results will be explicitly described by the mixed volumes of the faces of Newton polyhedrons.
In this paper we prove the 2-local part of the Beilinson-Lichtenbaum conjectures on tosion in motivic cohomology. In particular we prove the Milnor conjecture relating Milnor's K-theory and the Galois cohomology with Z/2-coefficients. This paper is a new version of the previously distributed preprint "The Milnor Conjecture".
We put forward in this paper a uniform narrative that weaves together several variants of Hrushovski-Kazhdan style integral, and describe how it can facilitate the understanding of the Denef-Loeser motivic Milnor fiber and closely related objects. Our study focuses on the so-called "nonarchimedean Milnor fiber" that was introduced by Hrushovski and Loeser, and our thesis is that it is a richer embodiment of the underlying philosophy of the Milnor construction. The said narrative is first developed in the more natural complex environment, and is then extended to the real one via descent. In the…
We show how formal and rigid geometry can be used in the theory of complex singularities, and in particular in the study of the Milnor fibration and the motivic zeta function. We introduce the so-called analytic Milnor fiber associated to the germ of a morphism f from a smooth complex algebraic variety X to the affine line. This analytic Milnor fiber is a smooth rigid variety over the field of Laurent series C((t)). Its etale cohomology coincides with the singular cohomology of the classical topological Milnor fiber of f; the monodromy transformation is given by the Galois action. Moreover, th…
We develop the theory of Milnor-Witt motives and motivic cohomology. Compared to Voevodsky's theory of motives and his motivic cohomology, the first difference appears in our definition of Milnor-Witt finite correspondences, where our cycles come equipped with quadratic forms. This yields a weaker notion of transfers and a derived category of motives that is closer to the stable homotopy theory of schemes. We prove a cancellation theorem when tensoring with the Tate object, we compare the diagonal part of our Milnor-Witt motivic cohomology to Minor-Witt K-theory and we provide spectra represen…
The Milnor class is a generalization of the Milnor number, defined as the difference (up to sign) of Chern--Schwartz--MacPherson's class and Fulton--Johnson's canonical Chern class of a local complete intersection variety in a smooth variety. In this paper we introduce a "motivic" Grothendieck group $K^{\mathcal Prop}_{\ell.c.i}(\mathcal V/X \to S)$ and natural transformations from this Grothendieck group to the homology theory. We capture the Milnor class, more generally Hirzebruch--Milnor class, as a special value of a distinguished element under these natural transformations. We also show a…
We build a ring spectrum representing Milnor-Witt motivic cohomology, as well as its étale local version and show how to deduce out of it three other theories: Borel-Moore homology, cohomology with compact support and homology. These theories, as well as the usual cohomology, are defined for singular schemes and satisfy the properties of their motivic analog (and more), up to considering more general twists. In fact, the whole formalism of these four theories can be functorially attached to any ring spectrum, giving finally maps between the Milnor-Witt motivic ones to the classical motivic one…
We construct a new motivic integration morphism, the so-call bounded integral, that interpolates both the integration morphisms with and without volume forms of Hrushovski and Kazhdan. This is done within the framework of model theory of algebraically closed valued fields of equicharacteristic zero. As an application, we recover and extend some results of Hrushovski and Loeser about the motivic Milnor fiber.
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é polynomial for basic semialgebraic formulas. We then define …
In this article we prove two results concerning the motivic Milnor fibres $S^ε(f)$ associated to a map germ $f: (\mathbb{R}^n,0)\to(\mathbb{R},0)$, defined by G. Comte and G. Fichou. Firstly, we prove that if $f,g:(\mathbb{R}^n,0)\to(\mathbb{R},0)$ are arc-analytically equivalent germs of Nash functions then the virtual Poincaré polynomial of the corresponding motivic Milnor fibres are equal. This extends (and provides a new proof) of a result of G. Fichou. Secondly, let $T\subset\mathbb{R}^m$ be a real algebraic set and $f: T\times(\mathbb{R}^n,0)\to\mathbb{R}$ a polynomial function of polyno…
We prove that the $\infty$-category of motivic spectra satisfies Milnor excision: if $A\to B$ is a morphism of commutative rings sending an ideal $I\subset A$ isomorphically onto an ideal of $B$, then a motivic spectrum over $A$ is equivalent to a pair of motivic spectra over $B$ and $A/I$ that are identified over $B/IB$. Consequently, any cohomology theory represented by a motivic spectrum satisfies Milnor excision. We also prove Milnor excision for Ayoub's étale motives over schemes of finite virtual cohomological dimension.
We present a formal scheme based cycle model for the motivic cohomology of the fat points defined by the truncated polynomial rings $k[t]/(t^m)$ with $m \geq 2$, in one variable over a field $k$. We compute their Milnor range cycle class groups when the field has sufficiently many elements. With some aids from rigid analytic geometry and the Gersten conjecture for the Milnor $K$-theory resolved by M. Kerz, we prove that the resulting cycle class groups are isomorphic to the Milnor $K$-groups of the truncated polynomial rings, generalizing a theorem of Nesterenko-Suslin and Totaro.
We introduce a new algebraic-cycle model for the motivic cohomology theory of truncated polynomials $k[t]/(t^m)$ in one variable. This approach uses ideas from the deformation theory and non-archimedean analysis, and is distinct from the approaches via cycles with modulus. We compute the groups in the Milnor range when the base field is of characteristic $0$, and prove that they give the Milnor $K$-groups of $k[t]/(t^m)$, whose relative part is the sum of the absolute Kähler differential forms.
Let X be a smooth variety over a field k and D an effective divisor whose support has simple normal crossings. We construct an explicit cycle map from the r-th Nisnevich motivic complex of the pair (X,D) to a shift of the r-th relative Milnor K-sheaf of (X,D). We show that this map induces an isomorphism for all i greater or equal the dimension of X between the motivic Nisnevich cohomology of (X,D) in bidegree (i+r,r) and the i-th Nisnevich cohomology of the r-th relative Minor K-sheaf of (X,D). This generalizes the well-known isomorphism in the case D=0. We use this to prove a certain Zariski…
In the paper M. Somekawa, {\it{On Milnor $K$-groups attached at semi-Abelian varieties}}, K-theory, \textbf{4} (1990) p.105, Somekawa conjectures that his Milnor K-group $K(k,G_1,...,G_r)$ attached to semi-abelian varieties $G_1$,...,$G_r$ over a field $k$ is isomorphic to ${\rm Ext}_{\mathcal{M}_k}^r(\mathbb{Z},G_1[-1] \otimes ... \otimes G_r[-1])$ where $\mathcal{M}_k$ is a certain category of motives over $k$. The purpose of this note is to give remarks on this conjecture, when we take $\mathcal{M}_k$ as Voevodsky's category of motives ${\rm DM}^{eff}_{-}(k)$ .
Given a regular map f from a smooth complex variety to the affine line, we define a motivic Milnor fiber at infinity and we compute it in the case of a non degenerate Laurent polynomial for its Newton polyhedra at infinity.
We study the cohomology theory and the canonical Milnor-Witt cycle module associated to a motivic spectrum. We prove that the heart of Morel-Voevodsky stable homotopy category over a perfect field (equipped with its homotopy t-structure) is equivalent to the category of Milnor-Witt cycle modules, thus generalising Déglise's thesis. As a corollary, we recover a theorem of Ananyevskiy and Neshitov and we prove that the Milnor-Witt K-theory groups are birational invariants.
We study the Milnor-Witt motives which are a finite direct sum of $\mathbb{Z}(q)[p]$ and $\mathbb{Z}/η(q)[p]$. We show that for MW-motives of this type, we could determine an MW-motivic cohomology class in terms of a motivic cohomology class and a Witt cohomology class. We define the motivic Bockstein cohomology and show that it corresponds to subgroup of Witt cohomology, if the MW-motive splits as above. As an application, we give the splitting formula of Milnor-Witt motives of Grassmannian bundles and complete flag bundles. This in particular shows that the integral cohomology of real comple…
We prove the version of Joyce-Song formula for the Behrend function identities in the motivic setting. The main method we use is the proof of Kontsevich-Soibelman conjecture about the motivic Milnor fibers by Q. T. Le, who uses the method of motivic integration for formal schemes and Cluckers-Loeser's motivic constructible functions. In the Appendix the motivic formula can be used to provide a different proof that there is an algebra homomorphism of Kontsevich-Soibelman from the motivic Hall algebra of the abelian category of coherent sheaves on a Calabi-Yau threefold $Y$ to the motivic quantu…
We constructed the analytic Milnor fiber is a non-archimedean model of the classical topological Milnor fibration. In the present paper, we describe the homotopy type of the analytic Milnor fiber in terms of a strictly semi-stable model, and we show that its singular cohomology coincides with the weight zero part of the mixed Hodge structure on the nearby cohomology. We give a similar expression for Denef and Loeser's motivic Milnor fiber in terms of a strictly semi-stable model.
We present a new tool for the calculation of Denef and Loeser's motivic nearby fiber and motivic Milnor fiber: a motivic Fubini theorem for the tropicalization map, based on Hrushovski and Kazhdan's theory of motivic volumes of semi-algebraic sets. As applications, we prove a conjecture of Davison and Meinhardt on motivic nearby fibers of weighted homogeneous polynomials, and give a very short and conceptual new proof of the integral identity conjecture of Kontsevich and Soibelman, first proved by Lê Quy Thuong. Both of these conjectures emerged in the context of motivic Donaldson-Thomas theor…
In this paper, semilocal Milnor $K$-theory of fields is introduced and studied. A strongly convergent spectral sequence relating semilocal Milnor $K$-theory to semilocal motivic cohomology is constructed. In weight 2, the motivic cohomology groups $H^p_{Zar}(k,\mathbb Z(2))$, $p\leq 1$, are computed as semilocal Milnor $K$-theory groups $\widehat{K}^M_{2,3-p}(k)$. The following applications are given: (i) several criteria for the Beilinson-Soulé Vanishing Conjecture; (ii) computation of $K_4$ of a field; (iii) the Beilinson conjecture for rational $K$-theory of fields of prime characteristic i…
We advance the understanding of K-theory of quadratic forms by computing the slices of the motivic spectra representing hermitian K-groups and Witt-groups. By an explicit computation of the slice spectral sequence for higher Witt-theory, we prove Milnor's conjecture relating Galois cohomology to quadratic forms via the filtration of the Witt ring by its fundamental ideal. In a related computation we express hermitian K-groups in terms of motivic cohomology.
Let $L$ be a cyclic $L_\infty$-algebra of dimension $3$ with finite dimensional cohomology only in dimension one and two. By transfer theorem there exists a cyclic $L_\infty$-algebra structure on the cohomology $H^*(L)$. The inner product plus the higher products of the cyclic $L_\infty$-algebra defines a superpotential function $f$ on $H^1(L)$. We associate with an analytic Milnor fiber for the formal function $f$ and define the Euler characteristic of $L$ is to be the Euler characteristic of the étale cohomology of the analytic Milnor fiber. In this paper we prove a Thom-Sebastiani type form…
We prove that for a finitely generated field over an infinite perfect field k, and for any integer n, the (n,n)-th MW-motivic cohomology group identifies with the n-th Milnor-Witt K-theory group of that field
We study the structure of the rational motivic stable homotopy category over general base schemes. Our first class of results concerns the six operations: we prove absolute purity, stability of constructible objects, and Grothendieck-Verdier duality for SH_Q. Next, we prove that SH_Q is canonically SL-oriented; we compare SH_Q with the category of rational Milnor-Witt motives; and we relate the rational bivariant A^1-theory to Chow-Witt groups. These results are derived from analogous statements for the minus part of SH[1/2].
Thanks to Hrushovski-Loeser's work on motivic Milnor fibers, we give a model-theoretic proof for the motivic Thom-Sebastiani theorem in the case of regular functions. Moreover, slightly extending of Hrushovski-Loeser's construction adjusted to Sebag, Loeser and Nicaise's motivic integration for formal schemes and rigid varieties, we formulate and prove an analogous result for formal functions. The latter is meaningful as it has been a crucial element of constructing Kontsevich-Soibelman's theory of motivic Donaldson-Thomas invariants.
In this article we give an expression of the motivic Milnor fiber at infinity and the motivic nearby cycles at infinity of a polynomial $f$ in two variables with coefficients in an algebraic closed field of characteristic zero. This expression is given in terms of some motives associated to the faces of the Newton polygons appearing in the Newton algorithm at infinity of $f$ without any condition of convenience or non degeneracy. In the complex setting, we compute the Euler characteristic of the generic fiber of $f$ in terms of the area of the surfaces associated to faces of the Newton polygon…
The oriented link of the cyclic quotient singularity $\mathcal{X}_{p,q}$ is orientation-preserving diffeomorphic to the lens space $L(p,q)$ and carries the standard contact structure $ξ_{st}$. Lisca classified the Stein fillings of $(L(p,q), ξ_{st})$ up to diffeomorphisms and conjectured that they correspond bijectively through an {\it explicit} map to the Milnor fibers associated with the irreducible components (all of them being smoothing components) of the reduced miniversal space of deformations of $\mathcal{X}_{p,q}$. We prove this conjecture using the smoothing equations given by Christo…
We establish a trace formula for rigid varieties $X$ over a complete discretely valued field, which relates the set of unramified points on $X$ to the Galois action on its étale cohomology. We develop a theory of motivic integration for formal schemes of pseudo-finite type over a complete discrete valuation ring $R$, and we introduce the Weil generating series of a regular formal $R$-scheme $\mathfrak{X}$ of pseudo-finite type, via the construction of a Gelfand-Leray form on its generic fiber. Our trace formula yields a cohomological interpretation of this Weil generating series. When $\mathfr…
By introducing motivic Milnor fibers at infinity of polynomial maps, we propose some methods for the study of nilpotent parts of monodromies at infinity. The numbers of Jordan blocks in the monodromy at infinity will be described by the Newton polyhedron at infinity of the polynomial.
Motivated by the Milnor fiber of a central arrangement, we study the cohomology of a family of cyclic covers of the complement of an arbitrary arrangement. We give an explicit proof of the polynomial periodicity of the Betti numbers of the members of this family of cyclic covers.
We determine the mod p cohomological invariants for several affine group schemes G in chararacteristic p. These are invariants of G-torsors with values in etale motivic cohomology, or equivalently in Kato's version of Galois cohomology based on differential forms. In particular, we find the mod 2 cohomological invariants for the symmetric groups and the orthogonal groups in characteristic 2, which Serre computed in characteristic not 2. We also determine all operations on the mod p etale motivic cohomology of fields, extending Vial's computations of the operations on the mod p Milnor K-theory …
We prove that Behrend's function is constant on Hilb^n(C^3). A calculation of motivic zeta functions shows the relevant Milnor fibers have zero Euler characteristic. As a corollary we see that Hilb^n(C^3) is generically reduced. These results extend to moduli schemes of points and curves on resolutions of ADE singularities C \times Y_G.
The Milnor-Hirzebruch class of a locally complete intersection X in an algebraic manifold M measures the difference between the (Poincare dual of the) Hirzebruch class of the virtual tangent bundle of X and, respectively, the Brasselet-Schuermann-Yokura (homology) Hirzebruch class of X. In this note, we calculate the Milnor-Hirzebruch class of a globally defined algebraic hypersurface X in terms of the corresponding Hirzebruch invariants of singular strata in a Whitney stratification of X. Our approach is based on Schuermann's specialization property for the motivic Hirzebruch class transforma…
The characteristic varieties of a space are the jump loci for homology of rank 1 local systems. The way in which the geometry of these varieties may vary with the characteristic of the ground field is reflected in the homology of finite cyclic covers. We exploit this phenomenon to detect torsion in the homology of Milnor fibers of projective hypersurfaces. One tool we use is the interpretation of the degree 1 characteristic varieties of a hyperplane arrangement complement in terms of orbifold fibrations and multinets on the corresponding matroid. Another tool is a polarization construction, ba…
