arXiv research

Link projections with the same circle arrangement can be transformed by specific moves.

Study of circle arrangements related to Morse-Bott functions.

Let A be an essential complex hyperplane arrangement in an n-dimensional complex vector space V. Let H denote the union of the hyperplanes, and M denote the complement to H in V. We develop the real-valued and circle-valued Morse theory for M and prove, in particular, that M has the homotopy type of a space obtained fr…

We consider circle packings and, more generally, Delaunay circle patterns - arrangements of circles arising from a Delaunay decomposition of a finite set of points - on surfaces equipped with a complex projective structure. Motivated by a conjecture of Kojima, Mizushima and Tan, we prove that the forgetful map sending …

We construct closed embedded minimal surfaces in the round three-sphere, resembling two parallel copies of the equatorial two-sphere, joined by small catenoidal bridges symmetrically arranged either along two parallel circles of the equator, or along the equatorial circle and the poles. To carry out these constructions…

We show how to construct broken, achiral Lefschetz fibrations on arbitrary smooth, closed, oriented 4-manifolds. These are generalizations of Lefschetz fibrations over the 2-sphere, where we allow Lefschetz singularities with the non-standard orientation as well as circles of singularities corresponding to round 1-hand…

We consider a manifold X obtained by a Kahler reduction of C^n, and we define its hyperkahler analogue M as a hyperkahler reduction of T^*C^n = H^n by the same group. In the case where the group is abelian and X is a smooth toric variety, M is a toric hyperkahler manifold, as defined by Bielawski-Dancer, and further st…

Euclidean systems and real PK arrangements linked via geometry.

We investigate several topological and combinatorial properties of line arrangements. We associate to a line arrangement a link obtained by intersecting the arrangement with some sphere. Several topics are discussed: (a) some link configurations can be realized by complex line arrangements but not by real line arrangem…

New infinite $K(π,1)$ arrangements found in higher dimensions.

Study shows certain toric arrangements have minimal topological complements.

Study a specific line arrangement and compute its fundamental group via braid monodromy.

Study restricts line arrangements with odd points using topological arguments.

A line arrangement of $3n$ lines in $\mathbb CP^2$ satisfies Hirzebruch property if each line intersect others in $n+1$ points. Hirzebruch asked if all such arrangements are related to finite complex reflection groups. We give a positive answer to this question in the case when the line arrangement in $\mathbb CP^2$ is…

Using the invariant developed in [6], we differentiate four arrangements with the same combinatorial information but in different deformation classes. From these arrangements, we construct four other arrangements such that there is no orientation-preserving homeomorphism between them. Furthermore, some couples of arran…

New method determines arrangement combinatorics from Milnor fiber boundary.

Study on links formed by pseudocircle arrangements, focusing on three unavoidable cases.

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.

Survey on hyperplane arrangements and their topology.

We define several homology theories for central hyperplane arrangements, categorifying well-known polynomial invariants including the characteristic polynomial, Poincare polynomial, and Tutte polynomial. We consider basic algebraic properties of such chain complexes, including long-exact sequences associated to deletio…

Study conic-line arrangements of degree 7, finding their topology and components.

The fundamental group of the complement of a hyperplane arrangement plays an important role in studying the corresponding arrangements. In particular, for large families of hyperplane arrangements, this fundamental group, being isomorphic to the fundamental group of a complement of a line arrangement, has some remarkab…

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, t…

Bordifications of hyperplane arrangements yield complexes with homotopy type of wedges of spheres.

Two unique conic-line arrangements with degree 9 are found.

Generalizes cohomology ring result for combinatorial line arrangements.

Church-Ellenberg-Farb used the language of FI-modules to prove that the cohomology of certain sequences of hyperplane arrangements with S_n-actions satisfies representation stability. Here we lift their results to the level of the arrangements themselves, and define when a collection of arrangements is "finitely genera…

Geometric arguments show simplicial arrangements with few double points can't have an irreducible cubic curve dual.

An arrangement of pseudocircles is a finite set of oriented closed Jordan curves each two of which cross each other in exactly two points. To describe the combinatorial structure of arrangements on closed orientable surfaces, in (Linhart, Ortner 2004) so-called *intersection schemes* were introduced. Building up on res…

A toric arrangement is a finite set of hypersurfaces in a complex torus, every hypersurface being the kernel of a character. In the present paper we build a CW-complex homotopy equivalent to the arrangement complement, with a combinatorial description similar to that of the well-known Salvetti complex. If the toric arr…

In this note we present examples of $K(π,1)$-arrangements which admit a restriction which fails to be $K(π,1)$. This shows that asphericity is not hereditary among hyperplane arrangements.

We study torsion properties of the twisted Alexander modules of the affine complement $M$ of a complex essential hyperplane arrangement, as well as those of punctured stratified tubular neighborhoods of complex essential hyperplane arrangements. We investigate divisibility properties between the twisted Alexander polyn…

Let $\{V_{i}\}_{i=1}^{n}$ be a finite family of closed subsets of a plane or a sphere $S^{2}$, each homeomorphic to the two-dimensional disk. In this paper we discuss the question how the boundary of connected components of a complement $\rr^{2} \setminus \bigcup_{i=1}^{n} V_{i}$ (accordingly, $S^{2} \setminus \bigcup_…

In arrangements of pseudocircles (Jordan curves) the weight of a vertex (intersection point) is the number of pseudocircles that contain the vertex in its interior. We give improved upper bounds on the number of vertices of weight <=k in certain arrangements of pseudocircles in the plane. In particular, forbidding cert…

Study of first homology group of Milnor fiber boundary for generic hyperplane arrangements in C^3.

We note an intimate connection between the Lefschetz Theorem for c-arrangements, and a theorem of Hironaka relating the complement of an arrangement to its boundary manifold. This results in a generalization of Hironaka's result.

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 Rybnik…

A pseudocircle is a simple closed curve on some surface; an arrangement of pseudocircles is a collection of pseudocircles that pairwise intersect in exactly two points, at which they cross. Ortner proved that an arrangement of pseudocircles is embeddable into the sphere if and only if all of its subarrangements of size…

Let F be R or C, d the dimension of F over R. Denote by P(F) either the affine plane A(F) or the hyperbolic plane H(F) over F. An arrangement L of k lines in P(F) (pairwise non-parallel in the hyperbolic case) has a link at infinity K(L) comprising k unknotted (d-1)-spheres in the (2d-1)-sphere, whose topology reflects…

Study on constraints for topological and smooth realizations of line arrangements and configurations.

We define a new topological invariant of line arrangements in the complex projective plane. This invariant is a root of unity defined under some combinatorial restrictions for arrangements endowed with some special torsion character on the fundamental group of their complements. It is derived from the peripheral struct…

A new framework for graph representation learning.

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.

New invariant detects non-homeomorphic arrangements with similar coefficients.

For a real oriented hyperplane arrangement, we show that the corresponding Salvetti complex is homotopy equivalent to the complement of the complexified arrangement. This result was originally proved by M. Salvetti. Our proof follows the framework of a proof given by L. Paris and relies heavily on the notation of orien…

Researchers explore valuations on polyhedra and topological arrangements without imposing algebraic structures.

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.

We introduce the notion of a conjugation-free geometric presentation for a fundamental group of a line arrangement's complement, and we show that the fundamental groups of the following family of arrangements have a conjugation-free geometric presentation: A real arrangement L, whose graph of multiple points is a union…