Related papers: A non-separable Christensen's theorem and set tri-…

For separable metrizable spaces $X,Y$ and a metrizable topological group $Z$ by $S(X\times Y,Z)$ we denote the space of all separately continuous functions $f:X\times Y\to Z$ endowed with the topology of layer-wise uniform convergence,…

We show that the space of continuous functions over a compact space X admits an equivalent pointwise-lowersemicontinuous locally uniformly rotund norm whenever X admits a fully closed map onto a compact Y such that C(Y) and the spaces of…

We prove a commutative Gelfand--Naimark type theorem, by showing that the set $C_s(X)$ of continuous bounded (real or complex valued) functions with separable support on a locally separable metrizable space $X$ (provided with the supremum…

Let $X$ be a quasi-compact separated scheme over a base field. Keller proved a theorem stating that the cyclic homology of $X$ is canonically isomorphic to the cyclic homology of the dg category ${\sf Perf}(X)$ consisting of perfect…

We solve the following three questions concerning surjective linear isometries between spaces of Lipschitz functions $\mathrm{Lip}(X,E)$ and $\mathrm{Lip}(Y,F)$, for strictly convex normed spaces $E$ and $F$ and metric spaces $X$ and $Y$:…

An action of a topological semigroup S on X is compactifiable if this action is a restriction of a jointly continuous action of S on a Hausdorff compact space Y. A topological semigroup S is compactifiable if the left action of S on itself…

Let $G$ be a locally compact group. For every $G$-flow $X$, one can consider the stabilizer map $x \mapsto G_x$, from $X$ to the space $\mathrm{Sub}(G)$ of closed subgroups of $G$. This map is not continuous in general. We prove that if one…

Let $k$ be an imperfect field. Let $X$ be a regular variety over $k$ and set $Y$ to be the normalization of $(X \times_k k^{1/p^{\infty}})_{{\rm red}}$. In this paper, we show that $K_Y+C=f^*K_X$ for some effective divisor $C$ on $Y$. We…

We construct a nonseparable Banach space $\mathcal X$ (actually, of density continuum) such that any uncountable subset $\mathcal Y$ of the unit sphere of $\mathcal X$ contains uncountably many points distant by less than $1$ (in fact, by…

One partially ordered set, $Q$, is a Tukey quotient of another, $P$, denoted $P \geq_T Q$, if there is a map $\phi : P \to Q$ carrying cofinal sets of $P$ to cofinal sets of $Q$. Let $X$ be a space and denote by $\mathcal{K}(X)$ the set of…

In this work, the assembly map in L-theory for the family of finite subgroups is proven to be a split injection for a class of groups. Groups in this class, including virtually polycyclic groups, have universal spaces that satisfy certain…

For every nonempty compact convex subset $K$ of a normed linear space a (unique) point $c_K \in K$, called the generalized Chebyshev center, is distinguished. It is shown that $c_K$ is a common fixed point for the isometry group of the…

We give a bijective correspondence between the number of nilpotent matrices over a Boolean semiring and the number of directed acyclic graphs on ordered vertices. We then enumerate pairs of maps between two finite sets whose composites are…

Let $\cal R$ be an ordered vector space over an ordered division ring. We prove that every definable set $X$ is a finite union of relatively open definable subsets which are definably simply-connected, settling a conjecture from [5]. The…

Let $X$ be a topological space and $f:X\to X$ a bijection. Let ${\mathcal C}(X,f)$ be a set of integers such that an integer $n$ is an element of ${\mathcal C}(X,f)$ if and only if the bijection $f^n:X\to X$ is continuous. A subset $S$ of…

We prove that if $X$ is a paracompact space, $Y$ is a metric space and $f:X\to Y$ is a functionally fragmented map, then (i) $f$ is $\sigma$-discrete and functionally $F_\sigma$-measurable; (ii) $f$ is a Baire-one function, if $Y$ is weak…

The general theme of this note is illustrated by the following theorem: Theorem 1. Suppose $K$ is a compact set in the complex plane and 0 belongs to the boundary $\partial K$. Let ${\cal A}(K)$ denote the space of all functions $f$ on $K$…

We extend the definition of Bockstein basis $\sigma(G)$ to nilpotent groups $G$. A metrizable space $X$ is called a {\it Bockstein space} if $\dim_G(X) = \sup\{\dim_H(X) | H\in \sigma(G)\}$ for all Abelian groups $G$. Bockstein First…

Let $\mathcal{I}$ be an ideal on $\mathbb{N}$. A mapping $f:X\to Y$ is called an $\mathcal{I}$-covering mapping provided a sequence $\{y_{n}\}_{n\in\mathbb N}$ is $\mathcal{I}$-converging to a point $y$ in $Y$, there is a sequence…

We prove that the coarse assembly maps for proper metric spaces which are non-positively curved in the sense of Busemann are isomorphisms, where we do not assume that the spaces are with bounded coarse geometry. Also it is shown that we can…