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).
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 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).
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.
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.
We describe a new relation between the topology of hypersurface complements, Milnor fibers and degree of gradient mappings. In particular we show that any projective hypersurface has affine parts which are bouquets of spheres. The main tools are the polar curves and the affine Lefschetz theory developped by H. Hamm, D.T. Lê 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 the minimality of hyperplane arrangements (see Randell math.AT/0011101 for another proof of this result). This is then…
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.
Using recent results by A. Macinic, S. Papadima and R. Popescu, and a refinement of an older construction of ours, we determine the monodromy action on $H^1(F(G),C)$, where $F(G)$ denotes the Milnor fiber of a hyperplane arrangement associated to an irreducible complex reflection group $G$.
We study a topological method to calculate the first Milnor fiber cohomology of a defining polynomial of a reduced projective hyperplane arrangement $X$ of degree $d$. We can show the vanishing of a monodromy eigenspace of the first Milnor fiber cohomology with eigenvalue of order $m\ge 2$ if $X\setminus(X^{[(m)]}\cup X^{\langle 3\rangle})$ or more generally $X\setminus(X^{[(m)]}\cup X^{\langle 3\rangle}\cup X_d)$ is connected. Here $X^{[(m)]}$ is the set of points of $X$ with multiplicity divisible by $m$, and $X^{\langle 3\rangle}:=\bigcup_{i,j,k}X_i\cap X_j\cap X_k$ with $X_i$ the irreducib…
The Hirzebruch-Milnor class is given by the difference between the homology Hirzebruch characteristic class and the virtual one. It is known that the Hirzebruch-Milnor class for a certain singular hypersurface can be calculated by using the Hodge spectrum of each stratum of singular locus. So far there is no explicit calculation of this invariant for any non-trivial examples, and we calculate this invariant by two different ways for low dimmensional hyperplane arrangements.
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.
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 prove that the mod $2$ Betti numbers of double coverings of a complex hyperplane arrangement complement are combinatorially determined. The proof is based on a relation between the mod $2$ Aomoto complex and the transfer long exact sequence. Applying the above result to the icosidodecahedral arrangement ($16$ planes in the three dimensional space related to the icosidodecahedron), we conclude that the first homology of the Milnor fiber has non-trivial $2$-torsion.
The order of the Milnor fiber monodromy operator of a central hyperplane arrangement is shown to be combinatorially determined. In particular, a necessary and sufficient condition for the triviality of this monodromy operator is given. It is known that the complement of a complex hyperplane arrangement is cohomologically Tate and, if the arrangement is defined over $\Q$, has polynomial count. We show that these properties hold for the corresponding Milnor fibers if the monodromy is trivial. We construct a hyperplane arrangement defined over $\Q$, whose Milnor fiber has a nontrivial monodromy o…
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 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.
We study Milnor fibers of complexified real line arrangements. We give a new algorithm computing monodromy eigenspaces of the first cohomology. The algorithm is based on the description of minimal CW-complexes homotopic to the complements, and uses the real figure, that is, the adjacency relations of chambers. It enables us to generalize a vanishing result of Libgober, give new upper-bounds and characterize the $A_3$-arrangement in terms of non-triviality of Milnor monodromy.
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.
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…
Combining recent results by A. Macinic, S. Papadima and R. Popescu with a spectral sequence and computer aided computations, we determine the monodromy action on $H^1(F,\mathbb{C})$, where $F$ denotes the Milnor fiber of the hyperplane arrangement associated to the exceptional irreducible complex reflection group $G_{31}$. This completes the description given by the first author of such monodromy operators for all the other irreducible complex reflection groups.
There are several topological spaces associated to a complex hyperplane arrangement: the complement and its boundary manifold, as well as the Milnor fiber and its own boundary. All these spaces are related in various ways, primarily by a set of interlocking fibrations. We use cohomology with coefficients in rank 1 local systems on the complement of the arrangement to gain information on the homology of the other three spaces, and on the monodromy operators of the various fibrations.
Monodromy Eigenvalues of Milnor Fibers for Line Arrangements
Qiuzhen College, Tsinghua University(邱耀学院,清华大学);Center for Mathematics and Interdisciplinary Sciences, Fudan University(复旦大学数学与交叉科学研究院);Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)(上海数学与交叉科学研究院);Tsinghua University(清华大学)
As is well-known, the homology groups of the complement of a complex hyperplane arrangement are torsion-free. Nevertheless, as we showed in a recent paper [arXiv:1209.3414] the homology groups of the Milnor fiber of such an arrangement can have non-trivial integer torsion. We give here a brief account of the techniques that go into proving this result, outline some of its applications, and indicate some further questions that it brings to light.
We describe an algorithm computing the monodromy and the pole order filtration on the top Milnor fiber cohomology of hypersurfaces in $\mathbb{P}^n$ whose pole order spectral sequence degenerates at the second page. In the case of hyperplane arrangements and free, locally quasi-homogeneous hypersurfaces, and assuming a key conjecture, this algorithm is much faster than for a hypersurface as above. Our conjecture is supported by the results due to L. Narv\' ez Macarro and M. Saito on the roots of Bernstein-Sato polynomials of such hypersurfaces, by all the examples computed so far, and by one p…
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…
A central question in arrangement theory is to determine whether the characteristic polynomial $Δ_q$ of the algebraic monodromy acting on the homology group $H_q(F(\mathcal{A}),\mathbb{C})$ of the Milnor fiber of a complex hyperplane arrangement $\mathcal{A}$ is determined by the intersection lattice $L(\mathcal{A})$. Under simple combinatorial conditions, we show that the multiplicities of the factors of $Δ_1$ corresponding to certain eigenvalues of order a power of a prime $p$ are equal to the Aomoto--Betti numbers $β_p(\mathcal{A})$, which in turn are extracted from $L(\mathcal{A})$. When $…
Consider a fibration \[p:E\to S^{p-1}\] with fiber $F$. We have the following natural question: Under what conditions does this fibration admit a cross-section? Our purpose is to discuss this problem when the fibration $p$ is the Milnor fibration $f_{\mid}:f^{-1}(S^{p-1}_δ)\cap D^{n}_ε\to S^{p-1}_δ$ with Milnor fiber $F_f$ and the Milnor fibration of arrangements $Q:\mathcal{M}(\mathcal{A})\to \mathbb{C}^\ast$ with fiber $F=F(\mathcal{A})$. Furthermore, we use our results to study the tasking planning problem for the Milnor fibration as a work map and we give the tasking algorithms.
For a germ $f$ on a complex manifold $X$, we introduce a complex derived from the Liouville form acting on logarithmic differential forms, and give an exactness criterion. We use this Liouville complex to connect properties of the $D$-module generated by $f^s$ to homological data of the Jacobian ideal; specifically we show that for a large class of germs the annihilator of $f^s$ is generated by derivations. Through local cohomology, we connect the cohomology of the Milnor fiber to the Jacobian module via logarithmic differentials. In particular, we consider (not necessarily reduced) hyperplane…
We investigate the cohomology of the Milnor fibre of a reflection arrangement as a module for the group $Γ$ generated by the reflections, together with the cyclic monodromy. Although we succeed completely only for unitary reflection groups of rank two, we establish some general results which relate the isotypic componenents of the monodromy on the cohomology, to the Hodge structure and to the cohomology degree. Using eigenspace theory for reflection groups, we prove some sum formulae for additive functions such as the equivariant weight polynomial and certain polynomials related to the Euler c…
We give an explicit expression for the contact loci of hyperplane arrangements and show that their cohomology rings are combinatorial invariants. We also give an expression for the restricted contact loci in terms of Milnor fibers of associated hyperplane arrangements. We prove the degeneracy of a spectral sequence related to the restricted contact loci of a hyperplane arrangement and which conjecturally computes algebraically the Floer cohomology of iterates of the Milnor monodromy. We give formulas for the Betti numbers of contact loci and restricted contact loci in generic cases.
We investigate the interplay between the monodromy and the Deligne mixed Hodge structure on the Milnor fiber of a homogeneous polynomial. In the case of hyperplane arrangement Milnor fibers, we obtain a new result on the possible weights. For line arrangements, we prove in a new way the fact due to Budur and Saito that the spectrum is determined by the weak combinatorial data, and show that such a result fails for the Hodge-Deligne polynomials.
We prove a vanishing theorem for the cohomology of the complement of a complex hyperplane arrangement with coefficients in a complex local system. This result is compared with other vanishing theorems, and used to study Milnor fibers of line arrangements, and hypersurface arrangements.
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.
First we construct a free resolution for the Milnor (or Jacobian) algebra $M(f)$ of a complex projective Chebyshev plane curve $\CC_d:f=0$ of degree $d$. In particular, this resolution implies that the dimensions of the graded components $M(f)_k$ are constant for $k \geq 2d-3.$ Then we show that the Milnor algebra of a nodal plane curve $C$ has such a behaviour if and only if all the irreducible components of $C$ are rational. For the Chebyshev curves, all of these components are in addition smooth, hence they are lines or conics and explicit factorizations are given in this case.
The Hodge spectrum is an important analytic invariant of singularities encoding the Hodge filtration and the monodromy of the Milnor fiber. Explicit formulas exist for only a few cases. In this article the main result is a combinatorial formula for homogeneous polynomials in three variables whose reduced one define projective curve arrangements having only ordinary multiple points.
In the present paper, we study deformations of polar weighted homogeneous polynomials which are also polar weighted homogeneous polynomials. We describe a round handle decomposition of the Milnor fibration of a deformation of a polar weighted homogeneous polynomial concretely and give the number of round handles by the number of positive and negative components of the links of singularities appearing before and after the deformation. We also give a formula of characteristic polynomials of these singularities by using the decomposition of the monodromy of the Milnor fibration induced by a round…
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 survey interactions between the topology and the combinatorics of complex hyperplane arrangements. Without claiming to be exhaustive, we examine in this setting combinatorial aspects of fundamental groups, associated graded Lie algebras, higher homotopy groups, cohomology rings, twisted homology with rank 1 complex coefficients, and Milnor fibers.
We give two examples of plane curve arrangements of pencil type which are very close to line arrangements, though the action of the monodromy operator on the first cohomology group of the Milnor Fiber has eigenvalues of order 5 and 6, showing that surprising situations can occur for larger classes of curve arrangements than for line arrangements. Our computations rely on the algorithm given by A. Dimca and G. Sticlaru which detects the non trivial monodromy eigenspaces of free curves.
For each central essential hyperplane arrangement $\mathcal{A}$ over an algebraically closed field, let $Z_\mathcal{A}^{\hatμ}(T)$ denote the Denef-Loeser motivic zeta function of $\mathcal{A}$. We prove a formula expressing $Z_\mathcal{A}^{\hatμ}(T)$ in terms of the Milnor fibers of related hyperplane arrangements. We use this formula to show that the map taking each complex arrangement $\mathcal{A}$ to the Hodge-Deligne specialization of $Z_{\mathcal{A}}^{\hatμ}(T)$ is locally constant on the realization space of any loop-free matroid. We also prove a combinatorial formula expressing the mot…
In this paper we give a very natural description of the bijections between the minimal CW-complex homotopy equivalent to the complement of a supersolvable arrangement $\mathcal{A}$, the $\textbf{nbc}$ basis of the Orlik-Solomon algebra associated to $\mathcal{A}$ and the set of chambers of $\mathcal{A}$. We use these bijections to get results on the first (co)homology group of the Milnor fiber of $\mathcal{A}$ and to describe a bijection between the symmetric group and the $\textbf{nbc}$ basis of the braid arrangement.
The Monodromy Conjecture asserts that if c is a pole of the local topological zeta function of a hypersurface, then exp(2πi c) is an eigenvalue of the monodromy on the cohomology of the Milnor fiber. A stronger version of the conjecture asserts that every pole is a root of the Bernstein-Sato polynomial of the hypersurface. In this note we prove the weak version of the conjecture for hyperplane arrangements. Furthermore, we reduce the strong version to the following conjecture: -n/d is always a root of the Bernstein-Sato polynomial of an indecomposable essential central hyperplane arrangement o…
For a projective hyperplane arrangement, we study sufficient conditions in terms of combinatorial data for ESV-calculability of the monodromy eigenspaces of the first Milnor fiber cohomology for eigenvalues of order $m>1$. This can be reduced to the line arrangement case by Artin's theorem. These sufficient conditions are often unsatisfied if efficiency or complexity of the combinatorics of arrangement is high. In order to measure these, we introduce the notions of $m$-efficiency and $m$-complexity for $m\ge 3$. The former is defined to be the number of points with multiplicity divisible by $m…
The{N/D}-Conjecture for Nonresonant Hyperplane Arrangements
Tsinghua University(清华大学);Center for Mathematics and Interdisciplinary Sciences, Fudan University(复旦大学数学与交叉科学研究院);Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)(上海数学与交叉学科研究院)
We show that the cohomology of a rank 1 local system on the complement of a projective hyperplane arrangement can be calculated by the Aomoto complex in certain cases even if the condition on the sum of the residues of connection due to Esnault et al is not satisfied. For this we have to study the localization of Hodge-logarithmic differential forms which are defined by using an embedded resolution of singularities. As an application we can compute certain monodromy eigenspaces of the first Milnor cohomology group of the defining polynomial of the reflection hyperplane arrangement of type $G_{…
Let $G$ be a group which admits the structure of an iterated semidirect product of finitely generated free groups. We construct a finite, free resolution of the integers over the group ring of $G$. This resolution is used to define representations of groups which act compatibly on $G$, generalizing classical constructions of Magnus, Burau, and Gassner. Our construction also yields algorithms for computing the homology of the Milnor fiber of a fiber-type hyperplane arrangement, and more generally, the homology of the complement of such an arrangement with coefficients in an arbitrary local syst…
We investigate one-parameter deformations of functions on affine space which define parameterizable hypersurfaces. With the assumption of isolated polar activity at the origin, we are able to completely express the Lê numbers of the special fiber in terms of the Lê numbers of the generic fiber and the characteristic polar multiplicities of the comparison, a perverse sheaf naturally associated to any reduced complex analytic space on which the constant sheaf $\Q_X^\bullet[\dim X]$ is perverse. This generalizes the classical formula for the Milnor number of a plane curve in terms of double point…
We describe the singularities and related properties of the arrangement of 21 reducible polars of Klein's quartic, containing Klein's well-known arrangement of $21$ lines.
Let $(f, g)$ be a pair of complex analytic functions on a singular analytic space $X$. We give ``the correct'' definition of the relative polar curve of $(f, g)$, and we give a very formal generalization of Lê's attaching result, which relates the relative polar curve to the relative cohomology of the Milnor fiber modulo a hyperplane slice. We also give the technical arguments which allow one to work with a derived category version of the discriminant and Cerf diagram of a pair of functions. From this, we derive a number of generalizations of results which are classically proved using the disc…