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.
For the $p$-localized sphere $\mathbb {S}^{2m-1}_{(p)}$ with $p >3$ a prime, we prove that the homotopy nilpotency satisfies $\mbox {nil}\ \mathbb {S}^{2m-1}_{(p)}<\infty$, with respect to any homotopy associative $H$-structure on $\mathbb {S}^{2m-1}_{(p)}$. We also prove that $\mbox {nil}\ \mathbb {S}^{2m-1}_{(p)}= 1$ for all but a finite number of primes $p >3$. Then, for the loop space of the associated $\mathbb {S}^{2m-1}_{(p)}$-projective space $\mathbb {S}^{2m-1}_{(p)}P(n-1)$, with $m,n\ge 2$ and $m\mid p-1$, we derive that $\mbox {nil}\ \Omega (\mathbb {S}^{2m-1}_{(p)}P (n-1))\le 3$.
In this paper we develop methods for classifying Baker, Richter, and Szymik's Azumaya algebras over a commutative ring spectrum, especially in the largely inaccessible case where the ring is nonconnective. We give obstruction-theoretic tools, constructing and classifying these algebras and their automorphisms with Goerss–Hopkins obstruction theory, and give descent-theoretic tools, applying Lurie's work on $\infty$-categories to show that a finite Galois extension of rings in the sense of Rognes becomes a homotopy fixed-point equivalence on Brauer spaces. For even-periodic ring spectra $E$, we find that the ‘algebraic’ Azumaya algebras whose coefficient ring is projective are governed by the Brauer–Wall group of $\pi _0(E)$, recovering a result of Baker, Richter, and Szymik. This allows us to calculate many examples. For example, we find that the algebraic Azumaya algebras over Lubin–Tate spectra have either four or two Morita equivalence classes, depending on whether the prime is odd or even, that all algebraic Azumaya algebras over the complex K-theory spectrum $KU$ are Morita trivial, and that the group of the Morita classes of algebraic Azumaya algebras over the localization $KU[1/2]$ is $\mathbb {Z}/8\times \mathbb {Z}/2$. Using our descent results and an obstruction theory spectral sequence, we also study Azumaya algebras over the real K-theory spectrum $KO$ which become Morita-trivial $KU$-algebras. We show that there exist exactly two Morita equivalence classes of these. The nontrivial Morita equivalence class is realized by an ‘exotic’ $KO$-algebra with the same coefficient ring as $\mathrm {End}_{KO}(KU)$. This requires a careful analysis of what happens in the homotopy fixed-point spectral sequence for the Picard space of $KU$, previously studied by Mathew and Stojanoska.
Let X be a 4-dimensional toric orbifold. If $H^{3}(X)$ has a non-trivial odd primary torsion, then we show that X is homotopy equivalent to the wedge of a Moore space and a CW-complex. As a corollary, given two 4-dimensional toric orbifolds having no 2-torsion in the cohomology, we prove that they have the same homotopy type if and only their integral cohomology rings are isomorphic.
We discuss some general properties of $\mathrm {TR}$ and its $K(1)$-localization. We prove that after $K(1)$-localization, $\mathrm {TR}$ of $H\mathbb {Z}$-algebras is a truncating invariant in the Land–Tamme sense, and deduce $h$-descent results. We show that for regular rings in mixed characteristic, $\mathrm {TR}$ is asymptotically $K(1)$-local, extending results of Hesselholt and Madsen. As an application of these methods and recent advances in the theory of cyclotomic spectra, we construct an analog of Thomason's spectral sequence relating $K(1)$-local $K$-theory and étale cohomology for $K(1)$-local $\mathrm {TR}$.
We construct a stable homotopy refinement of quantum annular homology, a link homology theory introduced by Beliakova, Putyra and Wehrli. For each $r\geq ~2$ we associate to an annular link $L$ a naive $\mathbb {Z}/r\mathbb {Z}$-equivariant spectrum whose cohomology is isomorphic to the quantum annular homology of $L$ as modules over $\mathbb {Z}[\mathbb {Z}/r\mathbb {Z}]$. The construction relies on an equivariant version of the Burnside category approach of Lawson, Lipshitz and Sarkar. The quotient under the cyclic group action is shown to recover the stable homotopy refinement of annular Khovanov homology. We study spectrum level lifts of structural properties of quantum annular homology.
We construct a calculus of functors in the spirit of orthogonal calculus, which is designed to study ‘functors with reality’ such as the Real classifying space functor,
$\BU_\Bbb{R}(-)$
. The calculus produces a Taylor tower, the n-th layer of which is classified by a spectrum with an action of
$C_2 \ltimes \U(n)$
. We further give model categorical considerations, producing a zigzag of Quillen equivalences between spectra with an action of
$C_2 \ltimes \U(n)$
and a model structure on the category of input functors which captures the homotopy theory of the n-th layer of the Taylor tower.
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 link distinct concepts of geometric group theory and homotopy theory through underlying combinatorics. For a flag simplicial complex $K$, we specify a necessary and sufficient combinatorial condition for the commutator subgroup $RC_K'$ of a right-angled Coxeter group, viewed as the fundamental group of the real moment-angle complex $\mathcal {R}_K$, to be a one-relator group; and for the Pontryagin algebra $H_{*}(\Omega \mathcal {Z}_K)$ of the moment-angle complex to be a one-relator algebra. We also give a homological characterization of these properties. For $RC_K'$, it is given by a condition on the homology group $H_2(\mathcal {R}_K)$, whereas for $H_{*}(\Omega \mathcal {Z}_K)$ it is stated in terms of the bigrading of the homology groups of $\mathcal {Z}_K$.
Greenlees has conjectured that the rational stable equivariant homotopy category of a compact Lie group always has an algebraic model. Based on this idea, we show that the category of rational local systems on a connected finite loop space always has a simple algebraic model. When the loop space arises from a connected compact Lie group, this recovers a special case of a result of Pol and Williamson about rational cofree G-spectra. More generally, we show that if K is a closed subgroup of a compact Lie group G such that the Weyl group WGK is connected, then a certain category of rational G-spectra “at K” has an algebraic model. For example, when K is the trivial group, this is just the category of rational cofree G-spectra, and this recovers the aforementioned result. Throughout, we pay careful attention to the role of torsion and complete categories.
We introduce a general definition for coloured cyclic operads over a symmetric monoidal ground category, which has several appealing features. The forgetful functor from coloured cyclic operads to coloured operads has both adjoints, each of which is relatively simple. Explicit formulae for these adjoints allow us to lift the Cisinski–Moerdijk model structure on the category of coloured operads enriched in simplicial sets to the category of coloured cyclic operads enriched in simplicial sets.
Let X be a simply connected closed oriented manifold of rationally elliptic homotopy type. We prove that the string topology bracket on the $S^1$-equivariant homology
$ {\overline {\text {H}}}_\ast ^{S^1}({\mathcal {L}} X,{\mathbb {Q}}) $ of the free loop space of X preserves the Hodge decomposition of
$ {\overline {\text {H}}}_\ast ^{S^1}({\mathcal {L}} X,{\mathbb {Q}}) $, making it a bigraded Lie algebra. We deduce this result from a general theorem on derived Poisson structures on the universal enveloping algebras of homologically nilpotent finite-dimensional DG Lie algebras. Our theorem settles a conjecture of [7].
A directed space is a topological space $X$ together with a subspace $\vec {P}(X)\subset X^I$ of directed paths on $X$. A symmetry of a directed space should therefore respect both the topology of the underlying space and the topology of the associated spaces $\vec {P}(X)_-^+$ of directed paths between a source ($-$) and a target ($+$)—up to homotopy. If it is, moreover, homotopic to the identity map—in a directed sense—such a symmetry will be called an inessential d-map, and the paper explores the algebra and topology of inessential d-maps. Comparing two d-spaces $X$ and $Y$ ‘up to symmetry’ yields the notion of a directed homotopy equivalence between them. Under appropriate conditions, all directed homotopy equivalences are shown to satisfy a 2-out-of-3 property. Our notion of directed homotopy equivalence does not agree completely with the one defined in Goubault (2017, arxiv:1709:05702v2) and Goubault, Farber and Sagnier (2020, J. Appl. Comput. Topol. 4, 11–27); the deviation is motivated by examples. Nevertheless, directed topological complexity, introduced in Goubault, Farber and Sagnier (2020) is shown to be invariant under our notion of directed homotopy equivalence. Finally, we show that directed homotopy equivalences result in isomorphisms on the pair component categories of directed spaces introduced in Goubault, Farber and Sagnier (2020).
The commutative differential graded algebra $A_{\mathrm {PL}}(X)$ of polynomial forms on a simplicial set $X$ is a crucial tool in rational homotopy theory. In this note, we construct an integral version $A^{\mathcal {I}}(X)$ of $A_{\mathrm {PL}}(X)$. Our approach uses diagrams of chain complexes indexed by the category of finite sets and injections $\mathcal {I}$ to model $E_{\infty }$ differential graded algebras (dga) by strictly commutative objects, called commutative $\mathcal {I}$-dgas. We define a functor $A^{\mathcal {I}}$ from simplicial sets to commutative $\mathcal {I}$-dgas and show that it is a commutative lift of the usual cochain algebra functor. In particular, it gives rise to a new construction of the $E_{\infty }$ dga of cochains. The functor $A^{\mathcal {I}}$ shares many properties of $A_{\mathrm {PL}}$, and can be viewed as a generalization of $A_{\mathrm {PL}}$ that works over arbitrary commutative ground rings. Working over the integers, a theorem by Mandell implies that $A^{\mathcal {I}}(X)$ determines the homotopy type of $X$ when $X$ is a nilpotent space of finite type.
Let S2n+1{p} denote the homotopy fibre of the degree p self map of S2n+1. For primes p ≥ 5, work by Selick shows that S2n+1{p} admits a non-trivial loop space decomposition if and only if n = 1 or p. Indecomposability in all but these dimensions was obtained by showing that a non-trivial decomposition of ΩS2n+1{p} implies the existence of a p-primary Kervaire invariant one element of order p in $\pi _{2n(p-1)-2}^S$. We prove the converse of this last implication and observe that the homotopy decomposition problem for ΩS2n+1{p} is equivalent to the strong p-primary Kervaire invariant problem for all odd primes. For p = 3, we use the 3-primary Kervaire invariant element θ3 to give a new decomposition of ΩS55{3} analogous to Selick's decomposition of ΩS2p+1{p} and as an application prove two new cases of a long-standing conjecture stating that the fibre of the double suspension $S^{2n-1} \longrightarrow \Omega ^2S^{2n+1}$ is homotopy equivalent to the double loop space of Anick's space.
We study the indexing systems that correspond to equivariant Steiner and linear isometries operads. When G is a finite abelian group, we prove that a G-indexing system is realized by a Steiner operad if and only if it is generated by cyclic G-orbits. When G is a finite cyclic group, whose order is either a prime power or a product of two distinct primes greater than 3, we prove that a G-indexing system is realized by a linear isometries operad if and only if it satisfies Blumberg and Hill’s horn-filling condition. We also repackage the data in an indexing system as a certain kind of partial order. We call these posets transfer systems, and develop basic tools for computing with them.
Conjugation spaces are topological spaces equipped with an involution such that their fixed points have the same mod 2 cohomology (as a graded vector space, a ring and even an unstable algebra) but with all degrees divided by two, generalizing the classical examples of complex projective spaces under complex conjugation. Spaces which are constructed from unit balls in complex Euclidean spaces are called spherical and are very well understood. Our aim is twofold. We construct ‘exotic’ conjugation spaces and study the realization question: which spaces can be realized as real loci, i.e., fixed points of conjugation spaces. We identify obstructions and provide examples of spaces and manifolds which cannot be realized as such.
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.
For a prime p and a field k of characteristic
$p,$
we define Steenrod operations
$P^{n}_{k}$
on motivic cohomology with
$\mathbb {F}_{p}$
-coefficients of smooth varieties defined over the base field
$k.$
We show that
$P^{n}_{k}$
is the pth power on
$H^{2n,n}(-,\mathbb {F}_{p}) \cong CH^{n}(-)/p$
and prove an instability result for the operations. Restricted to mod p Chow groups, we show that the operations satisfy the expected Adem relations and Cartan formula. Using these new operations, we remove previous restrictions on the characteristic of the base field for Rost’s degree formula. Over a base field of characteristic
$2,$
we obtain new results on quadratic forms.
In order to treat multiplicative phenomena in twisted (co)homology, we introduce a new point-set-level framework for parametrized homotopy theory. We provide a convolution smash product that descends to the corresponding $\infty$-categorical product and allows for convenient constructions of commutative parametrized ring spectra. As an immediate application, we compare various models for generalized Thom spectra. In a companion paper, this approach is used to compare homotopical and operator algebraic models for twisted $K$-theory.
This note is on spherical classes in $H_*(QS^0;k)$ when $k=\mathbb{Z}, \mathbb{Z}/p$, with a special focus on the case of p=2 related to the Curtis conjecture. We apply Freudenthal's theorem to prove a vanishing result for the unstable Hurewicz image of elements in ${\pi _*^s}$ that factor through certain finite spectra. After either p-localization or p-completion, this immediately implies that elements of well-known infinite families in ${_p\pi _*^s}$, such as Mahowaldean families, map trivially under the unstable Hurewicz homomorphism ${_p\pi _*^s}\simeq {_p\pi _*}QS^0\to H_*(QS^0;\mathbb{Z} /p)$. We also observe that the image of the submodule of decomposable elements under the integral unstable Hurewicz homomorphism $\pi _*^s\simeq \pi _*QS^0\to H_*(QS^0;\mathbb{Z} )$ is given by $\mathbb{Z} \{h(\eta ^2),h(\nu ^2),h(\sigma ^2)\}$. We apply the latter to completely determine spherical classes in $H_*(\Omega ^dS^{n+d};\mathbb{Z} /2)$ for certain values of n>0 and d>0; this verifies Eccles' conjecture on spherical classes in $H_*QS^n$, n>0, on finite loop spaces associated with spheres.