Related papers: Preserving affine Baire classes by perfect affine …
A (flat) affine $3$-manifold is a $3$-manifold with an atlas of charts to an affine space $\mathbb{R}^3$ with transition maps in the affine transformation group $\mathrm{Aff}(\mathbb{R}^3)$. We will show that a connected closed affine…
Any compact surface supports a continuous action of the orientation preserving affine group of the real line which is fixed point free (Lima and Plante). It is generally admitted that this action can be taken smooth although it is not easy…
Substructural type systems, such as affine (and linear) type systems, are type systems which impose restrictions on copying (and discarding) of variables, and they have found many applications in computer science, including quantum…
Let X and Y be Banach spaces and F a subset of B_{Y^*}. Endow Y with the topology \tau_F of pointwise convergence on F. Let T: X^* \to Y be a bounded linear operator which is (w^*, \tau_F) continuous. Assume that every vector in the range…
The following selection theorem is established:\\ Let $X$ be a compactum possessing a binary normal subbase $\mathcal S$ for its closed subsets. Then every set-valued $\mathcal S$-continuous map $\Phi\colon Z\to X$ with closed $\mathcal…
We prove that for any $\alpha\in[0,\omega_1)$ there exists a strongly separately continuous function $f:\ell_\infty\to [0,1]$ such that $f$ belongs to the $(\alpha+1)$'th /$(\alpha+2)$'th/ Baire class and does not belong to the $\alpha$'th…
Suppose a map $\phi$ on the set of positive definite matrices satisfies $\det(A+B)=\det(\phi(A)+\phi(B))$. Then we have $${\rm tr}(AB^{-1}) = {\rm tr}(\phi(A){\phi(B)}^{-1}).$$ Through this viewpoint, we show that $\phi$ is of the form…
We investigate strongly separately continuous functions on a product of topological spaces and prove that if $X$ is a countable product of real lines, then there exists a strongly separately continuous function $f:X\to\mathbb R$ which is…
We prove that entire conformal curves $\mathbb{R}^n \rightarrow \mathbb{R}^m$ fall into two classes: either the curve is affine or the average energy in a ball is strictly increasing for large radii and diverges to infinity. This rigidity…
We consider fibrations by affine lines on smooth affine surfaces obtained as complements of smooth rational curves $B$ in smooth projective surfaces $X$ defined over an algebraically closed field of characteristic zero. We observe that…
A map $f:X\to Y$ between topological spaces is skeletal if the preimage $f^{-1}(A)$ of each nowhere dense subset $A\subset Y$ is nowhere dense in $X$. We prove that a normal functor $F:Comp\to Comp$ is skeletal (which means that $F$…
Given an affine variety $X$, a morphism $\phi:X\to X$, a point $\alpha\in X$, and a Zariski closed subset $V$ of $X$, we show that the forward $\phi$-orbit of $\alpha$ meets $V$ in at most finitely many infinite arithmetic progressions, and…
A classical theorem of Hurewicz characterizes spaces with the Hurewicz covering property as those having bounded continuous images in the Baire space. We give a similar characterization for spaces X which have the Hurewicz property…
By Lindstr\"{o}m's theorems, the expressive power of first order logic (and similarly continuous logic) is not strengthened without losing some interesting property. Weakening it, is however less harmless and has been payed attention by…
Let $A$, $B$ be algebras and $a\in A$, $b\in B$ a fixed pair of elements. We say that a map $\varphi:A\to B$ preserves products equal to $a$ and $b$ if for all $a_1,a_2\in A$ the equality $a_1a_2=a$ implies $\varphi(a_1)\varphi(a_2)=b$. In…
In this paper we formulate order preserving quotient lifting property and the compact lifting property. In the case of affine continuous functions on a Choquet simplex, we show the compact quotient lifting property for the space of affine…
Any map of schemes $X\to Y$ defines an equivalence relation $R=X\times_Y X\to X\times X$, the relation of "being in the same fiber". We have shown elsewhere that not every equivalence relation has this form, even if it is assumed to be…
Various problems on integers lead to the class of congruence preserving functions on rings, i.e. functions verifying $a-b$ divides $f(a)-f(b)$ for all $a,b$. We characterized these classes of functions in terms of sums of rational…
A locally compact stable plane of positive topological dimension will be called semiaffine if for every line $L$ and every point $p$ not in $L$ there is at most one line passing through $p$ and disjoint from $L$. We show that then the plane…
A. Ya. Zaslavskii's results on the existence of a linear (affine) selection for a linear (affine) or superlinear (convex) map $\Phi : K \to 2^Y$ defined on a convex cone (convex set) $K$ having the interpolation property are extended. We…