Showing 1–38 of 38 results for author: Cogolludo-Agustín, J

Ordinary $r$--tuples in cyclic quotient surface singularities

Authors: José I. Cogolludo-Agustín, Tamás Lászlo, Jorge Martín-Morales, András Némethi

Abstract: We describe those Weil divisors of cyclic quotient surface singularities which are (abstract) $r$--tuple curve singularities. We describe those Weil divisors of cyclic quotient surface singularities which are (abstract) $r$--tuple curve singularities. △ Less

Submitted 21 October, 2024; originally announced October 2024.

Comments: 18 pages

MSC Class: 14B05; 32Sxx; 14E15

On the topology of fiber-type curves: a Zariski pair of affine nodal curves

Authors: José Ignacio Cogolludo-Agustín, Eva Elduque

Abstract: In this paper we explore conditions for a curve in a smooth projective surface to have a free product of cyclic groups as the fundamental group of its complement. It is known that if the surface is $\mathbb P^2$, then such curves must be of fiber type, i.e. a finite union of fibers of an admissible map onto a complex curve. In this setting, we exhibit an infinite family of Zariski pairs of fiber-t… ▽ More In this paper we explore conditions for a curve in a smooth projective surface to have a free product of cyclic groups as the fundamental group of its complement. It is known that if the surface is $\mathbb P^2$, then such curves must be of fiber type, i.e. a finite union of fibers of an admissible map onto a complex curve. In this setting, we exhibit an infinite family of Zariski pairs of fiber-type curves, that is, pairs of plane projective fiber-type curves whose tubular neighborhoods are homeomorphic, but whose embeddings in $\mathbb P^2$ are not. This includes a Zariski pair of curves in $\mathbb C^2$ with only nodes as singularities (and the same singularities at infinity) whose complements have non-isomorphic fundamental groups, one of them being free. Our examples show that the position of nodes also affects the topology of the embedding of projective curves. Twisted Alexander polynomials with respect to finite $SU(2)$ representations show to be useful for this purpose, since all their abelian invariants are the same for both fundamental groups. △ Less

Submitted 21 March, 2025; v1 submitted 12 June, 2023; originally announced June 2023.

Comments: 18 pages. Comments are welcome and greatly appreciated. V3: Improved exposition, added examples

MSC Class: 32S25; 32S55; 32S05; 32S20; 57K31

Cyclic coverings of rational normal surfaces which are quotients of a product of curves

Authors: Enrique Artal Bartolo, José Ignacio Cogolludo-Agustín, Jorge Martín-Morales

Abstract: This paper deals with cyclic covers of a large family of rational normal surfaces that can also be described as quotients of a product, where the factors are cyclic covers of algebraic curves. We use a generalization of Esnault-Viehweg method to show that the action of the monodromy on the first Betti group of the covering (and its Hodge structure) splits as a direct sum of the same data for some… ▽ More This paper deals with cyclic covers of a large family of rational normal surfaces that can also be described as quotients of a product, where the factors are cyclic covers of algebraic curves. We use a generalization of Esnault-Viehweg method to show that the action of the monodromy on the first Betti group of the covering (and its Hodge structure) splits as a direct sum of the same data for some specific cyclic covers over $\mathbb{P}^1$. This has applications to the study of Lê-Yomdin surface singularities, in particular to the action of the monodromy on the Mixed Hodge Structure, as well as to isotrivial fibered surfaces. △ Less

Submitted 19 April, 2023; v1 submitted 17 March, 2023; originally announced March 2023.

Comments: Accepted in Publicacions Matemàtiques

MSC Class: 14J26; 14E20; 57M12

Quasi-projective varieties whose fundamental group is a free product of cyclic groups

Authors: José Ignacio Cogolludo-Agustín, Eva Elduque

Abstract: In this work we study smooth complex quasi-projective surfaces whose fundamental group is a free product of cyclic groups. In particular, we prove the existence of an admissible map from the quasi-projective surface to a smooth complex quasi-projective curve. Associated with this result, we prove addition-deletion Lemmas for fibers of the admissible map which describe how these operations affect t… ▽ More In this work we study smooth complex quasi-projective surfaces whose fundamental group is a free product of cyclic groups. In particular, we prove the existence of an admissible map from the quasi-projective surface to a smooth complex quasi-projective curve. Associated with this result, we prove addition-deletion Lemmas for fibers of the admissible map which describe how these operations affect the fundamental group of the quasi-projective surface. Our methods also allow us to produce curves in smooth projective surfaces whose fundamental groups of their complements are free products of cyclic groups, generalizing classical results on $C_{p,q}$ curves and torus type projective sextics, and showing how general this phenomenon is. △ Less

Submitted 21 March, 2025; v1 submitted 31 October, 2022; originally announced October 2022.

Comments: 29 pages. To appear in Rev. Mat. Iberoam

MSC Class: 32S25; 32S55; 32S05; 32S20; 57K31

Homology of even Artin kernels

Authors: Rubén Blasco-García, José Ignacio Cogolludo-Agustín, Conchita Martínez-Pérez

Abstract: We explicitly compute the homology groups with coefficients in a field of characteristic zero of cocyclic subgroups or even Artin groups of FC-type. We also give some partial results in the case when the coefficients are taken in a field of prime characteristic. We explicitly compute the homology groups with coefficients in a field of characteristic zero of cocyclic subgroups or even Artin groups of FC-type. We also give some partial results in the case when the coefficients are taken in a field of prime characteristic. △ Less

Submitted 23 February, 2021; originally announced February 2021.

Comments: 18 pages, 2 figures. To appear in AGT

Journal ref: Algebr. Geom. Topol. 22 (2022) 349-372

On the Sigma invariants of even Artin groups of FC-type

Authors: Ruben Blasco. García, Jose Ignacio Cogolludo-Agustín, Conchita Martínez-Pérez

Abstract: In this paper we study Sigma invariants of even Artin groups of FC-type, extending some known results for right-angled Artin groups. In particular, we define a condition that we call the strong homological $n$-link condition for a graph $Γ$ and prove that it gives a sufficient condition for a character $χ:A_Γ\to \mathbb{Z}$ to satisfy $[χ]\inΣ^n(A_Γ,\mathbb{Z})$. This implies that the kernel… ▽ More In this paper we study Sigma invariants of even Artin groups of FC-type, extending some known results for right-angled Artin groups. In particular, we define a condition that we call the strong homological $n$-link condition for a graph $Γ$ and prove that it gives a sufficient condition for a character $χ:A_Γ\to \mathbb{Z}$ to satisfy $[χ]\inΣ^n(A_Γ,\mathbb{Z})$. This implies that the kernel $A^χ_Γ=\ker χ$ is of type $FP_n$. The homotopy counterpart is also proved. Partial results on the converse are discussed. We also provide a general formula for the free part of $H_n(A^χ_Γ;\mathbb{F})$ as an $\mathbb{F}[t^{\pm 1}]$-module with the natural action induced by $χ$. This gives a characterization of when $H_n(A^χ_Γ;\mathbb{F})$ is a finite dimensional vector space over $\mathbb{F}$. In the last version we correct a problem in the proof of Lemma 4.3 and also a remark at the end of subsection 3.3. △ Less

Submitted 7 May, 2023; v1 submitted 15 November, 2020; originally announced November 2020.

Comments: 19 pages

MSC Class: 20J06; 20F36

Local invariants of minimal generic curves on rational surfaces

Authors: José Ignacio Cogolludo-Agustín, Tamás László, Jorge Martín-Morales, András Némethi

Abstract: Let (C,0) be a reduced curve germ in a normal surface singularity (X,0). The main goal is to recover the delta invariant of the abstract curve (C,0) from the topology of the embedding. We give explicit formulae whenever (C,0) is minimal generic and (X,0) is rational (as a continuation of previous works of the authors). Additionally we prove that if (X,0) is a quotient singularity, then the delta i… ▽ More Let (C,0) be a reduced curve germ in a normal surface singularity (X,0). The main goal is to recover the delta invariant of the abstract curve (C,0) from the topology of the embedding. We give explicit formulae whenever (C,0) is minimal generic and (X,0) is rational (as a continuation of previous works of the authors). Additionally we prove that if (X,0) is a quotient singularity, then the delta invariant of (C,0) only admits the values r-1 or r, where r is the number or irreducible components of (C,0). (r-1 realizes the extremal lower bound, valid only for `ordinary r-tuples'.) △ Less

Submitted 20 May, 2020; originally announced May 2020.

Comments: 25 pages, submitted to the Proceedings of the L. Santaló Research Summer School 2019

MSC Class: Primary. 14B05; 32Sxx; Secondary. 14E15

The delta invariant of curves on rational surfaces II: Poincaré series and topological aspects

Authors: José Ignacio Cogolludo-Agustín, Tamás László, Jorge Martín-Morales, András Némethi

Abstract: In this article we study abstract and embedded invariants of reduced curve germs via topological techniques. One of the most important numerical analytic invariants of an abstract curve is its delta invariant. Our primary goal is to develop delta invariant formulae for curves embedded in rational singularities in terms of embedded data. The topological machinery not only produces formulae, but it… ▽ More In this article we study abstract and embedded invariants of reduced curve germs via topological techniques. One of the most important numerical analytic invariants of an abstract curve is its delta invariant. Our primary goal is to develop delta invariant formulae for curves embedded in rational singularities in terms of embedded data. The topological machinery not only produces formulae, but it also creates deep connections with the theory of (analytical and topological) multivariable Poincaré series. △ Less

Submitted 16 March, 2020; originally announced March 2020.

Comments: 30 pages

MSC Class: 14B05; 32Sxx; 57M27; 13D40 (Primary); 14E15 (Secondary)

Vanishing of Higher Order Alexander-type Invariants of Plane Curves

Authors: José I. Cogolludo-Agustín, Eva Elduque

Abstract: The higher order degrees are Alexander-type invariants of complements to an affine plane curve. In this paper we characterize the vanishing of such invariants for transversal unions of plane curves $C'$ and $C''$ in terms of the finiteness, the vanishing properties of the invariants of $C'$ and $C''$, and whether they are irreducible or not. As a consequence, we characterize which of these types o… ▽ More The higher order degrees are Alexander-type invariants of complements to an affine plane curve. In this paper we characterize the vanishing of such invariants for transversal unions of plane curves $C'$ and $C''$ in terms of the finiteness, the vanishing properties of the invariants of $C'$ and $C''$, and whether they are irreducible or not. As a consequence, we characterize which of these types of curves have trivial multivariable Alexander polynomial in terms of their defining equations. Our results impose obstructions on the class of groups that can be realized as fundamental groups of complements of a transversal union of curves. △ Less

Submitted 14 October, 2020; v1 submitted 18 February, 2020; originally announced February 2020.

Comments: Comments are welcome and greatly appreciated

MSC Class: 32S25; 32S55; 32S05; 32S20; 57K31

Module structure of the homology of right-angled Artin kernels

Authors: E. Artal Bartolo, J. I. Cogolludo-Agustín, S. López de Medrano, D. Matei

Abstract: In this paper, we study the module structure of the homology of Artin kernels, i.e., kernels of non-resonant characters from right-angled Artin groups onto the integer numbers, the module structure being with respect to the ring $\mathbb{K}[t^{\pm 1}]$, where $\mathbb{K}$ is a field of characteristic zero. Papadima and Suciu determined some part of this structure by means of the flag complex of th… ▽ More In this paper, we study the module structure of the homology of Artin kernels, i.e., kernels of non-resonant characters from right-angled Artin groups onto the integer numbers, the module structure being with respect to the ring $\mathbb{K}[t^{\pm 1}]$, where $\mathbb{K}$ is a field of characteristic zero. Papadima and Suciu determined some part of this structure by means of the flag complex of the graph of the Artin group. In this work, we provide more properties of the torsion part of this module, e.g., the dimension of each primary part and the maximal size of Jordan forms (if we interpret the torsion structure in terms of a linear map). These properties are stated in terms of homology properties of suitable filtrations of the flag complex and suitable double covers of an associated toric complex. △ Less

Submitted 1 February, 2020; originally announced February 2020.

Comments: 24 pages, 6 figures

MSC Class: 20F36; 20F65; 57M07; 57M10; 20J05; 05C69

Journal ref: Algebr. Geom. Topol. 22 (2022) 2775-2803

Cremona transformations of weighted projective planes, Zariski pairs, and rational cuspidal curves

Authors: E. Artal Bartolo, J. I. Cogolludo-Agustín, J. Martín-Morales

Abstract: In this work, we study a family of Cremona transformations of weighted projective planes which generalize the standard Cremona transformation of the projective plane. Starting from special plane projective curves we construct families of curves in weighted projective planes with special properties. We explain how to compute the fundamental groups of their complements, using the blow-up-down decomp… ▽ More In this work, we study a family of Cremona transformations of weighted projective planes which generalize the standard Cremona transformation of the projective plane. Starting from special plane projective curves we construct families of curves in weighted projective planes with special properties. We explain how to compute the fundamental groups of their complements, using the blow-up-down decompositions of the Cremona transformations, we find examples of Zariski pairs in weighted projective planes (distinguished by the Alexander polynomial). As another application of this machinery we study a family of singularities called weighted Lê-Yomdin, which provide infinite examples of surface singularities with a rational homology sphere link. To end this paper we also study a family of surface singularities generalizing Brieskorn-Pham singularities in a different direction. This family contains infinitely many new examples of integral homology sphere links, answering a question by Némethi. △ Less

Submitted 16 March, 2020; v1 submitted 20 January, 2020; originally announced January 2020.

Comments: 37 pages, 6 figures

MSC Class: 14H20; 14H30; 14F45; 14E07; 57M99; 57M12

Cyclic branched coverings of surfaces with abelian quotient singularities

Authors: E. Artal Bartolo, J. I. Cogolludo-Agustín, Jorge Martín-Morales

Abstract: Esnault-Viehweg developed the theory of cyclic branched coverings $\tilde X\to X$ of smooth surfaces providing a very explicit formula for the decomposition of $H^1(\tilde X,\mathbb{C})$ in terms of a resolution of the ramification locus. Later, the first author applies this to the particular case of coverings of $\mathbb{P}^2$ reducing the problem to a combination of global and local conditions o… ▽ More Esnault-Viehweg developed the theory of cyclic branched coverings $\tilde X\to X$ of smooth surfaces providing a very explicit formula for the decomposition of $H^1(\tilde X,\mathbb{C})$ in terms of a resolution of the ramification locus. Later, the first author applies this to the particular case of coverings of $\mathbb{P}^2$ reducing the problem to a combination of global and local conditions on projective curves. In this paper we extend the above results in three directions: first, the theory is extended to surfaces with quotient singularities, second the ramification locus can be partially resolved and need not be reduced, and finally global and local conditions are given to describe the irregularity of cyclic branched coverings of the weighted projective plane. The techniques required for these results are conceptually different and provide simpler proofs for the classical results. For instance, the local contribution comes from certain modules that have the flavor of quasi-adjunction and multiplier ideals on singular surfaces. As an application, a Zariski pair of curves on a singular surface is described. In particular, we prove the existence of two cuspidal curves of degree 12 in the weighted projective plane $\mathbb{P}^2_{(1,1,3)}$ with the same singularities but non-homeomorphic embeddings. This is shown by proving that the cyclic covers of $\mathbb{P}^2_{(1,1,3)}$ of order 12 ramified along the curves have different irregularity. In the process, only a partial resolution of singularities is required. △ Less

Submitted 27 January, 2020; v1 submitted 18 December, 2019; originally announced December 2019.

Comments: to appear in Indiana Univ. Math. J

MSC Class: 14E20; 14H30; 14F45; 14H50

Delta invariant of curves on rational surfaces I. The analytic approach

Authors: José Ignacio Cogolludo-Agustín, Tamás László, Jorge Martín-Morales, András Némethi

Abstract: We prove that if (C,0) is a reduced curve germ on a rational surface singularity (X,0) then its delta invariant can be recovered by a concrete expression associated with the embedded topological type of the pair (X,C). Furthermore, we also identify it with another (a priori) embedded analytic invariant, which is motivated by the theory of adjoint ideals. Finally, we connect our formulae with the l… ▽ More We prove that if (C,0) is a reduced curve germ on a rational surface singularity (X,0) then its delta invariant can be recovered by a concrete expression associated with the embedded topological type of the pair (X,C). Furthermore, we also identify it with another (a priori) embedded analytic invariant, which is motivated by the theory of adjoint ideals. Finally, we connect our formulae with the local correction term at singular points of the global Riemann--Roch formula, valid for projective normal surfaces, introduced by Blache. △ Less

Submitted 18 November, 2019; originally announced November 2019.

Comments: 17 pages

MSC Class: 14B05; 32Sxx (Primary); 14E15 (Secondary)

Triangular curves and cyclotomic Zariski tuples

Authors: Enrique Artal Bartolo, Jose I. Cogolludo-Agustin, Jorge Martín-Morales

Abstract: The purpose of this paper is to exhibit infinite families of conjugate projective curves in a number field whose complement have the same abelian fundamental group, but are non-homeomorphic. In particular, for any $d>3$ we find Zariski tuples parametrized by the $d$-roots of unity up to complex conjugation. As a consequence, for any divisor $m$ of $d$, $m\neq 1,2,3,4,6$, we find arithmetic Zariski… ▽ More The purpose of this paper is to exhibit infinite families of conjugate projective curves in a number field whose complement have the same abelian fundamental group, but are non-homeomorphic. In particular, for any $d>3$ we find Zariski tuples parametrized by the $d$-roots of unity up to complex conjugation. As a consequence, for any divisor $m$ of $d$, $m\neq 1,2,3,4,6$, we find arithmetic Zariski $\frac{φ(m)}{2}$-tuples with coefficients in the corresponding cyclotomic field. These curves have abelian fundamental group and they are distinguished using a linking invariant. △ Less

Submitted 27 November, 2019; v1 submitted 19 April, 2019; originally announced April 2019.

Comments: 15 pages, 3 figures. To appear in Collectanea Mathematica

Characteristic varieties of graph manifolds and quasi-projectivity of fundamental groups of algebraic links

Authors: E. Artal Bartolo, J. I. Cogolludo-Agustín, D. Matei

Abstract: The present paper studies the structure of characteristic varieties of fundamental groups of graph manifolds. As a consequence, a simple proof of Papadima's question is provided on the characterization of algebraic links that have quasi-projective fundamental groups. The type of quasi-projective obstructions used here are in the spirit of Papadima's original work. The present paper studies the structure of characteristic varieties of fundamental groups of graph manifolds. As a consequence, a simple proof of Papadima's question is provided on the characterization of algebraic links that have quasi-projective fundamental groups. The type of quasi-projective obstructions used here are in the spirit of Papadima's original work. △ Less

Submitted 26 November, 2019; v1 submitted 1 April, 2019; originally announced April 2019.

Comments: 22 pages, 6 figures, to appear in European Journal of Mathematics

Quasi-projectivity of even Artin groups

Authors: Ruben Blasco-Garcia, Jose I. Cogolludo-Agustin

Abstract: Even Artin groups generalize right-angled Artin groups by allowing the labels in the defining graph to be even. In this paper a complete characterization of quasi-projective even Artin groups is given in terms of their defining graphs. Also, it is shown that quasi-projective even Artin groups are realizable by K(pi,1) quasi-projective spaces. Even Artin groups generalize right-angled Artin groups by allowing the labels in the defining graph to be even. In this paper a complete characterization of quasi-projective even Artin groups is given in terms of their defining graphs. Also, it is shown that quasi-projective even Artin groups are realizable by K(pi,1) quasi-projective spaces. △ Less

Submitted 14 March, 2018; originally announced March 2018.

Comments: 23 pages, 5 figures, to appear in G&T

Journal ref: Geom. Topol. 22 (2018) 3979-4011

Coverings of rational ruled normal surfaces

Authors: Enrique Artal Bartolo, José Ignacio Cogolludo-Agustín, Jorge Martín-Morales

Abstract: In this work we use arithmetic, geometric, and combinatorial techniques to compute the cohomology of Weil divisors of a special class of normal surfaces, the so-called rational ruled toric surfaces. These computations are used to study the topology of cyclic coverings of such surfaces ramified along Q-normal crossing divisors. In this work we use arithmetic, geometric, and combinatorial techniques to compute the cohomology of Weil divisors of a special class of normal surfaces, the so-called rational ruled toric surfaces. These computations are used to study the topology of cyclic coverings of such surfaces ramified along Q-normal crossing divisors. △ Less

Submitted 12 March, 2018; originally announced March 2018.

Comments: 25 pages, 5 figures

MSC Class: 14C20; 14B05; 14C22; 11P21; 14F45

Wirtinger curves, Artin groups, and hypocycloids

Authors: Enrique Artal Bartolo, José Ignacio Cogolludo-Agustín, Jorge Martín-Morales

Abstract: The computation of the fundamental group of the complement of an algebraic plane curve has been theoretically solved since Zariski-van Kampen, but actual computations are usually cumbersome. In this work, we describe the notion of Wirtinger presentation of such a group relying on the real picture of the curve and with the same combinatorial flavor as the classical Wirtinger presentation; we determ… ▽ More The computation of the fundamental group of the complement of an algebraic plane curve has been theoretically solved since Zariski-van Kampen, but actual computations are usually cumbersome. In this work, we describe the notion of Wirtinger presentation of such a group relying on the real picture of the curve and with the same combinatorial flavor as the classical Wirtinger presentation; we determine a significant family of curves for which Wirtinger presentation provides the required fundamental group. The above methods allow us to compute that fundamental group for an infinite subfamily of hypocycloids, relating them with Artin groups. △ Less

Submitted 31 August, 2017; v1 submitted 9 May, 2017; originally announced May 2017.

Comments: 16 pages, 8 figures, to appear in Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas

MSC Class: 14H30; 57M10; 32S05; 20F36; 14H50

On the topology of hypocycloids

Authors: E. Artal Bartolo, J. I. Cogolludo-Agustín

Abstract: Algebraic geometry has many connections with physics: string theory, enumerative geometry, and mirror symmetry, among others. In particular, within the topological study of algebraic varieties physicists focus on aspects involving symmetry and non-commutativity. In this paper, we study a family of classical algebraic curves, the hypocycloids, which have links to physics via the bifurcation theory.… ▽ More Algebraic geometry has many connections with physics: string theory, enumerative geometry, and mirror symmetry, among others. In particular, within the topological study of algebraic varieties physicists focus on aspects involving symmetry and non-commutativity. In this paper, we study a family of classical algebraic curves, the hypocycloids, which have links to physics via the bifurcation theory. The topology of some of these curves plays an important role in string theory and also appears in Zariski's foundational. We compute the fundamental groups of some of these curves and show that they are in fact Artin groups. △ Less

Submitted 24 March, 2017; originally announced March 2017.

Comments: 16 pages, 14 figures, In Mathematical physics and field theory. Julio Abad, in memoriam, eds. M. Asorey Carballeira, J.V. García Esteve, Manuel F. Rañada, J. Sesma, ISBN 978-84-92774-04-3; pages 83-98. Prensas Universitarias de Zaragoza, Zaragoza, 2009

MSC Class: 14H30; 14H50; 20F36; 57M05

Journal ref: Mathematical Physics and Field Theory, 1-16, Prensas Universitarias de Zaragoza, 2009

Albanese varieties of cyclic covers of the projective plane and orbifold pencils

Authors: E. Artal-Bartolo, J. I. Cogolludo-Agustin, A. Libgober

Abstract: The paper studies a relation between fundamental group of the complement to a plane singular curve and the orbifold pencils containing it. The main tool is the use of Albanese varieties of cyclic covers ramified along such curves. Our results give sufficient conditions for a plane singular curve to belong to an orbifold pencil, i.e. a pencil of plane curves with multiple fibers inducing a map onto… ▽ More The paper studies a relation between fundamental group of the complement to a plane singular curve and the orbifold pencils containing it. The main tool is the use of Albanese varieties of cyclic covers ramified along such curves. Our results give sufficient conditions for a plane singular curve to belong to an orbifold pencil, i.e. a pencil of plane curves with multiple fibers inducing a map onto an orbifold curve whose orbifold fundamental group is non trivial. We construct an example of a cyclic cover of the projective plane which is an abelian surface isomorphic to the Jacobian of a curve of genus 2 illustrating the extent to which these conditions are necessary. △ Less

Submitted 23 February, 2017; originally announced February 2017.

Comments: 20 pages, 5 figures. To appear in Nagoya Mathematical Journal

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

Some open questions on arithmetic Zariski pairs

Authors: E. Artal Bartolo, J. I. Cogolludo-Agustín

Abstract: In this paper, complement-equivalent arithmetic Zariski pairs will be exhibited answering in the negative a question by Eyral-Oka on these curves and their groups. A complement-equivalent arithmetic Zariski pair is a pair of complex projective plane curves having Galois-conjugate equations in some number field whose complements are homeomorphic, but whose embeddings in $\mathbb{P}^2$ are not. Mo… ▽ More In this paper, complement-equivalent arithmetic Zariski pairs will be exhibited answering in the negative a question by Eyral-Oka on these curves and their groups. A complement-equivalent arithmetic Zariski pair is a pair of complex projective plane curves having Galois-conjugate equations in some number field whose complements are homeomorphic, but whose embeddings in $\mathbb{P}^2$ are not. Most of the known invariants used to detect Zariski pairs depend on the étale fundamental group. In the case of Galois-conjugate curves, their étale fundamental groups coincide. Braid monodromy factorization appears to be sensitive to the difference between étale fundamental groups and homeomorphism class of embeddings. △ Less

Submitted 17 June, 2015; originally announced June 2015.

Comments: 21 pages, 7 figures

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

Journal ref: Singularities in geometry, topology, foliations and dynamics, 31-54, Trends Math., Birkhäuser/Springer, Cham, 2017

Numerical Adjunction Formulas for Weighted Projective Planes and Lattice Points Counting

Authors: J. I. Cogolludo-Agustin, J. Martin-Morales, J. Ortigas-Galindo

Abstract: This paper gives an explicit formula for the Ehrhart quasi-polynomial of certain 2-dimensional polyhedra in terms of invariants of surface quotient singularities. Also, a formula for the dimension of the space of quasi-homogeneous polynomials of a given degree is derived. This admits an interpretation as a Numerical Adjunction Formula for singular curves on the weighted projective plane. This paper gives an explicit formula for the Ehrhart quasi-polynomial of certain 2-dimensional polyhedra in terms of invariants of surface quotient singularities. Also, a formula for the dimension of the space of quasi-homogeneous polynomials of a given degree is derived. This admits an interpretation as a Numerical Adjunction Formula for singular curves on the weighted projective plane. △ Less

Submitted 3 June, 2015; originally announced June 2015.

Comments: 18 pages, 2 figures, 1 Table. To appear in Kyoto Journal Of Mathematics

Journal ref: Kyoto J. Math. 56, no. 3 (2016), 575-598

The space of curvettes of quotient singularities and associated invariants

Authors: Jose I. Cogolludo-Agustin, Jorge Martin-Morales

Abstract: This paper deals with a complete invariant $R_X$ for cyclic quotient surface singularities. This invariant appears in the Riemann Roch and Numerical Adjunction Formulas for normal surface singularities. Our goal is to give an explicit formula for $R_X$ based on the numerical information of $X$, that is, $d$ and $q$ as in $X=X(d;1,q)$. In the process, the space of curvettes and generic curves is ex… ▽ More This paper deals with a complete invariant $R_X$ for cyclic quotient surface singularities. This invariant appears in the Riemann Roch and Numerical Adjunction Formulas for normal surface singularities. Our goal is to give an explicit formula for $R_X$ based on the numerical information of $X$, that is, $d$ and $q$ as in $X=X(d;1,q)$. In the process, the space of curvettes and generic curves is explicitly described. We also define and describe other invariants of curves in $X$ such as the LR-logarithmic eigenmodules, $δ$-invariants, and their Milnor and Newton numbers. △ Less

Submitted 9 March, 2015; originally announced March 2015.

Comments: 20 pages, 6 figures

Arrangements of hypersurfaces and Bestvina-Brady groups

Authors: Enrique Artal Bartolo, Jose Ignacio Cogolludo-Agustin, Daniel Matei

Abstract: We show that quasi-projective Bestvina-Brady groups are fundamental groups of complements to hyperplane arrangements. Furthermore we relate other normal subgroups of right-angled Artin groups to complements to arrangements of hypersurfaces. We thus obtain examples of hypersurface complements whose fundamental groups satisfy various finiteness properties. We show that quasi-projective Bestvina-Brady groups are fundamental groups of complements to hyperplane arrangements. Furthermore we relate other normal subgroups of right-angled Artin groups to complements to arrangements of hypersurfaces. We thus obtain examples of hypersurface complements whose fundamental groups satisfy various finiteness properties. △ Less

Submitted 8 June, 2015; v1 submitted 2 July, 2012; originally announced July 2012.

Comments: 21 pages

MSC Class: 14F35; 20F65; 14F45; 20F36; 55R55; 14N20; 14J70

Journal ref: Groups, Geometry and Dynamics, Volume 9, Issue 1, 2015, pp. 103-131

Local invariants on quotient singularities and a genus formula for weighted plane curves

Authors: Jose Ignacio Cogolludo-Agustin, Jorge Martin-Morales, Jorge Ortigas-Galindo

Abstract: In this paper we extend the concept of Milnor fiber and Milnor number of a curve singularity allowing the ambient space to be a quotient surface singularity. A generalization of the local δ-invariant is defined and described in terms of a Q-resolution of the curve singularity. In particular, when applied to the classical case (the ambient space is a smooth surface) one obtains a formula for the cl… ▽ More In this paper we extend the concept of Milnor fiber and Milnor number of a curve singularity allowing the ambient space to be a quotient surface singularity. A generalization of the local δ-invariant is defined and described in terms of a Q-resolution of the curve singularity. In particular, when applied to the classical case (the ambient space is a smooth surface) one obtains a formula for the classical δ-invariant in terms of a Q-resolution, which simplifies considerably effective computations. All these tools will finally allow for an explicit description of the genus formula of a curve defined on a weighted projective plane in terms of its degree and the local type of its singularities. △ Less

Submitted 8 June, 2012; originally announced June 2012.

Comments: 18 pages, 1 figure

MSC Class: 32S05; 14H50; 32S25; 14F45

Kummer covers and braid monodromy

Authors: Enrique Artal Bartolo, Jose I. Cogolludo-Agustin, Jorge Ortigas-Galindo

Abstract: In this work we describe a method to reconstruct the braid monodromy of the preimage of a curve by a Kummer cover. This method is interesting, since it combines two techniques, namely, the reconstruction of a highly non-generic braid monodromy with a systematic method to go from a non-generic to a generic braid monodromy. This "generification" method is independent from Kummer covers and can be ap… ▽ More In this work we describe a method to reconstruct the braid monodromy of the preimage of a curve by a Kummer cover. This method is interesting, since it combines two techniques, namely, the reconstruction of a highly non-generic braid monodromy with a systematic method to go from a non-generic to a generic braid monodromy. This "generification" method is independent from Kummer covers and can be applied in more general circumstances since non generic braid monodromies appear more naturally and are oftentimes much easier to compute. Explicit examples are computed using these techniques. △ Less

Submitted 8 June, 2015; v1 submitted 24 May, 2012; originally announced May 2012.

Comments: 34 pages, 16 figures

MSC Class: 14F35; 14H50; 14F45; 57M12; 14E20

Journal ref: J. Inst. Math. Jussieu 13 (2014), no. 3, 633-670

Depth of cohomology support loci for quasi-projective varieties via orbifold pencils

Authors: E. Artal Bartolo, J. I. Cogolludo-Agustin, A. Libgober

Abstract: The present paper describes a relation between the quotient of the fundamental group of a smooth quasi-projective variety by its second commutator and the existence of maps to orbifold curves. It extends previously studied cases when the target was a smooth curve. In the case when the quasi-projective variety is a complement to a plane algebraic curve this provides new relations between the fundam… ▽ More The present paper describes a relation between the quotient of the fundamental group of a smooth quasi-projective variety by its second commutator and the existence of maps to orbifold curves. It extends previously studied cases when the target was a smooth curve. In the case when the quasi-projective variety is a complement to a plane algebraic curve this provides new relations between the fundamental group, the equation of the curve, and the existence of polynomial solutions to certain equations generalizing Pell's equation. These relations are formulated in terms of the depth which is an invariant of the characters of the fundamental group discussed in detail here. △ Less

Submitted 12 March, 2012; originally announced March 2012.

Comments: 22 pages

MSC Class: 14H30; 14J30; 14H50; 11G05; 57M12; 14H52

Journal ref: Rev. Mat. Iberoam. 30 (2014), no. 2, 373-404

Orbifold groups, quasi-projectivity and covers

Authors: Enrique Artal Bartolo, Jose Ignacio Cogolludo-Agustin, Daniel Matei

Abstract: We discuss properties of complex algebraic orbifold groups, their characteristic varieties, and their abelian covers. In particular, we deal with the question of (quasi)-projectivity of orbifold groups. We also prove a structure theorem for the variety of characters of normal-crossing quasi-projective orbifold groups. Finally, we extend Sakuma's formula for the first Betti number of abelian covers… ▽ More We discuss properties of complex algebraic orbifold groups, their characteristic varieties, and their abelian covers. In particular, we deal with the question of (quasi)-projectivity of orbifold groups. We also prove a structure theorem for the variety of characters of normal-crossing quasi-projective orbifold groups. Finally, we extend Sakuma's formula for the first Betti number of abelian covers of orbifold fundamental groups. Several examples are presented, including a compact orbifold group which is not projective and a Zariski pair of plane projective curves that can be told by considering an unbranched cover of the projective plane with an orbifold structure. △ Less

Submitted 7 March, 2012; originally announced March 2012.

Comments: 20 pages

MSC Class: 14H30; 57R18; 55N25

Computation-free presentation of the fundamental group of generic $(p,q)$-torus curves

Authors: Enrique Artal Bartolo, Jose I. Cogolludo-Agustin, Jorge Ortigas-Galindo

Abstract: In this note, we present a new method for computing fundamental groups of curve complements using a variation of the Zariski-Van Kampen method on general ruled surfaces. As an application we give an alternative (computation-free) proof for the fundamental group of generic $(p,q)$-torus curves. In this note, we present a new method for computing fundamental groups of curve complements using a variation of the Zariski-Van Kampen method on general ruled surfaces. As an application we give an alternative (computation-free) proof for the fundamental group of generic $(p,q)$-torus curves. △ Less

Submitted 16 January, 2012; originally announced January 2012.

Comments: 7 pages, 3 figures

MSC Class: 14H30; 14H50; 14F45; 57M12; 57M05; 14H10; 14E05

Journal ref: Algebr. Geom. Topol. 12 (2012) 1265-1272

Mordell-Weil groups and Zariski triples

Authors: Jose Ignacio Cogolludo-Agustin, Remke Kloosterman

Abstract: We prove the existence of three irreducible curves $C_{12,m}$ of degree 12 with the same number of cusps and different Alexander polynomials. This exhibits a Zariski triple. Moreover we provide a set of generators for the elliptic threefold with constant $j$-invariant 0 and discriminant curve $C_{12,m}$. Finally we consider general degree $d$ base change of $C_{12d,m}$ and calculate the dimension… ▽ More We prove the existence of three irreducible curves $C_{12,m}$ of degree 12 with the same number of cusps and different Alexander polynomials. This exhibits a Zariski triple. Moreover we provide a set of generators for the elliptic threefold with constant $j$-invariant 0 and discriminant curve $C_{12,m}$. Finally we consider general degree $d$ base change of $C_{12d,m}$ and calculate the dimension of the equisingular deformation space. △ Less

Submitted 24 November, 2011; originally announced November 2011.

Depth of characters of curve complements and orbifold pencils

Authors: E. Artal Bartolo, J. I. Cogolludo-Agustin, A. Libgober

Abstract: The present work is a user's guide to the results of a previous paper by the second and third authors, where a description of the space of characters of a quasi-projective variety was given in terms of global quotient orbifold pencils. Below we consider the case of plane curve complements and hyperplane arrangements. In particular, an infinite family of curves exhibiting characters of any torsio… ▽ More The present work is a user's guide to the results of a previous paper by the second and third authors, where a description of the space of characters of a quasi-projective variety was given in terms of global quotient orbifold pencils. Below we consider the case of plane curve complements and hyperplane arrangements. In particular, an infinite family of curves exhibiting characters of any torsion and depth~3 will be discussed. Also, in the context of line arrangements, it will be shown how geometric tools, such as the existence of orbifold pencils, can replace the group theoretical computations via fundamental groups when studying characters of finite order, specially order two. Finally, we revisit an Alexander-equivalent Zariski pair considered in the literature and show how the existence of such pencils distinguishes both curves. △ Less

Submitted 31 July, 2011; originally announced August 2011.

Comments: 21 pages, 1 picture

Mordell-Weil groups of elliptic threefolds and the Alexander module of plane curves

Authors: J. I. Cogolludo-Agustin, A. Libgober

Abstract: We show that the degree of the Alexander polynomial of an irreducible plane algebraic curve with nodes and cusps as the only singularities does not exceed ${5 \over 3}d-2$ where $d$ is the degree of the curve. We also show that the Alexander polynomial $Δ_C(t)$ of an irreducible curve $C=\{F=0\}\subset \mathbb P^2$ whose singularities are nodes and cusps is non-trivial if and only if there exist h… ▽ More We show that the degree of the Alexander polynomial of an irreducible plane algebraic curve with nodes and cusps as the only singularities does not exceed ${5 \over 3}d-2$ where $d$ is the degree of the curve. We also show that the Alexander polynomial $Δ_C(t)$ of an irreducible curve $C=\{F=0\}\subset \mathbb P^2$ whose singularities are nodes and cusps is non-trivial if and only if there exist homogeneous polynomials $f$, $g$, and $h$ such that $f^3+g^2+Fh^6=0$. This is obtained as a consequence of the correspondence, described here, between Alexander polynomials and ranks of Mordell-Weil groups of certain threefolds over function fields. All results also are extended to the case of reducible curves and Alexander polynomials $Δ_{C,ε}(t)$ corresponding to surjections $ε: π_1(\mathbb P^2\setminus C_0 \cup C) \rightarrow \mathbb Z$, where $C_0$ is a line at infinity. In addition, we provide a detailed description of the collection of relations of $F$ as above in terms of the multiplicities of the roots of $Δ_{C,ε}(t)$. This generalization is made in the context of a larger class of singularities i.e. those which lead to rational orbifolds of elliptic type. △ Less

Submitted 3 June, 2011; v1 submitted 11 August, 2010; originally announced August 2010.

Comments: Substantially expanded, proofs are clarified, and statements 3.11, 3.12, and 5.9 corrected

MSC Class: 14H30; 14J30; 14H50; 11G05; 57M12; 14H52

Quasi-projectivity, Artin-Tits Groups, and Pencil Maps

Authors: Enrique Artal Bartolo, Jose Ignacio Cogolludo-Agustin, Daniel Matei

Abstract: We consider the problem of deciding if a group is the fundamental group of a smooth connected complex quasi-projective (or projective) variety using Alexander-based invariants. In particular, we solve the problem for large families of Artin-Tits groups. We also study finiteness properties of such groups and exhibit examples of hyperplane complements whose fundamental groups satisfy… ▽ More We consider the problem of deciding if a group is the fundamental group of a smooth connected complex quasi-projective (or projective) variety using Alexander-based invariants. In particular, we solve the problem for large families of Artin-Tits groups. We also study finiteness properties of such groups and exhibit examples of hyperplane complements whose fundamental groups satisfy $\text{F}_{k-1}$ but not $\text{F}_k$ for any $k$. △ Less

Submitted 28 May, 2010; originally announced May 2010.

Comments: 25 pages, 2 figures, to appear at the LIB60BER Conference Proceedings

MSC Class: 58K65; 32S20; 32S50 (Primary); 14B05; 14H30; 14H50 (Secondary)

Characteristic varieties of quasi-projective manifolds and orbifolds

Authors: Enrique Artal Bartolo, Jose Ignacio Cogolludo-Agustin, Daniel Matei

Abstract: We prove that the irreducible components of the characteristic varieties of quasi-projective manifolds are either pull-backs of such components for orbifolds, or torsion points. This gives an interpretation for the so-called \emph{translated} components of the characteristic varieties, and shows that the zero-dimensional components are indeed torsion. The main result is used to derive further obst… ▽ More We prove that the irreducible components of the characteristic varieties of quasi-projective manifolds are either pull-backs of such components for orbifolds, or torsion points. This gives an interpretation for the so-called \emph{translated} components of the characteristic varieties, and shows that the zero-dimensional components are indeed torsion. The main result is used to derive further obstructions for a group to be the fundamental group of a quasi-projective manifold. △ Less

Submitted 28 April, 2012; v1 submitted 26 May, 2010; originally announced May 2010.

Comments: 33 pages, no figures. General rearrangement and proof of Proposition 4.2 is expanded

MSC Class: 58K65; 32S20; 32S50 (Primary) 14B05; 14H30; 14H50 (Secondary)

Journal ref: Geom. Topol., 17:273-309, 2013

The Max Noether Fundamental Theorem is Combinatorial

Authors: J. I. Cogolludo-Agustín, M. Á. Marco Buzunáriz

Abstract: In the present paper we give a reformulation of the Noether Fundamental Theorem for the special case where the three curves involved have the same degree. In this reformulation, the local Noether's Conditions are weakened. To do so we introduce the concept of Abstract Curve Combinatorics (ACC) which will be, in the context of plane curves, the analogue of matroids for hyperplane arrangements. In the present paper we give a reformulation of the Noether Fundamental Theorem for the special case where the three curves involved have the same degree. In this reformulation, the local Noether's Conditions are weakened. To do so we introduce the concept of Abstract Curve Combinatorics (ACC) which will be, in the context of plane curves, the analogue of matroids for hyperplane arrangements. △ Less

Submitted 11 February, 2010; originally announced February 2010.

MSC Class: 58K65; 14Q05; 14B05; 14C22; 14H50; 14F25; 32K07

On the connection between fundamental groups and pencils with multiple fibers

Authors: Enrique Artal Bartolo, José Ignacio Cogolludo-Agustín

Abstract: We present two results about the relationship between fundamental groups of quasiprojective manifolds and linear systems on a projectivization. We prove the existence of a plane curve with non-abelian fundamental group of the complement which does not admit a mapping onto an orbifold with non-abelian fundamental group. We also find an affine manifold whose irreducible components of its character… ▽ More We present two results about the relationship between fundamental groups of quasiprojective manifolds and linear systems on a projectivization. We prove the existence of a plane curve with non-abelian fundamental group of the complement which does not admit a mapping onto an orbifold with non-abelian fundamental group. We also find an affine manifold whose irreducible components of its characteristic varieties do not come from the pull-back of the characteristic varieties of an orbifold. △ Less

Submitted 10 February, 2010; originally announced February 2010.

MSC Class: 14C21; 57M05; 14H30

Journal ref: J. Singul. 2 (2010), 1-18

Cohomology algebra of plane curves, weak combinatorial type, and formality

Authors: J. I. Cogolludo-Agustin, D. Matei

Abstract: We determine an explicit presentation by generators and relations of the cohomology algebra $H^*(\mathbb P^2\setminus C,\mathbb C)$ of the complement to an algebraic curve $C$ in the complex projective plane $\mathbb P^2$, via the study of log-resolution logarithmic forms on $\mathbb P^2$. As a first consequence, we derive that $H^*(\mathbb P^2\setminus C,\mathbb C)$ depends only on the following… ▽ More We determine an explicit presentation by generators and relations of the cohomology algebra $H^*(\mathbb P^2\setminus C,\mathbb C)$ of the complement to an algebraic curve $C$ in the complex projective plane $\mathbb P^2$, via the study of log-resolution logarithmic forms on $\mathbb P^2$. As a first consequence, we derive that $H^*(\mathbb P^2\setminus C,\mathbb C)$ depends only on the following finite pieces of data: the number of irreducible components of $C$ together with their degrees and genera, the number of local branches of each component at each singular point, and the intersection numbers of every two distinct local branches at each singular point of $C$. This finite set of data is referred to as the weak combinatorial type of $C$. A further corollary is that the twisted cohomology jumping loci of $H^*(\mathbb P^2\setminus C,\mathbb C)$ containing the trivial character also depend on the weak combinatorial type of $C$. Finally, the explicit construction of the generators and relations allows us to prove that complements of plane projective curves are formal spaces in the sense of Sullivan. △ Less

Submitted 16 November, 2010; v1 submitted 13 November, 2007; originally announced November 2007.

Comments: 24 pages, 4 figures. To appear in Transactions of the American Mathematical Society

MSC Class: 58K65; 14Q05; 14B05; 14C22; 14H50; 14F25; 32K07