The icosidodecahedral arrangement is introduced by M. Yoshinaga (arXiv:1902.06256) as the first known example that is a hyperplane arrangement whose Milnor fiber has torsions in first integral homology. In this note, we prove that the icosidodecahedral arrangement is $K(π,1)$, hence so is its Milnor fiber.
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.
We prove the existence of lattice isomorphic line arrangements having $π_1$-equivalent or homotopy-equivalent complements and non homeomorphic embeddings in the complex projective plane. We also provide two explicit examples, one is formed by real-complexified arrangements while the second is not.
The invariant $\mathcal{I}(\mathcal{A},ξ,γ)$ was first introduced by E. Artal, V. Florens and the author. Inspired by the idea of G. Rybnikov, we obtain a multiplicativity theorem of this invariant under the gluing of two arrangements along a triangle. An application of this theorem is to prove that the extended Rybnikov arrangements form an ordered Zariski pairs (i.e. two arrangements with the same combinatorial information and different ordered topologies). Finally, we extend this method to a particular family of arrangements and thus we obtain a method to construct new examples of Zariski p…
Our aim is to generalize the result that two generic complex line arrangements are equivalent. In fact for a line arrangement A we associate its defining polynomial, the product of a_ix+b_iy+c_i, so that A = (f=0). We prove that the defining polynomials of two generic line arrangements are, up to a small deformation, topologically equivalent. In higher dimension the related result is that within a family of equivalent hyperplane arrangements the defining polynomials are topologically equivalent.
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.
It is shown that the diffeomorphism type of the complement to a real space line arrangement in any dimensional affine ambient space is determined only by the number of lines and the data on multiple points.
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 note is mostly an expository survey, centered on the topology of complements of hyperplane arrangements, their Milnor fibrations, and their boundary structures. An important tool in this study is provided by the degree 1 resonance and characteristic varieties of the complement, and their tight relationship with orbifold fibrations and multinets on the underlying matroid. In favorable situations, this approach leads to a combinatorial formula for the first Betti number of the Milnor fiber and the algebraic monodromy. We also produce a pair of arrangements for which the respective Milnor fi…
This is a glossary of notions and methods related with the topological theory of collections of affine planes, including braid groups, configuration spaces, order complexes, stratified Morse theory, simplicial resolutions, complexes of graphs, Orlik--Solomon rings, Salvetti complex, matroids, Spanier--Whitehead duality, twisted homology groups, monodromy theory and multidimensional hypergeometric functions. The emphasis on the most geometrical explanation is done; applications and analogies in the differential topology are outlined.
Let $V$ be a finite dimensional complex vector space and $W\subset \GL(V)$ be a finite complex reflection group. Let $V^{\reg}$ be the complement in $V$ of the reflecting hyperplanes. A classical conjecture predicts that $V^{\reg}$ is a $K(pi,1)$ space. When $W$ is a complexified real reflection group, the conjecture follows from a theorem of Deligne. Our main result validates the conjecture for duality (or, equivalently, well-generated) complex reflection groups. This includes the complexified real case (but our proof is new) and new cases not previously known. We also address a number of que…
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…
Let F:R^n -> R be a feedforward ReLU neural network. It is well-known that for any choice of parameters, F is continuous and piecewise (affine) linear. We lay some foundations for a systematic investigation of how the architecture of F impacts the geometry and topology of its possible decision regions for binary classification tasks. Following the classical progression for smooth functions in differential topology, we first define the notion of a generic, transversal ReLU neural network and show that almost all ReLU networks are generic and transversal. We then define a partially-oriented line…