We describe the connected components of the space $\text {Hom}(\Gamma ,SU(2))$ of homomorphisms for a discrete nilpotent group $\Gamma$. The connected components arising from homomorphisms with non-abelian image turn out to be homeomorphic to $\mathbb {RP}^{3}$. We give explicit calculations when $\Gamma$ is a finitely generated free nilpotent group. In the second part of the paper, we study the filtration $B_{\text {com}} SU(2)=B(2,SU(2))\subset \cdots \subset B(q,SU(2))\subset \cdots$ of the classifying space $BSU(2)$ (introduced by Adem, Cohen and Torres-Giese), showing that for every $q\geq 2$, the inclusions induce a homology isomorphism with coefficients over a ring in which 2 is invertible. Most of the computations are done for $SO(3)$ and $U(2)$ as well.

We completely describe the algebraic part of the rational cohomology of the Torelli groups of the manifolds $\#^{g}S^{n}\times S^{n}$ relative to a disc in a stable range, for $2n\geqslant 6$. Our calculation is also valid for $2n=2$ assuming that the rational cohomology groups of these Torelli groups are finite-dimensional in a stable range.

We construct a scheme $B(r; {\mathbb {A}}^n)$ such that a map $X \to B(r; {\mathbb {A}}^n)$ corresponds to a degree-n étale algebra on X equipped with r generating global sections. We then show that when $n=2$ , i.e., in the quadratic étale case, the singular cohomology of $B(r; {\mathbb {A}}^n)({\mathbb {R}})$ can be used to reconstruct a famous example of S. Chase and to extend its application to showing that there is a smooth affine $r-1$ -dimensional ${\mathbb {R}}$ -variety on which there are étale algebras ${\mathcal {A}}_n$ of arbitrary degrees n that cannot be generated by fewer than r elements. This shows that in the étale algebra case, a bound established by U. First and Z. Reichstein in [6] is sharp.

The aim of this paper is to show the importance of the Steenrod construction of homology theories for the disassembly process in surgery on a generalized n-manifold Xn, in order to produce an element of generalized homology theory, which is basic for calculations. In particular, we show how to construct an element of the nth Steenrod homology group $H^{st}_{n} (X^{n}, \mathbb {L}^+)$, where 𝕃+ is the connected covering spectrum of the periodic surgery spectrum 𝕃, avoiding the use of the geometric splitting procedure, the use of which is standard in surgery on topological manifolds.

In robotics, a topological theory of motion planning was initiated by M. Farber. We present optimal motion planning algorithms which can be used in designing practical systems controlling objects moving in Euclidean space without collisions between them and avoiding obstacles. Furthermore, we present the multi-tasking version of the algorithms.

Let $X$ be a topological space. We consider certain generalized configuration spaces of points on $X$, obtained from the cartesian product $X^{n}$ by removing some intersections of diagonals. We give a systematic framework for studying the cohomology of such spaces using what we call ‘twisted commutative dg algebra models’ for the cochains on $X$. Suppose that $X$ is a ‘nice’ topological space, $R$ is any commutative ring, $H_{c}^{\bullet }(X,R)\rightarrow H^{\bullet }(X,R)$ is the zero map, and that $H_{c}^{\bullet }(X,R)$ is a projective $R$-module. We prove that the compact support cohomology of any generalized configuration space of points on $X$ depends only on the graded $R$-module $H_{c}^{\bullet }(X,R)$. This generalizes a theorem of Arabia.

We show that various classes of products of manifolds do not support transitive Anosov diffeomorphisms. Exploiting the Ruelle–Sullivan cohomology class, we prove that the product of a negatively curved manifold with a rational homology sphere does not support transitive Anosov diffeomorphisms. We extend this result to products of finitely many negatively curved manifolds of dimension at least three with a rational homology sphere that has vanishing simplicial volume. As an application of this study, we obtain new examples of manifolds that do not support transitive Anosov diffeomorphisms, including certain manifolds with non-trivial higher homotopy groups and certain products of aspherical manifolds.

Holmsen, Kynčl and Valculescu recently conjectured that if a finite set $X$ with $\ell n$ points in $\mathbb{R}^{d}$ that is colored by $m$ different colors can be partitioned into $n$ subsets of $\ell$ points each, such that each subset contains points of at least $d$ different colors, then there exists such a partition of $X$ with the additional property that the convex hulls of the $n$ subsets are pairwise disjoint.

We prove a continuous analogue of this conjecture, generalized so that each subset contains points of at least $c$ different colors, where we also allow $c$ to be greater than $d$. Furthermore, we give lower bounds on the fraction of the points each of the subsets contains from $c$ different colors. For example, when $n\geqslant 2$, $d\geqslant 2$, $c\geqslant d$ with $m\geqslant n(c-d)+d$ are integers, and $\unicode[STIX]{x1D707}_{1},\ldots ,\unicode[STIX]{x1D707}_{m}$ are $m$ positive finite absolutely continuous measures on $\mathbb{R}^{d}$, we prove that there exists a partition of $\mathbb{R}^{d}$ into $n$ convex pieces which equiparts the measures $\unicode[STIX]{x1D707}_{1},\ldots ,\unicode[STIX]{x1D707}_{d-1}$, and in addition every piece of the partition has positive measure with respect to at least $c$ of the measures $\unicode[STIX]{x1D707}_{1},\ldots ,\unicode[STIX]{x1D707}_{m}$.

We construct a cycle in higher Hochschild homology associated to the two-dimensional torus which represents 2-holonomy of a nonabelian gerbe in the same way as the ordinary holonomy of a principal G-bundle gives rise to a cycle in ordinary Hochschild homology. This is done using the connection 1-form of Baez–Schreiber. A crucial ingredient in our work is the possibility to arrange that in the structure crossed module $\unicode[STIX]{x1D707}:\mathfrak{h}\rightarrow \mathfrak{g}$ of the principal 2-bundle, the Lie algebra $\mathfrak{h}$ is abelian, up to equivalence of crossed modules.

For each of the groups G = O(2), SU(2), U(2), we compute the integral and $\mathbb{F}_2$-cohomology rings of BcomG (the classifying space for commutativity of G), the action of the Steenrod algebra on the mod 2 cohomology, the homotopy type of EcomG (the homotopy fiber of the inclusion BcomG → BG), and some low-dimensional homotopy groups of BcomG.

The Lusternik–Schnirelmann category cat and topological complexity TC are related homotopy invariants. The topological complexity TC has applications to the robot motion planning problem. We calculate the Lusternik–Schnirelmann category and topological complexity of the ordered configuration space of two distinct points in the product $G\times \mathbb{R}^{n}$ and apply the results to the planar and spatial motion of two rigid bodies in $\mathbb{R}^{2}$ and $\mathbb{R}^{3}$ respectively.

Suppose $X$ is a smooth complex algebraic variety. A necessary condition for a complex topological vector bundle on $X$ (viewed as a complex manifold) to be algebraic is that all Chern classes must be algebraic cohomology classes, that is, lie in the image of the cycle class map. We analyze the question of whether algebraicity of Chern classes is sufficient to guarantee algebraizability of complex topological vector bundles. For affine varieties of dimension ${\leqslant}3$, it is known that algebraicity of Chern classes of a vector bundle guarantees algebraizability of the vector bundle. In contrast, we show in dimension ${\geqslant}4$ that algebraicity of Chern classes is insufficient to guarantee algebraizability of vector bundles. To do this, we construct a new obstruction to algebraizability using Steenrod operations on Chow groups. By means of an explicit example, we observe that our obstruction is nontrivial in general.

The circle transfer $Q\Sigma (LX_{hS^1})_+ \to QLX_+$ has appeared in several contexts in topology. In this note, we observe that this map admits a geometric re-interpretation as a morphism of cobordism categories of 0-manifolds and 1-cobordisms. Let 𝒞1(X) denote the one-dimensional cobordism category and let Circ(X) ⊂ 𝒞1(X) denote the subcategory whose objects are disjoint unions of unparametrized circles. Multiplication in S1 induces a functor Circ(X) → Circ(LX), and the composition of this functor with the inclusion of Circ(LX) into 𝒞1(LX) is homotopic to the circle transfer. As a corollary, we describe the inclusion of the subcategory of cylinders into the two-dimensional cobordism category 𝒞2(X) and find that it is null-homotopic when X is a point.

For almost any compact connected Lie group $G$ and any field $\mathbb{F}_{p}$, we compute the Batalin–Vilkovisky algebra $H^{\star +\text{dim}\,G}(\text{LBG};\mathbb{F}_{p})$ on the loop cohomology of the classifying space introduced by Chataur and the second author. In particular, if $p$ is odd or $p=0$, this Batalin–Vilkovisky algebra is isomorphic to the Hochschild cohomology $HH^{\star }(H_{\star }(G),H_{\star }(G))$. Over $\mathbb{F}_{2}$ , such an isomorphism of Batalin–Vilkovisky algebras does not hold when $G=\text{SO}(3)$ or $G=G_{2}$. Our elaborate considerations on the signs in string topology of the classifying spaces give rise to a general theorem on graded homological conformal field theory.

In this paper, we investigate free actions of some compact groups on cohomology real and complex Milnor manifolds. More precisely, we compute the mod 2 cohomology algebra of the orbit space of an arbitrary free ℤ2 and $\mathbb{S}^1$-action on a compact Hausdorff space with mod 2 cohomology algebra of a real or a complex Milnor manifold. As applications, we deduce some Borsuk–Ulam type results for equivariant maps between spheres and these spaces. For the complex case, we obtain a lower bound on the Schwarz genus, which further establishes the existence of coincidence points for maps to the Euclidean plane.

Let G be a simple, simply connected, compact Lie group, and let M be an orientable, smooth, connected, closed 4-manifold. In this paper, we calculate the homotopy type of the suspension of M and the homotopy types of the gauge groups of principal G-bundles over M when π1(M) is (1) ℤ*m, (2) ℤ/prℤ, or (3) ℤ*m*(*nj=1ℤ/prjjℤ), where p and the pj's are odd primes.

We prove that any cyclic quadrilateral can be inscribed in any closed convex $C^{1}$-curve. The smoothness condition is not required if the quadrilateral is a rectangle.

We consider smooth, complex quasiprojective varieties $U$ that admit a compactification with a boundary, which is an arrangement of smooth algebraic hypersurfaces. If the hypersurfaces intersect locally like hyperplanes, and the relative interiors of the hypersurfaces are Stein manifolds, we prove that the cohomology of certain local systems on $U$ vanishes. As an application, we show that complements of linear, toric, and elliptic arrangements are both duality and abelian duality spaces.

We invoke the classical fact that the algebra of bi-invariant forms on a compact connected Lie group G is naturally isomorphic to the de Rham cohomology H*dR(G) itself. Then, we show that when a flat connection A exists on a principal G-bundle P, we may construct a homomorphism EA: H*dR(G)→H*dR(P), which eventually shows that the bundle satisfies a condition for the Leray–Hirsch theorem. A similar argument is shown to apply to its adjoint bundle. As a corollary, we show that that both the flat principal bundle and its adjoint bundle have the real coefficient cohomology isomorphic to that of the trivial bundle.

We prove a homotopy invariance result for a certain covering space of the space of ordered configurations of two points in M × X where M is a closed smooth manifold and X is any fixed aspherical space which is not a point.