Related papers: Decidability of the extension problem for maps int…
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…
In this paper, we prove the existence of nontrivial contractible domains $\Omega\subset\mathbb{S}^{d}$, $d\geq2$, such that the overdetermined elliptic problem \begin{equation*} \begin{cases} -\varepsilon\Delta_{g} u +u-u^{p}=0 &\mbox{in…
The global extendibility of smooth causal geodesically incomplete spacetimes is investigated. Denote by $\gamma$ one of the incomplete non-extendible causal geodesics of a causal geodesically incomplete spacetime $(M,g_{ab})$. First, it is…
We prove that iterated spaces of directions of a limit of a noncollapsing sequence of manifolds with lower curvature bound are topologically spheres. As an application we show that for any finite dimensional Alexandrov space $X^n$ with…
Recently, we enumerate up to isometry, all locally rigid circle packings on the unit sphere with number of circles N<12. This problem is equivalent to the enumeration of irreducible contact graphs. In this paper we show that by using the…
The Orbit Problem consists of determining, given a matrix $A\in \mathbb{R}^{d\times d}$ and vectors $x,y\in \mathbb{R}^d$, whether there exists $n\in \mathbb{N}$ such that $A^n=y$. This problem was shown to be decidable in a seminal work of…
We prove a couple of results on local continuous extension of proper holomorphic maps $F:D \rightarrow \Omega$, $D, \Omega \varsubsetneq \mathbb{C}^n$, making local assumptions on $\partial{D}$ and $\partial{\Omega}$. The first result…
Given two graphs G and H, there is a bi-resolving (or bi-covering) graph homomorphism from G to H if and only if their adjacency matrices satisfy certain matrix relations. We investigate the bi-covering extensions of bi-resolving…
We show that the following algorithmic problem is decidable: given a $2$-dimensional simplicial complex, can it be embedded (topologically, or equivalently, piecewise linearly) in $\mathbf{R}^3$? By a known reduction, it suffices to decide…
Translational tiling problems are among the most fundamental and representative undecidable problems in all fields of mathematics. Greenfeld and Tao obtained two remarkable results on the undecidability of translational tiling in recent…
Let $G$ be a finite group. A faithful $G$-variety $X$ is called strongly incompressible if every dominant $G$-equivariant rational map of $X$ onto another faithful $G$-variety $Y$ is birational. We settle the problem of existence of…
A map $f:X\to Y$ between topological spaces is defined to be {\em scatteredly continuous} if for each subspace $A\subset X$ the restriction $f|A$ has a point of continuity. We show that for a function $f:X\to Y$ from a perfectly paracompact…
Holomorphic (nondegenerate) mappings between complex manifolds of the same dimension are of special interest. For example, they appear as coverings of complex manifolds. At the same time they have very strong "extra" extension properties in…
An orientation preserving diffeomorphism over a surface embedded in a 4-manifold is called extendable, if this diffeomorphism is a restriction of an orientation preserving diffeomorphism on this 4-manifold. In this paper, we investigate…
An incompressible surface $F$ on the boundary of a compact orientable 3-manifold $M$ is arc-extendible if there is an arc $\gamma$ on $\partial M - $ Int $F$ such that $F \cup N(\gamma)$ is incompressible, where $N(\gamma)$ is a regular…
In this note we give a negative answer to Abraham Robinson's question whether a finitely generated extension of an undecidable field is always undecidable. We construct 'natural' undecidable fields of transcendence degree 1 over Q all of…
We consider harmonic maps from Minkowski space into the three sphere. We are especially interested in solutions which are asymptotically constant, i.e. converge to the same value in all directions of spatial infinity. Physical 3-space can…
We study decision problems on geometric tilings. First, we study a variant of the Domino problem where square tiles are replaced by geometric tiles of arbitrary shape. We show that this variant is undecidable regardless of the shapes,…
It is shown that various questions about the existence of simple closed curves in normal subgroups of surface groups are undecidable.
An affine hypersurface $M$ is said to admit a pointwise symmetry, if there exists a subgroup $G$ of ${\rm Aut}(T_p M)$ for all $p\in M$, which preserves (pointwise) the affine metric $h$, the difference tensor $K$ and the affine shape…