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 $X^n$, 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 $n$-th Steenrod homology group $H^{st}_{n} (X^{n}, \mathbb{L}^+),$ where $\mathbb{L}^+$ is the connected covering spectrum of the periodic surgery spectrum $\mathbb{L}$, avoiding the use of the geometric splitting procedure, which is standardly used in surgery on topological manifolds.
Lipshitz and Sarkar recently introduced a space-level refinement of Khovanov homology. This refinement induces a Steenrod square operation $\Sq^2$ on Khovanov homology which they describe explicitly. This paper presents some computations of $\Sq^2$. In particular, we give examples of links with identical integral Khovanov homology but with distinct Khovanov homotopy types.
We describe stable cup-i products on the cochain complex with $F^2$ coefficients of any augmented semi-simplicial object in the Burnside category. An example of such an object is the Khovanov functor of Lawson, Lipshitz and Sarkar. Thus we obtain explicit formulas for cohomology operations on the Khovanov homology of any link.
In a previous paper, we defined a space-level version X(L) of Khovanov homology. This induces an action of the Steenrod algebra on Khovanov homology. In this paper, we describe the first interesting operation, Sq^2:Kh^{i,j}(L) -> Kh^{i+2,j}(L). We compute this operation for all links up to 11 crossings; this, in turn, determines the stable homotopy type of X(L) for all such links.
Let NG0 denote the category of all pointed numerically generated spaces and continuous maps preserving base-points. In [SYH], we described a passage from bivariant functors to generalized homology and cohomology theories. In this paper, we construct a bivariant functor such that the associated cohomology is the Cech cohomology and the homology is the Steenrod homology (at least for compact metric spaces).
On the category of compact metric spaces an exact homology theory was defined and its relation to the Vietoris homology theory was studied by N. Steenrod [S]. In particular, the homomorphism from the Steenrod homology groups to the Vietoris homology groups was defined and it was shown that the kernel of the given homomorphism are homological groups, which was called weak homology groups [S], [E]. The Steenrod homology theory on the category of compact metric pairs was axiomatically described by J.Milnor. In [Mil] the uniqueness theorem is proved using the Eilenberg-Steenrod axioms and as well …
We give a definition of symplectic homology for pairs of filled Liouville cobordisms, and show that it satisfies analogues of the Eilenberg-Steenrod axioms except for the dimension axiom. The resulting long exact sequence of a pair generalizes various earlier long exact sequences such as the handle attaching sequence, the Legendrian duality sequence, and the exact sequence relating symplectic homology and Rabinowitz Floer homology. New consequences of this framework include a Mayer-Vietoris exact sequence for symplectic homology, invariance of Rabinowitz Floer homology under subcritical handle…
We establish surgery formulas for filtration of the Heegaard Floer homology associated with p/q surgery on a null-homologous knot K in a three-manifold Y, induced by K_{p/q}. Here K_{p/q} is the core of the attached solid torus (which produces the surgery). This would generalize a result of Ozsvath and Szabo. We will re-prove that surgery on non-trivial knots can not produce S^3, as a corollary of a non-vanishing result for the knot Floer homology of K_{p/q}.
Let $X$ be a simply connected space and ${\Bbb F}_p$ be a prime field. The algebra of normalized singular cochains $N^*(X; {\Bbb F}_p)$ admits a natural homotopy structure which induces natural Steenrod operations on the Hochschild homology $HH_* N^*(X;{\Bbb F}_p)$ of the space $X$. The primary purpose of this paper is to prove that the J. Jones isomorphism $HH_*N^*(X;{\Bbb F}_p) \cong H ^*(X^{S^1};{\Bbb F}_p)$ identifies theses Stenrood operations with those defined on the cohomology of the free loop space with coefficients in ${\Bbb F}_p$. The other goal of this paper is to describe a theori…
We examine the dual of the so-called "hit problem", the latter being the problem of determining a minimal generating set for the cohomology of products of infinite projective spaces as module over the Steenrod Algebra $\mathcal{A}$ at the prime 2. The dual problem is to determine the set of $\mathcal {A}$-annihilated elements in homology. The set of $\mathcal{A}$-annihilateds has been shown by David Anick to be a free associative algebra. In this note we prove that, for each $k \geq 0$, the set of {\it $k$ partially $\mathcal{A}$-annihilateds}, the set of elements that are annihilated by $Sq^i…
Soergel bimodules and their Hochschild homology are known to be important in the context of link homology. In this article we observe that Soergel bimodules may be naturally identified as the cohomology of well-defined objects in the category of spectra. This allows us to define forms of Soergel bimodules over the integers after inverting 2, indexed by elements in Braid groups associated to compact Lie groups of adjoint type. Reducing the Soergel bimodules modulo an odd prime, we endow the bimodules with an action of the reduced Steenrod algebra. This action extends to an action of the reduced…
Withdrawn May 2005. There is an error in the even-dimensional case of the proof in the April 2005 version. The hoped-for 4-dimensional applications are unlikely to survive the repairs.
We generalize some of the fundamental results of algebraic topology from topological spaces to Čech's closure spaces, also known as pretopological spaces. Using simplicial sets and cubical sets with connections, we define three distinct singular (relative) simplicial and six distinct singular (relative) cubical (co)homology groups of closure spaces. Using acyclic models we show that the three simplicial groups have isomorphic cubical analogues among the six cubical groups. Thus, we obtain a total of six distinct singular (co)homology groups of closure spaces. Each of these is shown to have a c…
This paper presents an alternative approach to controlled surgery obstructions. The obstruction for a degree one normal map $(f,b): M^n \rightarrow X^n$ with control map $q: X^n \rightarrow B$ to complete controlled surgery is an element $σ^c (f, b) \in H_n (B, \mathbb{L})$, where $M^n, X^n$ are topological manifolds of dimension $n \geq 5$. Our proof uses essentially the geometrically defined $\mathbb{L}$-spectrum as described by Nicas (going back to Quinn) and some well known homotopy theory. We also outline the construction of the algebraically defined obstruction, and we explicitly describ…
The Bryant-Ferry-Mio-Weinberger surgery exact sequence for high-dimensional compact ANR homology manifolds is used to obtain transversality, splitting and bordism results for homology manifolds, generalizing previous work of Johnston.
Matveev introduced Borromean surgery on 3-manifolds, and proved that the equivalence relation on closed, oriented 3-manifolds generated by Borromean surgeries is characterized by the first homology group and the torsion linking pairing. Massuyeau generalized this result to closed, spin 3-manifolds, and the second author to compact, oriented 3-manifolds with boundary. In this paper we give a partial generalization of these results to compact, spin 3-manifolds with boundary.
To a link L in the 3-sphere, we associate a spectral sequence whose E^2 page is the reduced Khovanov homology of L and which converges to a version of the monopole Floer homology of the branched double cover. The pages E^k for k > 1 depend only on the mutation equivalence class of L. We define a mod 2 grading on the spectral sequence which interpolates between the delta-grading on Khovanov homology and the mod 2 grading on Floer homology. We also derive a new formula for link signature that is well-adapted to Khovanov homology. More generally, we construct new bigraded invariants of a framed l…
An explicit (-1)^n-quadratic form over Z[Z^{2n}] representing the surgery problem E_8 x T^{2n} is obtained, for use in the Bryant-Ferry-Mio-Weinberger construction of 2n-dimensional exotic homology manifolds.
We give a complete proof the Novikov isomorphism $\varOmega^{SU}\otimes \mathbb Z[\textstyle\frac12]\cong\mathbb Z[{\textstyle\frac12}][y_2,y_3,\ldots],\quad\mathrm{deg} y_i=2i$, where $\varOmega^{SU}$ is the $SU$-bordism ring. The proof uses the Adams spectral sequence and a description of the comodule structure of $H_*(MSU; \mathbb F_p)$ over the dual Steenrod algebra $\mathfrak A_p^*$ with odd prime $p$, which was also missing in the literature.
Under certain homological hypotheses on a compact 4-manifold, we prove exactness of the topological surgery sequence at the stably smoothable normal invariants. The main examples are the class of finite connected sums of 4-manifolds with certain product geometries. Most of these compact manifolds have non-vanishing second mod 2 homology and have fundamental groups of exponential growth, which are not known to be tractable by Freedman-Quinn topological surgery. Necessarily, the *-construction of certain non-smoothable homotopy equivalences requires surgery on topologically embedded 2-spheres an…
Let $\mathcal P_{n}:=H^{*}((\mathbb{R}P^{\infty})^{n}) \cong \mathbb F_2[x_{1},x_{2},\ldots,x_{n}]$ be the polynomial algebra over the prime field of two elements, $\mathbb F_2.$ We investigate the Peterson hit problem for the polynomial algebra $\mathcal P_{n},$ viewed as a graded left module over the mod-$2$ Steenrod algebra, $\mathcal{A}.$ For $n>4,$ this problem is still unsolved, even in the case of $n=5$ with the help of computers. The purpose of this paper is to continue our study of the hit problem by developing a result in \cite{ph31} for $\mathcal P_n$ in the generic degree $r(2^s-1)…
The notion of a pseudocycle is introduced by McDuff and Salamon (J-holomorphic curves and quantum cohomology, University Lecture Series, Vol. 6, AMS (1994)) to provide a framework for defining Gromov-Witten invariants and quantum cohomology. This paper studies the bordism groups of pseudocycles, called pseudohomology groups. These are shown to satisfy the Eilenberg-Steenrod axioms. For smooth compact manifold pairs, it is proved that pseudohomology is naturally equivalent to homology. Easy examples show that this equivalence does not extend to the case of non-compact manifolds.
The element $P_2^1$ of the mod 2 Steenrod algebra has the property $(P_2^1)^2=0$. This property allows one to view $P_2^1$ as a differential on $H_*(X, \mathbb{F}_2)$ for any spectrum $X$. Homology with respect to this differential, $\mathcal{M}(X, P_2^1)$, is called the $P_2^1$ Margolis homology of $X$. In this paper we give a complete calculation of the $P_2^1$ Margolis homology of the 2-local spectrum of topological modular forms $tmf$ and identify its $\mathbb{F}_2$ basis via an iterated algorithm. We apply the same techniques to calculate $P_2^1$ Margolis homology for any smash power of $…
We generalize the results of a previous paper of ours to compact Lie groups. Using a recently developed ordinary equivariant homology and cohomology, we define equivariant Poincare complexes with the properties that (1) every compact G-manifold is an equivariant Poincare complex, (2) every finite equivariant Poincare complex (with some mild additional hypotheses) has an equivariant spherical Spivak normal fibration, and (3) the Pi-Pi Theorem holds for equivariant Poincare pairs under suitable gap hypotheses. The nice behavior of the ordinary equivariant homology and cohomology theories allows …
We provide a framework for the study of structured manifolds with singularities and their locally determined invariants. This generalizes factorization homology, or topological chiral homology, to the setting of singular manifolds equipped with various tangential structures. Examples of such factorization homology theories include intersection homology, compactly supported stratified mapping spaces, and Hochschild homology with coefficients. Factorization homology theories for singular manifolds are characterized by a generalization of the Eilenberg-Steenrod axioms. Using these axioms, we exte…
In this paper we show that certain universal homology classes which are fundamental in topology are algebraic. To be specific, the products of Eilenberg-MacLane spaces ${\cal K}_{2q} \equiv K({\Bbb Z},2) \times K({\Bbb Z}, 4) \times ... \times K({\Bbb Z}, 2q)$ have models which are limits of complex projective varieties. Precisely, we have ${\cal K}_{2q} = \lim_{d\to\infty}{\cal C}_d^q({\Bbb P}^n)$ where ${\cal C}_d^q({\Bbb P}^n)$ denotes the Chow variety of effective cycles of codimension $q$ and degree $d$ on ${\Bbb P}^n$. It is natural to ask which elements in the homology of ${\cal K}_{2q}…
We show an Uhlenbeck type estimate for closed simply connected manifolds which provides the existence of certain exact sequences in K-area homology. This leads to the behavior of the K-area homology under surgery. Moreover, we give an index theoretic obstruction to positive scalar curvature on compact spin manifolds with boundary.
