相关论文: Smooth parameterizations of power-subanalytic sets…

Let $\Omega$ be a smooth real analytic submanifold of a complex manifold $X$. We establish and study the link between the following 3 subjects: 1) topological properties of smooth families of attached analytic discs, the manifold $\Omega$…

Let $S$ be a semiabelian variety over an algebraically closed field, and let $X$ be an irreducible subvariety not contained in a coset of a proper algebraic subgroup of $S$. We show that the number of irreducible components of $[n]^{-1}(X)$…

We prove the following instance of a conjecture stated in arXiv:1103.4770. Let $G$ be an abelian semialgebraic group over a real closed field $R$ and let $X$ be a semialgebraic subset of $G$. Then the group generated by $X$ contains a…

We prove that for an o-minimal expansion of the real additive group $\cal R$ and a set $P\subseteq \mathbb{R}$ of dimension $0$ such that $\langle\mathcal{R},P\rangle$ is sparse, has definable choice and every definable set has interior or…

Let $X\subset{\mathbb R}^n$ be a (global) real analytic surface. Then every positive semidefinite meromorphic function on $X$ is a sum of $10$ squares of meromorphic functions on $X$. As a consequence, we provide a real Nullstellensatz for…

In the past, empirical evidence has been presented that Hilbert series of symplectic quotients of unitary representations obey a certain universal system of infinitely many constraints. Formal series with this property have been called…

We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space $\left(X,\tau\right)$ is definably homeomorphic to an affine definable space…

There are a variety of ways to associate directed or undirected graphs to a group. It may be interesting to investigate the relations between the structure of these graphs and characterizing certain properties of the group in terms of some…

We show that assuming the standard conjectures, for any smooth projective variety $X$ of dimension $n$ over an algebraically closed field, there is a constant $C>0$ such that for any positive rational number $r$ and for any polarized…

We develop a general framework (multidimensional asymptotic classes, or m.a.c.s) for handling classes of finite first order structures with a strong uniformity condition on cardinalities of definable sets: The condition asserts that…

Asking which sets are fixed-parameter tractable for a given parameterization constitutes much of the current research in parameterized complexity theory. This approach faces some of the core difficulties in complexity theory. By focussing…

The purpose of this paper is to define semi- and subanalytic subsets and maps in the context of real analytic orbifolds and to study their basic properties. We prove results analogous to some well-known results in the manifold case. For…

Let $G$ be a complex algebraic group defined over $\mathbb R$, which is not necessarily Zariski connected. In this article, we study the density of the images of the power maps $g\to g^k$, $k\in\mathbb N$, on real points of $G$, i.e.,…

Let $X$ be a set, $B_{X}$ denotes the family of all subsets of $X$ and $F: X \longrightarrow B_{X}$ be a set-valued mapping such that $x \in F(x)$, $sup_{x\in X} | F(x)|< \kappa$, $sup_{x\in X} | F^{-1}(x)|< \kappa$ for all $x\in X$ and…

Fix integers $a\geq 1$, $b$ and $c$. We prove that for certain projective varieties $V\subset{\bold P}^r$ (e.g. certain possibly singular complete intersections), there are only finitely many components of the Hilbert scheme parametrizing…

A space $X$ is called {\it selectively pseudocompact} if for each sequence $(U_{n})_{n\in \mathbb{N}}$ of pairwise disjoint nonempty open subsets of $X$ there is a sequence $(x_{n})_{n\in \mathbb{N}}$ of points in $X$ such that $cl_X(\{x_n…

Given a countable discrete amenable group, we study conditions under which a set map into a Banach space (or more generally, a complete semi-normed space) can be realized as the ergodic sum of a vector under a group representation, such…

Soft set theory provides a direct framework for parameterized decision modeling by assigning to each attribute (parameter) a subset of a given universe, thereby representing uncertainty in a structured way [1, 2]. Over the past decades, the…

We introduce a new point of view towards Glaeser's theorem on composite $C^\infty$ functions [Ann. of Math. 1963], with respect to which we can formulate a ``$C^k$ composite function property" that is satisfied by all semiproper real…

Let $U$ be an open relatively compact subanalytic subset of a real analytic manifold. We show that there exists a finite linear covering (in the sense of Guillermou and Schapira) of $U$ by subanalytic open subsets of $U$ homeomorphic to a…