Related papers: Recognition principle for generalized Eilenberg-Ma…

We introduce an abstract definition of a Hamming space that generalizes standard Hamming spaces $( \mathbb{Z}/ 2 \mathbb{Z})^n $. We classify countable locally standard Hamming spaces and show that each of them can be realized as the…

One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was…

The primary goal of this paper is to find a homotopy theoretic approximation to moduli spaces of holomorphic maps Riemann surfaces into complex projective space. There is a similar treatment of a partial compactification of these moduli…

An appropriate framework is put forward for the construction of $\lambda$-models with $\infty$-groupoid structure, which we call \textit{homotopic $\lambda$-models}, through the use of an $\infty$-category with cartesian closure and enough…

Let $\Gamma$ denote a central extension of the form $1\to \mathbb{Z}^r\to\Gamma\to \mathbb{Z}^n\to 1$. In this paper we describe the topology of the spaces of homomorphisms $\text{Hom}(\Gamma, U(m))$ and the associated moduli spaces…

Banagl's method of intersection spaces allows to modify certain types of stratified pseudomanifolds near the singular set in such a way that the rational Betti numbers of the modified spaces satisfy generalized Poincar\'{e} duality in…

This text develops a homotopy theory of 2-categories analogous to Grothendieck's homotopy theory of categories developed in "Pursuing Stacks". We define the notion of "basic localizer of 2-Cat", 2-categorical generalization of…

The concept of big homotopy theory was introduced by J. Cannon and G. Conner using big intervals of arbitrarily large cardinality to detect big loops. We find, for each space, a canonical cardinal that is sufficient to detect all big loops…

Motivated by families of formal moduli problems, in this note we generalize the notion of L-infinity space by allowing sheaves of L-infinity algebras over any (reasonable) nilpotent dg manifold. We discuss various examples including those…

In this paper, we describe a method for obtaining the nonabelian Seiberg-Witten map for any gauge group and to any order in theta. The equations defining the Seiberg-Witten map are expressed using a coboundary operator, so that they can be…

We study the homotopy types of spaces of algebraic (rational) maps from real projective spaces into complex projective spaces. In a previous paper we have shown that the inclusion of the first space into the second one is a homotopy…

Using the language of homotopy type theory (HoTT), we 1) prove a synthetic version of the classification theorem for covering spaces, and 2) explore the existence of canonical change-of-basepoint isomorphisms between homotopy groups. There…

In this paper we develop analysis of the monopole maps over the universal covering space of a compact four manifold. We induce a property on local properness of the covering monopole map under the condition of closeness of the AHS complex.…

We prove a version of Quillen's theorems for a map of semi-Segal spaces. We construct a bi-semi-simplicial resolution similar to the one associated to a functor of non-unital topological categories. As a consequence we can represent the…

This paper describes a consequence of the more general results of a previous paper which is of independent interest. We construct a functor from the category of dendroidal sets, which models the theory of infinity-operads, into the category…

We use a classical result of McCord and reduction methods of finite spaces to prove a generalization of Thomason's theorem on homotopy colimits over posets. In particular this allows us to characterize the homotopy colimits of diagrams of…

For some class of mappings, which are generalization of space quasiisometries, an upper estimate for a measure of image of a ball is obtained. As consequence, it is obtained one analog of Schwartz lemma for mappings mentioned above. Results…

We prove that the generalized symplectic capacities recognize objects in symplectic categories whose objects are of the form $(M, \omega)$, such that $M$ is a compact and 1-connected manifold, $\omega$ is an exact symplectic form on $M$,…

Stable homotopy theory is governed by the principle that after inverting loop spaces, homotopy types become the representing objects for homology theories. We show that this principle extends to higher category theory: inverting…

Motivated by the observation that all known exactly solvable shape invariant central potentials are inter-related via point canonical transformations, we develop an algebraic framework to show that a similar mapping procedure is also exist…