Related papers: Classifying covering types in homotopy type theory
We develop a theory of $\times$-homotopy, fundamental groupoids and covering spaces that apply to non-simple graphs, generalizing existing results for simple graphs. We prove that $\times$-homotopies from finite graphs can be decomposed…
This paper provides a topological method for filling contact structures on the connected sums of $S^2\times S^3$. Examples of nonsymplectomorphic strong fillings of homotopy equivalent contact structures with vanishing first Chern class on…
In this work, a complete homotopic interpretation on the periodic table of topological insulators and superconductors has been derived by establishing the loop sequence of the corresponding classifying spaces. In our approach, each…
We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…
For a complete and cocomplete category $\mathcal{C}$ with a well-behaved class of `projectives' $\bar{\mathcal{P}}$, we construct a model structure on the category $s\mathcal{C}$ of simplicial objects in $\mathcal{C}$ where the weak…
Covering theory is an important tool in representation theory of algebras, however, the results and the proofs are scattered in the literature. We give an introduction to covering theory at a level as elementary as possible.
We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra \pi_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology…
We connect work done by Enochs, Rada and Hill in module approximation theory with work undertaken by several group theorists and algebraic topologists in the context of homotopical localization and cellularization of spaces. This allows one…
The homotopy group $\pi_{n-k} ({\bf C}^{n+1}-V)$ where $V$ is a hypersurface with a singular locus of dimension $k$ and good behavior at infinity is described using generic pencils. This is analogous to the van Kampen procedure for finding…
In this paper, we introduce and study representation homology of topological spaces, which is a natural homological extension of representation varieties of fundamental groups. We give an elementary construction of representation homology…
The classifying space of the embedded cobordism category has been identified in by Galatius, Tillmann, Madsen, and Weiss as the infinite loop space of a certain Thom spectrum. This identifies the set of path components with the classical…
In this paper, we are interested in study subgroups of topologized fundamental groups and their influences on generalized covering maps. More precisely, we find some relationships between generalized covering subgroups and the other famous…
We establish a unified group-theoretic framework bridging the arithmetic homotopy exact sequence of a variety and the Birman exact sequence of a surface. Within this framework, we reinterpret classical arithmetic notions - such as the…
We develop a new connection between Differential Algebra and Geometric Invariant Theory, based on an anti-equivalence of categories between solution algebras associated to a linear differential equation (i.e. differential algebras generated…
We give an overview of the theory of framed correspondences in motivic homotopy theory. Motivic spaces with framed transfers are the analogue in motivic homotopy theory of $E_{\infty}$-spaces in classical homotopy theory, and in particular…
Baues and Bleille showed that, up to oriented homotopy equivalence, a Poincare duality complex of dimension $n \ge 3$ with $(n-2)$-connected universal cover, is classified by its fundamental group, orientation class and the image of its…
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…
This paper has 3 principal goals: (1) to survey what is know about mapping class and Torelli groups of simply connected compact Kaehler manifolds, (2) supplement these results, and (3) present a list of questions and open problems to…
Applying geometric methods of $2$-dimensional cell complex theory, we construct a Galois covering of a bimodule problem satisfying some structure, triangularity and finiteness conditions in order to describe the objects of finite…
Local properties of the fundamental group of a path-connected topological space can pose obstructions to the applicability of covering space theory. A generalized covering map is a generalization of the classical notion of covering map…