English
Related papers

Related papers: On spectral types of semialgebraic sets

200 papers

A semi-algebraic set is a subset of the real space defined by polynomial equations and inequalities having real coefficients and is a union of finitely many maximally connected components. We consider the problem of deciding whether two…

Algebraic Geometry · Mathematics 2020-11-16 Hoon Hong , James Rohal , Mohab Safey El Din , Eric Schost

We prove a nearly optimal bound on the number of stable homotopy types occurring in a k-parameter semi-algebraic family of sets in $\R^\ell$, each defined in terms of m quadratic inequalities. Our bound is exponential in k and m, but…

Algebraic Geometry · Mathematics 2014-02-26 Saugata Basu , Michael Kettner

Let g denote a real analytic function on an open subset U of Euclidean space, and let S denote the boundary points of U where g does not admit a local analytic extension. We show that if g is semialgebraic (respectively, globally…

Complex Variables · Mathematics 2007-05-23 Edward Bierstone

This paper develops the algebraic foundation required to build a Zariski-type geometry for \emph{commutative ternary $\Gamma$-semirings}, where multiplication is an inherently triadic, multi-parametric interaction…

Rings and Algebras · Mathematics 2025-12-25 Chandrasekhar Gokavarapu , D. Madhusudhana Rao

Let p be prime number, K be a p-adically closed field, X $\subseteq$ K^m a semi-algebraic set defined over K and L(X) the lattice of semi-algebraic subsets of X which are closed in X. We prove that the complete theory of L(X) eliminates the…

Logic · Mathematics 2018-10-30 Luck Darnière

In this paper, we investigate the Whitney--de Rham complex $\Omega^\bullet_\text{W} (X)$ associated to a semi-analytic subset $X$ of an analytic manifold $M$. This complex is a commutative differential graded algebra, that is defined to be…

Algebraic Topology · Mathematics 2014-03-10 Bryce Chriestenson , Markus J. Pflaum

We study the problem of classifying the holomorphic $(m,n)$-subharmonic morphisms in complex space. This determines which holomorphic mappings preserves $m$-subharmonicity in the sense that the composition of the holomorphic mapping with a…

Complex Variables · Mathematics 2019-03-01 Per Ahag , Rafal Czyz , Lisa Hed

We identify all semidualizing modules over certain classes of ladder determinantal rings over a field ${\mathsf k}$. Specifically, given a ladder of variables $Y$, we show that the ring ${\mathsf k}[Y]/I_t(Y)$ has only trivial semidualizing…

Commutative Algebra · Mathematics 2019-11-13 Sean K. Sather-Wagstaff , Tony Se , Sandra Spiroff

Given a polynomial map $\psi:S^m\to \mathbb{R}^k$ with components of degree $d$, we investigate the structure of the semialgebraic set $Z\subseteq S^m$ consisting of those points where $\psi$ and its derivatives satisfy a given list of…

Algebraic Geometry · Mathematics 2021-11-01 Antonio Lerario , Michele Stecconi

In this paper, we investigate the M{\"o}bius function $\mu\_{\mathcal{S}}$ associated to a (locally finite) poset arising from a semigroup $\mathcal{S}$ of $\mathbb{Z}^m$. We introduce and develop a new approach to study…

We complete the details of a theory outlined by Kontsevich and Soibelman that associates to a semi-algebraic set a certain graded commutative differential algebra of "semi-algebraic differential forms" in a functorial way. This algebra…

Algebraic Topology · Mathematics 2014-10-01 Robert Hardt , Pascal Lambrechts , Victor Tourtchine , Ismar Volic

We study the spectrum $M_b(U)$ of the algebra of bounded type holomorphic functions on a complete Reinhardt domain in a symmetrically regular Banach space $E$ as an analytic manifold over the bidual of the space. In the case that $U$ is the…

Functional Analysis · Mathematics 2018-11-13 Daniel Carando , Daniela M. Vieira , Santiago Muro

Let $S$ be the polynomial ring over a field $K$ in a finite set of variables, and let $ \mathfrak{m}$ be the graded maximal ideal of $S$. It is known that for a finitely generated graded $S$-module $M$ and all integers $k\gg 0$, the module…

Commutative Algebra · Mathematics 2023-09-08 Antonino Ficarra , Jürgen Herzog , Somayeh Moradi

We prove a version of the Thom Isotopy Theorem for nonproper semialgebraic maps $f\colon X\rightarrow \mathbb{R}^m$, where $X \subset\mathbb{R}^n$ is a semialgebraic set and $f$ is the restriction to $X$ of a smooth semialgebraic map…

Differential Geometry · Mathematics 2024-04-30 Luis Renato Gonçalves Dias , Giovanny Snaider Barrera Ramos

In this work we compare the semialgebraic subsets that are images of regulous maps with those that are images of regular maps. Recall that a map f : R n $\rightarrow$ R m is regulous if it is a rational map that admits a continuous…

Algebraic Geometry · Mathematics 2017-11-29 José Fernando , Goulwen Fichou , Ronan Quarez , Carlos Ueno

The aim of the paper is to prove that if $M$ is a metrizable manifold modelled on a Hilbert space of dimension $\alpha \geq \aleph_0$ and $F$ is its $\sigma$-$Z$-set, then for every completely metrizable space $X$ of weight no greater than…

General Topology · Mathematics 2014-11-03 Piotr Niemiec

The Mandelbrot set is a fractal which classifies the behaviour of complex quadratic polynomials. Although its remarkably simple definition: $\mathcal{M}:=\{c \in \mathbb{C}\,|\,Q_c(0)^n \nrightarrow \infty \mbox{ as } n\rightarrow \infty,…

Dynamical Systems · Mathematics 2025-07-16 Luna Lomonaco , Carsten Lunde Petersen

The h-cobordism theorem is a noted theorem in differential and PL topology. A generalization of the h-cobordism theorem for possibly non simply connected manifolds is the so called s-cobordism theorem. In this paper, we prove semialgebraic…

Geometric Topology · Mathematics 2009-10-19 Kartoue Mady Demdah

A partial order is called semilinear iff the upper bounds of each element are linearly ordered and any two elements have a common upper bound. There exists, up to isomorphism, a unique countable existentially closed semilinear order, which…

Let $\Omega \subset \mathbb{R}$ be a compact set with measure $1$. If there exists a subset $\Lambda \subset \mathbb{R}$ such that the set of exponential functions $E_{\Lambda}:=\{e_\lambda(x) = e^{2\pi i \lambda x}|_\Omega :\lambda \in…

Classical Analysis and ODEs · Mathematics 2016-06-16 Debashish Bose , Shobha Madan