Related papers: Decidability of the extension problem for maps int…
Given a set B of finite rooted graphs and a radius r as an input, we prove that it is undecidable to determine whether there exists a sequence (G_i) of finite bounded degree graphs such that the rooted r-radius neighbourhood of a random…
We consider an extremal problem for subsets of high-dimensional spheres that can be thought of as an extension of the classical isoperimetric problem on the sphere. Let $A$ be a subset of the $(m-1)$-dimensional sphere $\mathbb{S}^{m-1}$,…
The decidability of the reachability problem for finitary PCF has been used as a theoretical basis for fully automated verification tools for functional programs. The reachability problem, however, often becomes undecidable for a slight…
Let $Y\to X$ be a proper map between proper hyperbolic metric spaces. A Cannon--Thurston map is a continuous extension $\partial Y \to \partial X$. We prove that in most known settings in which a Cannon--Thurston map exists it is uniformly…
While the topology of the space of all smooth immersed curves on the $2$-sphere $\mathbb{S}^2$ that start and end at given points in given directions is well known, it is an open problem to understand the homotopy type of its subspaces…
Let X and Y be curves over a finite field. In this article we explore methods to determine whether there is a rational map from Y to X by considering L-functions of certain covers of X and Y and propose a specific family of covers to…
We study hyper-spheres, spheres and circles, with respect to an indefinite metric, in a tangent space on a 4-dimensional differentiable manifold. The manifold is equipped with a positive definite metric and an additional tensor structure of…
We construct homotopically non-trivial maps from the unit m-sphere to the unit (m-1)-sphere with arbitrarily small k-dilation for each k greater than (m + 1)/2. We prove that homotopically non-trivial maps from the unit m-sphere to the unit…
The content of this paper has no mathematical flaw except that the proof of the main theorem relies on the homotopy invariance of spectral invariants of topological Hamiltonian paths. Since the latter is still up in the air, the main result…
It is shown that a formal mapping between two real-analytic hypersurfaces in complex space is convergent provided that neither hypersurface contains a nontrivial holomorphic variety. For higher codimensional generic submanifolds,…
We give sufficient conditions for the following problem: given a topological space X, a metric space Y, a subspace Z of Y, and a continuous map f from X to Y, is it possible, by applying to f an arbitrarily small perturbation, to ensure…
In this paper we provide sufficient conditions in order to show that the set image of a continuous and shift-commuting map defined on a shift space over an arbitrary discrete alphabet is also a shift space; additionally, if such a map is…
We address pairs $(X, Y)$ of metric spaces with the following property: for every mapping $f: X \to Y$ the existence of points $x, y \in X$ with $d(f(x),f(y)) > d(x,y)$ implies the existence of $\widetilde{x}, \widetilde{y}\in X$ for which…
For fixed $d\geq 3$, we construct subsets of the $d$-dimensional lattice cube $[n]^d$ of size $n^{\frac{3}{d + 1} - o(1)}$ with no $d+2$ points on a sphere or a hyperplane. This improves the previously best known bound of…
Expanding maps with indifferent fixed points, a.k.a. intermittent maps, are popular models in nonlinear dynamics and infinite ergodic theory. We present a simple proof of the exactness of a wide class of expanding maps of [0,1], with…
Jean Saint Raymond asked whether continuously differentiable maps with isolated critical points are necessarily open in infinite dimensional (Hilbert) spaces. We answer this question negatively by constructing counterexamples in various…
Let D be a bounded strongly pseudoconvex domain in a Stein manifold S and let Y be a complex manifold. We prove that the graph of any continuous map from the closure of D to Y which is holomorphic in D admits a basis of open Stein…
We present a fixed point theorem on topological cylinders in normed linear spaces for maps satisfying a property of stretching a space along paths. This result is a generalization of a similar theorem obtained by D. Papini and F. Zanolin.…
Let $\D$ be the unit disk. Kutzschebauch and Studer \cite{KS} recently proved that, for each continuous map $A:\overline D\to \mathrm{SL}(2,\C)$, which is holomorphic in $\D$, there exist continuous maps $E,F:\overline \D\to…
In the study of holomorphic maps, the term "rigidity" refers to certain types of results that give us very specific information about a general class of holomorphic maps owing to the geometry of their domains or target spaces. Under this…