Related papers: A complete classification of the zero-dimensional …

We give a computational approach to theorem proving in homological algebra. This approach is based on computations in the free abelian category of an additive category $\mathbf{A}$. We show that the free abelian category is amenable to…

All spaces are assumed to be separable and metrizable. Our main result is that the statement "For every space $X$, every closed subset of $X$ has the perfect set property if and only if every analytic subset of $X$ has the perfect set…

For a finite group $G$, we define the $G$-cobordism category in dimension two. We show there is a one-to-one correspondence between the connected components of its classifying space and the abelianization of $G$. Also, we find an…

W. Hurewicz proved that analytic Menger sets of reals are $\sigma$-compact and that co-analytic completely Baire sets of reals are completely metrizable. It is natural to try to generalize these theorems to projective sets. This has…

Convergence spaces are a generalization of topological spaces. The category of convergence spaces is well-suited for Algebraic Topology, one of the reasons is the existence of exponential objects provided by continuous convergence. In this…

This paper examines $\mathbb{Z}$-graded manifolds as semiformal homogeneity structures, comparing two polynomial filtrations from their local models. In finite dimensions, these are componentwise equivalent, yielding isomorphic graded…

We show that if $\mathcal{F}$ is any "well-behaved" subset of the Borel functions and we assume the Axiom of Determinacy then the hierarchy of degrees on $\pow(\mathbb{R})$ induced by $\mathcal{F}$ turns out to look like the Wadge hierarchy…

We prove a suite of results classifying holomorphic maps between configuration spaces of Riemann surfaces; we consider both the ordered and unordered setting as well as the cases of genus zero, one, and at least two. We give a complete…

We analyze the embedding properties between Besov spaces, defined on the total space $\mathbb R^n$ and on bounded domains. We give a complete classification on whether or not these embedding maps satisfy certain weak compactness…

The modern theory of homogeneous structures begins with the work of Roland Fra\"iss\'e. The theory developed in the last seventy years is placed in the border area between combinatorics, model theory, algebra, and analysis. We turn our…

Given a complete nonsingular algebraic variety $X$ and a divisor $D$ with normal crossings, we say that $X$ is log homogeneous with boundary $D$ if the logarithmic tangent bundle $T_X(- \log D)$ is generated by its global sections. We then…

Here we classify all topological spaces where all bijections to itself are homeomorphisms. As a consequence, we also classify all topological spaces where all maps to itself are continuous. Analogously, we classify all measurable spaces…

We prove that for any homogeneous structure $\mathbf{K}$ in a language with finitely many relation symbols of arity at most two satisfying SDAP$^+$ (or LSDAP$^+$), there are spaces of subcopies of $\mathbf{K}$, forming subspaces of the…

We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…

Complex and real, vacuum spaces with both self-dual and anti-self-dual parts of the Weyl tensor being of the type [N] are considered. Such spaces are classified according to two criteria. The first one takes into account the properties of…

We generalize the Lebesgue-Hausdorff Theorem on the characterization of Baire-one functions for $\sigma$-strongly functionally discrete mappings defined on arbitrary topological spaces

For each subset of Baire space, we define, in away similar to a common proof of the Cantor-Bendixson Theorem, a sequence of decreasing subsets S_alpha of N^N, indexed by ordinals. We use this to obtain two new characterizations of the…

We present a classification, up to isomorphisms, of all the homogeneous spaces of the Lorentz group with dimension lower than six. At the same time, we classify, up to conjugation, all the non-discrete closed subgroup of the Lorentz group…

A number of compactifications familiar in complex-analytic geometry, in particular, the Baily-Borel compactification and its toroidal variants, as well as the Deligne-Mumford compactifications, can be covered by open subsets whose nonempty…

In this paper, we study a question of Colliot-Th\'el\`ene and Iyer concerning the existence of rational sections in families of homogeneous spaces over an abelian variety, after base change by a suitable \'etale isogeny of the abelian…