BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Mark Grant appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We show how secondary cohomology operations in the total space of the fibred join can be used to give lower bounds for the sectional category of a fibration. This suggests a refinement of the module weight of Iwase--Kono, which we call the secondary module weight. Examples are given for which the secondary module weight at the prime $2$ detects sectional category while the module weight does not.
Let $π$ be a group equipped with an action of a second group $G$ by automorphisms. We define the equivariant cohomological dimension ${\sf cd}_G(π)$, the equivariant geometric dimension ${\sf gd}_G(π)$, and the equivariant Lusternik-Schnirelmann category ${\sf cat}_G(π)$ in terms of the Bredon dimensions and classifying space of the family of subgroups of the semi-direct product $π\rtimes G$ consisting of sub-conjugates of $G$. When $G$ is finite, we extend theorems of Eilenberg-Ganea and Stallings-Swan to the equivariant setting, thereby showing that all three invariants coincide (except for the possibility of a $G$-group $π$ with ${\sf cat}_G(π)={\sf cd}_G(π)=2$ and ${\sf gd}_G(π)=3$). A main ingredient is the purely algebraic result that the cohomological dimension of any finite group with respect to any family of proper subgroups is greater than one. This implies a Stallings-Swan type result for families of subgroups which do not contain all finite subgroups.
We present upper and lower bounds for symmetrized topological complexity $TC^Σ(X)$ in the sense of Basabe-González-Rudyak-Tamaki. The upper bound comes from equivariant obstruction theory, and the lower bounds from the cohomology of the symmetric square $SP^2(X)$. We also show that symmetrized topological complexity coincides with its monoidal version, where the path from a point to itself is required to be constant. Using these results, we calculate the symmetrized topological complexity of all odd spheres.
The Topological Period-Index Conjecture is an hypothesis which relates the period and index of elements of the cohomological Brauer group of a space. It was identified by Antieau and Williams as a topological analogue of the Period-Index Conjecture for function fields. In this paper we show that the Topological Period-Index Conjecture holds and is in general sharp for spin$^c$ 6-manifolds. We also show that it fails in general for 6-manifolds.
Let $X$ be a two-cell complex with attaching map $α\colon S^q\to S^p$, and let $C_X$ be the cofiber of the diagonal inclusion $X\to X\times X$. It is shown that the topological complexity (${\rm TC}$) of $X$ agrees with the Lusternik-Schnirelmann category (${\rm cat}$) of $C_X$ in the (almost stable) range $q\leq2p-1$. In addition, the equality ${\rm TC}(X)={\rm cat}(C_X)$ is proved in the (strict) metastable range $2p-1<q\leq3(p-1)$ under fairly mild conditions by making use of the Hopf invariant techniques recently developed by the authors in their study of the sectional category of arbitrary maps.
It is known that neither immersions nor maps with a fixed finite set of multisingularities are enough to realize all mod 2 homology classes in manifolds. In this paper we define the notion of realizing a homology class up to cobordism; it is shown that for realization in this weaker sense immersions are sufficient, but maps with a fixed finite set of multisingularities are still insufficient.
We consider the topological complexity of subgroups of Artin's braid group consisting of braids whose associated permutations lie in some specified subgroup of the symmetric group. We give upper and lower bounds for the topological complexity of such mixed braid groups. In particular we show that the topological complexity of any subgroup of the n-strand braid group which fixes any two strands is 2n-3, extending a result of Farber and Yuzvinsky in the pure braid case. In addition, we generalise our results to the setting of higher topological complexity.
We show that for any k>1, stratified sets of finite complexity are insufficient to realize all homology classes of codimension k in all smooth manifolds. We also prove a similar result concerning smooth generic maps whose double-point sets are co-oriented.
In terms of Rudyak's generalization of Farber's topological complexity of the path motion planning problem in robotics, we give a complete description of the topological instabilities in any sequential motion planning algorithm for a system consisting of non-colliding autonomous entities performing tasks in space whilst avoiding collisions with several moving obstacles. The Isotopy Extension Theorem from manifold topology implies, somewhat surprisingly, that the complexity of this problem coincides with the complexity of the corresponding problem in which the obstacles are stationary.
We give new lower bounds for the (higher) topological complexity of a space, in terms of the Lusternik-Schnirelmann category of a certain auxiliary space. We also give new lower bounds for the rational topological complexity of a space, and more generally for the rational sectional category of a map, in terms of the rational category of a certain auxiliary space. We use our results to deduce consequences for the global (rational) homotopy structure of simply connected, hyperbolic finite complexes.
We show that the topological complexity of an aspherical space $X$ is bounded below by the cohomological dimension of the direct product $A\times B$, whenever $A$ and $B$ are subgroups of $π_1(X)$ whose conjugates intersect trivially. For instance, this assumption is satisfied whenever $A$ and $B$ are complementary subgroups of $π_1(X)$. This gives computable lower bounds for the topological complexity of many groups of interest (including semidirect products, pure braid groups, certain link groups, and Higman's acyclic four-generator group), which in some cases improve upon the standard lower bounds in terms of zero-divisors cup-length. Our results illustrate an intimate relationship between the topological complexity of an aspherical space and the subgroup structure of its fundamental group.
We define and study an equivariant version of Farber's topological complexity for spaces with a given compact group action. This is a special case of the equivariant sectional category of an equivariant map, also defined in this paper. The relationship of these invariants with the equivariant Lusternik-Schnirelmann category is given. Several examples and computations serve to highlight the similarities and differences with the non-equivariant case. We also indicate how the equivariant topological complexity can be used to give estimates of the non-equivariant topological complexity.
We show that in every codimension greater than one there exists a mod 2 homology class in some closed manifold (of sufficiently high dimension) which cannot be realized by an immersion of closed manifolds. The proof gives explicit obstructions (in terms of cohomology operations) for realizability of mod 2 homology classes by immersions. We also prove the corresponding result in which the word `immersion' is replaced by `map with some restricted set of multi-singularities'.
We prove that the Hatcher-Quinn and Wall invariants of a self-transverse immersion $f\co N^n\imm M^{2n}$ coincide. That is, we construct an isomorphism between their target groups which carries one onto the other. We also employ methods of normal bordism theory to investigate the Hatcher-Quinn invariant of an immersion $f\co N^n\imm M^{2n-1}$.
We prove that a space whose topological complexity equals 1 is homotopy equivalent to some odd-dimensional sphere. We prove a similar result, although not in complete generality, for spaces X whose higher topological complexity TC_n(X) is as low as possible, namely n-1.
We study Farber's topological complexity (TC) of Davis' projective product spaces (PPS's). We show that, in many non-trivial instances, the TC of PPS's coming from at least two sphere factors is (much) lower than the dimension of the manifold. This is in high contrast with the known situation for (usual) real projective spaces for which, in fact, the Euclidean immersion dimension and TC are two facets of the same problem. Low TC-values have been observed for infinite families of non-simply connected spaces only for H-spaces, for finite complexes whose fundamental group has cohomological dimension not exceeding 2, and now in this work for infinite families of PPS's. We discuss general bounds for the TC (and the Lusternik-Schnirelmann category) of PPS's, and compute these invariants for specific families of such manifolds. Some of our methods involve the use of an equivariant version of TC. We also give a characterization of the Euclidean immersion dimension of PPS's through generalized concepts of axial maps and, alternatively, non-singular maps. This gives an explicit explanation of the known relationship between the generalized vector field problem and the Euclidean immersion problem for PPS's.
We present a formula describing the action of a generalised Steenrod operation of $\Z_2$-type on the cohomology class represented by a proper self-transverse immersion $f\co M\imm X$, in terms of the equivariant double points of $f$ and the characteristic classes of its normal bundle. This generalises a classical result of R.\ Thom: If $α\in H^k(X;\Z_2)$ is the ordinary cohomology class represented by $f\co M\imm X$, then $\mathrm{Sq}^i(α)=f_* w_i(ν_f)$.
This article has been withdrawn due to an error in a proof of the main result.
We show how locally smooth actions of compact Lie groups on a manifold $X$ can be used to obtain new upper bounds for the topological complexity $\TC(X)$, in the sense of Farber. We also obtain new bounds for the topological complexity of finitely generated torsion-free nilpotent groups.
We prove a geometrical version of Herbert's theorem by considering the self-intersection immersions of a self-transverse immersion up to bordism. This generalises Herbert's theorem to additional cohomology theories and gives a commutative diagram in the homotopy of Thom complexes. The proof uses Koschorke and Sanderson's operations and the fact that bordism of immersions gives a functor on the category of smooth manifolds and immersions.