We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To send content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about sending content to .
To send content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about sending to your Kindle.
Note you can select to send to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Let $X^{n}$ be an oriented closed generalized $n$-manifold, $n\ge 5$. In our recent paper (Proc. Edinb. Math. Soc. (2) 63 (2020), no. 2, 597–607), we have constructed a map $t:\mathcal {N}(X^{n}) \to H^{st}_{n} ( X^{n}; \mathbb{L}^{+})$ which extends the normal invariant map for the case when $X^{n}$ is a topological $n$-manifold. Here, $\mathcal {N}(X^{n})$ denotes the set of all normal bordism classes of degree one normal maps $(f,\,b): M^{n} \to X^{n},$ and $H^{st}_{*} ( X^{n}; \mathbb{E})$ denotes the Steenrod homology of the spectrum $\mathbb{E}$. An important non-trivial question arose whether the map $t$ is bijective (note that this holds in the case when $X^{n}$ is a topological $n$-manifold). It is the purpose of this paper to prove that the answer to this question is affirmative.
We consider the Birman–Hilden inclusion
$\phi\colon\Br_{2g+1}\to\Gamma_{g,1}$
of the braid group into the mapping class group of an orientable surface with boundary, and prove that
$\phi$
is stably trivial in homology with twisted coefficients in the symplectic representation
$H_1(\Sigma_{g,1})$
of the mapping class group; this generalises a result of Song and Tillmann regarding homology with constant coefficients. Furthermore we show that the stable homology of the braid group with coefficients in
$\phi^*(H_1(\Sigma_{g,1}))$
has only 4-torsion.
The homotopy theory of gauge groups has received considerable attention in recent decades. In this work, we study the homotopy theory of gauge groups over some high-dimensional manifolds. To be more specific, we study gauge groups of bundles over (n − 1)-connected closed 2n-manifolds, the classification of which was determined by Wall and Freedman in the combinatorial category. We also investigate the gauge groups of the total manifolds of sphere bundles based on the classical work of James and Whitehead. Furthermore, other types of 2n-manifolds are also considered. In all the cases, we show various homotopy decompositions of gauge groups. The methods are combinations of manifold topology and various techniques in homotopy theory.
We construct a Baum–Connes assembly map localised at the unit element of a discrete group $\Gamma$. This morphism, called $\mu _\tau$, is defined in $KK$-theory with coefficients in $\mathbb {R}$ by means of the action of the idempotent $[\tau ]\in KK_{\mathbin {{\mathbb {R}}}}^\Gamma (\mathbb {C},\mathbb {C})$ canonically associated to the group trace of $\Gamma$. We show that the corresponding $\tau$-Baum–Connes conjecture is weaker than the classical version, but still implies the strong Novikov conjecture. The right-hand side of $\mu _\tau$ is functorial with respect to the group $\Gamma$.
Generalising the classical work of Atiyah and Hirzebruch on non-algebraic classes, recently Quick proved the existence of torsion non-algebraic elements in the Brown–Peterson tower. We construct non-torsion non-algebraic elements in the Brown–Peterson tower for the prime number 2.
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 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.
We show that if X is a smooth complex projective surface with torsion-free cohomology, then the Hilbert scheme
$X^{[n]}$
has torsion-free cohomology for every natural number n. This extends earlier work by Markman on the case of Poisson surfaces. The proof uses Gholampour-Thomas’s reduced obstruction theory for nested Hilbert schemes of surfaces.
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.
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.
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.
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.
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.
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}$.