Source author record

Fabrizio Broglia

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

4works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

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

4 published item(s)

preprint2015arXiv

On globally defined semianalytic sets

In this work we present the concept of $C$-semianalytic subset of a real analytic manifold and more generally of a real analytic space. $C$-semianalytic sets can be understood as the natural generalization to the semianalytic setting of global analytic sets introduced by Cartan ($C$-analytic sets for short). More precisely $S$ is a $C$-semianalytic subset of a real analytic space $(X,{\mathcal O}_X)$ if each point of $X$ has a neighborhood $U$ such that $S\cap U$ is a finite boolean combinations of global analytic equalities and strict inequalities on $X$. By means of paracompactness $C$-semianalytic sets are the locally finite unions of finite boolean combinations of global analytic equalities and strict inequalities on $X$. The family of $C$-semianalytic sets is closed under the same operations as the family of semianalytic sets: locally finite unions and intersections, complement, closure, interior, connected components, inverse images under analytic maps, sets of points of dimension $k$, etc. although they are defined involving only global analytic functions. In addition, we characterize subanalytic sets as the images under proper analytic maps of $C$-semianalytic sets. We prove also that the image of a $C$-semianalytic set $S$ under a proper holomorphic map between Stein spaces is again a $C$-semianalytic set. The previous result allows us to understand better the structure of the set $N(X)$ of points of non-coherence of a $C$-analytic subset $X$ of a real analytic manifold $M$. We provide a global geometric-topological description of $N(X)$ inspired by the corresponding local one for analytic sets due to Tancredi-Tognoli (1980), which requires complex analytic normalization. As a consequence it holds that $N(X)$ is a $C$-semianalytic set of dimension $\leq\dim(X)-2$.

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})$.

preprint2012arXiv

A Nullstellensatz for Łojasiewicz ideals

For an ideal of smooth functions that is either Łojasiewicz or weakly Łojasiewicz, we give a complete characterization of the ideal of functions vanishing on its variety in terms of the global Łojasiewicz radical and Whitney closure. We also prove that the Łojasiewicz radical of such an ideal is analytic-like in the sense that its saturation equals its Whitney closure. This allows us to recover in a different way Nullstellensatz results due to Bochnak and Adkins-Leahy and answer positively a modification of the Nullstellensatz conjecture due to Bochnak.