The results of the first part concern the existence of higher order ℓ₁ spreading models in asymptotic ℓ₁ Banach spaces. We sketch the proof of the fact that the mixed Tsirelson space T[(ₙ,θₙ)ₙ], ${\theta }_{n+m}\ge \theta ₙ\theta ₘ$ and $li{m}_n\theta {ₙ}^{1/n}=1$, admits an $\ell {₁}^{\omega }$ spreading model in every block subspace. We also prove that if X is a Banach space with a basis, with the property that there exists a sequence (θₙ)ₙ ⊂ (0,1) with $li{m}_n\theta {ₙ}^{1/n}=1$, such that, for every n ∈ ℕ, $\left|\right|{\sum }_{k=1}^m{x}_k\left|\right|\ge \theta ₙ{\sum }_{k=1}^m\left|\right|x_k\left|\right|$ for every ₙ-admissible block sequence ${\left(x_k\right)}_{k=1}^m$ of vectors in X, then there exists c...

Given an o-minimal expansion ℳ of a real closed field R which is not polynomially bounded. Let ${}^{\infty }$ denote the definable indefinitely Peano differentiable functions. If we further assume that ℳ admits ${}^{\infty }$ cell decomposition, each definable closed subset A of Rⁿ is the zero-set of a ${}^{\infty }$ function f:Rⁿ → R. This implies ${}^{\infty }$ approximation of definable continuous functions and gluing of ${}^{\infty }$ functions defined on closed definable sets.

The aim of this paper is to show that for every Banach space $(X,\parallel ·\parallel )$ containing asymptotically isometric copy of the space $c_0$ there is a bounded, closed and convex set $C\subset X$ with the Chebyshev radius $r\left(C\right)=1$ such that for every $k\ge 1$ there exists a $k$-contractive mapping $T:C\to C$ with $\parallel x-Tx\parallel >1-1/k$ for any $x\in C$.

We consider linear elliptic equations $-\Delta u+q\left(x\right)u=\lambda u+f$ in bounded Lipschitz domains $D\subset {ℝ}^N$ with mixed boundary conditions $\partial u/\partial n=\sigma \left(x\right)\lambda u+g$ on $\partial D$. The main feature of this boundary value problem is the appearance of $\lambda$ both in the equation and in the boundary condition. In general we make no assumption on the sign of the coefficient $\sigma \left(x\right)$. We study positivity principles and anti-maximum principles. One of our main results states that if $\sigma$ is somewhere negative, $q\ge 0$ and ${\int }_{D}q\left(x\right)dx>0$ then there exist two eigenvalues ${\lambda }_{-1}$, ${\lambda }_1$ such the positivity...

Given a bounded open set $\Omega$ in ${ℝ}^n$ (or in a Riemannian manifold) and a partition of $\Omega$ by $k$ open sets $D_j$, we consider the quantity ${\mathrm{𝚖𝚊𝚡}}_j\lambda \left(D_j\right)$ where $\lambda \left(D_j\right)$ is the ground state energy of the Dirichlet realization of the Laplacian in $D_j$. If we denote by ${ℒ}_k\left(\Omega \right)$ the infimum over all the $k$-partitions of ${\mathrm{𝚖𝚊𝚡}}_j\lambda \left(D_j\right)$, a minimal $k$-partition is then a partition which realizes the infimum. When $k=2$, we find the two nodal domains of a second eigenfunction, but the analysis of higher $k$’s is non trivial and quite interesting. In this...

Let $G$ be a finite group and $H$ a subgroup. Denote by $D(G;H)$ (or $D\left(G\right)$) the crossed product of $C\left(G\right)$ and $ℂH$ (or $ℂG$) with respect to the adjoint action of the latter on the former. Consider the algebra $\langle D\left(G\right),e\rangle$ generated by $D\left(G\right)$ and $e$, where we regard $E$ as an idempotent operator $e$ on $D\left(G\right)$ for a certain conditional expectation $E$ of $D\left(G\right)$ onto $D(G;H)$. Let us call $\langle D\left(G\right),e\rangle$ the basic construction from the conditional expectation $E:D\left(G\right)\to D(G;H)$. The paper constructs a crossed product algebra $C(G/H\times G)⋊ℂG$, and proves that there is an algebra isomorphism between...

For Banach spaces $X$ and $Y$, let $K_{w^{*}}(X^{*},Y)$ denote the space of all $w^{*}-w$ continuous compact operators from $X^{*}$ to $Y$ endowed with the operator norm. A Banach space $X$ has the $wGP$ property if every Grothendieck subset of $X$ is relatively weakly compact. In this paper we study Banach spaces with property $wGP$. We investigate whether the spaces $K_{w^{*}}(X^{*},Y)$ and $X{\otimes }_{ϵ}Y$ have the $wGP$ property, when $X$ and $Y$ have the $wGP$ property.

Let $k$ be a field of characteristic $p\>0$. Let $D_m$ be a ${BT}_m$ over $k$ (i.e., an $m$-truncated Barsotti–Tate group over $k$). Let $S$ be a $k$-scheme and let $X$ be a ${BT}_m$ over $S$. Let $S_{D_m}\left(X\right)$ be the subscheme of $S$ which describes the locus where $X$ is locally for the fppf topology isomorphic to $D_m$. If $p\ge 5$, we show that $S_{D_m}\left(X\right)$ is pure in $S$, i.e. the immersion $S_{D_m}\left(X\right)\hookrightarrow S$ is affine. For $p\in \{2,3\}$, we prove purity if $D_m$ satisfies a certain technical property depending only on its $p$-torsion $D_m\left[p\right]$. For $p\ge 5$, we apply the developed techniques to show that...

The aim of this paper is to establish an existence and uniqueness result for a class of the set functional differential equations of neutral type$$\left\{\begin{array}{c}{D}_{H}X\left(t\right)=F(t,X_t,D_H{X}_t),\hfill \\ {X|}_{[-r,0]}=\Psi ,\hfill \end{array}\right.$$ where $F:[0,b]\times {𝒞}_0\times {𝔏}_0^1\to K_c\left(E\right)$ is a given function, $K_c\left(E\right)$ is the family of all nonempty compact and convex subsets of a separable Banach space $E$, ${𝒞}_0$ denotes the space of all continuous set-valued functions $X$ from $[-r,0]$ into $K_c\left(E\right)$, ${𝔏}_0^1$ is the space of all integrally bounded set-valued functions $X:[-r,0]\to K_c\left(E\right)$, $\Psi \in {𝒞}_0$ and $D_H$ is the Hukuhara derivative. The continuous dependence of solutions on initial...

We prove in this paper the Hölder regularity of Almgren minimal sets of dimension 3 in ${ℝ}^4$ around a $𝕐$-point and the existence of a point of particular type of a Mumford-Shah minimal set in ${ℝ}^4$, which is very close to a $𝕋$. This will give a local description of minimal sets of dimension 3 in ${ℝ}^4$ around a singular point and a property of Mumford-Shah minimal sets in ${ℝ}^4$.

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...

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...