Related papers: On spectral types of semialgebraic sets

For a commutative semiring S, by an S-algebra we mean a commutative semiring A equipped with a homomorphism from S to A. We show that the subvariety of S-algebras determined by the identities 1+2x=1 and x^2=x is closed under non-empty…

We characterize locally injective semialgebraic maps between two semialgebraic sets in terms of the induced homomorphism between their rings of (continuous) semialgebraic functions.

Let $R$ be a real closed field and let ${\mathcal S}(M)$ be the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$ and let ${\mathcal S}^*(M)$ be its subring of bounded semialgebraic functions. In this work…

Here we continue to characterize a recently introduced notion, le-modules $_{R}M$ over a commutative ring $R$ with unity \cite{Bhuniya}. This article introduces and characterizes Zariski topology on the set $Spec(M)$ of all prime submodule…

In this article we prove that a semialgebraic map is a branched covering if and only if its associated spectral map is a branched covering. In addition, such spectral map has a neat behavior with respect to the branching locus, the…

We show that Shipley's "detection functor" for symmetric spectra generalizes to motivic symmetric spectra. As an application, we construct motivic strict ring spectra representing morphic cohomology, semi-topological $K$-theory, and…

Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…

A numbering of a countable family $S$ is a surjective map from the set of natural numbers $\omega$ onto $S$. A numbering $\nu$ is reducible to a numbering $\mu$ if there is an effective procedure which given a $\nu$-index of an object from…

We fix $z_0\in\mathbb C$ and a field $\mathbb F$ with $\mathbb C\subset \mathbb F \subset \mathcal M_{z_0}:=$ the field of germs of meromorphic functions at $z_0$. We fix $f_1,\ldots,f_r\in \mathcal M_{z_0}$ and we consider the $\mathbb…

If a closed smooth manifold $M$ with an action of a torus $T$ satisfies certain conditions, then a labeled graph $\mG_M$ with labeling in $H^2(BT)$ is associated with $M$, which encodes a lot of geometrical information on $M$. For instance,…

We introduce the notion of metric semilattice on the metric space and prove the criterion of $\R$-tree as connected geodesic metric space $X$ admitting the partial order, such that $X$ is semilinear metric semilattice. Also we state the…

Let $\mathrm{R}$ be a real closed field and $\mathrm{C}$ the algebraic closure of $\mathrm{R}$. We give an algorithm for computing a semi-algebraic basis for the first homology group, $\mathrm{H}_1(S,\mathbb{F})$, with coefficients in a…

We consider a semi-algebraic function defined on a closed semi-algebraic set X. We give formulas relating the topology of X to the indices of the critical points of the function and to the topological behavior of the function at infinity.…

We characterize intermediate $\mathbb{R}$-algebras $A$ between the ring of semialgebraic functions ${\mathcal S}(X)$ and the ring ${\mathcal S}^*(X)$ of bounded semialgebraic functions on a semialgebraic set $X$ as rings of fractions of…

Let $S$ be a semigroup and $\mathbb F$ be a field. For an ideal $J$ of the semigroup algebra ${\mathbb F}[S]$ of $S$ over $\mathbb F$, let $\varrho _J$ denote the restriction (to $S$) of the congruence on ${\mathbb F}[S]$ defined by the…

In this paper, we consider local holomorphic mappings f: M\to M' between real algebraic CR generic manifolds (or more generally, real algebraic sets with singularities) in the complex euclidean spaces of different dimensions and we search…

We provide a complete classification of matrix semirings $\mathbf{M}_n(S)$ over two-element additively idempotent semirings $S$ with respect to the finite basis property.Our main theorem shows that for every integer $n \geq 2$,the semiring…

Assume $G$ is a definable group in a stable structure $M$. Newelski showed that the semigroup $S_G(M)$ of complete types concentrated on $G$ is an inverse limit of the $\infty$-definable (in $M^{eq}$) semigroups $S_{G,\Delta}(M)$. He also…

Recognizing when a ring is a complete matrix ring is of significant importance in algebra. It is well-known folklore that a ring $R$ is a complete $n\times n$ matrix ring, so $R\cong M_{n}(S)$ for some ring $S$, if and only if it contains a…

Using only basic topological properties of real algebraic sets and regular morphisms we show that any injective regular self-mapping of a real algebraic set is surjective. Then we show that injective morphisms between germs of real…