Related papers: On globally defined semianalytic sets

We introduce the notion of an invariantly universal pair (S,E) where S is an analytic quasi-order and E \subseteq S is an analytic equivalence relation. This means that for any analytic quasi-order R there is a Borel set B invariant under E…

Let $\mathcal{C}=(\mathcal{C},\mathbb{E},\mathfrak{s})$ be an extriangulated category with a proper class $\xi$ of $\mathbb{E}$-triangles. In this paper, we introduce and study quasi-resolving subcategories in $\mathcal{C}$. More precisely,…

Associated to any closed quantum subgroup $G\subset U_N^+$ and any index set $I\subset\{1,\ldots,N\}$ is a certain homogeneous space $X_{G,I}\subset S^{N-1}_{\mathbb C,+}$, called affine homogeneous space. We discuss here the abstract…

The special case of closed subsets of C^n is briefly discussed.

There are several notions of largeness in a semigroup. N. Hindman and D. Strauss established that if $u,v \in \mathbb{N}$, $A$ is a $u \times v$ matrix with entries from $\mathbb{Q}$ and $\psi$ is a notion of a large set in $\mathbb{N}$,…

Given a compact metric space X and a unital C*-algebra A, we introduce a family of seminorms on the C*-algebra of continuous functions from X to A, denoted C(X, A), induced by classical Lipschitz seminorms that produce compact quantum…

It is shown that, in dimensions $<8$, isoperimetric profiles of compact real analytic Riemannian manifolds are semi-analytic.

We study the semigroup C*-algebra of a positive cone P of a weakly quasi-lattice ordered group. That is, P is a subsemigroup of a discrete group G with P\cap P^{-1}=\{e\} and such that any two elements of P with a common upper bound in P…

In the present paper, we propose a new axiomatic approach to nonstandard analysis and its application to the general theory of spatial structures in terms of category theory. Our framework is based on the idea of internal set theory, while…

We isolate a class, say $\mathcal{A}$, of global real analytic functions such that, each global semi-analytic set defined by $\mathcal{A}$ has only finitely many connected components and each component is also a global semi-analytic set…

In 1957 Cartan proved his celebrated Theorem B and deduced that if $\Omega\subset{\mathbb R}^n$ is an open set and $X$ is a coherent real analytic subset of $\Omega$, then $X$ has the analytic extension property: Each real analytic function…

We lay the foundations for a broad algebraic theory encompassing SICs in the hope of elucidating their heuristic connections with Stark units. What emerges is a greatly generalised set-up with added structure and potential for applications…

We present a method of quantizing analytic spaces $X$ immersed in an arbitrary smooth ambient manifold $M$. Remarkably our approach can be applied to singular spaces. We begin by quantizing the cotangent bundle of the manifold $M$. Using a…

We analyze the recent examples of quantum semigroups defined by M.M. Sadr who also brought up several open problems concerning these objects. These are defined as quantum families of maps from finite sets to a fixed compact quantum…

In this paper we continue the analysis undertaken in a series of previous papers on structures arising as completions of C*-algebras under topologies coarser that their norm and we focus our attention on the so-called {\em locally convex…

We present a full geometric characterization of the $1$-dimensional (semialgebraic) images $S$ of either $n$-dimensional closed balls $\overline{\mathcal B}_n\subset{\mathbb R}^n$ or $n$-dimensional spheres ${\mathbb S}^n\subset{\mathbb…

Let $\rho : G \to \operatorname{GL}(V)$ be a rational finite dimensional complex representation of a reductive linear algebraic group $G$, and let $\sigma_1,\sigma_n$ be a system of generators of the algebra of invariant polynomials…

We investigate structural properties of the completely positive semidefinite cone $\mathcal{CS}_+^n$, consisting of all the $n \times n$ symmetric matrices that admit a Gram representation by positive semidefinite matrices of any size. This…

We prove that if $D\subset C^n$ is a bounded domain with real analytic boundary and D is pseudoconvex then the compact open topology in the group of holomorphic automorphisms of D is the topology of uniform convergence on D.

Motivated by quantum states with zero transition probability, we introduce the notion of ortho-set which is a set equipped with a relation $\neq_\mathrm{q}$ satisfying: $x\neq_\mathrm{q} y$ implies both $x\neq y$ and $y \neq_\mathrm{q} x$.…