Showing 1–50 of 57 results for author: Bartolo, A

On generic singularities of intersections of ellipsoids: the octahedron

Authors: Enrique Artal Bartolo, Santiago López de Medrano, María Teresa Lozano Imìzcoz

Abstract: The goal of this work is to study the smoothings of singular coaxial intersections of ellipsoids (where coaxial includes concentric) with generic singularities, with special attention to the 3-dimensional case. The goal of this work is to study the smoothings of singular coaxial intersections of ellipsoids (where coaxial includes concentric) with generic singularities, with special attention to the 3-dimensional case. △ Less

Submitted 29 March, 2024; originally announced March 2024.

MSC Class: 57K60; 52B11; 57K32

Multistable Kuramoto splay states in a crystal of mode-locked laser pulses

Authors: T. G. Seidel, A. Bartolo, A. Garnache, M. Giudici, M. Marconi, S. V. Gurevich, J. Javaloyes

Abstract: We demonstrate the existence of a multiplicity of co-existing frequency combs in a harmonically mode-locked laser that we link to the splay phases of the Kuramoto model with short range interactions. These splay states are multistable and the laser may wander between them under the influence of stochastic forces. Consequently, the many pulses circulating in the cavity are not necessarily coherent… ▽ More We demonstrate the existence of a multiplicity of co-existing frequency combs in a harmonically mode-locked laser that we link to the splay phases of the Kuramoto model with short range interactions. These splay states are multistable and the laser may wander between them under the influence of stochastic forces. Consequently, the many pulses circulating in the cavity are not necessarily coherent with each other. We show that this partially disordered state for the phase of the optical field features regular train of pulses in the field intensity, a state that we term an incoherent crystal of optical pulses. We provide evidence that the notion of coherence should be interpreted by comparing the duration of the measurement time with the Kramers' escape time of each splay state. Our results are confirmed experimentally by studying a passively mode-locked vertical external-cavity surface-emitting laser. △ Less

Submitted 27 February, 2024; originally announced February 2024.

Comments: Main manuscript (5 pages + 5 figures) & Supplementary material (10 pages + 6 figures)

Time Localized Tilted Beams in Nearly-Degenerate Laser Cavities

Authors: A. Bartolo, N. Vigne, M. Marconi, G. Beaudoin, K. Pantzas, I. Sagnes, A. Garnache, M. Giudici

Abstract: We show that nearly degenerate Vertical External-Cavity Surface-Emitting Lasers emit tilted beams of time localized structures, i.e. mode-locked light pulses which can be individually addressed. These beams feature a Gaussian profile and they are emitted in pairs with opposite transverse k-vector. Because they are phase locked, their interference leads to a non homotetic pattern in the near-field… ▽ More We show that nearly degenerate Vertical External-Cavity Surface-Emitting Lasers emit tilted beams of time localized structures, i.e. mode-locked light pulses which can be individually addressed. These beams feature a Gaussian profile and they are emitted in pairs with opposite transverse k-vector. Because they are phase locked, their interference leads to a non homotetic pattern in the near-field emission of the laser. When a single pair is emitted this is a stripe pattern. Our analysis discloses the role of spherical aberrations of the cavity in stabilizing this spatio-temporal mode-locked regime and in selecting the value of the transverse wavevector. △ Less

Submitted 14 February, 2024; v1 submitted 22 January, 2024; originally announced January 2024.

Algebraic and symplectic curves of degree 8

Authors: Enrique Artal Bartolo

Abstract: We study the existence of some irreducible projective plane curves of degree~$8$ with some prescribed topological type of singularities in the algebraic and symplectic worlds. We study the existence of some irreducible projective plane curves of degree~$8$ with some prescribed topological type of singularities in the algebraic and symplectic worlds. △ Less

Submitted 1 May, 2024; v1 submitted 10 December, 2023; originally announced December 2023.

Comments: Some minor corrections

MSC Class: 14H10; 14H30; 14H37

Computational framework for the generation of one-dimensional vascular models accounting for uncertainty in networks extracted from medical images

Authors: Michelle A Bartolo, Alyssa M Taylor-LaPole, Darsh Gandhi, Alexandria Johnson, Yaqi Li, Emma Slack, Isaiah Stevens, Zachary Turner, Justin D Weigand, Charles Puelz, Dirk Husmeier, Mette S Olufsen

Abstract: Patient-specific computational modeling is a popular, non-invasive method to answer medical questions. Medical images are used to extract geometric domains necessary to create these models, providing a predictive tool for clinicians. However, in vivo imaging is subject to uncertainty, impacting vessel dimensions essential to the mathematical modeling process. While there are numerous programs avai… ▽ More Patient-specific computational modeling is a popular, non-invasive method to answer medical questions. Medical images are used to extract geometric domains necessary to create these models, providing a predictive tool for clinicians. However, in vivo imaging is subject to uncertainty, impacting vessel dimensions essential to the mathematical modeling process. While there are numerous programs available to provide information about vessel length, radii, and position, there is currently no exact way to determine and calibrate these features. This raises the question, if we are building patient-specific models based on uncertain measurements, how accurate are the geometries we extract and how can we best represent a patient's vasculature? In this study, we develop a novel framework to determine vessel dimensions using change points. We explore the impact of uncertainty in the network extraction process on hemodynamics by varying vessel dimensions and segmenting the same images multiple times. Our analyses reveal that image segmentation, network size, and minor changes in radius and length have significant impacts on pressure and flow dynamics in rapidly branching structures and tapering vessels. Accordingly, we conclude that it is critical to understand how uncertainty in network geometry propagates to fluid dynamics, especially in clinical applications. △ Less

Submitted 8 May, 2024; v1 submitted 15 September, 2023; originally announced September 2023.

Comments: 42 pages, 10 figures

Discovery of a novel 1,3,4-oxadiazol-2-one-based NLRP3 inhibitor as a pharmacological agent to mitigate cardiac and metabolic complications in an experimental model of diet-induced metaflammation

Authors: Simone Gastaldi, Carmine Rocca, Eleonora Gianquinto, Maria Concetta Granieri, Valentina Boscaro, Federica Blua, Barbara Rolando, Elisabetta Marini, Margherita Gallicchio, Anna De Bartolo, Naomi Romeo, Rosa Mazza, Francesco Fedele, Pasquale Pagliaro, Claudia Penna, Francesca Spyrakis, Massimo Bertinaria, Tommaso Angelone

Abstract: Inspired by the recent advancements in understanding the binding mode of sulfonylurea-based NLRP3 inhibitors to the NLRP3 sensor protein, we developed new NLRP3 inhibitors by replacing the central sulfonylurea moiety with different heterocycles. Computational studies evidenced that some of the designed compounds were able to maintain important interaction within the NACHT domain of the target prot… ▽ More Inspired by the recent advancements in understanding the binding mode of sulfonylurea-based NLRP3 inhibitors to the NLRP3 sensor protein, we developed new NLRP3 inhibitors by replacing the central sulfonylurea moiety with different heterocycles. Computational studies evidenced that some of the designed compounds were able to maintain important interaction within the NACHT domain of the target protein similarly to the most active sulfonylurea-based NLRP3 inhibitors. Among the studied compounds, the 1,3,4-oxadiazol-2-one derivative 5 (INF200) showed the most promising results being able to prevent NLRP3-dependent pyroptosis triggered by LPS/ATP and LPS/MSU by 66.3 +/- 6.6% and 61.6 +/- 11.5% and to reduce IL-1\b{eta} release (35.5 +/- 8.8 % μM) at 10 μM in human macrophages. The selected compound INF200 (20 mg/kg/day) was then tested in an in vivo rat model of high-fat diet (HFD)-induced metaflammation to evaluate its beneficial cardiometabolic effects. INF200 significantly counteracted HFD-dependent "anthropometric" changes, improved glucose and lipid profiles, and attenuated systemic inflammation and biomarkers of cardiac dysfunction (particularly BNP). Hemodynamic evaluation on Langendorff model indicate that INF200 limited myocardial damage-dependent ischemia/reperfusion injury (IRI) by improving post-ischemic systolic recovery and attenuating cardiac contracture, infarct size, and LDH release, thus reversing the exacerbation of obesity-associated damage. Mechanistically, in post-ischemic hearts, IFN200 reduced IRI-dependent NLRP3 activation, inflammation, and oxidative stress. These results highlight the potential of the novel NLRP3 inhibitor, INF200, and its ability to reverse the unfavorable cardio-metabolic dysfunction associated with obesity. △ Less

Submitted 14 September, 2023; originally announced September 2023.

Biderivations of complete Lie algebras

Authors: Alfonso Di Bartolo, Gianmarco La Rosa

Abstract: The authors of this article intend to present some results obtained in the study of biderivations of complete Lie algebras. Firstly they present a matricial approach to do this, which was a useful and explanatory tool not only in the study of biderivations but also in the synthesis of these results. Then they study all biderivations of a Lie algebra $L$ with $\operatorname{Z}(L)=0$ and… ▽ More The authors of this article intend to present some results obtained in the study of biderivations of complete Lie algebras. Firstly they present a matricial approach to do this, which was a useful and explanatory tool not only in the study of biderivations but also in the synthesis of these results. Then they study all biderivations of a Lie algebra $L$ with $\operatorname{Z}(L)=0$ and $\operatorname{Der(L)}=\operatorname{ad(L)}$, called complete. Moreover, as an application of the previous result, they describe all biderivations of a semisimple Lie algebra (that are complete), extending a result obtained by X. Tang in ([20]) that describes all biderivations of a complex simple Lie algebra. And thirdly, results on symmetric and skew-symmetric biderivations are also presented. △ Less

Submitted 28 July, 2023; originally announced July 2023.

Comments: Accepted manuscript to appear in JAA

MSC Class: 17B40; 17B05; 17B20

Journal ref: Journal of Algebra and Its Applications (2023)

Non-nilpotent Leibniz algebras with one-dimensional derived subalgebra

Authors: Alfonso Di Bartolo, Gianmarco La Rosa, Manuel Mancini

Abstract: In this paper we study non-nilpotent non-Lie Leibniz $\mathbb{F}$-algebras with one-dimensional derived subalgebra, where $\mathbb{F}$ is a field with $\operatorname{char}(\mathbb{F}) \neq 2$. We prove that such an algebra is isomorphic to the direct sum of the two-dimensional non-nilpotent non-Lie Leibniz algebra and an abelian algebra. We denote it by $L_n$, where $n=\dim_{\mathbb{F}} L_n$. This… ▽ More In this paper we study non-nilpotent non-Lie Leibniz $\mathbb{F}$-algebras with one-dimensional derived subalgebra, where $\mathbb{F}$ is a field with $\operatorname{char}(\mathbb{F}) \neq 2$. We prove that such an algebra is isomorphic to the direct sum of the two-dimensional non-nilpotent non-Lie Leibniz algebra and an abelian algebra. We denote it by $L_n$, where $n=\dim_{\mathbb{F}} L_n$. This generalizes the result found in [11], which is only valid when $\mathbb{F}=\mathbb{C}$. Moreover, we find the Lie algebra of derivations, its Lie group of automorphisms and the Leibniz algebra of biderivations of $L_n$. Eventually, we solve the coquecigrue problem for $L_n$ by integrating it into a Lie rack. △ Less

Submitted 8 June, 2024; v1 submitted 18 July, 2023; originally announced July 2023.

Comments: Final version, accepted for publication

MSC Class: 16W25; 17A32; 17B30; 17B40; 20M99; 22A30

Journal ref: Mediterranean Journal of Mathematics 21 (2024), no. 138

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

3D Skeleton-based Human Motion Prediction with Manifold-Aware GAN

Authors: Baptiste Chopin, Naima Otberdout, Mohamed Daoudi, Angela Bartolo

Abstract: In this work we propose a novel solution for 3D skeleton-based human motion prediction. The objective of this task consists in forecasting future human poses based on a prior skeleton pose sequence. This involves solving two main challenges still present in recent literature; (1) discontinuity of the predicted motion which results in unrealistic motions and (2) performance deterioration in long-te… ▽ More In this work we propose a novel solution for 3D skeleton-based human motion prediction. The objective of this task consists in forecasting future human poses based on a prior skeleton pose sequence. This involves solving two main challenges still present in recent literature; (1) discontinuity of the predicted motion which results in unrealistic motions and (2) performance deterioration in long-term horizons resulting from error accumulation across time. We tackle these issues by using a compact manifold-valued representation of 3D human skeleton motion. Specifically, we model the temporal evolution of the 3D poses as trajectory, what allows us to map human motions to single points on a sphere manifold. Using such a compact representation avoids error accumulation and provides robust representation for long-term prediction while ensuring the smoothness and the coherence of the whole motion. To learn these non-Euclidean representations, we build a manifold-aware Wasserstein generative adversarial model that captures the temporal and spatial dependencies of human motion through different losses. Experiments have been conducted on CMU MoCap and Human 3.6M datasets and demonstrate the superiority of our approach over the state-of-the-art both in short and long term horizons. The smoothness of the generated motion is highlighted in the qualitative results. △ Less

Submitted 1 March, 2022; originally announced March 2022.

Comments: paper submitted to IEEE transactions on biometrics, behavior, and identity science, an extension of IEEE FG paper arXiv:2105.08715

Rational homology disk smoothings of surface singularities; the exceptional cases

Authors: Enrique Artal Bartolo, Jonathan Wahl

Abstract: It is known (Stipsicz-Szabó-Wahl) that there are exactly three triply-infinite and seven singly-infinite families of weighted homogeneous normal surface singularities admitting a rational homology disk ($\mathbb{Q}$HD) smoothing, i.e., having a Milnor fibre with Milnor number zero. Some examples are found by an explicit "quotient construction", while others require the "Pinkham method". The fundam… ▽ More It is known (Stipsicz-Szabó-Wahl) that there are exactly three triply-infinite and seven singly-infinite families of weighted homogeneous normal surface singularities admitting a rational homology disk ($\mathbb{Q}$HD) smoothing, i.e., having a Milnor fibre with Milnor number zero. Some examples are found by an explicit "quotient construction", while others require the "Pinkham method". The fundamental group of the Milnor fibre has been known for all except the three exceptional families $\mathcal B_2^3(p), \mathcal C^3_2(p),$ and $\mathcal C^3_3(p)$. In this paper, we settle these cases. We present a new explicit construction for the $\mathcal B_2^3(p)$ family, showing the fundamental group is non-abelian (as occurred previously only for the $\mathcal A^4(p), \mathcal B^4(p)$ and $\mathcal C^4(p)$ cases). We show that the fundamental groups for $ \mathcal C^3_2(p)$ and $\mathcal C^3_3(p)$ are abelian, hence easily computed; using the Pinkham method here requires precise calculations for the fundamental group of the complement of a plane curve. △ Less

Submitted 18 July, 2022; v1 submitted 20 August, 2021; originally announced August 2021.

Comments: 24 pages

MSC Class: 14H20; 32S50; 57M05

Human Motion Prediction Using Manifold-Aware Wasserstein GAN

Authors: Baptiste Chopin, Naima Otberdout, Mohamed Daoudi, Angela Bartolo

Abstract: Human motion prediction aims to forecast future human poses given a prior pose sequence. The discontinuity of the predicted motion and the performance deterioration in long-term horizons are still the main challenges encountered in current literature. In this work, we tackle these issues by using a compact manifold-valued representation of human motion. Specifically, we model the temporal evolutio… ▽ More Human motion prediction aims to forecast future human poses given a prior pose sequence. The discontinuity of the predicted motion and the performance deterioration in long-term horizons are still the main challenges encountered in current literature. In this work, we tackle these issues by using a compact manifold-valued representation of human motion. Specifically, we model the temporal evolution of the 3D human poses as trajectory, what allows us to map human motions to single points on a sphere manifold. To learn these non-Euclidean representations, we build a manifold-aware Wasserstein generative adversarial model that captures the temporal and spatial dependencies of human motion through different losses. Extensive experiments show that our approach outperforms the state-of-the-art on CMU MoCap and Human 3.6M datasets. Our qualitative results show the smoothness of the predicted motions. △ Less

Submitted 16 July, 2021; v1 submitted 18 May, 2021; originally announced May 2021.

Comments: IEEE International Conference on Automatic Face and Gesture Recognition 2021 Jodhpur, India December 15 - 18, 2021

Numerical predictions of shear stress and cyclic stretch in the healthy pulmonary vasculature

Authors: Michelle A. Bartolo, M. Umar Qureshi, Mitchel J. Colebank, Naomi C. Chesler, Mette S. Olufsen

Abstract: Isolated post-capillary pulmonary hypertension (Ipc-PH) occurs due to left heart failure, which contributes to 1 out of every 9 deaths in the United States. In some patients, through unknown mechanisms, Ipc-PH transitions to combined pre-/post-capillary PH (Cpc-PH), diagnosed by an increase in pulmonary vascular resistance and associated with a dramatic increase in mortality. We hypothesize that a… ▽ More Isolated post-capillary pulmonary hypertension (Ipc-PH) occurs due to left heart failure, which contributes to 1 out of every 9 deaths in the United States. In some patients, through unknown mechanisms, Ipc-PH transitions to combined pre-/post-capillary PH (Cpc-PH), diagnosed by an increase in pulmonary vascular resistance and associated with a dramatic increase in mortality. We hypothesize that altered mechanical forces and subsequent vasoactive signaling in the pulmonary capillary bed drive the transition from Ipc-PH to Cpc-PH. However, even in a healthy pulmonary circulation, the mechanical forces in the smallest vessels (the arterioles, venules, and capillary bed) have not been quantitatively defined. This study is the first to examine this question via a computational fluid dynamics model of the human pulmonary arteries, veins, arterioles, and venules. Using this model we predict temporal and spatial dynamics of cyclic stretch and wall shear stress. In the large vessels, numerical simulations show that shear stress increases coincides with larger flow and pressure. In the microvasculature, we found that as vessel radius decreases, shear stress increases and flow decreases. In arterioles, this corresponds with lower pressures; however, the venules and smaller veins have higher pressure than larger veins. Our model provides predictions for pressure, flow, shear stress, and cyclic stretch that provides a way to analyze and investigate hypotheses related to disease progression in the pulmonary circulation. △ Less

Submitted 5 March, 2021; originally announced March 2021.

Comments: 26 pages, 9 figures

On a quadratic form associated with a surface automorphism and its applications to Singularity Theory

Authors: Lilia Alanís-López, Enrique Artal Bartolo, Christian Bonatti, Xavier Gómez-Mont, Manuel González Villa, Pablo Portilla Cuadrado

Abstract: We study the nilpotent part $N'$ of a pseudo-periodic automorphism $h$ of a real oriented surface with boundary $Σ$. We associate a quadratic form $Q$ defined on the first homology group (relative to the boundary) of the surface $Σ$. Using the twist formula and techniques from map** class group theory, we prove that the form $\tilde{Q}$ obtained after killing ${\ker N}$ is positive definite if a… ▽ More We study the nilpotent part $N'$ of a pseudo-periodic automorphism $h$ of a real oriented surface with boundary $Σ$. We associate a quadratic form $Q$ defined on the first homology group (relative to the boundary) of the surface $Σ$. Using the twist formula and techniques from map** class group theory, we prove that the form $\tilde{Q}$ obtained after killing ${\ker N}$ is positive definite if all the screw numbers associated with certain orbits of annuli are positive. We also prove that the restriction of $\tilde Q$ to the absolute homology group of $Σ$ is even whenever the quotient of the Nielsen-Thurston graph under the action of the automorphism is a tree. The case of monodromy automorphisms of Milnor fibers $Σ=F$ of germs of curves on normal surface singularities is discussed in detail, and the aforementioned results are specialized to such situation. Moreover, the form $\tilde{Q}$ is computable in terms of the dual resolution or semistable reduction graph, as illustrated with several examples. Numerical invariants associated with $\tilde{Q}$ are able to distinguish plane curve singularities with different topological types but same spectral pairs. Finally, we discuss a generic linear germ defined on a superisolated surface. In this case the plumbing graph is not a tree and the restriction of $\tilde Q$ to the absolute monodromy of $Σ=F$ is not even. △ Less

Submitted 14 January, 2022; v1 submitted 24 November, 2020; originally announced November 2020.

Comments: General re-organization of the paper. Some corrections on examples and correction of a secondary result of the paper

MSC Class: 32S05

Influence of optical feedback on harmonic pulsating solutions of long-cavity mode-locked VECSELs

Authors: A. Bartolo, T. Seidel, N. Vigne, A. Garnache, G. Beaudoin, I. Sagnes, G. Huyet, M. Giudici, J. Javaloyes, S. Gurevich, M. Marconi

Abstract: We analyse the effect of optical feedback on the dynamics of external-cavity mode-locked semiconductor lasers operated in the long cavity regime. Depending on the ratio between the cavity round-trip time and the feedback delay, we show experimentally that feedback acts as a solution discriminator that either reinforces or hinders the appearance of one of the multiple coexisting mode-locked harmoni… ▽ More We analyse the effect of optical feedback on the dynamics of external-cavity mode-locked semiconductor lasers operated in the long cavity regime. Depending on the ratio between the cavity round-trip time and the feedback delay, we show experimentally that feedback acts as a solution discriminator that either reinforces or hinders the appearance of one of the multiple coexisting mode-locked harmonic solutions. Our theoretical analysis reproduces well the experiment. We identify asymmetrical resonance tongues due to the temporal symmetry breaking induced by gain depletion. △ Less

Submitted 5 November, 2020; v1 submitted 4 November, 2020; originally announced November 2020.

Comments: 4 pages, 5 pictures, submitted to Optics Letters

Journal ref: Optics Letters Vol. 46, Issue 5, pp. 1109-1112 (2021)

Torsion divisors of plane curves with maximal flexes and Zariski pairs

Authors: E. Artal Bartolo, S. Bannai, T. Shirane, H. Tokunaga

Abstract: There is a close relationship between the embedded topology of complex plane curves and the (group-theoretic) arithmetic of elliptic curves. In a recent paper, we studied the topology of some arrangements of curves which include a special smooth component, via the torsion properties induced by the divisors in the special curve associated to the remaining components, which is an arithmetic property… ▽ More There is a close relationship between the embedded topology of complex plane curves and the (group-theoretic) arithmetic of elliptic curves. In a recent paper, we studied the topology of some arrangements of curves which include a special smooth component, via the torsion properties induced by the divisors in the special curve associated to the remaining components, which is an arithmetic property. When this special curve has maximal flexes, there is a natural isomorphism between its Jacobian variety and the degree zero part of its Picard group. In this paper we consider curve arrangements which contain a special smooth component with a maximal flex and exploit these properties to obtain Zariski tuples which show the interplay between topology, geometry and arithmetic. △ Less

Submitted 8 December, 2020; v1 submitted 26 May, 2020; originally announced May 2020.

Comments: 26 pages

MSC Class: 14H50; 14F45; 14F35

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

Torsion divisors of plane curves and Zariski pairs

Authors: E. Artal Bartolo, S. Bannai, T. Shirane, H. Tokunaga

Abstract: In this paper we study the embedded topology of reducible plane curves having a smooth irreducible component. In previous studies, the relation between the topology and certain torsion classes in the Picard group of degree zero of the smooth component was implicitly considered. We formulate this relation clearly and give a criterion for distinguishing the embedded topology in terms of torsion clas… ▽ More In this paper we study the embedded topology of reducible plane curves having a smooth irreducible component. In previous studies, the relation between the topology and certain torsion classes in the Picard group of degree zero of the smooth component was implicitly considered. We formulate this relation clearly and give a criterion for distinguishing the embedded topology in terms of torsion classes. Furthermore, we give a method of systematically constructing examples of curves where our criterion is applicable, and give new examples of Zariski tuples. △ Less

Submitted 30 May, 2022; v1 submitted 14 October, 2019; originally announced October 2019.

Comments: 20 pages

MSC Class: 14H50; 14F45; 14F35

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

On Maximal order poles of generalized topological zeta functions

Authors: Enrique Artal Bartolo, Manuel González-Villa

Abstract: We show some examples of topological zeta functions associated to an isolated plane curve singular point and an allowed, in the sense of Némethi and Veys, differential form that have several poles of order two. This is in contrast to the case of the standard differential form where, as showed by Veys for plane curves and by Nicaise and Xu in general, there is always at most one pole of order two. We show some examples of topological zeta functions associated to an isolated plane curve singular point and an allowed, in the sense of Némethi and Veys, differential form that have several poles of order two. This is in contrast to the case of the standard differential form where, as showed by Veys for plane curves and by Nicaise and Xu in general, there is always at most one pole of order two. △ Less

Submitted 26 February, 2019; originally announced February 2019.

Comments: 7 pages, 5 figures

MSC Class: 32S40; 14B05; 14H20

On the $b$-exponents of generic isolated plane curve singularities

Authors: E. Artal Bartolo, P. Cassou Noguès, I. Luengo, A. Melle-Hernández

Abstract: In 1982, Tamaki Yano proposed a conjecture predicting how is the set of $b$-exponents of an irreducible plane curve singularity germ which is generic in its equisingularity class. In 1986, Pi.~Cassou-Noguès proved the conjecture for the one Puiseux pair case. In a previous work the authors proved the conjecture for two Puiseux pairs germs whose complex algebraic monodromy has distinct eigenvalues.… ▽ More In 1982, Tamaki Yano proposed a conjecture predicting how is the set of $b$-exponents of an irreducible plane curve singularity germ which is generic in its equisingularity class. In 1986, Pi.~Cassou-Noguès proved the conjecture for the one Puiseux pair case. In a previous work the authors proved the conjecture for two Puiseux pairs germs whose complex algebraic monodromy has distinct eigenvalues. A natural problem induced by Yano's conjecture is, for a generic equisingular deformation of an isolated plane curve singularity germ to study how the set of $b$-exponents depends on the topology of the singularity. The natural generalization suggested by Yano's approach holds in suitable examples (for the case of isolated singularites which are Newton non-degenerated, commode and whose set of spectral numbers are all distincts). Morevover we show with an example that this natural generalization is not correct. We restrict to germs whose complex algebraic monodromy has distinct eigenvalues such that the embedded resolution graph has vertices of valency at most 3 and we discuss some examples with multiple eigenvalues. △ Less

Submitted 3 May, 2018; originally announced May 2018.

Comments: 15 pages

MSC Class: 14F10; 32S40 (Primary) 32S05; 32A30 (Secondary)

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

Heegaard splittings of graph manifolds

Authors: Enrique Artal Bartolo, Simón Isaza Peñaloza, Miguel Marco-BuzunÁriz

Abstract: In this paper we give a method to construct Heegaard splittings of oriented graph manifolds with orientable bases. A graph manifold is a closed $3$-manifold admitting only Seifert-fibered pieces in its Jaco-Shalen decomposition; for technical reasons, we restrict our attention to the fully oriented case, i.e. both the pieces and the bases are oriented. In this paper we give a method to construct Heegaard splittings of oriented graph manifolds with orientable bases. A graph manifold is a closed $3$-manifold admitting only Seifert-fibered pieces in its Jaco-Shalen decomposition; for technical reasons, we restrict our attention to the fully oriented case, i.e. both the pieces and the bases are oriented. △ Less

Submitted 20 February, 2018; originally announced February 2018.

Comments: 27 pages, 23 figures

MSC Class: 57M27

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

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

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

Bernstein polynomial of 2-Puiseux pairs irreducible plane curve singularities

Authors: E. Artal Bartolo, Pi. Cassou-Noguès, I. Luengo, A. Melle-Hernández

Abstract: In 1982, Tamaki Yano proposed a conjecture predicting the set of b-exponents of an irreducible plane curve singularity germ which is generic in its equisingularity class. In \cite{ACLM-Yano2} we proved the conjecture for the case in which the germ has two Puiseux pairs and its algebraic monodromy has distinct eigenvalues. In this article we aim to study the Bernstein polynomial for any function wi… ▽ More In 1982, Tamaki Yano proposed a conjecture predicting the set of b-exponents of an irreducible plane curve singularity germ which is generic in its equisingularity class. In \cite{ACLM-Yano2} we proved the conjecture for the case in which the germ has two Puiseux pairs and its algebraic monodromy has distinct eigenvalues. In this article we aim to study the Bernstein polynomial for any function with the hypotheses above. In particular the set of all common roots of those Bernstein polynomials is given. We provide also bounds for some analytic invariants of singularities and illustrate the computations in suitable examples. △ Less

Submitted 3 November, 2016; originally announced November 2016.

MSC Class: Primary 14F10; 32S40; Secondary 32S05; 32A30

Yano's conjecture for 2-Puiseux pair irreducible plane curve singularities

Authors: E. Artal Bartolo, P. Cassou-Noguès, I. Luengo, A. Melle-Hernández

Abstract: In 1982, Yano proposed a conjecture predicting the $b$-exponents of an irreducible plane curve singularity which is generic in its equisingularity class. In this article we prove the conjecture for the case of two Puiseux pairs and monodromy with distinct eigenvalues. The hypothesis on the monodromy implies that the $b$-exponents coincide with the opposite of the roots of the Bernstein polynomial,… ▽ More In 1982, Yano proposed a conjecture predicting the $b$-exponents of an irreducible plane curve singularity which is generic in its equisingularity class. In this article we prove the conjecture for the case of two Puiseux pairs and monodromy with distinct eigenvalues. The hypothesis on the monodromy implies that the $b$-exponents coincide with the opposite of the roots of the Bernstein polynomial, and we compute the roots of the Bernstein polynomial. △ Less

Submitted 2 November, 2016; v1 submitted 23 February, 2016; originally announced February 2016.

Comments: 27 pages, to appear in Publications of the Research Institute for Mathematical Sciences

MSC Class: 14F10; 32S40; 32S05; 32A30

Journal ref: Publ. Res. Inst. Math. Sci. 53 (2017), no. 1, 211-239

On some conjectures about free and nearly free divisors

Authors: Enrique Artal Bartolo, Leire Gorrochategui, Ignacio Luengo, Alejandro Melle-Hernández

Abstract: In this paper infinite families of examples of irreducible free and nearly free curves in the complex projective plane which are not rational curves and whose local singularites can have an arbitrary number of branches are given. All these examples answer negatively to some conjectures proposed by A. Dimca and G. Sticlaru. Our examples say nothing about the most remarkable conjecture by A. Dimca a… ▽ More In this paper infinite families of examples of irreducible free and nearly free curves in the complex projective plane which are not rational curves and whose local singularites can have an arbitrary number of branches are given. All these examples answer negatively to some conjectures proposed by A. Dimca and G. Sticlaru. Our examples say nothing about the most remarkable conjecture by A. Dimca and G. Sticlaru, i.e. every rational cuspidal plane curve is either free or nearly free. △ Less

Submitted 30 November, 2015; originally announced November 2015.

Comments: 20 pages

MSC Class: 14A05; 14R15

Journal ref: Singularities and computer algebra, 1-19, Springer, Cham, 2017

On fundamental groups of plane curve complements

Authors: Enrique Artal Bartolo, Alexandru Dimca

Abstract: In this paper we discuss some properties of fundamental groups and Alexander polynomials of plane curves. We discuss the relationship of the non-triviality of Alexander polynomials and the notion of (nearly) freeness for irreducible plane curves. We reprove and restate in modern terms a somewhat forgotten result of Zariski. Finally, we describe some topological properties of curves with abelian fu… ▽ More In this paper we discuss some properties of fundamental groups and Alexander polynomials of plane curves. We discuss the relationship of the non-triviality of Alexander polynomials and the notion of (nearly) freeness for irreducible plane curves. We reprove and restate in modern terms a somewhat forgotten result of Zariski. Finally, we describe some topological properties of curves with abelian fundamental group. △ Less

Submitted 29 July, 2015; originally announced July 2015.

Journal ref: Ann. Univ. Ferrara 61(2015), 255-262

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

High-school algebra of the theory of dicritical divisors: atypical fibres for special pencils and polynomials

Authors: E. Artal Bartolo, I. Luengo, A. Melle-Hernández

Abstract: In this work we deal with dicritical divisors, curvettes and polynomials. These objects have been one of the main research interests of S.S. Abhyankar during his last years. In this work we provide some elementary proofs of some S.S. Abhyankar and I. Luengo results for dicriticals in the framework of formal power series. Based on these ideas we give a constructive way to find the atypical fibres o… ▽ More In this work we deal with dicritical divisors, curvettes and polynomials. These objects have been one of the main research interests of S.S. Abhyankar during his last years. In this work we provide some elementary proofs of some S.S. Abhyankar and I. Luengo results for dicriticals in the framework of formal power series. Based on these ideas we give a constructive way to find the atypical fibres of a special pencil and give bounds for its number, which are sharper than the existing ones. Finally, we answer a question of J. Gwoździewicz finding polynomials that reach his bound. △ Less

Submitted 4 August, 2014; originally announced August 2014.

Comments: 23 pages, 14 figures

MSC Class: 14A05; 14R15

Journal ref: J. Algebra Appl. 14 (2015), no. 9, 1540009, 26 pp

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

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

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

Quasi-ordinary singularities and Newton trees

Authors: E. Artal Bartolo, Pi. Cassou-Noguès, I. Luengo, A. Melle-Hernández

Abstract: In this paper we study some properties of the class of nu-quasi-ordinary hypersurface singularities. They are defined by a very mild condition on its (projected) Newton polygon. We associate with them a Newton tree and characterize quasi-ordinary hypersurface singularities among nu-quasi-ordinary hypersurface singularities in terms of their Newton tree. A formula to compute the discriminant of a q… ▽ More In this paper we study some properties of the class of nu-quasi-ordinary hypersurface singularities. They are defined by a very mild condition on its (projected) Newton polygon. We associate with them a Newton tree and characterize quasi-ordinary hypersurface singularities among nu-quasi-ordinary hypersurface singularities in terms of their Newton tree. A formula to compute the discriminant of a quasi-ordinary Weierstrass polynomial in terms of the decorations of its Newton tree is given. This allows to compute the discriminant avoiding the use of determinants and even for non Weierstrass prepared polynomials. This is important for applications like algorithmic resolutions. We compare the Newton tree of a quasi-ordinary singularity and those of its curve transversal sections. We show that the Newton trees of the transversal sections do not give the tree of the quasi-ordinary singularity in general. It does if we know that the Newton tree of the quasi-ordinary singularity has only one arrow. △ Less

Submitted 8 March, 2012; originally announced March 2012.

Comments: 32 pages

MSC Class: 14B05; 32S05; 32S10

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

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

Intersection Theory on Abelian-Quotient $V$-Surfaces and $\mathbf{Q}$-Resolutions

Authors: Enrique Artal Bartolo, Jorge Martín-Morales, Jorge Ortigas-Galindo

Abstract: In this paper we study the intersection theory on surfaces with abelian quotient singularities and we derive properties of quotients of weighted projective planes. We also use this theory to study weighted blow-ups in order to construct embedded $\mathbf{Q}$-resolutions of plane curve singularities and abstract $\mathbf{Q}$-resolutions of surfaces. In this paper we study the intersection theory on surfaces with abelian quotient singularities and we derive properties of quotients of weighted projective planes. We also use this theory to study weighted blow-ups in order to construct embedded $\mathbf{Q}$-resolutions of plane curve singularities and abstract $\mathbf{Q}$-resolutions of surfaces. △ Less

Submitted 6 May, 2011; originally announced May 2011.

Comments: 31 pages, 11 figures

MSC Class: 32S25; 32S45

Journal ref: J. Singul., 8:11-30, 2014

Cartier and Weil Divisors on Varieties with Quotient Singularities

Authors: Enrique Artal Bartolo, Jorge Martín-Morales, Jorge Ortigas-Galindo

Abstract: The main goal of this paper is to show that the notions of Weil and Cartier $\mathbb{Q}$-divisors coincide for $V$-manifolds and give a procedure to express a rational Weil divisor as a rational Cartier divisor. The theory is illustrated on weighted projective spaces and weighted blow-ups. The main goal of this paper is to show that the notions of Weil and Cartier $\mathbb{Q}$-divisors coincide for $V$-manifolds and give a procedure to express a rational Weil divisor as a rational Cartier divisor. The theory is illustrated on weighted projective spaces and weighted blow-ups. △ Less

Submitted 9 June, 2015; v1 submitted 29 April, 2011; originally announced April 2011.

Comments: 16 pages

MSC Class: 32S25; 32S45

Journal ref: Internat. J. Math. 25 (2014), no. 11, 1450100, 20 pp

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

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 map** 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 map** 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

Algebraic (2,2)-transformation groups

Authors: Claudio Bartolone, Alfonso Di Bartolo, Karl Strambach

Abstract: This paper contains the more significant part of the article with the same title that will appear in the Volume 12 of Journal of Group Theory (2009). In this paper we determine all algebraic transformation groups $G$, defined over an algebraically closed field $\sf k$, which operate transitively, but not primitively, on a variety $Ω$, provided the following conditions are fulfilled. We ask tha… ▽ More This paper contains the more significant part of the article with the same title that will appear in the Volume 12 of Journal of Group Theory (2009). In this paper we determine all algebraic transformation groups $G$, defined over an algebraically closed field $\sf k$, which operate transitively, but not primitively, on a variety $Ω$, provided the following conditions are fulfilled. We ask that the (non-effective) action of $G$ on the variety of blocks is sharply 2-transitive, as well as the action on a block $Δ$ of the normalizer $G_Δ$. Also we require sharp transitivity on pairs $(X,Y)$ of independent points of $Ω$, i.e. points contained in different blocks. △ Less

Submitted 25 September, 2008; originally announced September 2008.

Comments: 11 pages, this paper contains the more significant part of the article with the same title that will appear in the Volume 12 of Journal of Group Theory (2009)

MSC Class: 14L30

Boolean 2-designs and the embedding of a 2-design in a group

Authors: Andrea Caggegi, Alfonso Di Bartolo, Giovanni Falcone

Abstract: We try to embed a t-design in a finite commutative group in such a way that the sum of the k points of a block is zero. We can compute the number of blocks of the boolean 2-design having all the non zero vectors of $(Z_2)^n$ as the set of points and the k-subsets of elements the sum of which is zero as blocks. We try to embed a t-design in a finite commutative group in such a way that the sum of the k points of a block is zero. We can compute the number of blocks of the boolean 2-design having all the non zero vectors of $(Z_2)^n$ as the set of points and the k-subsets of elements the sum of which is zero as blocks. △ Less

Submitted 3 July, 2008; v1 submitted 20 June, 2008; originally announced June 2008.

Comments: Extended abstract of a talk given at the conference Combinatorics 2008, Costermano (Italy) 22-28 June 2008. Removed Corollary 9 (false!)

MSC Class: 05B05; 05B25