Related papers: Mityagin's Extension Problem. Progress Report
In this paper we introduce a general notion of weak extension property for embeddings induced by a group actions. As an example, for the group H(M, m) of measure-preserving homeomorphisms of a noncompact manifold M, we deduce weak type…
We prove the computability of a version of Whitney Extension, when the input is suitably represented. More specifically, if $F \subseteq \mathbb{R}^n$ is a closed set represented so that the distance function $x \mapsto d(x,F)$ can be…
Kakeya sets are compact subsets of $\mathbb{R}^n$ that contain a unit line segment pointing in every direction. The Kakeya conjecture states that such sets must have Hausdorff dimension $n$. The property of stickiness was first discovered…
Any Lipschitz map $f : M \to N$ between two pointed metric spaces may be extended in a unique way to a bounded linear operator $\widehat{f} : \mathcal F(M) \to \mathcal F(N)$ between their corresponding Lipschitz-free spaces. In this paper,…
Motivated by problems related to quasi-local mass in general relativity, we study the static metric extension conjecture proposed by R. Bartnik \cite{Bartnik_energy}. We show that, for any metric on $\bar{B}_1$ that is close enough to the…
We study the expansions of the elements in $\mathcal S(\mathbb{R}_+^d)$ and $\mathcal{S}'(\mathbb{R}_+^d)$ with respect to the Laguerre orthonormal basis, extending the result of M. Guillemont-Teissier in the case $d=1$. As a consequence,…
Let $X=C[0,1]$, and $Y$ be an arbitrary Banach space. Consider a collection of open segments $\{V_i \}\subset X$. Suppose the map $f: \cup_i V_i \to Y$ has $q$ bounded Fr\'echet derivatives ($q=0,1,...,\infty$), and $f$ and all its…
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…
Let $A$ be a symmetric linear relation in the Hilbert space $\gH$ with equal deficiency indices $n_\pm (A)\leq\infty$. A self-adjoint linear relation $\wt A\supset A$ in some Hilbert space $\wt\gH\supset \gH$ is called an exit space…
We consider a separable compact line $K$ and its extension $L$ consisting of $K$ and a countable number of isolated points. The main object of study is the existence of a bounded extension operator $E: C(K)\to C(L)$. We show that if such an…
For an arbitrary subset $E\subset\mathbb{R}^n,$ we introduce and study the three vanishing subspaces of the H\"older space $\dot{C}^{0,\omega}(E)$ consisting of those functions for which the ratio $|f(x)-f(y)|/\omega(|x-y|)$ vanishes, when…
We use the Cauchy-Crofton formula to show that every definable cell (bounded by a ball with rational radius) in an O-minimal expansion of a field extension of the real numbers satisfies the Whitney arc property.
Let $T$ be a densely defined closed symmetric operator with equal deficiency indices in a separable complex Hilbert space $H$. In this paper, we prove that $T$ has a self-adjoint extension with compact resolvent if and only if the domain…
Given $X$ a Hilbert space, $\omega$ a modulus of continuity, $E$ an arbitrary subset of $X$, and functions $f:E\to\mathbb{R}$, $G:E\to X$, we provide necessary and sufficient conditions for the jet $(f,G)$ to admit an extension $(F, \nabla…
The Kr\"otz-Stanton Extension Theorem states that the orbit map of a K-finite vector in a Hilbert representation of a linear Lie group extends to a holomorphic map to a principal fibre bundle over the complex crown domain associated to the…
The technique of symmetric extensions is derived from forcing and it is one of the most important tools for studying models without the Axiom of Choice. Despite being incredibly successful since the 1960s, our understanding of the technique…
For an operator ideal $\mathcal A$, we study the composition operator ideals ${\mathcal A}\circ{\mathcal K}$, ${\mathcal K}\circ{\mathcal A}$ and ${\mathcal K}\circ{\mathcal A}\circ{\mathcal K}$, where $\mathcal K$ is the ideal of compact…
Let $C$ be a subset of $\mathbb{R}^n$ (not necessarily convex), $f:C\to\mathbb{R}$ be a function, and $G:C\to\mathbb{R}^n$ be a uniformly continuous function, with modulus of continuity $\omega$. We provide a necessary and sufficient…
Using recent development in Poletsky theory of discs, we prove the following result: Let $X,$ $Y$ be two complex manifolds, let $Z$ be a complex analytic space which possesses the Hartogs extension property, let $A$ (resp. $B$) be a non…
In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category $\mathcal{C}$ of "pointed complete extensional PERs" and computable maps is introduced to provide an instance of an \emph{algebraically compact…