Related papers: Grey subsets of Polish spaces
The concept of topological gyrogroups is a generalization of a topological group. In this work, ones prove that a topological gyrogroup G is metrizable iff G has an {\omega}{\omega}-base and G is Frechet-Urysohn. Moreover, in topological…
A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. It is shown that each compact subset of a topological gyrogroup with an…
We establish trace theorems for function spaces defined on general Ahlfors regular metric spaces $Z$. The results cover the Triebel-Lizorkin spaces and the Besov spaces for smoothness indices $s<1,$ as well as the first order…
We establish vanishing results for limits of characters in various discrete groups, most notably irreducible lattices in higher rank semisimple Lie groups. As an application, we show that any sequence of finite-dimensional representations…
This paper studies Moore's measurable cohomology theory for locally compact groups and Polish modules. An elementary dimension-shifting argument is used to show that all classes in that theory have representatives with considerable extra…
In this paper some axiomatic generalization (function of open subsets) of the relative Lyusternik-Schnirelmann category is considered, incorporating the sectional category and the Schwarz genus as well. For this function and a given…
A display of a topological group G on a Banach space X is a topological isomorphism of G with the isometry group Isom(X,||.||) for some equivalent norm ||.|| on X, where the latter group is equipped with the strong operator topology.…
We introduce topological definitions of expansivity, shadowing, and chain recurrence for homeomorphisms. They generalize the usual definitions for metric spaces. We prove various theorems about topologically Anosov homeomorphisms (maps that…
In this paper, we provide a general framework for counting geometric structures in pseudo-random graphs. As applications, our theorems recover and improve several results on the finite field analog of questions originally raised in the…
We generalize the notion of a small sheaf of sets over a topological space or manifold to define the notion of a small stack of groupoids over an \'etale topological or differentiable stack. We then provide a construction analogous to the…
We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (resp. connected and locally connected, atomic, compact, presheaf) topos, and exploit the existence of multiple…
In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…
We prove that many completeness properties coincide in metric spaces, precompact groups and dense subgroups of products of separable metric groups. We apply these results to function spaces C_p(X,G) of G-valued continuous functions on a…
Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs…
We introduce and study the notion of functorial Borel complexity for Polish groupoids. Such a notion aims at measuring the complexity of classifying the objects of a category in a constructive and functorial way. In the particular case of…
We start with a small paradigm shift about group representations, namely the observation that restriction to a subgroup can be understood as an extension-of-scalars. We deduce that, given a group $G$, the derived and the stable categories…
We provide a Minkowski sum decomposition of marked chain-order polytopes into building blocks associated to elementary markings and thus give an explicit minimal set of generators of an associated semi-group algebra. We proceed by…
We provide a framework for studying randomly coloured point sets in a locally compact, second-countable space on which a metrisable unimodular group acts continuously and properly. We first construct and describe an appropriate dynamical…
In this expository paper we describe an unifying approach for many known entropies in Mathematics. First we recall the notion of semigroup entropy h_S in the category S of normed semigroups and contractive homomorphisms, recalling also its…
This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the site opposite to the category of finitely presented algebras…