Khovanov–Lipshitz–Sarkar homotopy type for links in thickened higher genus surfaces

We discuss links in thickened surfaces. We define the Khovanov–Lipshitz–Sarkar stable homotopy type and the Steenrod square for the homotopical Khovanov homology of links in thickened surfaces with genus [Formula: see text]. A surface means a closed oriented surface unless otherwise stated. Of course, a surface may or may not be the sphere. A thickened surface means a product manifold of a surface and the interval. A link in a thickened surface (respectively, a 3-manifold) means a submanifold of a thickened surface (respectively, a 3-manifold) which is diffeomorphic to a disjoint collection of circles. Our Khovanov–Lipshitz–Sarkar stable homotopy type and our Steenrod square of links in thickened surfaces with genus [Formula: see text] are stronger than the homotopical Khovanov homology of links in thickened surfaces with genus [Formula: see text]. It is the first meaningful Khovanov–Lipshitz–Sarkar stable homotopy type of links in 3-manifolds other than the 3-sphere. We point out that our theory has a different feature in the torus case.

From Pseudo-Rotations to Holomorphic Curves via Quantum Steenrod Squares

In the context of symplectic dynamics, pseudo-rotations are Hamiltonian diffeomorphisms with finite and minimal possible number of periodic orbits. These maps are of interest in both dynamics and symplectic topology. We show that a closed, monotone symplectic manifold, which admits a nondegenerate pseudo-rotation, must have a deformed quantum Steenrod square of the top degree element and hence nontrivial holomorphic spheres. This result (partially) generalizes a recent work by Shelukhin and complements the results by the authors on nonvanishing Gromov–Witten invariants of manifolds admitting pseudo-rotations.

The total Steenrod operation is induced by an A∞ ring homomorphism

Let X be a (based) space of the homotopy type of a CW-complex. Let H(X) denote the classical (ungraded) cohomology ring Πi≥0Hi (X;Z/2). In [1] Atiyah and Hirzebruch described the group of natural ring automorphisms of H(X) (‘cohomology automorphisms’) with group operation given by composition. They showed that is isomorphic to the group of formal power series of the form with group operation given by ‘substitution’ of one power series into another. In particular the most famous ‘cohomology automorphism’, the total Steenrod Square, corresponds to x + x2.

Cohomology operations and duality

Since Thom first introduced the notion of the ‘dual’ of a Steenrod square, in (12), it has become apparent that calculation with such duals in the cohomology of, say, a simplicial complex X will often yield information about the impossibility of embedding X in Sn, for certain values of n. For example, the celebrated theorem that cannot be embedded in can easily be proved in this way. In this paper, we seek to generalize this method to any pair of extraordinary cohomology theories h* and k*, and natural stable cohomology operation θ: h* → k*. We show in section 3 that a simplicial embeddingf: X → Sn gives rise via the Alexander duality isomorphism to a homology operationwhich is independent of n, the particular embedding f, and even the particular triangulations of X and Sn. If h* and k* are multiplicative cohomology theories, there are Kronecker productsif h0(S0) = k0(S0) = G, a field, and the Kronecker products make h*, h* and k*, k* into dual vector spaces over G, then can be turned into a cohomology operation c(θ): k*(X)→h*(X), by using this duality. This is certainly true if h* = k* = H*(;Zp), p prime, and in this case we have the original situation considered by Thom, who showed, for example, that

On the Adem relations

Let p be a prime and let Pi denote the Steenrod p-power if p ≠ 2 and the Steenrod square Sqi if p = 2. If p ≠ 2 let β denote the Bockstein co-boundary (defined so as to anticommute with suspension).