arXiv++ Combinatorics

A topological line arrangement is an arrangement of embedded spheres in the complex projective plane that topologically generalizes a complex line arrangement. In this paper, we establish foundational results on the topology of the complement of topological line arrangements. First, we prove that the cohomology ring of the complement is isomorphic to the Orlik-Solomon algebra, as for classical complex line arrangements. Since classical methods are unavailable in this setting, we use a homological method to compute the cohomology ring. We then study the homotopy type of the complement. We prove that the complement of a symplectic line arrangement has the homotopy type of a minimal CW complex. In contrast, every combinatorial type realizable by a topological line arrangement admits a realization with a non-minimal complement. Moreover, every such combinatorial type admits infinitely many realizations whose complements are pairwise non-homotopy equivalent.

We study the homology group of the Milnor fiber boundary of a hyperplane arrangement in $\mathbb{C}^{3}$. By the work of Némethi--Szilárd, the homeomorphism type of the Milnor fiber boundary is combinatorially determined, and an explicit formula for the first Betti number is known. However, the torsion part of the first homology group is poorly understood. In this paper, under some conditions, we prove that the number of even-order torsion summands of the first homology group is greater than or equal to the Euler characteristic of the projectivized complement.

Cohen--Suciu proved that the cohomology ring of the boundary manifold of a complex projective line arrangement is isomorphic to the double of the cohomology ring of the complement. In this paper, we generalize this result to arbitrary combinatorial line arrangements, including non-realizable ones. The notion of the boundary manifold for combinatorial line arrangements was introduced by Ruberman--Starkston. To handle arbitrary combinatorial line arrangements, we construct explicit homology cycles following the method by Doig--Horn. Using these cycles, we compute the cohomology ring of the boundary manifold and prove that it is isomorphic to the double of the Orlik-Solomon algebra. As an application, we derive several results on the resonance variety of the boundary manifold.

We study the Milnor fiber boundary for hyperplane arrangements in $\mathbb{C}^3$. This is one of the examples of non-isolated surface singularities, which are studied by Némethi--Szilárd. In this paper, we compute the first homology group of the Milnor fiber boundary for a generic arrangement, which gives an affirmative answer to the conjecture of Suciu. Also, we give an example of an arrangement with $n$ hyperplanes, whose torsion part in the Milnor fiber boundary homology contains a direct summand other than $\mathbb{Z}_{n}$, for certain value of $n$.

In this paper, we give a characterization of homogeneous quandles with abelian inner automorphism groups. In particular, we show that such a quandle is expressed as an abelian extension of a trivial quandle. Our construction is a generalization of the recent work by Furuki and Tamaru, which gives a construction of disconnected flat quandles.

Local system cohomology groups of the complements of hyperplane arrangements have played an important role in the theory of hypergeometric integrals, the topology of Milnor fibers and covering spaces. One of the important theorems is the vanishing theorem for generic $\mathbb{C}$-local systems which goes back to Aomoto's work. Later, Cohen, Dimca, and Orlik proved a stronger version of the vanishing theorem. In this paper, we prove a Cohen-Dimca-Orlik type theorem for $\mathbb{Z}$-local systems.

Papadima and Suciu proved an inequality between the ranks of the cohomology groups of the Aomoto complex with finite field coefficients and the twisted cohomology groups, and conjectured that they are actually equal for certain cases associated with the Milnor fiber of the arrangement. Recently, an arrangement (the icosidodecahedral arrangement) with the following two peculiar properties was found: (i) the strict version of Papadima-Suciu's inequality holds, and (ii) the first integral homology of the Milnor fiber has a non-trivial $2$-torsion. In this paper, we investigate the relationship between these two properties for double covering spaces. We prove that (i) and (ii) are actually equivalent.

The complement of a complexified real line arrangement is an affine surface. It is classically known that such a space has a handle decomposition up to $2$-handles. We will describe the handle decomposition induced from Lefschetz hyperplane section theorem for such a space. To describe the Kirby diagram, we introduce the notion of the divide with cusps which is a generalization of the divide introduced by A'Campo.