Related papers: Closure of rigid semianalytic sets

We consider algebras of rational power series over an alphabet $\Sigma$ with coefficients in a commutative semiring $K$ and characterize them as the free algebras in various classes of algebraic structures.

We work with semi-algebraic functions on arbitrary real closed fields. We generalize the notion of critical values and prove a Sard type theorem in our framework.

A specialization semilattice is a structure which can be embedded into $(\mathcal P(X), \cup, \sqsubseteq )$, where $X$ is a topological space, $ x \sqsubseteq y$ means $x \subseteq Ky$, for $x,y \subseteq X$, and $K$ is closure in $X$.…

In this paper, we use (bi)semicosimplicial language to study the classical problem of infinitesimal deformations of a closed subscheme in a fixed smooth variety, defined over an algebraically closed field of characteristic 0. In particular,…

We consider a global semianalytic set defined by real analytic functions definable in an o-minimal structure. When the o-minimal structure is polynomially bounded, we show that the closure of this set is a global semianalytic set defined by…

Let $A$ be a finite-dimensional commutative associative algebra with unity over an algebraically closed field $\mathbb{K}$. The purpose of the paper is to study the solvability of $G_A$, where $G_A$ is the identity component of…

Let $n$ be a positive integer, and let $k$ be a field (of arbitrary characteristic) accessible to symbolic computation. We describe an algorithmic test for determining whether or not a finitely presented $k$-algebra $R$ has infinitely many…

Let $K\backslash G$ be an irreducible Hermitian symmetric space of noncompact type and $\Gamma \,\subset\, G$ a closed torsionfree discrete subgroup. Let $X$ be a compact K\"ahler manifold and $\rho\, :\, \pi_1(X, x_0)\,\longrightarrow\,…

We prove that two infinite p-adic semi-algebraic sets are isomorphic (i.e. there exists a semi-algebraic bijection between them) if and only if they have the same dimension.

Let \lambda be a partition of a positive integer n. Let C be a symmetric rigid tensor category over a field k of characteristic 0 or char(k)>n, and let V be an object of C. In our main result (Theorem 4.3) we introduce a finite set of…

Let $K$ be a $p$-adically closed field and $G$ a group interpretable in $K$. We show that if $G$ is definably semisimple (i.e. $G$ has no definable infinite normal abelian subgroups) then there exists a finite normal subgroup $H$ such that…

Let A be a finitely generated commutative algebra over a field K with a presentation A=K < X_{1}, ..., X_{n} | R >, where R is a set of monomial relations in the generators X_{1}, ..., X_{n}. So A = K[S], the semigroup algebra of the monoid…

We prove that for every compact, convex subset $K\subset\mathbb{R}^2$ the operator system $A(K)$, consisting of all continuous affine functions on $K$, is hyperrigid in the C*-algebra $C(\mathrm{ex}(K))$. In particular, this result implies…

A complete embedding is a symplectic embedding $\iota:Y\to M$ of a geometrically bounded symplectic manifold $Y$ into another geometrically bounded symplectic manifold $M$ of the same dimension. When $Y$ satisfies an additional finiteness…

We study an analytically irreducible algebroid germ (X, 0) of complex singularity by considering the filtrations of its analytic algebra, and their associated graded rings, induced by the divisorial valuations associated to the irreducible…

Let $K$ be a complete non-trivially valued non-Archimedean field. Given an algebraic group over $K$ on which every regular function is constant, any rigid analytic function is shown to be constant too. It follows that an algebraic group…

Using the unbounded picture of analytical K-homology, we associate a well-defined K-homology class to an unbounded symmetric operator satisfying certain mild technical conditions. We also establish an ``addition formula'' for the Dirac…

Let $A$ be a finite dimensional $Q-$algebra and $\Gamma subset A$ a $Z-$order. We classify those $A$ with the property that $Z^2$ does not embed in $\mathcal{U}(\Gamma)$. We call this last property the hyperbolic property. We apply this in…

Let $\Sigma$ be a compact $C^2$ hypersurface in $\R^{2n}$ bounding a convex set with non-empty interior. In this paper it is proved that there always exist at least $n$ geometrically distinct closed characteristics on $\Sigma$ if $\Sigma$…

We compare some algebras appeared in the recent attempts to prove resolution of singularities in positive characteristic. We also construct an algebra which encodes the same information and it is equivalent, up to integral closure, to the…