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 a path connected space X, the homology algebra
$H_*(QX; \mathbb{Z}/2)$
is a polynomial algebra over certain generators QIx. We reinterpret a technical observation, of Curtis and Wellington, on the action of the Steenrod algebra A on the Λ algebra in our terms. We then introduce a partial order on each grading of H*QX which allows us to separate terms in a useful way when computing the action of dual Steenrod operations
$Sq^i_*$
on
$H_*(QX; \mathbb{Z}/2)$
. We use these to completely characterise the A-annihilated generators of this polynomial algebra. We then propose a construction for sequences I so that QIx is A-annihilated. As an application, we offer some results on the form of potential spherical classes in H*QX upon some stability condition under homology suspension. Our computations provide new numerical conditions in the context of hit problem.
The algebraic EHP sequences, algebraic analogues of the EHP sequences in homotopy theory, are important tools in algebraic topology. This note will outline two new proofs of the existence of the algebraic EHP sequences. The first proof is derived from the minimal injective resolution of the reduced singular cohomology of spheres, and the second one follows Bousfield's idea using the loop functor of unstable modules.
In this paper, we develop a new necessary and sufficient condition for the vanishing of
$4$
-Massey products of elements in the modulo-
$2$
Galois cohomology of a field. This new description allows us to define a splitting variety for
$4$
-Massey products, which is shown in the appendix to satisfy a local-to-global principle over number fields. As a consequence, we prove that, for a number field, all such
$4$
-Massey products vanish whenever they are defined. This provides new explicit restrictions on the structure of absolute Galois groups of number fields.
This work is motivated by the question of whether there are spaces X for which the Farber–Grant symmetric topological complexity TCS(X) differs from the Basabe–González–Rudyak–Tamaki symmetric topological complexity TCΣ(X). For a projective space
${\open R}\hbox{P}^m$
, it is known that
$\hbox{TC}^S ({\open R}\hbox{P}^{m})$
captures, with a few potential exceptional cases, the Euclidean embedding dimension of
${\open R}\hbox{P}^{m}$
. We now show that, for all m≥1,
$\hbox{TC}^{\Sigma}({\open R}\hbox{P}^{m})$
is characterized as the smallest positive integer n for which there is a symmetric
${\open Z}_{2}$
-biequivariant map Sm×Sm→Sn with a ‘monoidal’ behaviour on the diagonal. This result thus lies at the core of the efforts in the 1970s to characterize the embedding dimension of real projective spaces in terms of the existence of symmetric axial maps. Together with Nakaoka's description of the cohomology ring of symmetric squares, this allows us to compute both TC numbers in the case of
${\open R}\hbox{P}^{2^{e}}$
for e≥1. In particular, this leaves the torus S1×S1 as the only closed surface whose symmetric (symmetrized) TCS (TCΣ) invariant is currently unknown.
The problem of computing the integral cohomology ring of the symmetric square of a topological space has long been of interest, but limited progress has been made on the general case until recently. We offer a solution for the complex and quaternionic projective spaces
$\mathbb{K}$
Pn, by utilising their rich geometrical structure. Our description involves generators and relations, and our methods entail ideas from the literature of quantum chemistry, theoretical physics, and combinatorics. We begin with the case
$\mathbb{K}$
P∞, and then identify the truncation required for passage to finite n. The calculations rely upon a ladder of long exact cohomology sequences, which compares cofibrations associated to the diagonals of the symmetric square and the corresponding Borel construction. These incorporate the one-point compactifications of classic configuration spaces of unordered pairs of points in
$\mathbb{K}$
Pn, which are identified as Thom spaces by combining Löwdin's symmetric orthogonalisation (and its quaternionic analogue) with a dash of Pin geometry. The relations in the ensuing cohomology rings are conveniently expressed using generalised Fibonacci polynomials. Our conclusions are compatible with those of Gugnin mod torsion and Nakaoka mod 2, and with homological results of Milgram.
Using the descent spectral sequence for a Galois extension of ring spectra, we compute the Picard group of the higher real
$K$
-theory spectra of Hopkins and Miller at height
$n=p-1$
, for
$p$
an odd prime. More generally, we determine the Picard groups of the homotopy fixed points spectra
$E_{n}^{hG}$
, where
$E_{n}$
is Lubin–Tate
$E$
-theory at the prime
$p$
and height
$n=p-1$
, and
$G$
is any finite subgroup of the extended Morava stabilizer group. We find that these Picard groups are always cyclic, generated by the suspension.
We study the set
$D(M,N)$
of all possible mapping degrees from
$M$
to
$N$
when
$M$
and
$N$
are quasitoric
$4$
-manifolds. In some of the cases, we completely describe this set. Our results rely on Theorems proved by Duan and Wang and the sets of integers obtained are interesting from the number theoretical point of view, for example those representable as the sum of two squares
$D(\mathbb{C}P^{2}\sharp \mathbb{C}P^{2},\mathbb{C}P^{2})$
or the sum of three squares
$D(\mathbb{C}P^{2}\sharp \mathbb{C}P^{2}\sharp \mathbb{C}P^{2},\mathbb{C}P^{2})$
. In addition to the general results about the mapping degrees between quasitoric 4-manifolds, we establish connections between Duan and Wang’s approach, quadratic forms, number theory and lattices.
For a prime number
$p$
, we show that differentials
$d_{n}$
in the motivic cohomology spectral sequence with
$p$
-local coefficients vanish unless
$p-1$
divides
$n-1$
. We obtain an explicit formula for the first non-trivial differential
$d_{p}$
, expressing it in terms of motivic Steenrod
$p$
-power operations and Bockstein maps. To this end, we compute the algebra of operations of weight
$p-1$
with
$p$
-local coefficients. Finally, we construct examples of varieties having non-trivial differentials
$d_{p}$
in their motivic cohomology spectral sequences.
We generalize the notions of the orbifold Euler characteristic and of the higher-order orbifold Euler characteristics to spaces with actions of a compact Lie group using integration with respect to the Euler characteristic instead of the summation over finite sets. We show that the equation for the generating series of the kth-order orbifold Euler characteristics of the Cartesian products of the space with the wreath products actions proved by Tamanoi for finite group actions and by Farsi and Seaton for compact Lie group actions with finite isotropy subgroups holds in this case as well.
We consider the natural
$A_{\infty }$
-structure on the
$\mathrm{Ext}$
-algebra
$\mathrm{Ext}^*(G,G)$
associated with the coherent sheaf
$G=\mathcal{O}_C\oplus \mathcal{O}_{p_1}\oplus \cdots \oplus \mathcal{O}_{p_n}$
on a smooth projective curve
$C$
, where
$p_1,\ldots,p_n\in C$
are distinct points. We study the homotopy class of the product
$m_3$
. Assuming that
$h^0(p_1+\cdots +p_n)=1$
, we prove that
$m_3$
is homotopic to zero if and only if
$C$
is hyperelliptic and the points
$p_i$
are Weierstrass points. In the latter case we show that
$m_4$
is not homotopic to zero, provided the genus of
$C$
is greater than
$1$
. In the case
$n=g$
we prove that the
$A_{\infty }$
-structure is determined uniquely (up to homotopy) by the products
$m_i$
with
$i\le 6$
. Also, in this case we study the rational map
$\mathcal{M}_{g,g}\to \mathbb{A}^{g^2-2g}$
associated with the homotopy class of
$m_3$
. We prove that for
$g\ge 6$
it is birational onto its image, while for
$g\le 5$
it is dominant. We also give an interpretation of this map in terms of tangents to
$C$
in the canonical embedding and in the projective embedding given by the linear series
$|2(p_1+\cdots +p_g)|$
.
We show that there is an essentially unique S-algebra structure on the Morava K-theory spectrum K(n), while K(n) has uncountably many MU or -algebra structures. Here is the K(n)-localized Johnson–Wilson spectrum. To prove this we set up a spectral sequence computing the homotopy groups of the moduli space of A∞ structures on a spectrum, and use the theory of S-algebra k-invariants for connectiveS-algebras found in the work of Dugger and Shipley [Postnikov extensions of ring spectra, Algebr. Geom. Topol. 6 (2006), 1785–1829 (electronic)] to show that all the uniqueness obstructions are hit by differentials.
Deleanu, Frei and Hilton have developed the notion of generalized Adams completion in a categorical context; they have also suggested the dual notion, namely, the Adams cocompletion of an object in a category. In this paper the different stages of the Cartan-Whitehead decomposition of a 0-connected space are shown to be the cocompletions of the space with respect to suitable sets of morphisms.
Recommend this
Email your librarian or administrator to recommend adding this to your organisation's collection.