Let (α) denote the class of all cardinal sequences of length α associated with compact scattered spaces (or equivalently, superatomic Boolean algebras). Also put ${}_{\lambda }\left(\alpha \right)=s\in \left(\alpha \right):s\left(0\right)=\lambda =min\left[s\right(\beta ):\beta <\alpha ]$. We show that f ∈ (α) iff for some natural number n there are infinite cardinals $\lambda ₀i>\lambda ₁>...>{\lambda }_{n-1}$ and ordinals $\alpha ₀,...,{\alpha }_{n-1}$ such that $\alpha =\alpha ₀+\cdots +{\alpha }_{n-1}$ and $f=f₀⏜f₁⏜...⏜f_{n-1}$ where each $f_i{\in }_{{\lambda }_i}\left({\alpha }_i\right)$. Under GCH we prove that if α < ω₂ then (i) ${}_{\omega }\left(\alpha \right)=s{\in }^{\alpha }\omega ,\omega ₁:s\left(0\right)=\omega$; (ii) if λ > cf(λ) = ω, ${}_{\lambda }\left(\alpha \right)=s{\in }^{\alpha }\lambda ,\lambda ⁺:s\left(0\right)=\lambda ,s^{-1}\lambda is\omega ₁-closedin\alpha$; (iii) if cf(λ) = ω₁, ${}_{\lambda }\left(\alpha \right)=s{\in }^{\alpha }\lambda ,\lambda ⁺:s\left(0\right)=\lambda ,s^{-1}\lambda is\omega -closedandsuccessor-closedin\alpha$; (iv) if cf(λ) > ω₁, ${}_{\lambda }\left(\alpha \right){=}^{\alpha }\lambda$. This yields a complete characterization of the classes (α) for all...

Let a space $X$ be Tychonoff product ${\prod }_{\alpha <\tau }{X}_{\alpha }$ of $\tau$-many Tychonoff nonsingle point spaces $X_{\alpha }$. Let Suslin number of $X$ be strictly less than the cofinality of $\tau$. Then we show that every point of remainder is a non-normality point of its Čech–Stone compactification $\beta X$. In particular, this is true if $X$ is either $R^{\tau }$ or ${\omega }^{\tau }$ and a cardinal $\tau$ is infinite and not countably cofinal.

We investigate the question whether a system ${\left(E_i\right)}_{i\in I}$ of homogeneous linear equations over $\mathbb{Z}$ is non-trivially solvable in $\mathbb{Z}$ provided that each subsystem ${\left(E_j\right)}_{j\in J}$ with $\left|J\right|\le c$ is non-trivially solvable in $\mathbb{Z}$ where $c$ is a fixed cardinal number such that $c<\left|I\right|$. Among other results, we establish the following. (a) The answer is ‘No’ in the finite case (i.e., $I$ being finite). (b) The answer is ‘No’ in the denumerable case (i.e., $\left|I\right|={\aleph }_0$ and $c$ a natural number). (c) The answer in case that $I$ is uncountable and $c\le {\aleph }_0$ is ‘No...

The symbol ${\left(X_I\right)}_{\kappa }$ (with κ ≥ ω) denotes the space $X_I:={\prod }_{i\in I}{X}_i$ with the κ-box topology; this has as base all sets of the form $U={\prod }_{i\in I}{U}_i$ with $U_i$ open in $X_i$ and with $|i\in I:U_i\ne X_i|<\kappa$. The symbols w, d and S denote respectively the weight, density character and Suslin number. Generalizing familiar classical results, the authors show inter alia: Theorem 3.1.10(b). If κ ≤ α⁺, |I| = α and each $X_i$ contains the discrete space 0,1 and satisfies $w\left(X_i\right)\le \alpha$, then $w\left(X_{\kappa }\right)={\alpha }^{<\kappa }$. Theorem 4.3.2. If $\omega \le \kappa \le \left|I\right|\le 2^{\alpha }$ and $X={\left(D\left(\alpha \right)\right)}^I$ with D(α) discrete, |D(α)| = α, then $d\left({\left(X_I\right)}_{\kappa }\right)={\alpha }^{<\kappa }$. Corollaries 5.2.32(a)...

Let λ be an infinite cardinal number. The ordinal number δ(λ) is the least ordinal γ such that if ϕ is any sentence of $L_{\lambda ⁺\omega }$, with a unary predicate D and a binary predicate ≺, and ϕ has a model ℳ with $⟨D^{ℳ},{\prec }^{ℳ}⟩$ a well-ordering of type ≥ γ, then ϕ has a model ℳ ’ where $⟨D^{{ℳ}^{\text{'}}},{\prec }^{{ℳ}^{\text{'}}}⟩$ is non-well-ordered. One of the interesting properties of this number is that the Hanf number of $L_{\lambda ⁺\omega }$ is exactly ${\beth }_{\delta \left(\lambda \right)}$. It was proved in [BK71] that if ℵ₀ < λ < κ$areregularcardinalnumbers,thenthereisaforcingextension,preservingcofinalities,suchthatintheextension$2λ = κ$and\delta \left(\lambda \right)<\lambda ⁺⁺.Weimprovethisresultbyprovingthefollowing:Suppose\aleph ₀<\lambda <\theta \le \kappa arecardinalnumberssuchthat$∙ ${\lambda }^{<\lambda }=\lambda$; ∙ cf(θ) ≥ λ⁺ and ${\mu }^{\lambda }<\theta$ whenever μ < θ; ∙ ${\kappa }^{\lambda }=\kappa$. Then there...

We prove that if $X$ is a first countable space with property $\left(DC\left({\omega }_1\right)\right)$ and with a $G_{\delta }$-diagonal then the cardinality of $X$ is at most $𝔠$. We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$.

CONTENTSIntroduction................................................................................................................................................................................5§ 1. Notation and preliminaries.............................................................................................................................................6§ 2. Epimorphisms and monomorphisms.........................................................................................................................7§...

We show that given infinite sets $X,Y$ and a function $f:X\to Y$ which is onto and $n$-to-one for some $n\in \mathbb{N}$, the preimage of any ultrafilter $ℱ$ of $Y$ under $f$ extends to an ultrafilter. We prove that the latter result is, in some sense, the best possible by constructing a permutation model $ℳ$ with a set of atoms $A$ and a finite-to-one onto function $f:A\to \omega$ such that for each free ultrafilter of $\omega$ its preimage under $f$ does not extend to an ultrafilter. In addition, we show that in $ℳ$ there exists an ultrafilter compact...

Let $ℳf_m$ be the category of $m$-dimensional manifolds and local diffeomorphisms and  let $T$ be the tangent functor on $ℳf_m$. Let $𝒱$ be the category of real vector spaces and linear maps and let ${𝒱}_m$ be the category of $m$-dimensional real vector spaces and linear isomorphisms. We characterize all regular covariant functors $F:{𝒱}_m\to 𝒱$ admitting $ℳf_m$-natural operators $\tilde{J}$ transforming classical linear connections $\nabla$ on $m$-dimensional manifolds $M$ into almost complex structures $\tilde{J}\left(\nabla \right)$ on $F\left(T\right)M={\bigcup }_{x\in M}F\left(T_{x}M\right)$.

We study equivalences for category ${𝒪}_p$ of the rational Cherednik algebras ${𝐇}_p$ of type $G_{\ell }\left(n\right)={\left({\mu }_{\ell }\right)}^n⋊{𝔖}_n$: a highest weight equivalence between ${𝒪}_p$ and ${𝒪}_{\sigma \left(p\right)}$ for $\sigma \in {𝔖}_{\ell }$ and an action of ${𝔖}_{\ell }$ on an explicit non-empty Zariski open set of parameters $p$; a derived equivalence between ${𝒪}_p$ and ${𝒪}_{p^{\text{'}}}$ whenever $p$ and $p^{\text{'}}$ have integral difference; a highest weight equivalence between ${𝒪}_p$ and a parabolic category $𝒪$ for the general linear group, under a non-rationality assumption on the parameter $p$. As a consequence, we confirm special cases...

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

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

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