On first countable quasitopological homotopy groups

On the topology of free paratopological groups. II

We study localization at a prime in homotopy type theory, using self maps of the circle. Our main result is that for a pointed, simply connected type $X$, the natural map $X \to X_{(p)}$ induces algebraic localizations on all homotopy groups. In order to prove this, we further develop the theory of reflective subuniverses. In particular, we show that for any reflective subuniverse $L$, the subuniverse of $L$-separated types is again a reflective subuniverse, which we call $L'$. Furthermore, we prove results establishing that $L'$ is almost left exact. We next focus on localization with respect to a map, giving results on preservation of coproducts and connectivity. We also study how such localizations interact with other reflective subuniverses and orthogonal factorization systems. As key steps towards proving the main theorem, we show that localization at a prime commutes with taking loop spaces for a pointed, simply connected type, and explicitly describe the localization of an Eilenberg-Mac Lane space $K(G,n)$ with $G$ abelian. We also include a partial converse to the main theorem.

Closed model categories for uniquely S-divisible spaces

Almost paratopological groups

Pseudo-isotopy and invariant theory—I

Some examples of homotopy Π-algebras

The root invariant in homotopy theory

The path component space of a topological space $X$ is the quotient space $\pi_0(X)$ whose points are the path components of $X$. We show that every Tychonoff space $X$ is the path-component space of a Tychonoff space $Y$ of weight $w(Y)=w(X)$ such that the natural quotient map $Y\to \pi_0(Y)=X$ is a perfect map. Hence, many topological properties of $X$ transfer to $Y$. We apply this result to construct a compact space $X\subset \mathbb{R}^3$ for which the fundamental group $\pi_1(X,x_0)$ is an uncountable, cosmic, $k_{\omega}$-topological group but for which the canonical homomorphism $\psi:\pi_1(X,x_0)\to \check{\pi}_1(X,x_0)$ to the first shape homotopy group is trivial.

Duality theory for convergence groups

Since Tutte initiated the systematic enumeration of planar maps [11], most of the literature on the subject has dealt with rooted maps (i.e., with maps whose automophism group has been trivialized by distinguishing a doubly-oriented edge). In particular, Tutte proved [11] that the number B′(n) of rooted planar 2-connected (i.e., non-separable) maps with n ≧ 1 edges is expressed by the formulaRecently one of the authors developed a general technique for enumerating unrooted planar maps considered up to orientationpreserving isomorphisms (see [6] and [8]). This technique, which is based on combinatorial map theory, Burnside’s lemma [3, p. 181] and the concept of a quotient map (see Section 1.4), was used to find, with little algebraic manipulation, simple counting formulae for the numbers of non-isomorphic planar maps of several types [7].

Some three-space properties of semitopological and paratopological groups

A proof of a weak form of Serre's theorem on the finiteness of stable homotopy groups of spheres is suggested, which uses neither loop spaces nor spectral sequences.

Loop Spaces and Higher Homotopy Groups

There is a natural evaluation map \(\Lambda X \to X^k\) on the free loop space which sends a loop to its values at the kth roots of unity. This map is equivariant with respect to the action of the cyclic group on k elements \(C_k\). We study the induced map in \(C_k\)-equivariant cohomology with mod two coefficients in the cases where \(k=2^m\) for \(m\geq 1\).

Let M be a compact connected Riemannian manifold whose sectional curvature values are all nonpositive. Let T denote the fundamental group of M. We prove that any homotopy equivalence : N -> M from a compact closed manifold TV is homotopic to a homeomorphism, provided that m > 5 where m = dim M . We show that the surgery L-group L k+m (T, w { ) is isomorphic to the set of homotopy classes of k k