Researcher profile

Evelia R. García Barroso

Evelia R. García Barroso contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2022arXiv

A note on the plane curve singularities in positive characteristic

Given an algebroid plane curve $f=0$ over an algebraically closed field of characteristic $p\geq 0$ we consider the Milnor number $μ(f)$, the delta invariant $δ(f)$ and the number $r(f)$ of its irreducible components. Put $\bar μ(f)=2δ(f)-r(f)+1$. If $p=0$ then $\bar μ(f)=μ(f)$ (the Milnor formula). If $p>0$ then $μ(f)$ is not an invariant and $\bar μ(f)$ plays the role of $μ(f)$. Let $\mathcal N_f$ be the Newton polygon of $f$. We define the numbers $μ(\mathcal N_{f})$ and $r(\mathcal N_{f})$ which can be computed by explicit formulas. The aim of this note is to give a simple proof of the inequality $\bar μ(f)-μ(\mathcal N_{f})\geq r(\mathcal N_{f})- r(f)\geq 0$ due to Boubakri, Greuel and Markwig. We also prove that $\bar μ(f)=μ(\mathcal N_{f})$ when $f$ is non-degenerate.

preprint2022arXiv

Conductors of Abhyankar-Moh semigroups of even degrees

In their paper on the embeddings of the line in the plane, Abhyankar and Moh proved an important inequality, now known as the Abhyankar-Moh inequality, which can be stated in terms of the semigroup associated with the branch at infinity of a plane algebraic curve. Barrolleta, García Barroso and P\loski studied the semigroups of integers satisfying the Abhyankar-Moh inequality and call them Abhyankar-Moh semigroups. They described such semigroups with the maximum conductor. In this paper we prove that all possible conductor values are achieved for the Abhyankar-Moh semigroups of even degree. Our proof is constructive, explicitly describing families that achieve a given value as its conductor.

preprint2021arXiv

Factorizations of the same length in abelian monoids

Let $\mathcal S \subseteq \mathbb Z^m \oplus T$ be a finitely generated and reduced monoid. In this paper we develop a general strategy to study the set of elements in $\mathcal S$ having at least two factorizations of the same length, namely the ideal $\mathcal L_{\mathcal S}$. To this end, we work with a certain (lattice) ideal associated to the monoid $\mathcal S$. Our study can be seen as a new approach generalizing \cite{chapman:2011}, which only studies the case of numerical semigroups. When $\mathcal S$ is a numerical semigroup we give three main results: (1) we compute explicitly a set of generators of the ideal $\mathcal L_{\mathcal S}$ when $\mathcal S$ is minimally generated by an almost arithmetic sequence; (2) we provide an infinite family of numerical semigroups such that $\mathcal L_{\mathcal S}$ is a principal ideal; (3) we classify the computational problem of determining the largest integer not in $\mathcal L_{\mathcal S}$ as an $\mathcal{NP}$-hard problem.

preprint2020arXiv

The combinatorics of plane curve singularities. How Newton polygons blossom into lotuses

This survey may be seen as an introduction to the use of toric and tropical geometry in the analysis of plane curve singularities, which are germs $(C,o)$ of complex analytic curves contained in a smooth complex analytic surface $S$. The embedded topological type of such a pair $(S, C)$ is usually defined to be that of the oriented link obtained by intersecting $C$ with a sufficiently small oriented Euclidean sphere centered at the point $o$, defined once a system of local coordinates $(x,y)$ was chosen on the germ $(S,o)$. If one works more generally over an arbitrary algebraically closed field of characteristic zero, one speaks instead of the combinatorial type of $(S, C)$. One may define it by looking either at the Newton-Puiseux series associated to $C$ relative to a generic local coordinate system $(x,y)$, or at the set of infinitely near points which have to be blown up in order to get the minimal embedded resolution of the germ $(C,o)$ or, thirdly, at the preimage of this germ by the resolution. Each point of view leads to a different encoding of the combinatorial type by a decorated tree: an Eggers-Wall tree, an Enriques diagram, or a weighted dual graph. The three trees contain the same information, which in the complex setting is equivalent to the knowledge of the embedded topological type. There are known algorithms for transforming one tree into another. In this paper we explain how a special type of two-dimensional simplicial complex called a lotus allows to think geometrically about the relations between the three types of trees. Namely, all of them embed in a natural lotus, their numerical decorations appearing as invariants of it. This lotus is constructed from the finite set of Newton polygons created during any process of resolution of $(C,o)$ by successive toric modifications.

preprint2019arXiv

Contact exponent and the Milnor number of plane curve singularities

We investigate properties of the contact exponent (in the sense of Hironaka [Hi]) of plane algebroid curve singularities over algebraically closed fields of arbitrary characteristic. We prove that the contact exponent is an equisingularity invariant and give a new proof of the stability of the maximal contact. Then we prove a bound for the Milnor number and determine the equisingularity class of algebroid curves for which this bound is attained. We do not use the method of Newton's diagrams. Our tool is the logarithmic distance developed in [GB-P1].

preprint2019arXiv

Topological type of discriminants of some special families

We will describe the topological type of the discriminant curve of the morphism $(\ell, f)$, where $\ell$ is a smooth curve and $f$ is an irreducible curve (branch) of multiplicity less than five or a branch that the difference between its Milnor number and Tjurina number is less than 3. We prove that for a branch of these families, the topological type of the discriminant curve is determined by the semigroup, the Zariski invariant and at most two other analytical invariants of the branch.

preprint2018arXiv

Characterization of second type plane foliations using Newton polygons

In this article we characterize the foliations that have the same Newton polygon that their union of formal separatrices, they are the foliations called of the second type. In the case of cuspidal foliations studied by Loray, we precise this characterization using the Poincaré-Hopf index. This index also characterizes the cuspidal foliations having the same desingularization that the union of its separatrices. Finally we give necessary and sufficient conditions when these cuspidal foliations are generalized curves, and a characterization when they have only one separatrix.

preprint2018arXiv

Ultrametric spaces of branches on arborescent singularities

Let $S$ be a normal complex analytic surface singularity. We say that $S$ is arborescent if the dual graph of any resolution of it is a tree. Whenever $A,B$ are distinct branches on $S$, we denote by $A \cdot B$ their intersection number in the sense of Mumford. If $L$ is a fixed branch, we define $U_L(A,B)= (L \cdot A)(L \cdot B)(A \cdot B)^{-1}$ when $A \neq B$ and $U_L(A,A) =0$ otherwise. We generalize a theorem of Płoski concerning smooth germs of surfaces, by proving that whenever $S$ is arborescent, then $U_L$ is an ultrametric on the set of branches of $S$ different from $L$. We compute the maximum of $U_L$, which gives an analog of a theorem of Teissier. We show that $U_L$ encodes topological information about the structure of the embedded resolutions of any finite set of branches. This generalizes a theorem of Favre and Jonsson concerning the case when both $S$ and $L$ are smooth. We generalize also from smooth germs to arbitrary arborescent ones their valuative interpretation of the dual trees of the resolutions of $S$. Our proofs are based in an essential way on a determinantal identity of Eisenbud and Neumann.