Let n be a nonnegative integer and let u ∈ (n,n+1]. We say that f is u-times Peano bounded in the approximate (resp. $L^p$, 1 ≤ p ≤ ∞) sense at $x\in {ℝ}^m$ if there are numbers $f_{\alpha }\left(x\right)$, |α| ≤ n, such that $f(x+h)-{\sum }_{\left|\alpha \right|\le n}{f}_{\alpha }\left(x\right)h^{\alpha }/\alpha !$ is $O\left(h^u\right)$ in the approximate (resp. $L^p$) sense as h → 0. Suppose f is u-times Peano bounded in either the approximate or $L^p$ sense at each point of a bounded measurable set E. Then for every ε > 0 there is a perfect set Π ⊂ E and a smooth function g such that the Lebesgue measure of E∖Π is less than ε and...

The first author has recently proved that if f: X → Y is a k-dimensional map between compacta and Y is p-dimensional (0 ≤ k, p < ∞), then for each 0 ≤ i ≤ p + k, the set of maps g in the space $C(X,I^{p+2k+1-i})$ such that the diagonal product $f\times g:X\to Y\times I^{p+2k+1-i}$ is an (i+1)-to-1 map is a dense $G_{\delta }$-subset of $C(X,I^{p+2k+1-i})$. In this paper, we prove that if f: X → Y is as above and $D_j$ (j = 1,..., k) are superdendrites, then the set of maps h in $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ such that $f\times h:X\to Y\times \left({\prod }_{j=1}^k{D}_j\times I^{p+1-i}\right)$ is (i+1)-to-1 is a dense $G_{\delta }$-subset of $C(X,{\prod }_{j=1}^k{D}_j\times I^{p+1-i})$ for each 0 ≤ i ≤ p.

In this note we shall prove that for a continuous function $\varphi :\Delta \to {ℝ}^n$, where $\Delta \subset ℝ$,  the paratingent of $\varphi$ at $a\in \Delta$ is a non-empty and compact set in ${ℝ}^n$ if and only if $\varphi$ satisfies Lipschitz condition in a neighbourhood of $a$. Moreover, in this case the paratingent is a connected set.

We consider a double analytic family of fractional integrals $S_z^{\gamma ,\alpha }$ along the curve ${t\mapsto \left|t\right|}^{\alpha }$, introduced for α = 2 by L. Grafakos in 1993 and defined by $\left(S_z^{\gamma ,\alpha }f\right)(x₁,x₂):=1/\Gamma (z+1/2){\int \int |u-1|}^z\psi (u-1){f(x₁-t,x₂-u|t|}^{\alpha }{\left)du\right|t|}^{\gamma }dt/t$, where ψ is a bump function on ℝ supported near the origin, $f{\in }_c^{\infty }\left(ℝ²\right)$, z,γ ∈ ℂ, Re γ ≥ 0, α ∈ ℝ, α ≥ 2. We determine the set of all (1/p,1/q,Re z) such that $S_z^{\gamma ,\alpha }$ maps $L^p\left(ℝ²\right)$ to $L^q\left(ℝ²\right)$ boundedly. Our proof is based on product-type kernel arguments. More precisely, we prove that the kernel $K_{-1+i\theta }^{i\varrho ,\alpha }$ is a product kernel on ℝ², adapted to the curve ${t\mapsto \left|t\right|}^{\alpha }$; as a consequence, we show...

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...

In a Tychonoff space $X$, the point $p\in X$ is called a $C^{*}$-point if every real-valued continuous function on $C\setminus \left\{p\right\}$ can be extended continuously to $p$. Every point in an extremally disconnected space is a $C^{*}$-point. A classic example is the space ${𝐖}^{*}={\omega }_1+1$ consisting of the countable ordinals together with ${\omega }_1$. The point ${\omega }_1$ is known to be a $C^{*}$-point as well as a $P$-point. We supply a characterization of $C^{*}$-points in totally ordered spaces. The remainder of our time is aimed at studying when a point in a product space...

We prove that for a normed linear space $X$, if $f_1:X\to ℝ$ is continuous and semiconvex with modulus $\omega$, $f_2:X\to ℝ$ is continuous and semiconcave with modulus $\omega$ and $f_1\le f_2$, then there exists $f\in C^{1,\omega }\left(X\right)$ such that $f_1\le f\le f_2$. Using this result we prove a generalization of Ilmanen lemma (which deals with the case $\omega \left(t\right)=t$) to the case of an arbitrary nontrivial modulus $\omega$. This generalization (where a $C_{loc}^{1,\omega }$ function is inserted) gives a positive answer to a problem formulated by A. Fathi and M. Zavidovique in 2010.

For $X,Y\in {𝐌}_{n,m}$ it is said that $X$ is gut-majorized by $Y$, and we write $X{\prec }_{\mathrm{gut}}Y$, if there exists an $n$-by-$n$ upper triangular g-row stochastic matrix $R$ such that $X=RY$. Define the relation ${\sim }_{\mathrm{gut}}$ as follows. $X{\sim }_{\mathrm{gut}}Y$ if $X$ is gut-majorized by $Y$ and $Y$ is gut-majorized by $X$. The (strong) linear preservers of ${\prec }_{\mathrm{gut}}$ on ${ℝ}^n$ and strong linear preservers of this relation on ${𝐌}_{n,m}$ have been characterized before. This paper characterizes all (strong) linear preservers and strong linear preservers of ${\sim }_{\mathrm{gut}}$ on ${ℝ}^n$ and ${𝐌}_{n,m}$.

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

Let ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ be the following algorithmic problem: Given a finite simplicial complex $K$ of dimension at most $k$, does there exist a (piecewise linear) embedding of $K$ into ${ℝ}^d$? Known results easily imply polynomiality of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2}$ ($k=1,2$; the case $k=1,d=2$ is graph planarity) and of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2k}$ for all $k\ge 3$. We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{d\to d}$ and ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{(d-1)\to d}$ are undecidable for each ${}_d\ge 5$. Our main result is NP-hardness of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{2\to 4}$ and, more generally, of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ for all...

Let ${ℱ}_h^i(k,n)$ be the $i$-th ordered configuration space of all distinct points $H_1,...,H_h$ in the Grassmannian $Gr(k,n)$ of $k$-dimensional subspaces of ${ℂ}^n$, whose sum is a subspace of dimension $i$. We prove that ${ℱ}_h^i(k,n)$ is (when non empty) a complex submanifold of $Gr{(k,n)}^h$ of dimension $i(n-i)+hk(i-k)$ and its fundamental group is trivial if $i=min(n,hk)$, $hk\ne n$ and $n\&gt;2$ and equal to the braid group of the sphere $ℂ$ $P^1$ if $n=2$. Eventually we compute the fundamental group in the special case of hyperplane arrangements, i.e. $k=n-1$.

Let ${\Phi }_1,...,{\Phi }_{k+1}$ (with $k\ge 1$) be vector fields of class $C^k$ in an open set $U{\subset }^{N+m}$, let $𝕄$ be a $N$-dimensional $C^k$ submanifold of $U$ and define $$𝕋:=\{z\in 𝕄:{\Phi }_1\left(z\right),...,{\Phi }_{k+1}\left(z\right)\in T_z𝕄\}$$ where $T_z𝕄$ is the tangent space to $𝕄$ at $z$. Then we expect the following property, which is obvious in the special case when $z_0$ is an interior point (relative to $𝕄$) of $𝕋$: If $z_0\in 𝕄$ is a $(N+k)$-density point (relative to $𝕄$) of $𝕋$ then all the iterated Lie brackets of order less or equal to $k$ $${\Phi }_{i_1}\left(z_0\right),[{\Phi }_{i_1},{\Phi }_{i_2}]\left(z_0\right),[[{\Phi }_{i_1},{\Phi }_{i_2}],{\Phi }_{i_3}]\left(z_0\right),...(h,i_h\le k+1)$$ belong to $T_{z_0}𝕄$. Such a property has been proved in [9] for $k=1$ and its proof in the...

We prove a density version of the Carlson–Simpson Theorem. Specifically we show the following. For every integer $k\ge 2$ and every set $A$ of words over $k$ satisfying $\lim {\sup }_{n\to \infty }|A\cap {\left[k\right]}^n|/k^n>0$ there exist a word $c$ over $k$ and a sequence $\left(w_n\right)$ of left variable words over $k$ such that the set $c\cup \{c^{}{w}_0{\left(a_0\right)}^{}..{.}^{}{w}_n\left(a_n\right):n\in \mathbb{N}\text{and}{a}_0,...,a_n\in \left[k\right]\}$ is contained in $A$. While the result is infinite-dimensional its proof is based on an appropriate finite and quantitative version, also obtained in the paper.

CONTENTSPREFACE..........................................................................................................................................................................3INTRODUCTION............................................................................................................................................................. 41. Notation. 2. Subject of the paper.Chapter I. DECOMPOSITION OF Σ INTO ${\Sigma }_1$, ${\Sigma }_2$, ${\Sigma }_3$, ${\Sigma }_4$ INESSENTIAL RESTRICTIONOF GENERALITY ...............................................................................................................................................................