BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jose F. Fernando

Jose F. Fernando appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.AG

Catalog footprint

What is connected

5works
1topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

5 published item(s)

preprint2015arXiv

A short proof for the open quadrant problem

In 2003 it was proved that the open quadrant $\{x>0,y>0\}$ of ${\mathbb R}^2$ is a polynomial image of ${\mathbb R}^2$. This result was the origin of an ulterior more systematic study of polynomial images of Euclidean spaces. In this article we provide a short proof of the previous fact that does not involve computer calculations, in contrast with the original one. The strategy here is to represent the open quadrant as the image of a polynomial map that can be expressed as the composition of three simple polynomial maps whose images can be easily understood.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On the size of the fibers of spectral maps induced by semialgebraic embeddings

Let ${\mathcal S}(M)$ be the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset{\mathbb R}^m$ and ${\mathcal S}^*(M)$ its subring of bounded semialgebraic functions. In this work we compute the size of the fibers of the spectral maps ${\rm Spec}({\tt j})_1:{\rm Spec}({\mathcal S}(N))\to{\rm Spec}({\mathcal S}(M))$ and ${\rm Spec}({\tt j})_2:{\rm Spec}({\mathcal S}^*(N))\to{\rm Spec}({\mathcal S}^*(M))$ induced by the inclusion ${\tt j}:N\hookrightarrow M$ of a semialgebraic subset $N$ of $M$. The ring ${\mathcal S}(M)$ can be understood as the localization of ${\mathcal S}^*(M)$ at the multiplicative subset ${\mathcal W}_M$ of those bounded semialgebraic functions on $M$ with empty zero set. This provides a natural inclusion ${\mathfrak i}_M:{\rm Spec}({\mathcal S}(M))\hookrightarrow{\rm Spec}({\mathcal S}^*(M))$ that reduces both problems above to an analysis of the fibers of the spectral map ${\rm Spec}({\tt j})_2:{\rm Spec}({\mathcal S}^*(N))\to{\rm Spec}({\mathcal S}^*(M))$. If we denote $Z:={\rm cl}_{{\rm Spec}({\mathcal S}^*(M))}(M\setminus N)$, it holds that the restriction map ${\rm Spec}({\tt j})_2|:{\rm Spec}({\mathcal S}^*(N))\setminus{\rm Spec}({\tt j})_2^{-1}(Z)\to{\rm Spec}({\mathcal S}^*(M))\setminus Z$ is a homeomorphism. Our problem concentrates on the computation of the size of the fibers of ${\rm Spec}({\tt j})_2$ at the points of $Z$. The size of the fibers of prime ideals `close' to the complement $Y:=M\setminus N$ provides valuable information concerning how $N$ is immersed inside $M$. If $N$ is dense in $M$, the map ${\rm Spec}({\tt j})_2$ is surjective and the generic fiber of a prime ideal ${\mathfrak p}\in Z$ contains infinitely many elements. However, finite fibers may also appear and we provide a criterium to decide when the fiber ${\rm Spec}({\tt j})_2^{-1}({\mathfrak p})$ is a finite set for ${\mathfrak p}\in Z$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The open quadrant problem: A topological proof

In this work we present a new polynomial map $f:=(f_1,f_2):{\mathbb R}^2\to{\mathbb R}^2$ whose image is the open quadrant $\{x>0,y>0\}\subset{\mathbb R}^2$. The proof of this fact involves arguments of topological nature that avoid hard computer calculations. In addition each polynomial $f_i\in{\mathbb R}[{\tt x},{\tt y}]$ has degree $\leq16$ and only $11$ monomials, becoming the simplest known map solving the open quadrant problem.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On the Nullstellensätze for Stein spaces and $C$-analytic sets

In this work we prove the real Nullstellensatz for the ring ${\mathcal O}(X)$ of analytic functions on a $C$-analytic set $X\subset{\mathbb R}^n$ in terms of the saturation of Łojasiewicz's radical in ${\mathcal O}(X)$: The ideal ${\mathcal I}({\mathcal Z}({\mathfrak a}))$ of the zero-set ${\mathcal Z}({\mathfrak a})$ of an ideal ${\mathfrak a}$ of ${\mathcal O}(X)$ coincides with the saturation $\widetilde{\sqrt[\textŁ]{\mathfrak a}}$ of Łojasiewicz's radical $\sqrt[\textŁ]{\mathfrak a}$. If ${\mathcal Z}({\mathfrak a})$ has `good properties' concerning Hilbert's 17th Problem, then ${\mathcal I}({\mathcal Z}({\mathfrak a}))=\widetilde{\sqrt[\mathsf{r}]{\mathfrak a}}$ where $\sqrt[\mathsf{r}]{\mathfrak a}$ stands for the real radical of ${\mathfrak a}$. The same holds if we replace $\sqrt[\mathsf{r}]{\mathfrak a}$ with the real-analytic radical $\sqrt[\mathsf{ra}]{\mathfrak a}$ of ${\mathfrak a}$, which is a natural generalisation of the real radical ideal in the $C$-analytic setting. We revisit the classical results concerning (Hilbert's) Nullstellensatz in the framework of (complex) Stein spaces. Let ${\mathfrak a}$ be a saturated ideal of ${\mathcal O}({\mathbb R}^n)$ and $Y_{{\mathbb R}^n}$ the germ of the support of the coherent sheaf that extends ${\mathfrak a}{\mathcal O}_{{\mathbb R}^n}$ to a suitable complex open neighbourhood of ${\mathbb R}^n$. We study the relationship between a normal primary decomposition of ${\mathfrak a}$ and the decomposition of $Y_{{\mathbb R}^n}$ as the union of its irreducible components. If ${\mathfrak a}:={\mathfrak p}$ is prime, then ${\mathcal I}({\mathcal Z}({\mathfrak p}))={\mathfrak p}$ if and only if the (complex) dimension of $Y_{{\mathbb R}^n}$ coincides with the (real) dimension of ${\mathcal Z}({\mathfrak p})$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On the substitution theorem for rings of semialgebraic functions

Let $R\subset F$ be an extension of real closed fields and ${\mathcal S}(M,R)$ the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$. We prove that every $R$-homomorphism $φ:{\mathcal S}(M,R)\to F$ is essentially the evaluation homomorphism at a certain point $p\in F^n$ \em adjacent \em to the extended semialgebraic set $M_F$. This type of result is commonly known in Real Algebra as Substitution Theorem. In case $M$ is locally closed, the results are neat while the non locally closed case requires a more subtle approach and some constructions (weak continuous extension theorem, \em appropriate immersion \em of semialgebraic sets) that have interest on their own. We afford the same problem for the ring of bounded (continuous) semialgebraic functions getting results of a different nature.

0 citations0 reviewsNo code linkedOpen access