Related papers: Mapping spaces and R-completion

Let X be a compact (resp. compact and nonsingular) real algebraic variety and let Y be a homogeneous space for some linear real algebraic group. We prove that a continuous (resp. C^infinity) map f:X-->Y can be approximated by regular maps…

We characterize conformally removable sets in the plane with the aid of the recent developments in the theory of metric surfaces. We prove that a compact set in the plane is $S$-removable if and only if there exists a quasiconformal map…

We consider simplicial sets equipped with a notion of smallness, and observe that this slight "topological" extension of the "algebraic" simplicial language allows a concise reformulation of a number of classical notions in topology, e.g.…

Matrix completion, i.e., the exact and provable recovery of a low-rank matrix from a small subset of its elements, is currently only known to be possible if the matrix satisfies a restrictive structural constraint---known as {\em…

Let $K$ be a field of characteristic zero, $K[x,y]$ be the polynomial ring in two variables. Let $\phi=(f, g)$ be an endomorphism of $K[x,y]$. It is proved that if $\phi$ maps each coordinate to a generator of some proper retract, then it…

This paper concerns the self-similarity of topological spaces, in the sense defined in math.DS/0411344. I show how to recognize self-similar spaces, or more precisely, universal solutions of self-similarity systems. Examples include the…

We consider two basic problems of algebraic topology, the extension problem and the computation of higher homotopy groups, from the point of view of computability and computational complexity. The extension problem is the following: Given…

A class of spherical functions is studied which can be viewed as the matrix generalization of Bessel functions. We derive a recursive structure for these functions. We show that they are only special cases of more general radial functions…

Let $\mathcal{E}(X)$ be the group of homotopy classes of self homotopy equivalences for a connected CW complex $X$. We observe two classes of maps $\mathcal{E}$-maps and co-$\mathcal{E}$-maps. They are defined as the maps $X\to Y$ that…

We show that the space of continuous functions over a compact space X admits an equivalent pointwise-lowersemicontinuous locally uniformly rotund norm whenever X admits a fully closed map onto a compact Y such that C(Y) and the spaces of…

A simplicial set is non-singular if the representing map of each non-degenerate simplex is degreewise injective. The simplicial mapping set $X^K$ has $n$-simplices given by the simplicial maps $\Delta[n] \times K \to X$. We prove that $X^K$…

We determine the symmetries and reversing symmetries within G, the group of real planar polynomial automorphisms, of area-preserving nonlinear polynomial maps L in generalised standard form, L: x'=x+p(y), y'=y+q(x'), where p and q are…

By using a similar pattern of arguments, we show that in three categories the collection of isomorphisms forms a residual subset of the space of morphisms. We first consider surjective continuous mappings on Cantor spaces. Next, we look at…

Let n be a positive integer, and let R be a finitely presented (but not necessarily finite dimensional) associative algebra over a computable field. We examine algorithmic tests for deciding (1) if every n-dimensional representation of R is…

Let X be a Hausdorff quotient of a standard space (that is of a locally compact separable metric space). It is shown that the following are equivalent: (i) X is the image of an irreducible quotient map from a standard space; (ii) X has a…

Let Y be an absolute neighborhood retract (ANR) for the class of metric spaces and let X be a Hausdorff space. Let map(X,Y) denote the space of continuous maps from X to Y with the compact open topology. It is shown that if X is a CW…

We study metric spaces defined via a conformal weight, or more generally a measurable Finsler structure, on a domain $\Omega \subset \mathbb{R}^2$ that vanishes on a compact set $E \subset \Omega$ and satisfies mild assumptions. Our main…

We derive the integral operator form for the general rational solution of the Yang-Baxter equation with $s\ell(2|1)$ symmetry. Considering the defining relations for the kernel of the R-operator as a system of second order differential…

By careful analysis of the comparison map from a simplicial set to its image under Kan's ex-infinity functor we obtain a new and combinatorial proof that it is a weak homotopy equivalence. Moreover, we obtain a presentation of it as a…

Let $K$ be a field of characteristic zero. We deal with the algebraic closure of the field of fractions of the ring of formal power series $K[[x_1,\ldots,x_r]]$, $r\geq 2$. More precisely, we view the latter as a subfield of an iterated…