Related papers: Numerable open covers and representability of topo…
Bakker, Brunebarbe, Tsimerman showed in \cite{bakker2022minimal} that the definable structure sheaf $\mathcal{O}_{\mathbb{C}^n}$ of $\mathbb{C}^n$ is a coherent $\mathcal{O}_{\mathbb{C}^n}$-module as a sheaf on the site…
We prove a representability theorem for moduli functors of framed torsion-free sheaves on nonsingular complex projective surfaces, using formal geometry along a curve in the surface. This has as a consequence that a certain restriction…
We show that the moduli problem of deformations of nilpotent displays by quasi-isogenies is representable, without using $p$-divisible groups. The main ingredients are Artin's criterion and the theory of truncated displays. This gives in…
We prove a representation stability result for the sequence of spaces $\overline M_{g, n}^A$ of pointed admissible $A$-covers of stable $n$-pointed genus-$g$ curves, for an abelian group $A$. For fixed genus $g$ and homology degree $i$, we…
Lindel\"of spaces are studied in any basic Topology course. However, there are other interesting covering properties with similar behaviour, such as almost Lindel\"of, weakly Lindel\"of, and quasi-Lindel\"of, that have been considered in…
We have initiated the study of topology of the space of coverings on grid domains. The space has the following constraint: while all the covering agents can move freely (we allow overlapping) on the domain, their union must cover the whole…
Effective homology techniques allow us to compute homology groups of a wide family of topological spaces. By the Whitehead tower method, this can also be used to compute higher homotopy groups. However, some of these techniques (in…
The classical Beauville-Bogomolov Decomposition Theorem asserts that any compact K\"ahler manifold with numerically trivial canonical bundle admits an \'etale cover that decomposes into a product of a torus, and irreducible,…
The mapping class group of an orientable surface, which records its symmetries up to isotopy, plays a central role in low-dimensional topology. This chapter explores the foundational problem of determining minimal generating sets for these…
Given two maps between smooth manifolds, the obstruction to removing their coincidences (via homotopies) is measured by minimum numbers. In order to determine them we introduce and study an infinite hierarchy of Nielsen numbers N_i, i = 0,…
We compute the twisted cohomology of the mapping class group with level structures, with coefficients in the $r$-tensor powers of the Prym representations for any positive integer $r$. When $r\ge 2$, we show that the cohomology exhibits…
The purpose of this paper is to develop a theory of $(\infty, 1)$-stacks, in the sense of Hirschowitz-Simpson's `Descent Pour Les n-Champs', using the language of quasi-category theory and the author's local Joyal model structure. The main…
In [BaSc2], the author and Tomer Schlank introduced a much weaker homotopical structure than a model category, which we called a "weak cofibration category". We further showed that a small weak cofibration category induces in a natural way…
Earlier an arbitrary poset $P$ was proved to be isomorphic to the collection of subsets of a space $M$ with two closures which are closed in the first closure and open in the other. As a space $M$ for this representation an algebraic dual…
We prove that over an algebraically closed field there is a representation embedding from the category of classical Kronecker-modules without the simple injective into the category of finite-dimensional modules over any…
We find boundaries of Borel-Serre compactifications of locally symmetric spaces, for which any filling is incompressible. We prove this result by showing that these boundaries have small singular models and using these models to obstruct…
For a triangulated category with products we develop a method for constructing a nice set of cogenerators, allowing us to prove a formal criterion in order to satisfy Brown representability for covariant functors. We apply this criterion…
We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…
The packing problem and the covering problem are two of the most general questions in graph theory. The Erd\H{o}s-P\'{o}sa property characterizes the cases when the optimal solutions of these two problems are bounded by functions of each…
We prove that each metrizable space (of cardinality less or equal to continuum) has a (first countable) uniform Eberlein compactification and each scattered metrizable space has a scattered hereditarily paracompact compactification. Each…