Related papers: Decidability of the extension problem for maps int…
There exists a proper holomorphic mapping between balls of different dimensions such that it does not extend continuously to the boundary. The aim of this paper is to show the same phenomenon occurs for pseudoconvex domains of different…
The main result given in Theorem~1.1 is a condition for a map $X$, defined on the complement of a disk $D$ in R^2 with values in R^2, to be extended to a topological embedding of R^2, not necessarily surjective. The map $X$ is supposed to…
We propose global surjectivity theorems of differentiable maps based on second order conditions. Using the homotopy continuation method, we demonstrate that, for a $C^2$ differentiable map from a Hilbert space to a finite-dimensional…
Many fundamental problems in extremal combinatorics are equivalent to proving certain polynomial inequalities in graph homomorphism densities. In 2011, a breakthrough result by Hatami and Norine showed that it is undecidable to verify…
We investigate the problem of deciding whether a system of linear equations, together with divisibility conditions on the variables, has a solution over holomorphy subrings of global fields. We obtain decidability results when we allow…
We study the fixed point theory of n-valued maps of a space X using the fixed point theory of maps between X and its configuration spaces. We give some general results to decide whether an n-valued map can be deformed to a fixed point free…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable control sets, which are assumed to be the image under a linear…
Does a given a set of polyominoes tile some rectangle? We show that this problem is undecidable. In a different direction, we also consider tiling a cofinite subset of the plane. The tileability is undecidable for many variants of this…
Given an acyclic map $X\to Y$ of closed manifolds dimension $d$, we study the relationship between the embeddings of $Y$ in $S^{n}$ with those of $X$ in $S^{n}$ when $n-d \ge 3$. The approach taken here is to first solve the Poincar\'e…
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…
Suppose that $\pi \: Y \to X$ is a finite map of normal varieties over a perfect field of characteristic $p > 0$. Previous work of the authors gave a criterion for when Frobenius splittings on $X$ (or more generally any $p^{-e}$-linear map)…
It is known that the theory of any class of normed spaces over the reals that includes all spaces of a given dimension d > 1 is undecidable, and indeed, admits a relative interpretation of second-order arithmetic. The notion of a normed…
We consider the problem of constructing a weakly-continuous mapping extending continuous mapping defined on a dense set of a topological space to the entire space. Theorem on necessary and sufficient conditions for the existence of such an…
For an $r$-tuple $(\gamma_1,\ldots,\gamma_r)$ of special orthogonal $d\times d$ matrices, we say that the Euclidean $(d-1)$-dimensional sphere $S^{d-1}$ is $(\gamma_1,\ldots,\gamma_r)$-divisible if there is a subset $A\subseteq S^{d-1}$…
The \emph{Orbit Problem} consists of determining, given a linear transformation $A$ on $\mathbb{Q}^d$, together with vectors $x$ and $y$, whether the orbit of $x$ under repeated applications of $A$ can ever reach $y$. This problem was…
We study mappings that satisfy the inverse Poletsky inequality in a domain of the Euclidean space. Under certain conditions on the definition and mapped domains, it is established that they have a continuous extension to the boundary in…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over discrete time. We analyse this problem with respect to the allowable control sets, which in general are assumed to be defined by…
More than once we have heard that the Charney-Davis Conjecture makes sense only for odd-dimensional spheres. This is to point out that in fact it is also a statement about even-dimensional spheres.
Let $X$ be a minuscule homogeneous space, an odd quadric, or an adjoint homogenous space of type different from $A$ and $G_2$. Le $C$ be an elliptic curve. In this paper, we prove that for $d$ large enough, the scheme of degree $d$…
This paper concerns extension of maps using obstruction theory under a non classical viewpoint. It is given a classification of homotopy classes of maps and as an application it is presented a simple proof of a theorem by Adachi about…