Each irreducible component of the first resonance variety of a hyperplane arrangement naturally determines a codimension one foliation on the ambient space. The superposition of these foliations define what we call the resonance web of the arrangement. In this paper we initiate the study of these objects with emphasis on their spaces of abelian relations.
We introduce the package \textbf{arrangements} for the software CoCoA. This package provides a data structure and the necessary methods for working with hyperplane arrangements. In particular, the package implements methods to enumerate many commonly studied classes of arrangements, perform operations on them, and calculate various invariants associated to them.
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 prove the existence of Gysin morphisms for hyperplane sections that may not satisfy the usual hypotheses of the Lefschetz hyperplane theorem. As an application, we show the triviality of the Alexander polynomial of a particular class of non-symmetric line arrangements, thus providing positive evidence for a conjecture of Papadima and Suciu.
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.
Faculty of Mathematics and Computer Science, University of Bucharest（布加勒斯特大学数学与计算机科学学院）；Simion Stoilow Institute of Mathematics（西蒙·斯托伊洛瓦数学研究所）；Institut für Mathematik, Humboldt-Universität zu Berlin（柏林洪堡大学数学研究所）；Department of Mathematics, University of Notre Dame（圣母大学数学系）；Department of Mathematics, Northeastern University（东北大学数学系）
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 …
In this article we describe two new characterizations of freeness for hyperplane arrangements via the study of the generic initial ideal and of the sectional matrix of the Jacobian ideal of arrangements.
In this article we prove in the main theorem that, there is a bijection between the isomorphism classes of a certain type of real hyperplane arrangements on the one hand, and the antipodal pairs of convex cones of an associated discriminantal arrangement on the other hand. The type of hyperplane arrangements considered and the isomorphism classes have been defined precisely. As a consequence we enumerate such isomorphism classes by computing the characteristic polynomial of the discriminantal arrangement. With a certain restriction, the enumerated value is shown to be independent of the discri…
In this paper, we study the class of free hyperplane arrangements. Specifically, we investigate the relations between freeness over a field of finite characteristic and freeness over $\mathbb{Q}$.
Motivated by some computations of Feynman integrals and certain conjectures on mixed Tate motives, Bejleri and Marcolli posed questions about the $\mathbb{F}_1$-structure (in the sense of torification) on the complement of a hyperplane arrangement, especially for an arrangement defined in the space of cycles of a graph. In this paper, we prove that an arrangement has an $\mathbb{F}_1$-structure if and only if it is Boolean. We also prove that the arrangement in the cycle space of a graph is Boolean if and only if the cycle space has a basis consisting of cycles such that any two of them do not…
In this article, we study the weak and strong Lefschetz properties, and the related notion of almost revlex ideal, in the non-Artinian case, proving that several results known in the Artinian case hold also in this more general setting. We then apply the obtained results to the study of the Jacobian algebra of hyperplane arrangements.
We introduce a new class of arrangements of hyperplanes, called (strictly) plus-one generated arrangements, from algebraic point of view. Plus-one generatedness is close to freeness, i.e., plus-one generated arrangements have their logarithmic derivation modules generated by dimension plus one elements, with relations containing one linear form coefficient. We show that strictly plus-one generated arrangements can be obtained if we delete a hyperplane from free arrangements. We show a relative freeness criterion in terms of plus-one generatedness. In particular, for plane arrangements, we show…
Kapranov and schechtman gave quiver description of perverse sheaves on real hyperplane arrangements. We used this description to relate the perverse sheaves on Coxeter hyperplane arrangements of type $\mathcal A_n$ for different values of $n$. As a consequence we prove that the simple perverse sheaves whose stalk on open cells are zero are induced from the perverse sheaves on lower dimension arrangements.
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 study the Hadamard product of the linear forms defining a hyperplane arrangement with those of its dual, which we view as generating an ideal in a certain polynomial ring. We use this ideal, which we call the ideal of pairs, to study logarithmic derivations and critical set varieties of arrangements in a way which is symmetric with respect to matroid duality. Our main result exhibits the variety of the ideal of pairs as a subspace arrangement whose components correspond to cyclic flats of the arrangement. As a corollary, we are able to give geometric explanations of some freeness and projec…
We establish a general theory for projective dimensions of the logarithmic derivation modules of hyperplane arrangements. That includes the addition-deletion and restriction theorem, Yoshinaga-type result, and the division theorem for projective dimensions of hyperplane arrangements. They are generalizations of the free arrangement cases, that can be regarded as the special case of our result when the projective dimension is zero. The keys to prove them are several new methods to determine the surjectivity of the Euler and the Ziegler restriction maps, that is combinatorial when the projective…
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)（上海数学与交叉学科研究院）
A matroid is a machine capturing linearity of mathematical objects and producing combinatorial structures. Matroid structure arises everywhere since linearity is a ubiquitous concept. One natural way to obtain matroids is by considering hyperplane arrangements, which give rise to convex polytopes called matroid polytopes. Much research has been conducted on these three areas: matroids, matroid polytopes, and hyperplane arrangements. However, substantial gaps in our knowledge remain, and the correspondence diagram between those areas needs to be more extensive. For instance, currently, there is…
Motivic principal value integrals for hyperplane arrangements
KU Leuven（荷语鲁汶大学）；Yau Mathematical Sciences Center, Tsinghua University（清华大学丘成桐数学科学中心）；Basque Center for Applied Mathematics（巴斯克应用数学中心）；Tsinghua University（清华大学）
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…
Max Planck Institute for Physics（马克斯·普朗克物理研究所）；Max Planck Institute for Mathematics in the Sciences（马克斯·普朗克数理科学研究所）；TU Dresden（德累斯顿工业大学）；Harvard Univeristy（哈佛大学）
We introduce and study a class of multivariate rational functions associated with hyperplane arrangements, called flag Hilbert-Poincaré series. These series are intimately connected with Igusa local zeta functions of products of linear polynomials, and their motivic and topological relatives. Our main results include a self-reciprocity result for central arrangements defined over fields of characteristic zero. We also prove combinatorial formulae for a specialization of the flag Hilbert-Poincaré series for irreducible Coxeter arrangements of types $\mathsf{A}$, $\mathsf{B}$, and $\mathsf{D}$ i…
We prove using an extension of Saito's criterion that the algebra of differential operators tangent to a free hyperplane arrangement is generated by the derivations of the arrangement, recovering in this way a result of F. J. Calderón-Moreno.
