Abstract
Given an mperiodic link \(L\subset S^3\), we show that the Khovanov spectrum \(\mathcal {X}_L\) constructed by Lipshitz and Sarkar admits a group action. We relate the Borel cohomology of \(\mathcal {X}_L\) to the equivariant Khovanov homology of L constructed by the second author. The action of Steenrod algebra on the cohomology of \(\mathcal {X}_L\) gives an extra structure of the periodic link. Another consequence of our construction is an alternative proof of the localization formula for Khovanov homology, obtained first by Stoffregen and Zhang. By applying the Dwyer–Wilkerson theorem we express Khovanov homology of the quotient link in terms of equivariant Khovanov homology of the original link.
Introduction
Overview
Khovanov homology [27] is a link invariant that assigns to any diagram \(D \subset \mathbb {R}^{2}\) of a link \(L\subset S^3\) a bigraded cochain complex \({{\,\mathrm{CKh}\,}}^{*,*}(D)\), whose homology groups, \({{\,\mathrm{Kh}\,}}^{*,*}(D)\), are a link invariant. Inspired by the construction of Cohen et al. [10], Lipshitz and Sarkar [33] constructed a spatial refinement of Khovanov homology.
Theorem 1.1
[33, Theorem 1.1] Let D be a diagram representing an oriented link \(L \subset S^3\). For any \(q \in \mathbb {Z}\) there exists a CWcomplex \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{q}(D)\) such that the reduced cellular cochain complex \(\widetilde{C}^*(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{q}(D);\mathbb {Z})\) is a copy of the Khovanov complex \({{\,\mathrm{CKh}\,}}^{*,q}(D;\mathbb {Z})\). In particular \(\widetilde{H}^i(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{q}(D);\mathbb {Z})\) is equal to \({{\,\mathrm{Kh}\,}}^{i,q}(D;\mathbb {Z})\). Moreover, the stable homotopy type of \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{q}(D)\) is an invariant of the link L.
Define \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D) = \bigvee _{q} \mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{q}(D)\). We will often write \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(L)\) instead of \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D)\) noting that \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(L)\) is defined up to stable homotopy. The space \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(L)\) is called the Khovanov homotopy type of a link L. There are various constructions of the Khovanov homotopy type, see [15, 22, 28, 33], we refer to [32] for a survey.
Given a link in \(S^1\times D^2\), in [1] Asaeda et al. (see also [41]) showed that the wrapping number around the \(S^{1}\) factor induces a filtration of the Khovanov complex
The annular Khovanov homology of L, denoted \({{\,\mathrm{AKh}\,}}^{*,*,*}(L)\), is the homology of the associated graded cochain complex \({{\,\mathrm{CAKh}\,}}^{*,*,*}(L)\). Lifting the annular grading to the Khovanov flow category, leads to a construction of the annular Khovanov homotopy type \(\mathcal {X}_{{{\,\mathrm{AKh}\,}}}(L) = \bigvee _{j,k \in \mathbb {Z}} \mathcal {X}_{{{\,\mathrm{AKh}\,}}}^{j,k}(L)\), i.e. a spatial refinement of the annular Khovanov homology.
A link L in \(S^3\) is said to be mperiodic if there exists an orientationpreserving action of a cyclic group \(\mathbb {Z}_m\) on \(S^3\) such that L is an invariant subset of \(S^3\) and the fixed point set is an unknot disjoint from L. A diagram D of a link L is called mperiodic if \(0 \not \in D\) and D is invariant under rotation \(\rho _{m}\) of order m of the plane about the point \(0 \in \mathbb {R}^{2}\). The Khovanov complex of an mperiodic link admits an induced action of \(\mathbb {Z}_{m}\) [8, 38].
Removing a tubular neighborhood of the fixed point axis F of the rotation of \(S^{3}\) produces an annular link \(L \subset S^{1} \times D^{2}\) invariant under a fixed pointfree rotation of \(S^{1} \times D^{2}\). Such links in \(S^{1} \times D^{2}\) are also called mperiodic. The \(\mathbb {Z}_{m}\)action on the Khovanov complex preserves the filtration (1.1), hence it descends to a \(\mathbb {Z}_{m}\)action on the annular Khovanov chain complex.
The primary purpose of this paper is to study the Khovanov homotopy type and the annular Khovanov homotopy type of periodic links. The following two theorems constitute the central geometric part of the present article.
Theorem 1.2

(a)
Let \(D_{m}\) be an mperiodic diagram of an annular link L.

(1)
For any \(q,k \in \mathbb {Z}\), \(\mathcal {X}_{{{\,\mathrm{AKh}\,}}}^{q,k}(D_{m})\) admits an action of the finite cyclic group of order m which is compatible with the action of \(\mathbb {Z}_{m}\) on the annular Khovanov complex of \(D_{m}\).

(2)
The equivariant annular stable homotopy type of \(\mathcal {X}_{{{\,\mathrm{AKh}\,}}}^{q,k}(D_{m})\) is an invariant of the associated annular mperiodic link.

(1)

(b)
Let \(D_{m}\) be a mperiodic link diagram.

(1)
For any \(q \in \mathbb {Z}\), \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}^q(D_{m})\) admits an action of the finite cyclic group of order m which is compatible with the action of \(\mathbb {Z}_{m}\) on the Khovanov complex of \(D_{m}\).

(2)
The equivariant stable homotopy type of \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}^q(D_{m})\) is an invariant of the associated mperiodic link.

(1)
If we set \(m=p\) a prime number, we have the following result.
Theorem 1.3
(Geometric fixed point theorem)

(a)
Let \(D_{p}\) be a pperiodic diagram of an annular link L and let D be the associated quotient diagram. For any \(q,k \in \mathbb {Z}\)
$$\begin{aligned} \mathcal {X}^{q',k}_{{{\,\mathrm{AKh}\,}}}(D_{p})^{\mathbb {Z}_{p}} = \mathcal {X}^{q,k}_{{{\,\mathrm{AKh}\,}}}(D), \end{aligned}$$where \(q' = pq  (p1)k\).

(b)
If \(D_p\) is a pperiodic link diagram and D is the associated quotient diagram. Then for any \(q\in \mathbb {Z}\)
$$\begin{aligned} \mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{q}(D_{p})^{\mathbb {Z}_{p}} = \bigvee _{\begin{array}{c} q',k' \in \mathbb {Z}\\ pq'(p1)k'=q \end{array}} \mathcal {X}_{{{\,\mathrm{AKh}\,}}}^{q',k'}(D). \end{aligned}$$
From Theorems 1.2 and 1.3, we can obtain nontrivial relations between the (annular) Khovanov homology of a periodic link and the annular Khovanov homology of the quotient thereof. The simplest forms of the relation are the following versions of the Smith inequality.
Theorem 1.4
Let p be a prime and let \(L_{p}\) be a pperiodic link with associated quotient link L. Then, for every \(q,k \in \mathbb {Z}\) the following holds
Theorem 1.5
For any pperiodic link \(L_{p} \subset S^{3}\) and any \(q \in \mathbb {Z}\) we have
Lipshitz and Sarkar [34] showed that the action of stable cohomology operations on the Khovanov homology might lead to substantially stronger link invariants. Similarly, in our case, stable cohomology operations can be used to strengthen Theorems 1.4 and 1.5. As a corollary of our construction, we obtain Theorem 8.10, which gives a functorial way to determine the annular Khovanov homology of the quotient link from the equivariant (annular) Khovanov homology of a periodic link. To be more precise, we show in Theorem 8.3 that equivariant (annular) Khovanov homology is isomorphic to the Borel equivariant cohomology of \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}\) (respectively \(\mathcal {X}_{{{\,\mathrm{AKh}\,}}}\)). Careful analysis of the action of the Steenrod algebra on appropriately localized Borel cohomology, see [14], recovers the cohomology of the fixed point set \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{\mathbb {Z}_{p}}\) (\(\mathcal {X}_{{{\,\mathrm{AKh}\,}}}^{\mathbb {Z}_{p}}\), respectively). Finally, by Theorem 1.3 we know that \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{\mathbb {Z}_{p}}\) (and \(\mathcal {X}_{{{\,\mathrm{AKh}\,}}}^{\mathbb {Z}_{p}}\)) are determined by \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}\) (and \(\mathcal {X}_{{{\,\mathrm{AKh}\,}}}\)) of the corresponding quotient link. This gives a passage from the Khovanov homology of a pperiodic link to the Khovanov homology of the quotient (with coefficients in \(\mathbb {Z}_p\)). For details we refer to Sect. 8.4. Furthermore, a careful study of stable cohomology operations leads to a refinement of the periodicity criterion of [5], for which we refer the reader to a separate paper [39].
General context
Since the advent of various homological invariants for threemanifolds or knots in threemanifolds, there has been a question on the behavior of these invariants under passing to the quotient by a group action. One direction of the research was in the Floer theory. Early results in knot Floer homology include Levine’s paper [30], which was later used by Hendricks to obtain a rank inequality for knots in double branched covers (see [18]). More recent advances in this direction include another paper of Hendricks [19], and finally, a paper by Lidman and Manolescu [31], where Smithtype inequalities are obtained for monopole Floer and Heegaard Floer homologies.
For Khovanov homology theory, the first localization results were obtained by Seidel and Smith [44], where the authors used their own definition of Khovanov homology based on the Lagrangian Floer theory [43]. Note that the equivalence of the SeidelSmith Khovanov homology with the original one is still conjectural in positive characteristic. Motivated by their results, Hendricks et al. [20] constructed equivariant Lagrangian Floer theory for more general groups.
The classical combinatorial definition of Khovanov homology enables an equivariant version [38], generalizing earlier constructions of Chbili [8].
In order to study Khovanov homology using techniques from algebraic topology, it is convenient to realize Khovanov homology of a link as the singular homology of a topological space. In a series of papers, Lipshitz and Sarkar, later also with Lawson, defined and studied the socalled Khovanov homotopy type [28, 33,34,35] (see also [9] for a review in a language of algebraic topology) with the property that cohomology of the space is the Khovanov homology of a link. A question remained whether Khovanov homotopy type (sometimes called ‘Khomotopy type’) that they constructed admits a group action if the underlying link is periodic.
The affirmative answer was given in the first version of this paper, and, independently by Stoffregen and Zhang [46]. The updated version of this paper contains proofs of fixed point results, which were not present in the first version. In particular, Theorems 1.2 and 1.3 were proved first by Stoffregen and Zhang. Note that the two constructions, even though they lead to the same result, are of substantially different nature. Stoffregen and Zhang use the approach to Khovanov homotopy type via the Burnside category [28]. Conceptually, this approach seems to require more casebycase analysis. On the other hand, Burnside rings have deep connections with ordinary homology theory and Mackey functors; see the book of Costenoble and Waner [11]. Therefore, the construction of equivariant Khovanov homology via Burnside rings has the potential of revealing deeper structure in the equivariant Khovanov homology.
On the contrary, our approach is very concrete and downtoearth. Most of the arguments reduce either to the Riemann–Hurwitz formula or to Counting Moduli Lemma 6.6, which is a direct application of relations in \({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}\). Moreover, we give a specific and conceptual reason why the fixed point category of the Khovanov flow category is the annular Khovanov flow category and not just the Khovanov flow category; see Sect. 7, especially Lemma 7.5.
Even more important is that we get an explicit cell decomposition of geometric realizations. Consequently, without much effort we obtain an identification of the chain complex \(C_*(\mathcal {X}_{{{\,\mathrm{Kh}\,}}})\) with the Khovanov chain complex \({{\,\mathrm{CKh}\,}}\) as \(R[\mathbb {Z}_m]\) modules (for some ring R); see Proposition 8.2. It follows that Borel homology of the geometric realization is the equivariant Khovanov homology defined by Politarczyk. Theorem 8.3 might seem to have complicated proof, but this is because we have rather general assumptions on the coefficient module. Finally, methods of algebraic topology, like the Dwyer–Wilkerson theorem, allow us to recover the annular homology of the quotient link in terms of the equivariant Khovanov homology of the original link; see Theorem 8.10. The latter result is not present in the Stoffregen–Zhang paper. Furthermore, to the best of our understanding, passing from the results of Stoffregen and Zhang to Theorem 8.10 might require a few steps.
We expect that the equivariant homotopy type of Stoffregen–Zhang is equivariantly homotopy equivalent to our construction. We do not have proof of that fact.
The special case (\(p=2\)) of Theorem 1.4 was proved by Zhang [51]. She also proved Corollary 1.5 for \(p=2\) and certain classes of periodic links.
Outline of the paper
Our construction of the equivariant Khovanov homotopy type is based on the construction of the Khovanow homotopy type via cubical flow categories [28], which is a simplification of the original construction [33]. We consider an equivariant version of cubical flow category, called equivariant cubical flow category (see Sect. 3.4). A remarkable difference from the nonequivariant definition is that the grading function \({{\,\mathrm{gr}\,}}\) is replaced by an equivariant grading function \({{\,\mathrm{gr}\,}}_G\) taking values in the representation ring RO(G). Consequently, the moduli spaces are expected to be of dimension \({{\,\mathrm{gr}\,}}_G(x){{\,\mathrm{gr}\,}}_G(y)\) (refer to Definition A.7 for the definition of “dimension” in this setting). This approach is motivated by the construction of ordinary (Bredon) homology theory [11], and it makes the construction of equivariant Khovanov homotopy type significantly simpler.
After defining equivariant cubical flow categories and a suitable generalization of the notion of a neat embedding to the equivariant case, we construct the equivariant Khovanov homotopy type. Thanks to the choice of the grading function, this part of the construction is straightforward.
To show invariance under the choice of link diagram, we need to do substantially more work. The key tool is, as in [33], the Whitehead theorem, but in the equivariant case, the assumptions of the Whitehead theorem are much harder to verify. In particular, before proving invariance, we have to study fixed points of the equivariant cubical flow category; Sect. 3.8 is devoted to this study. Apart from that, the invariance of the group action on the choice of the diagram is proved analogously as in the nonequivariant case.
The fixed point theorem requires even more work. From Sect. 3.8, we know that the fixed point category is a cubical flow category, but we need to show that this category is the (annular) Khovanov flow category of the associated quotient link. This is the statement of Theorem 7.1. The proof requires a more indepth understanding of topological and combinatorial properties of the morphism spaces \(\mathcal {M}(x,y)\). The general idea is to use Bar–Natan’s formulation of the Khovanov theory in terms of dotted cobordisms. A moduli space \(\mathcal {M}(x,y)\) is nontrivial if there exists a suitable cobordism \(\Sigma \) between resolution configurations. Counting Moduli Lemma 6.6 expresses the number of connected components of the moduli spaces in terms of the genera of the components of \(\Sigma \). If we pass to a cover, we can use the Riemann–Hurwitz Theorem to study the genus of the cover of the cobordism. Then, Bar–Natan’s formalism allows us to relate the moduli spaces of the periodic link and the moduli space of its quotient link.
Next, we pass to homological statements. Our primary tool is the BQAS (Borel–Quillen–Atiyah–Segal) Localization Theorem [3, 40] and a Smithtype inequality [45] which relates the rank of the homology groups of a periodic knot with the rank of the homology group of the quotient knot. As an immediate corollary of Theorem 1.2 we obtain Smith inequalities for (annular) Khovanov homology.
While analogs of the BQAS Localization Theorem recover only the rank of the homology of the quotient knot, by applying more refined tools from algebraic topology we obtain a significantly stronger result. Indeed, using the result of Dwyer and Wilkerson [14], it is possible to give a complete description of the Khovanov homology of the quotient knot in terms of the equivariant Khovanov homology of a pperiodic knot, for a prime p. By Theorem 8.3, the Borel cohomology of \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D)\) can be identified with the equivariant Khovanov homology \({{\,\mathrm{EKh}\,}}^{*,*}(L;\mathbb {F}_{p})\) introduced by the second author [38]. Repeating the construction of [38] one can obtain the equivariant annular Khovanov homology \({{\,\mathrm{EAKh}\,}}^{*,*,*}(L;\mathbb {F}_{p})\), which, by an analog of Theorem 8.3, is isomorphic to the Borel cohomology of \(\mathcal {X}_{{{\,\mathrm{AKh}\,}}}(L)\). Therefore, \({{\,\mathrm{EKh}\,}}^{*,*}(L;\mathbb {F}_{p})\) and \({{\,\mathrm{EAKh}\,}}^{*,*,*}(L;\mathbb {F}_{p})\) admit an action of the cohomology algebra \(H^{*}(B\mathbb {Z}_{p};\mathbb {F}_{p})\), of the classifying space of \(\mathbb {Z}_{p}\) and the action of the mod p Steenrod algebra \(\mathcal {A}_{p}\). These two algebraic structures are sufficient to recover the annular Khovanov homology of the quotient knot from equivariant annular Khovanov homology of the periodic knot, as shown in Theorem 8.10.
The structure of the paper is as follows. Section 2 recalls the construction of Lipshitz and Sarkar. The reader familiar with the construction can skim through this section, maybe except Sect. 2.2, where the degree of the cover map \(\mathfrak {f}\) is expressed in terms of maximal chains in suitably defined posets. Section 3 generalizes the construction of a geometric realization of a cubical flow category to the construction of a geometric realization of an equivariant cubical flow category. The results in this section are stated for general equivariant flow categories and general finite groups.
Section 4 deals with Khovanov homotopy type. We construct the equivariant Khovanov flow category as well as its annular analog. We show that passing to geometric realization yields a space that is independent of various choices up to equivariant stable homotopy equivalence. This independence is proved in Sect. 5. In Sect. 6, we make preparatory steps to prove the fixedpoint theorems. We recall Bar–Natan’s construction of Khovanov homology via \({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}\)category and use this construction to establish Counting Moduli Lemma 6.6, which computes the number of connected components of the moduli space in terms of the genus of the cobordism in Bar–Natan’s setting. Sect. 7 proves Categorical Fixed Point Theorem (Theorem 7.1).
In Sect. 8, we change the setting and deal with homologies of geometric realizations. We show that Borel homology of the equivariant geometric realization of the Khovanov category coincides with Politarczyk’s equivariant Khovanov homology of a periodic link (Theorem 8.3). The Dwyer–Wilkerson theory allows us to calculate the Khovanov homology of a quotient link in terms of the equivariant Khovanov homology of the associated periodic link, see Theorem 8.10.
Some technical results are moved to the Appendix. In Appendix A, we review the definitions of manifolds with corners, while in Appendix B, we review the definition and basic properties of permutohedra. We also establish a technical result, Proposition B.11, which essentially says that the intersection of a permutohedron with a hyperplane is a permutohedron of lower dimension. To the best of our knowledge, it is a result not known in the literature. A consequence of this technical fact is Proposition B.18. It states that if a group acts on \(\mathbb {R}^n\) by permuting coordinates, a fixed point set of a permutohedron is again a permutohedron.
Finally, we note that we present detailed examples of computations in a forthcoming paper [4].
Flow categories and their geometric realizations
Flow categories
In this section we use the notion of an \(\langle n\rangle \)manifold introduced in the Appendix A. The necessary background on permutohedra is given in Appendix B.
Definition 2.1
A flow category is a topological category \(\mathcal {C}\) such that the set of objects is finite, discrete, and is equipped with a grading function \({{\,\mathrm{gr}\,}}_{\mathcal {C}} :{{\,\mathrm{Ob}\,}}(\mathcal {C}) \rightarrow \mathbb {Z}\). Morphism spaces satisfy the following three conditions:

(FC1)
For any \(x \in {{\,\mathrm{Ob}\,}}(\mathcal {C})\), \(\hom _{\mathcal {C}}(x,x) = \{id\}\).

(FC2)
For any \(x, y \in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) with \({{\,\mathrm{gr}\,}}(x){{\,\mathrm{gr}\,}}(y) = d\), \(\hom _{\mathcal {C}}(x,y)\) is a (possibly empty) \((d1)\)dimensional \(\langle d1 \rangle \)manifold.

(FC3)
If \({{\,\mathrm{gr}\,}}(x){{\,\mathrm{gr}\,}}(y) = d\), then the composition maps induce diffeomorphisms of \(\langle d2 \rangle \)manifolds
$$\begin{aligned} \bigsqcup _{{\mathop {{{\,\mathrm{gr}\,}}(z)  {{\,\mathrm{gr}\,}}(y)=i}\limits ^{z \in {{\,\mathrm{Ob}\,}}(\mathcal {C}) \setminus \{x,y\}}}} \hom _{\mathcal {C}}(z,y) \times \hom _{\mathcal {C}}(x,z) \cong \partial _i \hom _{\mathcal {C}}(x,y). \end{aligned}$$Moreover, for any \(x,y \in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) we define the moduli space from x to y as
$$\begin{aligned} \mathcal {M}_{\mathcal {C}}(x,y) = {\left\{ \begin{array}{ll} \hom _{\mathcal {C}}(x,y), &{} \text { if } x \ne y, \\ \emptyset , &{} \text { otherwise}. \end{array}\right. } \end{aligned}$$
If \(\tau \in \mathbb {Z}\), we define the \(\tau \)th suspension of \(\mathcal {C}\), \(\Sigma ^\tau (\mathcal {C})\), to be the flow category with the same objects and morphisms and associated grading function
Definition 2.2
(see [28, Section 3.1]) The cube flow category \({{\,\mathrm{Cube}\,}}(n)\), for \(n \in \mathbb {Z}_{+}\), is the flow category such that:

(1)
\({{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube}\,}}(n)) = \{0,1\}^n\) with grading defined by
$$\begin{aligned} {{\,\mathrm{gr}\,}}(u) = u=\sum _i u_i, \end{aligned}$$where \(u = (u_1,u_2,\ldots ,u_n)\). The set of objects of \({{\,\mathrm{Cube}\,}}(n)\) can be partially ordered:
$$\begin{aligned} u \ge v, \quad \text { if } u_{i} \ge v_{i} \text { for all } 1 \le i \le n. \end{aligned}$$For two objects \(u > v\) of the flow category with \({{\,\mathrm{gr}\,}}(u)  {{\,\mathrm{gr}\,}}(v)=d\) we define
$$\begin{aligned} \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v) = \Pi _{d1} \subset \prod _{i :u_i > v_i} \mathbb {R}, \end{aligned}$$where \(\Pi _{d1}\) is a \((d1)\)dimensional permutohedron as in Definition B.1.

(2)
Composition of morphisms
$$\begin{aligned} \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(w,v) \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,w) \rightarrow \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v) \end{aligned}$$(2.1)is defined with the aid of identification from Lemma B.4. Namely, for a triple of objects \(u> w > v\) such that \({{\,\mathrm{gr}\,}}(u)  {{\,\mathrm{gr}\,}}(w) = k\), \({{\,\mathrm{gr}\,}}(w)  {{\,\mathrm{gr}\,}}(v) = l\), there exists \(a_{1}, a_{2},\ldots , a_{k+l} \in \{1,2\ldots ,n\}\) with \(a_{1}< a_{2}< \cdots < a_{k+l}\), such that
$$\begin{aligned} u_{a_1}=u_{a_2}=\cdots = u_{a_{k+l}}=1, \quad v_{a_1}=v_{a_2}=\cdots = v_{a_{k+l}}=0, \end{aligned}$$and \(u_{j} = v_{j}\), for \(j \ne a_{1}, a_{2}, \ldots , a_{k+l}\). Let \(\mathcal {P}\) be the subset of \(\{1,2,\ldots ,k+l\}\) consisting of indices s such that \(w_{a_s}=1\). By Lemma B.4 the facet (see Sect. B.1 for terminology) \(\Pi _{\mathcal {P}}\) of \(\Pi _{k+l1}\) can be identified with
$$\begin{aligned} \Pi _{l1} \times \Pi _{k1} = \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(w,v) \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,w). \end{aligned}$$The composition (2.1) is given by the embedding map
$$\begin{aligned} \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(w,v) \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,w) = \Pi _{l1} \times \Pi _{k1} = \Pi _{\mathcal {P}} \hookrightarrow \partial \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v). \end{aligned}$$(2.2)
We use the notation \(0_n=(0,\dots ,0)\in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube}\,}}(n))\) and \(1_n=(1,\dots ,1)\in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube}\,}}(n))\).
Example 2.3
In [33, Definition 3.14] there is described a method to assign a flow category \(\mathcal {C}_{f}\) to every MorseSmale function \(f :M \rightarrow \mathbb {R}\), where M is a smooth compact manifold. Objects of \(\mathcal {C}_{f}\) are critical points of f, the grading of an object is the index of the associated critical point, and the morphism spaces are moduli spaces of nonparametrized gradient flow lines of f.
The ndimensional cube \([0,1]^{n}\) can be equipped with the structure of a CWcomplex with cells
where \(u = (u_{1},\ldots ,u_{n}) \in \{0,1\}^{n}\), \(v = (v_{1},\ldots ,v_{n}) \in \{0,1\}^{n}\) and \(v_{i} \le u_{i}\) for every \(1 \le i \le n\). Let \(C^{*}([0,1]^{n};\mathbb {F}_{2})\) denote the cellular cochain complex of the cube associated to the CWstructure described above.
Definition 2.4
A sign assignment \(\nu \) is a cochain \(\nu \in C^{1}([0,1]^{n};\mathbb {F}_{2})\) such that \(\partial ^{*}\nu = 1_{2}\), the cochain in \(C^{2}([0,1]^{n};\mathbb {F}_{2})\) with constant value 1.
Since \(H^{1}([0,1]^{n};\mathbb {F}_{2})\) is trivial, it is always possible to find a sign assignment. Moreover, for any two sign assignments \(\nu _{1}\) and \(\nu _{2}\) we have \(\nu _{1}\nu _{2}=\partial ^{*} t\) for some \(t \in C^{0}([0,1]^{n},\mathbb {F}_{2})\). The standard sign assignment is given by the following formula
where we use the shortened notation \(\nu (X_{u,v}) = \nu (u,v)\).
Definition 2.5
(See [28, Section 3.5]) A cubical flow category is a flow category \(\mathcal {C}\) equipped with a gradingpreserving functor \(\mathfrak {f}:\Sigma ^\tau \mathcal {C}\rightarrow {{\,\mathrm{Cube}\,}}(n)\), for some \(\tau \in \mathbb {Z}\) and \(n \in \mathbb {N}\), such that for any pair of objects x, y of \(\mathcal {C}\) the map \(\mathfrak {f}_{x,y} :\mathcal {M}_{\mathcal {C}}(x,y) \rightarrow \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(\mathfrak {f}(x),\mathfrak {f}(y))\) is a covering map.
To conclude this subsection we recall a definition of [33, Section 3.4.2].
Definition 2.6
Let \(\mathcal {C}\) be a flow category and let \(\mathcal {C}'\) be a subcategory of \(\mathcal {C}\). We say that \(\mathcal {C}'\) is downward closed (respectively upward closed) if, for any \(x,y \in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) such that \(\mathcal {M}_{\mathcal {C}}(x,y)\ne \emptyset \), \(x \in {{\,\mathrm{Ob}\,}}(\mathcal {C}')\) implies that \(y \in {{\,\mathrm{Ob}\,}}(\mathcal {C}')\) (respectively, \(y\in {{\,\mathrm{Ob}\,}}(\mathcal {C}')\) implies that \(x\in {{\,\mathrm{Ob}\,}}(\mathcal {C}')\)).
Given a downward closed subcategory \(\mathcal {C}'\) of \(\mathcal {C}\), we consider a full subcategory \(\mathcal {C}''\) of \(\mathcal {C}\) whose objects are objects not in \(\mathcal {C}'\). The category \(\mathcal {C}'\) is upward closed. We call it the complementary upward closed category of \(\mathcal {C}'\). A complementary downward closed category of an upward closed category is constructed similarly.
Posets associated to cubical flow categories
The goal of this subsection is to calculate combinatorially the degree of the map \(\mathfrak {f}_{x,y}:\mathcal {M}_{\mathcal {C}}(x,y)\rightarrow \mathcal {M}_{{{\,\mathrm{Cube}\,}}}(\mathfrak {f}(x),\mathfrak {f}(y))\). Proposition 2.13 is a step in establishing Counting Moduli Lemma 6.6 below, which is needed to prove the Categorical Fixed Point Theorem (Theorem 7.1).
Let P be a finite poset. A chain in P is a linearly ordered subset of P. A chain is called maximal if it is maximal with respect to the inclusion relation. We denote by \(\max (P)\) the set of maximal chains of P.
Example 2.7
Let \(u,v\in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube}\,}}(n))\). Define the poset
If \(c = \{w_{1}> w_{2}> \cdots > w_{k}\}\) is a chain in P(u, v), then we say that c is a full chain if \(w_{1} = u\) and \(w_{k}=v\). Every maximal chain is necessarily full.
We write \(P({{\,\mathrm{Cube}\,}}(n))\) for the poset of all objects of \({{\,\mathrm{Cube}\,}}(n)\). While \(P({{\,\mathrm{Cube}\,}}(n))={{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube}\,}}(n))\), we use the notation \(P({{\,\mathrm{Cube}\,}}(n))\) whenever we want to emphasize the partial order on the objects of the cube category.
Choose \(u>v\) in \({{\,\mathrm{Cube}\,}}(n)\). Set \(s={{\,\mathrm{gr}\,}}(u){{\,\mathrm{gr}\,}}(v)\). An element \(w\in P(u,v)\) determines a facet of \(\mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v)=\Pi _{s1}\), which is the image of
More generally, every full chain in P(u, v) determines a face of \(\Pi _{s1}\). Namely, to a full chain \(u> w_1> \cdots> w_k > v\), we associate the face which is the image of the composition map
A maximal chain in P(u, v) corresponds to a vertex of \(\mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v)\). Conversely, to a vertex \(\mathbf {z}=(z_1,\dots ,z_s)\) of \(\Pi _{n1}\) we associate a maximal chain \(u=w_1>w_2>\cdots >w_s=v\) such that \(w_{i+1}\) differs from \(w_i\) at the \(z_i\)th coordinate. Denote this maximal chain by \(P_{\mathbf {z}}(u,v)\).
Suppose now \(\mathcal {C}\) is a cubical flow category and \(\mathfrak {f}:\mathcal {C}\rightarrow {{\,\mathrm{Cube}\,}}(n)\) is the cubical functor. Until the end of this subsection, we will make the following assumption.
Assumption 2.8
For any \(x,y\in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) such that \({{\,\mathrm{gr}\,}}(x){{\,\mathrm{gr}\,}}(y)=1\), the moduli space \(\mathcal {M}_{\mathcal {C}}(x,y)\) is either empty or it is a single point.
Note that this assumption is trivially satisfied in the case of the Khovanov, respectively the annular Khovanov flow category, defined in Sects. 4.3 and 4.4.
Under Assumption 2.8 we can define the following relation on objects: we say that \(x\succ y\) if \({{\,\mathrm{gr}\,}}(x){{\,\mathrm{gr}\,}}(y)=1\) and \(\mathcal {M}_{\mathcal {C}}(x,y)\) is nonempty. In general \(\succ \) is the transitive closure of this relation.
Lemma 2.9
Given \(x,y \in {{\,\mathrm{Ob}\,}}(\mathcal {C})\), \(x \succ y\) if and only if \(\mathcal {M}_{\mathcal {C}}(x,y)\) is nonempty.
Proof
If \(x\succ y\), there exists a chain \(x=x_0\succ x_1\succ \cdots \succ x_s=y\) and therefore \(\mathcal {M}_{\mathcal {C}}(x,y)\) contains \(\mathcal {M}_{\mathcal {C}}(x_{s1},x_s)\times \mathcal {M}_{\mathcal {C}}(x_{s2},x_{s1})\times \cdots \times \mathcal {M}_{\mathcal {C}}(x_0,x_1)\), so it is nonempty. Conversely, if \(\mathcal {M}_{\mathcal {C}}(x,y)\) is nonempty, then it is a union of permutohedra \(\Pi _{s1}\). Choose a vertex of one of these permutohedra, which corresponds to \(\mathcal {M}_{\mathcal {C}}(x_{s1},x_{s})\times \mathcal {M}_{\mathcal {C}}(x_{s2},x_{s1})\times \cdots \times \mathcal {M}_{\mathcal {C}}(x_0,x_1)\) for some sequence \(x=x_0,x_1,\ldots ,x_s=y\) of objects in \(\mathcal {C}\). Then, \({{\,\mathrm{gr}\,}}(x_{i1}){{\,\mathrm{gr}\,}}(x_{i})=1\) and \(\mathcal {M}_{\mathcal {C}}(x_{i1},x_{i})\) is nonempty. Hence \(x_{i1}\succ x_i\) and therefore \(x\succ y\) \(\square \)
Remark 2.10
The map \(\mathfrak {f}:{{\,\mathrm{Ob}\,}}(\mathcal {C})\rightarrow {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube}\,}}(n))\) is orderpreserving.
Let \(x,y\in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) and \(s={{\,\mathrm{gr}\,}}(x){{\,\mathrm{gr}\,}}(y)\). Assume that \(\mathcal {M}_{\mathcal {C}}(x,y)\) is nonempty. The poset \(P_{\mathcal {C}}(x,y)\) is the poset of all \(x'\in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) such that \(x \succcurlyeq x'\succcurlyeq y\). Any full chain \(x=x_0\succ x_1\succ x_2\succ \cdots \succ x_s=y\) in \(P_{\mathcal {C}}(x,y)\) corresponds to a face of \(\mathcal {M}_{\mathcal {C}}(x,y)\) defined via the composition map \(\mathcal {M}_{\mathcal {C}}(x_{s1},x_{s})\times \cdots \times \mathcal {M}_{\mathcal {C}}(x_0,x_1)\subset \mathcal {M}_{\mathcal {C}}(x,y)\). is a codimension one face. We recall this distinction (present in LLS papers) in the appendix and we’ve checked all the instances of face/facet used in the paper. A maximal chain in \(P_{\mathcal {C}}(x,y)\) corresponds to a single vertex in \(\mathcal {M}_{\mathcal {C}}(x,y)\), because if the chain is maximal, all the moduli spaces \(\mathcal {M}_{\mathcal {C}}(x_i,x_{i+1})\) consist of a single element by Assumption 2.8.
Definition 2.11
For a maximal chain \(m\in P_{\mathcal {C}}(x,y)\), the associated vertex \(v_m\in \mathcal {M}_{\mathcal {C}}(x,y)\) is the vertex associated to m by the above construction.
The correspondence can be reversed. Each face of \(\mathcal {M}_{\mathcal {C}}(x,y)\) determines a chain in \(P_{\mathcal {C}}(x,y)\) precisely as in the case of the cube flow category. The following result is a special case.
Lemma 2.12
For every vertex \(v\in \mathcal {M}_{\mathcal {C}}(x,y)\) there exists a maximal chain \(m\in P_{\mathcal {C}}(x,y)\) such that \(v=v_m\).
Proof
By definition, a vertex v in \(\mathcal {M}_{\mathcal {C}}(x,y)\) is an image of \(\mathcal {M}_{\mathcal {C}}(x_r,y)\times \cdots \times \mathcal {M}_{\mathcal {C}}(x,x_1)\), where all moduli spaces are zerodimensional. In particular, with \(x_0=x\) and \(x_{r+1}=y\), we have \({{\,\mathrm{gr}\,}}(x_i){{\,\mathrm{gr}\,}}(x_{i1})=1\), which implies that the chain \(x_0\succ \cdots \succ x_{r+1}\) is maximal. Clearly, the vertex associated to this chain is v. \(\square \)
Given \(u=\mathfrak {f}(x)\), \(v=\mathfrak {f}(y)\) two objects in \({{\,\mathrm{Cube}\,}}(n)\), the map \(\mathfrak {f}_{x,y}:\mathcal {M}_{\mathcal {C}}(x,y)\rightarrow \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v)\) induces a map of posets
For any vertex \(z \in \Pi _{n1}\) we define \(P_{\mathbf {z}}(x,y) \subset P_{\mathcal {C}}(x,y)\) to be the preimage of \(P_{\mathbf {z}}(u,v)\) under \(\mathfrak {f}^P_{x,y}\).
Proposition 2.13
For any vertex \(\mathbf {z}\) of \(\Pi _{n1}\),
Proof
Fix a vertex \(\mathbf {z}\in \Pi _{n1}\). As the map \(\mathfrak {f}\) is a cover, we infer that \(\#\pi _{0}(\mathcal {M}_{\mathcal {C}}(x,y))=\#\mathfrak {f}^{1}_{x,y}(\mathbf {z})\). To show that \(\#\max P_{\mathbf {z}}(x,y)=\#\mathfrak {f}^{1}_{x,y}(\mathbf {z})\), let first \(v \in \mathfrak {f}^{1}_{x,y}(\mathbf {z})\), and denote by m the maximal chain m in P(x, y) associated to v. Clearly \(m \in \max P_{\mathbf {z}}(x,y)\). On the other hand, every maximal chain \(m \in \max P_{\mathbf {z}}(x,y)\) has an associated vertex \(v_m\in \mathcal {M}_{\mathcal {C}}(x,y)\) such that \(\mathfrak {f}(v_m)=\mathbf {z}\). This shows that there is a bijection between \(\max P_{\mathbf {z}}(x,y)\) and \(\mathfrak {f}^{1}_{x,y}(\mathbf {z})\). \(\square \)
Neat embeddings
Recall that Lawson, Lipshitz and Sarkar described in [28, Section 3] a construction that turns a cubical flow category into a CWcomplex. The construction is a simplification of the construction of Lipshitz and Sarkar in [33]. In Sects. 2.3, 2.4 and 2.5 we give a brief review.
Let (\(\mathcal {C}\), \(\mathfrak {f})\) be a cubical flow category, and fix \(d_{\bullet }= (d_{0},d_{1},\ldots ,d_{n1}) \in \mathbb {N}^{n}\) and \(R>0\). For any \(u>v\) in \({{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube}\,}}(n))\) define
For any triple of objects \(u>v>w\) there is a map \(\Upsilon :E_{v,w} \times E_{u,v} \rightarrow E_{u,w}\) defined as the composition:
A cubical neat embedding \(\iota \) of a cubical flow category \((\mathcal {C},\mathfrak {f})\) relative to \(d_{\bullet }= (d_{0},d_{1},\ldots ,d_{n1}) \in \mathbb {N}^{n}\) is a collection of neat embeddings
such that

(CNE1)
For each \(x,y \in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) the following diagram commutes

(CNE2)
For any \(u,v \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube}\,}}(n))\) the map
$$\begin{aligned} \bigsqcup _{\mathfrak {f}(x)=u, \mathfrak {f}(y)=v} \iota _{x,y} :\bigsqcup _{\mathfrak {f}(x)=u, \mathfrak {f}(y)=v} \mathcal {M}_{\mathcal {C}}(x,y) \hookrightarrow E_{u,v} \end{aligned}$$is a neat embedding (see Definition A.5).

(CNE3)
For any triple \(x>y>z \in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) the following diagram commutes
Here the vertical maps are given by \(\iota \), the top horizontal map is the composition of morphisms and the bottom horizontal map is as defined in (2.5).
Framed cubical neat embeddings
To perform the construction of Lawson, Lipshitz and Sarkar, we need to construct an extension of \(\iota \) to a framed cubical neat embedding \(\bar{\iota }\), i.e a collection of embeddings
for some \(\epsilon > 0\), in such a way that the commutativity from (CNE3) is preserved with \(\bar{\iota }\) replacing \(\iota \). In general \(\bar{\iota }\) can be constructed as follows:
where
are projections, with \(\mathfrak {f}(x) = u\), \(\mathfrak {f}(y)=v\).
If \(\bar{\iota }\) is a framed neat embedding of the cube flow category, then \(\bar{\iota }\) determines a sign assignment. Namely, for \(u,v \in \{0,1\}^{n}\) such that \({{\,\mathrm{gr}\,}}(u){{\,\mathrm{gr}\,}}(v)=1\), we set \(\nu (u,v)=0\) if \(\iota _{u,v}(\mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v))\) is framed positively with respect to the standard framing of \([R,R]^{d_{v}}\), and \(\nu (u,v)=1\) otherwise. In this case, we say that \(\bar{\iota }\) refines \(\nu \).
Lemma 2.14
Any sign assignment \(\nu \) determines a framed cubical neat embedding of the cube flow category which refines \(\nu \).
Proof
The lemma follows directly from [33, Proposition 4.12]. \(\square \)
Any sign assignment for the cube flow category induces a sign assignment for its cover in an obvious way. In particular, a framed neat embedding of a cubical flow category induces a framed neat embedding of the underlying cube flow category, hence a sign assignment on the cube flow category; see [28, Section 3.5] for more details.
Cubical realizations
Let us fix a cubical flow category \((\mathcal {C},\mathfrak {f})\), a cubical neat embedding \(\iota \) of \(\mathcal {C}\) relative to a tuple \(d_{\bullet }= (d_{0},d_{1},\ldots ,d_{n1})\) and fix \(\epsilon >0\) in such a way that the map (2.6) is an embedding. As in [28, Definition 3.29] we construct a based CWcomplex \(\left( \mathcal {C}, x_{0}\right) \) in the following way:

(1)
For any \(x \in {{\,\mathrm{Ob}\,}}(\mathcal {C})\), if \(u=\mathfrak {f}(x)\), we define the cell associated to x as
$$\begin{aligned} X(x) = \prod _{i=0}^{u1} [R,R]^{d_{i}} \times \prod _{i=u}^{n1} [\epsilon ,\epsilon ]^{d_{i}} \times \widetilde{\mathcal {M}}_{{{\,\mathrm{Cube}\,}}(n)}(u,0_n), \end{aligned}$$(2.9)where \(\widetilde{\mathcal {M}}_{{{\,\mathrm{Cube}\,}}(n)}(u,0_n)\) is defined to be \(\{0\}\) if \(u=0_n\) and \([0,1] \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,0_n)\) otherwise.

(2)
The cells X(x) are glued together inductively. First we start with a disjoint union of cells X(y) for \(\{y:\mathfrak {f}(y)=0_{n}\in \{0,1\}^n\}\). For arbitrary \(x\in {{\,\mathrm{Ob}\,}}(\mathcal {C})\), the cell X(x) is glued to the union \(\bigcup _{y:\mathfrak {f}(x)>\mathfrak {f}(y)} X(y)\). The gluing map is described below.

(3)
For any \(x,y \in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) with \(\mathfrak {f}(x) = u > v = \mathfrak {f}(y)\) the cubical embedding provides an embedding \(\theta _{y,x}:X(y)\times \mathcal {M}_{\mathcal {C}}(x,y)\rightarrow X(x)\) given by
$$\begin{aligned}&X(y) \times \mathcal {M}_{\mathcal {C}}(x,y) = \nonumber \\&\quad = \prod _{i=0}^{v1} [R,R]^{d_{i}} \times \prod _{i=v}^{n1} [\epsilon , \epsilon ]^{d_{i}} \times \widetilde{\mathcal {M}}_{{{\,\mathrm{Cube}\,}}(n)}(v,0) \times \mathcal {M}_{\mathcal {C}}(x,y) \nonumber \\&\quad \cong \prod _{i=0}^{v1} [R,R]^{d_{i}} \times \prod _{i=u}^{n1} [\epsilon ,\epsilon ]^{d_{i}} \times \widetilde{\mathcal {M}}_{{{\,\mathrm{Cube}\,}}(n)}(v,0) \times \left( \prod _{i=v}^{u1} [\epsilon ,\epsilon ]^{d_{i}} \times \mathcal {M}_{\mathcal {C}}(x,y) \right) \nonumber \\&\quad \hookrightarrow \prod _{i=0}^{v1} [R,R]^{d_{i}} \times \prod _{i=u}^{n1} [\epsilon ,\epsilon ]^{d_{i}} \times \widetilde{\mathcal {M}}_{{{\,\mathrm{Cube}\,}}(n)}(v,0) \times \left( \prod _{i=v}^{u1} [R,R]^{d_{i}} \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v)\right) \nonumber \\&\quad \cong \prod _{i=0}^{u1} [R,R]^{d_{i}} \times \prod _{i=u}^{n1} [\epsilon ,\epsilon ]^{d_{i}} \times \widetilde{\mathcal {M}}_{{{\,\mathrm{Cube}\,}}(n)}(v,0) \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v) \nonumber \\&\quad \hookrightarrow \prod _{i=0}^{u1} [R,R]^{d_{i}} \times \prod _{i=u}^{n1} [\epsilon ,\epsilon ]^{d_{i}} \times \partial (\widetilde{\mathcal {M}}_{{{\,\mathrm{Cube}\,}}(n)}(u,0)) \subset X(x). \end{aligned}$$(2.10)The first inclusion is given by the map \(\overline{\iota }_{x,y}\). The last inclusion comes from the composition map if \(v \ne 0\), or the inclusion \(\{0\} \hookrightarrow [0,1]\) if \(v=0\). Denote by \(X_{y}(x)\subset X(x)\) the image of the above map.

(4)
The attaching map for X(x) sends \(X_{y}(x) \cong X(y) \times \mathcal {M}_{\mathcal {C}}(x,y)\) to X(y) via the projection onto the first factor. The complement of \(\cup _{y} X_{y}(x)\) in \(\partial X(x)\) is mapped to the base point.
Remark 2.15
It is proved in [28, Lemma 3.30] that the attaching maps are welldefined. This boils down to showing that if \(x,y,z\in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) are such that \(\mathfrak {f}(x)>\mathfrak {f}(y)>\mathfrak {f}(z)\), then there exists a map \(\kappa _{x,y,z}\) that makes the following diagram commute.
Definition 2.16
The CWcomplex \(\mathcal {C}\) is called the cubical realization of the cubical category \(\mathcal {C}\). The formal desuspension:
where \(\tau \) is as in Definition 2.5, is called the \(\mathcal {C}\)homotopy type.
We note that we deviate slightly from [28]. We want the cubical realization to be a CWcomplex, i.e. a topological space. After desuspension we obtain an object in the Spanier–Whitehead category, for which we use different notation \(\mathcal {X}(\mathcal {C})\). Thanks to this distinction, many statements become more transparent, like the statement of Proposition 3.27.
Remark 2.17
It follows directly from the construction that if \(\mathcal {C}\) is a union of categories \(\mathcal {C}_1,\dots ,\mathcal {C}_s\) (in the sense that objects are set sums of objects, and there are no morphisms between objects in different summands), then \(\mathcal {X}(\mathcal {C})\) is the wedge sum of \(\mathcal {X}(\mathcal {C}_1),\dots ,\mathcal {X}(\mathcal {C}_s)\).
Chain complex associated with a cubical flow category
For completeness of the exposition, we recall how to compute the singular cohomology of the cubical realization. A detailed account is given in [33, Section 3] and [28, Section 3.2].
Let \((\mathcal {C},\mathfrak {f})\) be a cubical flow category with \(\mathfrak {f}:\Sigma ^\tau \mathcal {C}\rightarrow {{\,\mathrm{Cube}\,}}(n)\). Choose a sign assignment \(\nu \) for \({{\,\mathrm{Cube}\,}}(n)\). Define a cochain complex \(C^*(\mathcal {C}, \mathfrak {f})\) in the following way:

The group \(C^k(\mathcal {C})\) is freely generated over \(\mathbb {Z}\) by the objects of \(\mathcal {C}\) whose grading is equal to k;

If \(x\in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) has grading k, then we define
$$\begin{aligned} \partial \langle x\rangle =\sum _{\begin{array}{c} y\in {{\,\mathrm{Ob}\,}}(\mathcal {C})\\ {{\,\mathrm{gr}\,}}(y)=k+1 \end{array}} n_{x,y}\langle y\rangle , \end{aligned}$$(2.12)where \(n_{x,y}\) is the signed count of points in \(\mathcal {M}_{\mathcal {C}}(x,y)\). In particular, if we choose a framed cubical neat embedding which refines a sign assignment \(\nu \), then
$$\begin{aligned} n_{x,y} = (1)^{\nu (\mathfrak {f}(x),\mathfrak {f}(y))}\# \mathcal {M}_{\mathcal {C}}(x,y). \end{aligned}$$(2.13)
The following result follows immediately from the construction of \(\mathcal {C}\).
Lemma 2.18
\(C^*(\mathcal {C}, \mathfrak {f})\) is a cochain complex, that is, \(\partial ^2=0\), and its associated cohomology is equal to the cohomology of \(\mathcal {X}(\mathcal {C})\), the \(\mathcal {C}\)homotopy type.
Equivariant flow categories
In this section we adapt the construction from Sect. 2 to the equivariant setting. First, we will introduce some terminology from equivariant differential topology. General references include [37, 47, 49].
Terminology
Let G be a finite group. An orthogonal representation of G is a homomorphism \(\rho :G \rightarrow O(V)\), where O(V) denotes the group of orthogonal automorphisms of some inner product space V. In particular, V is implicitly equipped with an inner product which is preserved by G. In the present article, we consider only finitedimensional representations.
If it does not lead to confusion, we will refer to a representation \(\rho :G\rightarrow O(V)\) as V. In particular, for a subgroup \(H\subset G\), the notation \(V_H\) means the representation \(\rho _H:H\rightarrow O(V)\). For two representations, V, W we denote by \(\hom _G(V, W)\) the space of Gequivariant linear maps from V to W.
If \(W \subset V\) are two Grepresentations, then by \(VW\), we denote the orthogonal complement of W in V. This notation is extended to the case when W is not necessarily a subrepresentation of V by introducing a Grothendieck group (actually a ring) of representations. More specifically, the representation ring RO(G) is the ring whose elements are formal differences \(VW\) of orthogonal Grepresentations, where \(V_{1}W_{1} = V_{2}  W_{2}\) in RO(G) if \(V_{1} \oplus W_{2}\) is equivalent to \(V_{2} \oplus W_{1}\). Notice that if \(W \subset V\), then \(VW\) is isomorphic in RO(G) to the orthogonal complement of W in V. The direct sum induces the addition, and the tensor product over \(\mathbb {R}\) induces the multiplication.
We pass to the definition and basic properties of Gmanifolds. Some more technical results are deferred to the Appendix. General references for group actions on manifolds include [26, 47, 49].
We say that M is a Gmanifold, if it is a manifold (possibly with boundary) equipped with a smooth action of G. Observe that for any \(x \in M\), the isotropy group \(G_x\) acts on the tangent space \(T_x M\). By abuse of notation, we will denote by \(T_x M\) the tangent representation of \(G_x\). For any subgroup \(H \subset G\) define
We say that M is of dimension \(VW \in RO(G)\), if for any \(x \in M\) there exists an isomorphism of \(G_x\)representations \(T_x M \oplus W_{G_{x}} \cong V_{G_x}\).
Let M be a compact Gmanifold and let \(p :E \rightarrow M\) be a vector bundle over M. We say that E is a Gvector bundle if there exists an action of G on E by vector bundle morphisms such that p commutes with the action of G on E and M. If V is a Grepresentation, then a Vbundle is a Gvector bundle \(p :E \rightarrow M\) such that for any \(x \in M\) there exists an isomorphism of \(G_{x}\) representations between \(V_{G_{x}}\) and \(p^{1}(x)\). We denote by \(\underline{V}_{M}\) the trivial Vbundle over M, i.e. \(\underline{V}_{M} = V \times M\).
Example 3.1
Let M be a Gmanifold and let V be a Grepresentation. The tangent bundle TM is a Vbundle if and only if M is of dimension V.
A framing of a Vbundle is a choice of an isomorphism of Vbundles \(\phi :E \rightarrow \underline{V}_{M}\). A stable framing is a choice of an isomorphism of Vbundles \(\phi :E \oplus \underline{W}_{M} \rightarrow \underline{V}_{M} \oplus \underline{W}_{M}\) for some trivial bundle \(\underline{W}_M\). Any framing of a Vbundle determines an orientation of the bundle.
Equivariant cell complexes
In order to fix the terminology, we recall the notion of a Gcell and a Gcell complex.
Definition 3.2
Let \(H \subset G\) be a subgroup and let V be an Hrepresentation. A Gcell of type (H, V), denoted by E(H, V), is \(G \times _{H} B_{R}(V)\), where \(B_{R}(V)\) denotes the closed ball in V centered at \(0\) and of radius \(R>0\). Notice that if V is a Grepresentation, then \(E(H,V_{H}) \cong G \times _{H} B_{R}(V)\). A Gcell complex is a topological space X with a filtration
such that

\(X_{0}\) is a disjoint union of orbits,

for any \(n>0\), \(X_{n} = X_{n1} \cup _{f} E(H_n,V_n)\), where
$$\begin{aligned} f :\partial E(H_n,V_n) \rightarrow X_{n1} \end{aligned}$$is an equivariant map,

\(X = {{\,\mathrm{colim}\,}}_{n} X_{n}\).
The Gcell complex is called a \({\text {Rep}}(G)\)complex in [16, Section 1.13]. If we restrict the class of cells allowed in the construction, we obtain the following special cases.

If we assume that all representations \(V_n\) are of the form a \(V \oplus \mathbb {R}^{a_n}\), for some fixed representation V and some integers \(a_n\), we obtain a GCW(V) complex in the sense of e.g. [11, Section 1.1.2] or [37, Section X.2].

If, on the other hand, all V are trivial representations, we obtain a GCW complex as in [11, Section 1.1.3] or [37, Section 1.3].
Topological spaces we construct are usually Gcell complexes, while in Sect. 8, we apply theorems for GCW complexes. Therefore we need to translate from one object to another. The following result is wellknown to experts.
Proposition 3.3
Any Gcell complex has a \(G\)homotopy type of a GCW complex.
Proof
There are essentially two ways of approaching this result. In [37, Proposition X.2.8] it is proved that a GCW(V) complex is Ghomotopy equivalent to a GCW complex, and the proof can be adapted to the case of general Gcell complexes.
Another way is to refine the cell structure, namely to find a triangulation of \(B_R(V)\) by cells such that G acts on \(B_R(V)\) by permuting cells. This can be done using the results of Illman [24] (if G is a finite group, [23] suffices). \(\square \)
Equivariant Spanier–Whitehead category
For completeness of exposition we recall the definition of equivariant Spanier–Whitehead category. Suppose X and Y are finite GCW complexes. A (\(G\))equivariant homotopy of \(G\)maps \(f,g :X \rightarrow Y\) is an equivariant map
where \(G\) acts trivially on \([0,1]\). We denote by \([X,Y]_{G}\) the set of homotopy classes of maps \(f :X \rightarrow Y\). A \(G\)map is called a (\(G\))equivariant homotopy equivalence if it admits an equivariant homotopy inverse. A \(G\)map \(f :X \rightarrow Y\) is an equivariant stable homotopy equivalence if there exists a \(G\)representation \(V\) such that the map
is an equivariant homotopy equivalence. Here, \(S^V\) is the onepoint compactification \(S^{V}\) of \(V\).
Definition 3.4
The equivariant Spanier–Whitehead category \(SW_{G}\) is the category whose objects are the pairs \((X, V)\), where \(X\) is a finite \(G\)CW complex and \(V\) is a virtual \(G\)representation. Morphisms are defined by
where \(Z\) runs through the family of finitedimensional \(G\)representations such that both \(V \oplus Z\) and \(W \oplus Z\) are \(G\)representations.
The equivariant Spanier–Whitehead category is a full subcategory of the equivariant stable homotopy category, see [37, Proposition XII.7.3] and the preceding discussion.
Group actions on flow categories
We introduce now the definition of a group action on a flow category. To understand the details, it might be helpful the reader to keep in mind that the construction is modeled on the flow category associated with an equivariant Morse function.
Definition 3.5
Let G be a finite group and let \(\mathcal {C}\) be a flow category. We say that \(\mathcal {C}\) is a Gequivariant flow category (as usual, we will omit G when it is clear from the context) if it is equipped with the following data:

(1)
for any \(g \in G\) there exists a grading preserving functor
$$\begin{aligned} \mathcal {G}_g :\mathcal {C}\rightarrow \mathcal {C}, \end{aligned}$$ 
(2)
there is an equivariant grading function
$$\begin{aligned} {{\,\mathrm{gr}\,}}_{G} :{{\,\mathrm{Ob}\,}}(\mathcal {C}) \rightarrow \bigsqcup _{H \subset G} RO(H). \end{aligned}$$
Moreover, these data must satisfy the following conditions:

(EFC1)
\(\mathcal {G}_{e}\) is the identity functor.

(EFC2)
For any \(g_1, g_2 \in G\) we have \(\mathcal {G}_{g_1} \circ \mathcal {G}_{g_2} = \mathcal {G}_{g_1 \cdot g_2}\).

(EFC3)
\((\mathcal {G}_g)_{x,y} :\mathcal {M}_{\mathcal {C}}(x,y) \rightarrow \mathcal {M}_{\mathcal {C}}(\mathcal {G}_g(x), \mathcal {G}_g(y))\) is a diffeomorphism of \(\langle {{\,\mathrm{gr}\,}}(x){{\,\mathrm{gr}\,}}(y)1 \rangle \)manifolds, which satisfies the following property
$$\begin{aligned} (\mathcal {G}_{g})_{x,y}_{\mathcal {M}_{\mathcal {C}}(z,y) \times \mathcal {M}_{\mathcal {C}}(x,z)} = (\mathcal {G}_{g})_{z,y} \times (\mathcal {G}_g)_{x,z}, \end{aligned}$$for all \(z\in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) such that \({{\,\mathrm{gr}\,}}(y)< {{\,\mathrm{gr}\,}}(z) < {{\,\mathrm{gr}\,}}(x)\). Here we identify \(\mathcal {M}_{\mathcal {C}}(z,y) \times \mathcal {M}_{\mathcal {C}}(x,z)\) with the respective facet of \(\partial \mathcal {M}_{\mathcal {C}}(x,y)\).

(EFC4)
\({{\,\mathrm{gr}\,}}_G(x) \in RO(G_x)\), where \(G_x = \{g \in G :\mathcal {G}_g(x) = x\}\).

(EFC5)
\(\dim _{\mathbb {R}} {{\,\mathrm{gr}\,}}_G(x) = {{\,\mathrm{gr}\,}}(x)\).

(EFC6)
If there exists \(g \in G\) such that \(\mathcal {G}_g(x_1) = x_2\), for some \(x_1,x_2 \in {{\,\mathrm{Ob}\,}}(\mathcal {C})\), then \({{\,\mathrm{gr}\,}}_G(x_2) = {\upsilon _{g}}({{\,\mathrm{gr}\,}}_G(x_1))\), where \({\upsilon _{g}} :RO(G_x) \rightarrow RO(G_{g\cdot x})\) is induced by the map
$$\begin{aligned} G_x \ni h \mapsto ghg^{1} \in g G_x g^{1} = G_{g \cdot x}. \end{aligned}$$In particular, for any \(g_{1},g_{2} \in G\), \(\upsilon _{g_{1}} \circ \upsilon _{g_{2}} = \upsilon _{g_{1} \cdot g_{2}}\).

(EFC7)
Let \(x,y \in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) and define \(G_{x,y} = \{g \in G :\mathcal {G}_g(\mathcal {M}_{\mathcal {C}}(x,y)) \subset \mathcal {M}_{\mathcal {C}}(x,y)\} = G_{x} \cap G_{y}\). The moduli space \(\mathcal {M}_{\mathcal {C}}(x,y)\) is a compact \(G_{x,y}\)manifold of dimension
$$\begin{aligned} {{\,\mathrm{gr}\,}}_{G}(x)_{G_{x,y}}  {{\,\mathrm{gr}\,}}_{G}(y)_{G_{x,y}}  \mathbb {R}. \end{aligned}$$
In the nonequivariant setting, it is possible to define the suspension \(\Sigma ^{k}\mathcal {C}\) of a flow category \(\mathcal {C}\) by shifting the grading function by \(k \in \mathbb {Z}\). In the equivariant setting, we define the suspension of a flow category \(\mathcal {C}\) by any virtual representation \(VW \in RO(G)\). The category \(\Sigma ^{VW}\mathcal {C}\) has the same objects and morphisms as \(\mathcal {C}\) but different grading function given by
Definition 3.6
Given two Gequivariant flow categories \(\mathcal {C}_{1}\) and \(\mathcal {C}_{2}\), a functor \(\mathfrak {f}:\mathcal {C}_{1} \rightarrow \mathcal {C}_{2}\) is said to be an Gequivariant functor if

\(\mathfrak {f}\) commutes with group actions on \(\mathcal {C}_{1}\) and \(\mathcal {C}_{2}\),

for any object x in \(\mathcal {C}_{1}\) there is a \(G_x\)equivariant map
$$\begin{aligned} \mathfrak {f}_{{{\,\mathrm{gr}\,}}_{G}(x)} :{{\,\mathrm{gr}\,}}_{G}(x) \rightarrow {{\,\mathrm{gr}\,}}_{G}(\mathfrak {f}(x)), \end{aligned}$$(3.1)such that for any \(g \in G\), we have
$$\begin{aligned} \upsilon _{g} \circ \mathfrak {f}_{{{\,\mathrm{gr}\,}}_{G(x)}} = \mathfrak {f}_{{{\,\mathrm{gr}\,}}_{G}(\mathcal {G}_{g}(x))} \circ \upsilon _{g}. \end{aligned}$$
Definition 3.7
A Gequivariant functor \(\mathfrak {f}:\mathcal {C}_1\rightarrow \mathcal {C}_2\) is called a (trivial) Gcover if for any \(x,y\in {{\,\mathrm{Ob}\,}}(\mathcal {C}_1)\) the map \(\mathfrak {f}_{x,y}:\mathcal {M}_{\mathcal {C}_1}(x,y)\rightarrow \mathcal {M}_{\mathcal {C}_2}(\mathfrak {f}(x),\mathfrak {f}(y))\) is topologically a (trivial) covering map and for any object x, \(\mathfrak {f}_{{{\,\mathrm{gr}\,}}_G(x)}\) is an isomorphism of \(G_x\)representations.
The notion of a cover will allow us to check easily some of the conditions (EFC1)(EFC7) for \(\mathcal {C}_1\) if they are satisfied for \(\mathcal {C}_2\). More precisely, we have the following result.
Lemma 3.8
Suppose \(\mathcal {C}_2\) is a Gequivariant flow category, \(\mathcal {C}_1\) is flow category and \(\mathfrak {f}:\mathcal {C}_1\rightarrow \mathcal {C}_2\) is a trivial cover. Assume there is an action of \(G\) on \(\mathcal {C}_1\) satisfying conditions (EFC1), (EFC2) and (EFC3), such that \(\mathfrak {f}\) commutes with the action. Then, there is a unique structure of a Gequivariant flow category on \(\mathcal {C}_1\) such that \(\mathfrak {f}\) is a trivial Gcover.
Proof
For an element \(x\in {{\,\mathrm{Ob}\,}}(\mathcal {C}_1)\) we set \({{\,\mathrm{gr}\,}}_G(x)=gr_G(\mathfrak {f}(x))\). Then (EFC4)(EFC6) are satisfied. Condition (EFC7) follows from the fact that the \(G\)dimension is preserved under maps that are local \(G\)diffeomorphisms. \(\square \)
Equivariant cube flow category
Recall that objects of the cube flow category are elements of \(\{0,1\}^{n}\). If \(\sigma \in {{\,\mathrm{Perm}\,}}_n\) is a permutation of an nelement set such that \(\sigma ^{m}=id\), then \(\sigma \) induces an action of \(\mathbb {Z}_{m}\) on \(\{0,1\}^{n}\). As in Appendix B.3 consider the action of \(\mathbb {Z}_{m}\) on \(\mathbb {R}^{n}\) defined by formula (B.3). We will denote this representation by \(V_{\sigma }\). For \(x \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube}\,}}(n))\) denote by \((\mathbb {Z}_{m})_{x}\) the isotropy group of \(x\) and consider the following \((\mathbb {Z}_{m})_{x}\)representation
Proposition 3.9
Let \(\sigma \in {{\,\mathrm{Perm}\,}}_n\) satisfy \(\sigma ^m=id\). The cube flow category \({{\,\mathrm{Cube}\,}}(n)\) can be equipped with the structure of a \(\mathbb {Z}_m\)equivariant flow category such that the action on the set of objects is generated by \(\sigma \). Moreover, for any object x we have \({{\,\mathrm{gr}\,}}_{\mathbb {Z}_{m}}(x) = V_{x}\).
Proof
For \(x \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube}\,}}(n))\) and \(1 \le k \le m\) we define \(\mathcal {G}_{\sigma ^k}(x) = \sigma ^k(x)\). In order to define \(\mathcal {G}_{\sigma ^k}\) on morphisms (it is enough to define \(\mathcal {G}_{\sigma }\) only), recall that we regard \(\mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(x,y)\) as a subset of \(\prod _{i :x_i > y_i} \mathbb {R}\subset \mathbb {R}^n\). Now, \(\sigma \) yields a linear isomorphism
Therefore, we can define \((\mathcal {G}_{\sigma })_{x,y} = \bar{\sigma }_{\mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(x,y)}\). Lemma B.17 implies that conditions (EFC1), (EFC2) and (EFC3) are satisfied.
In order to define the grading function
observe that Lemma B.17 implies that for any \(x \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube}\,}}(n))\), the space \(\mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(x,0_n)\) is a \((V_{x}  \mathbb {R})\)dimensional manifold. Therefore, in order to satisfy condition (EFC7), the only choice for \({{\,\mathrm{gr}\,}}_{\mathbb {Z}_{m}}(x)\) is \({{\,\mathrm{gr}\,}}_{\mathbb {Z}_{m}}(x) = V_{x}\). to argue that EFC7 holds. Conditions (EFC4), (EFC5) are satisfied automatically. Condition (EFC6) is satisfied, indeed, if \(g = \sigma ^k \in \mathbb {Z}_m\) and \(y = g \cdot x\), then the map
gives the required identification of the \((\mathbb {Z}_{m})_{x}\)representation \({{\,\mathrm{gr}\,}}_{\mathbb {Z}_{m}}(x)\) and the (\(g (\mathbb {Z}_{m})_{x} g^{1}\))representation \({{\,\mathrm{gr}\,}}_{\mathbb {Z}_{m}}(y)\). \(\square \)
Corollary 3.10
Using the notation from Proposition 3.9, suppose that \(\sigma \) is a product of \(n/m\) disjoint cycles of lenght \(m\). Then, for any \(x \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube}\,}}(n))\) we have \({{\,\mathrm{gr}\,}}_{\mathbb {Z}_{m}}(x) = \mathbb {R}[(\mathbb {Z}_{m})_{x}]^{{{\,\mathrm{gr}\,}}(x)/(\mathbb {Z}_{m})_x}\).
Proof
If \(\sigma \) is a product of \(n/m\) disjoint cycles of length \(m\), then \(V_{\sigma } \cong \mathbb {R}[\mathbb {Z}_{m}]^{n/m}\). It is easy to verify that \(V_{x} \cong \mathbb {R}[(\mathbb {Z}_{m})_{x}]^{{{\,\mathrm{gr}\,}}(x)/(\mathbb {Z}_{m})_{x}}\). \(\square \)
Definition 3.11
Given \(\sigma \in {{\,\mathrm{Perm}\,}}_n\) such that \(\sigma ^m=id\), we denote by \({{\,\mathrm{Cube_\sigma }\,}}(n)\) the \(\mathbb {Z}_{m}\)equivariant cube flow category for which the action on objects is generated by \(\sigma \).
Let \(\mathcal {C}\) be a \(\mathbb {Z}_m\)equivariant flow category. We say that \(\mathcal {C}\) is a \(\mathbb {Z}_{m}\)equivariant cubical flow category if it is a cubical flow category and, for some \(\mathbb {Z}_{m}\)virtual representation \(VW\) and some \(\sigma \in {{\,\mathrm{Perm}\,}}_n\) satisfying \(\sigma ^m=id\), the functor \(\mathfrak {f}:\Sigma ^{VW}\mathcal {C}\rightarrow {{\,\mathrm{Cube_\sigma }\,}}(n)\) is a \(\mathbb {Z}_m\)equivariant cover.
Remark 3.12
In the construction of the equivariant Khovanov homotopy type it is enough to restrict to categories \({{\,\mathrm{Cube_\sigma }\,}}(n)\), where \(\sigma \) is a product of n/m distinct cycles of length m.
Remark 3.13
Note that the constructions in this section work equally well with any fixed subgroup \(G \subset {{\,\mathrm{Perm}\,}}_n\). We restrict our attention to cyclic groups because this is the only relevant case for us.
Equivariant neat embedding
Let \(G=\mathbb {Z}_m\) and let \((\mathcal {C},\mathfrak {f})\) be a Gequivariant cubical flow category. Fix a sequence \(e_{\bullet }= (e_{0},e_{1},\ldots ,e_{n1})\) of positive integers. For an orthogonal Grepresentation V and any \(u>v \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube_\sigma }\,}}(n))\) define
where \(B_{R}(V)\) denotes the closed ball in \(V\) centered at \(0\) and of radius R. We abbreviate \(V_{u,v} = V_{G_{u,v}}\), recalling that the symbol \(V_H\) denotes the restriction of the representation to the subgroup H, the underlying linear space is the same.
Definition 3.14
An equivariant cubical neat embedding of a cubical flow category \((\mathcal {C},\mathfrak {f})\) relative to \(e_{\bullet }\) and relative to the representation V, is a cubical neat embedding (i.e. satisfying axioms (CNE1), (CNE2) and (CNE3)). The maps \(\iota _{x,y}\) are required to be \(G_{x,y}:=G_x\cap G_y\)equivariant. Furthermore, any \(x,y \in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) and any \(g \in G\) the following diagram is commutative
The right vertical arrow is labeled by \(g\cdot ()\), which should be read that the map is induced by the group action. More specifically, G acts on V and \(g\in G\) takes \(V_{u,v}\) to \(V_{gu,gv}\). Moreover, g takes \(\mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(u,v)\) to \(\mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(gu,gv)\). Combining these actions we have the map that takes \(E(V)_{\mathfrak {f}(x),\mathfrak {f}(y)}\) to \(E(V)_{\mathfrak {f}(gx),\mathfrak {f}(gy)}\). This is the right vertical map in the above diagram.
Remark 3.15
From Definition 3.14 it follows that the diagrams of maps in (CNE1) and (CNE3) are diagrams of \(G_{x,y}\) maps (in case of (CNE1)), respectively \(G_{x,y,z}=G_x\cap G_y\cap G_z\) (in case of (CNE3)).
Proposition 3.16
Any equivariant cubical flow category admits an equivariant cubical neat embedding.
Proof
Consider \(x,y\in {{\,\mathrm{Ob}\,}}(\mathcal {C})\). The space \(\mathcal {M}_{\mathcal {C}}(x,y)\) is, by (EFC7) a compact \(G_{x,y}\)manifold of dimension \({{\,\mathrm{gr}\,}}_G(x)_{G_{x,y}}{{\,\mathrm{gr}\,}}_G(y)_{G_{x,y}}\mathbb {R}\). In particular, by the MostowPalais Theorem (see Theorem A.11) there exists a representation \(W_{x,y}\) such that \(\mathcal {M}_{\mathcal {C}}(x,y)\) embeds in \(W_{x,y}\). Define V to be the direct sum of \(W_{x,y}\) over all pairs \(x,y\in {{\,\mathrm{Ob}\,}}(\mathcal {C})\).
We want to construct embeddings \(\iota _{x,y}:\mathcal {M}_{\mathcal {C}}(x,y)\rightarrow E(V)_{\mathfrak {f}(x),\mathfrak {f}(y)}\). Recall we have \(E(V)_{u,v}=\prod _{i=v}^{u1} B_R(V_{u,v})^{e_i}\times \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(u,v)\). The map \(\iota _{x,y}\) will be a product \(j_{x,y}\times \mathfrak {f}\), where
and \(\mathfrak {f}:\mathcal {M}_{\mathcal {C}}(x,y)\rightarrow \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(\mathfrak {f}(x),\mathfrak {f}(y))\) is given by the definition of the cubical flow category (see Definition 2.5 above).
Our task is therefore to construct the map \(j_{x,y}\). We shall proceed by induction on \(\delta =\mathfrak {f}(x)\mathfrak {f}(y)\). For \(\delta =1\), the space \(\mathcal {M}_{\mathcal {C}}(x,y)\) is a finite set of points. The construction of \(j_{x,y}\) in this case is obvious. Conditions (CNE1), (CNE2) are satisfied, while (CNE3) is empty. The diagram in Definition 3.14 commutes.
Suppose the embedding has been constructed for all x, y with \(\delta <k\) and we aim to construct a map \(j_{x,y}\) for \(\mathfrak {f}(x)\mathfrak {f}(y)=k\). By the induction assumption, the map \(j_{x,y}\) is defined already on the boundary of \(\mathcal {M}_{\mathcal {C}}(x,y)\). We extend this map to a Gequivariant map on the whole of \(\mathcal {M}_{\mathcal {C}}(x,y)\) by Lemma A.10, maybe increasing the values of some of the \(e_i\). Conditions (CNE1) and (CNE2) for \(j_{x,y} \times \mathfrak {f}\) is trivially satisfied. Condition (CNE3) follows from the construction, because \(j_{x,z}\) on the interior of \(\mathcal {M}_{\mathcal {C}}(x,z)\) is an extension of \(j_{x,z}\) on the boundary. Commutativity of the diagram in Definition 3.14 follows from equivariance of \(j_{x,y}\). \(\square \)
The next step in the construction of Lawson, Lipshitz, and Sarkar is the construction of a framed cubical neat embedding. The notion of an equivariant framed cubical neat embedding is a direct generalization of the notion of a framed cubical neat embedding. Namely, given the set of maps \(\iota _{x,y}:\mathcal {M}_{\mathcal {C}}(x,y)\rightarrow E(V)_{\mathfrak {f}(x),\mathfrak {f}(y)}\) constituting an equivariant cubical neat embedding (see Definition 3.14), an equivariant framed cubical neat embedding is an extension of \(\iota _{x,y}\) to equivariant maps
We require that that (CNE3) holds for \(\iota _{x,y}\) replaced by \(\overline{\iota }_{x,y}\) and \(\mathcal {M}_{\mathcal {C}}(x,y)\) replaced by the product \(\prod _{i=\mathfrak {f}(y)}^{\mathfrak {f}(x)1}B_{\varepsilon }(V_{\mathfrak {f}(x),\mathfrak {f}(y)})^{e_i}\times \mathcal {M}_{\mathcal {C}}(x,y)\).
In the nonequivariant setting, passing from a cubical neat embedding to a framed cubical neat embedding is described in Sect. 2.4. In the equivariant setting, no adjustments are needed, because the projections \(\pi _{u,v}^{R}\) and \(\pi _{u,v}^{M}\) considered in Sect. 2.4 are already equivariant by construction.
Equivariant cubical realization
We consider now an analog of the construction of a CWcomplex \(\mathcal {C}\) given in Sect. 2.5. For each \(x\in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) such that \(u=\mathfrak {f}(x)\) we define:
where \(\widetilde{\mathcal {M}}(u,0)=[0,1]\times \mathcal {M}(u,0)\) if \(u\ne 0\) and \(\widetilde{\mathcal {M}}(0,0)=\{0\}\). The group action on the interval [0, 1] is assumed to be trivial. Note that \({{\,\mathrm{EX}\,}}(x)\) is homeomorphic to the cell X(x) constructed in Sect. 2.5 (we need to set \(d_i=e_i\dim V\)), the point is that the present construction is equivariant.
For \(x,y\in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) such that \(\mathfrak {f}(x)=u > v = \mathfrak {f}(y)\) we construct a map \({{\,\mathrm{E\theta }\,}}_{y,x}:{{\,\mathrm{EX}\,}}(y)\times \mathcal {M}_{\mathcal {C}}(x,y)\hookrightarrow {{\,\mathrm{EX}\,}}(x)\) by an analogous formula as (2.10) in Sect. 2.5, namely
In fact, with the choice of \(d_i=e_i\dim V\) and an identification \({{\,\mathrm{EX}\,}}(x)\cong X(x)\), \({{\,\mathrm{E\theta }\,}}\) is exactly the same map as \(\theta \). Again the key point is that \({{\,\mathrm{E\theta }\,}}_{x,y}\) is \(G_{x,y}\)equivariant. Write \({{\,\mathrm{EX}\,}}_y(x)\subset {{\,\mathrm{EX}\,}}(x)\) for the image of \({{\,\mathrm{E\theta }\,}}(y)\).
Analogously to the nonequivariant case, the complex \(\mathcal {C}\) is constructed inductively by taking the cells \({{\,\mathrm{EX}\,}}(x)\) and the attaching map taking \({{\,\mathrm{EX}\,}}_y(x)\) to \({{\,\mathrm{EX}\,}}(y)\) via the projection \({{\,\mathrm{EX}\,}}_y(x)\cong {{\,\mathrm{EX}\,}}(y)\times \mathcal {M}_{\mathcal {C}}(x,y) \hookrightarrow {{\,\mathrm{EX}\,}}(y)\). As in the nonequivariant case, the remaining part \(\partial {{\,\mathrm{EX}\,}}(x)\setminus \bigcup _y{{\,\mathrm{EX}\,}}_y(x)\) is mapped to the base point.
Remark 3.17
The map \(E\theta _{y,x}\) gives a welldefined attaching map, see item (4) in Sect. 2.5 and equation (2.11). This is because, as we mentioned above, \(E\theta \) is essentially the map \(\theta \) from Sect. 2.5. Another possibility is to observe that the map \(\kappa _{x,y,z}\) constructed in the proof of [28, Lemma 3.16] is equivariant because of the axioms (EFC1)–(EFC3). We omit the details.
Proposition 3.18
The space \(\mathcal {C}\) has the structure of a Gcell complex of Definition 3.2.
Proof
If \(x_{1}, x_{2},\ldots ,x_{k}\) is an orbit of \(x_1\in {{\,\mathrm{Ob}\,}}(\mathcal {C})\), then there exists an equivariant homeomorphism
i.e. we obtain a Gcell of type \((G_{x},V^{e_{1}+\cdots +e_{n1}} \oplus {{\,\mathrm{gr}\,}}_{G}(x_{1}))\). It is easy to verify that the gluing maps are compatible with the homeomorphism from (3.5). \(\square \)
Definition 3.19
The equivariant cubical realization of \(\mathcal {C}\) is defined to be the Gcell complex \(\mathcal {C}\). The formal desuspension \(\mathcal {X}(\mathcal {C}):=\Sigma ^{WV^{e_{0}+\cdots +e_{n1}}}\mathcal {C}\), where W denotes a representation of G such that \(\mathfrak {f}:\Sigma ^{W}\mathcal {C}\rightarrow {{\,\mathrm{Cube_\sigma }\,}}(n)\) is the cubical functor, is called the equivariant \(\mathcal {C}\) homotopy type.
Remark 3.20
By a formal desuspension \(\Sigma ^{WV^{e_{0}+\cdots +e_{n1}}}\mathcal {C}\) of \(\mathcal {C}\) we mean the object of the Spanier–Whitehead category \(SW_{G}\) given by \((\mathcal {C}, WV^{e_{0}+\cdots +e_{n1}})\); compare Sect. 3.3. Note that StoffregenZhang’s equivariant Khovanov homotopy type belongs to the same category [46, discussion below Proposition 4.17].
The following result is a direct consequence of the construction: to explain the notion of a GCWcomplex in more detail.
Proposition 3.21
Let \((\mathcal {C}, \mathfrak {f}:\Sigma ^{W} C \rightarrow {{\,\mathrm{Cube_\sigma }\,}}(n))\) be a Gequivariant cubical flow category. Let \(\iota \) be an equivariant cubical neat embedding relative to \(e_{\bullet }= (e_{0},e_{1},\ldots ,e_{n1}) \in \mathbb {N}^{n}\) and relative to an orthogonal Grepresentation V. There exists a Gcell complex \(\mathcal {C}\), such that every object \(x \in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) corresponds to a single cell of \(\mathcal {C}\) of dimension \({{\,\mathrm{gr}\,}}_{G}(x)\). Moreover, the forgetful functor (i.e. the one which forgets the action of G) maps \(\mathcal {C}\) to the stable homotopy type constructed by Lawson et al. [33].
Fixed points of the cubical realization
The purpose of this subsection is to study the fixed point sets (with respect to a subgroup H) of the group action on the cubical realization. The results will play an essential role in the proof of the invariance of the equivariant Khovanov homotopy type under Reidemeister moves. Recall that \(X^H\) denotes the set of fixed points of H, that is, \(X^H=\{x \in X \,  \, x \cdot h = x, \forall h \in H\}\).
Let \(\mathcal {C}\) be an equivariant cubical flow category. For any \(H \subset G\) define the Hfixed subcategory \(\mathcal {C}^H\) in the following way.

The objects of \(\mathcal {C}^H\) are those objects of \(\mathcal {C}\) that are fixed under the action of H, that is \({{\,\mathrm{Ob}\,}}(\mathcal {C}^H)={{\,\mathrm{Ob}\,}}(\mathcal {C})^H\);

The morphisms between objects are given by fixed point submanifolds, that is,
$$\begin{aligned} \mathcal {M}_{\mathcal {C}^H}(x,y)={\left\{ \begin{array}{ll} \mathcal {M}_{\mathcal {C}}(x,y)^H &{}x\ne y\\ \{id\} &{} x=y;\end{array}\right. } \end{aligned}$$ 
The grading of \(x\in {{\,\mathrm{Ob}\,}}(\mathcal {C})^H\) is \(\dim {{\,\mathrm{gr}\,}}_{G}(x)^{H}\).
Remark 3.22
If H is a normal subgroup of G (in the paper we work with G cyclic, so any subgroup of G is normal), it is possible to endow \(\mathcal {C}^H\) with the structure of a G/Hequivariant flow category.
We will now give an instance of an Hfixed subcategory that is the most important in our approach.
Proposition 3.23
Let H be a subgroup of \(\mathbb {Z}_m\) and consider \({{\,\mathrm{Cube_\sigma }\,}}(n)\) for \(\sigma \in {{\,\mathrm{Perm}\,}}_n\) such that \(\sigma ^m=id\). Then there is a functor \({\mathcal {R}^H}:{{\,\mathrm{Cube_\sigma }\,}}(n)^H\rightarrow {{\,\mathrm{Cube}\,}}(n')\) that induces an isomorphism of categories.
The integer \(n'\) is calculated as follows. If \(\sigma \) is a product of p disjoint cycles \((a_{i1},\ldots ,a_{in_i})\) with \(n_im\) and \(\sum _{i=1}^{p} n_i=n\), then we set \(\ell _i=\gcd (n_i,m/H)\) and \(n'_i=n_i/\ell _i\). We have \(n'=\sum n'_i\).
Proof
The key idea is to use Theorem B.15. There is a technical difficulty namely Theorem B.15 does not give us a canonical diffeomorphism. Therefore we first fix a concrete diffeomorphism between \(\mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(1_n,0_n)^{H}\) and \(\mathcal {M}_{{{\,\mathrm{Cube}\,}}(n')}(1_{n'},0_{n'})\), next we show that it can be used to define a map between all moduli spaces of the \({{\,\mathrm{Cube}\,}}(n)^H\) category and corresponding moduli spaces of the \({{\,\mathrm{Cube}\,}}(n')\) category.
To begin with, if \((v_1,\ldots ,v_n)\) is an object in \({{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube_\sigma }\,}}(n)^H)\), then by definition it is an object in \({{\,\mathrm{Cube_\sigma }\,}}(n)\) fixed by the action of H. This amounts to saying that, for \(i=1,\ldots ,p\) and \(j=1,\ldots ,n'_i\), we have
where to simplify the notation we write \(v_{i,j}\) instead of \(v_{a_{i,j}}\). The functor \({\mathcal {R}^H}\) on objects is defined as
We now define \({\mathcal {R}^H}\) on morphisms.
Consider first \(0_n,1_n\in {{\,\mathrm{Cube_\sigma }\,}}(n)\). They are fixed under the action of any subgroup \(H \subset G\). The space \(\mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(1_n,0_n)\) is, by definition, the permutohedron \(\Pi _{n1}\subset \mathbb {R}^n\). The set \(\mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(1_n,0_n)^H\) of fixed points under H is given by \(\Pi _{n1}\cap L\), where L is a linear subspace of \(\mathbb {R}^n\) given by
where we also used the notation \(x_{i,j}\) as a shorthand for \(x_{a_{i,j}}\). We note that the dimension of L is precisely \(\sum n'_i=n'\).
By Theorem B.15 there is an identification \(\psi \) of \(\Pi _{n1}\cap L\) with \(\Pi _{n'1}\). Choose one such \(\psi \). The map \(\psi \) identifies \(\mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(1_n,0_n)^H\) with \(\mathcal {M}_{{{\,\mathrm{Cube}\,}}(n')}(1_{n'},0_{n'})\).
Take now general \(u,v\in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube_\sigma }\,}}(n))^H\) with \(u>v\). We assume that \(u\ne 1_n\), \(v\ne 0_n\). The case where precisely one inequality holds is analogous and it is left to the reader. Consider the product
By the axioms of the cube category \(\Pi _{u,v}\) embeds as a codimension 2 face in the moduli space \(\mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(1_n,0_n)=\Pi _{n1}\).
In fact, consider the partition
and \(\mathcal {P}_{u',v'}\) (with \((u',v')=(1_n,u)\), \((u',v')=(u,v)\) and \((u',v')=(v,0_n)\)) is the set of indices i such that \(u'_i\ne v'_i\). Then \(\Pi _{u,v}\) corresponds to the face \(\Pi _{\mathfrak {p}}\).
We define now the map \({\mathcal {R}^H}:\mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(u,v)^H\rightarrow \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n')}({\mathcal {R}^H}u,{\mathcal {R}^H}v)\) as the composition:
The first map is an embedding to a fiber \(\{pt\}\times \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(u,v)^H\times \{pt\}\) for two chosen points in \(\mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(v,0_n)^H\) and \(\mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(1_n,u)^H\), respectively. \({\mathcal {R}^H}\) does not depend on the choice. The last map is the projection onto the second factor. The map \(\psi \) was defined above as a map from \(\Pi _{n1}\cap L\) to \(\Pi _{n'1}\). It takes the face \(\Pi _{\mathfrak {p}}\) to the face \(\Pi '_{\mathfrak {p}^B}\), where \(\Pi '=\Pi _{n'1}\) and \(\mathfrak {p}^B\) is a reduction of \(\mathfrak {p}\) with B determined from the orbits of \(\sigma \); see Proposition B.18. A straightforward calculation using (3.6) reveal that \(\mathfrak {p}^B\) is a partition into three subsets \(\mathcal {P}'_{{\mathcal {R}^H} v,0_{n'}}\), \(\mathcal {P}'_{{\mathcal {R}^H} u,{\mathcal {R}^H} v}\) and \(\mathcal {P}'_{1_{n'},{\mathcal {R}^H} u}\), where \(\mathcal {P}'_{\cdot ,\cdot }\) denotes the subset of indices at which the vectors in the subscripts differ. This means that \(\Pi '_{\mathfrak {p}^B}\) is exactly \(\mathcal {M}_{{{\,\mathrm{Cube}\,}}(n')}({\mathcal {R}^H}v,0_{n'}) \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n')}({\mathcal {R}^H}u,{\mathcal {R}^H}v) \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n')}(1_{n'},{\mathcal {R}^H}u)\); we omit the details.
We sketch the proof of the fact that \({\mathcal {R}^H}\) respects the compositions. Suppose that \(u,w,v\in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube_\sigma }\,}}(n))^H\) with \(u>w>v\). Let \({\mathcal {R}^H}u,{\mathcal {R}^H}w,{\mathcal {R}^H}v\) be the corresponding objects in \({{\,\mathrm{Cube}\,}}(n')\). We need to show that the following diagram commutes.
This commutativity is true if \(\psi \) takes
to
Consider the refinement \(\mathfrak {p}_w\) of the partition \(\mathfrak {p}\) defined in (3.7) given as
where the subsets \(\mathcal {P}_{\cdot ,\cdot }\) are as above (below (3.7)). Let \(\Pi _{u,w,v}\) be the face corresponding to this partition. Then \(M_1=\Pi _{u,w,v}\cap L\). By construction of \(\psi \), it takes A to a face \(\Pi '_{(\mathfrak {p}_w)^B}\) of \(\Pi '\), where \((\mathfrak {p}_w)^B\) is the reduction of \(\mathfrak {p}_w\).
On the other hand, the reduction \((\mathfrak {p}_w)^B\) is easily seen to be the partition
But then the corresponding face is \(\Pi '_{(\mathfrak {p}_w)^B}=M_2\)., which essentially boils down to the statement that refinements commute with reductions. We can still add some more details, but the proof might eventually become less readable. Making the morphism \(\psi \) in Proposition B.11 might be possible, but it would definitely required a much longer proof.
Finally, the equivariant grading on \({{\,\mathrm{Cube_\sigma }\,}}(n)\) described in Proposition 3.9 has the property that if \(x\in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube_\sigma }\,}}(n))^H\), then \({{\,\mathrm{gr}\,}}_G(x)^H\) is equal to the grading of \({{\mathcal {R}^H}(x)}\). This is a straightforward verification. \(\square \)
Lemma 3.24
The pair \((\mathcal {C}^H, \mathfrak {f}^{H})\), where \(\mathfrak {f}^{H} = {\mathcal {R}^H} \circ \mathfrak {f}_{\mathcal {C}^{H}}\) and \({\mathcal {R}^H}\) is as in Proposition 3.23, is a cubical flow category.
Proof
In order to prove that \(\mathcal {C}^{H}\) is a flow category, we need to verify the axioms (FC1), (FC2) and (FC3). The axiom (FC1) is obvious. The axiom (FC2) follows from the axiom (EFC7) and Proposition B.11. The axiom (FC3) follows from the axiom (EFC3). This shows that \(\mathcal {C}^H\) is a flow category. It remains to prove that the functor \(\mathfrak {f}^H\) makes \(\mathcal {C}^H\) a cubical flow category.
Since \(\mathfrak {f}\) commutes with the group action, it takes objects in \(\mathcal {C}\) that are fixed under H to objects of \({{\,\mathrm{Cube_\sigma }\,}}(n)\) that are fixed under H. In particular, \(\mathfrak {f}^H\) is welldefined on objects.
To show that it is welldefined on morphisms, observe that for any \(x,y \in {{\,\mathrm{Ob}\,}}(\mathcal {C})^{H}\), the map
is a diffeomorphism when restricted to any connected component of \(\mathcal {M}_{\mathcal {C}}(x,y)^{H}\). In particular \({\mathcal {R}^H}\circ \mathfrak {f}_{x,y}\) is a covering map. Therefore, \(\mathfrak {f}^H\) turns \(\mathcal {C}^H\) into a cubical flow category. \(\square \)
Lemma 3.25
Let \(\mathcal {C}\) be a framed cubical flow category and \(\iota \) a neat embedding of \(\mathcal {C}\) relative to \(e_{\bullet }=(e_{1},e_{2},\ldots ,e_{n1})\) and relative to a representation V. Then, for any \(H \subset G\), \(\iota \) yields a neat embedding of \(\mathcal {C}^{H}\), denoted by \(\iota ^{H}\), relative to
where \(k\) denotes the order of \(H\).
Remark 3.26
(Remark 3.22 continued). One can construct \(\iota ^H\) in such a way that it is a G/Hequivariant neat embedding.
Proof
An equivariant neat embedding of \(\mathcal {C}\) is given by a collection of equivariant maps \(\iota _{x,y}:\mathcal {M}_{\mathcal {C}}(x,y)\rightarrow E(V)_{\mathfrak {f}(x),\mathfrak {f}(y)}\) satisfying axioms (CNE1), (CNE2) and (CNE3), see Definition 3.14. An equivariant neat embedding
where \(x,y \in {{\,\mathrm{Ob}\,}}(\mathcal {C})^{H}\), yields an embedding
Observe that
because \(H \subset G_{\mathfrak {f}(x),\mathfrak {f}(y)}\). Since \(\mathfrak {f}(x) = k \cdot \mathfrak {f}^{H}(x)\) and \(\mathfrak {f}(y)= k \cdot \mathfrak {f}(y)^{H}\), there exists an equivariant linear embedding
for some \(R'>R\). Using the map \({\mathcal {R}^H}\) from Proposition 3.23 we obtain a neat embedding
We define \(\iota ^{H}_{x,y} = (\eta ^H \times \mathcal {R}^H) \circ (\iota _{x,y}_{H})\).
Properties (CNE1), (CNE2) and (CNE3) for \(\iota ^H_{x,y}\) follow immediately from analogous properties of the maps \(\iota _{x,y}\). \(\square \)
Proposition 3.27
Suppose \(\mathcal {C}\) is an equivariant cubical realization of an equivariant cubical flow category \(\mathcal {C}\). Then the fixed point set \(\mathcal {C}^H\) is homeomorphic to the cubical realization of the fixed point flow category \(\mathcal {C}^H\).
Proof
We need to show essentially two facts: the equality of cells, and the equality of attaching maps. First, if \(x\in {{\,\mathrm{Ob}\,}}(\mathcal {C})^H\), we can construct a cell \(X_H(x)\) using the construction of Sect. 2.5 taking \(\mathcal {C}^H\) as the starting category. This corresponds to a cell used for constructing \(\mathcal {C}^H\). Alternatively we can take \({{\,\mathrm{EX}\,}}(x)^H\) to be the set of Hfixed points of the cell \({{\,\mathrm{EX}\,}}(x)\) constructed in Sect. 3.7. We claim that \(X_H(x)\cong {{\,\mathrm{EX}\,}}(x)^H\) once we have set \(d_i=e_i\dim V^H\).
To see this recall that by (3.3) we have
where \(e_{i}^{H} = e_{k\cdot i}+e_{k\cdot i+1}+\cdots +e_{k\cdot (i+1)1}\) and \(k\) denotes the order of \(H\). Discussion in Proposition 3.23 implies that \({{\,\mathrm{EX}\,}}(x)^{H} \cong X_{H}(x)\), for any \(x \in {{\,\mathrm{Ob}\,}}(\mathcal {C}^{H})\).
In order to complete the proof of Proposition 3.27, we need to show that the attaching maps coincide. This holds, provided that \(\theta _H(y,x)={{\,\mathrm{E\theta }\,}}(y,x)^H\), where \(\theta _H(y,x)\) is the map \(\theta \) of Sect. 2.5 constructed for \(\mathcal {C}^H\), and \({{\,\mathrm{E\theta }\,}}(y,x)^H\) is the restriction of \({{\,\mathrm{E\theta }\,}}\) to the set of fixed points. Choose \(x,y \in {{\,\mathrm{Ob}\,}}(\mathcal {C})^H\). Going through the construction of \(\theta \) and \({{\,\mathrm{E\theta }\,}}\) (given in (2.10) and (3.4)) we see that the equality \({{\,\mathrm{E\theta }\,}}(y,x)^H=\theta _H(y,x)\) follows from the commutativity of the diagram
where \({\mathcal {R}^H}\) is a map from the fixed point set of a permutohedron to a permutohedron of lower dimensions, as described in detail in the proof of Proposition 3.23. Commutativity of the diagram follows from the construction of this map (see Propositions B.11, B.18). \(\square \)
Equivariant chain complexes
In Sect. 2.6 we constructed a cochain complex \(C^*(\mathcal {C},\mathfrak {f})\), whose cohomology was equal to the cohomology of the cubical realization \(\mathcal {C}\). Suppose now that the underlying cubical flow category admits an action of the group \(G = \mathbb {Z}_{m}\). In order to describe the induced action of \(G\) on the chain complex, notice that, for any \(g \in G\), we obtain a homomorphism of abelian groups
yielding an action of \(G\). This action, however, does not, in general, commute with the differential on \(C^{*}(\mathcal {C},\mathfrak {f})\).
The differential of the chain complex (2.12) depends on the sign assignment \(\nu \) on the cube flow category \({{\,\mathrm{Cube}\,}}(n)_{\sigma }\), see (2.13). We will denote, abusing the notation, a generator of \(G\) by \(\sigma \). The symmetry group acts on sign assignments via
However, in general, \(\sigma (\nu ) \ne \nu \), that is, the sign assignment \(\nu \) is not necessarily \(\sigma \)invariant.
To remedy this, we recall that the sign assignments form a 1chain in \([0,1]^n\) with values in \(\mathbb {F}_2\) (see Sect. 4.1). The difference between any two sign assignments satisfies a cocycle condition. Therefore, there exists a 0cochain \(c\in C^0([0,1]^n;\mathbb {F}_2)\) such that \(\sigma (\nu )\nu =\partial ^*c\). That is,
Lemma 3.28
The map \(t_{\sigma }:C^*(\mathcal {C})\rightarrow C^*(\mathcal {C})\) given by \(x\mapsto (1)^{c(\mathfrak {f}(x))}\mathcal {G}_{\sigma }(x)\) commutes with the differential and therefore it generates the Gaction on the chain complex \(C^*(\mathcal {C})\). is to define the group action on \(C^*(\mathcal {C})\).
Proof
We need to check that the coefficient in \(\partial {t_{\sigma }(y)}\) at \(t_{\sigma }(x)\) is equal to the coefficient in \(\partial y\) at x. The latter is equal to
compare to (2.13). We want to compute now the former. Write \(y'=\mathcal {G}_{\sigma }(y)\), \(x'=\mathcal {G}_{\sigma (x)}\). By (2.13) the coefficient in \(\partial y'\) at \(x'\) is equal to
Given the definition of \(t_{\sigma }\), we have \(t_{\sigma }(x)=(1)^{c(\mathfrak {f}(x))}x'\) and \(t_{\sigma }(y)=(1)^{c(\mathfrak {f}(y))}y'\). Thus, in light of (3.11), the coefficient in \(\partial t_{\sigma }{G}(y)\) at \(t_{\sigma }(x)\) is given by
Finally, to show the equality of (3.10) and (3.12) we need to guarantee that
but this follows immediately from (3.9). \(\square \)
Remark 3.29
This sign problem is not uncommon. It appears in the construction of the equivariant Khovanov homology [38, Section 2]. The approach in [38] is essentially the same as the one we use here, but it is expressed in a different language.
Equivariant subcategories
Suppose that \(\mathcal {C}'\) is an equivariant downward closed subcategory of \(\mathcal {C}\). Let \(\mathcal {C}''\) be the complementary upward closed subcategory. As \(\mathcal {C}'\) is invariant under the group action, the subcategory \(\mathcal {C}''\) is also an invariant subcategory.
The following result is a direct generalization of [33, Lemma 3.32].
Proposition 3.30
If \(\mathcal {C}\), \(\mathcal {C}'\) and \(\mathcal {C}''\) are as above, then there exist three equivariant maps, an inclusion \(\iota :\mathcal {C}'\rightarrow \mathcal {C}\), a collapse \(\kappa :\mathcal {C}\rightarrow \mathcal {C}''\) and the Puppe map \(\rho :\mathcal {C}''\rightarrow \Sigma \mathcal {C}'\), that induce the following cohomology long exact sequence
Suppose \(\mathcal {C}\) is an equivariant cubical flow category, \(\mathcal {C}'\) is a downward closed subcategory, and \(\mathcal {C}''\) is the complementary upward closed category, and let the maps \(\iota ,\kappa \) and \(\rho \) be as in Proposition 3.30. We ask under which conditions one of these maps is an equivariant homotopy equivalence. This holds under some extra assumptions that we spell in Lemma 3.31. Although these assumptions are harder to verify, the methods developed in Sect. 3.8 simplify the process.
Lemma 3.31
Let \(\iota ,\kappa \) and \(\rho \) be as described in Proposition 3.30.

(a)
If for any subgroup \(H\subset G\) the reduced homology \(\widetilde{H}^*(\mathcal {C}''^H)\) is trivial, then the map \(\iota \) is an equivariant stable homotopy equivalence.

(b)
If for any subgroup \(H\subset G\) the reduced homology \(\widetilde{H}^*(\mathcal {C}'^H)\) is trivial, then the map \(\kappa \) is an equivariant stable homotopy equivalence.

(c)
If for any subgroup \(H\subset G\) the reduced homology \(\widetilde{H}^*(\mathcal {C}^H)\) is trivial, then the map \(\rho \) is an equivariant stable homotopy equivalence.
Proof
We prove only part (a) since the proofs for the other two statements are analogous. Our assumptions imply that for any \(H \subset G\),
is a stable homotopy equivalence. Since \(\mathcal {C}'\) and \(\mathcal {C}\) are equivariantly homotopy equivalent to GCWcomplexes by Proposition 3.3, the equivariant version of the Whitehead Theorem (see e.g. [37, Section VI.3]) implies that \(\iota \) is an equivariant stable homotopy equivalence. \(\square \)
Khovanov homotopy type
In this section we introduce the equivariant Khovanov homotopy type. We start with a short recollection of the construction of the Khovanov chain complex and the annular Khovanov chain complex (Sects. 4.1, 4.2). Next, we give a rather brief review of the construction of the Khovanov homotopy type and the annular Khovanov homotopy type (Sects. 4.3, 4.4). Finally, in Sect. 4.5 we construct the equivariant Khovanov flow category. The results from Sect. 3 lead immediately to the construction of the equivariant Khovanov homotopy type and the equivariant annular Khovanov homotopy type. Invariance of the equivariant homotopy types is proved in Sect. 5.
Khovanov chain complex
In this subsection we rely on [33, Section 2]. Let V be a twodimensional vector space over a field \(\mathbb {F}\) with \(\mathscr {x}_+\) and \(\mathscr {x}_\) as generators. We make it a graded space by assigning a grading \(q(\mathscr {x}_+)=1\), \(q(\mathscr {x}_)=1\), called the quantum grading.
A resolution configuration \(\mathcal {D}\) is a pair \((\mathrm {Z}(\mathcal {D}),\mathrm {A}(\mathcal {D}))\) where \(\mathrm {Z}(\mathcal {D})\) is a set of pairwise disjoint embedded circles in \(S^{2}\) and \(\mathrm {A}(\mathcal {D})\) is a totallyordered set consisting of disjoint embedded arcs in \(S^{2}\) such that the boundary of every arc lies in \(\mathrm {Z}(\mathcal {D})\). The index of the resolution configuration \(\mathcal {D}\), denoted \({\text {ind}}(\mathcal {D})\), is the cardinality of \(\mathrm {A}(\mathcal {D})\). A labeled resolution configuration is a pair \((\mathcal {D},\overline{x})\) consisting of a resolution configuration \(\mathcal {D}\) and a map \(\overline{x}\) assigning a label, \(\mathscr {x}_+\) or \(\mathscr {x}_\), to each element of \(\mathrm {Z}(\mathcal {D})\).
Given two resolution configurations \(\mathcal {D}_{1}\) and \(\mathcal {D}_{2}\), we define the resolution configuration \(\mathcal {D}_{1} \setminus \mathcal {D}_{2}\) by declaring, see [33]:
For a resolution configuration \(\mathcal {D}\) we can choose a subset \(B \subset \mathrm {A}(\mathcal {D})\) and obtain a new resolution configuration \(\mathfrak {s}_{B}(\mathcal {D})\), called the surgery of \(\mathcal {D}\) along B, by performing a surgery along the arcs in B. We use a shortened notation \(s(\mathcal {D})\) for the surgery \(s_{\mathrm {A}(\mathcal {D})}(\mathcal {D})\). Another operation that we can perform on a resolution configuration \(\mathcal {D}\) is taking the dual resolution configuration \(\mathcal {D}^{*}\): \(\mathrm {Z}(\mathcal {D}^{*}) = \mathrm {Z}(\mathfrak {s}(\mathcal {D}))\) and \(A(\mathcal {D}^{*})\) consists of arcs dual to arcs from \(A(\mathcal {D})\), as explained in Fig. 1.
We can define a partial ordering on the set of labeled resolution configurations. Let \((\mathcal {D},\overline{x})\) and \((\mathcal {D}',\overline{y})\) be two resolution configurations such that \({\text {ind}}(\mathcal {D})  {\text {ind}}(\mathcal {D}')=1\). We say that \((\mathcal {D},\overline{x}) \prec (\mathcal {D}',\overline{y})\) if \(\mathcal {D}'\) can be obtained from \(\mathcal {D}\) by surgery along a single arc in \(A \in \mathrm {A}(\mathcal {D})\) and one of the following conditions holds:

(1)
If \(\partial A\) is on a single circle Z which splits during the surgery into two circles \(Z_{1}\) and \(Z_{2}\), then

If \(\overline{x}(Z) = \mathscr {x}_+\) then either \(\overline{y}(Z_{1})=\mathscr {x}_+\) and \(\overline{y}(Z_{2})=\mathscr {x}_\) or \(\overline{y}(Z_{1})=\mathscr {x}_\) and \(\overline{y}(Z_{2})=\mathscr {x}_+\).

If \(\overline{x}(Z) = \mathscr {x}_\) then \(\overline{y}(Z_{1})=\mathscr {x}_\) and \(\overline{y}(Z_{2})=\mathscr {x}_\).


(2)
If \(\partial A\) lies on two circles \(Z_{1}\) and \(Z_{2}\) which are merged during the surgery into a single circle Z, then

If \(\overline{x}(Z_{1})=\overline{x}(Z_{2})=\mathscr {x}_+\), then \(\overline{y}(Z)=\mathscr {x}_+\).

If \(\overline{x}(Z_{1})=\mathscr {x}_+\) and \(\overline{x}(Z_{2})=\mathscr {x}_\) or \(\overline{x}(Z_{1})=\mathscr {x}_\) and \(\overline{x}(Z_{2})=\mathscr {x}_+\), then \(\overline{y}(Z)=\mathscr {x}_\).

For general labeled resolution configurations the partial order is defined as the transitive closure of the above relation.
Definition 4.1
A decorated resolution configuration is a triple \((\mathcal {D},\overline{x},\overline{y})\) where \((\mathcal {D},\overline{y})\) and \((\mathfrak {s}(\mathcal {D}),\overline{x})\) are labeled resolution configurations such that \((\mathcal {D},\overline{y}) \prec (\mathfrak {s}(\mathcal {D}),\overline{x})\).
Define \(P(\mathcal {D},\overline{x},\overline{y})\) to be the poset consisting of all labeled resolution configurations \((\mathfrak {s}_{\mathrm {A}}(\mathcal {D}),\overline{y}')\), where \(\mathrm {A}\subset \mathrm {A}(\mathcal {D})\), such that
Fix a field \(\mathbb {F}\). Let D be an oriented link diagram with \(n = n_{+}+n_{}\) ordered crossings, where \(n_+\) and \(n_\) denote the number of positive, respectively negative, crossings. For every \(v \in \{0,1\}^{n}\) we can define a resolution configuration \(\mathcal {D}_D(v) = (\mathrm {Z}(\mathcal {D}_D(v)), \mathrm {A}(\mathcal {D}_D(v)))\) obtained by smoothing the \(i^{th}\) crossing of D according to the \(i^{th}\) coordinate of v, as depicted in Fig. 2. The arcs correspond to 0resolutions; in Fig. 2 the dotted line represents the arc associated to that particular resolution. To avoid cumbersome notation, we will drop the subscript D when it is clear from the context.
Let \(V(\mathcal {D}(v))\) be the vector space over \(\mathbb {F}\) generated by all possible labeled resolution configurations \((\mathcal {D}(v), x)\). Define the Khovanov complex of D in homological grading \(i=vn_\) as
The vector space \({{\,\mathrm{CKh}\,}}^i\) inherits the quantum grading from V. To be more precise, to a homogeneous element \(x=\mathscr {x}_{\epsilon _1}\otimes \cdots \otimes \mathscr {x}_{\epsilon _t}\in V(\mathcal {D}(v))\), \(\epsilon _i\in \{+,\}\), we associate the grading \(q(x)=\sum q(\mathscr {x}_{\epsilon _i})+n_+2n_+v\). Then \({{\,\mathrm{CKh}\,}}^i\) splits as a direct sum of spaces \({{\,\mathrm{CKh}\,}}^{i,q}\), where the second index denotes the quantum grading.
In order to make \({{\,\mathrm{CKh}\,}}^*\) into a cochain complex, we need to choose a sign assignment \(\nu \). This done, we define the differential of an element \((\mathcal {D}(v),\overline{x})\) with homological grading i as
The cohomology groups of the complex \({{\,\mathrm{CKh}\,}}\), that is \({{\,\mathrm{Kh}\,}}^{i,q}(D) = \ker (\partial _i)/{{\,\mathrm{Im}\,}}(\partial _{i1})\), are link invariants [27]. They are the Khovanov homology groups of the link represented by D.
Annular Khovanov chain complex
Asaeda, Przytycki, and Sikora [1] gave a construction of a variant of Khovanov homology for a link in the solid torus. This construction was later refined by Roberts [41]. Given \(L \subset S^{1} \times \mathbb {R}^{2}\), we fix a diagram D of L so that D can be drawn on an annulus \(S^{1} \times \mathbb {R}^{1}\). The starting point of the construction of Asaeda, Przytycki, and Sikora is to assign an extra annular grading to each of the generators of the Khovanov complex of D. For any \(v \in \{0,1\}^{n}\) and any labeled resolution configuration \(\mathcal {D}= (\mathcal {D}(v),\overline{x})\), the annular grading of \(\mathcal {D}\), denoted \({{\,\mathrm{Ann}\,}}(\mathcal {D})\), is defined in the following way. Let \(\mathrm {Z}(\mathcal {D}(v)) = \{Z_{1},Z_{2},\ldots ,Z_{k}\}\). We say that the circle \(Z_{i}\), for \(1 \le i \le k\) is trivial, if it is nullhomotopic in \(S^{1} \times D^{1}\), and nontrivial otherwise. For any \(1 \le i \le k\) we define
and
It is easy to check that for any decorated resolution configuration \((\mathcal {D},\overline{x},\overline{y})\) we have
Indeed, the above property is trivial for decorated resolution configurations of index one. The general case follows from the transitivity of the relation \(\succ \). Consequently, there exists a filtration of the Khovanov complex
where \({{\,\mathrm{CA}\,}}_{k}(D)\) is the subcomplex of \({{\,\mathrm{CKh}\,}}^{*,*}(D)\) generated by those labeled resolution configurations \((\mathcal {D}(v),\overline{x})\) such that \({{\,\mathrm{Ann}\,}}(\mathcal {D}(x),\overline{x}) \le k\). The annular Khovanov complex of D is the triplygraded cochain complex defined as
In this setting, the annular Khovanov homology of D, denoted by \({{\,\mathrm{AKh}\,}}^{*,*,*}(D)\), is defined as the homology of \({{\,\mathrm{CAKh}\,}}^{*,*,*}(D)\). Annular Khovanov homology is an invariant of an annular link.
Khovanov homotopy type
In this subsection we apply constructions described in Sects. 2 and 3 to a specific flow category, the Khovanov flow category, which is at the heart of the Lipshitz–Sarkar construction. Let D be an oriented link diagram with \(n = n_{+} + n_{}\) ordered crossings. The starting point of the construction is to assign to every decorated resolution configuration \((\mathcal {D}(v),\overline{x},\overline{y})\) the moduli space \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}(v),\overline{x},\overline{y})\), which is a disjoint union of permutohedra \(\Pi _{{m1}}\), with \(m = {\text {ind}}(\mathcal {D}(v))\). If \(m=1\), \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}(v),\overline{x},\overline{y})\) consists of a single point. If \(m=2\), the moduli space \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}(v),\overline{x},\overline{y})\) can be defined once we choose another piece of data called the ladybug matching (for details refer to [33, Section 5.1]). For \(m>2\) the moduli spaces \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}(v),\overline{x},\overline{y})\) can be constructed inductively.
Definition 4.2
[33] The Khovanov flow category, \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D)\), is a cubical flow category such that:

\({{\,\mathrm{Ob}\,}}(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D))\) consists of all labeled resolution configurations \((\mathcal {D}(v),\overline{x})\), where \(v \in \{0,1\}^{n}\). The grading of an object is equal to its homological grading \(i(\mathcal {D}(v),\overline{x}) = vn_{}\) (recall that each object has an additional quantum grading, as explained in Sect. 4.1).

The morphism space is defined in the following way
$$\begin{aligned} \mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}((\mathcal {D}(v), \overline{x}), (\mathcal {D}(u), \overline{y})) = {\left\{ \begin{array}{ll} \mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}(u)\setminus \mathcal {D}(v),\overline{x}',\overline{y}'), &{} \text {if } (\mathcal {D}(u), \overline{y}) \prec (\mathcal {D}(v), \overline{x}), \\ \emptyset , &{} \text {otherwise}, \end{array}\right. } \end{aligned}$$where \(\overline{x}'\) and \(\overline{y}'\) are the restrictions of \(\overline{x}\) and \(\overline{y}\), respectively, to \(\mathcal {D}(u)\setminus \mathcal {D}(v)\) and \(\mathfrak {s}(\mathcal {D}(u)\setminus \mathcal {D}(v))\).

The functor \(\mathfrak {f}:\Sigma ^{n_{}}\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D) \rightarrow {{\,\mathrm{Cube}\,}}(n)\) maps a labeled resolution configuration \((\mathcal {D}(v),\overline{x})\) to v.
Remark 4.3
It is worth to stress that while \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}\) denotes the moduli space associated with a pair of configurations \((\mathcal {D}(v),\overline{x},\overline{y})\), the morphism space for the Khovanov flow category \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}\) is denoted by \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}\).
By definition \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}(v),\overline{x},\overline{y}) = \emptyset \) unless the qgradings of \((\mathcal {D},\overline{y})\) and \((\mathfrak {s}(\mathcal {D}),\overline{x})\) are equal. Consequently, for any \(j \in \mathbb {Z}\), we can distinguish the full subcategory \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{j}(D)\) of \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D)\) consisting of objects whose qgrading is equal to j. It is easy to see that
In this setting, and after making some choices (such as a framing and a neat embedding of \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D)\)), we obtain the cubical realization of the Khovanov flow category \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D)\). This CWcomplex is called the Khovanov space. The Khovanov homology of D, as constructed in Sect. 4.1, is canonically isomorphic with the reduced cohomology of \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D)\), up to grading shift. Finally, the stable homotopy type of the formal desuspension of the Khovanov space \(\Sigma ^{n_}\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D)\) is the Khovanov homotopy type \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D)\) constructed in [28, 33], where it was proven to be a link invariant.
Notice that the decomposition (4.1) induces a decomposition
where \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{j}(D)\) denotes the cubical realization of \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{j}(D)\).
Annular Khovanov homotopy type
Recall that any labeled resolution configuration \(\mathcal {D}\) of a link \(L \subset S^{1} \times D^{2}\), has an associated annular grading \({{\,\mathrm{Ann}\,}}(\mathcal {D})\). Define the annular Khovanov flow category \(\mathcal {C}_{{{\,\mathrm{AKh}\,}}}(D)\) to be the subcategory of \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D)\) with the same set of objects but with morphisms preserving the annular grading.
For \(k \in \mathbb {Z}\), define the subcategories \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{k}(D)\), \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{\ge k}(D)\) and \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{\le k}(D)\) of the flow category \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D)\) as the categories consisting of all labeled resolution configurations \(\mathcal {D}\) such that \({{\,\mathrm{Ann}\,}}(\mathcal {D}) = k\), \({{\,\mathrm{Ann}\,}}(\mathcal {D}) \ge k\) and \({{\,\mathrm{Ann}\,}}(\mathcal {D}) \le k\), respectively. Then, \(\mathcal {C}_{{{\,\mathrm{AKh}\,}}}(D) = \bigsqcup _{k\in \mathbb {Z}} \mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{k}(D)\).
For \(x,y\in {{\,\mathrm{Ob}\,}}(\mathcal {C}_{{{\,\mathrm{Kh}\,}}})\) we have \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{AKh}\,}}}}(x,y)=\emptyset \) unless \({{\,\mathrm{Ann}\,}}(x)={{\,\mathrm{Ann}\,}}(y)\). In the latter case \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{AKh}\,}}}}(x,y)=\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x,y)\). For a labeled resolution configuration \((\mathcal {D},\overline{x},\overline{y})\) we also denote by \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D},\overline{x},\overline{y})\) the moduli space \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{AKh}\,}}}}((\mathfrak {s}(\mathcal {D}),\overline{x}),(\mathcal {D},\overline{y}))\).
Lemma 4.4
The categories \(\mathcal {C}_{{{\,\mathrm{AKh}\,}}}(D)\), \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{\ge k}(D)\), \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{\le k}\) and \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{k}\) are cubical flow categories.
Proof
The cubical functor \(\mathfrak {f}:\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D)\rightarrow {{\,\mathrm{Cube}\,}}(n)\) restricts to a cubical functor on each of these categories. Verifying the axioms of the cubical flow category is straightforward. \(\square \)
Given Lemma 4.4 we can define \(\mathcal {C}_{{{\,\mathrm{AKh}\,}}}\), \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{\ge k}\), \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{\le k}\) and \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{k}\) as a cubical realization of the suitable categories and then the corresponding desuspensions \(\mathcal {X}(\mathcal {C}_{{{\,\mathrm{AKh}\,}}})\), \(\mathcal {X}(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{\ge k})\), \(\mathcal {X}(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{\le k})\) and \(\mathcal {X}(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{k})\). Notice that the decomposition of the annular flow category \(\mathcal {C}_{{{\,\mathrm{AKh}\,}}}(D)\) according to the quantum and annular gradings induces a decomposition
where \(\mathcal {X}_{{{\,\mathrm{AKh}\,}}}^{q,k}(D)\) is the cubical realization of \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{q,k}(D)\). Repeating the proof of the invariance of the stable homotopy type of \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D)\) under Reidemeister moves, we obtain the invariance of the stable homotopy type of \(\mathcal {X}_{{{\,\mathrm{AKh}\,}}}(D)\) under Reidemeister moves in the solid torus. Therefore, the stable homotopy type \(\mathcal {X}_{{{\,\mathrm{AKh}\,}}}(D)\) is an invariant of an underlying link L. The following result relates the cohomology of the cubical realization \(\mathcal {C}_{{{\,\mathrm{AKh}\,}}}\) with the annular Khovanov homology.
Lemma 4.5
For any \(k \in \mathbb {Z}\), and any quantum grading \(q\in \mathbb {Z}\), there exists an isomorphism
Proof
By construction of the category \(\mathcal {C}_{{{\,\mathrm{AKh}\,}}}\), the cochain complex associated with \({{\,\mathrm{AKh}\,}}^{*,q,k}\) is precisely the cochain complex for \(\mathcal {C}_{{{\,\mathrm{AKh}\,}}}^{q,k}\) up to a shift. We conclude by Lemma 2.18. \(\square \)
Equivariant Khovanov flow category
Our goal is to construct a group action on the Khovanov flow category of a periodic link. Let m be an integer. Let \(D_m\) be a diagram of an mperiodic link and consider \(G=\mathbb {Z}_m\), which acts effectively on \(\mathbb {R}^2\) by rotations, preserving the diagram \(D_m\). The action of G permutes the crossings of \(D_m\). Let \(\sigma \) be a permutation corresponding to a generator of G. We have \(\sigma ^m=id\). The following proposition shows how to extend the action of G on crossings of \(D_m\) to the action on the Khovanov flow category.
Proposition 4.6
The action of \(\mathbb {Z}_m\) on \(D_m\) induces a group action on the Khovanov flow category \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m)\). The assignment \(\mathfrak {f}:(\mathcal {D}(v),\overline{x})\mapsto v\) can be extended to an equivariant cubical functor \(\mathfrak {f}:\Sigma ^{\mathbb {R}[\mathbb {Z}_m]^{n_/m}}\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m) \rightarrow {{\,\mathrm{Cube_\sigma }\,}}(n)\); in particular \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m)\) is an equivariant cubical flow category.
Proof
The permutation \(\sigma \) induces an action of \(\mathbb {Z}_{m}\) on \(\{0,1\}^{n}\) (we will denote this action by \(\sigma \) as well). In order to define the action of \(\mathbb {Z}_{m}\) on the set of objects of the Khovanov flow category, consider \((\mathcal {D}(v),\overline{x})\), with \(v \in \{0,1\}^{n}\), a labeled resolution configuration, and define \(\mathcal {G}_{\sigma }(\mathcal {D}(v),\overline{x}) = (\mathcal {D}(\sigma (v)),x \circ \sigma ^{1})\); see Fig. 3. Clearly, \(\mathcal {G}_{\sigma }\) induces an action of \(\mathbb {Z}_m\) on the set of objects of \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m)\). We need to describe the action on morphisms, that is, on the moduli spaces \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}(v),\overline{x},\overline{y})\) (see Sect. 4.3 for the definition of \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}\) and \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}\) and the relation between the two).
Recall that the action of \(\mathbb {Z}_{m}\) on the cube flow category was linear when restricted to any moduli space \(\mathcal {M}_{{{\,\mathrm{Cube}\,}}}(\mathfrak {f}(x),\mathfrak {f}(y))\). Therefore, the group action on morphisms in the cube category is completely determined by its restriction to the set of vertices of the respective permutohedra. This indicates that the group action on the moduli spaces \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x,y)\) should be built inductively with respect to the dimension of the moduli spaces.
We shall take care of axioms (EFC1)–(EFC3); Items (EFC4)–(EFC7) are taken care by Lemma 3.8.
The construction of \(\mathcal {G}_{\sigma }\) is straightforward for index 1 decorated configurations. Namely, \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}(v),\overline{x},\overline{y})\) is a single point by construction (see the construction of \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}(v),\overline{x},\overline{y})\) in [33, Section 5]). This means that if \(x,y\in {{\,\mathrm{Ob}\,}}(\mathcal {C}_{{{\,\mathrm{Kh}\,}}})\) have \({{\,\mathrm{ind}\,}}(y)={{\,\mathrm{ind}\,}}(x)1\) and \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x,y)\) is nonempty, the functor \(\mathfrak {f}\) induces a diffeomorphism between the moduli spaces \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x,y)\) and \(\mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(\mathfrak {f}(x),\mathfrak {f}(y))\), because each of them consists of a single point. Therefore \(\mathcal {G}_{\sigma }\) on zerodimensional moduli space is uniquely determined by the action of \(\mathcal {G}_{\sigma }\) on the cube flow category \({{\,\mathrm{Cube}\,}}(n)\).
We now pass to the construction of \(\mathcal {G}_{\sigma }\) for moduli spaces corresponding to index \(k+1\) decorated configurations and \(k\ge 1\). The construction is inductive. That is, in the construction we suppose \(\mathcal {G}_{\sigma }\) has already been constructed for all moduli spaces corresponding to resolution configurations of index k or less.
Consider an index \(k+1\) decorated configuration \((\mathcal {D}(u)\setminus \mathcal {D}(v),\overline{x},\overline{y})\). Take the moduli space \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x,y)\) with \(x=(\mathcal {D}(v),\overline{x})\), \(y=(\mathcal {D}(u),\overline{y})\).
Assume that \((\mathcal {D}(u)\setminus \mathcal {D}(v),\overline{x},\overline{y})\) is not a ladybug resolution configuration. By the inductive assumption the map \(\mathcal {G}_{\sigma }\) is already defined on the boundary of each connected component of \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x,y)=\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}(v)\setminus \mathcal {D}(u),\overline{x},\overline{y})\) and maps it onto the boundary of \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(\mathcal {G}_{\sigma }x,\mathcal {G}_{\sigma }y)=\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}(\sigma (v))\setminus \mathcal {D}(\sigma (u)),x \circ \sigma ^{1},y \circ \sigma ^{1})\). Moreover, the following diagram is commutative
The extension of \(\mathcal {G}_{\sigma }\) can be defined on \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(\mathcal {D}(v),x,y)\) as follows. Let
denote the respective connected components. Without loss of generality, we may and will assume that \(\mathcal {G}_{\sigma }\) maps \(\partial Y_{i}\) onto \(\partial Y_{i}'\). For any \(1 \le i \le k\), we define
The axioms (EFC1) and (EFC2) are trivially satisfied and (EFC3) is guaranteed by the fact that the construction is performed inductively.
To complete the proof we need to consider the case, when \((\mathcal {D}(u)\setminus \mathcal {D}(v),\overline{x},\overline{y})\) is a ladybug configuration. The action of \(\mathbb {Z}_{m}\) preserves the ladybug matching by [33, Lemma 5.8]. Therefore, we again obtain a welldefined extension of \(\mathfrak {f}\) to the whole \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}(v),\overline{x},\overline{y})\) and the extension of \(\mathcal {G}_{\sigma }\) is given again by (4.2). This completes the construction of the group action on the flow category \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m)\). Conditions (EFC1)–(EFC3) are trivially satisfied.
We define the grading via Lemma 3.8. As this is an important step of the construction, we unfold the definition of the grading. Namely, for an element \(y=(\mathcal {D}(v),\overline{x})\in {{\,\mathrm{Ob}\,}}(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m))\) we define
In the last equality in (4.3) we have used the fact that \(\mathbb {R}[G]_H=\mathbb {R}[H]^{G/H}\).
With this definition, the functor \(\mathfrak {f}:\Sigma ^{\mathbb {R}[\mathbb {Z}_m]^{n_/m}}\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m)\rightarrow {{\,\mathrm{Cube_\sigma }\,}}(m)\) preserves the grading. \(\square \)
Remark 4.7
We remark that shifting by \(\mathbb {R}[\mathbb {Z}_m]^{n_/m}\) is an overall shift corresponding to the grading shift by \(n_\) in the nonequivariant setting.
Corollary 4.8
For a periodic link diagram \(D_m\) in a solid torus, the category \(\mathcal {C}_{{{\,\mathrm{AKh}\,}}}(D_m)\) is a \(\mathbb {Z}_m\)equivariant cubical flow category.
Proof
The action of \(\mathbb {Z}_{m}\) on the Khovanov flow category \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_{m})\) constructed in Proposition 4.6 preserves the annular flow subcategory \(\mathcal {C}_{{{\,\mathrm{AKh}\,}}}(D_{m})\) inducing the desired structure. \(\square \)
Proof of Theorem 1.2
We will prove only part (b) of the theorem, namely that \(\mathcal {X}(\mathcal {C}_{{{\,\mathrm{Kh}\,}}})\) is a welldefined object in the equivariant Spanier–Whitehead category. The case of annular Khovanov homology is completely analogous.
Suppose that \(D_m\) is an mperiodic diagram representing an mperiodic link L. By Proposition 4.6, the Khovanov flow category \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m)\) admits a group action. Proposition 3.21 shows that the cubical realization \(\Sigma ^{V}\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m)\) admits a \(\mathbb {Z}_m\)action, for an appropriate representation \(V\). In particular, it ensures the existence of the Khovanov homotopy type as an object in the equivariant Spanier–Whitehead category, see Sect. 3.1.
To conclude the proof of Theorem 1.2, we need to show that the equivariant stable homotopy type \(\mathcal {X}(D_m)\) does not depend on the choices made. We prove invariance step by step.

Independence of R and \(\epsilon \). Arguing as in [33, Lemma 3.25], we see that different choice of parameters R and \(\epsilon \) yields equivariantly homeomorphic spaces.

Independence of \(e_{\bullet }\). Any cubical neat embedding \(\iota \) of \(\mathcal {C}\) relative to \(e_{\bullet }=(e_{1},\ldots ,e_{n1})\) induces a cubical neat embedding \(\iota '\) relative to \(e_{\bullet }'=(e_{1},\ldots ,e_{i}+1,\ldots ,e_{n1})\). Arguing as in the proof of [33, Lemma 3.26] we conclude that
$$\begin{aligned} \Sigma ^{V}\mathcal {C}_{e_{\bullet }} \simeq \mathcal {C}_{e_{\bullet }'}. \end{aligned}$$ 
Independence of V. Let us introduce the following notation. Suppose \(\iota _V\) is a cubical neat embedding relative to \(e_{\bullet }\) and relative to a representation V. Let \(V\hookrightarrow W\) be an equivariant embedding. Composing this embedding with \(\iota _V\) we obtain a neat embedding relative to \(e_{\bullet }\) and W, which we denote by \(\iota _V^W\). We observe that if \(W=V \oplus V'\), then by construction
$$\begin{aligned} \Sigma ^{V'}\mathcal {C}_{\iota _V}\cong \mathcal {C}_{\iota _V^W}. \end{aligned}$$Suppose \(\iota _V\) and \(\iota _{V'}\) are two cubical neat embeddings relative to \({e_{\bullet }}_V\) and V and to \({e_{\bullet }}_{V'}\) and \(V'\), respectively. By increasing the entries of \({e_{\bullet }}_V\) and \({e_{\bullet }}_{V'}\) and using independence on \(e_{\bullet }\) discussed above, we may and will assume that \({e_{\bullet }}_V={e_{\bullet }}_{V'}=e_{\bullet }\). We will also assume that the entries of \(e_{\bullet }\) are sufficiently large.
Under the latter assumption, with \(W=V\oplus V'\), the two embeddings \(\iota _V^{W}\) and \(\iota _{V'}^{W}\) a re equivariantly isotopic by the Mostow–Palais Theorem (Theorem A.11). By this we mean that for any \(x,y\in {{\,\mathrm{Ob}\,}}(\mathcal {C})\), there exists an equivariant isotopy \(\iota ^t_{x,y}\) (\(t\in [0,1]\)) such that \(\iota ^0_{x,y}=(\iota _V^{W})_{x,y}\) and \(\iota ^1_{x,y}=(\iota _{V'}^{W})_{x,y}\) satisfying compatibility relations (EFC1)–(EFC3) for all \(t\in [0,1]\). Such isotopy is constructed by defining \(j^t_{x,y}\), once \(j^0_{x,y}\) and \(j^1_{x,y}\) have been defined (see proof of Proposition 3.16). The construction of \(j^t_{x,y}\) is inductive as in Proposition 3.16, using Mostow–Palais Theorem at each stage. We omit straightforward details.
Given the isotopy, we obtain that \(\mathcal {C}_{\iota _V^{W}}\) and \(\mathcal {C}_{\iota _{V'}^{W}}\) are equivariantly homotopy equivalent, and therefore \(\mathcal {C}_{\iota _V}\) and \(\mathcal {C}_{\iota _{V'}}\) are equivariantly stably homotopy equivalent, as desired.
Proving the independence on the choice of the diagram and on the ladybug matching is more complicated; we prove these results in Sects. 5.1 and 5.2, respectively.
Independence under equivariant Reidemeister moves
Let \(D_m^1\) and \(D_m^2\) be periodic link diagrams representing the same periodic link L. Then \(\mathcal {C}(D_m^1)\) and \(\mathcal {C}(D_m^2)\) can be connected by a sequence of equivariant isotopies and equivariant Reidemeister moves. Here by an equivariant Reidemeister move we understand a \(\mathbb {Z}_m\) orbit of a single Reidemeister move that is performed in a ball disjoint from the rotation axis. See [46, Section 2.6, especially Figure 2.2] and [38, Proposition 2.6] for a more detailed discussion.
Proposition 5.1
The equivariant stable homotopy type of \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D_m)\) is invariant under the equivariant Reidemeister moves.
Proof
We prove the invariance under the equivariant R2move, following the same idea as in [33, Proof of Proposition 6.2]. The proof of the invariance under other equivariant Reidemeister moves follows the same lines as in [33]; the necessary adjustments to make these proofs work in the equivariant case are the same as the adjustments for the proof of the invariance under equivariant R2move, which we give in detail. For all equivariant Reidemeister moves, the main difficulty in the proof is to verify the assumptions of Lemma 3.31.
Let \(D_m\) be a diagram with crossings \(c_1,\ldots ,c_n\). Let \(D_m'\) be the diagram obtained after performing an equivariant R2move on \(D_m\), and let \((c_{n+1}, c_{n+2}),\) \((c_{n+3},c_{n+4}), \ldots , (c_{n+2m1}, c_{n+2m})\) be the m pairs of new crossings created during the process; see Fig. 4a.
For each \(v \in \{0,1\}^{n+2m}\), write \(\mathcal {D}'(v) = \mathcal {D}_{D_m'}(v)\), and recall that \(v_i\), the \(i^{th}\) coordinate of v, corresponds to the type of resolution of the crossing \(c_i\) of \(D_m'\).
Consider now the subcategory of \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m')\), denoted \(\mathcal {C}_1\), consisting of those labeled resolution configurations \((\mathcal {D}'(v),\overline{x})\) such that:

either there exists a value of k with \(v_{n+2k1}= 0\) and \(v_{n+2k}=1\), and x assigns a label \(\mathscr {x}_+\) to the extra circle created (see Fig. 4b);

or there exists a value of k satisfying \(v_{n+2k1} = v_{n+2k} = 1\) (see Fig. 4c).
It is clear that \(\mathcal {C}_1\) is an upward closed category. It corresponds to the upward closed category \(\mathscr {C}_1\) in [33, Proof of Proposition 6.3].
Lemma 5.2
The subcategory \(\mathcal {C}_1\) is Ginvariant, and for each subgroup \(H \subset G\) the corresponding complex \(C^*(\mathcal {C}_1^H)\) is acyclic.
We defer the proof of Lemma 5.2 past the proof of Proposition 5.1.
Let \(\mathcal {C}_2\) be the complementary downward closed subcategory of \(\mathcal {C}_1\), consisting of those labeled resolutions which do not satisfy any of the two previous conditions. Next, we consider a subcategory \(\mathcal {C}_3\) of \(\mathcal {C}_2\). The objects of \(\mathcal {C}_3\) are the labeled resolution configurations \((\mathcal {D}'(v),\overline{x})\) such that there exists a value of k satisfying:

either \(v_{n+2k1}= 0\) and \(v_{n+2k}=1\), and the extra circle is labeled by \(\mathscr {x}_\);

or \(v_{n+2k1}= 0\) and \(v_{n+2k}=0\);
see Fig. 4d, e. We observe that \(\mathcal {C}_3\) is an upward closed category.
Lemma 5.3
The subcategory \(\mathcal {C}_3\) is Ginvariant, and for any subgroup \(H\subset G\) the complex \(C^*(\mathcal {C}_3^H)\) is acyclic.
We omit the proof of Lemma 5.3, since it is analogous to the proof of Lemma 5.2.
Let \(\mathcal {C}_4\) be the complementary category of \(\mathcal {C}_3\) in \(\mathcal {C}_2\); that is to say, \(\mathcal {C}_4\) is the category such that there exists a value of k satisfying \(v_{n+2k1}= 1\) and \(v_{n+2k}=0\) (see Fig. 4f). Moreover, observe that \(\mathcal {C}_4\) is isomorphic to the category \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m)\) corresponding to the original diagram \(D_m\).
In this setting, we apply Lemma 3.31 twice to get the desired result. Namely, we first state that \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m')\) is equivariantly stably homotopy equivalent to \(\mathcal {C}_2\) and then that \(\mathcal {C}_2\) is equivariantly stably homotopy equivalent to \(\mathcal {C}_4 = \mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m)\). This concludes the proof of Proposition 5.1. \(\square \)
Proof of Lemma 5.2
For any \(\mathbf {a} \in \{0,1\}^{m}\), let \(C^{*}(\mathbf {a})\) denote the cochain complex generated by objects of \(\mathcal {C}_{1}\) of the form \(v_{n+2k1}=a_{i}\) and \(v_{n+2k}=1\). Notice that \(C^{*}(1,1,\ldots ,1)\) is a subcomplex of \(C^{*}(\mathcal {C}_{1})\). Moreover, the differential yields an isomorphism of chain complexes
see Fig. 5. Therefore, there exists an isomorphism of chain complexes
Since \(C^{*}({{\,\mathrm{Cube}\,}}(m))\) is acyclic, the Künneth Theorem implies that \(C^{*}(\mathcal {C}_{1})\) is also acyclic.
An analogous argument works for the fixed point sets categories. Namely, let \(H \subset G\) be a subgroup of order k and consider \(\mathcal {C}_{1}^{H}\). Let \(\sigma \) denote the permutation of crossings of \(D_m'\). Notice that the subset of crossings \(\{c_{n+1},c_{n+2},\ldots ,c_{n+2m}\}\) consists of two orbits of G
Moreover, if \(\sigma (c_{n+2i1}) = c_{n+2j1}\) then \(\sigma (c_{n+2i})=c_{n+2j}\), for any \(1 \le i \le m\). Let \(c_{i_{1}},c_{i_{2}},\ldots ,c_{i_{m/k}}\), for \(i_{1}<i_{2}< \cdots <i_{m/k}\), be representatives of orbits of the action generated by \(\sigma ^{m/k}\) restricted to the subset \(\{c_{n+1},c_{n+3},c_{n+5},\ldots , c_{n+2m1}\}\). If \((\mathcal {D}'(v),\overline{x})\) belongs to \(\mathcal {C}_{1}\), then v is constant on orbits of \(\sigma ^{m/k}\), and therefore values of v on representatives of orbits determine its values on the whole subset of crossings \(\{c_{n+1},\ldots ,c_{n+2m}\}\). Let \(\mathbf {a} \in \{0,1\}^{m/k}\). Define \(C^{*}_{H}(\mathbf {a})\) to be the submodule of \(C^{*}(\mathcal {C}_{1}^{H})\) generated by labeled resolution configurations such that \(v_{i_{j}} = a_{j}\), for \(1 \le j \le m/k\). Again, the components of the differential induce isomorphisms
and therefore we obtain an isomorphism of chain complexes
We can apply once more the Künneth Theorem to conclude that \(C^{*}(\mathcal {C}_{1}^{H})\) is acyclic. \(\square \)
Independence of the ladybug matching
Before we give the proof of the independence of the ladybug matching, we introduce some notation: given a link diagram \(D_m\) together with a \(\mathbb {Z}_m\)action by rotations, we write \(\overline{D_m}\) for the link diagram with a \(\mathbb {Z}_m\) action by rotations in the opposite direction. We write \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(\overline{D_m})\) for the corresponding equivariant Khovanov flow category; the underlying nonequivariant Khovanov flow category is the same, but the group action is inverted.
Proposition 5.4
Let \(D_m\) be a periodic diagram and let \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m)\) (\(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^\#(D_m)\)) be its associated equivariant Khovanov flow category built using the right (respectively, left) ladybug matching. Then \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m)\) and \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^\#(D_m)\) are stably equivariantly homotopy equivalent.
Proof
The proof is essentially the argument of [33, Proposition 6.5], but there is one subtlety regarding the group action.
Let \(D_m'\) be the reflection of the diagram \(D_m\) along the yaxis after switching all crossings (that is, \(D_m'\) is the result of rotating \(D_m\) by \(180^{\circ }\)). The diagrams \(D_m\) and \(D_m'\) represent the same link, but the rotation of the group action is inverted. In other words, \(D_m\) and \(\overline{D_m'}\) represent the same equivariant link. Therefore these diagrams can be related by a sequence of equivariant Reidemeister moves. By Proposition 5.1 we have an equivariant stable homotopy equivalence between \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m)\) and \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(\overline{D_m'})\).
There is also an equivariant stable homotopy equivalence between \(\mathcal {C}^\#_{{{\,\mathrm{Kh}\,}}}(D_m)\) and \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(\overline{D_m'})\). This is shown using the same argument as in the proof of [33, Proposition 6.5]: the isomorphism of framed flow categories \(\mathcal {C}^\#_{{{\,\mathrm{Kh}\,}}}(D_m)\) and \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D_m)\) is equivariant, if we revert the group action on one side.
The composition of the two equivariant stable homotopy equivalences yields the desired equivariant stable homotopy equivalence. \(\square \)
Moduli spaces via the \({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}\) category
In order to prove the Categorical Fixed Point Theorem 7.1 and, more generally, in order to understand the fixed point set of \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D)\) when D is a periodic link diagram, we need a deeper understanding of the structure of moduli spaces \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}\). The key tool is BarNatan’s cobordism category \({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}\) reviewed in Sect. 6.1. The main result of this section, which is used in the proof of the fixed point theorem, is the Counting Moduli Lemma 6.6, which computes the number of connected components of the moduli space \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}\) in terms of the genus of the associated cobordism.
Dotted cobordism category of \(\mathbb {R}^{3}\)
As alluded to above, we begin with recalling Bar–Natan’s formulation of Khovanov homology; see [2]. Let \({{\,\mathrm{Cob}\,}}^{3}_{\bullet }\) denote the graded additive category whose objects set is generated by finite collections of disjoint simple closed curves, i.e.,

(1)
If \(Z \subset \mathbb {R}^{2}\) is a finite collection of pairwise disjoint simple closed curves, then \(Z \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cob}\,}}^{3}_{\bullet })\),

(2)
if \(Z \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cob}\,}}^{3}_{\bullet })\), then a formal shift of Z, denoted \(Z\{\ell \}\), for some \(\ell \in \mathbb {Z}\), also belongs to \({{\,\mathrm{Ob}\,}}({{\,\mathrm{Cob}\,}}^{3}_{\bullet })\),

(3)
if \(Z_{1}, Z_{2} \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cob}\,}}^{3}_{\bullet })\), then their formal direct sum \(Z_{1} \oplus Z_{2}\) also belongs to \({{\,\mathrm{Ob}\,}}({{\,\mathrm{Cob}\,}}^{3}_{\bullet })\).
As \({{\,\mathrm{Cob}\,}}^3_{\bullet }\) is an additive category, it is enough to define morphisms on generators. If \(Z_{1},Z_{2}\) are two finite collections of disjoint simple closed curves in \(\mathbb {R}^{2}\), elements of \({{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet }}(Z_{1},Z_{2})\) are represented by formal linear combinations of boundary preserving isotopy classes of dotted cobordisms
For such a cobordism we define
where \(\chi (\Sigma )\) denotes the Euler characteristic of \(\Sigma \). Cobordisms are usually drawn from left to right or from bottom to top. Dots can move freely within the connected components of a given cobordism and decrease the degree of the respective map by 2.
The category \({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}\) is the quotient of \({{\,\mathrm{Cob}\,}}^{3}_{\bullet }\) by local relations depicted in Fig. 6. Particularly useful is the neck cutting relation depicted in Fig. 6d. Indeed, a recursive application of the neck cutting relation quickly reduces any morphism in \({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}\) to a morphism given as a disjoint sum of unknotted surfaces of genus 0 and 1.
Lemma 6.1
[2] Let \(\Sigma \) be a dotted surface representing a morphism in \({{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(Z_{1},Z_{2})\), for some \(Z_{1},Z_{2} \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l})\).

(1)
If any connected component of \(\Sigma \) is of genus greater than 1, then
$$\begin{aligned} \Sigma = 0 \in {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(Z_{1},Z_{2}). \end{aligned}$$ 
(2)
If any connected component of \(\Sigma \) is a singlydotted torus, then
$$\begin{aligned} \Sigma = 0 \in {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(Z_{1},Z_{2}). \end{aligned}$$
Proof
The lemma is a consequence of the relation drawn in Fig. 7, which follows directly from the neck cutting relation shown in Fig. 6d and the fact that a double dot annihilates every morphism, as shown in Fig. 6c. \(\square \)
Lemma 6.2
[2] Morphisms in \({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}\) satisfy the following properties:

(1)
A singlydotted sphere generates
$$\begin{aligned} {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(\emptyset ,\emptyset ) \cong \mathbb {Z}. \end{aligned}$$ 
(2)
If \(Z=S^{1}\), then
$$\begin{aligned} {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(\emptyset ,Z) \cong \mathbb {Z}^{2} \end{aligned}$$is generated by dotted and undotted caps, i.e. by surfaces depicted in Fig. 8.

(3)
If \(Z \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l})\) has c connected components, then
$$\begin{aligned} {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(\emptyset ,Z) \cong {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(\emptyset ,S^{1})^{\otimes c}\cong \mathbb {Z}^{2^c} \end{aligned}$$is generated by surfaces consisting of c disjoint dotted or undotted caps.

(4)
For any \(Z \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l})\) the composition map
$$\begin{aligned} {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(Z,\emptyset ) \times {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(\emptyset ,Z) \xrightarrow {\circ } {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(\emptyset ,\emptyset ) \end{aligned}$$is a nonsingular bilinear pairing, hence there exists an isomorphism
$$\begin{aligned} {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(Z,\emptyset ) \cong {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(\emptyset ,Z)^{*} = {{\,\mathrm{Hom}\,}}_{\mathbb {Z}}({{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(\emptyset ,Z),\mathbb {Z}). \end{aligned}$$Consequently, \({{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(Z,\emptyset )\) is generated by c disjoint surfaces dual to caps, i.e. cocaps (see Fig. 9).

(5)
If \(Z_{1}, Z_{2} \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l})\) have \(c_{1}\) and \(c_{2}\) connected components, respectively, then
$$\begin{aligned} {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(Z_{1},Z_{2}) \cong {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(\emptyset ,Z_{2}) \otimes {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(Z_{1},\emptyset ) \end{aligned}$$is generated by a disjoint union of \(c_{1}\) cocaps bounding \(Z_{1}\) and \(c_{2}\) caps bounding \(Z_{2}\).
Proof
Properties (1), (2) and (3) follow clearly from Lemma 6.1 and the neck cutting relation (Fig. 6d). Point (4) follows from points (1) and (3) together with the sphere and dotted sphere relations (Fig. 6a, b). The last point follows from points (3) and (4) together with the neck cutting relation. \(\square \)
Example 6.3
By Lemma 6.2(4), if \(Z \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l})\) consists of c connected components, then \({{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(\emptyset ,Z)\) is generated by c disjoint dotted or undotted caps. For any field \(\mathbb {F}\), we can identify
where V is the vector space used in Sect. 4.1. In order to do that enumerate circles of Z by \(Z_1,\ldots ,Z_c\). If \(c=1\), the identification is given in Fig. 8. The case \(c>1\) is a simple extension. Indeed, if
is a disjoint sum of caps such that \(C_{i}\) bounds \(Z_{i}\), for \(1 \le i \le c\), then
where the sign of the ith factor is \(+\) if \(C_{i}\) is undotted and − otherwise, for \(1 \le i \le c\).
For any \(Z_{1},Z_{2} \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l})\) a distinguished generator in \({{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(Z_{1},Z_{2})\) is a disjoint union of cocaps and caps as described Lemma 6.2(5). The distinguished basis of \({{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(Z_{1},Z_{2})\) is the basis consisting of distinguished generators. If \(\Sigma \in {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(Z_{1},Z_{2})\) is a distinguished generator, denote by \(\Sigma ^{\circ }\) and \(\Sigma ^{\bullet }\) the subsurface of \(\Sigma \) consisting of undotted and dotted components, respectively.
Given a diagram D of a link \(L \subset S^{3}\), Bar–Natan [2] constructed a cochain complex called the Bar–Natan bracket of D, denoted \([ [ D ]]_{{\text {BN}}}\). The Bar–Natan bracket is obtained by resolving crossings of D, as depicted in Fig. 2. Vogel [48] later improved the construction of Bar–Natan in such a way that the chain homotopy type of \([ [ D ]]_{{\text {BN}}}\) does not depend on the choice of the diagram D and is an invariant of L.
Lemma 6.4
[2] The functor \(\mathcal {T}_{{{\,\mathrm{Kh}\,}}}:{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}\rightarrow \mathbb {Z}Mod\) given by
is Khovanov’s TQFT. In particular, given any field \(\mathbb {F}\) and a link diagram D, there is a canonical isomorphism of cochain complexes
Lemma 6.4 gives us a translation between labeled resolution configurations \((\mathcal {D},\overline{x})\) and distinguished generators of \({{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(\emptyset ,\mathrm {Z}(\mathcal {D}))\).
Remark 6.5
The isomorphism in Lemma 6.2(5) can be described in the following way. For two objects \(Z_{1},Z_{2} \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l})\), the composition in \({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}\) induces a trilinear map
which yields an isomorphism
If \(\Sigma \in {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(Z_{1},Z_{2})\), then it is easy to check that
where the summation extends over distinguished generators \(S_{1}\) and \(S_{2}\) of \(\mathcal {T}_{{{\,\mathrm{Kh}\,}}}(Z_{1})\) and \(\mathcal {T}_{{{\,\mathrm{Kh}\,}}}(Z_{2})\), respectively.
Counting moduli lemma
Let \((\mathcal {D},\overline{x},\overline{y})\) be a decorated resolution configuration of index n. Enumerate the arcs in \(\mathrm {A}(\mathcal {D})\) by \(A_1,\ldots ,A_n\). Let \(\mathbf {z}= (z_{1},z_{2},\ldots ,z_{n}) \in \Pi _{n1}\). Define the surface \(\Sigma (\mathbf {z},\mathcal {D})\subset \mathbb {R}^2\times [0,n+1]\) as a trace of the surgery on \(\mathrm {Z}(\mathcal {D})\), where the surgery on the ith arc occurs at the level \(z_i\). As the arcs are pairwise nonintersecting, the surface is well defined even if some of the coordinates \(z_i\) of \(\mathbf {z}\) are equal. Notice that the map \(\mathcal {T}_{{{\,\mathrm{Kh}\,}}}(\Sigma (u,\mathcal {D}))\) does not depend on the choice of \(\mathbf {z}\in \Pi _{n1}\).
For any surface \(\Sigma \subset \mathbb {R}^2\times [a,b]\) we define its bottom boundary \(\partial _0\Sigma \) and the top boundary \(\partial _1\Sigma \) via
The result we present next is the key tool in the study of the fixed points of moduli spaces.
Lemma 6.6
(Counting moduli lemma) Let \((\mathcal {D},\overline{x},\overline{y})\) be a decorated resolution configuration of index n. Let \(S_{1} \in \mathcal {T}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D})\) be the distinguished generator corresponding to the surgery configuration \((\mathcal {D},\overline{y})\) under the isomorphism from Lemma 6.4. Likewise, let \(S_{2} \in \mathcal {T}_{{{\,\mathrm{Kh}\,}}}(\mathrm {Z}(\mathfrak {s}(\mathcal {D})))\) be the distinguished generator corresponding to the labeled resolution configuration \((\mathfrak {s}(\mathcal {D}),\overline{x})\) Then, for any \(z \in \Pi _{n1}\),
In particular, if \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D},\overline{x},\overline{y}) \ne \emptyset \), then
where \(c_{1}\) is the number of genus 1 connected components of \(\Sigma (\mathbf {z},\mathcal {D})\).
Remark 6.7
The lemma can be deduced from the discussion at the end of [29, Section 2.11]. As the precise statement is absent in that paper, and the result is widely used in the present paper, we present a sketch of the proof using \({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}\)categories and posets.
Proof
For a resolution configuration \((\mathfrak {s}_{\mathrm {A}}(\mathcal {D}),\overline{x}')\), where \(\mathrm {A}\subset \mathrm {A}(\mathcal {D})\), let \(S_{\mathrm {A},\overline{x}'} \in \mathcal {T}_{{{\,\mathrm{Kh}\,}}}(\mathrm {Z}(\mathcal {D}))\) denote the distinguished generator corresponding to \((\mathfrak {s}_{\mathrm {A}}(\mathcal {D}),\overline{x}')\).
Without loss of generality we can pick \(\mathbf {z}= (1,2,3,\ldots ,n) \in \Pi _{n1}\). Proposition 2.13 implies that \(\# \pi _{0}(\mathcal {D},\overline{x},\overline{y}) = \# \max P_{\mathbf {z}}(\mathcal {D},\overline{x},\overline{y})\), so it is sufficient to prove that
In order to prove (6.1), we proceed by induction on the index of the resolution configuration. Let \(Z_{01},\ldots ,Z_{0\mathfrak {s}_y}\) be the circles in \(\mathrm {Z}(\mathcal {D})\) and \(Z_{11},\ldots ,Z_{1\mathfrak {s}_x}\) be the circles in \(\mathrm {Z}(\mathfrak {s}(\mathcal {D})))\).
For an index 1 resolution configuration, the poset \(P_{\mathbf {z}}(x,y)\) consists of a single chain \(x\succ y\) and the surface \(\Sigma \) has genus 0. Then both sides of (6.1) are equal to 1.
Suppose now that (6.1) has been proved for all index \(n1\) resolution configurations, and let \((\mathcal {D},\overline{x},\overline{y})\) be a resolution configuration of index n. There are two cases. Either \(A_1\) is a split, or it is a merge. We will deal only with the (harder) case, when \(A_1\) is a split, leaving the other case to the reader., we give only the half of the proof.
Suppose \(Z_{01}\) splits into two circles \(Z_{011}\) and \(Z_{012}\). If \(\overline{y}(Z_{01})=\mathscr {x}_\), then there is a unique \(\overline{y}_1\) such that \((\mathcal {D},\overline{y})\prec (\mathfrak {s}_{\{A_1\}}(\mathcal {D}),\overline{y}_1)\). We infer that \(\#\max P_{\mathbf {z}}(x,y)=\#\max P_{\mathbf {z}^1}(x,y_1)\). The neckcutting relation shows that
Suppose finally that \(\overline{y}(Z_{01})=\mathscr {x}_+\). Then there are two different assignments \(\overline{y}_{1}\) and \(\overline{y}_{2}\) such that for \(y_{j}=(\mathfrak {s}_{\{A_1\}}(\mathcal {D}),\overline{y}_{j})\) we have \(y\prec y_j\) (with \(j=1,2\)): one assigns \(\mathscr {x}_+\) to \(Z_{011}\) and \(\mathscr {x}_\) to \(Z_{012}\), the other one does the opposite. In particular
Let \(S_3\), \(S_4\) be the distinguished generators associated to \(y_1\) and \(y_2\), respectively. We need to prove that
which follows from the neckcutting relation (see Fig. 10). \(\square \)
Categorical and geometric fixed points
Categorical fixed point theorem
Throughout this section, p denotes a fixed prime number. Define the map
where \(\zeta \) denotes the complex coordinate on \(\mathbb {C} \setminus \{0\} = \mathbb {C}^*\). If \(\mathcal {D}\) is a resolution configuration in \(\mathbb {C}^*\), then define the plift of \(\mathcal {D}\) to be the pperiodic resolution configuration \(\mathcal {D}_{p}\) such that \(\mathrm {Z}(\mathcal {D}_{p}) = \pi _{p}^{1}(\mathrm {Z}(\mathcal {D}))\) and \(\mathrm {A}(\mathcal {D}_{p}) = \pi _{p}^{1}(\mathrm {A}(\mathcal {D}))\). Analogously, for a labeled resolution configuration \((\mathcal {D},\overline{x})\) and a decorated resolution configuration \((\mathcal {D},\overline{x},\overline{y})\) we define the plift \((\mathcal {D}_{p},\overline{x}_{p})\) and \((\mathcal {D}_{p},\overline{x}_{p},\overline{y}_{p})\), where \(\overline{x}_{p} = \overline{x}\circ \pi _{p}\) and \(\overline{y}_{p} = \overline{y}\circ \pi _{p}\).
Theorem 7.1
(Categorical fixed point theorem) Let \(D_{p}\) be a pperiodic annular link diagram and let D denote the quotient diagram. For any \(q,k \in \mathbb {Z}\) there exists an isomorphism of cubical flow categories
which induces the following isomorphism of cubical flow categories, for any \(q \in \mathbb {Z}\),
As a corollary we obtain the statement equivalent to Geometric Fixed Point Theorem 1.3.
Corollary 7.2
For any annular link diagram D we obtain
Proof of Corollary 7.2
Notice that by Proposition 3.27 and Theorem 7.1 we have
The case of the Khovanov flow category is analogous. \(\square \)
Proof of Theorem 7.1
The desired isomorphism of cubical flow categories will be first defined on objects, then on morphisms.
Lemma 7.3
The formula \(\mathcal {F}_p(\mathcal {D},\overline{x})=(\mathcal {D}_p,\overline{x}_p)\) induces a bijection
The map \(\mathcal {F}_p\) preserves the annular grading.
Proof of Lemma 7.3
The inverse map is given by taking the quotient of a respective labeled resolution configuration. Moreover, invariance of the annular grading under the map \(\mathcal {F}_{p}\) is evident. \(\square \)
We will now pass to constructing the map on morphisms. The key property that we will require is that for all resolution configurations \((\mathcal {D},\overline{x},\overline{y})\) the following diagram commutes:
where \(u = \mathfrak {f}(\mathcal {D},\overline{y})\), \(v = \mathfrak {f}(\mathfrak {s}(\mathcal {D}),\overline{x})\), \(u_{p} = \mathfrak {f}(\mathcal {D}_{p},\overline{y}_{p})\) and \(v_{p}=\mathfrak {f}(\mathfrak {s}(\mathcal {D}_{p}),\overline{x}_{p})\).
We begin with morphisms in \(\mathcal {C}_{{{\,\mathrm{AKh}\,}}}(D)\) corresponding to index one configurations. All these configurations are depicted in Fig. 11. We recall now a result of Zhang, which is proved on a detailed casebycase analysis.
Lemma 7.4
(See [51, Section 5.3]) For all configuration depicted in Fig. 11 we have
Next result connects \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}\) with \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}\) for index one configurations.
Lemma 7.5
Suppose \((\mathcal {D},\overline{x},\overline{y})\) is one of the configurations of Fig. 11. If \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}_p,\)\(\overline{x}_p,\overline{y}_p)^{\mathbb {Z}_p}\) is nonempty, \({{\,\mathrm{Ann}\,}}(\mathcal {D}_p,\overline{y}_p)={{\,\mathrm{Ann}\,}}(\mathfrak {s}(\mathcal {D}_p),\overline{x}_p)\).
Proof of Lemma 7.5
The proof is done on a casebycase analysis. Cases (e) and (f) of Fig. 11 are trivial, because no circles in \(\mathcal {D}_p\) or \(\mathfrak {s}(\mathcal {D}_p)\) is nontrivial (in the sense of Sect. 4.2). Thus \({{\,\mathrm{Ann}\,}}(\mathcal {D}_p,\overline{y}_p)={{\,\mathrm{Ann}\,}}(\mathfrak {s}(\mathcal {D}_p),\overline{x}_p)=0\).
Case (b) is dual to (a), and case (d) is dual to (c), so it is enough to prove the lemma for cases (a) and (c) only. We will deal with case (a) only, leaving case (c) (which is easier) to the reader. The resolution configurations \(\mathcal {D}_p\) and \(\mathfrak {s}(\mathcal {D}_p)\) are depicted in Fig. 12. Note that the annular grading of any resolution configuration on the right is zero, because there are no nontrivial circles. Therefore, it is enough to show that if the resolution configuration on the left has nontrivial annular grading, then \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}_p,\overline{x}_p,\overline{y}_p)^{\mathbb {Z}_p}=0\). The configuration \((\mathcal {D}_p,\overline{y}_p)\) has nontrivial annular grading in precisely two cases: either \(\overline{y}_p\) assigns \(\mathscr {x}_\) to both circles on the left, or it assigns \(\mathscr {x}_+\) to both circles. In the first case, as the surgery on any of the arcs merges two circles labeled with \(\mathscr {x}_\), the moduli space \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}_p,\overline{x}_p,\overline{y}_p)\) is empty.
The other case is that \(\overline{y}_p\) assigns \(\mathscr {x}_+\) to both circles. After the surgery on one of the arcs connecting the two circles, we obtain a single circle labeled with \(\mathscr {x}_+\). All other \(p1\) arcs are splits. Any split of an \(\mathscr {x}_+\) labeled circle yields a circle labeled with \(\mathscr {x}_+\) and a circle labeled with \(\mathscr {x}_\), while a split of a circle labeled with \(\mathscr {x}_\) has two circles both labeled with \(\mathscr {x}_\). It follows that \(\overline{x}_p\) assigns \(\mathscr {x}_+\) to a positive number of circles and \(\mathscr {x}_\) also to a positive number of circles. Such configuration (the underlying p circles are drawn in Fig. 12 on the right) cannot be \(\mathbb {Z}_p\)invariant. Hence \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}_p,\overline{x}_p,\overline{y}_p)^{\mathbb {Z}_p}\) is empty. This concludes the proof of case (a). \(\square \)
Corollary 7.6
For any index one configuration, there is a bijection between \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D},\overline{x},\overline{y})\), \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D}_p,\overline{x}_p,\overline{y}_p)^{\mathbb {Z}_p}\) and \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}_p,\overline{x}_p,\overline{y}_p)^{\mathbb {Z}_p}\).
Proof
From Lemma 7.5 we immediately obtain a bijection between \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D}_p,\overline{x}_p,\overline{y}_p)^{\mathbb {Z}_p}\) and \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}_p,\overline{x}_p,\overline{y}_p)^{\mathbb {Z}_p}\). By Lemma 7.4, it is enough to consider the case, when \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D},\overline{x},\overline{y})\) is nonempty. Then it is a zerodimensional permutohedron \(\Pi _0\), that is, a single point. Call it \(\mathbf {z}\). Let \(\Sigma (\mathbf {z},\mathcal {D})\) be the corresponding surface. It has genus zero.
Let \(\mathbf {z}_p\in \Pi _{p1}^{\mathbb {Z}_p}\) denote the unique fixed point of the \(\mathbb {Z}_p\) action. The surface \(\Sigma (\mathbf {z}_p,\mathcal {D}_p)\) is a pfold cover of \(\Sigma (\mathbf {z},\mathcal {D})\) and it is easily seen to have genus zero as well. From Counting Moduli Lemma 6.6 we deduce that \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D}_p,\overline{x}_p,\overline{y}_p)\) is connected, hence it is diffeomorphic to \(\Pi _{p1}\). Therefore \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D}_p,\overline{x}_p,\overline{y}_p)^{\mathbb {Z}_p}\) is a single point. \(\square \)
Remark 7.7
Since the moduli spaces in Corollary 7.6 are either empty or a single point, the bijection of Corollary 7.6 is uniquely defined.
Continuing the proof of Theorem 7.1, we extend \(\mathcal {F}_p\) from objects to morphisms corresponding to index one resolution configurations. We now discuss the index two resolution configurations.
Assume first that \((\mathcal {D},\overline{x},\overline{y})\) is not a ladybug and \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D},\overline{x},\overline{y})\) is nonempty. Then \((\mathcal {D},\overline{x},\overline{y})\) is a genus zero resolution configuration. In particular, \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D},\overline{x},\overline{y})=\Pi _1\) is an interval with two boundary components. By dimension counting argument, \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D}_p,\overline{x}_p,\overline{y}_p)^{\mathbb {Z}_p}\) is a union of some number of copies of onedimensional permutohedra \(\Pi _1\). By the induction assumption \(\partial \mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D}_p,\overline{x}_p,\overline{y}_p)^{\mathbb {Z}_p}{\mathop {\cong }\limits ^{\mathcal {F}_p}}\partial \mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D},\overline{x},\overline{y})\). Hence \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D}_p,\overline{x}_p,\overline{y}_p)^{\mathbb {Z}_p}\) is also an interval. Then \(\mathfrak {f}\) takes it diffeomorphically to \(\Pi _{2p1}^{\mathbb {Z}_p}=\Pi _1\). We define \(\mathcal {F}_{p} = \mathfrak {f}^{1} \circ \mathcal {F}_{{{\,\mathrm{Cube}\,}}}\circ \mathfrak {f}\), so (7.1) commutes.
If the genus of \((\mathcal {D},\overline{x},\overline{y})\) is one, the moduli space is not connected. Decorated resolution configurations of index two and genus one are called ladybug configurations, they are depicted in Fig. 13.
We discuss these three cases separately.
Lemma 7.8
If \((\mathcal {D},\overline{x},\overline{y})\) is as in Fig. 13a, then \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}_p,\overline{x}_p,\overline{y}_p)=\emptyset \) and \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D},\overline{x},\overline{y})=\emptyset \).
Proof
For the first part note that the genus of \((\mathcal {D}_p,\overline{x}_p,\overline{y}_p)\) is equal to \(p>1\). Therefore, the moduli space is empty, by Lemma 6.1(1).
For the second part note that \((\mathcal {D},\overline{y}) \prec (\mathfrak {s}(\mathcal {D}),\overline{x})\) if and only if \(\overline{y}\) assigns \(\mathscr {x}_+\) to the unique circle in \(\mathcal {D}\) and \(\overline{x}\) assigns \(\mathscr {x}_\) to the unique circle in \(\mathfrak {s}(\mathcal {D})\). Then \({{\,\mathrm{Ann}\,}}(\mathcal {D},\overline{y})\ne {{\,\mathrm{Ann}\,}}(\mathfrak {s}(\mathcal {D}),\overline{x})\), so \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D},\overline{x},\overline{y})=\emptyset \). \(\square \)
The two other cases are dealt with in the following lemma, whose proof is deferred to Sect. 7.2.
Lemma 7.9
Suppose \((\mathcal {D},\overline{x},\overline{y})\) is a ladybug configuration depicted in Fig. 13b or Fig. 13c. Then
The isomorphism makes the diagram (7.1) commutative.
Lemma 7.9 finishes the construction of \(\mathcal {F}_p\) for index 2 resolution configurations. Suppose \({{\,\mathrm{ind}\,}}(\mathcal {D},\overline{x},\overline{y})>2\). The map \(\mathcal {F}_p:\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D},\overline{x},\overline{y})\rightarrow \mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D}_p,\overline{x}_p,\overline{y}_p)^{\mathbb {Z}_p}\) has already been constructed on the boundary. Now \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D},\overline{x},\overline{y})\) and \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D}_p,\overline{x}_p,\overline{y}_p)^{\mathbb {Z}_p}\) are disjoint union of disks of dimension \({{\,\mathrm{ind}\,}}(\mathcal {D},\overline{x},\overline{y})1\). The map \(\mathcal {F}_p\) is already defined on the boundaries of these moduli spaces. As \({{\,\mathrm{ind}\,}}(\mathcal {D},\overline{x},\overline{y})1>1\), there is a unique (up to homotopy) extension of \(\mathcal {F}_p\) to the whole of \(\mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D},\overline{x},\overline{y})\). \(\square \)
Proof of Lemma 7.9
We will prove Lemma 7.9 only for the resolution configuration depicted in Fig. 13b. The case of Fig. 13c is similar (and easier), we leave it to the reader.
Lemma 6.6 implies that \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D},\overline{x},\overline{y}) = \Pi _{1}^{1} \sqcup \Pi _{1}^{2}\) has two connected components. Let Z denote the unique circle in \(\mathcal {D}\) and let \(A_{1}\) and \(A_{2}\) denote the arcs, where \(A_{1}\) is the arc lying inside Z. As \(x\succ y\) we must have \(\overline{y}(Z)=\mathscr {x}_+\) and \(\overline{x}(Z') = \mathscr {x}_\) and in this case the poset P(x, y) consists of four elements \(x\succ \widetilde{x}_j\succ y\), \(j=1,\ldots ,4\), where:
Here \(\overline{x}_{A_{2}}^{1}\) assigns \(\mathscr {x}_+\) to the inner circle and \(\mathscr {x}_+\) to the other circle and \(\overline{x}_{A_{2}}^{2}\) the opposite way. The assignments \(\overline{x}_{A_{1}}^{1}\) and \(\overline{x}_{A_{1}}^{2}\) are such that \((\mathfrak {s}_{\{A_1\}}(\mathcal {D}),\overline{x}_{A_1}^1)\) and \((\mathfrak {s}_{\{A_2\}}(\mathcal {D}),\overline{x}_{A_2}^1)\) are paired under right ladybug matching, that is, the vertices corresponding to posets \(x\succ \widetilde{x}_1\succ y\) and \(x\succ \widetilde{x}_3\succ y\) belong to the same connected component of \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D},x,y)\); see [33, Section 5.4].
Consider now the cover. Denote by \(Z^{1},Z^{2},\ldots ,Z^{p}\) the circles in \(\mathcal {D}_{p}\) and \(A_{1}^{1},A_{1}^{2},\ldots ,A_{1}^{p}\), \(A_{2}^{1},\ldots ,A_{2}^{p}\) the lifts of \(A_{1}\) and \(A_{2}\), respectively. The lifts of the circles in \(\mathfrak {s}_{\{A_i\}}(\mathcal {D})\), \(i=1,2\) are denoted by \(Z^s_{ij}\) where \(s=1,\ldots ,p\) enumerates the circles and \(j=1,2\) corresponds to the left/right or inner/outer circle in the orbit. The lifts of \(\mathfrak {s}_{\{A_1,A_2\}}(\mathrm {Z})\) are denoted \({Z'}^1,\ldots ,{Z'}^p\).
We need to introduce an extra piece of notation. Let \(\sigma _1,\sigma _2\in {{\,\mathrm{Perm}\,}}_p\) be permutations and fix \(j_1,j_2\in \{0,\ldots ,p\}\). Define the resolution configuration \(x^{ij}_{\sigma _1,\sigma _2}\) whose underlying set of circles is given by \(\mathfrak {s}_{\{A_1^{\sigma _1(1)},\ldots ,A_1^{\sigma _1(j_1)},A_2^{\sigma _2(1)},\ldots ,A_2^{\sigma _2(j_2)}\}}\). The assignment \(\overline{x}^{ij}_{\sigma _1,\sigma _2}\) of \(\mathscr {x}_+,\mathscr {x}_\) to each of the circles is given as follows. Let \(i\in \{1,\ldots ,p\}\):

if \(i\in \{\sigma _1(1),\ldots ,\sigma _1(j_1)\}\) and \(i\in \{\sigma _2(1),\ldots ,\sigma _2(j_2)\}\), then the resolution configuration contains \({Z'}^i\) and we assign \(\mathscr {x}_\) to it;

if \(i\in \{\sigma _1(1),\ldots ,\sigma _1(j_1)\}\) and \(i\notin \{\sigma _2(1),\ldots ,\sigma _2(j_2)\}\), then \(Z^i_{1j}\) belong to the resolution configuration (\(j=1,2\)) and we assign \(\overline{x}^1_{A_1}\) to it;

if \(i\notin \{\sigma _1(1),\ldots ,\sigma _1(j_1)\}\) and \(i\in \{\sigma _2(1),\ldots ,\sigma _2(j_2)\}\), then \(Z^i_{2j}\) belong to the resolution configuration (\(j=1,2\)) and we assign \(\overline{x}^1_{A_2}\) to it;

if \(i\notin \{\sigma _1(1),\ldots ,\sigma _1(j_1)\}\) and \(i\notin \{\sigma _2(1),\ldots ,\sigma _2(j_2)\}\), then \(Z^i\) belong to the resolution configuration and we assign \(\mathscr {x}_+\) to it.
Every maximal chain containing \(\widetilde{x}^p_1\) is of the form
Likewise, every maximal chain containing \(\widetilde{x}^p_3\) is of form
Recall that in Definition 2.11 and Lemma 2.12 we established a correspondence between maximal chains and vertices in the moduli space. We will use this correspondence in the rest of the proof. Our next aim is to prove the following result.
Lemma 7.10
The vertices \(v_{\sigma _1\sigma _2}\) and \(w_{\sigma _1\sigma _2}\) belong to the same connected component of \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x_p,y_p)\).
Proof of Lemma 7.10
Fix \(\sigma _1\) and \(\sigma _2\) and write \(x^{ij}\) for \(x^{ij}_{\sigma _1\sigma _2}\). Denote by \(u^{ij}\) the maximal chain
We note that \(u^{p0}=v_{\sigma _1\sigma _2}\) and \(u^{0p}=w_{\sigma _1\sigma _2}\). Moreover, \(u^{i0}=u^{i+1,p}\) by construction. It is therefore enough to prove that \(u^{ij}\) and \(u^{ij+1}\) belong to the same connected component of \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x,y)\). To this end define
Let \(\iota :\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x^{ij},y)\times \mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x^{i+1,j+1},x^{ij})\times \mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x,x^{i+1,j+1})\hookrightarrow \mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x,y)\) be the inclusion. We have that \(u^{ij}=\iota (w_{start},w_1,w_{end})\) and \(u^{ij+1}=\iota (w_{start},w_2,w_{end})\). Therefore it is enough to prove that \(w_1\) and \(w_2\) belong to the same connected component of \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x^{i+1,j+1},x^{ij})\). There are two cases.

\(\sigma _1(i+1)\ne \sigma _2(j+1)\);

\(\sigma _1(i+1)=\sigma _2(j+1)\).
In the first case the associated surface consists of two components, both being pair of pants. As the genus is zero, by Lemma 6.6\(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x^{i+1,j+1},x^{ij})\) is connected.
The second case corresponds to the ladybug matching. Writing \(s=\sigma _1(i+1)\) we obtain that \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x^{i+1,j+1},x^{ij})=\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(\mathcal {D}^p_s,\overline{x}^p_s,\overline{y}^p_s)\), where \(\mathrm {Z}(\mathcal {D}^p_s)=Z^s\), \(\mathrm {A}(\mathcal {D}^p_s)=\{A^s_1,A^s_2\}\), \(\overline{y}^p_s(Z^s)=\mathscr {x}_\), \(\overline{x}^p_s({Z'}^s)=\mathscr {x}_+\), that is, this is the moduli space corresponding to a ladybug configuration. Our definition of assignments \(\overline{x}^p_s\) and \(\overline{y}^p_s\) implies that \(w_1\) and \(w_2\) belong to the same connected component of the moduli space. This concludes the proof of Lemma 7.10. \(\square \)
Lemma 7.11
Let \(\sigma _1',\sigma _2'\in {{\,\mathrm{Perm}\,}}_p\) be another permutation and let \(v_{\sigma _1'\sigma _2'}\) be a chain as in (7.2). Then the vertices corresponding to \(v_{\sigma _1\sigma _2}\) and \(v_{\sigma _1'\sigma _2'}\) belong to the same connected component of \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x_p,y_p)\).
Proof
It is enough to prove the result if \(\sigma _1=\sigma _1'\) and \(\sigma _2'\) differs from \(\sigma _2\) by swapping two adjacent elements (or \(\sigma _2=\sigma _2'\) and \(\sigma _1\) differs from \(\sigma _1'\) by a single transposition of elements). The proof in that case is essentially a repetition of the argument used in the proof of Lemma 7.10 so we leave it to the reader. \(\square \)
Let \(\Pi \) be the connected component of \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x_p,y_p)\) that contains all of the \(v_{\sigma _1\sigma _2}\) and \(v_{\sigma _1\sigma _2}\). Note that the group action takes \(v_{\sigma _1\sigma _2}\) to \(v_{\sigma _1'\sigma _2'}\) for some other permutation \(\sigma _1',\sigma _2'\), therefore the component \(\Pi _1\) is preserved. The fixed point set \(\Pi ^{\mathbb {Z}_p}\) is a onedimensional permutohedron \(\Pi _2\), which is diffeomorphic with \(\Pi _{2p1}^{\mathbb {Z}_p}\). The diffeomorphism is realized by the restriction of the cover map \(\mathfrak {f}:\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x_p,y_p)\rightarrow \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(2p)}(\mathfrak {f}(x_p),\mathfrak {f}(y_p))\).
We define now the isomorphism \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x,y)\rightarrow \mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x_p,y_p)^{\mathbb {Z}_p}\) in such a way that the segment connecting the vertices \(x\succ \widetilde{x}_1\succ y\) and \(x\succ \widetilde{x}_3\succ y\) in \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x,y)\) is mapped to a segment in \(\Pi ^{\mathbb {Z}_p}\) (which is a disjoint union of segments). The segment connecting the vertices \(x\succ \widetilde{x}_2\succ y\) to \(x\succ \widetilde{x}_4\succ y\) is mapped to the other connected component of \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(x_p,y_p)^{\mathbb {Z}_p}\).
Equivariant Khovanov homology
We begin with a brief review of the construction of the equivariant Khovanov homology [38]. Later on, we merge this construction with the construction of the equivariant Khovanov homotopy type that we introduced in Sect. 4.
Review of the construction
Let D be an mperiodic diagram representing an mperiodic link L. The symmetry of L can be realized by a cobordism in \(S^3 \times I\) in the following way. Suppose the rotation center is at \(0\in \mathbb {R}^2\). Consider \(D\times I \subset \mathbb {R}^2\times I\) and twist it by the diffeomorphism \(\eta :\mathbb {R}^2 \times I\rightarrow \mathbb {R}^2 \times I\) given by \((x,t)\mapsto (\Psi _{2\pi t/m} x,t)\), where \(\Psi _\theta \) is a counterclockwise rotation by the angle \(\theta \). The image
is a cobordism from D to D. Note that this is a product cobordism, and there are no handle attachments.
In [2] a map \(\phi _{\Sigma _D}\) of Khovanov chain complexes was associated to each cobordism of diagrams \(\Sigma \). The chain homotopy class of this map was later shown to be functorial, i.e., not depending on the isotopy type of \(\Sigma \); see [48]. is welldefined and can be used to show that the group action on the Khovanov chain complex is welldefined. In fact, defining a group action is relatively easy, but many proofs of invariance can be simplified, once we have a functorial map \(\phi _{\Sigma _D}\) Notice that only the chain homotopy type of \(\phi _{\Sigma _{D}}\) is welldefined. However, since \(\Sigma _{D}\) is a composition of Reidemeister moves, it is possible to choose a representative for \(\phi _{\Sigma _{D}}\), which induces a group action on the Khovanov complex.
Proposition 8.1
[38, Section 2] Let R be a commutative ring with a unit. It is possible to choose a representative of the cobordism map \(\phi _{\Sigma _D}\), which induces a group action on the chain complex \({{\,\mathrm{CKh}\,}}(D;R)\).
The Khovanov complex \({{\,\mathrm{CKh}\,}}(D;R)\) admits an action of the cyclic group \(\mathbb {Z}_m\). Therefore \({{\,\mathrm{CKh}\,}}(D;R)\) can be regarded as a \(\Lambda \)module, where \(\Lambda =R[\mathbb {Z}_m]\). For an Rmodule M, define the equivariant Khovanov homology of L in gradings k and q as
Since \({{\,\mathrm{Ext}\,}}^j_\Lambda (M;{{\,\mathrm{CKh}\,}}^{*,q}(D;R))\) does not depend on the chosen diagram D, equivariant Khovanov homology is an invariant of periodic links [38].
The construction of equivariant Khovanov homology also works in the annular case. The methods of [38] carry over to the annular case without significant modifications. Namely, we observe that the annular chain complex \({{\,\mathrm{CAKh}\,}}^{*,q,k}(D;R)\) admits a \(\mathbb {Z}_m\)action, hence it is a \(\Lambda \)module. Next, we define
Essentially the same argument as in [38] can be used to show that \({{\,\mathrm{EAKh}\,}}\) is an invariant of an annular link.
Equivariant Khovanov homology as Borel cohomology
We now have two ways of getting equivariant homology from the Khovanov theory. One way is to use the definition given in (8.2). Another way uses the Borel cohomology of space \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D)\). We will now show that the two constructions agree. In the rest of this section we denote by \(\widetilde{C}^{*}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D);R)\) the reduced cellular cochain complex of \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D)\) associated to the CWstructure described in Sect. 3.7.
First we state a preparatory result.
Proposition 8.2
Let \(D_{m}\) be an mperiodic diagram of a link. There exists an identification of cochain complexes of \(R[\mathbb {Z}_m]\)modules
Here it should be understood that the structure of the \(R[\mathbb {Z}_m]\) cochain complex is given by the \(\mathbb {Z}_m\)action on \(\widetilde{C}^{*}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D_{m});R)\) and on \({{\,\mathrm{CKh}\,}}(D_{m})\).
Proof
The statement is a consequence of the construction of the cochain complex of \(\widetilde{C}^{*}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D_{m}))\). The cellular cochain complex \(\widetilde{C}^{*}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D_{m});R)\) was constructed in Sect. 2.6. The construction is that the generators of \(\widetilde{C}^{*}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D_{m});R)\) correspond to the generators of \({{\,\mathrm{CKh}\,}}^{*}(D_{m};R)\). The differential on \(\widetilde{C}^{*}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D_{m});R)\) is the same as in \({{\,\mathrm{CKh}\,}}(D_{m};R)\). In Sect. 3.9 it was shown that the induced group actions on \(\widetilde{C}^{*}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D_{m});R)\) and \({{\,\mathrm{CKh}\,}}(D_{m};R)\) coincide. \(\square \)
In order to state and prove the next result, we need to set up some notation and recall some basic facts from homological algebra. If \(C_{*}\) is a chain complex, we will associate to it a cochain complex \(C_{r}^{*}\) defined by \(C_{r}^{n}=C_{n}\) with the differential \(d^{n}_{r} :C_{r}^{n} \rightarrow C_{r}^{n+1}\) defined by \(d^{n}_{r} = (1)^{n} d_{n}\), where \(d_{n} :C_{n} \rightarrow C_{n1}\) is the differential in \(C_{*}\). For two cochain complexes \(C^{*}\) and \(D^{*}\) we define the \({{\,\mathrm{Hom}\,}}\) cochain complex
with the differential \(d_{{{\,\mathrm{Hom}\,}}}^{n}(f) = d_{D}^{*} \circ f  (1)^{n} f \circ d_{C}^{*}\). If \(P^{*}\) is a projective resolution of a cochain complex \(C^{*}\) and \(I^{*}\) is an injective resolution of \(D^{*}\), then
Recall that to any discrete group G, we can associate a contractible space EG equipped with the free action of G. By \(BG = EG/G\) we denote the classifying space of G. For a Gspace X and any finitely generated R[G]module M we define the Borel equivariant cohomology of X
where \(C^{*}_{r}(X)\) denotes the cochain complex associated to the cellular cochain complex \(C_{*}(X)\) of X using the convention described above. In particular, we have \(C^{*}(X;R) = {{\,\mathrm{Hom}\,}}^{*}_{R}(C^{*}_{r}(X);R)\).
There is a natural Gmap \(EG \times X \rightarrow EG\) which, after taking quotient of both sides, yields a map
We define the reduced Borel cohomology of X, to be
It is easy to check that
Theorem 8.3
Let \(D_{m}\) be an mperiodic link diagram of a link \(L_{m}\) and fix a field \(\mathbb {F}\). For any \(\mathbb {F}[\mathbb {Z}_{m}]\)module M, the equivariant Khovanov homology \({{\,\mathrm{EKh}\,}}^{i,q}(L_{m};M)\) is isomorphic to the reduced Borel cohomology of \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D_{m})\)
where \(g \in G\) acts on \({{\,\mathrm{Hom}\,}}_{\mathbb {F}}(M,\mathbb {F})\) via \((g \cdot f)(x) = f(g^{1}\cdot x)\).
Proof
To begin with, observe that
Here the first equality is the definition of equivariant Khovanov homology while the second equality follows from Proposition 8.2.
Next, let \(P_{M}^{*}\) be a projective resolution of M. We have
where (1) comes from the definition of \(C_{r}^{*}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D_{m})^{q};\mathbb {F})\), (2) is the definition of the \({{\,\mathrm{Ext}\,}}\) functor and the isomorphisms (3) and (4) come from [6, Exercise I.0.6]. Since \(\mathbb {F}\) is a field, any projective \(\mathbb {F}[G]\)module is also injective by [12, Exercise 1.10.24]. The functor
defined on the category of left \(\mathbb {F}[G]\)modules is exact by [12, Exercise 1.10.22] and maps projective modules to projective modules by [12, Corollary 1.10.29]. Therefore, \({{\,\mathrm{Hom}\,}}^{*}(P_{M}^{*},\mathbb {F})\) becomes an injective resolution of the \(\mathbb {F}[G]\)module \({{\,\mathrm{Hom}\,}}_{R}(M,\mathbb {F})\). Consequently, by (8.4)
and the proof is finished. \(\square \)
We remark that the same argument as in the proof of Theorem 8.3 shows the following result.
Proposition 8.4
Let \(L_{m}\) be an mperiodic annular link and let \(D_{m}\) be an mperiodic diagram of \(L_{m}\). For a field \(\mathbb {F}\) and any \(\mathbb {F}[G]\)module M, it holds
Stable cohomology operations
Given two generalized cohomology theories \(X(\cdot )\) and \(Y(\cdot )\), a stable cohomology operation of degree k is a family of natural transformations between functors \(X^l(\cdot )\) and \(Y^{k+l}(\cdot )\) commuting with suspension. We focus on stable cohomology operations in singular homology over a finite field. These operations form a Steenrod algebra. Standard references include [17, Section 4.L] and [13, Section 10.4].
The Steenrod algebra \(\mathcal {A}_2\) over \(\mathbb {Z}_2\) is generated by the Steenrod squares \({{\,\mathrm{Sq}\,}}^i:H^{*}(\cdot ,\mathbb {Z}_2)\rightarrow H^{*+i}(\cdot ,\mathbb {Z}_2)\), with \({{\,\mathrm{Sq}\,}}^1\) being the Bockstein homomorphism corresponding to the short exact sequence \(0\rightarrow \mathbb {Z}_2\rightarrow \mathbb {Z}_4\rightarrow \mathbb {Z}_2\rightarrow 0\).
For a prime \(p>2\), the Steenrod algebra \(\mathcal {A}_p\) is generated by the Bockstein homomorphism \(\beta \), and operations \(P^k:H^{*}(\cdot ,\mathbb {Z}_p)\rightarrow H^{*+2k(p1)}(\cdot ,\mathbb {Z}_p)\). The homomorphism \(\beta \) is of degree 1, and it is the connecting homomorphism of the long exact sequence of cohomology induced by the short exact sequence of groups \(0\rightarrow \mathbb {Z}_p\rightarrow \mathbb {Z}_{p^2}\rightarrow \mathbb {Z}_p\rightarrow 0\).
Coming back to Khovanov homology we make the following observation, see [34, 35].
Proposition 8.5
Let \(\alpha \) be a stable cohomology operation of degree k over \(\mathbb {Z}_p\). Then, given a link L and \(q\in \mathbb {Z}\), the map \(\alpha \) induces a well defined map
There appeared several algorithms for computing Steenrod squares in Khovanov homology, so the invariants based on Steenrod squares can be effectively computed (see [35, 36]). The knotkit package [42] implements the algorithm of [35]. We remark that the maps \({{\,\mathrm{Sq}\,}}^1\) and \(\beta \) are determined by the integral Khovanov homology, see [35, Section 2.5].
The next statement shows that Steenrod operations commute with group action.
Theorem 8.6
Let \(L_{m}\) be an mperiodic link and \(\mathbb {F}\) a field. Any stable cohomology operation
commutes with the action of \(\mathbb {Z}_m\) on \({{\,\mathrm{Kh}\,}}(L_{m};\mathbb {F})\).
Proof
Cohomology operations are natural, so they commute with the group action on cohomology of \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D_{m})\), where \(D_{m}\) is some mperiodic diagram of \(L_{m}\). On the other hand, Proposition 8.2 shows that the \(\mathbb {Z}_m\)action on the cohomology of \(\mathcal {X}_{L_m}\) commutes with the group action on the Khovanov homology of \(L_m\). \(\square \)
Fixed Point theorems
Recall that \(B\mathbb {Z}_{p}\) is the classifying space of the finite cyclic group of order p. The cohomology ring of \(B\mathbb {Z}_{p}\) is given below, see [17, Example 3E.2],
where \(\Lambda ^*_{\mathbb {F}_{p}}(Z)\) is the exterior algebra over \(\mathbb {F}_{p}\) generated by Z. Write \(S_{p} \subset H^{*}(B\mathbb {Z}_{p};\mathbb {F}_{p})\) for the multiplicative set generated either by X, if \(p=2\), or by Y, when \(p>2\).
Theorem 8.7
[3, 40] Let X be a \(\mathbb {Z}_{p}\)CWcomplex with p a prime. There exists an isomorphism of graded \(\mathbb {Z}_{p}\)algebras
As an immediate corollary of Theorems 8.7 and 1.2, we get
Theorem 8.8
Let \(L_{p} \subset S^{1} \times D^{2}\) be a pperiodic link with L denoting the quotient link. For any \(q,k \in \mathbb {Z}\) there exists an isomorphism of \(S_{p}^{1}H^{*}(B\mathbb {Z}_{p};\mathbb {F}_{p})\)modules
Let \(\mathcal {A}_{p}\) denote, for any prime p, the mod p Steenrod algebra, i.e. the algebra of stable \(\mathbb {F}_{p}\)cohomology operations. It turns out that Theorem 8.8 can be strengthened considerably when we take into account the action of the Steenrod algebra. Before stating the main result, let us introduce the following terminology.
For \(p=2\), consider the sequence of nonnegative numbers \(I = (s_{1},s_{2},\ldots ,s_{m})\). The sequence I is admissible if \(s_{i} \ge 2s_{i+1}\), for \(1 \le i < m\). Define the degree of I, \(I = s_{1}+s_{2}+\cdots +s_{m}\) and excess of I, \(e(I) = 2s_{1}I\). To any sequence I we associate the cohomology operation \(Sq^{I} = Sq^{s_{1}} Sq^{s_{2}} \cdots Sq^{s_{m}} \in \mathcal {A}_{2}\). For any \(k \ge 0\) we set:
For \(p>2\), let \(I = (\epsilon _{0},s_{0},\epsilon _{1},s_{1},\ldots ,s_{m},\epsilon _{m})\), where \(s_{1},s_{2},\ldots ,s_{m}\) are nonnegative integers and \(\epsilon _{i} \in \{0,1\}\), for \(0 \le i \le m\). The sequence I is admissible if \(s_{i}\ge ps_{i+1} + \epsilon _{i}\), for any \(0 \le i < m\). Define the degree of I, \(I = 2(p1)(s_{1}+s_{2}+\cdots +s_{m}) + \epsilon _{0}+\epsilon _{1}+\cdots +\epsilon _{m}\) and excess of I, \(e(I) = 2s_{1}p+2\epsilon _{0}I\). To any sequence I we can associate a cohomology operation \(P^{I} = \beta ^{\epsilon _{0}} P^{s_{1}} \beta ^{\epsilon _{1}}P^{s_{2}} \cdots P^{s_{m}}\beta ^{\epsilon _{m}} \in \mathcal {A}_{p}\). Let, for any \(k \ge 0\),
Definition 8.9
For a graded \(\mathcal {A}_{p}\)module \(M^{*}\) the submodule of unstable elements, \({{\,\mathrm{Un}\,}}(M)^{*}\), is a graded submodule defined as
Equivariant annular Khovanov homology \({{\,\mathrm{EAKh}\,}}^{*,*,*}(L;\mathbb {F}_{p})\) is isomorphic to Borel cohomology of \(\mathcal {X}_{{{\,\mathrm{AKh}\,}}}(L)\), hence the action of the Steenrod algebra on \({{\,\mathrm{AKh}\,}}^{*,*,*}(L;\mathbb {F}_{p})\) extends to \({{\,\mathrm{EAKh}\,}}^{*,*,*}(L;\mathbb {F}_{p})\). By [50, Proposition 2.1], the action of \(\mathcal {A}_{p}\) on equivariant annular Khovanov homology extends uniquely to an action on the localization \(S_{p}^{1}{{\,\mathrm{EAKh}\,}}^{*,*,*}(L;\mathbb {F}_{p})\).
Theorem 8.10
Let p be a prime.

(a)
If \(L_{p} \subset S^{1} \times I \) is pperiodic link and L is the quotient link, then for any \(q,k \in \mathbb {Z}\) there exists an isomorphism of rings
$$\begin{aligned} {{\,\mathrm{AKh}\,}}^{*,q,k}(L;\mathbb {F}_{p}) \otimes _{\mathbb {F}_{p}} H^{*}(B\mathbb {Z}_{p};\mathbb {F}_{p}) \xrightarrow {\cong } {{\,\mathrm{Un}\,}}\left( S_{p}^{1} {{\,\mathrm{EAKh}\,}}^{*,pq(p1)k,k}(L_{p};\mathbb {F}_{p})\right) ^*. \end{aligned}$$Consequently
$$\begin{aligned} {{\,\mathrm{AKh}\,}}^{*,q,k}(L;\mathbb {F}_{p}) \cong \mathbb {F}_{p} \otimes _{H^{*}(B\mathbb {Z}_{p};\mathbb {F}_{p})} {{\,\mathrm{Un}\,}}\left( S_{p}^{1} {{\,\mathrm{EAKh}\,}}^{*,pq(p1)k,k}(L_{p};\mathbb {F}_{p})\right) ^*. \end{aligned}$$ 
(b)
For a pperiodic link \(L_{p} \subset S^{3}\) and for any \(q \in \mathbb {Z}\) it holds:
$$\begin{aligned} \bigoplus _{\begin{array}{c} q',k' \in \mathbb {Z}\\ pq'(p1)k'=q \end{array}} {{\,\mathrm{AKh}\,}}^{*,q',k'}(L_{p};\mathbb {F}_{p}) \cong \mathbb {F}_{p} \otimes _{H^{*}(B\mathbb {Z}_{p};\mathbb {F}_{p})} {{\,\mathrm{Un}\,}}\left( S_{p}^{1}{{\,\mathrm{EKh}\,}}^{*,q}(L;\mathbb {F}_{p})\right) ^*, \end{aligned}$$where L denotes the quotient link.
Proof
This is an immediate corollary of [14, Corollary 2.5.] and Theorem 8.3. \(\square \)
Smith inequalities given in Theorems 1.4 and 1.5 are corollaries of Theorem 8.10. We prove now Theorem 1.4; an analogous proof works for the case of Theorem 1.5.
Proof of Theorem 1.4
We have the following chain of inequalities
The first inequality is a consequence of the definition of equivariant annular Khovanov homology. The second inequality is a natural consequence of the properties of the localization, and the last equality follows from Theorem 8.10. \(\square \)
References
 1.
Asaeda, M., Przytycki, J., Sikora, A.: Categorification of the Kauffman bracket skein module of \(I\)bundles over surfaces. Algebr. Geom. Topol. 4, 1177–1210 (2004)
 2.
BarNatan, D.: Khovanov’s homology for tangles and cobordisms. Geom. Topol. 9, 1443–1499 (2005)
 3.
Borel, A.: Seminar on transformation groups, With contributions by G. Bredon, E. E. Floyd, D. Montgomery, R. Palais. Annals of Mathematics Studies, No 46. Princeton University Press, Princeton (1960)
 4.
Borodzik, M., Jankowska, D., Politarczyk, W.: Equivariant Khovanov homotopy type for \(T(2,k)\) torus links (2020) (in preparation)
 5.
Borodzik, M., Politarczyk, W.: Khovanov homology and periodic links (2017). arXiv:1704.07316 (to appear in Indiana Univ. Math. J)
 6.
Brown, K.: Cohomology of Groups, Graduate Texts in Mathematics, vol. 87. Springer, New York (1994). (Corrected reprint of the 1982 original)
 7.
Buchstaber, V., Panov, T.: Toric Topology, Mathematical Surveys and Monographs, vol. 204. American Mathematical Society, Providence (2015). https://doi.org/10.1090/surv/204
 8.
Chbili, N.: Equivalent Khovanov homology associated with symmetric links. Kobe J. Math. 27(1–2), 73–89 (2010)
 9.
Cohen, R.: Floer homotopy theory, revisited (2019). arXiv:1901.08694
 10.
Cohen, R., Jones, J., Segal, G.: Floer’s InfiniteDimensional Morse Theory and Homotopy Theory. The Floer Memorial Volume, pp. 297–325. Birkhäuser, Basel (1995)
 11.
Costenoble, S., Waner, S.: Equivariant Ordinary Homology and Cohomology. Lecture Notes in Mathematics, vol. 2178. Springer, Cham (2016)
 12.
Curtis, C., Reiner, I.: Methods of Representation Theory, Wiley Classics Library. With Applications to Finite Groups and Orders, Reprint of the 1981 Original, A WileyInterscience Publication, vol. I. Wiley, New York (1990)
 13.
Davis, J., Kirk, P.: Lecture Notes in Algebraic Topology, Graduate Studies in Mathematics, vol. 35. American Mathematical Society, Providence (2001). https://doi.org/10.1090/gsm/035
 14.
Dwyer, W., Wilkerson, C.: Smith theory revisited. Ann. Math. (2) 127(1), 191–198 (1988)
 15.
Everitt, B., Turner, P.: The homotopy theory of Khovanov homology. Algebr. Geom. Topol. 14(5), 2747–2781 (2014). https://doi.org/10.2140/agt.2014.14.2747
 16.
Ferland, K., Lewis, G.: The \(R{\rm O}(G)\)graded equivariant ordinary homology of \(G\)cell complexes with evendimensional cells for \(G={\mathbb{Z}}/p\). Mem. Am. Math. Soc. 167(794), viii+ 129 (2004)
 17.
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
 18.
Hendricks, K.: A rank inequality for the knot Floer homology of double branched covers. Algebr. Geom. Topol. 12(4), 2127–2178 (2012)
 19.
Hendricks, K.: Localization of the link Floer homology of doublyperiodic knots. J. Symplectic Geom. 13(3), 545–608 (2015)
 20.
Hendricks, K., Lipshitz, R., Sarkar, S.: A flexible construction of equivariant Floer homology and applications. J. Topol. 9(4), 1153–1236 (2016)
 21.
Hirsch, M.: Differential Topology, Graduate Texts in Mathematics, vol. 33. Springer, New York (1994). (Corrected reprint of the 1976 original)
 22.
Hu, P., Kriz, D., Kriz, I.: Field theories, stable homotopy theory, and Khovanov homology. Topol. Proc. 48, 327–360 (2016)
 23.
Illman, S.: Smooth equivariant triangulations of \(G\)manifolds for \(G\) a finite group. Math. Ann. 233(3), 199–220 (1978)
 24.
Illman, S.: Existence and uniqueness of equivariant triangulations of smooth proper \(G\)manifolds with some applications to equivariant Whitehead torsion. J. Reine Angew. Math. 524, 129–183 (2000)
 25.
Joyce, D.: On manifolds with corners. Adv. Geometr. Anal. 20, 225–258 (2012)
 26.
Kankaanrinta, M.: Equivariant collaring, tubular neighbourhood and gluing theorems for proper Lie group actions. Algebr. Geom. Topol. 7, 1–27 (2007). https://doi.org/10.2140/agt.2007.7.1
 27.
Khovanov, M.: A categorification of the Jones polynomial. Duke Math. J. 101(3), 359–426 (2000)
 28.
Lawson, T., Lipshitz, R., Sarkar, S.: Khovanov homotopy type, Burnside category, and products (2015). arXiv:1505.00213
 29.
Lawson, T., Lipshitz, R., Sarkar, S.: Khovanov spectra for tangles (2017). arXiv:1706.02346
 30.
Levine, A.: Computing knot Floer homology in cyclic branched covers. Algebr. Geom. Topol. 8(2), 1163–1190 (2008)
 31.
Lidman, T., Manolescu, C.: Floer homology and covering spaces. Geom. Topol. 22(5), 2817–2838 (2018)
 32.
Lipshitz, R., Sarkar, ., series = , Spatial refinements and Khovanov homology. In: Proceedings of the International Congress of Mathematicians—Rio de Janeiro 2018, Vol. II. Invited lectures, World Sci. Publ., Hackensack, NJ, pp 1153–1173 (2018)
 33.
Lipshitz, R., Sarkar, S.: A Khovanov stable homotopy type. J. Am. Math. Soc. 27(4), 983–1042 (2014). https://doi.org/10.1090/S089403472014007852
 34.
Lipshitz, R., Sarkar, S.: A refinement of Rasmussen’s \(S\)invariant. Duke Math. J. 163(5), 923–952 (2014). https://doi.org/10.1215/001270942644466
 35.
Lipshitz, R., Sarkar, S.: A Steenrod square on Khovanov homology. J. Topol. 7(3), 817–848 (2014). https://doi.org/10.1112/jtopol/jtu005
 36.
Lobb, A., Orson, P., Schütz, D.: Khovanov homotopy calculations using flow category calculus. Exp. Math. 29(4), 475–500 (2020). https://doi.org/10.1080/10586458.2018.1482805
 37.
May, P.: Equivariant Homotopy and Cohomology Theory, Series = CBMS Regional Conference Series in Mathematics, Published for the Conference Board of the Mathematical Sciences, Washington, DC, vol. 91. American Mathematical Society, Providence (1996). https://doi.org/10.1090/cbms/091
 38.
Politarczyk, W.: Equivariant Khovanov homology of periodic links. Mich. Math. J. 68(4), 859–889 (2019)
 39.
Politarczyk, W., Silvero, M.: Khovanov homotopy type and periodicity criterion for links (2020) (in preparation)
 40.
Quillen, D.: The spectrum of an equivariant cohomology ring, I, II. Ann. Math. 2(94), 549–572 (1971). (ibid. (2) 94 (1971), 573–602)
 41.
Roberts, L.: On knot Floer homology in double branched covers. Geom. Topol. 17(1), 413–467 (2013)
 42.
Seed, C.: Knotkit (2016). https://github.com/cseed/knotkit
 43.
Seidel, P., Smith, I.: A link invariant from the symplectic geometry of nilpotent slices. Duke Math. J. 134(3), 453–514 (2006)
 44.
Seidel, P., Smith, I.: Localization for involutions in Floer cohomology. Geom. Funct. Anal. 20(6), 1464–1501 (2010)
 45.
Smith, P.: Transformations of finite period. Ann. Math. (2) 39(1), 127–164 (1938)
 46.
Stoffregen, M, Zhang, M.: Localization in Khovanov homology, (2018). arXiv:1810.04769
 47.
tom Dieck, T.: Transformation Groups. De Gruyter, Berlin (1987). https://doi.org/10.1515/9783110858372
 48.
Vogel, P.: Functoriality of Khovanov homology. J. Knot Theory Ramif. 29(4), 2050020, 66 (2020). https://doi.org/10.1142/S0218216520500200
 49.
Wasserman, A.: Equivariant differential topology. Topology 8(2), 127–150 (1969)
 50.
Wilkerson, C.: Classifying spaces, Steenrod operations and algebraic closure. Topology 16(3), 227–237 (1977)
 51.
Zhang, M.: A rank inequality for the annular Khovanov homology of 2periodic links. Algebr. Geom. Topol. 18(2), 1147–1194 (2018)
Acknowledgements
The authors wish to thank Stefan Jackowski, Kristen Hendricks, Robert Lipshitz, Sucharit Sarkar, and Krzysztof Ziemiański for stimulating discussions. They express their gratitude to the referees for their comments on the paper, especially for suggestions of streamlining the proof of the Categorical Fixed Point Theorem. Maciej Borodzik is supported by the National Science Center Grant 2016/22/E/ST1/00040. Wojciech Politarczyk is supported by the National Science Center Grant 2016/20/S/ST1/00369. Marithania Silvero is partially supported by the Spanish research project MTM201676453C21P, ERC Grant PCG336983, and by Basque Government grant IT97416. Part of the project was done during the stay of the third author in Warsaw. We are grateful to the Institute of Mathematics, Polish Academy of Science, for hospitality.
Author information
Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
On behalf of all authors, Maciej Borodzik states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Communicated by Thomas Schick.
Appendices
Appendix A. \(\langle n\rangle \)manifolds
A.1. Manifolds with corners
We say that M is a kmanifold with corners if it is locally modelled on open subsets of \(\mathbb {R}_{+}^{k}\), where \(\mathbb {R}_{+} = [0,\infty )\). In other words, M is equipped with an atlas \(\mathcal {A}= \{(U,\psi _{U})\}\) such that every U is an open subset in \(\mathbb {R}_{+}^k\) and the transition maps \(\psi _{V}^{1} \circ \psi _{U}\), for any U and V such that \(U \cap Y \ne \emptyset \), are \(C^{\infty }\) diffeomorphisms. Compare [25, Definition 2.1].
For every point \(x \in M\) we can define its codimension, denoted by c(x), which records the number of coordinates of \(\psi _{U}(x)\) which are zero for any chart \((U,\psi _U)\) for which \(x \in U\). Moreover, we define codimensioni boundary to be the set \(\{x \in M :c(x) = i\}\). A connected face of codimension i of M is the closure of a connected component of the codimensioni boundary of M. A face is a (possibly empty) disjoint union of connected faces of the same codimension. A codimension1 face is usually called a facet. A kdimensional manifold with faces is a kmanifold with corners such that every point \(x \in M\) belongs to exactly c(x) nonempty connected facets of M. Moreover, we say that M is an kdimensional \(\langle n \rangle \)manifold if M is an kdimensional manifold with faces and there exists a decomposition \(\partial M = \partial _1 M \cup \partial _2 M \cup \cdots \cup \partial _n M\) such that

\(\partial _i M\) is a facet of M, for every \(1 \le i \le n\),

\(\partial _i M \cap \partial _j M\) is a facet of both \(\partial _i M\) and \(\partial _j M\), for every \(1 \le i < j \le n\).
We refer to [25, Section 2] for discussion of the notion of an \(\langle n\rangle \)manifold.
Example A.1
(see [33, Definition 3.9]). For an \((n+1)\)tuple \(d_{\bullet }=(d_0,d_1,\ldots ,d_n)\) of nonnegative integers define
We make \(E_n^{d_{\bullet }}\) an \(\langle n\rangle \)manifold by declaring that
Example A.2
An ndimensional permutohedron has a structure of an \(\langle n\rangle \)manifold, see Subsection B.1 below.
We will need the following construction, see [28, Construction 3.4].
Construction A.3
Suppose X is an \(\langle n\rangle \)manifold and Y is an \(\langle m\rangle \)manifold. The product \(X\times Y\) is given the structure of an \(\langle n+m\rangle \)manifold by declaring.
In some cases, it is more convenient to view \(\langle n \rangle \)manifolds as certain functors to the category of topological spaces. Let \(\underline{2}^{1}\) denote the category consisting of two objects 0 and 1 with a single nonidentity morphism \(0 \rightarrow 1\). For an integer \(n>1\) let
For two objects \(a, b \in \underline{2}^{n}\), we set \(b \le a\) if \(b_{i} \le a_{i}\), for any \(1 \le i \le n\), where \(a = (a_{1},a_{2},\ldots ,a_{n})\) and \(b = (b_{1},b_{2},\ldots ,b_{n})\). An ndiagram, for \(n \ge 1\), is a functor from the category \(\underline{2}^{n}\) to the category of topological spaces.
We can associate an ndiagram to a given \(\langle n \rangle \)manifold X by declaring, for every \(a = (a_{1}, a_{2}, \ldots , a_{n}) \in \underline{2}^{n}\):
Moreover, for any \(b \le a\) in \(\underline{2}^{n}\) the map \(X(b) \rightarrow X(a)\) is the inclusion. We point out that X(a) is an \(\langle a \rangle \)manifold with the corresponding adiagram obtained by restricting X to the full subcategory of objects b such that \(b<a\) (recall that \(a=\sum a_i\)).
Let M be a manifold with corners. Choose a Riemannian metric on M. We have the following generalization of a classical result.
Proposition A.4
There is an open tubular neighborhood U of \(\partial M\), homeomorphic to \(M\times [0,1)\) and a subset \(V\subset TM_{\partial M}\) such that the \(\exp \) map yields a diffeomorphism between U and V.
Proof
The proof is analogous to the proof of the collar neighborhood theorem, see, for instance, [21, Section 4.6]. \(\square \)
We now recall the concept of a neat embedding, which roughly means an embedding with no pathological behavior near the boundary. Various similar notions are discussed in detail in [25, Section 3].
Definition A.5
Let X and Y be two \(\langle n \rangle \)manifolds. A neat embedding is an embedding \(\iota :X \rightarrow Y\) such that:

(1)
\(\iota \) is an nmap, i.e. \(\iota ^{1}(\partial _{i}Y) = \partial _{i} X\), for any \(1 \le i \le n\),

(2)
the intersection of X(a) and Y(b) is perpendicular with respect to some Riemannian metric on Y, for \(b<a\) in \(\underline{2}^{n}\).
The following result is a direct consequence of [33, Lemma 3.11].
Theorem A.6
[33] Every compact \(\langle n \rangle \)manifold admits a neat embedding
for some \(d_{\bullet }\in \mathbb {N}^{n+1}\).
A.2. Group actions on \(\langle n\rangle \)manifolds
Let \({{\,\mathrm{Diff}\,}}_{n}(X)\) denote the group of diffeomorphisms of the \(\langle n \rangle \)manifold X that are also nmaps. If G is a finite group, then a smooth action of G on X is a homomorphism
An action of G is said to be effective if \(\gamma \) is injective. Throughout this paper, we assume that group actions are effective. Moreover, we will often identify \(g \in G\) with its image \(\gamma (g) \in {{\,\mathrm{Diff}\,}}_{n}(X)\).
Definition A.7
Let \(VW \in RO(G)\). We say that X is of dimension \(VW\), and denote it by \(\dim X = VW\), if for any interior point x there exists an isomorphism of representations
We have the following equivariant analog of Proposition A.4.
Proposition A.8
Let M be an \(\langle n\rangle \)manifold with an action of a finite group G. Choose a Ginvariant Riemannian metric on M. Then \(\partial M\) admits a Gequivariant tubular neighborhood U such that there exists a Ginvariant subset \(V\subset TM_{\partial M}\) such that the \(\exp \)map takes V diffeomorphically and Gequivariantly to U.
Proof
The proof for standard manifolds with boundary is given in [26, Section 3]. The case of manifolds with corners is analogous. \(\square \)
Definition A.9
Let M be an \(\langle n\rangle \)manifold acted upon by G. Let V be an orthogonal representation of G. The manifold M is said to be subordinate to V if for each \(x \in M\) there exists an invariant neighborhood \(\mathcal {U}_x\) of x, and an equivariant differentiable embedding of \(U_x\) in \(V^t \setminus \{0\}\) for some t. We write \(\mathcal {G}(V)\) for the category whose objects are Gmanifolds subordinate to V and whose maps are continuous equivariant maps.
Next result is an equivariant version of [33, Lemma 3.11]. It is needed in the proof of Proposition 3.16.
Lemma A.10
Let M be a compact \(\langle n\rangle \)manifold with a group action. Suppose M is subordinate to a representation V. If \(\iota _\partial :\partial M\rightarrow V^d\) is a Gequivariant embedding, then there exists \(d'\ge d\) and a Gequivariant embedding \(\iota :M\rightarrow V^{d'}\) such that \(\iota _{\partial M}=\iota _\partial \).
A key ingredient in the proof is the equivariant version of Whitney embedding theorem, due to Mostow and Palais.
Theorem A.11
(Mostow–Palais Theorem [49, Corollary 1.10]) If M is in \(\mathcal {G}(V)\) and the (real) dimension of M is n, then any Gequivariant map
can be uniformly \(C^k\)approximated by an equivariant immersion if \(t \ge 2n\), and by an equivariant 1–1 immersion if \(t \ge 2n+1\). Moreover, if A is a closed subset of M and \(f\mid _A\) is a 1–1 immersion, then the approximation may be chosen in such a way that it agrees with f on A.
Proof of Lemma A.10
Let U be a Gequivariant collar neighborhood of \(\partial M\). Using Proposition A.8 we identify U with a subset \(Z\subset T_{\partial M}M\) via a Gequivariant diffeomorphism \(\psi :U\rightarrow Z\) that takes \(\partial M\) to the zero section of \(T_{\partial M}M\). The Gbundle \(T_{\partial M} M\) is a subbundle of a trivial bundle \(V^{d_0}\) for some \(d_0>0\). Then \(\iota _\partial \) can be extended to U via the composition
Suppose \(d_0+d>2\dim M\), otherwise increase \(d_0\). Extend the embedding of Z to a smooth Gequivariant map \(\widetilde{\iota }:M\rightarrow V^{d_0}\times V^d\). Then, \(\widetilde{\iota }\) can be perturbed to an equivariant embedding by the MostowPalais Theorem (Theorem A.11). By the second part of this theorem, we can keep \(\widetilde{\iota }\) equal to \(\iota \) in a neighborhood of \(\partial M\). \(\square \)
Appendix B. Permutohedra
B.1 The construction
We refer to [7, Chapter 1] for general properties of permutohedra.
Definition B.1
Choose a strictly increasing sequence \(\mathcal {S}=\{s_1,\ldots ,s_r\}\) of positive integers. The permutohedron \(\Pi _\mathcal {S}\) is the convex hull in \(\mathbb {R}^r\) of the set of points
where \(\sigma \) runs through all permutations of the set \(\mathcal {S}\).
We write \(\Pi _{r1}\) for the permutohedron in the special case when \(\mathcal {S}=\{1,\ldots ,r\}\). The subscript is \(r1\) and not r, because \(\dim \Pi _{r1}=r1\).
Example B.2
A permutohedron for \(\mathcal {S}=\{1,2,3\}\) is depicted in Fig. 14.
To describe the faces of a permutohedron we first set
Lemma B.3
(see [7, Theorem 1.5.7]). The permutohedron \(\Pi _\mathcal {S}\) is given by the equation \(\sum x_i=\tau _{r}\) and the set of inequalities
where \(\mathcal {P}\) runs through all nonempty proper subsets of \(\{1,2,\ldots ,r\}\).
From Lemma B.3 we deduce the following fact [28, Section 2].
Lemma B.4
For any proper subset \(\mathcal {P}\) of \(\{1,\ldots ,r\}\) the intersection of \(\Pi _{\mathcal {S}}\) with the hyperplane \(\sum _{i\in \mathcal {P}} x_i=\tau _{\mathcal {P}}\) defines a facet of \(\Pi _{\mathcal {S}}\), which is diffeomorphic to \(\Pi _{\mathcal {S}_{1}}\times \Pi _{\mathcal {S}_{2}}\), where \(\mathcal {S}_{1}=\{s_1,\ldots ,s_{\mathcal {P}}\}\) and \(\mathcal {S}_{2}=\mathcal {S}\setminus \mathcal {S}_{\mathcal {P}}=\{s_{\mathcal {P}+1},\ldots ,s_r\}\).
Example B.5
(Example B.2 continued). For \(\mathcal {S}=\{1,2,3\}\) and \(\mathcal {P}=\{1,2\}\), the facet is given by \(x_1+x_2=3\). This is a product of a onedimensional permutohedron \(\Pi _1\) spanned by (1, 2) and (2, 1) in the \((x_1,x_2)\)coordinates, and a zerodimensional permutohedron \(\Pi _{\{3\}}\) given by \(\{x_3=3\}\subset \mathbb {R}\). For \(\mathcal {P}=\{3\}\) we obtain the opposite facet of the hexagon. It is given by \(\{x_3=1\}\), \(\{x_1+x_2=5\}\). See Fig. 15.
Sketch of proof of Lemma B.4
If \(\mathcal {P}=\{a_1,\ldots ,a_{\mathcal {P}}\}\) and
\(\{1,\ldots ,r\}\setminus \mathcal {P}=\{b_1,\ldots ,b_{r\mathcal {P}}\}\), the diffeomorphism takes the element \((x_1,\ldots ,x_r)\) to an element \((x_{a_1},\ldots ,x_{a_{\mathcal {P}}})\times (x_{b_1},\ldots ,x_{b_{r\mathcal {P}}})\in \mathbb {R}^{\mathcal {P}}\times \mathbb {R}^{r\mathcal {P}}\). It is routine to verify, using Lemma B.3, that the image is indeed equal to \(\Pi _{\mathcal {S}_{1}}\times \Pi _{\mathcal {S}_{2}}\).
\(\square \)
Definition B.6
The facet corresponding to \(\mathcal {P}\) is denoted by \(\Pi _{\mathcal {P},\mathcal {S}\setminus \mathcal {P}}\) (often simply \(\Pi _{\mathcal {P}}\)) and it is called the facet associated with subset \(\mathcal {P}\).
In the following corollary we use the notation of the proof of Lemma B.4.
Corollary B.7
For a proper subset \(\mathcal {P}\subset \{1,\ldots ,r\}\) the facet \(\Pi _{\mathcal {P},\mathcal {S}\setminus \mathcal {P}}\) is contained in the subset of \(\Pi _{r1}\) consisting of points such that
From Lemma B.4 we can obtain an inductive description of codimension k faces of \(\Pi _{\mathcal {S}}\). They correspond to partitions \(\mathfrak {p}=(\mathcal {P}_1,\ldots ,\mathcal {P}_{k+1})\) of \(\{1,\ldots ,r\}\) into \(k+1\) nonempty subsets \(\mathcal {P}_1,\ldots ,\mathcal {P}_{k+1}\). Each such face, denoted by \(\Pi _{\mathcal {P}_1,\ldots ,\mathcal {P}_{k+1}}\) or, in short \(\Pi _{\mathfrak {p}}\), is a product of \((k+1)\) permutohedra \(\Pi _{\mathcal {S}_1}\times \Pi _{\mathcal {S}_2}\times \cdots \times \Pi _{\mathcal {S}_{k+1}}\), where
In particular if we set
for \(1 \le i \le r1\), \(\Pi _{\mathcal {S}}\) becomes an \((r1)\)dimensional \(\langle r1\rangle \)manifold.
Remark B.8
For consistency of the notation, we observe that the interior of \(\Pi _{\mathcal {S}}\) corresponds to the trivial partition \(\mathfrak {p}\) of \(\{1,\ldots ,r\}\) into a single subset.
The following notion is intuitive.
Definition B.9
Let \(\mathfrak {p}=(\mathcal {P}_1,\ldots ,\mathcal {P}_{k+1})\) be a partition of \(\{1,\ldots ,r\}\). A refinement of \(\mathfrak {p}\) is a partition \((\widetilde{\mathcal {P}}_1,\ldots ,\widetilde{\mathcal {P}}_{\widetilde{k}+1})\) such that there exist indices \(0=a_0<a_1<a_2<\cdots <a_k=\widetilde{k}+1\) with the property that \(\widetilde{\mathcal {P}}_{a_{i1}+1}\cup \widetilde{\mathcal {P}}_{a_{i1}+2}\cup \ldots \cup \widetilde{\mathcal {P}}_{a_i1}=\mathcal {P}_i\) for \(i=1,\ldots ,k\).
It is clear that if \(\mathfrak {p}\) and \(\mathfrak {p}'\) are two partitions of \(\{1,\dots ,r\}\), then \(\Pi _{\mathfrak {p}'}\subset \Pi _{\mathfrak {p}}\) if and only if \(\mathfrak {p}'\) is a refinement of \(\mathfrak {p}\).
B.2. Intersecting a permutohedron with a hyperplane
We describe the intersection of a permutohedron with hyperplanes given by sets of equations \(\{x_{a_i}=x_{b_i}\}\). It turns out that this intersection is a lowerdimensional permutohedron. The key statement in this section is Proposition B.11, which identifies the intersection of a permutohedron \(\Pi _{\mathcal {S}}\cap L\) with \(\Pi _{s_1,\ldots ,s_{r1}}\). The identification of Proposition B.11 is such that the combinatorial structure of the boundary is preserved. In order to spell this control over the combinatorial structure, we need to introduce a simple notion.
Definition B.10
Let \(\mathfrak {p}=(\mathcal {P}_1,\dots ,\mathcal {P}_s)\) be a partition of \(\{1,\dots ,r\}\). Let \(1\le b\le r\). Assume that no \(\mathcal {P}_i\) is equal to the singleton \(\{b\}\). A reduction of \(\mathfrak {p}\) with respect of b is a partition \(\mathfrak {p}^{b}=(\mathcal {P}_1^b,\dots ,\mathcal {P}_s^b)\) of \(\{1,\dots ,r1\}\), where

if \(x\in \mathcal {P}_i\) and \(x<b\), then \(x\in \mathcal {P}^b_i\);

if \(x\in \mathcal {P}_i\) and \(x>b\), then \(x1\in \mathcal {P}^b_i\).
If \(B=\{b_1,\dots ,b_\ell \}\) is a finite subset of \(\{1,\dots ,r\}\) and \(\mathfrak {p}\) is a partition such that no \(\mathcal {P}_i\) is a subset of B, the reduction of \(\mathfrak {p}\) with respect to B is a partition \(\mathfrak {p}^B\) obtained as a subsequent reduction of \(\mathfrak {p}\) by the elements \(b_i\), starting from the largest element, then taking the second largest and so on.
The following result can be deduced from the cubical decomposition of a permutohedron, see [28, Section 3.4]. We give a selfcontained proof of that result.
Proposition B.11
Let L be a hyperplane in \(\mathbb {R}^r\) given by \(\{x_a=x_b\}\) for some \(a\ne b\). Let \(\Pi _{\mathcal {S}}\) be a permutohedron in \(\mathbb {R}^r\) for some (strictly) increasing sequence \(\mathcal {S}=(s_1,\ldots ,s_r)\). Consider
Then there exists a diffeomorphism \(\psi \) between \(\Pi _{L}\) and \(\Pi _{(s_1,\ldots ,s_{r1})}\). Moreover, if \(\mathfrak {p}=(\mathcal {P}_1,\dots ,\mathcal {P}_{k+1})\) is a partition of \(\{1,\ldots ,r\}\) then

if a, b do not belong to the same subset of the partition, then \(\Pi _{\mathfrak {p}}\cap L\) is empty;

if a, b belong to the same subset of the partition, then \(\Pi _{\mathfrak {p}}\cap L\) is mapped by \(\psi \) diffeomorphically to \(\Pi _{\mathfrak {p}^b}\).
Example B.12
Let \(r=3\) and \(L=\{x_1=x_3\}\). The intersection of L with \(\Pi _{\mathcal {S}}\) is an interval whose endpoints are \((\frac{s_1+s_2}{2},s_3,\frac{s_1+s_2}{2})\) and \((\frac{s_2+s_3}{2},s_1,\frac{s_2+s_3}{2})\). For \(\mathcal {S}=\{1,2,3\}\) this yields the segment connecting (1.5, 3, 1.5) with (2.5, 1, 2.5). See Fig. 16.
Proof of Proposition B.11
The following lemma takes care of the first item in the statement of Proposition B.11 and is needed for the proof of the second one.
Lemma B.13
Suppose \(\mathfrak {p}=(\mathcal {P}_1,\ldots ,\mathcal {P}_{k+1})\) is a partition of \(\{1,\ldots ,r\}\). Then \(\Pi _{\mathfrak {p}} \cap L\) is empty, unless there exists an index i such that \(a,b\in \mathcal {P}_i\).
Proof
We argue by contradiction. Suppose, \(a\in \mathcal {P}_i\), \(b\in \mathcal {P}_j\) with \(i\ne j\). We have an inclusion \(\Pi _{\mathfrak {p}}\subset \Pi _{\mathcal {P}_i,\mathcal {S}\setminus \mathcal {P}_i}\).
By Corollary B.7, if \(x=(x_1,\ldots ,x_r)\in \Pi _{\mathcal {P}_i,\mathcal {S}\setminus \mathcal {P}_i}\), then \(x_a\le s_{\mathcal {P}_i}\) and \(x_b\ge s_{\mathcal {P}_i+1}\). Since \(s_k\) is a strictly increasing sequence, we conclude that \(x_a<x_b\), hence \(\Pi _{\mathcal {P}_i,\mathcal {S}\setminus \mathcal {P}_i}\cap L=\emptyset \). In particular \(\Pi _{\mathfrak {p}}\cap L=\emptyset \). \(\square \)
Continuation of the proof of Proposition B.11. We will construct the isomorphism by induction, starting with the lowest dimension faces, i.e. vertices.
For a partition \(\mathfrak {p}\) of length r, \(\Pi _{\mathfrak {p}}\cap L\) is empty by Lemma B.13. Suppose \(\mathfrak {p}\) is a length \(r1\) partition. Unless a and b belong to the same subset of the partition, \(\Pi _{\mathfrak {p}}\cap L=\emptyset \). Consider the case, when \(\{a,b\}\) subset \(\mathcal {P}_j\) for some \(j=1,\dots ,r1\). Obviously \(\mathcal {P}_j=\{a,b\}\) and all other subsets \(\mathcal {P}_i\), consists of single elements, \(\mathcal {P}_i=\{p_i\}\) for some \(p_i\) different than a and b. By Corollary B.7, \(\Pi _{\mathfrak {p}}\) is given by
The intersection of \(\Pi _{\mathfrak {p}}\) with \(x_a=x_b\) is clearly given by
Now \(\mathfrak {p}^b\) is a partition such that all its subsets have one element, namely \(\mathfrak {p}^b=(\mathcal {P}^b_1,\dots ,\mathcal {P}^b_{r1})\) with: \(\mathcal {P}^b_i=\{p_i\}\) for \(i\ne j\) and \(p_i<b\), \(\mathcal {P}^b_i=\{p_i1\}\) for \(i\ne j\) and \(p_i>b\), and finally \(\mathcal {P}^b_j=\{a\}\). Therefore, \(\Pi _{\mathfrak {p}^b}\) is a single point, given by \(\{x_{p_i}=s_i\}\) if \(p_i<b\), \(\{x_{p_i1}=s_i\}\) if \(p_i>b\), and \(x_a=s_j\). The map \(\psi \) is a map between to points \(\psi :\Pi _{\mathfrak {p}}\cap L\xrightarrow {\cong }\Pi _{\mathfrak {p}^b}\)
We pass now to the induction step. Suppose \(\psi \) has been constructed for all boundary components of codimension at least \(k+1\) and consider a partition \(\mathfrak {p}=\mathcal {P}_1\cup \cdots \cup \mathcal {P}_{k+1}\). Then, \(\Pi _{\mathfrak {p}}\) is a convex polytope whose boundary is a union of polytopes \(\Pi _{\widetilde{\mathfrak {p}}}\) for all refinements \(\widetilde{\mathfrak {p}}\) of \(\mathfrak {p}\). Therefore, the intersection \(\Pi _{\mathfrak {p}}\cap \{x_a=x_b\}\) is a convex polytope whose boundary is the union of \(\Pi _{\widetilde{\mathfrak {p}}}\cap \{x_a=x_b\}\).
By Lemma B.13, for each such refinement \(\widetilde{\mathfrak {p}}\), either \(\Pi _{\widetilde{\mathfrak {p}}}\cap L\) is empty, or \(\Pi _{\widetilde{\mathfrak {p}}}\cap L=\Pi _{\widetilde{\mathfrak {p}}^b}\). By the induction assumption, in the latter case the restriction of \(\psi \)
has already been constructed. This means that \(\psi \) restricted to the boundary of \(\Pi _{\mathfrak {p}}\cap L\) is an isomorphism onto the boundary of \(\Pi _{\mathfrak {p}^b}\). Therefore, we can extend \(\psi \) to a diffeomorphism
\(\square \)
Remark B.14
The isomorphism \(\psi \) constructed in the proof of Proposition B.11 does not need to be affine. Two convex polytopes with the same combinatorics are not necessarily affine equivalent.
Now we state a result on intersections of \(\Pi _{\mathcal {S}}\) with more than one hyperplane.
Theorem B.15
Suppose \(\Pi _{\mathcal {S}}\subset \mathbb {R}^r\) is a permutohedron and H is a linear subspace of \(\mathbb {R}^r\) given by equations \(\{x_{a_{11}}=\cdots =x_{a_{1k_1}}\}\), \(\{x_{a_{21}}=\cdots =x_{a_{2k_2}}\}\), ..., \(\{x_{a_{w1}}=\cdots =x_{a_{wk_w}}\}\) with all the \(a_{ij}\) pairwise distinct. Then, the intersection \(\Pi _{\mathcal {S}}\cap H\) is diffeomorphic to \(\Pi '=\Pi _{(s_1,\ldots ,s_{rK})}\), where \(K=\sum (k_i1)={{\,\mathrm{codim}\,}}H\). The diffeomorphism takes the face of \(\Pi _{\mathcal {S}}\) corresponding to a partition \(\mathfrak {p}\) to the face corresponding to the reduction \(\mathfrak {p}^B\), where
Proof
Apply inductively Proposition B.11. \(\square \)
B.3. Permutohedra, group actions and posets
Choose a permutation \(\sigma \in {{\,\mathrm{Perm}\,}}_n\) of order m. We can define an action of a cyclic group \(\mathbb {Z}_{m}\) on \(\mathbb {R}^{n}\) in terms of \(\sigma \):
Since \(\Pi _{n1}\) is an invariant subset, \(\mathbb {Z}_{m}\) acts on \(\Pi _{n1}\).
We are now going to show that action \(\bar{\sigma }\) endows \(\Pi _{n1}\) with a structure of a \(\mathbb {Z}_m\)manifold, and we will compute its \(\mathbb {Z}_m\)dimension. Let \(V_{\sigma }\) denote the \(\mathbb {Z}_{m}\)representation induced by the action of \(\sigma \) on \(\mathbb {R}^{n}\). If \(\sigma \) is a product of \(p\) disjoint cycles of lengths \(n_{1},n_{2},\ldots ,n_{p}\), then there is an isomorphism of representations
where \(\mathbb {R}[\mathbb {Z}_{n_{i}}]\) denotes the real group algebra of \(\mathbb {Z}_{n_{i}}\), for \(i=1,2,\ldots ,p\), and \(\mathbb {Z}_{m}\) acts on \(\mathbb {R}[\mathbb {Z}_{n_{i}}]\) via the projection \(\mathbb {Z}_{m} \rightarrow \mathbb {Z}_{n_{i}}\). Permutohedron \(\Pi _{n1}\) is contained in the affine hyperplane
which is invariant under \(\mathbb {Z}_m\). Orthogonal projection of L onto the hyperplane
shows that the action of \(\bar{\sigma }\) restricted to L yields a representation isomorphic to \(V_{\sigma }\mathbb {R}\).
Remark B.16
Recall that \(V_{\sigma }  \mathbb {R}\) denotes the orthogonal complement of a onedimensional trivial representation \(\mathbb {R}\) inside \(V_{\sigma }\).
Lemma B.17
Let \(\bar{\sigma }\) be as above.

(1)
At every interior point x of \(\Pi _{n1}\) the tangent representation \(T_x \Pi _{n1}\) is isomorphic to \((V_{\sigma }  \mathbb {R})_{(\mathbb {Z}_m)_x}\), where \((\mathbb {Z}_{m})_{x}\) denotes the isotropy group at \(x \in \Pi _{n1}\).

(2)
If \(\mathcal {P}\subset \{1,2,\ldots ,n\}\) and \(\Pi _{\mathcal {P}}\) denotes the face of \(\Pi _{n1}\) defined in Lemma B.4, then \(\bar{\sigma }(\Pi _{\mathcal {P}}) = \Pi _{\sigma (\mathcal {P})}\).

(3)
\(\bar{\sigma }\) restricted to \(\Pi _{n1}\) is an nmap, i.e., \(\bar{\sigma }(\partial _i \Pi _{n1}) = \partial _i \Pi _{n1}\).

(4)
Suppose that \(a_1< a_2< \cdots < a_k\) are elements of \(\mathcal {P}\) and \(b_1< b_2< \cdots < b_{nk}\) are the elements of its complement. Suppose that \(\sigma (\mathcal {P}) = \mathcal {P}\) and define maps
$$\begin{aligned} \tau _1 :\mathcal {P}\rightarrow \{1, 2, \ldots , k\}, \quad \tau _1(a_i)&= i, \quad 1 \le i \le k, \\ \tau _2 :\{1,2,\ldots ,n\} \setminus \mathcal {P}\rightarrow \{1,2,\ldots ,nk\}, \quad \tau _2(b_i)&= i, \quad 1 \le i \le nk. \end{aligned}$$If we identify \(\Pi _{\mathcal {P}}\) with \(\Pi _{\mathcal {P}1} \times \Pi _{n\mathcal {P}1}\) as in Lemma B.4, then
$$\begin{aligned} \bar{\sigma }_{\Pi _{\mathcal {P}}} = (\tau _1 \circ \sigma _{\mathcal {P}} \circ \tau _1^{1}) \times (\tau _2 \circ \sigma _{\{1,2,\ldots ,n\} \setminus \mathcal {P}} \circ \tau _2^{1}). \end{aligned}$$
Proof
The first statement follows readily because \(\Pi _{n1} \subset L \cong V_{\sigma }  \mathbb {R}\) has nonempty interior.
In order to prove the second statement recall that \(\Pi _{(\mathcal {P}, \{1,\ldots ,n\}\setminus \mathcal {P})} = \Pi _{n1} \cap \partial L_{\mathcal {P}}\), where
Since \(\bar{\sigma }(L_{\mathcal {P}}) = L_{\sigma (\mathcal {P})}\), the statement (2) follows.
Next, recall that by the definition of \(\partial _i\)
The fact that \(\sigma (\mathcal {P}) = \mathcal {P}\) completes the proof of the third statement.
In order to prove the last assertion notice that if \(\mathcal {P}\) is invariant under \(\sigma \), then its complement is also invariant. \(\square \)
Proposition B.18
Fix a permutation \(\sigma \in {{\,\mathrm{Perm}\,}}_n\) of order \(m\). Assume that \(\sigma \) is a product of \(p\) disjoint cycles of lenghts \(n_{1},n_{2},\ldots ,n_{p}\) and let \(N = \sum _{i=1}^{p} (n_{i}1)\). There is a smooth diffeomorphism \(\psi \) taking \(\Pi _{n1}^{\mathbb {Z}_m}\) to a permutohedron \(\Pi _{nN1}\). For a partition \(\mathfrak {p}\) of \(\{1,\dots ,n\}\), if \(\Pi _{\mathfrak {p}}^{\mathbb {Z}_m}\) is not empty, then \(\psi (\Pi _{\mathfrak {p}})\) is the face \(\Pi _{\mathfrak {p}^B}\) of \(\Pi _{nm}\), where B is the set obtained from \(\{1,\dots ,n\}\) by removing the smallest element of each cycle of \(\sigma \).
Proof
As \(\bar{\sigma }\) acts by permuting coordinates, the fixed point set of the action is a hyperplane L defined as \(x_i=x_j\), whenever i and j belongs to the same orbit of the action of \(\sigma \) on \(\{1,2,\ldots ,n\}\). The statement follows from Theorem B.15. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Borodzik, M., Politarczyk, W. & Silvero, M. Khovanov homotopy type, periodic links and localizations. Math. Ann. (2021). https://doi.org/10.1007/s0020802102157y
Received:
Revised:
Accepted:
Published:
Mathematics Subject Classification
 Primary 57M25