Related papers: Every zero-dimensional homogeneous space is strong…
We shall prove that the Hilbert cube cannot be separated by a weakly infinite dimensional subset. As a corollary we obtain that the complement of a weakly infinite dimensional subset of the space of complete non negatively curved metrics is…
Let L be the zero set of a nonconstant monic polynomial with complex coefficients. In the context of constructive mathematics without countable choice, it may not be possible to construct an element of L. In this paper we introduce a notion…
Consider the configuration spaces of manifolds. An influential theorem of McDuff, Segal and Church shows that the (co)homology of the unordered configuration space is independent of number of points in a range of degree called the stable…
This paper presents a study of separation axioms and sobriety of bitopological spaces from the point of view of fuzzy topology via identifying bitopological spaces with topological spaces valued in the Boolean algebra of four elements. A…
The distinction between conditional, unconditional, and absolute convergence in infinite-dimensional spaces has fundamental implications for computational algorithms. While these concepts coincide in finite dimensions, the Dvoretzky-Rogers…
We complete our recent classification of compact inner symmetric spaces with weakly complex tangent bundle by filling up a case which was left open, and extend this classification to the larger category of compact homogeneous spaces with…
For every metric space $X$ we introduce two cardinal characteristics $\mathrm{cov}^\flat(X)$ and $\mathrm{cov}^\sharp(X)$ describing the capacity of balls in $X$. We prove that these cardinal characteristics are invariant under coarse…
An $\omega_1$-compact space is a space in which every closed discrete subspace is countable. We give various general conditions under which a locally compact, $\omega_1$-compact space is $\sigma$-countably compact, i.e., the union of…
We prove that every finitely-generated group of homeomorphisms of the 2-dimensional sphere all of whose elements have a finite order which is a power of 2 and so that there exists a uniform bound for the order of group elements is finite.…
We prove vanishing results for the coherent cohomology of the good reduction modulo $p$ of the Siegel variety with coefficients in some automorphic bundles. We show that for an automorphic bundle with highest weight $\lambda$ near the walls…
Jurij Vol\v{c}i\v{c} conjectured that a noncommutative polynomial $g$ belongs to the unital $\mathbb{K}$-algebra generated by finitely many noncommutative polynomials if and only if, for matrices of every size, every joint invariant…
Our main result states that the hyperspace of convex compact subsets of a compact convex subset $X$ in a locally convex space is an absolute retract if and only if $X$ is an absolute retract of weight $\le\omega_1$. It is also proved that…
It is proved that the relation of isomorphism between separable Banach spaces is a complete analytic equivalence relation, i.e., that any analytic equivalence relation Borel reduces to it. Thus, separable Banach spaces up to isomorphism…
Let G be a reductive group over an algebraically closed field of characteristic p>0. We study properties of embeddings of spherical homogeneous G-spaces. We look at Frobenius splittings, canonical or by a (p-1)-th power, compatible with…
It is shown that the countably infinite dimensional pointed vector space (the vector space equipped with a constant) over a finite field has infinitely many first order definable reducts. This implies that the countable homogeneous…
Monotone determined spaces are natural topological extensions of dcpo. Its main purpose is to build an extended framework for domain theory. In this paper, we study the one-step closure and ideal convergence on monotone determined space.…
We prove a Paley-Wiener Theorem for a class of symmetric spaces of the compact type, in which all root multiplicities are even. This theorem characterizes functions of small support in terms of holomorphic extendability and exponential type…
For positive integers $k < n$ such that $k$ divides $n$, let $(n)^k_{\hom}$ be the set of homogeneous $k$-partitions of $\{1, \dots, n\}$, that is, the set of partitions of $\{1, \dots, n\}$ into $k$ classes of the same cardinality. In the…
A topological group $G$ is extremely amenable if every continuous action of $G$ on a compact space has a fixed point. Using the concentration of measure techniques developed by Gromov and Milman, we prove that the group of automorphisms of…
Here we classify all topological spaces where all bijections to itself are homeomorphisms. As a consequence, we also classify all topological spaces where all maps to itself are continuous. Analogously, we classify all measurable spaces…