Related papers: On stable Baire classes

We prove that for any monotone class of finite relational structures, the first-order theory of the class is NIP in the sense of stability theory if, and only if, the collection of Gaifman graphs of structures in this class is nowhere…

For topological spaces $X$ and $Y$, a (not necessarily continuous) function $f:X \rightarrow Y$ naturally induces a functor from the category of closed subsets of $X$ (with morphisms given by inclusions) to the category of closed subsets of…

We study the quasi-order of topological embeddability on definable functions between Polish zero-dimensional spaces. We first study the descriptive complexity of this quasi-order restricted to the space of continuous functions. Our main…

We consider random perturbations of discrete-time dynamical systems. We give sufficient conditions for the stochastic stability of certain classes of maps, in a strong sense. This improves the main result in J. F. Alves, V. Araujo, Random…

A topological group $G$ is said to have a local $\omega^\omega$-base if the neighbourhood system at identity admits a monotone cofinal map from the directed set $\omega^\omega$. In particular, every metrizable group is such, but the class…

We discuss how stability is related to the D-topology of mapping spaces, equipped with the functional diffeology. Indeed, we show that stable classes of mapping spaces are D-open. After a reformulation of the classical stability theorem of…

A function $f:X\to Y$ between topological spaces is called {\em compact-preserving} if the image $f(K)$ of each compact subset $K\subset X$ is compact. We prove that a function $f:X\to Y$ defined on a strong Frechet space $X$ is…

The work is motivated by the papers [Ba1], [Ba2], [Ba7], [Ba11], [Be] and [Be-Tu]. In particular, the strong homology groups of continuous maps were defined and studied in [Be] and [Be-Tu]. To show that given groups are homology type…

We prove some consistency results concerning the Moving Off Property for locally compact spaces and thus the question of whether their function spaces are Baire.

We study certain topological problems that are inspired by applications to autonomous robot manipulation. Consider a continuous map $f\colon X\to Y$, where $f$ can be a kinematic map from the configuration space $X$ to the working space $Y$…

Let $f: X \to Y$ be a regular covering of a surface $Y$ of finite type with nonempty boundary, with finitely-generated (possibly infinite) deck group $G$. We give necessary and sufficient conditions for an integral homology class on $X$ to…

Let $(X,c_X)$ be a convex projective surface equipped with a real structure. The space of stable maps $\bar{\mathcal{M}}_{0,k}(X,d)$ carries different real structures induced by $c_X$ and any order two element $\tau$ of permutation group…

In a previous paper, arXiv:1206.5498, we introduced a new homological invariant $\e$ for the faithful action of a finite group G on an algebraic curve. We show here that the moduli space of curves admitting a faithful action of a finite…

The main result is the following. Let $f \colon X \rightarrow Y$ be a continuous mapping of a completely Baire space $X$ onto a hereditary weakly Preiss-Simon regular space $Y$ such that the image of every open subset of $X$ is a resolvable…

In this article we study two "strong" topologies for spaces of smooth functions from a finite-dimensional manifold to a (possibly infinite-dimensional) manifold modeled on a locally convex space. Namely, we construct Whitney type topologies…

We construct Abel maps for a stable curve $X$. Namely, for each one-parameter deformation of $X$ with regular total space, and every integer $d>0$, we construct by specialization a map $\alpha^d_X$ from the smooth locus of $X^d$ to the…

Consider a finite morphism f:X -> Y of smooth projective varieties over a finite field k. Suppose X is the vanishing locus in projective N-space of at most r forms of degree at most d. We show there is a constant C, depending only on N, r,…

Let $f : X \rightarrow Y$ be a generically smooth nonconstant morphism between irreducible projective curves, defined over an algebraically closed field, which is \'etale on an open subset of $Y$ that contains both the singular locus of $Y$…

Let X_1 and X_2 be mixing connected algebraic dynamical systems with the Descending Chain Condition. We show that every equivariant continuous map X_1 to X_2 is affine (that is, X_2 is topologically rigid) if and only if the system X_2 has…

A function from Baire space to the natural numbers is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working…