Related papers: Fibrations between finite topological spaces
We systematically investigate morphisms and equivalences of toposes from multiple points of view. We establish a dual adjunction between morphisms and comorphisms of sites, introduce the notion of weak morphism of toposes and characterize…
We give a set of foundations for cellular $E_k$-algebras which are especially convenient for applications to homological stability. We provide conceptual and computational tools in this setting, such as filtrations, a homology theory for…
A new method is given for computing generators of the homology groups with integer coefficients for any finite $T_0$-space. An important role in this method is played by irreducible cycles which are defined here and give rise to continuous…
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 give an elementary proof of the Hurewicz theorem relating homotopy and homology groups of a cubical Kan complex. Our approach is based on the notion of a loop space of a cubical set, developed in a companion paper ``Homotopy groups of…
We construct several topological groups with very strong combinatorial properties. In particular, we give simple examples of subgroups of the real line R (thus strictly o-bounded) which have the Hurewicz property but are not sigma-compact,…
Without leaving finite mathematics and using finite topological spaces only, we give a definition of homeomorphisms of finite abstract simplicial complexes or finite graphs. Besides exploring the definition in various contexts, we add some…
Harmonic mappings into Teichmuller spaces appear in the study of manifolds which are fibrations whose fibers are Riemann surfaces. In this article we will study the existence and uniquenesses questions of harmonic mappings into Teichmuller…
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…
We study the relation between the Hurewicz and Menger properties of filters considered topologically as subspaces of P(\omega) with the Cantor set topology.
Using classical results of infinite-dimensional geometry, we show that the isometry group of the Urysohn space, endowed with its usual Polish group topology, is homeomorphic to the separable Hilbert space. The proof is basedon a lemma about…
The starting point of this note is our recent paper with Laza and Sacc\`a on the construction of deformations of O'Grady's $10$-dimensional manifolds as compactifications of intermediate Jacobian fibrations associated to cubic fourfolds.…
This survey/expository article covers a variety of topics related to the "topology at infinity" of noncompact manifolds and complexes. In manifold topology and geometric group theory, the most important noncompact spaces are often…
Let $\mathcal{X}\rightarrow C$ be a dominant morphism between smooth irreducible varieties over a finitely generated field $k$ such that the generic fiber $X$ is smooth, projective and geometrically connected. Assuming that $C$ is a curve…
This article is devoted to the interplay between forcing with fusion and combinatorial covering properties. We discuss known instances of this interplay as well as present a new one, namely that in the Laver model for the consistency of the…
Considering the Teichm\"uller space of a surface equipped with Thurston's Lipschitz metric, we study geodesic segments whose endpoints have bounded combinatorics. We show that these geodesics are cobounded, and that the closest-point…
We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…
We study geometrical aspects of the space of fibrations between two given manifolds M and B, from the point of view of Frechet geometry. As a first result, we show that any connected component of this space is the base space of a…
We discuss a sufficient condition for a space to be filled with an arbitrary finite number of self-similar spaces using a topological concept.
We study the relationship between many natural conditions that one can put on a diffeological vector space: being fine or projective, having enough smooth (or smooth linear) functionals to separate points, having a diffeology determined by…