Related papers: Phantom maps and rational homotopy
This is the second of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we develop a basic machinery for studying homotopy classes of such maps. It contains two parts: (1) the…
In this paper, we present a constructive and proof-relevant development of graph theory, including the notion of maps, their faces, and maps of graphs embedded in the sphere, in homotopy type theory. This allows us to provide an elementary…
For real application and theoretical investigation of ordinary hypergraphs and non-ordinary hypergraphs, researchers need to establish standard rules and feasible operating methods. We propose a visualization tool for investigating…
Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…
Isotopic pairs and their representations are considered in a general framework of the vector superalgebra. Numerous examples of finite-dimensional and infinite-dimensional isotopic pairs are discussed. Several types of their representations…
We work over an o-minimal expansion of a real closed field. The o-minimal homotopy groups of a definable set are defined naturally using definable continuous maps. We prove that any two semialgebraic maps which are definably homotopic are…
For every strong coarse homology theory we construct a coarse assembly map as a natural transformation between coarse homology theories. We provide various conditions implying that this assembly map is an equivalence. These results…
Let P be a principal bundle with semisimple compact simply connected structure group G over a compact simply connected four-manifold M. In this note we give explicit formulas for the rational homotopy groups and cohomology algebra of the…
We give explicit formulas for the ranks of the third and fourth homotopy groups of all oriented closed simply-connected four manifolds in terms of their second Betti numbers. We also show that the rational homotopy type of these manifolds…
Let $M$ be a subset of vector space or projective space. The authors define the \emph{generalized configuration space} of $M$ which is formed by $n$-tuples of elements of $M$ where any $k$ elements of each $n$-tuple are linearly…
As Goresky and MacPherson intersection homology is not the homology of a space, there is no preferred candidate for intersection homotopy groups. Here, they are defined as the homotopy groups of a simplicial set which P. Gajer associates to…
We propose a new notion called \emph{infinity-harmonic maps}between Riemannain manifolds. These are natural generalizations of the well known notion of infinity harmonic functions and are also the limiting case of $p$% -harmonic maps as…
In this paper we will define an invariant $mc_{\infty}(f)$ of maps $f:X \rightarrow Y_{\mathbb{Q}}$ between a finite CW-complex and a rational space $Y_{\mathbb{Q}}$. We prove that this invariant is complete, i.e.…
We introduce several homotopy equivalence relations for proper holomorphic mappings between balls. We provide examples showing that the degree of a rational proper mapping between balls (in positive codimension) is not a homotopy invariant.…
Any rational map between affine spaces, projective spaces or toric varieties can be described in terms of their affine, homogeneous, or Cox coordinates. We show an analogous statement in the setting of Mori Dream Spaces. More precisely (in…
In this paper we study the rational homotopy of the space of immersions, $Imm\left(M,N\right)$, of a manifold $M$ of dimension $m\geq 0$ into a manifold $N$ of dimension $m+k$, with $k\geq 2$. In the special case when $N=\mathbb{R}^{m+k}$…
Let $L$ be a simplicial complex. In this paper, we study random sub-hypergraphs and random sub-complexes of $L$. By considering the minimal complex that a sub-hypergraph can be embedded in and the maximal complex that can be embedded in a…
Rational maps on the Riemann sphere occupy a distinguished niche in the general theory of smooth dynamical systems. First, rational maps are complex-analytic, so a broad spectrum of techniques can contribute to their study (quasiconformal…
We extend the notion of 'homomorphism-homogeneity' to a wider class of kinds of maps than previously studied, and we investigate the relations between the resulting notions of homomorphism-homogeneity, giving several examples. We also give…
It is shown that if T is a connected nontrivial graph and X is an arbitrary finite simplicial complex, then there is a graph G such that the complex Hom(T,G) is homotopy equivalent to X. The proof is constructive, and uses a nerve lemma.…