Related papers: On the Borel mapping in the quasianalytic setting
Using nonstandard analysis we define a topology on the ring of germs of functions: $(mathbb R^n,0)\rightarrow(mathbb R,0)$. We prove that this topology is absolutely convex, Hausdorff, that convergent nets of continuous germs have…
In this paper we study birational immersions from a very general smooth plane curve to a non-rational surface with $p_g=q=0$ to treat dominant rational maps from a very general surface $X$ of degree$\geq 5$ in ${\mathbb P}^3$ to smooth…
A well-known theorem of B\"ottcher asserts that an analytic germ f:(C,0)->(C,0) which has a superattracting fixed point at 0, more precisely of the form f(z) = az^k + o(z^k) for some a in C^*, is analytically conjugate to z->az^k by an…
We extend the usual process-theoretic view on locality and causality in subsystems (based on the tensor product case) to general quantum systems (i.e.\ possibly non-factor, finite-dimensional von Neumann algebras). To do so, we introduce a…
We consider smoothed versions of geometric range spaces, so an element of the ground set (e.g. a point) can be contained in a range with a non-binary value in $[0,1]$. Similar notions have been considered for kernels; we extend them to more…
A directed graph $D=(V(D),A(D))$ has a kernel if there exists an independent set $K\subseteq V(D)$ such that every vertex $v\in V(D)-K$ has an ingoing arc $u\mathbin{\longrightarrow}v$ for some $u\in K$. There are directed graphs that do…
For a family $(\mathscr{A}_x)_{x \in (0,1)}$ of integral quasiarithmetic means sattisfying certain measurability-type assumptions we search for an integral mean $K$ such that $K\big((\mathscr{A}_x(\mathbb{P}))_{x \in…
A group grading on a semisimple Lie algebra over an algebraically closed field of characteristic zero is special if its identity component is zero; it is pure if at least one of its components, other than the identity component, contains a…
We define a filtration on the variational bicomplex according to jet order. The filtration is preserved by the interior Euler operator, which is not a module homomorphism with respect to the ring of smooth functions on the jet space.…
We give, for each countable ordinal $\xi \geq 1$, an example of a ${\bf\Delta}^0_2$ countable union of Borel rectangles that cannot be decomposed into countably many ${\bf\Pi}^0_\xi$ rectangles. In fact, we provide a graph of a partial…
We take a new look at the curvilinear Hilbert scheme of points on a smooth projective variety $X$ as a projective completion of the non-reductive quotient of holomorphic map germs from the complex line into $X$ by polynomial…
We prove that the number of parameters defining a complex of projective modules over a finite dimensional algebra is upper semi-continuous in families of algebras. Supposing that every algebra is either derived tame or derived wild, we get…
Let $K\subset R^n$ be a compact basic semi-algebraic set. We provide a necessary and sufficient condition (with no a priori bounding parameter) for a real sequence $y=(y_\alpha)$, $\alpha\in N^n$, to have a finite representing Borel measure…
We develop a completely bounded counterpart to the non-commutative Choquet boundary of an operator space. We show how the class of completely bounded linear maps is too large to accommodate our purposes. To overcome this obstacle, we…
Bessel-type convolution algebras of bounded Borel measures on the matrix cones of positive semidefinite $q\times q$-matrices over $\mathbb R, \mathbb C, \mathbb H$ were introduced recently by R\"osler. These convolutions depend on some…
For an odd prime $p$, we determine the $p$-primary component of the Farrell cohomology of the pure mapping class groups of a non orientable surface of genus $p$ with $k\geqslant 1$ marked points. To do this, we classify conjugacy classes of…
We prove that the spaces of smooth and ultradifferentiable vectors associated with a representation of a real Lie group on a Fr\'{e}chet space $E$ are quasinormable if $E$ is so. A similar result is shown to hold for the linear topological…
We show that if a product system comes from a quantum Markov semigroup, then it carries a natural Borel structure with respect to which the semigroup may be realized in terms of a measurable representation. We show, too, that the dual…
Let $\mathfrak{g}$ be a root-reductive Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic $0$ with a splitting Borel subalgebra $\mathfrak{b}$ containing a splitting maximal toral subalgebra $\mathfrak{h}$. We…
This note is an attempt to generalize Bolibruch's theorem from the projective line to curves of higher genus. We show that an irreducible representation of the fundamental group of an open in a curve of higher genus has always a…