Related papers: On effective compactness and sigma-compactness

We generalize the following result of White: Suppose $N$ is a compact, strictly convex domain in $\RR^3$ with smooth boundary. Let $\Sigma$ be a compact 2-manifold with boundary. Then a generic smooth curve $\Gamma\cong \partial\Sigma$ in…

The four-dimensional N=1 effective action of F-theory compactified on a Calabi-Yau fourfold is studied by lifting a three-dimensional M-theory compactification. The lift is performed by using T-duality realized via a Legendre transform on…

We introduce a new topological generalization of the $\sigma$-projective hierarchy, not limited to Polish spaces. Earlier attempts have replaced $^{\omega}\omega$ by $^{\kappa}\kappa$, for $\kappa$ regular uncountable, or replaced countable…

We provide new results on combinatorial characterizations of covering properties in end spaces and ray spaces. In particular, we characterize the Lindel\"of degree, the extent, the Rothberger property, $\sigma$-compactness and the Menger…

We prove that when Hodge theory survives on non-compact symplectic manifolds, a compact symplectic Lie group action having fixed points is necessarily Hamiltonian, provided the associated almost complex structure preserves the space of…

Let (M,g) be a compact Riemannian manifold with boundary. This paper is concerned with the set of scalar-flat metrics which are in the conformal class of g and have the boundary as a constant mean curvature hypersurface. We prove that this…

Suppose A is a finite set equipped with a probability measure P and let M be a ``mass'' function on A. We give a probabilistic characterization of the most efficient way in which A^n can be almost-covered using spheres of a fixed radius. An…

We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separated algebraic spaces, generalizing earlier results of Raoult. Along the way we also prove (and use) absolute noetherian…

First, we define some concepts similar to the local compactoidity or the c-compactness, and study relationships between these concepts and the original ones. As a result, we find a characterization of the local compactoidity when its…

We introduce a $\sigma$-ideal on $\omega_1 \times \omega_1$ and a filter on the collection of graphs of strictly decreasing partial functions on $\omega_1$ taking values in $\omega_1$. We use them to prove that a certain space is a…

For an upper semi-continuous set-valued mapping from one topological space to another and for a lower semi-continuous function defined on the product of these spaces, Berge's theorem states lower semi-continuity of the minimum of this…

In this short note, we establish a quantitative description of the genericity of transversality of $C^1$-submanifolds in $\mathbb{R}^n$: Let $\Sigma \subset \mathbb{R}^n$ be a $d$-dimensional $C^1$-embedded submanifold where $n \geq d+1$.…

The class of subsets of locally convex spaces called $\mu$-compact sets is considered. This class contains all compact sets as well as several noncompact sets widely used in applications. It is shown that many results well known for compact…

We provide a machinery for transferring some properties of metrizable $ANR$-spaces to metrizable $LC^n$-spaces. As a result, we show that for complete metrizable spaces the properties $ALC^n$, $LC^n$ and $WLC^n$ coincide to each other. We…

A generalized positive energy theorem for spaces with asymptotic SUSY compactification involving non-symmetric data is proved. This work is motivated by the work of Dai [D1][D2], Hertog-Horowitz-Maeda [HHM], and Zhang [Z].

The $H$-space, denoted as $(\mathbb{R}, \tau_{A})$, has $\mathbb{R}$ as its point set and a basis consisting of usual open interval neighborhood at points of $A$ while taking Sorgenfrey neighborhoods at points of $\mathbb{R}$-$A$. In this…

In a recent paper by D. Shakhmatov and J. Sp\v{e}v\'ak [Group-valued continuous functions with the topology of pointwise convergence, Topology and its Applications (2009), doi:10.1016/j.topol.2009.06.022] the concept of a ${\rm TAP}$ group…

We prove that if $E$ is a compact subset of the unit disk ${\mathbb D}$ in the complex plane, if $E$ contains a sequence of distinct points $a_n\not= 0$ for $n\geq 1$ such that $\lim_{n\to\infty} a_n=0$ and for all $n$ we have $ |a_{n+1}|…

Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x $ at $A$ is not defined is $\Sigma^{0}_{3}$-complete; for some compact $K$ the set of points…

By classical results of Hurewicz, Kechris and Saint-Raymond, an analytic subset of a Polish space $X$ is covered by a $K_\sigma$ subset of $X$ if and only if it does not contain a closed-in-$X$ subset homeomorphic to the Baire space…