Searcharxiv⌕ Search

arXiv subjects

Fuensanta Aroca

Publications and source records attributed to Fuensanta Aroca.

12 recordsLinked to original sources
arXiv2025

Normalization of Puiseux Hypersurfaces

It is known that the normalization of a quasi-ordinary complex singularity is a Hirzebruch-Jung, see [Gon00; Pop04; AS05]. We extend this result to Puiseux hypersurfaces. Moreover, we prove that Hirzebruch-Jung singularities are precisely normalizations of Puiseux hypersurfaces. Our result holds over an algebraically closed field whose characteristic does not divide the degree of the polynomial defining the hypersurface. Finally, in the analytic complex case, we conclude that the normalization of an irreducible Puiseux hypersurface is the normalization of a complex analytic quasi-ordinary singularity.

math.AG↗
arXiv2025

Abhyankar-Moh Semigroups for arbitrary hypersurfaces

For an arbitrary hypersurface singularity, we construct a family of semigroups associated with algebraically closed fields that arise as an infinite union of rings of series. These semigroups extend the value semigroup of a plane curve studied by Abhyankar and Moh. The algebraically closed fields under consideration possess a natural valuation that induces a corresponding value semigroup. We establish the necessary conditions under which these semigroups are independent of the choice of the root. Moreover, the extensions proposed by P. Gonz\'alez and Kiyek-Micus, where Gonz\'alez specifically addresses the case of quasi-ordinary singularities, and the extension introduced by Abbas-Assi, can be understood as particular instances within our constructed family.

math.AG↗
arXiv2022

Groebner fan and embedded resolutions of ideals on toric varieties

We consider the notions of Groebner fan and Newton non-degeneracy for an ideal on a toric variety, extending the two existing notions for ideals on affine spaces. We prove, without assumptions on the characteristic of the base fields, that the "Groebner fan" of such an ideal is actually a polyhedral fan and that a sub-variety defined by a Newton non-degenerate ideal on a toric variety $X_\sigma$ admits a toric embedded resolution of singularities $Z\longrightarrow X_\sigma.$

math.AG↗
arXiv2021

The minimal cone of an algebraic Laurent series

We study the algebraic closure of $\mathbb K(\!(x)\!)$, the field of power series in several indeterminates over a field $\mathbb K$. In characteristic zero we show that the elements algebraic over $\mathbb K(\!(x)\!)$ can be expressed as Puiseux series such that the convex hull of its support is essentially a polyhedral rational cone, strengthening the known results. In positive characteristic we construct algebraic closed fields containing the field of power series and we give examples showing that the results proved in characteristic zero are longer valid in positive characteristic.

math.AC↗
arXiv2020

Finiteness results concerning algebraic power series

We construct an explicit filtration of the ring of algebraic power series by finite dimensional constructible sets, measuring the complexity of these series. As an application, we give a bound on the dimension of the set of algebraic power series of bounded complexity lying on an algebraic variety defined over the field of power series.

math.AC↗
arXiv2019

On Archimedean Zeta Functions and Newton Polyhedra

Let $f$ be a polynomial function over the complex numbers and let $ϕ$ be a smooth function over $\mathbb{C}$ with compact support. When $f$ is non-degenerate with respect to its Newton polyhedron, we give an explicit list of candidate poles for the complex local zeta function attached to $f$ and $ϕ$. The provided list is given just in terms of the normal vectors to the supporting hyperplanes of the Newton polyhedron attached to $f$. More precisely, our list does not contain the candidate poles coming from the additional vectors required in the regular conical subdivision of the first orthant, and necessary in the study of local zeta functions through resolution of singularities. Our results refine the corresponding results of Varchenko and generalize the results of Denef and Sargos in the real case, to the complex setting.

math.FA↗
arXiv2018

Support of Laurent series algebraic over the field of formal power series

This work is devoted to the study of the support of a Laurent series in several variables which is algebraic over the ring of power series over a characteristic zero field. Our first result is the existence of a kind of maximal dual cone of the support of such a Laurent series. As an application of this result we provide a gap theorem for Laurent series which are algebraic over the field of formal power series. We also relate these results to diophantine properties of the fields of Laurent series.

math.AC↗
arXiv2016

The Fundamental Theorem of Tropical Differential Algebraic Geometry

Let $I$ be an ideal of the ring of Laurent polynomials $K[x_1^{\pm1},\ldots,x_n^{\pm1}]$ with coefficients in a real-valued field $(K,v)$. The fundamental theorem of tropical algebraic geometry states the equality $\text{trop}(V(I))=V(\text{trop}(I))$ between the tropicalization $\text{trop}(V(I))$ of the closed subscheme $V(I)\subset (K^*)^n$ and the tropical variety $V(\text{trop}(I))$ associated to the tropicalization of the ideal $\text{trop}(I)$. In this work we prove an analogous result for a differential ideal $G$ of the ring of differential polynomials $K[[t]]\{x_1,\ldots,x_n\}$, where $K$ is an uncountable algebraically closed field of characteristic zero. We define the tropicalization $\text{trop}(\text{Sol}(G))$ of the set of solutions $\text{Sol}(G)\subset K[[t]]^n$ of $G$, and the set of solutions associated to the tropicalization of the ideal $\text{trop}(G)$. These two sets are linked by a tropicalization morphism $\text{trop}:\text{Sol}(G)\longrightarrow \text{Sol}(\text{trop}(G))$. We show the equality $\text{trop}(\text{Sol}(G))=\text{Sol}(\text{trop}(G))$, answering a question raised by D. Grigoriev earlier this year.

math.AG↗
arXiv2012

Torical Modification of Newton non-degenerate ideals

We give a definition of Newton non degeneracy independent of the system of generators defining the variety. This definition extends the notion of Newton non degeneracy to varieties that are not necessarily complete intersection. As in the previous definition of non-degeneracy for complete intersection varieties, it is shown that the varieties satisfying our definition can be resolved with a toric modification. Using tools of both toric and tropical geometry we describe the toric modification in terms of the Groebner fan of the ideal defining the variety. The first part of the paper is devoted to introducing the classical concepts and the proof for the hypersurface case.

math.AG↗
arXiv2009

Puiseux power series solutions for systems of equations

We give an algorithm to compute term by term multivariate Puiseux series expansions of series arising as local parametrizations of zeroes of systems of algebraic equations at singular points. The algorithm is an extension of Newton's method for plane algebraic curves replacing the Newton polygon by the tropical variety of the ideal generated by the system. As a corollary we deduce a property of tropical varieties of quasi-ordinary singularities.

math.AG↗
arXiv2009

Krull-tropical hypersurfaces

The concepts of tropical-semiring and tropical hypersurface, are extended for an arbitrary ordered group. Then, we define the tropicalization of a polynomial with coefficients in a Krull-valued field. After a close study of the properties of the operator "tropicalization" we conclude with an extension of Kapranov's theorem to algebraically closed fields together with a valuation over an ordered group.

math.AG↗