English
Related papers

Related papers: Extendability of continuous maps is undecidable

200 papers

We study the higher (sequential) topological complexity, a numerical homotopy invariant for the planar polygon spaces. For these spaces with a small genetic codes and dimension $m$, Davis showed that their topological complexity is either…

Algebraic Topology · Mathematics 2025-09-03 Sutirtha Datta , Navnath Daundkar , Abhishek Sarkar

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…

Algebraic Geometry · Mathematics 2020-12-23 Jacek Bochnak , Wojciech Kucharz

Two extension problems are solved. First, the class of locally matricial algebras over an arbitrary field is closed under extensions. Second, the class of locally finite dimensional semisimple algebras over a fixed field is closed under…

Rings and Algebras · Mathematics 2025-04-18 K. R. Goodearl

We prove existence of extension dimension for paracompact spaces. Here is the main result of the paper: \proclaim{Theorem} Suppose X is a paracompact space. There is a CW complex K such that {a.} K is an absolute extensor of X up to…

General Topology · Mathematics 2008-02-27 Jerzy Dydak

We address two sets of long-standing open questions in probability theory, from a computational complexity perspective: divisibility of stochastic maps, and divisibility and decomposability of probability distributions. We prove that finite…

Probability · Mathematics 2016-04-20 Johannes Bausch , Toby Cubitt

A space $Y$ is called an {\em extension} of a space $X$ if $Y$ contains $X$ as a dense subspace. Two extensions of $X$ are said to be {\em equivalent} if there is a homeomorphism between them which fixes $X$ point-wise. For two (equivalence…

General Topology · Mathematics 2012-06-01 M. R. Koushesh

The central problem in computational algebraic topology is the computation of the homotopy groups of a given space, represented as a simplicial set. Algorithms have been found which achieve this, but the running times depend on the size of…

Algebraic Topology · Mathematics 2021-12-24 Preston Cranford , Peter Rowley

Piecewise affine maps (PAMs) are frequently used as a reference model to show the openness of the reachability questions in other systems. The reachability problem for one-dimentional PAM is still open even if we define it with only two…

Numerical Analysis · Computer Science 2015-10-15 Oleksiy Kurganskyy , Igor Potapov

The task of finding an extension to a given partial drawing of a graph while adhering to constraints on the representation has been extensively studied in the literature, with well-known results providing efficient algorithms for…

Computational Geometry · Computer Science 2023-02-21 Sujoy Bhore , Robert Ganian , Liana Khazaliya , Fabrizio Montecchiani , Martin Nöllenburg

We study the isometric extension problem for H\"{o}lder maps from subsets of any Banach space into $c_0$ or into a space of continuous functions. For a Banach space $X$, we prove that any $\alpha$-H\"{o}lder map, with $0<\alpha\leq 1$, from…

Functional Analysis · Mathematics 2007-05-23 Gilles Lancien , Beata Randrianantoanina

The main result of the present paper, combined with earlier results of Hardt and Lin settles the extension problem for $W^{1,p}(\mathcal M, \mathcal N)$, where $\mathcal M$ and $\mathcal N$ are compact riemannian manfolds, $\mathcal M$…

Functional Analysis · Mathematics 2014-02-20 Fabrice Bethuel

We answer the following question posed by Lechuga: Given a simply-connected space $X$ with both $H_*(X,\qq)$ and $\pi_*(X)\otimes \qq$ being finite-dimensional, what is the computational complexity of an algorithm computing the cup-length…

Algebraic Topology · Mathematics 2011-12-06 Manuel Amann

The problem of deciding, given a complex variety X, a point x in X, and a subvariety Z of X, whether there is an automorphism of X mapping x into Z is proved undecidable. Along the way, we prove the undecidability of a version of Hilbert's…

Algebraic Geometry · Mathematics 2017-04-03 Bjorn Poonen

We examine conditions on a (compact metrizable) space $X$ such that for any space $Y$ and closed subspace $Z$, the set of continuous functions from $Z$ to $X$ which extend to $Y$ is either open or closed in the set of continuous functions…

General Topology · Mathematics 2012-07-31 Bruce Blackadar

If $X$ is a topological space and $Y$ is any set then we call a family $\mathcal{F}$ of maps from $X$ to $Y$ nowhere constant if for every non-empty open set $U$ in $X$ there is $f \in \mathcal{F}$ with $|f[U]| > 1$, i.e. $f$ is not…

General Topology · Mathematics 2023-12-20 István Juhász , Jan van Mill

The problem of bi-equivariant extension of continuous maps of binary $G$-spaces is considered. The concept of a structural map of distributive binary $G$-spaces is introduced, and a theorem on the bi-equivariant extension of structural maps…

General Topology · Mathematics 2025-09-11 Pavel S. Gevorgyan

For each n greater than 7 we explicitly construct a sequence of Stein manifolds diffeomorphic to complex affine space of dimension n so that there is no algorithm to tell us in general whether a given such Stein manifold is symplectomorphic…

Symplectic Geometry · Mathematics 2011-09-22 Mark McLean

We consider the problem of deciding whether an input graph G admits a topological embedding into a two-dimensional simplicial complex C. This problem includes, among others, the embeddability problem of a graph on a surface and the…

Computational Geometry · Computer Science 2018-03-20 Éric Colin de Verdière , Thomas Magnard , Bojan Mohar

We consider a continuous analogue of Babai et al.'s and Cai et al.'s problem of solving multiplicative matrix equations. Given $k+1$ square matrices $A_{1}, \ldots, A_{k}, C$, all of the same dimension, whose entries are real algebraic, we…

Discrete Mathematics · Computer Science 2017-01-18 Joël Ouaknine , Amaury Pouly , João Sousa-Pinto , James Worrell

Let F_*(X, Y) be the space of base-point-preserving maps from a connected finite CW complex X to a connected space Y. Consider a CW complex of the form X cup_{alpha}e^{k+1} and a space Y whose connectivity exceeds the dimension of the…

Algebraic Topology · Mathematics 2009-03-02 Katsuhiko Kuribayashi , Toshihiro Yamaguchi