Following the general strategy proposed by G.Rybnikov, we present a proof of his well-known result, that is, the existence of two arrangements of lines having the same combinatorial type, but non-isomorphic fundamental groups. To do so, the Alexander Invariant and certain invariants of combinatorial line arrangements are presented and developed for combinatorics with only double and triple points. This is part of a more general project to better understand the relationship between topology and combinatorics of line arrangements.
We introduce an algorithm that exploits a combinatorial symmetry of an arrangement in order to produce a geometric reflection between two disconnected components of its moduli space. We apply this method to disqualify three real examples found in previous work by the authors from being Zariski pairs. Robustness is shown by its application to complex cases, as well.
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 prove that the complement of any affine 2-arrangement in R^d is minimal, that is, it is homotopy equivalent to a cell complex with as many i-cells as its i-th rational Betti number. For the proof, we provide a Lefschetz-type hyperplane theorem for complements of 2-arrangements, and introduce Alexander duality for combinatorial Morse functions. Our results greatly generalize previous work by Falk, Dimca--Papadima, Hattori, Randell, and Salvetti--Settepanella and others, and they demonstrate that in contrast to previous investigations, a purely combinatorial approach suffices to show minimali…
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 study the combinatorics of hyperplane arrangements over arbitrary fields. Specifically, we determine in which situation an arrangement and its reduction modulo a prime number have isomorphic lattices via the use of minimal strong $σ$-Gröbner bases. Moreover, we prove that the Terao's conjecture over finite fields implies the conjecture over the rationals.
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 prove Terao conjecture saying that the freeness is determined by the combinatorics for arrangements of 13 lines in the complex projective plane and that the property of being nearly free is combinatorial for line arrangements of up to 12 lines in the complex projective plane.
Two arrangements with the same combinatorial intersection lattice but whose complements have different fundamental groups are called a Zariski pair. This work finds that there are at most nine such pairs amongst all ten line arrangements whose intersection points are doubles or triples. This result is obtained by considering the moduli space of a given configuration table which describes the intersection lattice. A complete combinatorial classification is given of all arrangements of this type under a suitable assumption, producing a list of seventy-one described in a table, most of which do n…
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 the theory of hyperplane arrangements, the most important and difficult problem is the combinatorial dependency of several properties. In this atricle, we prove that Terao's celebrated addition-deletion theorem for free arrangements is combinatorial, i.e., whether you can apply it depends only on the intersection lattice of arrangements. The proof is based on a classical technique. Since some parts are already completed recently, we prove the rest part, i.e., the combinatoriality of the addition theorem. As a corollary, we can define a new class of free arrangements called the additionally …
We explore a natural extension of braid arrangements in the context of determinantal arrangements. We show that these determinantal arrangements are free divisors. Additionally, we prove that free determinantal arrangements defined by the minors of $2\times n$ matrices satisfy nice combinatorial properties. We also study the topology of the complements of these determinantal arrangements, and prove that their higher homotopy groups are isomorphic to those of $S^3$. Furthermore, we find that the complements of arrangements satisfying those same combinatorial properties above have Poincaré polyn…
M. Saito recently proved that the jumping numbers of a hyperplane arrangement depend only on the combinatorics of the arrangement. However, a formula in terms of the combinatorial data was still missing. In this note, we give a formula and a different proof of the fact that the jumping numbers of a hyperplane arrangement depend only on the combinatorics. We also give a combinatorial formula for part of the Hodge spectrum and for the inner jumping multiplicities.
The fundamental group of the complement of a hyperplane arrangement in a complex vector space is an important topological invariant. The third rank of successive quotients in the lower central series of the fundamental group was called Falk invariant of the arrangement since Falk gave the first formula and asked to give a combinatorial interpretation. In this article, we give a combinatorial formula for the Falk invariant of a signed graphic arrangement that do not have a $B_2$ as sub-arrangement.
We prove that under certain combinatorial conditions, the realization spaces of line arrangements on the complex projective plane are connected. We also give several examples of arrangements with eight, nine and ten lines which have disconnected realization spaces.
Let $V$ be a complex algebraic hypersurface defined by a polynomial $f$ with Newton polytope $Δ$. It is well known that the spine of its amoeba has a structure of a tropical hypersurface. We prove in this paper that there exists a complex tropical hypersurface $V_{\infty, f}$ such that its coamoeba is homeomorphic to the closure in the real torus of the coamoeba of $V$. Moreover, the coamoeba of $V_{\infty, f}$ contains an arrangement of $(n-1)$-torus depending only on the geometry of $Δ$ and the coefficients of $f$. In addition, we can consider this arrangement, as a weighted codual hyperplan…
In this article there are two main results. The first result gives a formula, in terms of a log resolution, for the graded pieces of the Hodge filtration on the cohomology of a unitary local system of rank one on the complement of an arbitrary divisor in a smooth projective complex variety. The second result is an application of the first. We give a combinatorial formula for the spectrum of a hyperplane arrangement. M. Saito recently proved that the spectrum of a hyperplane arrangement depends only on combinatorics. However, a combinatorial formula was missing. The formula is achieved by a dif…
This expository article outlines the construction of De Concini-Procesi arrangement models and describes recent progress in understanding their significance from the algebraic, geometric, and combinatorial point of view. Throughout the exposition, a strong emphasis is given to combinatorial and discrete geometric data that lies at the core of the construction.
The fundamental group of the complement of a hyperplane arrangement in a complex vector space is an important topological invariant. The third rank of successive quotients in the lower central series of the fundamental group was called Falk invariant of the arrangement since Falk gave the first formula and asked to give a combinatorial interpretation. In this article, we give a combinatorial formula for the Falk invariant of hyperplane arrangements attached to certain gain graphs.
In an earlier version of this paper written by the second named author, we showed that the jumping coefficients of a hyperplane arrangement depend only on the combinatorial data of the arrangement as conjectured by Mustata. For this we proved a similar assertion on the spectrum. After this first proof was written, the first named author found a more conceptual proof using the Hirzebruch-Riemann-Roch theorem where the assertion on the jumping numbers was proved without reducing to that for the spectrum. In this paper we improve these methods and show that the jumping numbers and the spectrum ar…
In this article we address the length of perverse sheaves arising as direct images of rank one local systems on complements of hyperplane arrangements. In the case of a cone over an essential line arrangement with at most triple points, we provide combinatorial formulas for these lengths. As by-products, we also obtain in this case combinatorial formulas for the intersection cohomology Betti numbers of rank one local systems on the complement with same monodromy around the planes.
The k-th Fitting ideal of the Alexander invariant B of an arrangement A of n complex hyperplanes defines a characteristic subvariety, V_k(A), of the complex algebraic n-torus. In the combinatorially determined case where B decomposes as a direct sum of local Alexander invariants, we obtain a complete description of V_k(A). For any arrangement A, we show that the tangent cone at the identity of this variety coincides with R^1_k(A), one of the cohomology support loci of the Orlik-Solomon algebra. Using work of Arapura and Libgober, we conclude that all positive-dimensional components of V_k(A) a…
It is an open question to give a combinatorial interpretation of the Falk invariant of a hyperplane arrangement, i.e. the third rank of successive quotients in the lower central series of the fundamental group of the arrangement. In this article, we give a combinatorial formula for this invariant in the case of hyperplane arrangements that are complete lift representation of certain gain graphs. As a corollary, we compute the Falk invariant for the cone of the braid, Shi, Linial and semiorder arrangements.
We construct two combinatorially equivalent line arrangements in the complex projective plane such that the fundamental groups of their complements are not isomorphic. The proof uses a new invariant of the fundamental group of the complement to a line arrangement of a given combinatorial type with respect to isomorphisms inducing the canonical isomorphism of the first homology groups.
Let A be an arrangement of complex hyperplanes. The fundamental group of the complement of A is determined by a braid monodromy homomorphism from a finitely generated free group to the pure braid group. Using the Gassner representation of the pure braid group, we find an explicit presentation for the Alexander invariant of A. From this presentation, we obtain combinatorial lower bounds for the ranks of the Chen groups of A. We also provide a combinatorial criterion for when these lower bounds are attained.
The aim of this note is a combinatorial description of a category of $D$-modules over an affine space, smooth along the stratification defined by an arrangement of hyperplanes. These $D$-modules are assumed to satisfy certain non-resonance condition. The main result, see Theorem 4.1, generalizes [S.Khoroshkin, $D$-modules over arrangements of hyperplanes, Comm. in Alg. 23(9) (1995), 3481-3504].
We show that the monodromy operator action on the first cohomology group of the Milnor fiber is combinatorially determined for line arrangements with at most triple points and containing at most 18 lines, with one possible exception.
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（清华大学）
Two line arrangements in $\mathbb{CP}^2$ can have different topological properties even if they are combinatorially isomorphic. Results by Dan Cohen and Suciu and by Randell show that a reducible moduli space under complex conjugation is a necessary condition. We present a method to produce many examples of combinatorial line arrangements with a reducible moduli space obtained from a set of examples with irreducible moduli spaces. In this paper, we determine the reducibility of the moduli spaces of a family of arrangements of 11 lines constructed by adding a line to one of the ten $(10_3)$ con…
A central question in the study of line arrangements in the complex projective plane $\mathbb{CP}^2$ is: when does the combinatorial data of the arrangement determine its topological properties? In the present work, we introduce a topological invariant of complexified real line arrangements, the chamber weight. This invariant is based on the weight counting over the points of the arrangement dual configuration, located in particular chambers of the real projective plane $\mathbb{RP}^2$, dealing only with geometrical properties. Using this dual point of view, we construct several examples of co…
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.
We compute the combinatorial Aomoto-Betti numbers $β_p(\mathcal{A})$ of a complex reflection arrangement. When $\mathcal{A}$ has rank at least $3$, we find that $β_p(\mathcal{A})\le 2$, for all primes $p$. Moreover, $β_p(\mathcal{A})=0$ if $p>3$, and $β_2(\mathcal{A})\ne 0$ if and only if $\mathcal{A}$ is the Hesse arrangement. We deduce that the multiplicity $e_d(\mathcal{A})$ of an order $d$ eigenvalue of the monodromy action on the first rational homology of the Milnor fiber is equal to the corresponding Aomoto-Betti number, when $d$ is prime. We give a uniform combinatorial characterizatio…
In this paper we investigate special arrangements of lines in multiprojective spaces. In particular, we characterize codimensional two arithmetically Cohen-Macaulay (ACM) varieties in $\mathbb P^1\times\mathbb P^1\times\mathbb P^1$, called varieties of lines. We also describe their ACM property from combinatorial algebra point of view.
We study supersolvable line arrangements in ${\mathbb P}^2$ over the reals and over the complex numbers, as the first step toward a combinatorial classification. Our main results show that a nontrivial (i.e., not a pencil or near pencil) complex line arrangement cannot have more than 4 modular points, and if all of the crossing points of a complex line arrangement have multiplicity 3 or 4, then the arrangement must have 0 modular points (i.e., it cannot be supersolvable). This provides at least a little evidence for our conjecture that every nontrivial complex supersolvable line arrangement ha…
We describe limits of line bundles on nodal curves in terms of toric arrangements associated to Voronoi tilings of Euclidean spaces. These tilings encode information on the relationship between the possibly infinitely many limits, and ultimately give rise to a new definition of limit linear series. This paper and its second and third companion parts are the first in a series aimed to explore this new approach. In the present article, we set up the combinatorial framework and show how graphs with integer lengths associated to the edges provide tilings of Euclidean spaces by certain polytopes as…
This is a short note on various results about the combinatorial properties of line arrangements in terms of the Chern numbers of the corresponding log surfaces. This resembles the study of the geography of surfaces of general type. We prove some new results about the distribution of Chern slopes, we prove a connection between their accumulation points and the accumulation points of linear $H$-constants on the plane, and we present two open problems in relation to geography over $\mathbb Q$ and over $\mathbb C$.
On conic-line arrangements with nodes, tacnodes, and ordinary triple points
Université Côte d’Azur, CNRS, LJAD（蔚蓝海岸大学，法国国家科学研究中心，拉让热分析实验室）；Simion Stoilow Institute of Mathematics（西蒙·斯托伊洛数学研究所）；Pedagogical University of Krakow（克拉科夫师范大学）
We give a combinatorial characterization of isotropic subspaces in the Orlik- Solomon algebra of a hyperplane arrangement in terms of decorations of its intersection lattice. We then use this characterization to prove a result that relates these isotropic subspaces with linear systems supported on the arrangement, for arrangements with isolated non-normal crossings of a particular form.
In this paper we define the combinatorial analogous of a pencil, and show its relationship with the concept of admissibility. Such an object is usefull to study the isomorphisms between fundamental groups of the complements of line arrangement with the same combinatorial type. This definition generalizes the idea of net given by Yuzvinsky and others. The main theorem in this paper states that there is a correspondence between components of the resonance variety and combinatorial pencils.
