1 Introduction

1.1 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 CW-complex \(\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

$$\begin{aligned} 0 \subset \cdots \subset {{\,\mathrm{CA}\,}}_{k-1} \subset {{\,\mathrm{CA}\,}}_{k} \subset {{\,\mathrm{CA}\,}}_{k+1} \subset \cdots \subset {{\,\mathrm{CKh}\,}}^{*,*}(L). \end{aligned}$$
(1.1)

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 m-periodic if there exists an orientation-preserving 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 m-periodic 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 m-periodic 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 point-free rotation of \(S^{1} \times D^{2}\). Such links in \(S^{1} \times D^{2}\) are also called m-periodic. 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

  1. (a)

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

    1. (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. (2)

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

  2. (b)

    Let \(D_{m}\) be a m-periodic link diagram.

    1. (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. (2)

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

If we set \(m=p\) a prime number, we have the following result.

Theorem 1.3

(Geometric fixed point theorem)

  1. (a)

    Let \(D_{p}\) be a p-periodic 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 - (p-1)k\).

  2. (b)

    If \(D_p\) is a p-periodic 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'-(p-1)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 p-periodic link with associated quotient link L. Then, for every \(q,k \in \mathbb {Z}\) the following holds

$$\begin{aligned} \sum _{i} \dim _{\mathbb {F}_{p}} {{\,\mathrm{AKh}\,}}^{i,pq-(p-1)k,k}(L_{p};\mathbb {F}_{p}) \ge \sum _{j} \dim _{\mathbb {F}_{p}} {{\,\mathrm{AKh}\,}}^{j,q,k}(L;\mathbb {F}_{p}). \end{aligned}$$

Theorem 1.5

For any p-periodic link \(L_{p} \subset S^{3}\) and any \(q \in \mathbb {Z}\) we have

$$\begin{aligned} \sum _{i} \dim _{\mathbb {F}_{p}}{{\,\mathrm{Kh}\,}}^{i,q}(L_{p};\mathbb {F}_{p})&\ge \sum _{\begin{array}{c} j,q',k' \\ pq'+(p-1)k'=q \end{array}} \dim _{\mathbb {F}_{p}} {{\,\mathrm{AKh}\,}}^{j,q',k'}(L_{p};\mathbb {F}_{p}) \\&\ge \sum _{j} \dim _{\mathbb {F}_{p}} {{\,\mathrm{Kh}\,}}^{j,q}(L;\mathbb {F}_{p}). \end{aligned}$$

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 p-periodic 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].

1.2 General context

Since the advent of various homological invariants for three-manifolds or knots in three-manifolds, 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 Smith-type 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 Seidel-Smith 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 so-called 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 case-by-case 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 down-to-earth. 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.

1.3 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 non-equivariant 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 non-equivariant 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 in-depth 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 Smith-type 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 p-periodic 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 fixed-point 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].

2 Flow categories and their geometric realizations

2.1 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:

  1. (FC-1)

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

  2. (FC-2)

    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) \((d-1)\)-dimensional \(\langle d-1 \rangle \)-manifold.

  3. (FC-3)

    If \({{\,\mathrm{gr}\,}}(x)-{{\,\mathrm{gr}\,}}(y) = d\), then the composition maps induce diffeomorphisms of \(\langle d-2 \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

$$\begin{aligned} {{\,\mathrm{gr}\,}}_{\Sigma ^\tau (\mathcal {C})}(x) = {{\,\mathrm{gr}\,}}_{\mathcal {C}}(x)+\tau . \end{aligned}$$

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. (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 _{d-1} \subset \prod _{i :u_i > v_i} \mathbb {R}, \end{aligned}$$

    where \(\Pi _{d-1}\) is a \((d-1)\)-dimensional permutohedron as in Definition B.1.

  2. (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+l-1}\) can be identified with

    $$\begin{aligned} \Pi _{l-1} \times \Pi _{k-1} = \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 _{l-1} \times \Pi _{k-1} = \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 Morse-Smale 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 non-parametrized gradient flow lines of f.

The n-dimensional cube \([0,1]^{n}\) can be equipped with the structure of a CW-complex with cells

$$\begin{aligned} X_{u,v} = \{w = (w_{1},\ldots ,w_{n}) \in [0,1]^{n} :\forall _{1 \le i \le n} \quad v_{i} \le w_{i} \le u_{i}\}, \end{aligned}$$

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 CW-structure 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

$$\begin{aligned} \nu _{st}((\epsilon _{1},\ldots ,\epsilon _{j-1},1,\epsilon _{j+1},\ldots ,\epsilon _{n}),(\epsilon _{1},\ldots ,\epsilon _{j-1},0,\epsilon _{j+1},\ldots ,\epsilon _{n})) = \epsilon _{1} + \cdots + \epsilon _{j-1}, \end{aligned}$$
(2.3)

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 grading-preserving 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 xy 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.

2.2 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

$$\begin{aligned} P(u,v)=\{w \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube}\,}}(n)) :u \ge w \ge v\}. \end{aligned}$$

If \(c = \{w_{1}> w_{2}> \cdots > w_{k}\}\) is a chain in P(uv), 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 _{s-1}\), which is the image of

$$\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}$$

More generally, every full chain in P(uv) determines a face of \(\Pi _{s-1}\). Namely, to a full chain \(u> w_1> \cdots> w_k > v\), we associate the face which is the image of the composition map

$$\begin{aligned} \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(w_k,v)\times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(w_{k-1},w_k)\times \cdots \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,w_1) \xrightarrow {\circ } \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v). \end{aligned}$$
(2.4)

A maximal chain in P(uv) 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 _{n-1}\) 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 non-empty. 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 non-empty.

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_{s-1},x_s)\times \mathcal {M}_{\mathcal {C}}(x_{s-2},x_{s-1})\times \cdots \times \mathcal {M}_{\mathcal {C}}(x_0,x_1)\), so it is non-empty. Conversely, if \(\mathcal {M}_{\mathcal {C}}(x,y)\) is non-empty, then it is a union of permutohedra \(\Pi _{s-1}\). Choose a vertex of one of these permutohedra, which corresponds to \(\mathcal {M}_{\mathcal {C}}(x_{s-1},x_{s})\times \mathcal {M}_{\mathcal {C}}(x_{s-2},x_{s-1})\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_{i-1})-{{\,\mathrm{gr}\,}}(x_{i})=1\) and \(\mathcal {M}_{\mathcal {C}}(x_{i-1},x_{i})\) is non-empty. Hence \(x_{i-1}\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 order-preserving.

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 non-empty. 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_{s-1},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 zero-dimensional. In particular, with \(x_0=x\) and \(x_{r+1}=y\), we have \({{\,\mathrm{gr}\,}}(x_i)-{{\,\mathrm{gr}\,}}(x_{i-1})=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

$$\begin{aligned} \mathfrak {f}^P_{x,y}:P_{\mathcal {C}}(x,y)\rightarrow P_{{{\,\mathrm{Cube}\,}}(n)}(u,v). \end{aligned}$$

For any vertex \(z \in \Pi _{n-1}\) 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 _{n-1}\),

$$\begin{aligned} \# \max P_{\mathbf {z}}(x,y) = \# \pi _{0}(\mathcal {M}_{\mathcal {C}}(x,y)). \end{aligned}$$

Proof

Fix a vertex \(\mathbf {z}\in \Pi _{n-1}\). 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(xy) 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 \)

2.3 Neat embeddings

Recall that Lawson, Lipshitz and Sarkar described in [28, Section 3] a construction that turns a cubical flow category into a CW-complex. The construction is a simplification of the construction of Lipshitz and Sarkar in [33]. In Sects. 2.32.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_{n-1}) \in \mathbb {N}^{n}\) and \(R>0\). For any \(u>v\) in \({{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube}\,}}(n))\) define

$$\begin{aligned} E_{u,v} = \left[ \prod _{i=|v|}^{|u|-1} [-R,R]^{d_{i}}\right] \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v). \end{aligned}$$

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:

$$\begin{aligned} E_{v,w} \times E_{u,v}&\cong \prod _{i=|w|}^{|v|-1} [-R,R]^{d_{i}} \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(v,w) \times \left[ \prod _{j=|v|}^{|u|-1} [-R,R]^{d_{j}}\right] \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v) \nonumber \\&\cong \prod _{i=|w|}^{|u|-1} [-R,R]^{d_{i}} \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(v,w) \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v) \nonumber \\&\hookrightarrow \prod _{i=|w|}^{|u|-1} [-R,R]^{d_{i}} \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,w)=E_{u,w}. \end{aligned}$$
(2.5)

A cubical neat embedding \(\iota \) of a cubical flow category \((\mathcal {C},\mathfrak {f})\) relative to \(d_{\bullet }= (d_{0},d_{1},\ldots ,d_{n-1}) \in \mathbb {N}^{n}\) is a collection of neat embeddings

$$\begin{aligned} \iota _{x,y} :\mathcal {M}_{\mathcal {C}}(x,y) \hookrightarrow E_{\mathfrak {f}(x),\mathfrak {f}(y)} \end{aligned}$$

such that

  1. (CNE-1)

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

    figure a
  2. (CNE-2)

    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).

  3. (CNE-3)

    For any triple \(x>y>z \in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) the following diagram commutes

    figure b

    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).

2.4 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

$$\begin{aligned} \bar{\iota }_{x,y} :\prod _{i=|\mathfrak {f}(y)|}^{|\mathfrak {f}(x)|-1} [-\epsilon ,\epsilon ]^{d_{i}} \times \mathcal {M}_{\mathcal {C}}(x,y) \rightarrow E_{\mathfrak {f}(x),\mathfrak {f}(y)}, \end{aligned}$$

for some \(\epsilon > 0\), in such a way that the commutativity from (CNE-3) is preserved with \(\bar{\iota }\) replacing \(\iota \). In general \(\bar{\iota }\) can be constructed as follows:

$$\begin{aligned}&\bar{\iota }_{x,y} :\prod _{i=|\mathfrak {f}(y)|}^{|\mathfrak {f}(x)|-1} [-\epsilon ,\epsilon ]^{d_{i}}\nonumber \\&\quad \times \mathcal {M}_{\mathcal {C}}(x,y) \rightarrow E_{\mathfrak {f}(x),\mathfrak {f}(y)} = \prod _{i=|\mathfrak {f}(y)|}^{|\mathfrak {f}(x)|-1} [-R,R]^{d_{i}} \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(\mathfrak {f}(x),\mathfrak {f}(y)) \nonumber \\&\quad \quad (t, \gamma ) \mapsto (t + \pi _{u,v}^{R} \iota _{x,y}(\gamma ), \, \pi _{u,v}^{M} \iota _{x,y}(\gamma )), \end{aligned}$$
(2.6)

where

$$\begin{aligned} \pi _{u,v}^{R} :\prod _{i=|v|}^{|u|-1} [-R,R]^{d_{i}} \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v)&\rightarrow \prod _{i=|v|}^{|u|-1} [-R,R]^{d_{i}}, \end{aligned}$$
(2.7)
$$\begin{aligned} \pi _{u,v}^{M} :\prod _{i=|v|}^{|u|-1} [-R,R]^{d_{i}} \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v)&\rightarrow \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v) \end{aligned}$$
(2.8)

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.

2.5 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_{n-1})\) 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 CW-complex \(\left( ||\mathcal {C}||, x_{0}\right) \) in the following way:

  1. (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}^{|u|-1} [-R,R]^{d_{i}} \times \prod _{i=|u|}^{n-1} [-\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. (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. (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}^{|v|-1} [-R,R]^{d_{i}} \times \prod _{i=|v|}^{n-1} [-\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}^{|v|-1} [-R,R]^{d_{i}} \times \prod _{i=|u|}^{n-1} [-\epsilon ,\epsilon ]^{d_{i}} \times \widetilde{\mathcal {M}}_{{{\,\mathrm{Cube}\,}}(n)}(v,0) \times \left( \prod _{i=|v|}^{|u|-1} [-\epsilon ,\epsilon ]^{d_{i}} \times \mathcal {M}_{\mathcal {C}}(x,y) \right) \nonumber \\&\quad \hookrightarrow \prod _{i=0}^{|v|-1} [-R,R]^{d_{i}} \times \prod _{i=|u|}^{n-1} [-\epsilon ,\epsilon ]^{d_{i}} \times \widetilde{\mathcal {M}}_{{{\,\mathrm{Cube}\,}}(n)}(v,0) \times \left( \prod _{i=|v|}^{|u|-1} [-R,R]^{d_{i}} \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(u,v)\right) \nonumber \\&\quad \cong \prod _{i=0}^{|u|-1} [-R,R]^{d_{i}} \times \prod _{i=|u|}^{n-1} [-\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}^{|u|-1} [-R,R]^{d_{i}} \times \prod _{i=|u|}^{n-1} [-\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. (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 well-defined. 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.

figure c

Definition 2.16

The CW-complex \(||\mathcal {C}||\) is called the cubical realization of the cubical category \(\mathcal {C}\). The formal desuspension:

$$\begin{aligned} \mathcal {X}(\mathcal {C}) = \Sigma ^{-\tau -d_{0}-d_{1}-\cdots -d_{n-1}}||\mathcal {C}||, \end{aligned}$$

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 CW-complex, 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)\).

2.6 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.

3 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].

3.1 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 finite-dimensional 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, VW we denote by \(\hom _G(V, W)\) the space of G-equivariant linear maps from V to W.

If \(W \subset V\) are two G-representations, then by \(V-W\), 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 \(V-W\) of orthogonal G-representations, 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 \(V-W\) 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 G-manifolds. 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 G-manifold, 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

$$\begin{aligned} M^{H} = \{x \in M :\forall _{h \in H} h \cdot x = x\} = \{x \in M :H \subset G_{x}\}. \end{aligned}$$

We say that M is of dimension \(V-W \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 G-manifold and let \(p :E \rightarrow M\) be a vector bundle over M. We say that E is a G-vector 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 G-representation, then a V-bundle is a G-vector 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 V-bundle over M, i.e. \(\underline{V}_{M} = V \times M\).

Example 3.1

Let M be a G-manifold and let V be a G-representation. The tangent bundle TM is a V-bundle if and only if M is of dimension V.

A framing of a V-bundle is a choice of an isomorphism of V-bundles \(\phi :E \rightarrow \underline{V}_{M}\). A stable framing is a choice of an isomorphism of V-bundles \(\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 V-bundle determines an orientation of the bundle.

3.2 Equivariant cell complexes

In order to fix the terminology, we recall the notion of a G-cell and a G-cell complex.

Definition 3.2

Let \(H \subset G\) be a subgroup and let V be an H-representation. A G-cell of type (HV), denoted by E(HV), 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 G-representation, then \(E(H,V|_{H}) \cong G \times _{H} B_{R}(V)\). A G-cell complex is a topological space X with a filtration

$$\begin{aligned} X_{0} \subset X_{1} \subset \cdots \subset X_{n} \subset \cdots \end{aligned}$$

such that

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

  • for any \(n>0\), \(X_{n} = X_{n-1} \cup _{f} E(H_n,V_n)\), where

    $$\begin{aligned} f :\partial E(H_n,V_n) \rightarrow X_{n-1} \end{aligned}$$

    is an equivariant map,

  • \(X = {{\,\mathrm{colim}\,}}_{n} X_{n}\).

The G-cell 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 G-CW(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 G-CW complex as in [11, Section 1.1.3] or [37, Section 1.3].

Topological spaces we construct are usually G-cell complexes, while in Sect. 8, we apply theorems for G-CW complexes. Therefore we need to translate from one object to another. The following result is well-known to experts.

Proposition 3.3

Any G-cell complex has a \(G\)-homotopy type of a G-CW complex.

Proof

There are essentially two ways of approaching this result. In [37, Proposition X.2.8] it is proved that a G-CW(V) complex is G-homotopy equivalent to a G-CW complex, and the proof can be adapted to the case of general G-cell 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 \)

3.3 Equivariant Spanier–Whitehead category

For completeness of exposition we recall the definition of equivariant Spanier–Whitehead category. Suppose X and Y are finite G-CW complexes. A (\(G\)-)equivariant homotopy of \(G\)-maps \(f,g :X \rightarrow Y\) is an equivariant map

$$\begin{aligned} H :X \times [0,1] \rightarrow Y, \end{aligned}$$

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

$$\begin{aligned} f \wedge id_{S^{V}} :X \wedge S^{V} \rightarrow Y \wedge S^{V} \end{aligned}$$

is an equivariant homotopy equivalence. Here, \(S^V\) is the one-point 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

$$\begin{aligned} {{\,\mathrm{Hom}\,}}_{SW_{G}}\left( (X,V), (Y,W)\right) = {{\,\mathrm{colim}\,}}_{Z}\left[ X \wedge S^{V \oplus Z}, Y \wedge S^{W \oplus Z} \right] _{G}, \end{aligned}$$

where \(Z\) runs through the family of finite-dimensional \(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.

3.4 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 G-equivariant flow category (as usual, we will omit G when it is clear from the context) if it is equipped with the following data:

  1. (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. (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:

  1. (EFC-1)

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

  2. (EFC-2)

    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}\).

  3. (EFC-3)

    \((\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)\).

  4. (EFC-4)

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

  5. (EFC-5)

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

  6. (EFC-6)

    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}}\).

  7. (EFC-7)

    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 non-equivariant 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 \(V-W \in RO(G)\). The category \(\Sigma ^{V-W}\mathcal {C}\) has the same objects and morphisms as \(\mathcal {C}\) but different grading function given by

$$\begin{aligned} ({{\,\mathrm{gr}\,}}_G)_{\Sigma ^{V-W}\mathcal {C}}(x) = ({{\,\mathrm{gr}\,}}_G)_{\mathcal {C}}(x) + (V - W)|_{G_x} \in RO(G_x). \end{aligned}$$

Definition 3.6

Given two G-equivariant 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 G-equivariant 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 G-equivariant functor \(\mathfrak {f}:\mathcal {C}_1\rightarrow \mathcal {C}_2\) is called a (trivial) G-cover 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 (EFC-1)-(EFC-7) 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 G-equivariant 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 (EFC-1), (EFC-2) and (EFC-3), such that \(\mathfrak {f}\) commutes with the action. Then, there is a unique structure of a G-equivariant flow category on \(\mathcal {C}_1\) such that \(\mathfrak {f}\) is a trivial G-cover.

Proof

For an element \(x\in {{\,\mathrm{Ob}\,}}(\mathcal {C}_1)\) we set \({{\,\mathrm{gr}\,}}_G(x)=gr_G(\mathfrak {f}(x))\). Then (EFC-4)-(EFC-6) are satisfied. Condition (EFC-7) follows from the fact that the \(G\)-dimension is preserved under maps that are local \(G\)-diffeomorphisms. \(\square \)

3.5 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 n-element 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

$$\begin{aligned} V_{x} = \prod _{i :x_{i}=1} \mathbb {R}\subset V_{\sigma }. \end{aligned}$$

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

figure d

Therefore, we can define \((\mathcal {G}_{\sigma })_{x,y} = \bar{\sigma }|_{\mathcal {M}_{{{\,\mathrm{Cube}\,}}(n)}(x,y)}\). Lemma B.17 implies that conditions (EFC-1), (EFC-2) and (EFC-3) are satisfied.

In order to define the grading function

$$\begin{aligned} {{\,\mathrm{gr}\,}}_{\mathbb {Z}_{m}} :{{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube}\,}}(n)) \rightarrow \bigsqcup _{H \subset \mathbb {Z}_m} RO(H), \end{aligned}$$

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 (EFC-7), the only choice for \({{\,\mathrm{gr}\,}}_{\mathbb {Z}_{m}}(x)\) is \({{\,\mathrm{gr}\,}}_{\mathbb {Z}_{m}}(x) = V_{x}\). to argue that EFC-7 holds. Conditions (EFC-4), (EFC-5) are satisfied automatically. Condition (EFC-6) is satisfied, indeed, if \(g = \sigma ^k \in \mathbb {Z}_m\) and \(y = g \cdot x\), then the map

$$\begin{aligned} \sigma ^k :V_{x} \rightarrow V_{y} \end{aligned}$$

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 \(V-W\) and some \(\sigma \in {{\,\mathrm{Perm}\,}}_n\) satisfying \(\sigma ^m=id\), the functor \(\mathfrak {f}:\Sigma ^{V-W}\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.

3.6 Equivariant neat embedding

Let \(G=\mathbb {Z}_m\) and let \((\mathcal {C},\mathfrak {f})\) be a G-equivariant cubical flow category. Fix a sequence \(e_{\bullet }= (e_{0},e_{1},\ldots ,e_{n-1})\) of positive integers. For an orthogonal G-representation V and any \(u>v \in {{\,\mathrm{Ob}\,}}({{\,\mathrm{Cube_\sigma }\,}}(n))\) define

$$\begin{aligned} E(V)_{u,v} = \prod _{i=|v|}^{|u|-1} B_{R}(V_{u,v})^{e_{i}} \times \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(u,v), \end{aligned}$$
(3.2)

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 (CNE-1), (CNE-2) and (CNE-3)). 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

figure e

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 (CNE-1) and (CNE-3) are diagrams of \(G_{x,y}\) maps (in case of (CNE-1)), respectively \(G_{x,y,z}=G_x\cap G_y\cap G_z\) (in case of (CNE-3)).

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 (EFC-7) 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 Mostow-Palais 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|}^{|u|-1} 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

$$\begin{aligned} j_{x,y}:\mathcal {M}_{\mathcal {C}}(x,y)\rightarrow \prod _{i=|\mathfrak {f}(y)|}^{|\mathfrak {f}(x)|-1}B_R(V_{\mathfrak {f}(x),\mathfrak {f}(y)})^{e_i} \end{aligned}$$

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 (CNE-1), (CNE-2) are satisfied, while (CNE-3) is empty. The diagram in Definition 3.14 commutes.

Suppose the embedding has been constructed for all xy 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 G-equivariant 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 (CNE-1) and (CNE-2) for \(j_{x,y} \times \mathfrak {f}\) is trivially satisfied. Condition (CNE-3) 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

$$\begin{aligned} \overline{\iota }_{x,y}:\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)\rightarrow E(V)_{\mathfrak {f}(x),\mathfrak {f}(y)}. \end{aligned}$$

We require that that (CNE-3) 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 non-equivariant 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.

3.7 Equivariant cubical realization

We consider now an analog of the construction of a CW-complex \(||\mathcal {C}||\) given in Sect. 2.5. For each \(x\in {{\,\mathrm{Ob}\,}}(\mathcal {C})\) such that \(u=\mathfrak {f}(x)\) we define:

$$\begin{aligned} {{\,\mathrm{EX}\,}}(x)=\prod _{i=0}^{|u|-1}B_R(V)^{e_i}\times \prod _{i=|u|}^{n-1}B_{\epsilon }(V)^{e_i}\times \widetilde{\mathcal {M}}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(u,0), \end{aligned}$$
(3.3)

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

$$\begin{aligned}&{{\,\mathrm{EX}\,}}(y) \times \mathcal {M}_{\mathcal {C}}(x,y) \nonumber \\&\quad = \prod _{i=0}^{|v|-1} B_R(V)^{e_{i}} \times \prod _{i=|v|}^{n-1} B_{\epsilon }(V)^{e_{i}} \times \widetilde{\mathcal {M}}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(v,0) \times \mathcal {M}_{\mathcal {C}}(x,y) \nonumber \\&\quad \cong \prod _{i=0}^{|v|-1} B_R(V)^{e_{i}} \times \prod _{i=|u|}^{n-1} B_\epsilon (V)^{e_{i}} \times \widetilde{\mathcal {M}}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(v,0) \times \left( \prod _{i=|v|}^{|u|-1} B_\epsilon (V)^{e_{i}} \times \mathcal {M}_{\mathcal {C}}(x,y)\right) \nonumber \\&\quad \hookrightarrow \prod _{i=0}^{|v|-1} B_R(V)^{e_{i}} \times \prod _{i=|u|}^{n-1} B_\epsilon (V)^{e_{i}} \times \widetilde{\mathcal {M}}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(v,0) \times \nonumber \\&\qquad \times \left( \prod _{i=|v|}^{|u|-1} B_R(V)^{e_{i}} \times \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(u,v)\right) \nonumber \\&\quad \cong \prod _{i=0}^{|u|-1} B_R(V)^{e_{i}} \times \prod _{i=|u|}^{n-1} B_\epsilon (V)^{e_{i}} \times \widetilde{\mathcal {M}}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(v,0) \times \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(u,v)\hookrightarrow \nonumber \\&\quad \hookrightarrow \prod _{i=0}^{|u|-1} B_R(V)^{e_{i}} \times \prod _{i=|u|}^{n-1} B_\epsilon (V)^{e_{i}} \times \partial (\widetilde{\mathcal {M}}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(u,0)) \subset {{\,\mathrm{EX}\,}}(x). \end{aligned}$$
(3.4)

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 non-equivariant 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 non-equivariant 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 well-defined 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 (EFC-1)–(EFC-3). We omit the details.

Proposition 3.18

The space \(||\mathcal {C}||\) has the structure of a G-cell 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

$$\begin{aligned} {{\,\mathrm{EX}\,}}(x_{1}) \sqcup {{\,\mathrm{EX}\,}}(x_{2}) \sqcup \cdots \sqcup {{\,\mathrm{EX}\,}}(x_{k})\cong G_{x_{1}} \times _{G_{x}} \left( \prod _{i=0}^{|u|-1}B_R(V)^{e_i}\times \prod _{i=|u|}^{n-1}B_{\epsilon }(V)^{e_i} \times B_{R}({{\,\mathrm{gr}\,}}_{G}(x_{1}))\right) , \end{aligned}$$
(3.5)

i.e. we obtain a G-cell of type \((G_{x},V^{e_{1}+\cdots +e_{n-1}} \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 G-cell complex \(||\mathcal {C}||\). The formal desuspension \(\mathcal {X}(\mathcal {C}):=\Sigma ^{-W-V^{e_{0}+\cdots +e_{n-1}}}||\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 ^{-W-V^{e_{0}+\cdots +e_{n-1}}}||\mathcal {C}||\) of \(||\mathcal {C}||\) we mean the object of the Spanier–Whitehead category \(SW_{G}\) given by \((||\mathcal {C}||, -W-V^{e_{0}+\cdots +e_{n-1}})\); compare Sect. 3.3. Note that Stoffregen-Zhang’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 G-CW-complex in more detail.

Proposition 3.21

Let \((\mathcal {C}, \mathfrak {f}:\Sigma ^{W} C \rightarrow {{\,\mathrm{Cube_\sigma }\,}}(n))\) be a G-equivariant cubical flow category. Let \(\iota \) be an equivariant cubical neat embedding relative to \(e_{\bullet }= (e_{0},e_{1},\ldots ,e_{n-1}) \in \mathbb {N}^{n}\) and relative to an orthogonal G-representation V. There exists a G-cell 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].

3.8 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 H-fixed 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/H-equivariant flow category.

We will now give an instance of an H-fixed 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_i|m\) 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

$$\begin{aligned} v_{i,j}=v_{i,j+n'_i}=\cdots =v_{i,j+(\ell _i-1)n'_i}, \end{aligned}$$

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

$$\begin{aligned} {\mathcal {R}^H}(v_1,\ldots ,v_n)=(v_{1,1},\ldots ,v_{1,n'_1},v_{2,1},\ldots ,v_{p,n'_p}). \end{aligned}$$
(3.6)

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 _{n-1}\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 _{n-1}\cap L\), where L is a linear subspace of \(\mathbb {R}^n\) given by

$$\begin{aligned} L=\bigcap _{i=1}^{p}\bigcap _{j=1}^{n'_i}\{x_{i,j}=x_{i,j+n'_i}=\cdots =x_{i,j+(\ell _i-1)n'_i}\}, \end{aligned}$$

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 _{n-1}\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

$$\begin{aligned} \Pi _{u,v}=\mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(v,0_n)\times \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(u,v)\times \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(1_n,u). \end{aligned}$$

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 _{n-1}\).

In fact, consider the partition

$$\begin{aligned} \mathfrak {p}=\mathcal {P}_{1_n,u}\cup \mathcal {P}_{u,v}\cup \mathcal {P}_{v,0_n}, \end{aligned}$$
(3.7)

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:

$$\begin{aligned} \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(u,v)^H&\rightarrow \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(v,0_n)^H \times \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(u,v)^H \times \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(1_n,u)^H\rightarrow \\&\xrightarrow {\psi } \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}v)\rightarrow \\&\rightarrow \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n')}({\mathcal {R}^H}u,{\mathcal {R}^H}v). \end{aligned}$$

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 _{n-1}\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.

(3.8)

This commutativity is true if \(\psi \) takes

$$\begin{aligned} M_1=\mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(1_n,u)^H \times \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(u,w)^H \times \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(w,v)^H \times \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(v,0_n)^H \end{aligned}$$

to

$$\begin{aligned} M_2= & {} \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n')}(1_{n'},{\mathcal {R}^H}u) \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n')}({\mathcal {R}^H}u,{\mathcal {R}^H}w) \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n')}({\mathcal {R}^H}w,{\mathcal {R}^H}v)\\&\quad \times \mathcal {M}_{{{\,\mathrm{Cube}\,}}(n')}({\mathcal {R}^H}v,0_{n'}). \end{aligned}$$

Consider the refinement \(\mathfrak {p}_w\) of the partition \(\mathfrak {p}\) defined in (3.7) given as

$$\begin{aligned} \mathfrak {p}_w=\mathcal {P}_{1_n,u}\cup \mathcal {P}_{u,w}\cup \mathcal {P}_{w,v}\cup \mathcal {P}_{v,0_n}, \end{aligned}$$

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

$$\begin{aligned} (\mathfrak {p}^B)_w=\mathcal {P}'_{1_{n'},{\mathcal {R}^H} u}\cup \mathcal {P}'_{{\mathcal {R}^H} u,{\mathcal {R}^H} w}\cup \mathcal {P}'_{{\mathcal {R}^H} w,{\mathcal {R}^H} v}\cup \mathcal {P}'_{{\mathcal {R}^H} v,0_{n'}}. \end{aligned}$$

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 (FC-1), (FC-2) and (FC-3). The axiom (FC-1) is obvious. The axiom (FC-2) follows from the axiom (EFC-7) and Proposition B.11. The axiom (FC-3) follows from the axiom (EFC-3). 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 well-defined on objects.

To show that it is well-defined on morphisms, observe that for any \(x,y \in {{\,\mathrm{Ob}\,}}(\mathcal {C})^{H}\), the map

$$\begin{aligned} \mathfrak {f}_{x,y} :\mathcal {M}_{\mathcal {C}}(x,y)^{H} \rightarrow \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(\mathfrak {f}(x),\mathfrak {f}(y))^{H} \end{aligned}$$

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_{n-1})\) 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

$$\begin{aligned} e_{\bullet }^{H} = (e_{1}+\cdots +e_{k-1},e_{k}+e_{k+1}+\cdots +e_{2k-1},\ldots ,e_{n-k}+e_{n-k+1}+\cdots +e_{n-1}) \text { and } V^{H}, \end{aligned}$$

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/H-equivariant 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 (CNE-1), (CNE-2) and (CNE-3), see Definition 3.14. An equivariant neat embedding

$$\begin{aligned} \iota _{x,y} :\mathcal {M}_{\mathcal {C}}(x,y) \rightarrow E(V)_{\mathfrak {f}(x),\mathfrak {f}(y)}, \end{aligned}$$

where \(x,y \in {{\,\mathrm{Ob}\,}}(\mathcal {C})^{H}\), yields an embedding

$$\begin{aligned} \iota _{x,y}|_{H} :\mathcal {M}_{\mathcal {C}}(x,y)^{H} \rightarrow E(V)_{\mathfrak {f}(x),\mathfrak {f}(y)}^{H}. \end{aligned}$$

Observe that

$$\begin{aligned} E(V)_{\mathfrak {f}(x),\mathfrak {f}(y)}^{H} = \prod _{i=|\mathfrak {f}(y)|}^{|\mathfrak {f}(x)|-1} \left( B_{R}(V_{\mathfrak {f}(x), \mathfrak {f}(y)}^{H})\right) ^{e_{i}} \times \mathcal {M}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(\mathfrak {f}(x),\mathfrak {f}(y))^{H}, \end{aligned}$$

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

$$\begin{aligned} \eta ^H :\prod _{i=|\mathfrak {f}(y)|}^{|\mathfrak {f}(x)|-1} B_{R}(V^{H})^{e_{i}} \hookrightarrow \prod _{i=|\mathfrak {f}^{H}(y)|}^{|\mathfrak {f}^{H}(x)|-1} B_{R'}(V^{H})^{e_{k\cdot i}+e_{k\cdot i+1}+\cdots +e_{k \cdot (i+1)-1}}, \end{aligned}$$

for some \(R'>R\). Using the map \({\mathcal {R}^H}\) from Proposition 3.23 we obtain a neat embedding

$$\begin{aligned} \eta ^H \times {\mathcal {R}^H} :E(V)_{\mathfrak {f}(x),\mathfrak {f}(y)}^{H} \hookrightarrow E(V^{H})_{\mathfrak {f}^{H}(x),\mathfrak {f}^{H}(y)}. \end{aligned}$$

We define \(\iota ^{H}_{x,y} = (\eta ^H \times \mathcal {R}^H) \circ (\iota _{x,y}|_{H})\).

Properties (CNE-1), (CNE-2) and (CNE-3) 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 H-fixed 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

$$\begin{aligned} {{\,\mathrm{EX}\,}}(x)^H&=\prod _{i=0}^{|\mathfrak {f}(x)|-1}B_R(V^H)^{e_i}\times \prod _{i=|\mathfrak {f}(x)|}^{n-1}B_{\epsilon }(V^H)^{e_i}\times \widetilde{\mathcal {M}}_{{{\,\mathrm{Cube_\sigma }\,}}(n)}(\mathfrak {f}(x),0_n)^H, \\ X_{H}(x)&=\prod _{i=0}^{|\mathfrak {f}^{H}(x)|-1}B_{R}(V^{H})^{e_{i}^{H}} \times \prod _{i=|\mathfrak {f}^{H}(x)|}^{n'-1}B_{\epsilon }(V^{H})^{e_{i}^{H}}\times \widetilde{\mathcal {M}}_{{{\,\mathrm{Cube}\,}}(n')}(\mathfrak {f}^{H}(x),0_n), \end{aligned}$$

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

figure f

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 \)

3.9 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

$$\begin{aligned} \mathcal {G}_{g} :C^{*}(\mathcal {C},\mathfrak {f}) \rightarrow C^{*}(\mathcal {C},\mathfrak {f}), \end{aligned}$$

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

$$\begin{aligned} \sigma (\nu )(x,y) = \nu (\sigma (x),\sigma (y)). \end{aligned}$$

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 1-chain 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 0-cochain \(c\in C^0([0,1]^n;\mathbb {F}_2)\) such that \(\sigma (\nu )-\nu =\partial ^*c\). That is,

$$\begin{aligned} \nu (\sigma (\mathfrak {f}(x)),\sigma (\mathfrak {f}(y)))-\nu (\mathfrak {f}(x),\mathfrak {f}(y))= c(\mathfrak {f}(x))-c(\mathfrak {f}(y)). \end{aligned}$$
(3.9)

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 G-action 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

$$\begin{aligned} (-1)^{\nu (\mathfrak {f}(x),\mathfrak {f}(y))}\#\mathcal {M}_{\mathcal {C}}(x,y), \end{aligned}$$
(3.10)

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

$$\begin{aligned} (-1)^{\nu (\mathfrak {f}(x'),\mathfrak {f}(y'))}\#\mathcal {M}_{\mathcal {C}}(x',y')=(-1)^{\nu (\mathfrak {f}(x'),\mathfrak {f}(y'))}\#\mathcal {M}_{\mathcal {C}}(x,y), \end{aligned}$$
(3.11)

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

$$\begin{aligned} (-1)^{c(\mathfrak {f}(x))+c(\mathfrak {f}(y))+\nu (\mathfrak {f}(\sigma (x)),\mathfrak {f}(\sigma (y)))}\#\mathcal {M}_{\mathcal {C}}(x,y). \end{aligned}$$
(3.12)

Finally, to show the equality of (3.10) and (3.12) we need to guarantee that

$$\begin{aligned}c(\mathfrak {f}(x))+c(\mathfrak {f}(y))+\nu (\mathfrak {f}(\sigma (x)),\mathfrak {f}(\sigma (y)))=\nu (\mathfrak {f}(x),\mathfrak {f}(y))\bmod 2,\end{aligned}$$

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.

3.10 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

$$\begin{aligned} \cdots \rightarrow \widetilde{H}^i(||\mathcal {C}||){\mathop {\rightarrow }\limits ^{\iota ^*}} \widetilde{H}^i(||\mathcal {C}'||){\mathop {\rightarrow }\limits ^{\rho ^*}}\widetilde{H}^{i+1}(||\mathcal {C}''||){\mathop {\rightarrow }\limits ^{\kappa ^*}}\cdots . \end{aligned}$$
(3.13)

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.

  1. (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.

  2. (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.

  3. (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\),

$$\begin{aligned} \iota ^{H} :||\mathcal {C}'||^{H} \rightarrow ||\mathcal {C}||^{H} \end{aligned}$$

is a stable homotopy equivalence. Since \(||\mathcal {C}'||\) and \(||\mathcal {C}||\) are equivariantly homotopy equivalent to G-CW-complexes 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 \)

4 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.14.2). Next, we give a rather brief review of the construction of the Khovanov homotopy type and the annular Khovanov homotopy type (Sects. 4.34.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.

4.1 Khovanov chain complex

In this subsection we rely on [33, Section 2]. Let V be a two-dimensional 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 totally-ordered 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]:

$$\begin{aligned} \mathrm {Z}(\mathcal {D}_{1} \setminus \mathcal {D}_{2}) = \mathrm {Z}(\mathcal {D}_{1}) \setminus \mathrm {Z}(\mathcal {D}_{2}), \quad \mathrm {A}(\mathcal {D}_{1}\setminus \mathcal {D}_{2}) = \{A \in \mathrm {A}(\mathcal {D}_{1}) :\forall _{Z \in \mathrm {Z}(\mathcal {D}_{2})} \partial A \cap Z = \emptyset \}. \end{aligned}$$

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.

Fig. 1
figure 1

Dual arcs

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. (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. (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

$$\begin{aligned} (\mathcal {D},\overline{y}) \preceq (\mathfrak {s}_{\mathrm {A}}(\mathcal {D}),\overline{y}') \preceq (\mathfrak {s}(\mathcal {D}),\overline{x}). \end{aligned}$$
Fig. 2
figure 2

Resolutions of a crossing

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 0-resolutions; 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=|v|-n_-\) as

$$\begin{aligned} {{\,\mathrm{CKh}\,}}^i(D;\mathbb {F})=\bigoplus _{\begin{array}{c} v\in \{0,1\}^n\\ |v|=i+n_- \end{array}} V(\mathcal {D}(v)). \end{aligned}$$

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

$$\begin{aligned} \partial _{i}(\mathcal {D}(v),\overline{x}) = \sum _{{\mathop {(\mathcal {D}(v),\overline{x})\prec (\mathcal {D}(u),\overline{y})}\limits ^{|u|=|v|+1}}}(-1)^{\nu (u,v)} (\mathcal {D}(u),\overline{y}). \end{aligned}$$

The cohomology groups of the complex \({{\,\mathrm{CKh}\,}}\), that is \({{\,\mathrm{Kh}\,}}^{i,q}(D) = \ker (\partial _i)/{{\,\mathrm{Im}\,}}(\partial _{i-1})\), are link invariants [27]. They are the Khovanov homology groups of the link represented by D.

4.2 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 null-homotopic in \(S^{1} \times D^{1}\), and nontrivial otherwise. For any \(1 \le i \le k\) we define

$$\begin{aligned}{{\,\mathrm{Ann}\,}}(Z_{i},\overline{x}) = {\left\{ \begin{array}{ll} 1, &{} \text {if } Z_{i} \text { is nontrivial and } \overline{x}(Z_{i}) = \mathscr {x}_+, \\ -1, &{} \text {if } Z_{i} \text { is nontrivial and } \overline{x}(Z_{i}) = \mathscr {x}_-, \\ 0, &{} \text {if } Z_{i} \text { is trivial}, \\ \end{array}\right. } \end{aligned}$$

and

$$\begin{aligned} {{\,\mathrm{Ann}\,}}(\mathcal {D},\overline{x}) = \sum _{i=1}^{k} {{\,\mathrm{Ann}\,}}(Z_{i},\overline{x}). \end{aligned}$$

It is easy to check that for any decorated resolution configuration \((\mathcal {D},\overline{x},\overline{y})\) we have

$$\begin{aligned} {{\,\mathrm{Ann}\,}}(\mathcal {D},\overline{y}) \ge {{\,\mathrm{Ann}\,}}(\mathfrak {s}(\mathcal {D}),\overline{x}). \end{aligned}$$

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

$$\begin{aligned} 0 \subset \cdots \subset {{\,\mathrm{CA}\,}}_{k-1}(D) \subset {{\,\mathrm{CA}\,}}_{k}(D) \subset {{\,\mathrm{CA}\,}}_{k+1}(D) \subset \cdots \subset {{\,\mathrm{CKh}\,}}^{*,*}(D), \end{aligned}$$

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 triply-graded cochain complex defined as

$$\begin{aligned} {{\,\mathrm{CAKh}\,}}^{i,j,k}(D) = \left( {{\,\mathrm{CKh}\,}}^{i,j}(D) \cap {{\,\mathrm{CA}\,}}_{k}(D)\right) / \left( {{\,\mathrm{CKh}\,}}^{i,j}(D) \cap {{\,\mathrm{CA}\,}}_{k-1}(D)\right) . \end{aligned}$$

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.

4.3 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 _{{m-1}}\), 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}) = |v|-n_{-}\) (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 q-gradings 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 q-grading is equal to j. It is easy to see that

$$\begin{aligned} \mathcal {C}_{{{\,\mathrm{Kh}\,}}}(D) = \bigsqcup _{j \in \mathbb {Z}} \mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{j}(D). \end{aligned}$$
(4.1)

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 CW-complex 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

$$\begin{aligned} \mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D) = \bigvee _{j\in \mathbb {Z}} \mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{j}(D), \end{aligned}$$

where \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{j}(D)\) denotes the cubical realization of \(\mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{j}(D)\).

4.4 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

$$\begin{aligned} \mathcal {X}_{{{\,\mathrm{AKh}\,}}}(D) = \bigvee _{j,k \in \mathbb {Z}} \mathcal {X}_{{{\,\mathrm{AKh}\,}}}^{q,k}(D), \end{aligned}$$

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

$$\begin{aligned} H^{*}\left( \mathcal {X}(\mathcal {C}_{{{\,\mathrm{AKh}\,}}}^{q,k}(D))\right) \cong {{\,\mathrm{AKh}\,}}^{*,q,k}(D). \end{aligned}$$

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 \)

4.5 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 m-periodic 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 (EFC-1)–(EFC-3); Items (EFC-4)–(EFC-7) 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 non-empty, 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 zero-dimensional moduli space is uniquely determined by the action of \(\mathcal {G}_{\sigma }\) on the cube flow category \({{\,\mathrm{Cube}\,}}(n)\).

Fig. 3
figure 3

A diagram D of the trefoil knot with numbered crossings (a), the resolution D(1, 1, 0), (b), and its image under the rotation of the group \(\mathbb {Z}_3\), leading to the resolution D(1, 0, 1), (c)

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

figure g

The extension of \(\mathcal {G}_{\sigma }\) can be defined on \(\mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(\mathcal {D}(v),x,y)\) as follows. Let

$$\begin{aligned} \mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x,y)&= Y_{1} \cup Y_{2} \cup \cdots \cup Y_{k}, \\ \mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(\mathcal {G}_{\sigma }x,\mathcal {G}_{\sigma }y)&= Y_{1}' \cup Y_{2}' \cup \cdots \cup Y_{k}' \end{aligned}$$

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

$$\begin{aligned} \mathcal {G}_{\sigma }|_{Y_{i}} = (\mathfrak {f}_{\sigma (\mathcal {D}(v),\overline{x},\overline{y})}|_{Y_{i}'})^{-1} \circ \mathcal {G}_{\sigma }^{{{\,\mathrm{Cube}\,}}} \circ \mathfrak {f}_{(\mathcal {D}(v),\overline{x},\overline{y})}|_{Y_{i}}. \end{aligned}$$
(4.2)

The axioms (EFC-1) and (EFC-2) are trivially satisfied and (EFC-3) 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 well-defined 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 (EFC-1)–(EFC-3) 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

$$\begin{aligned} {{\,\mathrm{gr}\,}}_G(y)&={{\,\mathrm{gr}\,}}_{G_{\mathfrak {f}(y)}}(\mathfrak {f}(y))|_{G_y}-(\mathbb {R}[\mathbb {Z}_{m}]|_{G_{y}})^{n_-/m} \nonumber \\&=(\mathbb {R}[G_{\mathfrak {f}(y)}]^{{{\,\mathrm{gr}\,}}(y)/|G_{\mathfrak {f}(y)}|})|_{G_y}-\mathbb {R}[G_y]^{n_-/|G_{y}|}\nonumber \\&=\mathbb {R}[G_y]^{({{\,\mathrm{gr}\,}}(y)-n_-)/|G_y|}. \end{aligned}$$
(4.3)

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 non-equivariant 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 \)

5 Proof of Theorem 1.2

We will prove only part (b) of the theorem, namely that \(\mathcal {X}(\mathcal {C}_{{{\,\mathrm{Kh}\,}}})\) is a well-defined object in the equivariant Spanier–Whitehead category. The case of annular Khovanov homology is completely analogous.

Suppose that \(D_m\) is an m-periodic diagram representing an m-periodic 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_{n-1})\) induces a cubical neat embedding \(\iota '\) relative to \(e_{\bullet }'=(e_{1},\ldots ,e_{i}+1,\ldots ,e_{n-1})\). 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 (EFC-1)–(EFC-3) 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.

5.1 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 R2-move, 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 R2-move, 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 R2-move on \(D_m\), and let \((c_{n+1}, c_{n+2}),\) \((c_{n+3},c_{n+4}), \ldots , (c_{n+2m-1}, c_{n+2m})\) be the m pairs of new crossings created during the process; see Fig. 4a.

Fig. 4
figure 4

The equivariant R2-move and the resolution configurations described in proof the independence of \(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D_m)\) on Reidemeister moves

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+2k-1}= 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+2k-1} = 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 G-invariant, 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+2k-1}= 0\) and \(v_{n+2k}=1\), and the extra circle is labeled by \(\mathscr {x}_-\);

  • or \(v_{n+2k-1}= 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 G-invariant, 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+2k-1}= 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 \)

Fig. 5
figure 5

The pairing illustrating the proof of Lemma 5.2 (\(\epsilon _i \in \{\mathscr {x}_+, \mathscr {x}_-\}\), for \(i=1,2\))

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+2k-1}=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

$$\begin{aligned} C^{*}(a_{1},\ldots ,a_{i-1},0,a_{i+1},\ldots ,a_{m}) \xrightarrow {\cong } C^{*}(a_{1},\ldots ,a_{i-1},1,a_{i+1},\ldots ,a_{m}); \end{aligned}$$

see Fig. 5. Therefore, there exists an isomorphism of chain complexes

$$\begin{aligned} f :C^{*}(\mathcal {C}_{1}) \cong C^{*}(1,\ldots ,1) \otimes C^{*}({{\,\mathrm{Cube}\,}}(m)). \end{aligned}$$

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

$$\begin{aligned} c_{n+1},c_{n+3},c_{n+5},\ldots , c_{n+2m-1}\quad \text{ and } \quad c_{n+2},c_{n+4},\ldots ,c_{n+2m}. \end{aligned}$$

Moreover, if \(\sigma (c_{n+2i-1}) = c_{n+2j-1}\) 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+2m-1}\}\). 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

$$\begin{aligned} C^{*}_{H}(a_{1},a_{2},\ldots ,a_{i-1},0,a_{i+1},\ldots ,a_{m/k}) \xrightarrow {\cong } C^{*}_{H}(a_{1},a_{2},\ldots ,a_{i-1},1,a_{i+1},\ldots ,a_{m/k}), \end{aligned}$$

and therefore we obtain an isomorphism of chain complexes

$$\begin{aligned} \psi :C^{*}(\mathcal {C}_{1}^{H}) \xrightarrow {\cong } C^{*}(1,1,\ldots ,1)^{H} \otimes C^{*}({{\,\mathrm{Cube}\,}}(m/k)). \end{aligned}$$

We can apply once more the Künneth Theorem to conclude that \(C^{*}(\mathcal {C}_{1}^{H})\) is acyclic. \(\square \)

5.2 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 non-equivariant 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 y-axis 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 \)

6 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 Bar-Natan’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.

6.1 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. (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. (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. (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

$$\begin{aligned} \Sigma \subset \mathbb {R}^{2} \times [0,1], \quad \partial \Sigma = Z_{1} \sqcup -Z_{2}. \end{aligned}$$

For such a cobordism we define

$$\begin{aligned} \deg \Sigma = \chi (\Sigma ) - 2\# \text {dots}, \end{aligned}$$

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.

Fig. 6
figure 6

Local relations in \({{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}\). The neck cutting relation is depicted in Fig. 6d

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. (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. (2)

    If any connected component of \(\Sigma \) is a singly-dotted torus, then

    $$\begin{aligned} \Sigma = 0 \in {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(Z_{1},Z_{2}). \end{aligned}$$
Fig. 7
figure 7

The relation used in the proof of Lemma 6.1

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. (1)

    A singly-dotted sphere generates

    $$\begin{aligned} {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(\emptyset ,\emptyset ) \cong \mathbb {Z}. \end{aligned}$$
  2. (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. (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. (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. (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}\).

Fig. 8
figure 8

Caps generating \({{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(\emptyset ,S^{1})\)

Fig. 9
figure 9

Caps and their duals, i.e. cocaps (drawn on the right-hand side of the equality sign)

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

$$\begin{aligned} {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(\emptyset ,Z) \otimes \mathbb {F}\cong V^{\otimes c}, \end{aligned}$$

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

$$\begin{aligned} C = C_{1} \sqcup C_{2} \sqcup \cdots \sqcup C_{c} \end{aligned}$$

is a disjoint sum of caps such that \(C_{i}\) bounds \(Z_{i}\), for \(1 \le i \le c\), then

$$\begin{aligned} C \mapsto \underbrace{\mathscr {x}_\pm \otimes \mathscr {x}_\pm \otimes \cdots \otimes \mathscr {x}_\pm }_{c \text { factors}} \in V^{\otimes c}, \end{aligned}$$

where the sign of the i-th 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

$$\begin{aligned} \mathcal {T}_{{{\,\mathrm{Kh}\,}}}(Z) = {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(\emptyset ,Z) \end{aligned}$$

is Khovanov’s TQFT. In particular, given any field \(\mathbb {F}\) and a link diagram D, there is a canonical isomorphism of cochain complexes

$$\begin{aligned} \mathcal {T}([ [ D ]]_{{\text {BN}}})\otimes \mathbb {F}\cong {{\,\mathrm{CKh}\,}}^{*,*}(D). \end{aligned}$$

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

$$\begin{aligned} \Theta _{Z_{1},Z_{2}} :\mathcal {T}_{{{\,\mathrm{Kh}\,}}}(Z_{2})^{*} \times {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(Z_{1},Z_{2}) \times \mathcal {T}_{{{\,\mathrm{Kh}\,}}}(Z_{1}) \rightarrow {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(\emptyset ,\emptyset ), \end{aligned}$$

which yields an isomorphism

$$\begin{aligned} \Gamma _{Z_{1},Z_{2}}:{{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(Z_{1},Z_{2}) \xrightarrow {\cong } \mathcal {T}_{{{\,\mathrm{Kh}\,}}}(Z_{2}) \otimes \mathcal {T}_{{{\,\mathrm{Kh}\,}}}(Z_{1})^{*}. \end{aligned}$$

If \(\Sigma \in {{\,\mathrm{Hom}\,}}_{{{\,\mathrm{Cob}\,}}^{3}_{\bullet /l}}(Z_{1},Z_{2})\), then it is easy to check that

$$\begin{aligned} \Gamma _{Z_{1},Z_{2}}(\Sigma ) = \sum _{S_{1},S_{2}} \Theta _{Z_{1},Z_{2}}(S_{2}^{*},\Sigma ,S_{1}) S_{2} \otimes S_{1}^{*} \in \mathcal {T}_{{{\,\mathrm{Kh}\,}}}(Z_{2}) \otimes \mathcal {T}_{{{\,\mathrm{Kh}\,}}}(Z_{1})^{*}, \end{aligned}$$

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.

6.2 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 _{n-1}\). 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 i-th arc occurs at the level \(z_i\). As the arcs are pairwise non-intersecting, 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 _{n-1}\).

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

$$\begin{aligned} \partial _0\Sigma =\Sigma \cap (\mathbb {R}^2\times \{a\}),\ \partial _1\Sigma =\Sigma \cap (\mathbb {R}^2\times \{b\}). \end{aligned}$$

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 _{n-1}\),

$$\begin{aligned} \Theta _{\mathrm {Z}(\mathcal {D}),\mathrm {Z}(\mathfrak {s}(\mathcal {D}))}(S_{2},\Sigma (\mathbf {z},\mathcal {D}),S_{1}) = \# \pi _{0}(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D},\overline{x},\overline{y})). \end{aligned}$$

In particular, if \(\mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D},\overline{x},\overline{y}) \ne \emptyset \), then

$$\begin{aligned} \mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D},\overline{x},\overline{y}) \cong \bigsqcup _{i=1}^{2^{c_{1}}} \Pi _{n-1}, \end{aligned}$$

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 _{n-1}\). 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

$$\begin{aligned} \# \max P_{\mathbf {z}}(\mathcal {D},\overline{x},\overline{y}) = \Theta _{\mathrm {Z}(\mathcal {D}),\mathrm {Z}(\mathfrak {s}_{\mathrm {A}}(\mathcal {D}))}(S_{1},\Sigma (\mathbf {z},\mathcal {D}),S_{2}). \end{aligned}$$
(6.1)

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 \(n-1\) 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 neck-cutting relation shows that

$$\begin{aligned} \Theta (S_{2},\Sigma (\mathbf {z},\mathcal {D}),S_{1})=\Theta (S_{2},\Sigma (\mathbf {z}^1,\mathcal {D}_1),S_{3}). \end{aligned}$$
(6.2)

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

$$\begin{aligned} \max \# P_{\mathbf {z}}(x,y)=\max \# P_{\mathbf {z}^1}(x,y_1)+\max \# P_{\mathbf {z}^1}(x,y_2). \end{aligned}$$

Let \(S_3\), \(S_4\) be the distinguished generators associated to \(y_1\) and \(y_2\), respectively. We need to prove that

$$\begin{aligned} \Theta (S_{2},\Sigma (\mathbf {z},\mathcal {D}),S_{1})=\Theta (S_{2},\Sigma (\mathbf {z}^1,\mathcal {D}_1),S_{3})+\Theta (S_{2},\Sigma (\mathbf {z}^1,\mathcal {D}_1),S_{4}), \end{aligned}$$
(6.3)

which follows from the neck-cutting relation (see Fig. 10). \(\square \)

Fig. 10
figure 10

Proof of Lemma 6.6. The generator \(S_1\) is a single circle without dots (corresponding to \(\mathscr {x}_+\)). The new generators \(S_3\), \(S_4\) are two disks, one of them containing a dot

7 Categorical and geometric fixed points

7.1 Categorical fixed point theorem

Throughout this section, p denotes a fixed prime number. Define the map

$$\begin{aligned} \pi _{p} :\mathbb {C}^*\rightarrow \mathbb {C}^*, \quad \pi _{p}(\zeta ) = \zeta ^{p}, \end{aligned}$$

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 p-lift of \(\mathcal {D}\) to be the p-periodic 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 p-lift \((\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 p-periodic 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

$$\begin{aligned} \mathcal {C}_{{{\,\mathrm{AKh}\,}}}^{q,k}(D) \xrightarrow {\pi _{p}} \mathcal {C}_{{{\,\mathrm{AKh}\,}}}^{pq-(p-1)k,k}(D_{p})^{\mathbb {Z}_{p}}, \end{aligned}$$

which induces the following isomorphism of cubical flow categories, for any \(q \in \mathbb {Z}\),

$$\begin{aligned} \bigsqcup _{\begin{array}{c} q',k'\\ pq'-(p-1)k'=q \end{array}} \mathcal {C}_{{{\,\mathrm{AKh}\,}}}^{q',k'}(D) \xrightarrow {\pi _{p}} \mathcal {C}_{{{\,\mathrm{Kh}\,}}}^{q}(D_{p})^{\mathbb {Z}_{p}}. \end{aligned}$$

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

$$\begin{aligned} \mathcal {X}_{{{\,\mathrm{AKh}\,}}}^{q,k}(D) = \mathcal {X}_{{{\,\mathrm{AKh}\,}}}^{pq-(p-1)k,k}(D_{p})^{\mathbb {Z}_{p}}, \quad \quad \mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{q}(D_{p})^{\mathbb {Z}_{p}} = \bigvee _{\begin{array}{c} q',k' \\ pq'-(p-1)k'=q \end{array}} \mathcal {X}_{{{\,\mathrm{AKh}\,}}}^{q',k'}(D). \end{aligned}$$

Proof of Corollary 7.2

Notice that by Proposition 3.27 and Theorem 7.1 we have

$$\begin{aligned} \mathcal {X}\left( \mathcal {C}_{{{\,\mathrm{AKh}\,}}}^{q,k}(D_{p})\right) ^{\mathbb {Z}_{p}} = \mathcal {X}\left( \mathcal {C}_{{{\,\mathrm{AKh}\,}}}^{q,k}(D_{p})^{\mathbb {Z}_{p}}\right) = \mathcal {X}\left( \mathcal {C}^{pq-(p-1)k,k}_{{{\,\mathrm{AKh}\,}}}(D)\right) . \end{aligned}$$

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

$$\begin{aligned} \mathcal {F}_p:{{\,\mathrm{Ob}\,}}(\mathcal {C}_{{{\,\mathrm{AKh}\,}}}(D)) \xrightarrow {\cong } {{\,\mathrm{Ob}\,}}(\mathcal {C}_{{{\,\mathrm{AKh}\,}}}(D_{p}))^{\mathbb {Z}_{p}}. \end{aligned}$$

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:

(7.1)

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})\).

Fig. 11
figure 11

Index one resolution configurations in \(\mathbb {R}^{2} \setminus \{0\}\). The black dot is the fixed point set of the rotation

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 case-by-case analysis.

Lemma 7.4

(See [51, Section 5.3]) For all configuration depicted in Fig. 11 we have

$$\begin{aligned} \mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D},\overline{x},\overline{y}) \ne \emptyset \iff \mathcal {M}_{{{\,\mathrm{AKh}\,}}}(\mathcal {D}_{p},\overline{x}_{p},\overline{y}_{p}) \ne \emptyset . \end{aligned}$$

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 non-empty, \({{\,\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 case-by-case analysis. Cases (e) and (f) of Fig. 11 are trivial, because no circles in \(\mathcal {D}_p\) or \(\mathfrak {s}(\mathcal {D}_p)\) is non-trivial (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 non-trivial circles. Therefore, it is enough to show that if the resolution configuration on the left has non-trivial 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 non-trivial 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.

Fig. 12
figure 12

Proof of Lemma 7.5

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 \(p-1\) 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 non-empty. Then it is a zero-dimensional 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 _{p-1}^{\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 p-fold 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 _{p-1}\). 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 non-empty. 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 one-dimensional 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 _{2p-1}^{\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.

Fig. 13
figure 13

Ladybug configurations in \(\mathbb {R}^{2} \setminus \{0\}\)

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

$$\begin{aligned} \mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D},\overline{x},\overline{y})\cong \mathcal {M}_{{{\,\mathrm{Kh}\,}}}(\mathcal {D}_p,\overline{x}_p,\overline{y}_p)^{\mathbb {Z}_p}. \end{aligned}$$

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 \)

7.2 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(xy) consists of four elements \(x\succ \widetilde{x}_j\succ y\), \(j=1,\ldots ,4\), where:

$$\begin{aligned} \widetilde{x}_1&=(\mathfrak {s}_{\{A_{1}\}}(\mathcal {D}),\overline{x}_{A_{1}}^{1}),\ \widetilde{x}_2=(\mathfrak {s}_{\{A_{1}\}}(\mathcal {D}),\overline{x}_{A_{1}}^{2}),\\ \widetilde{x}_3&=(\mathfrak {s}_{\{A_{2}\}}(\mathcal {D}),\overline{x}_{A_{2}}^{1}), \ \widetilde{x}_4=(\mathfrak {s}_{\{A_{2}\}}(\mathcal {D}),\overline{x}_{A_{2}}^{2}). \end{aligned}$$

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

$$\begin{aligned} v_{\sigma _1\sigma _2}:=(\mathcal {D}_{p},\overline{y})\prec x_{\sigma _1\sigma _2}^{10}\prec \cdots \prec x_{\sigma _1\sigma _2}^{p0}\prec x_{\sigma _1\sigma _2}^{p1}\prec \cdots \prec x_{\sigma _1\sigma _2}^{p,p-1}\prec (\mathfrak {s}(\mathcal {D}_{p}),\overline{x}). \end{aligned}$$
(7.2)

Likewise, every maximal chain containing \(\widetilde{x}^p_3\) is of form

$$\begin{aligned} w_{\sigma _1\sigma _2}:=(\mathcal {D}_{p},\overline{y})\prec x_{\sigma _1\sigma _2}^{01}\prec \cdots \prec x_{\sigma _1\sigma _2}^{0p}\prec x_{\sigma _1\sigma _2}^{1p}\prec \cdots \prec x_{\sigma _1\sigma _2}^{p-1,p}\prec (\mathfrak {s}(\mathcal {D}_{p}),\overline{x}). \end{aligned}$$

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

$$\begin{aligned} x^{00}\prec x^{10}\prec \cdots \prec x^{i0}\prec x^{i1}\prec x^{ij}\prec x^{i+1,j}\prec x^{i+1,j+1}\prec \cdots \prec x^{i+1,p}\prec x^{i+2,p}\prec \cdots \prec x^{pp}. \end{aligned}$$

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

$$\begin{aligned} w_{start}&=x^{00}\prec \cdots \prec x^{ij}\in \mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x^{ij},y)\\ w_{end}&=x^{i+1,j+1}\prec \cdots \prec x^{i+1,p}\prec x^{i+2,p}\prec \cdots \prec x^{p,p}\in \mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x,x^{i+1,j+1})\\ w_1&=x^{i,j}\prec x^{i+1,j}\prec x^{i+1,j+1}\in \mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x^{i+1,j+1},x^{ij})\\ w_2&=x^{i,j}\prec x^{i,j+1}\prec x^{i+1,j+1}\in \mathcal {M}_{\mathcal {C}_{{{\,\mathrm{Kh}\,}}}}(x^{ij},x^{i+1,j+1}). \end{aligned}$$

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 one-dimensional permutohedron \(\Pi _2\), which is diffeomorphic with \(\Pi _{2p-1}^{\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}\).

8 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.

8.1 Review of the construction

Let D be an m-periodic diagram representing an m-periodic 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

$$\begin{aligned} \Sigma _D=\eta (D\times I) \end{aligned}$$
(8.1)

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 well-defined and can be used to show that the group action on the Khovanov chain complex is well-defined. 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 well-defined. 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 R-module M, define the equivariant Khovanov homology of L in gradings k and q as

$$\begin{aligned} {{\,\mathrm{EKh}\,}}^{j,q}(L; M)={{\,\mathrm{Ext}\,}}^j_\Lambda (M;{{\,\mathrm{CKh}\,}}^{*,q}(D;R)). \end{aligned}$$
(8.2)

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

$$\begin{aligned} {{\,\mathrm{EAKh}\,}}^{j,q,k}(L;M)={{\,\mathrm{Ext}\,}}^j_\Lambda (M;{{\,\mathrm{CAKh}\,}}^{*,q,k}(D;R)). \end{aligned}$$

Essentially the same argument as in [38] can be used to show that \({{\,\mathrm{EAKh}\,}}\) is an invariant of an annular link.

8.2 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 CW-structure described in Sect. 3.7.

First we state a preparatory result.

Proposition 8.2

Let \(D_{m}\) be an m-periodic diagram of a link. There exists an identification of cochain complexes of \(R[\mathbb {Z}_m]\)-modules

$$\begin{aligned} \widetilde{C}^{*}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D_{m});R) \cong {{\,\mathrm{CKh}\,}}^{*}(D_{m};R). \end{aligned}$$
(8.3)

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_{n-1}\) is the differential in \(C_{*}\). For two cochain complexes \(C^{*}\) and \(D^{*}\) we define the \({{\,\mathrm{Hom}\,}}\) cochain complex

$$\begin{aligned} {{\,\mathrm{Hom}\,}}^{n}_{R}(C^{*},D^{*}) = \prod _{p\in \mathbb {Z}} {{\,\mathrm{Hom}\,}}_{R}(C^{p},D^{p+n}), \end{aligned}$$

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

$$\begin{aligned} {{\,\mathrm{Ext}\,}}^{n}_{R}(C^{*},D^{*}) = H^{n}({{\,\mathrm{Hom}\,}}^{*}_{R}(P^{*},I^{*})) \cong H^{n}({{\,\mathrm{Hom}\,}}^{*}_{R}(P^{*},D^{*})) \cong H^{n}({{\,\mathrm{Hom}\,}}^{*}_{R}(C^{*},I^{*})). \end{aligned}$$
(8.4)

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 G-space X and any finitely generated R[G]-module M we define the Borel equivariant cohomology of X

$$\begin{aligned} H^{*}_{G}(X;M) = H^{*}(EG \times _{G} X;M) \cong {{\,\mathrm{Ext}\,}}_{R[G]}^{*}(C^{*}_{r}(X;R);M), \end{aligned}$$

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 G-map \(EG \times X \rightarrow EG\) which, after taking quotient of both sides, yields a map

$$\begin{aligned} EG \times _{G} X \xrightarrow {p} BG. \end{aligned}$$

We define the reduced Borel cohomology of X, to be

$$\begin{aligned} \widetilde{H}^{*}_{G}(X;M)={{\,\mathrm{coker}\,}}\left( H^{*}(BG;M) \xrightarrow {p^{*}} H^{*}_{G}(X;M)\right) . \end{aligned}$$

It is easy to check that

$$\begin{aligned} \widetilde{H}^{*}_{G}(X;M) \cong {{\,\mathrm{Ext}\,}}_{R[G]}^{*}\left( \widetilde{C}^{*}_{r}(X;R);M\right) . \end{aligned}$$

Theorem 8.3

Let \(D_{m}\) be an m-periodic 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})\)

$$\begin{aligned} {{\,\mathrm{EKh}\,}}^{i,q}(L_{m};M) \cong H^{*}_{\mathbb {Z}_{m}}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D_{m}),{{\,\mathrm{Hom}\,}}_{\mathbb {F}}(M,\mathbb {F})), \end{aligned}$$

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

$$\begin{aligned} {{\,\mathrm{EKh}\,}}^{*,q}(L_{m};M) = {{\,\mathrm{Ext}\,}}^{*}_{\mathbb {F}[G]}(M,{{\,\mathrm{CKh}\,}}^{*,q}(D_{m};\mathbb {F})) = {{\,\mathrm{Ext}\,}}^{*}_{\mathbb {F}[G]}\left( M,\widetilde{C}^{*}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{q}(D_{m});\mathbb {F})\right) . \end{aligned}$$

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

$$\begin{aligned} {{\,\mathrm{Ext}\,}}^{*}_{\mathbb {F}[G]}(M,\widetilde{C}^{*}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{q}(D_{m});\mathbb {F}))&{\mathop {\cong }\limits ^{(1)}}{{\,\mathrm{Ext}\,}}^{*}_{\mathbb {F}[G]}(M,{{\,\mathrm{Hom}\,}}_{\mathbb {F}}(\widetilde{C}^{*}_{r}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D_{m})^{q};\mathbb {F}),\mathbb {F}))\cong \\&{\mathop {\cong }\limits ^{(2)}} H^{*}({{\,\mathrm{Hom}\,}}^{*}_{\mathbb {F}[G]}(P^{*}_{M},{{\,\mathrm{Hom}\,}}_{\mathbb {F}}(\widetilde{C}^{*}_{r}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{q}(D_{m});\mathbb {F}),\mathbb {F}))) \cong \\&{\mathop {\cong }\limits ^{(3)}} H^{*}({{\,\mathrm{Hom}\,}}_{\mathbb {F}}^{*}(P^{*}_{M} \otimes _{\mathbb {F}[G]} \widetilde{C}^{*}_{r}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{q}(D_{m});\mathbb {F}),\mathbb {F})) \cong \\&{\mathop {\cong }\limits ^{(4)}} H^{*}({{\,\mathrm{Hom}\,}}_{\mathbb {F}}^{*}(\widetilde{C}^{*}_{r}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D_{m});\mathbb {F}),{{\,\mathrm{Hom}\,}}^{*}_{\mathbb {F}}(P_{M}^{*},\mathbb {F}))), \end{aligned}$$

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

$$\begin{aligned} M \mapsto {{\,\mathrm{Hom}\,}}_{\mathbb {F}}(M,\mathbb {F}) \end{aligned}$$

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)

$$\begin{aligned} {{\,\mathrm{Ext}\,}}^{*}_{\mathbb {F}[G]}\left( M,\widetilde{C}^{*}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}^{q}(D_{m});\mathbb {F})\right) \cong {{\,\mathrm{Ext}\,}}^{*}_{\mathbb {F}[G]} \left( \widetilde{C}^{*}_{r}(\mathcal {X}_{{{\,\mathrm{Kh}\,}}}(D_{m})),{{\,\mathrm{Hom}\,}}_{\mathbb {F}}(M,\mathbb {F})\right) \end{aligned}$$

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 m-periodic annular link and let \(D_{m}\) be an m-periodic diagram of \(L_{m}\). For a field \(\mathbb {F}\) and any \(\mathbb {F}[G]\)-module M, it holds

$$\begin{aligned} {{\,\mathrm{EAKh}\,}}^{i,q,k}(L_m;M)\cong H^{*}_G(\mathcal {X}_{{{\,\mathrm{AKh}\,}}}^{q,k}(D_{m}),{{\,\mathrm{Hom}\,}}_{\mathbb {F}}(M,\mathbb {F})). \end{aligned}$$

8.3 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(p-1)}(\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

$$\begin{aligned} \alpha _q:{{\,\mathrm{Kh}\,}}^{*,q}(L;\mathbb {Z}_p)\rightarrow {{\,\mathrm{Kh}\,}}^{*+k,q}(L;\mathbb {Z}_p). \end{aligned}$$

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 m-periodic link and \(\mathbb {F}\) a field. Any stable cohomology operation

$$\begin{aligned} \alpha :H^{*}(-;\mathbb {F}) \rightarrow H^{*+k}(-;\mathbb {F}) \end{aligned}$$

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 m-periodic 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 \)

8.4 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],

$$\begin{aligned} H^{*}(B\mathbb {Z}_{p};\mathbb {F}_{p}) \cong {\left\{ \begin{array}{ll} \mathbb {F}_{2}[X], \text { for } X \in H^{1}(B\mathbb {Z}_{2};\mathbb {F}_{2}), &{} p=2, \\ \mathbb {F}_{p}[Y] \otimes _{\mathbb {F}_{p}} \Lambda ^*_{\mathbb {F}_{p}}(Z), \text { for } Y \in H^{2}(B\mathbb {Z}_{p};\mathbb {F}_{p}) \text { and } Z \in H^{1}(B\mathbb {Z}_{p};\mathbb {F}_{p}), &{} p >2, \end{array}\right. } \end{aligned}$$

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}\)-CW-complex with p a prime. There exists an isomorphism of graded \(\mathbb {Z}_{p}\)-algebras

$$\begin{aligned} S_{p}^{-1}H^{*}_{G}(X;\mathbb {F}_{p}) \cong S_{p}^{-1}H^{*}(X^{G};\mathbb {Z}_{p}). \end{aligned}$$

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 p-periodic 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

$$\begin{aligned} S_{p}^{-1}H^{*}(B\mathbb {Z}_{p};\mathbb {F}_{p}) \otimes _{\mathbb {F}_{p}} {{\,\mathrm{AKh}\,}}^{*,q,k}(L;\mathbb {F}_{p}) \xrightarrow {\cong } S_{p}^{-1} {{\,\mathrm{EAKh}\,}}^{*,pq-(p-1)k,k}(L_{p};\mathbb {F}_{p}). \end{aligned}$$

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:

$$\begin{aligned} L_{2}(k) = \{I :e(I) \ge k\}. \end{aligned}$$

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(p-1)(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\),

$$\begin{aligned} L_{p}(k) = \{I :e(I) \ge k+1, \text { or } e(I) = k \text { and } \epsilon _{0}=0\}. \end{aligned}$$

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

$$\begin{aligned}{{\,\mathrm{Un}\,}}(M)^{k} = {\left\{ \begin{array}{ll} \{x \in M^{k} :\forall _{I \in L_{2}(k)} \quad Sq^{I}(x) = 0\}, &{} p=2,\\ \{x \in M^{k} :\forall _{I \in L_{p}(k)} \quad P^{I}(x) = 0\}, &{} p>2. \end{array}\right. } \end{aligned}$$

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.

  1. (a)

    If \(L_{p} \subset S^{1} \times I \) is p-periodic 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-(p-1)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-(p-1)k,k}(L_{p};\mathbb {F}_{p})\right) ^*. \end{aligned}$$
  2. (b)

    For a p-periodic 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'-(p-1)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

$$\begin{aligned}&\dim _{\mathbb {F}_{p}}{{\,\mathrm{AKh}\,}}^{*,pq-(p-1)k,k}(L_{p};\mathbb {F}_{p}) \ge {\text {rank}}_{H^{*}(B\mathbb {Z}_{p};\mathbb {F}_{p})}{{\,\mathrm{EAKh}\,}}^{*,pq-(p-1)k,k}(L_{p};\mathbb {F}_{p}) \ge \\&\quad \ge {\text {rank}}_{H^{*}(B\mathbb {Z}_{p};\mathbb {F}_{p})}{{\,\mathrm{Un}\,}}\left( S_{p}^{-1}{{\,\mathrm{EAKh}\,}}^{*,pq-(p-1)k,k}(L_{p};\mathbb {F}_{p})\right) ^* = \\&\quad = \dim _{\mathbb {F}_{p}} {{\,\mathrm{AKh}\,}}^{*,q,k}(L;\mathbb {F}_{p}). \end{aligned}$$

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 \)