arXiv research

Computes Steenrod squares on Khovanov homology for knots up to 11 crossings.

Proposes a method to compute the second Steenrod square for odd Khovanov homology.

Researchers find a Steenrod square for link Floer homology.

New operations match Steenrod squares on Khovanov homology.

We define a second Steenrod square for virtual links, which is stronger than Khovanov homology for virtual links, toward constructing Khovanov-Lipshitz-Sarkar stable homotopy type for virtual links. This induces the first meaningful nontrivial example of the second Steenrod square operator on the Khovanov homology for …

We prove a conjecture raised by M. Goresky and W. Pardon, concerning the range of validity of the perverse degree of Steenrod squares in intersection cohomology. This answer turns out of importance for the definition of characteristic classes in the framework of intersection cohomology. For this purpose, we present a c…

New knots found with non-trivial Steenrod operations on Khovanov homology.

The groups of differential characters of Cheeger and Simons admit a natural multiplicative structure. The map given by the squares of degree 2k differential characters reduces to a homomorphism of ordinary cohomology groups. We prove that the homomorphism factors through the Steenrod squaring operation of degree 2k. A …

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 Khova…

The Lipshitz-Sarkar stable homotopy link invariant defines Steenrod squares on the Khovanov cohomology of a link. Lipshitz-Sarkar constructed an algorithm for computing the first two Steenrod squares. We develop a new algorithm which implements the flow category simplification techniques previously defined by the autho…

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, …

We characterize primary operations in differential cohomology via stacks, and illustrate by differentially refining Steenrod squares and Steenrod powers explicitly. This requires a delicate interplay between integral, rational, and mod p cohomology, as well as cohomology with U(1) coefficients and differential forms. A…

New homotopy types defined for links in thickened surfaces with higher genus.

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 a…

If F is a family of mod 2 flat k-cycles in the unit n-ball, we lower bound the maximal volume of any cycle in F in terms of the homology class of F in the space of all cycles. We give examples to show that these lower bounds are fairly sharp.

This paper uses Steenrod homology to simplify surgery on generalized manifolds.

We indicate how to combine some classical topology (Thom's work on the Steenrod problem) with some modern topology (simplicial volume) to show that every map between certain manifolds must have degree zero. We furthermore discuss a homotopy theoretic interpretation of parts of our proof, using Thom spaces and Steenrod …

In a previous paper we constructed a spectrum-level refinement of Khovanov homology. This refinement induces stable cohomology operations on Khovanov homology. In this paper we show that these cohomology operations commute with cobordism maps on Khovanov homology. As a consequence we obtain a refinement of Rasmussen's …

Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This paper is primarily concerned with the case of compacta, in which Steenrod homot…

Computes cohomology of Steenrod algebra for k ≤ 5.

We prove the Myers-Steenrod theorem for local topological groups of isometries acting on pointed $\mathcal{C}^{k,α}$-Riemannian manifolds, with $k+α>0$. As an application, we infer a new regularity result for a certain class of locally homogeneous Riemannian metrics.

Defines a new Rasmussen invariant over integers and improves knot slice genus bounds.

We compute the sets of degrees of maps between principal $SU(2)$-bundles over $S^5$, i.e. between any of the manifolds $SU(2)\times S^5$ and $SU(3)$. We show that the Steenrod squares provide the only obstruction to the existence of a mapping degree between these manifolds, and construct explicit maps realizing each in…

In this paper we aim for a generalisation of the Steenrod Approximation Theorem from, concerning a smoothing procedure for sections in smooth locally trivial bundles. The generalisation is that we consider locally trivial smooth bundles with a possibly infinite-dimensional typical fibre. The main result states that a c…

New proofs confirm travel time data determine simple metrics on a disc.

We prove a version of Myers-Steenrod's theorem for Finsler manifolds under minimal regularity hypothesis. In particular we show that an isometry between $C^{k,α}$-smooth (or partially smooth) Finsler metrics, with $k+α>0$, $k\in \mathbb{N} \cup \{0\}$, and $0 \leq α\leq 1$ is necessary a diffeomorphism of class $C^{k+1…

Spaces containing compact subsets with polyhedral complements are studied.

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, …

Incompatible operations affect Khovanov homology and spectral sequences.

Lifts an $\mathfrak{sl}_2$ action to annular Khovanov homology's stable refinement.

This paper reinterprets Khovanov-Sano symmetries using BV formalism.

This paper is on homotopy classification of maps of (n+1)-dimensional manifolds into the n-dimensional sphere. For a continuous map f of an (n+1)-manifold into the n-sphere define the degree deg f to be the class dual to f^*[S^n], where [S^n] is the fundamental class. We present a short and direct proof of the followin…

Affirmative answer to a question about a map extending normal invariants.

This paper considers fundamental issues related to Finslerian isometries, submetries, distance and geodesics. It is shown that at each point of a Finsler manifold there is a distance coordinate system. Using distance coordinates, a simple proof is given for the Finslerian version of the Myers-Steenrod theorem and for t…

The Hopf conjecture states that an even-dimensional, positively curved Riemannian manifold has positive Euler characteristic. We prove this conjecture under the additional assumption that a torus acts by isometries and has dimension bounded from below by a logarithmic function of the manifold dimension. The main new to…

In this paper we prove that an isometry between orbit spaces of two proper isometric actions is smooth if it preserves the codimension of the orbits or if the orbit spaces have no boundary. In other words, we generalize Myers-Steenrod's theorem for orbit spaces. These results are proved in the more general context of s…

We introduce and develop fine shape, which has a very simple definition and aims to supersede all previously known shape theories for metrizable spaces. The problem with known shape theories of metrizable spaces is illustrated by the following bizarre situation. Čech cohomology is an invariant of shape, and a fortiori …

We show how the families Seiberg-Witten invariants of a family of smooth $4$-manifolds can be recovered from the families Bauer-Furuta invariant via a cohomological formula. We use this formula to deduce several properties of the families Seiberg-Witten invariants. We give a formula for the Steenrod squares of the fami…

We prove existence of harmonic coordinates for the nonlinear Laplacian of a Finsler manifold and apply them in a proof of the Myers--Steenrod theorem for Finsler manifolds. Different from the Riemannian case, these coordinates are not suitable for studying optimal regularity of the fundamental tensor, nevertheless, we …

Inspired by Kronheimer and Mrowka's approach to monopole Floer homology, we develop a model for $\mathbb{Z}/2$-equivariant symplectic Floer theory using equivariant almost complex structures, which admits a localization map to a twisted version of Floer cohomology in the invariant set. We then present applications to S…

Extends Adams' theorem to periodic cohomology.

New examples show immersions not homologous to embeddings.

We develop a new purely combinatorial approach to N. Steenrod's problem on realisation of cycles. We prove that every n-dimensional homology class of every topological space can be realised with some multiplicity by an image of a finite-fold covering over the manifold M^n, where M^n is the isospectral manifold of real …

Geometrically interprets cup products and defines combinatorial Pin structures.

This is a survey paper, starting from the general notion of coordinate bundle taken from Steenrod. Its aim is to provide a motivation for the introduction of cyclic homology (and the closely related noncommutative de Rham cohomology) by Connes, Tsygan and the author. The bridge is made through a generalization of Chern…

Classifies Spin(7) structures on compact 8-manifolds with abelian fundamental group.

The paper proves a Whitehead theorem for fine shape spaces.

Elementary geometric arguments are used to compute the group of homotopy classes of maps from a 4-manifold X to the 3-sphere, and to enumerate the homotopy classes of maps from X to the 2-sphere. The former completes a project initiated by Steenrod in the 1940's, and the latter provides geometric arguments for and exte…