Related papers: Identities for Whitehead products and infinite sum…

A space $X$ is "sequentially $n$-connected" at $x\in X$ if for every $0\leq k\leq n$ and sequence of maps $f_1,f_2,f_3,\dots:S^k\to X$ that converges toward a point $x\in X$, the maps $f_m$ contract by a sequence of null-homotopies that…

We compute the \v{C}ech homotopy groups of the $m$-dimensional infinite earring space $\mathbb{E}_m$, i.e. a shrinking wedge of $m$-spheres. In particular, for all $n,m\geq 2$, we prove that $\check{\pi}_n(\mathbb{E}_m)$ is isomorphic to a…

In this paper, we study the homotopy groups of a shrinking wedge $X$ of a sequence $\{X_j\}$ of non-simply connected CW-complexes. Using a combination of generalized covering space theory and shape theory, we construct a canonical…

Infinitary operations, such as products indexed by countably infinite linear orders, arise naturally in the context of fundamental groups and groupoids. Despite the fact that the usual binary operation of the fundamental group determines…

We construct explicit local systems on the affine line in characteristic $p>2$, whose geometric monodromy groups are the finite symplectic groups $Sp_{2n}(q)$ for all $n \ge 2$, and others whose geometric monodromy groups are the special…

We prove an "abelian, locally compact" Whitehead theorem in fine shape: A fine shape morphism between locally connected finite-dimensional locally compact separable metrizable spaces with trivial $\pi_0$ and $\pi_1$ is a fine shape…

We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…

We study the finite generation of homotopy groups of closed manifolds and finite CW-complexes by relating it to the cohomology of their fundamental groups. Our main theorems are as follows: when $X$ is a finite CW-complex of dimension $n$…

We prove that the module categories of Noether algebras (i.e., algebras module finite over a noetherian center) and affine noetherian PI algebras over a field enjoy the following product property: Whenever a direct product $\prod_{n \in…

We define and study binary operations for homotopy groups with coefficients. We give conditions to prove that certain binary operations are the homomorphic image of the generalized Whitehead product. This allows carrying over properties of…

The $\pi_n$-wild set $\mathbf{w}_{n}(X)$ of a topological space $X$ is the subspace of $X$ consisting of the points at which there exists a shrinking sequence of essential based maps $S^n\to X$. In this paper, we show that the homotopy type…

We show that a relation among minimal non-faces of a fillable complex $K$ yields an identity of iterated (higher) Whitehead products in a polyhedral product over $K$. In particular, for the $(n-1)$-skeleton of a simplicial $n$-sphere, we…

We prove that if $X = X_1 \times \dots \times X_n$ is a product of hyperbolic Riemann surfaces of finite type and $Y = \Omega/\Gamma$ is a complex manifold, where $\Omega$ is a bounded simply-connected domain in $\mathbb{C}^m$, then the…

We show that $v_n$-periodic homotopy groups detect homotopy equivalences between simply-connected finite CW-complexes.

Suppose $k$ is a finite field, that $C$ is a smooth projective geometrically irreducible curve over $k$, and that $n$ is a positive integer not divisible by the characteristic of $k$. In this paper we compute cup products of elements of the…

Given two convex polytopes, the join, the cartesian product and the direct sum of them are well understood. In this paper we extend these three kinds of products to abstract polytopes and introduce a new product, called the topological…

We describe the Whitehead products in the rational homotopy group of a connected component of a mapping space in terms of the Andr\'{e}-Quillen cohomology. As a consequence, an upper bound for the Whitehead length of a mapping space is…

Given a finite group G and a G-space X, we show that a direct sum $F_G (X) = \bigoplus_{n \geq 0}K_{G_n} (X^n) \bigotimes \C$ admits a natural graded Hopf algebra and $\lambda$-ring structure, where $G_n$ denotes the wreath product $G \sim…

The $n$-th symmetric product of a topological space $X$ is the orbit space of the natural action of the symmetric group $S_n$ on the product space $X^n$. In this paper, we compute the sequential topological complexities of (finite products…

By generalizing the whisker topology on the $n$th homotopy group of pointed space $(X, x_0)$, denoted by $\pi_n^{wh}(X, x_0)$, we show that $\pi_n^{wh}(X, x_0)$ is a topological group if $n \ge 2$. Also, we present some necessary and…