In this note we consider the Milnor fiber $F$ associated to a reduced projective plane curve $C$. A computational approach for the determination of the characteristic polynomial of the monodromy action on the first cohomology group of $F$, also known as the Alexander polynomial of the curve $C$, is presented. This leads to an effective algorithm to detect all the monodromy eigenvalues and, in many cases, explicit bases for the monodromy eigenspaces in terms of polynomial differential forms.
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.
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 discuss and prove a number of cohomological results for Milnor fibers, real links, and complex links of local complete intersections with singularities of arbitrary dimension.
We describe a general setting where the monodromy action on the first cohomology group of the Milnor fiber of a hyperplane arrangement is the identity.
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.
The complement of a hyperplane arrangement in the complex projective space is known to be formal. We prove the global Milnor fiber associated to the homogeneous polynomial defining the arrangement may not even be 1-formal, by giving an example in dimension 2.
In this note, we prove the connectivity of the Milnor fiber for a mixed polynomial $f(\mathbf z,\bar{\mathbf z})$, assuming the existence of a sequence of smooth points of $f^{-1}(0)$ converging to the origin. This result gives also a another proof for the connectivity of the Milnor fiber of a non-reduced complex analytic function which is proved by A. Dimca
We provide a bouquet decomposition for the determinantal Milnor fiber of an essentially isolated determinantal singularity of arbitrary type $(m,n,t)$. The building blocks in the decomposition are (suspensions of) hyperplane sections of the associated generic determinantal variety $M_{m,n}^t$ in general position off the origin.
We give in this work an explicit combinatorial algorithm for the description of the Milnor fiber of a Newton non degenerate surface singularity as a graph manifold. This is based on a previous work by the author describing a general method for the computation of the boundary of the Milnor fiber of any reduced non isolated singularity of complex surface.
We say that a complex analytic space, $X$, is an intersection cohomology manifold if and only if the shifted constant sheaf on $X$ is isomorphic to intersection cohomology; this is quickly seen to be equivalent to $X$ being a homology manifold. Given an analytic function $f$ on an intersection cohomology manifold, we describe a simple relation between $V(f)$ being an intersection cohomology manifold and the vanishing cycle Milnor monodromy of $f$. We then describe how the Sebastiani-Thom isomorphism allows us to easily produce intersection cohomology manifolds with arbitrary singular sets. Fin…
Using a recent result by S. Papadima and A. Suciu, we show that the equivariant Poincaré-Deligne polynomial of the Milnor fiber of a projective line arrangement having only double and triple points is combinatorially determined.
We show a combinatorial formula for a lower bound of the dimension of the non-unipotent monodromy part of the first Milnor cohomology of a hyperplane arrangement satisfying some combinatorial conditions. This gives exactly its dimension if a stronger combinatorial condition is satisfied. We also prove a non-combinatorial formula for the dimension of the non-unipotent part of the first Milnor cohomology, which apparently depends on the position of the singular points. The latter generalizes a formula previously obtained by the second named author.
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.
We give a description of the Milnor fiber and the monodromy of a singularity of the form f+zg = 0 where f and g define plane curves and have no common components. The description depends only on the topological type of the two plane curve germs defined by f and g. In particular, this gives a description of the boundary of the Milnor fiber. As a corollary, we give a simple formula for the monodromy zeta function and the Euler characteristic of the fiber.
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.
This brief survey of some singularity invariants related to Milnor fibers should serve as a quick guide to references. We attempt to place things into a wide geometric context while leaving technicalities aside. We focus on relations among different invariants and on the practical aspect of computing them.
In this note, we provide a quick introduction to the study of the Milnor fibration via the derived category and perverse sheaves. This is primarily a dictionary for translating from the standard topological setting to the derived category and/or the Abelian category of perverse sheaves.
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 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 note we determine the Bernstein-Sato polynomial $b_Q(s)$ of a generic central arrangement $Q=\prod_{i=1}^kH_i$ of hyperplanes. We establish a connection between the roots of $b_Q(s)$ and the degrees of the generators for the top cohomology of the corresponding Milnor fiber. This connection holds for all homogeneous polynomials. We also introduce certain subschemes of the arrangement determined by the roots of $b_Q(s)$.
We give a recursive formula, expressed in terms of the characteristic tuples, for the Betti numbers of the boundary of the Milnor fiber of an irreducible quasi-ordinary surface. The singular locus of the surface consists of two components, and for each component we introduce a sequence of increasingly simpler surfaces. Our recursion depends on a detailed comparison of these two sequences. We indicate how we expect pieces of these associated surfaces to glue together to reconstruct the Milnor fiber and its boundary.
We give an explicit description of a real regulator from the cohomology of a Milnor complex associated to a projective algebraic manifold, to a certain quotient of Deligne cohomology.
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".
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 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 discuss combinatorial invariance of the betti numbers of the Milnor fiber for arrangements of lines with points of multiplicity at most three and describe a link between this problem and enumeration of solutions of the Catalan equation over function field in the case when its coefficients are products of linear forms and the equation defines an elliptic curve.
We propose a new sheaf-theoretical method for the calculation of the monodromy zeta functions of Milnor fibrations. As an application, classical formulas of Kushnirenko and Varchenko etc. concerning polynomials on $\CC^n$ will be generalized to polynomial functions on any toric variety.
We give the first (as far as we know) complete description of the boundary of the Milnor fiber for some non-isolated singular germs of surfaces in ${\bf C}^3$. We study irreducible (i.e. $gcd (m,k,l) = 1$) non-isolated (i.e. $1 \leq k < l$) Hirzebruch hypersurface singularities in ${\bf C}^3$ given by the equation $z^m - x^ky^l = 0$. We show that the boundary $L$ of the Milnor fiber is always a Seifert manifold and we give an explicit description of the Seifert structure. From it, we deduce that : 1) $L$ is never diffeomorphic to the boundary of the normalization. 2) $L$ is a lens space iff $m…
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…
For each complex central essential hyperplane arrangement $\mathcal{A}$, let $F_{\mathcal{A}}$ denote its Milnor fiber. We use Tevelev's theory of tropical compactifications to study invariants related to the mixed Hodge structure on the cohomology of $F_{\mathcal{A}}$. We prove that the map taking each arrangement $\mathcal{A}$ to the Hodge-Deligne polynomial of $F_{\mathcal{A}}$ is locally constant on the realization space of any loop-free matroid. When $\mathcal{A}$ consists of distinct hyperplanes, we also give a combinatorial description for the homotopy type of the boundary complex of an…
We explain how the generalized Milnor-Wood inequality for reductive representations of a cocompact complex-hyperbolic lattice into a Hermitian Lie group translates, under the non-abelian Hodge correspondence, into various kinds of Milnor-Wood inequalities for Higgs bundles. This clarifies the relation between the representation theoretic generalized Milnor-Wood inequality and the various different versions of Milnor-Wood inequalities for Higgs bundles that are known in the literature.
We note that Theorem 5.4 of the paper ``Characteristic cycles of perverse sheaves and Milnor fibers" (by P. Nang and K. Takeuchi, published online in Math. Zeitschrift, October 15, 2004) holds for "any" non-zero complex number $a$.
In this article we investigate mixed polynomials and present conditions that can be applied on a specific class of polynomials in order to prove the existence of the Milnor Fibration, Milnor-Lê Fibration and the equivalence between them. We prove for this class the of functions that the Milnor-Lê fiber on a regular value is homeomorphic to the Milnor-Lê fiber on a critical value. We develop a criterion to verify the transversality property and apply it to a special case of the class of mixed polynomial.
In this survey, we remind some fibrations structure theorems (also called Milnor's fibrations) recently proved in the real and complex case, in the local and global settings. We give several Poincaré-Hopf type formulae which relates the Euler-Poincaré characteristic of these fibers (also called Milnor's fibers) and indices (topological degree) of appropriated vector fields defined on spheres of radii small or big enough.
We consider the varieties of singular $m \times m$ complex matrices which may be either general, symmetric or skew-symmetric (with $m$ even). For these varieties we have shown in another paper that they had compact "model submanifolds", for the homotopy types of the Milnor fibers which are classical symmetric spaces in the sense of Cartan. In this paper we use these models, combined with results due to a number of authors concerning the Schubert decomposition of Lie groups, symmetric spaces via the Cartan model together with Iwasawa decomposition to give a cell decomposition of the global Miln…
We describe a new relation between the topology of hyperplane arrangements, Milnor fibers and global polar curves, via the affine Lefschetz theory developped by A. Némethi. In particular, we improve some results due to Orlik and Terao (see Math. Ann. 301(1995)) and complete/clarify a proof by Randell concerning the minimality of hyperplane arrangements (see math.AT/0011101).
We analyze the monodromy action, over the rationals, on the first homology group of the Milnor fiber, for arbitrary subarrangements of Coxeter arrangements. We propose a combinatorial formula for the monodromy action, involving Aomoto complexes in positive characteristic. We verify the formula, in cases A, B and D.
Through the study of Morse theory on the associated Milnor fiber, we show that complex hyperplane arrangement complements are minimal. That is, the complement of a complex hyperplane arrangement has the homotopy type of a CW complex in which the number of p-cells equals the p-th betti number.
We prove homological mirror symmetry for Milnor fibers of simple singularities in dimensions greater than one, which are among the log Fano cases of Conjecture 1.5 in arXiv:1806.04345. The proof is based on a relation between matrix factorizations and Calabi--Yau completions. As an application, we give an explicit computation of the Hochschild cohomology group of the derived $n$-preprojective algebra of a Dynkin quiver for any $n \geq 1$, and the symplectic cohomology group of the Milnor fiber of any simple singularity in any dimension greater than one.
Let $f,g\in\mathbb{C}\{x,y\}$ be germs of functions defining plane curve singularities without common components in $(\mathbb{C}^2,0)$ and let $Φ(x,y,z) = f(x,y) + zg(x,y)$. We give an explicit algorithm producing a plumbing graph for the boundary of the Milnor fiber of $Φ$ in terms of a common resolution for $f$ and $g$.
We give a vanishing theorem for the monodromy eigenspaces of the Milnor fibers of complex line arrangements. By applying the modular bound of the local system cohomology groups given by Papadima-Suciu, the result is deduced from the vanishing of the cohomology of certain Aomoto complex over finite fields. In order to prove this, we introduce degeneration homomorphisms of Orlik-Solomon algebras.
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 describe a new relation between the topology of hypersurface complements, Milnor fibers and degree of gradient mappings. The main tools are polar curves and the affine Lefschetz theory developped by H. Hamm and A. Némethi. In the special case of the hyperplane arrangements, we strengthen some results due to Orlik and Terao (see Math. Ann. 301(1995)) and obtain an independant proof for the minimality of hyperplane arrangements (see Randell math.AT/0011101 for another proof of this result).
In a recent paper, Dimca and Nemethi pose the problem of finding a homogeneous polynomial f such that the homology of the complement of the hypersurface defined by f is torsion-free, but the homology of the Milnor fiber of f has torsion. We prove that this is indeed possible, and show by construction that, for each prime p, there is a polynomial with p-torsion in the homology of the Milnor fiber. The techniques make use of properties of characteristic varieties of hyperplane arrangements.
We study a natural Hodge module on the Hilbert scheme of four points on affine three-space, which categorifies the Donaldson--Thomas invariant of the Hilbert scheme. We determine the weight filtration on the Hodge module explicitly in terms of intersection cohomology complexes, and compute the E-polynomial of its cohomology. The computations make essential use of a description of the singularity of the Hilbert scheme as the degeneracy locus of the Pfaffian function.
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 describe an algorithm computing the monodromy and the pole order filtration on the Milnor fiber cohomology of any reduced projective plane curve $C$. The relation to the zero set of Bernstein-Sato polynomial of the defining homogeneous polynomial for $C$ is also discussed. When $C$ has some non weighted homogeneous singularities, then we have to assume that a conjecture holds in order to get some of our results. In all the examples computed so far this conjecture holds.
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.
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…
