We prove the existence of complexified real arrangements with the same combinatorics but different embeddings in the complex projective plane. Such pair of arrangements has an additional property: they admit conjugated equations on the ring of polynomials over the number field ${\mathbb Q}(\sqrt{5})$.
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.
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 show that the deletion theorem of a free arrangement is combinatorial, i.e., whether we can delete a hyperplane from a free arrangement keeping freeness depends only on the intersection lattice. In fact, we give an explicit sufficient and necessary condition for the deletion theorem in terms of characteristic polynomials. This gives a lot of corollaries including the existence of free filtrations. The proof is based on the result about the form of minimal generators of a logarithmic derivation module of a multiarrangement which satisfies the $b_2$-equality.
In this paper, we give a Zariski triple of the arrangements for a smooth quartic and its four bitangents. A key criterion to distinguish the topology of such curves is given by a matrix related to the height pairing of rational points arising from three bitangent lines.
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 explain connections among several, a priori unrelated, areas of mathematics: combinatorics, algebraic statistics, topology and enumerative algebraic geometry. Our focus is on discrete invariants, strongly related to the theory of Lorentzian polynomials. The main concept joining the mentioned fields is a linear space of matrices.
For a line arrangement in the complex projective plane $\mathbb{P}^2$, we investigate the compactification $\overline{F}$ of the affine Milnor fiber in $\mathbb{P}^3$ and its minimal resolution $\widetilde{F}$. We compute the Chern numbers in terms of the combinatorics of the line arrangement, then we show that the minimal resolution is never a quotient of a ball; in addition, we also prove that $\widetilde{F}$ is of general type when the arrangement has only nodes or triple points as singularities.
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.
Many papers are devoted to study logarithmic sheaves associated to reduced divisors, in particular logarithmic bundles associated to plane curves since forty years in differential and algebraic topology or geometry. An interesting family of these curves are the so-called free ones for which the associated logarithmic sheaf is the direct sum of two line bundles. When the curve is a finite set of distinct lines (i.e. a line arrangement), Terao conjectured thirty years ago that its freeness depends only on its combinatorics. A lot of efforts were done to prove it but at this time it is only prove…
For line arrangements in P^2 with nice combinatorics (in particular, for those which are nodal away the line at infinity), we prove that the combinatorics contains the same information as the fundamental group together with the meridianal basis of the abelianization. We consider higher dimensional analogs of the above situation. For these analogs, we give purely combinatorial complete descriptions of the following topological invariants (over an arbitrary field): the twisted homology of the complement, with arbitrary rank one coefficients; the homology of the associated Milnor fiber and Alexan…
We study the combinatorics of pseudoline arrangements and their relation to the geometry of flag and Schubert varieties. We associate to each pseudoline arrangement two polyhedral cones, defined in a dual manner. We prove that one of them is the weighted string cone by Littelmann and Berenstein-Zelevinsky. For the other we show how it arises in the framework of cluster varieties and mirror symmetry by Gross-Hacking-Keel-Kontsevich: for the flag variety the cone is the tropicalization of their superpotential while for Schubert varieties a restriction of the superpotential is necessary. We prove…
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.
By way of Ziegler restrictions we study the relation between nearly free plane arrangements and combinatorics and we give a Yoshinaga-type criterion for plus-one generated plane arrangements.
A $k$-Artal arrangement is a reducible algebraic curve composed of a smooth cubic and $k$ inflectional tangents. By studying the topological properties of their subarrangements, we prove that for $k=3,4,5,6$, there exist Zariski pairs of $k$-Artal arrangements. These Zariki pairs can be distinguished in a geometric way by the number of collinear triples in the set of singular points contained in the cubic.
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…
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.
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.
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…
Let $S$ be an elliptic surface over a smooth curve $C$ with a section $O$. We denote its generic fiber by $E_S$. For a divisor $D$ on $S$, we canonically associate a $C(C)$-rational point $P_D$. In this note, we give a description of $P_D$ of $E_S$, when the rank of the group of $C(C)$-rational points is one. We apply our description to refine our result on a Zariski pair for a cubic-line arrangement.
This survey provides an introduction to basic questions and techniques surrounding the topology of the moduli space of stable Higgs bundles on a Riemann surface. Through examples, we demonstrate how the structure of the cohomology ring of the moduli space leads to interesting questions of a combinatorial nature.
We study the topology of toric maps. We show that if $f\colon X\to Y$ is a proper toric morphism, with $X$ simplicial, then the cohomology of every fiber of $f$ is pure and of Hodge-Tate type. When the map is a fibration, we give an explicit formula for the Betti numbers of the fibers in terms of a relative version of the $f$-vector, extending the usual formula for the Betti numbers of a simplicial complete toric variety. We then describe the Decomposition Theorem for a toric fibration, giving in particular a nonnegative combinatorial invariant attached to each cone in the fan of $Y$, which is…
The complete classification of (3,3)-nets and of (3,4)-nets with only double and triple points is given. Up to lattice isomorphism, there are exactly 3 effective possibilities in each case, and some of these provide new examples of pencil-type line arrangements. For arrangements consisting of at most 14 lines and having points of multiplicity at most 5, we show that the non-triviality of the monodromy on the first cohomology H^1(F) of the associated Milnor fiber F implies the arrangement is of reduced pencil-type. In particular, the monodromy is determined by the combinatorics in such cases.
An n-dimensional polytope P^n is called simple if exactly n codimension-one faces meet at each vertex. The lattice of faces of a simple polytope P^n with m codimension-one faces defines an arrangement of even-dimensional planes in R^{2m}. We construct a free action of the group R^{m-n} on the complement of this arrangement. The corresponding quotient is a smooth manifold Z_P invested with a canonical action of the compact torus T^m with the orbit space P^n. For each smooth projective toric variety M^{2n} defined by a simple polytope P^n with the given lattice of faces there exists a subgroup T…
We study the change of the minimal degree of a logarithmic derivation of a hyperplane arrangement under the addition or the deletion of a hyperplane, and give a number of applications. First, we prove the existence of Tjurina maximal line arrangements in a lot of new situations. Then, starting with Ziegler's example of a pair of arrangements of $d=9$ lines with $n_3=6$ triple points in addition to some double points, having the same combinatorics, but distinct minimal degree of a logarithmic derivation, we construct new examples of such pairs, for any number $d\geq 9$ of lines, and any number …
Let $X$ be a nonempty real variety that is invariant under the action of a reflection group $G$. We conjecture that if $X$ is defined in terms of the first $k$ basic invariants of $G$ (ordered by degree), then $X$ meets a $k$-dimensional flat of the associated reflection arrangement. We prove this conjecture for the infinite types, reflection groups of rank at most $3$, and $F_4$ and we give computational evidence for $H_4$. This is a generalization of Timofte's degree principle to reflection groups. For general reflection groups, we compute nontrivial upper bounds on the minimal dimension of …
In a previous work, the third named author found a combinatorics of line arrangements whose realizations live in the cyclotomic group of the fifth roots of unity and such that their non-complex-conjugate embedding are not topologically equivalent in the sense that they are not embedded in the same way in the complex projective plane. That work does not imply that the complements of the arrangements are not homeomorphic. In this work we prove that the fundamental groups of the complements are not isomorphic. It provides the first example of a pair of Galois-conjugate plane curves such that the …
We introduce a new class of line arrangements in the projective plane, called nearly supersolvable, and show that any arrangement in this class is either free or nearly free. More precisely, we show that the minimal degree of a Jacobian syzygy for the defining equation of the line arrangement, which is a subtle algebraic invariant, is determined in this case by the combinatorics. When such a line arrangement is nearly free, we discuss the splitting types and the jumping lines of the associated rank two vector bundle, as well as the corresponding jumping points, introduced recently by S. Marche…
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).
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…
In this expository paper we describe a powerful combinatorial formula and its implications in geometry, topology, and algebra. This formula first appeared in the appendix of a book by Andersen, Jantzen, and Soergel. Sara Billey discovered it independently five years later, and it played a prominent role in her work to evaluate certain polynomials closely related to Schubert polynomials. Billey's formula relates many pieces of Schubert calculus: the geometry of Schubert varieties, the action of the torus on the flag variety, combinatorial data about permutations, the cohomology of the flag vari…
In this note we consider two configurations of twelve lines with nineteen triple points (i.e., points where three lines meet). Both of them have the same combinatorial features. In both configurations nine of twelve lines have five triple points and one double point, and the remaining three lines have four triple points and three double points. Taking the ideal of the triple points of these configurations we discover that, quite surprisingly, for one of the configurations the containment $I^{(3)} \subset I^2$ holds, while for the other it does not. Hence for ideals of points defined by configu…
A hypertoric variety is a quaternionic analogue of a toric variety. Just as the topology of toric varieties is closely related to the combinatorics of polytopes, the topology of hypertoric varieties interacts richly with the combinatorics of hyperplane arrangements and matroids. Using finite field methods, we obtain combinatorial descriptions of the Betti numbers of hypertoric varieties, both for ordinary cohomology in the smooth case and intersection cohomology in the singular case. We also introduce a conjectural ring structure on the intersection cohomology of a hypertoric variety.
We study the topology of the boundary manifold of a regular neighborhood of a complex projective hypersurface. We show that, under certain Hodge theoretic conditions, the cohomology ring of the complement of the hypersurface functorially determines that of the boundary. When the hypersurface defines a hyperplane arrangement, the cohomology of the boundary is completely determined by the combinatorics of the underlying arrangement and the ambient dimension. We also study the LS category and topological complexity of the boundary manifold, as well as the resonance varieties of its cohomology rin…
Hypertoric varieties are quaternionic analogues of toric varieties, important for their interaction with the combinatorics of matroids as well as for their prominent place in the rapidly expanding field of algebraic symplectic and hyperkahler geometry. The aim of this survey is to give clear definitions and statements of known results, serving both as a reference and as a point of entry to this beautiful subject.
We revisit the relations between open and closed string scattering amplitudes discovered by Kawai, Lewellen, and Tye (KLT). We show that they emerge from the underlying algebro-topological identities known as the twisted period relations. In order to do so, we formulate tree-level string theory amplitudes in the language of twisted de Rham theory. There, open string amplitudes are understood as pairings between twisted cycles and cocycles. Similarly, closed string amplitudes are given as a pairing between two twisted cocycles. Finally, objects relating the two types of string amplitudes are th…
Non-vanishing of homotopy groups of Manin--Schechtman arrangements
Institute for Chemical Reaction Design and Discovery, Hokkaido University(化学反应用设计发现研究所,北海道大学);Department of Applied Mathematics, Fukuoka University(福冈大学应用数学系)
A venerable problem in combinatorics and geometry asks whether a given incidence relation may be realized by a configuration of points and lines. The classic version of this would ask for algebraic lines over some field or possibly real pseudolines: embedded circles (isotopic to $RP^1$) in the real projective plane. In this paper we investigate whether a configuration is realized by a collection of $2$-spheres embedded, in the symplectic, smooth, or topological (locally flat) categories, in the complex projective plane. We find obstructions to realizability in the topological category, which a…