Researcher profile

Fuensanta Aroca

Fuensanta Aroca contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.AG math.AC math.NT

Trust snapshot

Quick read

Trust 21 - Emerging

6works

0followers

3topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

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.

preprint2026arXiv

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.

preprint2022arXiv

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_σ$ admits a toric embedded resolution of singularities $Z\longrightarrow X_σ.$

preprint2020arXiv

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.

preprint2016arXiv

Puiseux Parametric Equations via the Amoeba of the Discriminant

Given an algebraic variety we get Puiseux type parametrizations on suitable Reinhardt domains. These domains are defined using the amoeba of hypersurfaces containing the discriminant locus of a finite projection of the variety.

preprint2016arXiv

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.

preprint2012arXiv

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.