Showing 1–19 of 19 results for author: Guerville-Ballé, B

Zariski pairs of conic-line arrangements with a unique conic

Authors: Shinzo Bannai, Benoît Guerville-Ballé, Taketo Shirane

Abstract: In this note, we present two pairs of conic-line arrangements admitting a unique conic and that form Zariski pairs, both of degree $9$. Their topologies are distinguished using the connected numbers. In this note, we present two pairs of conic-line arrangements admitting a unique conic and that form Zariski pairs, both of degree $9$. Their topologies are distinguished using the connected numbers. △ Less

Submitted 7 October, 2024; originally announced October 2024.

Comments: 7 pages, 2 figures

MSC Class: 14H45; 14H30; 32Q55; 54F65

On the nonconnectedness of moduli spaces of arrangements, II: construction of nonarithmetic pairs

Authors: Benoît Guerville-Ballé

Abstract: Constructing lattice isomorphic line arrangements that are not lattice isotopic is a complex yet fundamental task. In this paper, we focus on such pairs but which are not Galois conjugated, referred to as nonarithmetic pairs. Splitting polygons have been introduced by the author to facilitate the construction of lattice isomorphic arrangements that are not lattice isotopic. Exploiting this structu… ▽ More Constructing lattice isomorphic line arrangements that are not lattice isotopic is a complex yet fundamental task. In this paper, we focus on such pairs but which are not Galois conjugated, referred to as nonarithmetic pairs. Splitting polygons have been introduced by the author to facilitate the construction of lattice isomorphic arrangements that are not lattice isotopic. Exploiting this structure, we develop two algorithms which produce nonarithmetic pairs: the first generates pairs over a number field, while the second yields pairs over the rationals. Moreover, explicit applications of these algorithms are presented, including one complex, one real, and one rational nonarithmetic pair. △ Less

Submitted 26 September, 2024; originally announced September 2024.

Comments: 10 pages

Connectedness and combinatorial interplay in the moduli space of line arrangements

Authors: Benoît Guerville-Ballé, Juan Viu-Sos

Abstract: This paper aims to undertake an exploration of the behavior of the moduli space of line arrangements while establishing its combinatorial interplay with the incidence structure of the arrangement. In the first part, we investigate combinatorial classes of arrangements whose moduli space is connected. We unify the classes of simple and inductively connected arrangements appearing in the literature.… ▽ More This paper aims to undertake an exploration of the behavior of the moduli space of line arrangements while establishing its combinatorial interplay with the incidence structure of the arrangement. In the first part, we investigate combinatorial classes of arrangements whose moduli space is connected. We unify the classes of simple and inductively connected arrangements appearing in the literature. Then, we introduce the notion of arrangements with a rigid pencil form. It ensures the connectedness of the moduli space and is less restrictive that the class of $C_3$ arrangements of simple type. In the last part, we obtain a combinatorial upper bound on the number of connected components of the moduli space. Then, we exhibit examples with an arbitrarily large number of connected components for which this upper bound is sharp. △ Less

Submitted 22 February, 2024; v1 submitted 1 September, 2023; originally announced September 2023.

Comments: 20 pages, 5 figures. Minor revisions from v.1

MSC Class: 14H10; 14N20; 51A45; 14N10

On the non-connectivity of moduli spaces of arrangements: the splitting-polygon structure

Authors: Benoît Guerville-Ballé

Abstract: Questions that seek to determine whether a hyperplane arrangement property, be it geometric, arithmetic or topological, is of a combinatorial nature (that is determined by the intersection lattice) are abundant in the literature. To tackle such questions and provide a negative answer, one of the most effective methods is to produce a counterexample. To this end, it is essential to know how to cons… ▽ More Questions that seek to determine whether a hyperplane arrangement property, be it geometric, arithmetic or topological, is of a combinatorial nature (that is determined by the intersection lattice) are abundant in the literature. To tackle such questions and provide a negative answer, one of the most effective methods is to produce a counterexample. To this end, it is essential to know how to construct arrangements that are lattice-equivalent. The more different they are, the more efficient it will be. In this paper, we present a method to construct arrangements of complex projective lines that are lattice-equivalent but lie in distinct connected components of their moduli space. To illustrate the efficiency of the method, we apply it to reconstruct all the classical examples of arrangements with disconnected moduli spaces: MacLane, Falk-Sturmfels, Nasir-Yoshinaga and Rybnikov. Moreover, we employ this method to produce novel examples of arrangements of eleven lines whose moduli spaces are formed by four connected components. △ Less

Submitted 30 October, 2021; originally announced November 2021.

Comments: 13 pages, 4 figures

MSC Class: 51M15; 14N10; 14N20; 14H10; 51A45

The loop linking number of line arrangements

Authors: Benoît Guerville-Ballé

Abstract: In his Ph.D. thesis, Cadegan-Schlieper constructs an invariant of the embedded topology of a line arrangement which generalizes the $\mathcal{I}$-invariant introduced by Artal, Florens and the author. This new invariant is called the loop linking number in the present paper. We refine the result of Cadegan-Schlieper by proving that the loop linking number is an invariant of the homeomorphism type… ▽ More In his Ph.D. thesis, Cadegan-Schlieper constructs an invariant of the embedded topology of a line arrangement which generalizes the $\mathcal{I}$-invariant introduced by Artal, Florens and the author. This new invariant is called the loop linking number in the present paper. We refine the result of Cadegan-Schlieper by proving that the loop linking number is an invariant of the homeomorphism type of the arrangement complement. We give two effective methods to compute this invariant, both are based on the braid monodromy. As an application, we detect an arithmetic Zariski pair of arrangements with 11 lines whose coefficients are in the 5th cyclotomic field. Furthermore, we also prove that the fundamental groups of their complements are not isomorphic; it is the Zariski pair with the fewest number of lines which have this property. We also detect an arithmetic Zariski triple with 12 lines whose complements have non-isomorphic fundamental groups. In the appendix, we give 28 similar arithmetic Zariski pairs detected using the loop linking number. To conclude this paper, we give a multiplicativity theorem for the union of arrangements. This first allows us to prove that the complements of Rybnikov's arrangements are not homeomorphic, and then leads us to a generalization of Rybnikov's result. Lastly, we use it to prove the existence of homotopy-equivalent lattice-isomorphic arrangements which have non-homeomorphic complements. △ Less

Submitted 7 April, 2020; originally announced April 2020.

Comments: 34 pages, 5 figures and 2 appendix

Ineffectiveness of homotopical invariants on Nakanishi's 4-move conjecture

Authors: Benoît Guerville-Ballé, Juan Viu-Sos

Abstract: A $4$-move is a local operation for links consisting in replacing two parallel arcs by four half twists. At the present time, it is not known if this induces an unkotting operation for knots. Studying the Dabkowski-Sahi invariant, we prove that any invariant of knots based on the fundamental group $π_1(S^3\setminus K)$ and preserved by $4$-moves is constant among the isotopy classes of knots. A $4$-move is a local operation for links consisting in replacing two parallel arcs by four half twists. At the present time, it is not known if this induces an unkotting operation for knots. Studying the Dabkowski-Sahi invariant, we prove that any invariant of knots based on the fundamental group $π_1(S^3\setminus K)$ and preserved by $4$-moves is constant among the isotopy classes of knots. △ Less

Submitted 9 January, 2020; v1 submitted 16 August, 2018; originally announced August 2018.

Comments: This paper has been withdrawn by the authors due to a crucial error

MSC Class: 57M25; 57M27; 57M05; 20D99

Topology and homotopy of lattice isomorphic arrangements

Authors: Benoît Guerville-Ballé

Abstract: 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 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. △ Less

Submitted 8 January, 2018; originally announced January 2018.

Comments: 8 pages

MSC Class: 52C30; 32S22; 32Q55; 54F65; 14E25

Fundamental groups of real arrangements and torsion in the lower central series quotients

Authors: Enrique Artal Bartolo, Benoît Guerville-Ballé, Juan Viu-Sos

Abstract: By using computer assistance, we prove that the fundamental group of the complement of a real complexified line arrangement is not determined by its intersection lattice, providing a counter-example for a problem of Falk and Randell. We also deduce that the torsion of the lower central series quotients is not combinatorially determined, which gives a negative answer to a question of Suciu. By using computer assistance, we prove that the fundamental group of the complement of a real complexified line arrangement is not determined by its intersection lattice, providing a counter-example for a problem of Falk and Randell. We also deduce that the torsion of the lower central series quotients is not combinatorially determined, which gives a negative answer to a question of Suciu. △ Less

Submitted 11 January, 2018; v1 submitted 13 April, 2017; originally announced April 2017.

Comments: Revised and expanded, typos fixed. 12 pages, 4 figures, an appendix with a code in GAP. To appear in Experimental Mathematics

MSC Class: 52B30; 14F35; 32Q55; 54F65; 14N20; 32S22

Configurations of points and topology of real line arrangements

Authors: Benoît Guerville-Ballé, Juan Viu-Sos

Abstract: 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… ▽ More 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 complexified real line arrangements with the same combinatorial data and different embeddings in $\mathbb{CP}^2$ (i.e. Zariski pairs), which are distinguished by this invariant. In particular, we obtain new Zariski pairs of 13, 15 and 17 lines defined over $\mathbb{Q}$ and containing only double and triple points. For each one of them, we can derive degenerations, containing points of multiplicity 2, 3 and 5, which are also Zariski pairs. We explicitly compute the moduli space of the combinatorics of one of these examples, and prove that it has exactly two connected components. We also obtain three geometric characterizations of these components: the existence of two smooth conics, one tangent to six lines and the other containing six triple points, as well as the collinearity of three specific triple points. △ Less

Submitted 4 April, 2018; v1 submitted 3 February, 2017; originally announced February 2017.

Comments: 50 pages, 26 figures, 5 tables, 2 appendices with detailed pictures. Final version, to appear in Mathematische Annalen

MSC Class: 52B30; 52C35; 32Q55; 54F65; 32S22

On the topology of arrangements of a cubic and its inflectional tangents

Authors: Shinzo Bannai, Benoît Guerville-Ballé, Taketo Shirane, Hiro-o Tokunaga

Abstract: 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 t… ▽ More 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. △ Less

Submitted 26 July, 2016; originally announced July 2016.

Comments: 6 pages

MSC Class: 14H50; 14H45; 14F45; 51H30

Non-homotopicity of the linking set of algebraic plane curves

Authors: Benoît Guerville-Ballé, Taketo Shirane

Abstract: The linking set is an invariant of algebraic plane curves introduced by Meilhan and the first author. It has been successfully used to detect several examples of Zariski pairs, i.e. curves with the same combinatorics and different embedding in $\mathds{CP}^2$. Differentiating Shimada's $π_1$-equivalent Zariski pair by the linking set, we prove, in the present paper, that this invariant is not dete… ▽ More The linking set is an invariant of algebraic plane curves introduced by Meilhan and the first author. It has been successfully used to detect several examples of Zariski pairs, i.e. curves with the same combinatorics and different embedding in $\mathds{CP}^2$. Differentiating Shimada's $π_1$-equivalent Zariski pair by the linking set, we prove, in the present paper, that this invariant is not determined by the fundamental group of the curve. △ Less

Submitted 10 April, 2017; v1 submitted 18 July, 2016; originally announced July 2016.

Comments: 12 pages

MSC Class: 14H50; 14H30; 14F45

A linking invariant for algebraic curves

Authors: Benoît Guerville-Ballé, Jean-Baptiste Meilhan

Abstract: We construct a topological invariant of algebraic plane curves, which is in some sense an adaptation of the linking number of knot theory. This invariant is shown to be a generalization of the I-invariant of line arrangements developed by the first author with Artal and Florens. We give two practical tools for computing this invariant, using a modification of the usual braid monodromy or using the… ▽ More We construct a topological invariant of algebraic plane curves, which is in some sense an adaptation of the linking number of knot theory. This invariant is shown to be a generalization of the I-invariant of line arrangements developed by the first author with Artal and Florens. We give two practical tools for computing this invariant, using a modification of the usual braid monodromy or using the connected numbers introduced by Shirane. As an application, we show that this invariant distinguishes several Zariski pairs, i.e. pairs of curves having same combinatorics, yet different topologies. The former is the well known Zariski pair found by Artal, composed of a smooth cubic with 3 tangent lines at its inflexion points. The latter is formed by a smooth quartic and 3 bitangents. △ Less

Submitted 24 January, 2019; v1 submitted 16 February, 2016; originally announced February 2016.

Comments: Entirely new version. Exposition revised and simplified; new application added. (10 pages and 2 figures)

An arithmetic Zariski pair of line arrangements with non-isomorphic fundamental group

Authors: E. Artal, J. I. Cogolludo-Agustín, B. Guerville-Ballé, M. Marco-Buzunáriz

Abstract: 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 arrangement… ▽ More 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 fundamental groups of their complements are not isomorphic (despite the fact that they have isomorphic profinite completions). △ Less

Submitted 1 July, 2015; originally announced July 2015.

Comments: 26 pages

MSC Class: 14N20; 32S22; 14F35; 14H50; 14F45; 14G32

Journal ref: Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Math. RACSAM 111 (2017), no. 2, 377-402

Multiplicativity of the $\mathcal{I}$-invariant and topology of glued arrangements

Authors: Benoît Guerville-Ballé

Abstract: 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 sa… ▽ More 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 pairs. △ Less

Submitted 20 April, 2016; v1 submitted 26 June, 2015; originally announced June 2015.

Comments: 18 pages

MSC Class: 32S22; 32Q55; 54F65

Combinatorics of line arrangements and dynamics of polynomial vector fields

Authors: Benoît Guerville-Ballé, Juan Viu-Sos

Abstract: Let $\mathcal{A}$ be a real line arrangement and $\mathcal{D}(\mathcal{A})$ the module of $\mathcal{A}$--derivations. First, we give a dynamical interpretation of $\mathcal{D}(\mathcal{A})$ as the set of polynomial vector fields which posses $\mathcal{A}$ as invariant set. We characterize polynomial vector fields having an infinite number of invariant lines. Then we prove that the minimal degree o… ▽ More Let $\mathcal{A}$ be a real line arrangement and $\mathcal{D}(\mathcal{A})$ the module of $\mathcal{A}$--derivations. First, we give a dynamical interpretation of $\mathcal{D}(\mathcal{A})$ as the set of polynomial vector fields which posses $\mathcal{A}$ as invariant set. We characterize polynomial vector fields having an infinite number of invariant lines. Then we prove that the minimal degree of polynomial vector fields fixing only a finite set of lines in $\mathcal{D}(\mathcal{A})$ is not determined by the combinatorics of $\mathcal{A}$. △ Less

Submitted 6 January, 2015; v1 submitted 29 November, 2014; originally announced December 2014.

Comments: arXiv admin note: text overlap with arXiv:1411.2653

MSC Class: 52C30; 34C07; 34C08

Combinatorics of line arrangements and polynomial vector fields

Authors: Benoît Guerville-Ballé, Juan Viu-Sos

Abstract: Let $\mathcal{A}$ be a real line arrangement and $\mathcal{D}(\mathcal{A})$ the module of $\mathcal{A}$-derivations view as the set of polynomial vector fields which possess $\mathcal{A}$ as an invariant set. We first characterize polynomial vector fields having an infinite number of invariant lines. Then we prove that the minimal degree of polynomial vector fields fixing only a finite set of line… ▽ More Let $\mathcal{A}$ be a real line arrangement and $\mathcal{D}(\mathcal{A})$ the module of $\mathcal{A}$-derivations view as the set of polynomial vector fields which possess $\mathcal{A}$ as an invariant set. We first characterize polynomial vector fields having an infinite number of invariant lines. Then we prove that the minimal degree of polynomial vector fields fixing only a finite set of lines in $\mathcal{D}(\mathcal{A})$ is not determined by the combinatorics of $\mathcal{A}$. △ Less

Submitted 22 April, 2015; v1 submitted 10 November, 2014; originally announced November 2014.

Comments: This paper has been withdrawn by the authors because a more complete and extended version is presented in arXiv:1412.0137

MSC Class: 52C30; 34C07; 34C08

An arithmetic Zariski 4-tuple of twelve lines

Authors: Benoît Guerville-Ballé

Abstract: 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 arrangements among this 4-tuplet form new arithmetic Zariski pairs, i.e. a couple of… ▽ More 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 arrangements among this 4-tuplet form new arithmetic Zariski pairs, i.e. a couple of arrangements with the same combinatorial information but with different embedding in $\mathbb{CP}^2$. △ Less

Submitted 11 May, 2015; v1 submitted 9 November, 2014; originally announced November 2014.

Comments: 14 pages, 8 figures

MSC Class: 32S22; 32Q55; 54F65

Journal ref: Geom. Topol. 20 (2016) 537-553

A topological invariant of line arrangements

Authors: Enrique Artal Bartolo, Vincent Florens, Benoît Guerville-BallÉ

Abstract: 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 structure on the group induced by the inclusion map of the boundary of a tubular neigb… ▽ More 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 structure on the group induced by the inclusion map of the boundary of a tubular neigborhood in the exterior of the arrangement. By similarity with knot theory, it can be viewed as an analogue of linking numbers. This is an orientation-preserving invariant for ordered arrangements. We give an explicit method to compute the invariant from the equations of the arrangement, by using wiring diagrams introduced by Arvola, that encode the braid monodromy. Moreover, this invariant is a crucial ingredient to compute the depth of a character satisfying some resonant conditions, and complete the existent methods by Libgober and the first author. Finally, we compute the invariant for extended MacLane arrangements with an additional line and observe that it takes different values for the deformation classes. △ Less

Submitted 12 July, 2014; originally announced July 2014.

Comments: 19 pages, 5 figures

MSC Class: 32S22; 52C35; 55N25; 57M05

Journal ref: Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 17 (2017), no. 3, 949-968

On complex line arrangements and their boundary manifolds

Authors: Vincent Florens, Benoît Guerville-Ballé, Miguel Marco Buzunariz

Abstract: Let A be a line arrangement in the complex projective plane CP2. We define and describe the inclusion map of the boundary manifold --the boundary of a close regular neighborhood of A-- in the exterior of the arrangement. We obtain two explicit descriptions of the map induced on the fundamental groups. These computations provide a new minimal presentation of the fundamental group of the complement. Let A be a line arrangement in the complex projective plane CP2. We define and describe the inclusion map of the boundary manifold --the boundary of a close regular neighborhood of A-- in the exterior of the arrangement. We obtain two explicit descriptions of the map induced on the fundamental groups. These computations provide a new minimal presentation of the fundamental group of the complement. △ Less

Submitted 30 June, 2015; v1 submitted 24 May, 2013; originally announced May 2013.

Comments: 17 pages

Journal ref: Math. Proc. Camb. Phil. Soc. 159 (2015) 189-205