Abstract
Given a finite quandle, we introduce a quandle homotopy invariant of knotted surfaces in the 4sphere, modifying that of classical links. This invariant is valued in the third homotopy group of the quandle space, and is universal among the (generalized) quandle cocycle invariants. We compute the second and third homotopy groups, with respect to “regular Alexander quandles”. As a corollary, any quandle cocycle invariant using the dihedral quandle of prime order is a scalar multiple of Mochizuki 3cocycle invariant. As another result, we determine the third quandle homology group of the dihedral quandle of odd order.
Similar content being viewed by others
1 Introduction
A quandle is an algebraic system satisfying axioms that correspond to the Reidemeister moves. Given a quandle \(X\), Fenn et al. [13] defined the rack space \(BX\), in analogy to the classifying spaces of groups; Further, an invariant of framed links in \(S^3\) was proposed in [14, §4] which is called a quandle homotopy invariant and is valued in the second homotopy group \(\pi _2(BX)\) [see [23] for some computations of \(\pi _2(BX)\)]. In addition, as a modification of the homology \(H_*(BX;\mathbb Z )\), Carter et al. [4] introduced its quandle homology denoted by \(H_n^Q(X;A)\), and further quandle cocycle invariants of classical links (resp. linked surfaces) using cohomology classes in \(H_Q^2(X;A )\) (resp. \(H_Q^3(X;A )\)). For its applications, the homology groups \(H_*(BX;A)\) and \(H_*^Q(X;A) \) of some quandles \(X\) have been computed [5, 8, 19, 20, 24, 26]. Furthermore the quandle cocycle invariants were generalized to allow the cohomology \(H_Q^*(X;A )\) with local coefficients [3].
As for classical links, the quandle cocycle invariants were much studied (see, e.g., [15, 23, 25, 31]), and are known to be derived from the quandle homotopy invariant above (see [6, 31]). The study of the homotopy group \(\pi _2(BX)\) was useful to understood a topological meaning of some quandle cocycle invariants [15].
In this paper, we introduce and study a quandle homotopy invariant of oriented linked surfaces valued in a group ring \(\mathbb Z [\pi ^Q_3(BX)]\) (Definition 2.3), modifying the above quandle homotopy invariant of links in \(S^3\). Here the group \(\pi ^Q_3(BX)\) is defined by a certain quotient group of the third homotopy group \(\pi _3(BX) \) (see Remark 2.2 for details). Similar to the quandle homotopy invariant of classical links, that of linked surfaces is shown to be universal among the quandle cocycle invariants with local coefficients of linked surfaces (see Sect. 2.3). It is therefore significant to estimate and determine \(\pi ^Q_3(BX)\). Moreover, from the study of \(\pi ^Q_3(BX) \), we address a problem of determining those local coefficients for which the the associated quandle cocycle invariants pick out completely the quandle homotopy invariant.
First, we determine the free subgroup of \(\pi ^Q_3(BX)\) of a finite quandle \(X\), using rational homotopy theory (Theorem 3.1). We show that \(\pi ^Q_3(BX)\) is finitely generated, and that \(\pi ^Q_3(BX)\otimes \mathbb Q \) depends only on the number \(\ell \) of “the connected components” of \(X\): To be precise, \(\pi ^Q_3(BX) \otimes \mathbb Q \cong \mathbb Q ^{\ell ( \ell 1)(\ell 2)/3}\). Further, we give a topological interpretation of \(\pi ^Q_3(BX) \otimes \mathbb Q \) from a view of “link bordism groups” (see Remark 4.2).
Next we deal with the torsion subgroups of \(\pi ^Q_3(BX)\). Since it is difficult to compute \(\pi ^Q_3(BX)\) in general, in this paper, we confine ourselves to regular Alexander quandles \(X\). Here the regular Alexander quandle \(X\) is defined to be a \(\mathbb Z [T^{\pm 1 } ]\)module with a binary operation \((x,y) \mapsto Tx+(1T)y\) which satisfies \((1T)X=X\) and the minimal \(e\) satisfying \((T^e1)X=0\) is relatively prime to \(X\).
In this case, we estimate \(\pi ^Q_3(BX) \) roughly: When \(X\) is a regular Alexander quandle of odd order, we obtain an exact sequence which estimates \(\pi ^Q_3(BX)\) from upper bounds by the homologies \( H_j (BX;\mathbb Z )\) with \( j \le 4\) (Proposition 3.4). However, under an additional assumption, we succeed in determining \(\pi ^Q_3(BX)\) in a homological context. Specifically, if \(H_2^Q(X;\mathbb Z )\) vanishes and \(X\) is odd, then \(\pi ^Q_3(BX)\) is isomorphic to \(H_4^Q(X;\mathbb Z )\) (Theorem 3.5). We here remark that there are many such quandles, e.g., the Alexander quandle of the form \(X= \mathbb F _q [T]/ (T {\omega })\) where \(\mathbb F _q\) is the finite field of order \(p^{2h1}\) and \(\omega \in \mathbb F _q {\setminus } \{ 0, \pm 1 \}\) (see Remark 3.6). In particular, we determine \(\pi ^Q_3(BX)\) of all Alexander quandles \(X\) of prime order (see Corollary 3.7), using the homology \(H_4^Q(X;\mathbb Z )\) determined in [23]. As the simplest case, if \(X=\mathbb Z [T]/(p,T+1)\) which is called the dihedral quandle, then \(\pi ^Q_3(BX) \cong \mathbb Z /p \mathbb Z \) and any quandle cocycle invariant of \(X\) turns out to be a scalar multiple of the quandle cocycle invariant \(\Psi _{\theta _p} (L) \in \mathbb Z [\mathbb F _p]\) of a 3cocycle \(\theta _p \in H^3_Q(X;\mathbb F _p)\) that is called Mochizuki 3cocycle (Corollary 3.8). In summary, the study to compute \(\pi ^Q_3(BX)\) picks out all nontrivial quandle cocycle invariants defined via \(X\).
In another direction, by a similar discussion, we also compute the second homotopy group \(\pi _2(BX)\) ^{Footnote 1} with respect to regular Alexander quandles \(X\). Recall that \(\pi _2(BX)\) is the container of the quandle homotopy invariant of framed links. Our result on \(\pi _2(BX) \) is that, if \(X\) is of odd order, the following exact sequence splits (Theorem 3.9):
In particular, \(\pi _2(BX)\) is a direct summand of \(\mathbb Z \oplus H_3^Q(X;\mathbb Z )\). In conclusion, regarding \(H_3^Q(X;\mathbb Z )\) as a second homology with local coefficients (see Remark 4.1), Theorem 3.9 implies that the quandle homotopy invariant is completely determined as a linear sum of quandle cocycle invariants through \( H^2_Q(X;A) \oplus H^3_Q(X;A)\) of the local system (Remark 5.5).
Furthermore, the above sequence enables us to compute \(\pi _2(BX) \). For several quandles \(X\) of order \(\le 9\), we determine \(\pi _2(BX)\) exactly (see Table 1), following the values of \(H_2^Q(X;\mathbb Z )\) and \(H_3^Q(X;\mathbb Z )\) presented in [17]. Furthermore, since Mochizuki [19, 20] has computed \(H^2_Q(X;\mathbb F _q) \oplus H^3_Q(X;\mathbb F _q)\) for \(X = \mathbb F _q [T]/(T {\omega })\), we determine \(\pi _2(BX) \otimes _\mathbb{Z } \mathbb F _p\) and have made the quandle homotopy invariants computable (see Appendix A). One of the noteworthy results is that if \( X \) is the product \(h\)copies of the dihedral quandle, i.e., \(X = \bigl ( \mathbb Z [T]/(p,T+1)\bigr )^h\), then the dimension of \(\pi _2(BX) \otimes _\mathbb{Z } \mathbb F _p\) is a quadratic function of \(h\): to be precise, \(\text{ dim}_\mathbb{F _p} (\pi _2(BX) \otimes _\mathbb{Z } \mathbb F _p)= 1+ \bigl ( h^2(h^2+11)/ 12 \bigr ) \) [Corollary A.4].
As a corollary of our work, for an odd \(m\), we determine \(H_3^Q(X;\mathbb Z )\) of the dihedral quandle \(X\) of order \(m\), i.e., \(X = \mathbb Z [T]/(m,T+1)\). Since Hatakenaka and the author [15] computed \(\pi _2(BX)\cong \mathbb Z \oplus \mathbb Z /m\), it follows from Theorem 3.9 above that \(H_3^Q(X ;\mathbb Z ) \cong \mathbb Z /m \) (Corollary 3.11). When \(m\) is an odd prime, the isomorphism \(H_3^Q(X ;\mathbb Z ) \cong \mathbb Z /m \) was conjectured by Fenn, Rourke and Sanderson (see [27, Conjceture 5.12]) and solved by Niebrzydowski and Przytycki using homological algebra [25]. On the other hand, our proof is another approach from \(\pi _2(BX)\), and further gives a generalization of the conjecture.
This paper is organized as follows. In Sect. 2, we review quandles and the rack spaces \(BX\), and define the quandle homotopy invariant. In Sect. 3, we state our theorems and corollaries. In Sect. 4, we review the quandle homology groups, and prove Theorem 3.1 on the rational homotopy group \(\pi _3^Q(BX) \otimes \mathbb Q \). In Sect. 5, we show Theorems 3.5 and 3.9. In Appendix A, we compute \(\pi _2(BX) \otimes \mathbb Z /p\mathbb Z \) for some Alexander quandles \(X\) on finite fields.
Notational convention Throughout this paper, \(\mathbb F _q\) is a finite field of characteristic \(p >0\). We denote by \(\mathbb Z _m\) the cyclic group of order \(m \in \mathbb Z \). A symbol ‘\(\otimes \)’ is always the tensor product over \(\mathbb Z \). For a group \(G\), we denote by \(\mathbb Z [G]\) the group ring of \(G\) over \(\mathbb Z \). For a finitely generated \(\mathbb Z \)module \(N\), \(N_{(p)}\) means the localization at a prime \(p\). Further, \(\Lambda ^* (N)\) denotes the \(*\)part of the exterior algebra over \(N\). A symbol ‘pt.’ stands for a single point.
All embeddings of surfaces into \(S^4\) are assumed to be oriented, closed and of \(C^{\infty }\)class.
2 Quandle homotopy invariants of linked surfaces
We review quandles and the rack spaces in Sect. 2.1, and introduce quandle homotopy invariants of linked surfaces in Sect. 2.2.
2.1 Review of quandles and of rack spaces
A \(quandle\) is a set \(X\) with a binary operation \((x, y) \rightarrow x*y\) such that, for any \(x,y,z \in X,\) \( x*x = x\), \((x*y)*z = (x*z)*(y*z)\) and there exists a unique element \(w \in X\) such that \(w*y = x\). For example, a \(\mathbb Z [T^{\pm 1}]\)module \(M\) has a quandle structure given by \(x*y:=Tx+(1T)y\), called an Alexander quandle. For a quandle \(X\), the associated group of \(X\) is defined by the group presentation \( \text{ As}(X) := \langle x \in X \  \ x \cdot y =y \cdot (x*y) \ \ (x,y \in X)\rangle \). For any quandle \(X\), \( \text{ As}(X)\) is of infinite order, since \( \text{ As}(X)\) has an epimorphism onto \(\mathbb Z \) obtained by the length of words. An \(X\)\(set\) is defined to be a set \(Y\) acted on by \(\text{ As}(X) \). For example, when \(Y=X\), the quandle \(X\) is itself an \(X\)set by means of the quandle operation.
We next review \(X\)colorings [4, Definition 5.1.] Let \(D\) be a broken diagram of a linked surface \(L\). In this paper, any broken diagram is regarded being in \(S^3\). An \(X\)\(coloring\) is a map \(C\) from the set of sheets of \(D\) to \(X\) such that, for every doublepoint curve as shown in the left of Fig. 1, the three sheets \(\alpha , \beta , \gamma \) satisfy \(C(\gamma )=C(\alpha )*C(\beta )\). This definition is compatible with triplepoints (see the right of Fig. 1). We denote the set consisting of such \(X\)colorings of \(D\) by Col\(_{X}(D)\). It is widely known (see, e.g., [4, Theorem 5.6]) that if two diagrams \(D\) and \(D^{\prime }\) are related by the Roseman moves, then there naturally exists a 11 correspondence between Col\(_{X}(D)\) and Col\(_X(D^{\prime })\). Furthermore, when \(X\) is an Alexander quandle of the form \(X=\mathbb Z _p[T^{\pm 1}]/(h(T))\) and \(L\) is a knotted surface, the set Col\(_{X}(D)\) is obtained from the Alexander polynomials of \(L\) (see [16] for details).
Finally, we review the rack space introduced by Fenn–Rourke–Sanderson [13]. Fix an \(X\)set \(Y\). Equipping \(X\) and \(Y\) with their discrete topology, we start with \( \bigcup _{n \ge 0} \bigl ( Y \times ([0,1]\times X)^n \bigr )\), and consider the equivalence relations given by
Here our description divides the element of \(Y\) from the elements of \(([0,1]\times X)^n\) by a semicolon ‘;’. Then the rack space, \(BX^Y\), is defined by the quotient space (we later explain the 3skeleton for more details in Sect. 2.2). By construction, we have a cell decomposition of \(BX^Y \), by regarding the projection \( \bigcup _{n \ge 0} \bigl ( Y \times ([0,1]\times X)^n \bigr ) \rightarrow BX^Y\) as the characteristic maps. We easily see that if the action on \(Y\) of \(\text{ As}(X)\) is transitive, the space \(BX^Y\) is pathconnected (see [8, Proposition 2.12] for details). When \(Y\) is a single point, we denote the pathconnected space \(BX^Y\) by \(BX\) for short. Note that \( \pi _1(BX) \cong {\text{ As}}(X)\) by the definition of the 2skeleton of \(BX\).
2.2 Definition of a quandle homotopy invariant of linked surfaces
Our purpose is to define a quandle homotopy invariant of linked surfaces. This is an analogue of the quandle homotopy invariant of (framed) links in \( S^3\) [14, §3] (see also [23, §2]). For the purpose, given an \(X\)set \(Y\), we first define a quandle space as follows. Define a subspace by
We denote this by \(X_D^Y\), and consider a composite \(\iota _D^Y : X_D^Y \hookrightarrow \bigcup _{n \ge 0} \bigl ( Y \times ([0,1]\times X)^n \bigr ) \rightarrow BX^Y \). Here the second map is the projection mentioned above.
Definition 2.1
Let \(X\) be a quandle. Let \(Y\) be an \(X\)set. We define a space \(BX^Y_Q\) as the cone of the composite map \(\iota _D^Y : X_D^Y \rightarrow BX^Y\). We refer to the space as \(quandle \ space\).
When \(Y\) is a single point, we denote \(BX^Y_Q\) by \(BX_Q\) for short. The homology \(H_*(BX_Q;\mathbb Z )\) coincides with the homology of the quandle complex introduced in [4] (see also Sect. 4.1). Roughly speaking, the space \(BX_Q\) is a geometric realization of the quandle complex.
We now describe the 3skeleton of the rack space \(BX\) and the 4skeleton of the quandle space \(BX_Q\) in more details. The 1skeleton of \(BX\) is a bouquet of \(X\)circles labeled by elements of \( X\). The 2skeleton of \(BX\) is obtained from the 1skeleton by attaching 2cells of squares labeled by \((a, b)\) for any \(a, b \in X\), where the 4 edges with \(X\)labels as shown in Fig. 2 are attached to the corresponding 1cells. In addition, we attach \(X^3\)cubes labeled by \((a,b,c) \in X^3\), whose six faces are labeled as shown in Fig. 2, to the corresponding 2cells. The resulting space is the 3skeleton of \(BX\).
We next describe the 4skeleton of \(BX_Q\). To begin, the 3skeleton of \(BX_Q\) is obtained from the 3skeleton of \(BX\) by attaching 3cells which bound 2cells labeled by \((a,a)\) for \(a \in X\). The 4skeleton of \(BX_Q\) is obtained from the 3skeleton of \(BX_Q\) by attaching 4cells as follows: for \(a,b \in X\), a 3cell labeled by either \((a,a,b)\) or \((a,b,b)\) is bounded by a 4cell, and the 4dimensional cube labeled by \((a,b,c,d) \in X^4\) bounds the eight corresponding 3cells as shown in Fig. 3. Note that the preceding quandle space considered in [23, §2]^{Footnote 2} is the 3skeleton of the space \(BX_Q\), and the higher skeleton was not defined in [23].
In order to construct an invariant of linked surfaces, we prepare a cell decomposition of \(S^3\). Let \(L \subset S^4\) be a linked surface. We fix a broken surface diagram \(D \subset S^3\) of \(L\). Regarding \(D\) as a decomposition of \(S^3\) by an immersed surface, we consider the dual decomposition. Recall that the broken diagram is locally composed of some doublepoint curves, branchpoints and triplepoints (see, e.g., [9] [4, §5] for the definitions). We then modify the dual decomposition around each branchpoints \(P_{\text{ B}}\) of \(D\) as follows. To begin, we add an interval which connects between \(y\) and \(z\) shown on the left of Fig. 4. Put a square \(\mathcal D _{xyz}\) which is bounded by the three intervals, and further attach a 3cell which is bounded by the square \(\mathcal D _{xyz}\) and contains the branchpoint \(P_{\text{ B}}\) (see the right of Fig. 4); we here notice that the 3cell forms a cone on a square. In addition, we attach a cube to the square \(\mathcal D _{xyz}\) from the opposite direction. For example, if the Whitney umbrella crosses another sheet such as the left of Fig. 5, we here attach 2cells and 3cells to the dual decomposition shown as the right of Fig. 5. We orient the modified cell decomposition by using the orientations of \(D\).
Next, given an \(X\)coloring \(C\) of \(D\), we will construct a map \(\xi _{D,C} : S^3 \rightarrow BX_Q\), as follows. We take the 0cells of the modified decomposition to the single 0cell of \(BX\). We send the 1cells at sheets colored by \(a\) to the 1cell labeled by \(a\). We take the 2cells around the doublepoint curves colored by \((a,b)\) to the 2cell labeled by \((a,b)\). We map the 3cells around the triplepoints colored by \((a,b,c)\) to the 3cell labeled by \((a,b,c)\) as shown in Fig. 6. Furthermore, we take the modified 3cells around the branchpoints colored by \(a \in X\) to the above cone on the 2cell labeled by \((a,a)\) (see the right of Fig. 4). By collecting them, we obtain a cellular map \(\xi _{D,C} : S^3 \rightarrow BX_Q\). We denote the homotopy class of \(\xi _{D,C}\) by \(\Xi _{X}(D;C) \in \pi _3(BX_Q)\). By the construction of 4cells of \(BX_Q\), we can verify that the homotopy class \(\Xi _{X}(D;C)\) is invariant under the Roseman moves (cf. [4, Theorem 5.6]). For example, the invariance of the move in the bottom right of [4, Figure 7] corresponds to the 4cell in Fig. 3.
Remark 2.2
It is known that any oriented surfacelink is represented by a broken diagram \(D\) without branchpoints (see [9]). Recall that we defined the group \(\pi _3^Q(BX)\) to be the quotient of \(\pi _3(BX)\) by a normal subgroup that takes account of branchpoints of knotted surfaces. However, for such a diagram \(D\), we claim that the map \(\xi _{D,C}: S^3 \rightarrow BX_Q \) misses the cell of \(X_Y^D\). Actually, the map \(\xi _{D,C} \) can, by definition, be constructed by only the usual dual composition of \(S^3\) by \(D\). Hence, the map \(\xi _{D,C}: S^3 \rightarrow BX_Q \) factors through the rack space \(BX\), which implies that the homotopy class \(\Xi _X(D;C) \) is derived from \(\pi _3(BX)\). Therefore, for the study of the invariant, it sufficies to analyze the image of \((i_X)_*: \pi _3(BX) \rightarrow \pi _3(BX_Q)\), where \(i_X\) is the inclusion \(BX \hookrightarrow BX_Q\). Let \(\pi _3^Q(BX) \) denote the image \(\text{ Im}((i_X)_* )\).
In conclusion, we then define
Definition 2.3
Let \(X\) be a finite quandle. We define the group \({ \pi ^Q_3(BX) }\) by the image of the induced map \( \pi _3(BX) \rightarrow \pi _3(BX_Q)\) by the inclusion \(BX \hookrightarrow BX_Q\). We furthermore define a quandle homotopy invariant of a linked surface \(L\) by the following expression:
Here \(D\) is a broken diagram of \(L\), and \(\text{ Col}_X(D)\) denotes the set of \(X\)colorings of \(D\).
We later study the container \(\pi _3^Q(BX )\) concretely in Sect. 3.1.
2.3 Reconstrucion of generalized quandle cocycle invariants
We now reformulate the (generalized) quandle cocycle invariants in [3, 4, 6] from our quandle homotopy invariant. We first remark that, if \(BX^Y \) is pathconnected, the inclusion \(BX^Y \hookrightarrow BX^Y_Q \) induces an isomorphism \( \pi _1(BX^Y )\) \( \cong \pi _1(BX^Y_Q )\) since \( X^Y_D\) given in (1) has no 1cell by definition. Given an action of \( \pi _1 (BX_Q )={\text{ As}}(X)\) on an abelian group \(A\), we set a 3cocycle \(\psi \in H^3( BX_Q ;A)\) with local coefficients. The homology \(H_3(BX_Q;A)\) coincides with the quandle homology \(H^Q_3(X;A)\) introduced in [3, §2 and §7] (see also Sect. 4.1). Let \( \mathfrak H : \pi _3(BX_Q) \rightarrow H_3( BX_Q ;A) \) be the Hurewicz homomorphism with local coefficients. Then the quandle cocycle invariant of \(L\) is defined by
To summarize, this equality implies that the quandle homotopy invariant is universal among the quandle cocycle invariants.
We give some remarks on the formula (2). It is not difficult to see that the formula (2) coincides with the combinatorial definition of the (generalized) quandle cocycle invariants in [3, §7] by the definition of the Hurewicz homomorphism and the construction of the map \(\xi _{D,C}\). Therefore the equality (2) means that by knowing a concrete presentation of \(\psi \) we can calculate some parts of the quandle homotopy invariant. However, since there are many choices of actions \( \pi _1 (BX) \curvearrowright A\), it is a problem to determine those of of local systems for which the associated quandle cocycle invariants pick out the quandle homotopy invariant. Section 3.1 gives an answer with respect to some Alexander quandles.
Finally, we discuss a local system. Regarding \(X\) itself as an \(X\)set, the free \(A\)module \(A\langle X \rangle \) generated by \(x \in X\) is a \(\pi _1(BX)\)module. We then consider a 4cocycle \( \psi \in H^4( BX_Q ;A) \) to be a cocycle of \( H^3( BX_Q ;A\langle X \rangle ) \) (see Remark 4.1 for detail); The quandle cocycle invariant of \(\psi \) coincides with the shadow cocycle invariant described in [6, §5].
2.4 Properties of quandle homotopy invariants
We state some properties of quandle homotopy invariants of linked surfaces, similar to those of classical links in [23, §5]. For this, we review connected components of a quandle \(X\). By definition of quandles, we note that \( (\bullet *y ): \ X \rightarrow X\) is bijective for any \(y \in X\). Let Inn\((X)\) denote the subgroup of \(\mathfrak S _{X}\) generated by all the right actions \((\bullet *y)\), and is called the inner automorphism group of \(X\). The connected components of a quandle \(X\) are defined by the orbits of the action of \(\text{ Inn}(X)\) on \(X\). For example, let \(T_{\ell }\) denote the trivial quandle of order \(\ell \) given by the operation \(x*y=x\) for \(x,y \in T_{\ell }\); Each point in \(T_{\ell }\) is its own orbit. Furthermore, a quandle \(X\) is said to be \(connected\), if the right action of \(\text{ Inn}(X)\) on \(X\) is transitive. For example, it is known [17, Proposition 1] that an Alexander quandle \(X\) is connected if and only if \((1T)\) is invertible in \(X\).
We give a slight reduction of quandle homotopy invariants:
Proposition 2.4
(cf. [23, Lemma 5.5]) Let \(X\) be a finite connected quandle, \(x\) an element of \(X\) and \(D\) a link diagram of a linked surface \(L\). We fix a sheet of \(D\), and denote by \( \text{ Col}_X^x(D)\) the subset of \( \text{ Col}_X(D) \) such that the sheet is colored by \(x \in X\). Then,
Proof
For any \(y \in X\), We see that the bijection \( (\bullet *y ): \ X \rightarrow X\) induces a bijection \(\Upsilon _y: \text{ Col}_X^x(D) \cong \text{ Col}_X^{x*y}(D)\) satisfying \(\Xi _X(D; C) =\Xi _X(D; \Upsilon _y(C)) \in \pi _3^Q(BX)\) (see the proof of [14, Proposition 5.2]). Therefore, since \(X\) is connected, for any \(z \in X\), we have
which immediately results the required equality (3). \(\square \)
Furthermore, we can show the formulas for the connected sum and the mirror image of the quandle homotopy invariant. We give the formulas without proofs since the proofs are similar to the discussions in [23, §5] on the quandle homotopy invariant of classical links.
Proposition 2.5
(cf. [23, Proposition 5.1]) Let \(X\) be a connected quandle of finite order. Then, for knotted surfaces \(K_1\) and \(K_2\),
where \(K_1 \# K_2\) denotes the connected sum of \(K_1\) and \(K_2\).
Proposition 2.6
(cf. [23, Proposition 5.7]) Let \(L\) be a linked surface. Let \(L^*\) denote the mirror image of \(L\) with opposite orientation. For any finite quandle \(X\), \(\Xi _X ( L^* ) = \iota \big ( \Xi _X(L) \big )\), where \(\iota \) is the map of \(\mathbb Z [\pi _3^Q(BX)]\) induced by \(\iota (x) = x^{1}\) for any \(x \in \pi _3^Q(BX)\).
The similar formulas to Propositions 2.4, 2.5 hold for the quandle cocycle invariants via the equality (2).
3 Results about \({ \pi ^Q_3(BX) }\) and \(\pi _2(BX _Q)\)
In Sect. 2.2, we defined an invariant valued in \(\mathbb Z [ { \pi ^Q_3(BX) }]\). We will state our results on the free and torsion parts of the group \({ \pi ^Q_3(BX) }\) in Sect. 3.1. We also compute \(\pi _2(BX_Q)\) in Sect. 3.2. Here recall from Definition 2.1 that \(\pi _2(BX_Q)\) denotes the second homotopy group of the quandle space. Meanwhile the container \({ \pi ^Q_3(BX) }\) is the image of the map \(\pi _3(BX) \rightarrow \pi _3(BX_Q)\) induced by the inclusion \( BX \hookrightarrow BX_Q\) (Definition 2.3).
3.1 Results about \(\pi ^Q_3(B X)\)
To begin with, we determine the free subgroup of \({ \pi ^Q_3(BX) }\) as follows:
Theorem 3.1
Let \(X \) be a finite quandle with \(\ell \)connected components (see Sect. 2.4 for the definition). Then \({ \pi ^Q_3(BX) }\) is finitely generated. Furthermore, the rational homotopy groups are determined by the following equalities:
In particular, if \(X\) is connected, then \({ \pi ^Q_3(BX) }\) is a finite abelian group.
The proof will appear in Sect. 4.2. Furthermore we later discuss a topological meaning of the quandle homotopy invariant after tensoring with \(\mathbb Q \) valued in \( { \pi ^Q_3(BX) }\otimes \mathbb Q \cong \mathbb Q ^{\frac{\ell (\ell 1)(\ell 2)}{3}} \) (Remark 4.2).
Furthermore, we give a corollary:
Corollary 3.2
Let \(X \) be a finite connected quandle. Then, for any 3cocycle \( \phi \in H_Q^3(X;\mathbb Z )\) with local coefficients, the quandle cocycle invariant \(\Phi _{\phi }(L)\) is trivial. Namely, \(\Phi _{\phi }(L) \in \mathbb Z [0_\mathbb{Z }]\).
Proof
Notice \( { \pi ^Q_3(BX) }\otimes \mathbb Q \cong 0\) by Theorem 3.1. Since \(\Phi _{\phi }(L)\) is derived from the ring \(\mathbb Z [ { \pi ^Q_3(BX) }\otimes \mathbb Q ] \) by (2), the value of \(\Phi _{\phi }(L)\) is trivial. \(\square \)
Remark 3.3
In [3, Tables 3,4 and 5], for a connected quandle of order \(3\), a nontrivial quandle cocycle invariant \(\Phi _{\kappa }(L)\) valued in \(\mathbb Z [\mathbb Z ^3]\) was proposed. These values are, however, incorrect, e.g., compare Propositions 2.4 and 2.6 with the tables.
Our next step is to study the torsion subgroup of \({ \pi ^Q_3(BX) }\). However, in general, it is difficult to compute explicitly homotopy groups of spaces. In this paper, we then confine ourselves to \({ \pi ^Q_3(BX) }\) of regular Alexander quandles \(X\).
First, we give an estimate of \(\pi _3(BX)\) by homologies of the rack space \(BX\) in homological contexts. The homology of \(BX\) is usually called rack homology of \(X\) (see Sect. 4.1 for details).
Proposition 3.4
Let \(X\) be a regular Alexander quandle of odd order. Let \(H_j^R(X)\) denote the integral homology \( H_j (BX;\mathbb Z ) \). Let \(Y_2 \) be a product of EilenbergMacLane spaces \( K( \pi _2(BX),2) \times K( H_2^R(X),1)\). Then there exists an exact sequence
Here \( H_3^\mathrm{gr} ( H_2^R(X);\mathbb Z ) \) is the third group homology of the abelian group \(H_2^R(X)\).
Proposition 3.4 will be proven by a routine calculation of Postnikov tower in Sect. 5. We see later that \( \pi _2(BX)\) is determined by \( H_2^R(X)\) and \( H_3^R(X)\) [Theorem 3.9 and (5)]; in conclusion, \(\pi _3(BX)\) and its quotient \(\pi ^Q_3(BX)\) are estimated from upper bounds using the rack homologies \( H_j^R (X)\) with \( j \le 4\), although the exact sequence is not useful to compute \(\pi _3(BX)\) and \(\pi ^Q_3(BX)\) exactly.
However, with an additional assumption, we determine \(\pi ^Q_3(BX)\) of regular Alexander quandles \(X\):
Theorem 3.5
Let \(X\) be a regular Alexander quandle of odd order. Let \(H_n^Q(X;\mathbb Z )\) be the quandle homology with trivial coefficients (see the definition in Sect. 4.1). Assume that the second homology \(H_2^Q(X;\mathbb Z )\) vanishes. Then \(\pi _3(BX) \cong H_4^Q(X;\mathbb Z ) \oplus \mathbb Z /2\mathbb Z \) and \({ \pi ^Q_3(BX) }\cong H^Q_4(X;\mathbb Z ) \).
Remark 3.6
There are many Alexander quandles satisfying the assumption. For example, we later show (Lemma A.6) that, if \(X\) is of the form \(X=\mathbb F _q [T]/(T \omega )\) and \(\mathbb F _q\) is an extension of odd degree, then \(H^Q_2(X;\mathbb Z ) \cong 0\).
We defer the proof until Sect. 4.2. As a corollary, we now determine \(\pi ^Q_3(B X)\) for all Alexander quandles \(X\) of prime order:
Corollary 3.7
For an odd prime \(p\), we let \(X\) be the Alexander quandle of the form \(\mathbb Z [T]/(p, \ T\omega )\). If \({\omega }\ne 1\), then \( \pi ^Q_3(BX) \cong 0 \). If \({\omega }= 1\), then \( \pi ^Q_3(B X) \cong \mathbb Z _p \).
Proof
Mochizuki showed \(H^Q_2(X;\mathbb Z ) \cong 0\) [19, Corollary 2.2]. It was shown [24, Corollary 2.3] that if \({\omega }\ne 1\), then \( H_4^Q(X;\mathbb Z ) \cong 0\), and that if \({\omega }= 1\), then \( H^Q_4(X;\mathbb Z ) \cong \mathbb Z _p\). \(\square \)
Furthermore, we now consider the dihedral quandle, i.e., the case \({\omega }=1\). The third cohomology \(H^3_Q(X;\mathbb F _p) \cong \mathbb F _p\) is shown [19, 20], and the generator \(\theta _p \in H_Q^3(X;\mathbb F _p)\) is called Mochizuki 3cocycle. Any quandle cocycle invariant using the dihedral quandle is summarized to assess the quandle cocycle invariant of the Mochizuki 3cocycle as follows.
Corollary 3.8
Let \(X =\mathbb Z _p[T]/(T+1)\) be the dihedral quandle of order \(p\). The group \(\pi ^Q_3(BX) \cong \mathbb Z _p\) is generated by \(\Xi _X(K;C)\), where \(C\) is an \(X\)coloring of the 2twist spun \((2,p)\)torus knot \(K\). Furthermore, any quandle cocycle invariant is equal to a scalar multiple of the quandle cocycle invariant \(\Phi _{\theta _p} (L) \in \mathbb Z [\mathbb F _p]\) using the Mochizuki 3cocycle \(\theta _p \in H^3_Q(X;\mathbb F _p)\).
Proof
It is known [1, Theorem 6.3] that the quandle cocycle invariant \(\Phi _{\theta _p} (K)\) of \(K\) is nontrivial. Therefore \(\pi _3^Q(BX) \cong \mathbb Z _p\) is generated by \(\Xi _X(K;C)\) for some \(X\)coloring \(C\), and the map \( \langle \theta _p , \mathfrak H ( \bullet )\rangle : \pi _3^Q(BX) \rightarrow \mathbb F _p\) is an isomorphism. Hence, for any cocycle \(\psi \in H^3_Q (X ;A)\), the quandle cocycle invariant is derived from \(\Phi _{\theta _p} (L) \) via the inverse map \( \langle \theta _p , \mathfrak H ( \bullet ) \rangle ^{1} \) by the formula (2).\(\square \)
3.2 Computation of the second homotopy groups of quandle spaces \(\pi _2(BX_Q)\)
Changing the subject, we discuss the quandle homotopy invariant of 1dimensional links considered in [23]. This invariant is valued in the group ring \(\mathbb Z [\pi _2(BX_Q)]\) and is universal among the generalized cocycle invariants in [3, §6], similar to the equality (2) (see [23, §2] for details). For a finite connected quandle \(X\), it is shown [23, Theorem 3.6 and Proposition 3.12] that \(\pi _2(BX_Q)\) is finite and \(\pi _2(BX) = \pi _2(BX_Q) \oplus \mathbb Z \); The author further computed \(\pi _2(BX_Q) \) for connected quandles of order \(\le 6\) [23, §5].
In this paper, we explicitly compute \(\pi _2(BX_Q)\) of regular Alexander quandles \(X\) of odd order in the following theorem, which we will prove in Sect. 5:
Theorem 3.9
Let \(X \) be a regular Alexander quandle of finite order.

(i)
If \(H_2^Q(X;\mathbb Z )\) vanishes, then \(\pi _2(BX_Q) \) is isomorphic to \( H_3^Q(X;\mathbb Z )\).

(ii)
If \(X\) is odd, the following exact sequence splits:
$$\begin{aligned} 0 \longrightarrow \pi _2(BX_Q) \longrightarrow H_3^Q(X;\mathbb Z ) \longrightarrow \Lambda ^2 \bigl ( H_2^Q(X;\mathbb Z ) \bigr ) \longrightarrow 0. \end{aligned}$$(4)
Hence we give a stronger estimate of the torsion part of \(\pi _2(BX_Q)\) than [23, Theorem 3.6].
Corollary 3.10
Let \(X \) be a regular Alexander quandle of odd order. Any element of \(\pi _2(BX_Q) \) is annihilated by \(X\).
Proof
It is known [24, Corollary 6.2] that \(H_3^Q(X;\mathbb Z )\) is annihilated by \(X\). \(\square \)
We next give two applications. First, we explicitly compute homotopy groups \(\pi _2(BX_Q)\) for some regular Alexander quandles \(X\). If we concretely know \(H_2^Q(X;\mathbb Z ) \) and \(H_3^Q(X;\mathbb Z )\), then Theorem 3.9 enables us to compute \(\pi _2(BX_Q) \). For example, the computations of all regular Alexander quandles \(X\) with \(5 \le X \le 9\) are listed in Table 1 below, where the results of the homologies \(H_2^Q(X), \ H_3^Q(X;\mathbb Z ) \) follow from [17, Table 1]. For more example, in Appendix A we present a computation of \(\pi _2(BX_Q) \otimes \mathbb Z _p \) for all Alexander quandles on \(\mathbb F _q\) with \(p>2\).
In another application, the result of \(\pi _2(BX)\) determines a third quandle homology:
Corollary 3.11
(cf. [25, §3]) For an odd \(m\), let \(X=\mathbb Z [T]/(m,T+1)\) be the dihedral quandle. Then the third quandle homology \(H_3^Q(X;\mathbb Z )\) is \(\mathbb Z _m \).
Proof
\(H_2^Q(X;\mathbb Z ) \cong 0\) is known (see, e.g., [26]). Furthermore, \(\pi _2(BX) \cong \mathbb Z _m \) is shown [15, Corollary 5.9].^{Footnote 3} Hence, by Theorem 3.9 (i), we have \( H_3^Q(X;\mathbb Z ) \cong \mathbb Z _m \).\(\square \)
Remark 3.12
Mochizuki [21] determined the dimension of \(H^Q_3(X;\mathbb Z ) \otimes \mathbb Z _p\) for any prime \(p\). Our result determines the torsion part of \(H^Q_3(X;\mathbb Z )\).
4 Proof of Theorem 3.1
Our purpose is to prove Theorem 3.1 in Sect. 4.2 about the rational homotopy groups \(\pi _*^Q(BX) \otimes \mathbb Q \). A computation of \(\pi _3(BX)\) will involve a preliminary analysis of the homology \(H_i(BX^G;\mathbb Z )\). For this, in Sect. 4.1, we review the rack homology and some topological monoids.
4.1 Reviews of rack homology, quandle homology and topological monoid
We first review the rack complexes introduced by [13] (see also [10]) and the quandle homologies defined in [3]. For a quandle \(X\), we denote by \(C_n^R(X)\) the free \(\mathbb Z [{\text{ As}}(X)]\)module generated by \(n\)elements of \(X\). Namely, \(C_n^R(X)= \mathbb Z [{\text{ As}}(X)] \langle X^{n} \rangle \). Define a boundary homomorphism \(\partial _n : C_n^R(X) \rightarrow C_{n1}^R(X)\), for \(n\ge 2 \), by
and \(\partial _1(x_1)\) to be \(x_11 \in \mathbb Z [{\text{ As}}(X)]\). Note that the composite \(\partial _{n1} \circ \partial _n \) is zero. Given a left \(\mathbb Z [{\text{ As}}(X)]\)module \(M\), a complex \(C_n^R(X;M)= M \otimes _\mathbb{Z [{\text{ As}}(X)]} C_n^R(X)\) with \( \partial _n\) is called the rack complex of \(X\) with coefficients \(M\). Next, let \(C^D_n (X;M)\) be a submodule of \(C^R_n (X;M)\) generated by \(n\)tuples \((x_1, \dots ,x_n)\) with \(x_i = x_{i+1}\) for some \( i \in \{1, \dots , n1\}\) if \(n \ge 2\); otherwise, let \(C_1^D (X;M)=0\). Since \( \partial _n (C^D_n (X;M) ) \subset C^D_{n1} (X;M)\), we denote the homology by \(H_n^D(X;\mathbb Z ) \). Furthermore, a complex \(\bigl ( C^Q_* (X;M), \partial _* \bigr ) \) is defined by the quotient \(C^R_n (X;M) /C^D_n (X;M)\). The homology \(H^Q_n (X;M) \) is called a \(quandle \ homology\) of \(X\) with coefficient \(M\).
We compare these complexes with the rack spaces. For an \(X\)set \(Y\), regarding the free module \(M= \mathbb Z \langle Y \rangle \) as a \(\mathbb Z [{\text{ As}}(X)]\)module, the complexes \((C_*^R(X;M),\partial _* )\) and \((C_*^Q(X;M),\partial _* )\) are chain isomorphic to the cellular complexes of \(BX^Y\) and of \(BX^Y_Q\), respectively. As the simplest case, if \(Y\) is a single point, then \((C_*^R(X;\mathbb Z ),\partial _*)\) and \((C_*^Q(X;\mathbb Z ),\partial _*)\) coincide with the rack complex and the quandle complex of \(X\) described in [4], respectively.
Remark 4.1
In the special case \(Y=X\), we can identify \(C_{n+1}^R(X; \mathbb Z ) \) with \(C_n^R(X; \mathbb Z \langle X \rangle )\) from the definitions. Moreover, the identification is a chain map, leading \( H_{n+1}^R(X; \mathbb Z ) \cong H_n^R(X; \mathbb Z \langle X \rangle ) \cong H_n(BX^X;\mathbb Z )\) [see [14, Theorem 5.12] for details].
We next review basic properties of the complexes. Let \(X\) be a finite quandle with \(\ell \)connected components and \(M=\mathbb Z \). According to [17, Theorem 2.2], we have
Furthermore, it is known [5, Lemma 3.2] that
In addition, the following long exact sequence splits (see [17, Theorem 2.1]):
In particular, we have \(H^R_n (X;\mathbb Z ) \cong H_n^Q (X;\mathbb Z ) \oplus H_n^D (X;\mathbb Z ).\)
Given a connected quandle \(X\) and an \(X\)set \(Y\), we observe the rack space \(BX^Y\) as a covering as follows. Note that the collapsing map \(Y \rightarrow \{ \text{ pt}.\}\) induces a continuous map \(BX^Y \rightarrow BX\). It is known (see [13, Theorem 3.7]) that this is a covering; hence, so is the induced map \(BX^Y_Q \rightarrow BX_Q. \) As a special case, if \(Y=G\) is a quotient group of \(\text{ As}(X)\) (hence \(BX^G\) is pathconnected), then the two coverings \(BX^G \rightarrow BX\) and \(BX^G_Q \rightarrow BX_Q\) are principal \(G\)bundles over \(BX\) and \(BX_Q\), respectively (see [8, Proposition 2.11]). Recalling \(\pi _1(BX) \cong \text{ As}(X)\) from Sect. 2.1, the group \(\pi _1(BX^G ) \) is exactly the kernel of \(p_G: \text{ As}(X) \rightarrow G \)
The action of \(\pi _1(BX^G)\) on the higher homotopy groups \(\pi _*(BX^G)\) is known to be trivial (see [14, Proposition 5.2] and [8, Proposition 2.16]). Furthermore, the action of \(\pi _1(B X)\) on the higher homology group \(H_*(BX^G)\) is also trivial (see [10, Lemma 3.1] or [8, Remark 7]); hence, the action on \(H_*(BX^G_Q)\) is also trivial, since \(\pi _1(BX)=\pi _1(BX_Q)\) and \(H_*(BX^G_Q)\) is a quotient of \(H_*(BX^G) \) by (7).
Finally, we discuss topological monoids on some rack spaces introduced by Clauwens [8]. Let \(G\) be either \(\text{ As}(X) \) or \(\text{ Inn}(X) \), and let \(G\) act on \(X\) canonically. Then, he introduced an operation given by
where \(n,m \in \mathbb Z _{> 0}\); this further gives rise to a topological monoid structure on \( BX^G\) (see [8, §2.5]). In particular, \(\pi _1(BX^G ) \) is an abelian group. Since \(BX^G\) is a socalled nilpotent space, we often deal with the localization of \(BX^G\) at a prime \(p\).
4.2 Proof of Theorem 3.1
Proof
Consider \(G = \text{ Inn}(X)\), which is a finite group. Since the rack space \(BX^G \) is a topological monoid and is a pathconnected CWcomplex of finite type, \(BX^G\) is homotopic to a (based) loop space of some simply connected CWcomplex \(W\) of finite type, that is, \(BX^G \simeq \Omega W \) as an \(H\)space (see [22, Theorem 1.5 and §2] for details). In particular, it is without saying that \(\pi _*(BX^G) \) is finitely generated; hence, so is the quotient \(\pi ^Q_3(BX) \).
Let us focus on rational homologies of \(BX^G\) and \(BX^G_Q\). Recall that the projections \(p^G_Q: BX^G_Q \rightarrow BX_Q \) and \(p_G: BX^G \rightarrow BX\) are coverings of degree \(G\), and that the actions of \( \pi _1(BX)\) on \(H_*(BX^G_Q)\) and on \(H_*(BX^G) \) are trivial. It then follows from the transfer maps that \(p^G_Q\) and \(p_G \) induce two isomorphisms:
One discusses \(\pi _*(BX^G) \otimes \mathbb Q \). Since \(BX^G \simeq \Omega W\) mentioned above, we recall the known following formula (see [12, §33(c)]):
where we put \( r_{i}= \text{ dim} (\pi _i(BX^G) \otimes \mathbb Q ) \). By (6) and (8), we then easily have \( r_2 =(\ell ^2+\ell )/2\) and \( \ r_3= (\ell ^3\ell )/3.\) Since \( \pi _2(BX ) \cong \pi _2(BX_Q ) \oplus \mathbb Z ^\ell \) is known (see [23, Proposition 3.12]), we conclude \(\text{ dim} \bigl ( \pi _2(BX_Q) \otimes \mathbb Q \bigr ) = (\ell ^2\ell ) /2\).
We next calculate \( \pi _3^Q(BX) \otimes \mathbb Q \). For this, we equip \(H^* (BX^G ;\mathbb Q )\) with a Hopf algebra arising from the monoid structure, and denote by \(P^* (BX^G) \) the set of primitive elements of \(H^* (BX^G ;\mathbb Q )\). By the Milnor–Moore theorem (see, e.g., [12, Theorem 21.5]), \(\pi _* (BX^G ) \otimes \mathbb Q \cong P^* (BX^G) \) and the dual Hurewicz map \( (\mathfrak H )^* \otimes \mathbb Q : H^* (BX^G ;\mathbb Q ) \rightarrow \text{ Hom} (\pi _* (BX^G ), \mathbb Q )\) coincides with the projection \( H^* (BX^G ;\mathbb Q ) \rightarrow P^* (BX^G )\).
We now explain the isomorphism (10) below. By the isomorphisms (8) and the splitting in (7), we notice that the induced map \((i_X)_* : H_*(BX^G ;\mathbb Q ) \rightarrow H_*(BX^G_Q ;\mathbb Q ) \) is a split surjection, where \(i_X\) is the inclusion \( BX^G \hookrightarrow BX^G_Q\). Furthermore, we consider the long exact sequences of cohomology and homotopy groups of the pair \( (BX^G_Q, BX^G)\), and have the following commutative diagram:
Here the top and bottom sequences are exact, and the vertical arrows are the Hurewicz homomorphisms. By the Milnor–Moore theorem again, we obtain
We will calculate the right hand side \(P^3 (BX^G ) \cap \text{ Ker} (\delta ^*) \) using the complexes in Sect. 4.1. Inspired by the monoid structure on \(BX^G\), we consider a map \(\mu : ( G \times X^n) \times (G \times X^m ) \rightarrow G \times X^{n+m}\) given by
This provides \(H^*_D(X;\mathbb Q [G])\) and \(H^*_R(X;\mathbb Q [G])\) with Hopf algebra structures.^{Footnote 4} Further, note that the inclusion \(i^G_D: C^D_*(X;\mathbb Q [G]) \rightarrow C^R_*(X;\mathbb Q [G])\) induces a Hopf algebra homomorphism \((i^G_D)^* : H_R^*(X;\mathbb Q [G]) \rightarrow H_D^*(X;\mathbb Q [G]) \). Let us identify the above map \(\delta ^* \) with the induced map \((i_D^G)^* \) by definitions. By (7) we then notice that
In conclusion, the dimension of \(P^3 (BX^G) \cap \text{ Ker} (\delta ^*) \) in (10) is equal to
\(\square \)
Remark 4.2
We roughly explain a topological meaning of the quandle homotopy invariant after tensoring with \(\mathbb Q \) as follows. To illustrate, we put a collapsing map \(X \rightarrow T_{\ell }\) on each connected components, where \(T_{\ell } \) is the trivial quandle of order \(\ell \). We see that this map induces \( { \pi ^Q_3(BX) }\otimes \mathbb Q \cong \pi _3^Q (BT_{\ell }) \otimes \mathbb Q \) by a functoriality parallel to the previous proof; we may assume \(X=T_{\ell }\). Then we can obtain all the 3cocycles of \(H^3_R (T_{\ell };\mathbb Q ) \cong \mathbb Q ^{\ell ^3}\), since the coboundary maps \(\delta _n\) are zero by definition. Since \(\pi _3^Q (BT_{\ell }) \otimes \mathbb Q \) is derived from the primitive elements of \(H_3^R (T_{\ell };\mathbb Q )\) by the Milnor–Moore theorem, we can evaluate elements of \(\pi _3^Q (BT_{\ell }) \otimes \mathbb Q \) by the 3cocycles.
On the other hand, we consider the bordism group \(L^2_{\ell } \) with \(\ell \)connected components (see [7, §1] for the definition). An isomorphism \(L^2_{\ell } \otimes \mathbb Q \cong \mathbb Q ^{\frac{\ell (\ell 1)(\ell 2)}{3}} \) is known; further it is shown [7] that \(L^2_{\ell } \otimes \mathbb Q \) is generated by “Hopf 2links”. Recall the map \(\Xi _{X}(D; \bullet ) : \text{ Col}_X(D) \rightarrow \pi _3(BX_Q)\) with \(X=T_{\ell }\) in Sect. 2.2. By running over all \(T_{\ell }\)colorings of all broken diagrams, the maps give rise to a homomorphism \( L^2_{\ell } \otimes \mathbb Q \rightarrow { \pi ^Q_3(BX) }\otimes \mathbb Q \). Since we easily compute the rational quandle homotopy invariant of the Hopf 2links with \(X=T_{\ell }\) by pairing with the previous \(3\)cocycles, the homomorphism turns to be an isomorphism \(L^2_{\ell } \otimes \mathbb Q \cong { \pi ^Q_3(BX) }\otimes \mathbb Q \).
5 Proofs of Theorems 3.5 and 3.9
Our purpose in this section is to prove Theorem 3.5 in Sect. 5.1 and Theorem 3.9 in Sect. 5.2.
We now outline the proof of Theorem 3.5. To see this, we first aim to study \(\pi _3(BX)\) since \(\pi ^Q_3(BX)\) is a quotient of \(\pi _3(BX)\). Let \(\widetilde{BX}\) be the universal covering of \(BX\). By the monoid structure of \(\widetilde{BX}\) explained in Sect. 4.1, \(\widetilde{BX}\) is a loop space of a 2connected CWcomplex. Thanks to the fact [2] that the second \(k\)invariant of \(\widetilde{BX}\) is annihilated by \(2\), we will show \(\pi _3(BX)=\pi _3(\widetilde{BX}) \cong H_3(\widetilde{BX};\mathbb Z ) \oplus \pi _3( \Omega S^2)\) by a routine argument of the Postnikov tower. In Sect. 5.1, we see \( H_3(\widetilde{BX};\mathbb Z ) \cong H_4^Q(X;\mathbb Z ) \) using techniques of quandle homologies (see (11)). Finally, we show that \(H_4^Q(X;\mathbb Z ) \) does not vanish in \( \pi ^Q_3(BX)\), leading \( \pi ^Q_3(BX) \cong H_4^Q(X;\mathbb Z )\) as stated in Theorem 3.5. Theorem 3.9 is also proven in a similar way.
To carry out the outline, we here prepare two propositions, which are proven in Sect. 5.3.
Proposition 5.1
Let \(X\) be a regular Alexander quandle of finite order. Let \(G=\text{ Inn}(X)\). Then \(H_2(BX^G;\mathbb Z ) \cong H_3^Q(X;\mathbb Z ) \oplus H_2^Q(X;\mathbb Z ) \oplus \mathbb Z .\) Furthermore, if \(H_2^Q(X;\mathbb Z ) \cong 0 \), then

(i)
\( H_3(BX^G;\mathbb Z ) \cong H_4^Q(X;\mathbb Z ) \oplus H_3^Q(X;\mathbb Z ) \oplus \mathbb Z .\)

(ii)
\(H_3(BX^G_Q ;\mathbb Z ) \cong H_4^Q(X;\mathbb Z ) \oplus H_3^Q(X;\mathbb Z ). \)

(iii)
The map \( H_3(BX^G;\mathbb Z ) \rightarrow H_3(BX^G_Q ;\mathbb Z )\) induced by the inclusion \(BX^G\hookrightarrow BX^G_Q\) coincides with the projection in the sense of the above presentations (i) and (ii).
Proposition 5.2
Let \(X\) be a regular Alexander quandle of finite order. Let \({\text{ As}}(X) \rightarrow \text{ Inn}(X)\) be the epimorphism in Sect. 4.1. Then the kernel is isomorphic to \( \pi _1(BX^G) \cong H^R_2(X;\mathbb Z ) \cong \mathbb Z \oplus H_2^Q(X;\mathbb Z )\).
We furthermore require an elementary lemma:
Lemma 5.3
Let \(\mathcal M \) be a topological monoid with the binary operation \(\mu \). If \(\mathcal M \) is a pathconnected CWcomplex and \(\pi _1(\mathcal M ) \cong \mathbb Z \), then \( \mathcal M \) is homotopic to \(S^1 \times \widetilde{\mathcal{M }}\). Here \(\widetilde{\mathcal{M }}\) is the universal covering of \(\mathcal M \).
Proof
Choose a representative \(f:S^1 \rightarrow \mathcal M \) of a generator of \(\pi _1(\mathcal M )\). Let \(g: \widetilde{\mathcal{M }} \rightarrow \mathcal M \) denote the universal covering map. The composite map \( \mu \circ (f \times g) : S^1 \times \widetilde{\mathcal{M }} \rightarrow \mathcal M \) turns out to give a weak homotopy equivalence as desired. \(\square \)
5.1 Proof of Theorem 3.5
Proof
From now on, \(X\) is assumed to be a regular Alexander quandle with \(H_2^Q(X;\mathbb Z ) \cong 0\). By Proposition 5.2, the kernel of the epimorphism \({\text{ As}}(X) \rightarrow \text{ Inn}(X)\) is entirely \(\mathbb Z \). Hence, setting \(G= \text{ Inn}(X)\), we have \(BX^G\simeq S^1 \times \widetilde{BX}\) by Lemma 5.3; thus it follows from Proposition 5.1 and the Kunneth formula that
Let us calculate the localizations of \(\pi _3(\widetilde{BX})\) at every prime \(p\). Since \(\widetilde{BX}\) is also a topological monoid, the \(\widetilde{BX}\) is a loop space. Let \(\widetilde{BX}_i\) denote the \(i\)th stage of Postnikov tower. It immediately follows from [2, Theorem 3.2] that the third \(k\)invariant \(k^4 \in H^4(K(\pi _2(\widetilde{BX} ),2); \pi _3(\widetilde{BX}))\) satisfies \( 2 k^4 =0 \) (see also [30, Proposition 3]). Hence, since the order \(X\) is odd, the localization of \( \widetilde{BX}_3\) at a prime \(p>2\) is reduced to be
Hence, the Hurewicz map \( \mathfrak H _{(p)}\) passes to an isomorphism \( \pi _3(BX)_{(p)} \cong H_3 (\widetilde{BX}; \mathbb Z )_{(p)} \), since \(H_3( K(\pi _2(BX),2);\mathbb Z )\) vanishes (see [18], §\(8^{bis}\)]). As a consequence, combining with (11) immediately gives \( \pi _3(BX)_{(p)}\) \( \cong H_3 (\widetilde{BX}; \mathbb Z )_{(p)} \cong H_4^Q (X; \mathbb Z )_{(p)}\) with \(p>2\).
We consider the last case \(p=2\). It is known [14, Theorem 5.12] that \(BT_1\) is homotopic to \(\Omega S^2\), where \(T_1\) is the trivial quandle of order \(1\). Let \( X \rightarrow T_1\) be the collapsing map. This induces a topological monoid homomorphism \(f: BX^G\rightarrow \Omega S^2\). By Lemma 5.7 below, the torsion subgroup of \(H_*(BX^G;\mathbb Z )\) is annihilated by \(X\); therefore, \((f_{(2)})_* : H_*(BX^G;\mathbb Z )_{(2)} \rightarrow H_*(\Omega S^2;\mathbb Z )_{(2)} \ (\cong \mathbb Z _{(2)}[ \zeta ])\) is isomorphic, where \(\zeta \) is a generator of \( H_1(\Omega S^2;\mathbb Z ) \cong \mathbb Z \). Hence, by the Whitehead theorem, the cellular map \(f\) gives rise to a homotopy equivalence \(f_{(2)} : BX^G_{(2)} \rightarrow \Omega S^2_{(2)}\). In particular, \( \pi _3(BX^G_{(2)}) \cong \pi _3( \Omega S^2 )_{(2)} \cong \pi _4( S^2)_{(2)} \cong \mathbb Z _2. \) Furthermore, by Theorem 3.1 and (6), we note \(\pi _3(BX )_{(0)} \cong H_4^Q(X;\mathbb Z )_{(0)} \cong 0\). In summary, we conclude \(\pi _3(BX ) \cong H_4^Q(X;\mathbb Z ) \oplus \mathbb Z _2 \) as required.
Next, we discuss \(\pi ^Q_3(BX ).\) We now show an isomorphism \(\pi _3(BX^G)_{(p)} \rightarrow \pi _3(BX^G_Q )_{(p)}\) with \(p>2.\) Considering the covering \(g: \widetilde{BX} \rightarrow BX^G\) and the inclusion \(i_X: BX^G \hookrightarrow BX^G_Q\), we have a commutative diagram
For \(p>2\), we remark that the localization of the Hurewicz map \(\widetilde{\mathfrak{H }}_3\) is an isomorphism by (12). By Lemma 5.3, the map \(g_*\) is injective; hence, so is \(\mathfrak H ^R_3\). We note that, by Proposition 5.1, the above map \((i_{X})_*: H_3(BX^G;\mathbb Z ) \rightarrow H_3(BX^G_Q ;\mathbb Z )\) is isomorphic. Therefore, by diagram chasing, the bottom map \((i_{X})_*: \pi _3(BX^G)_{(p)} \rightarrow \pi _3(BX^G_Q )_{(p)}\) is the isomorphism.
To complete the proof, it suffices to show that the direct summand \( \mathbb Z _2 \) of \(\pi _3(BX)\) is sent to the zero via \((i_X)_*: \pi _3(BX ) \rightarrow \pi _3(BX_Q )\). By the above discussion of the direct summand \( \mathbb Z _2 \), we may assume \(X=T_1\). It is known [7, 28] that \(\pi _3(B T_1) \cong \mathbb Z _2 \) is isomorphic to the framed link bordism group \((\cong \mathbb Z _2 )\), and that the generator of the bordism group is represented by an embedding of a pair of unknotted tori (see [28, Example 1.12] for details). Hence, from the definition of \(BX_Q\), for any \(T_1\)coloring \(C\) of the tori, the cellular map \(\xi _{D,C}\) in Sect. 2.2 is bounded by a 3cell of the subspace \(X^D_Y\) in Sect. 2.1. Namely, the homotopy class [\(\xi _{D,C}\)] vanishes in \( \pi _3(BX_Q)\), which completes the proof. \(\square \)
Remark 5.4
In a similar manner, we can calculate the forth homotopy groups \(\pi _4(BX)\) of regular Alexander quandles \(X\) of odd order with \(H_2^Q(X;\mathbb Z )=0\) as follows. In fact, it is shown [2, Theorem 4.6] that the forth \(k\)invariant of \(\widetilde{BX}\) is annihilated by \(16\); hence the forth stage \((\widetilde{BX})_4\) localized at \(p>2\) is presented by
About the case \(p=2\), it follows from the proceeding map \(f_{(2)}\) that \(\pi _4(BX)_{(2)}=\pi _4(\Omega S^2)_{(2)}=\pi _5(S^2)_{(2)}=\mathbb Z _2\). Hence, noting \(H_4((\widetilde{BX})_4;\mathbb Z )\cong H_4(\widetilde{BX};\mathbb Z )\), Lemma 5.3 concludes that the group \( \pi _4(BX)\) can be calculated from \(\pi _2(BX)\), \(\pi _3(BX)\) and \(H_4(BX^G;\mathbb Z )\).
For instance, let us compute \( \pi _4(BX)\) in the dihedral case \(X=\mathbb Z [T]/(p,T+1)\) with \(p>2\). Recall that \(\pi _3(BX)=\mathbb Z _{2p}\) from Corollary 3.7, and that \( \pi _2(BX)=\mathbb Z \oplus \mathbb Z _p\) from Theorem 3.9. In addition, \(H_4(BX^G;\mathbb Z )= \mathbb Z \oplus \mathbb Z _p^3\) is known [8, §1.4], which implies \(H_4(\widetilde{BX};\mathbb Z )= \mathbb Z \oplus \mathbb Z _p^2 \) by Lemma 5.3. Therefore, by (13) we conclude \(\pi _4(BX)=\mathbb Z _2\) (cf. Corollary 3.8).
5.2 Proofs of Theorem 3.9 and Proposition 3.4
We let \(X\) be a regular Alexander quandle without the assumption \(H_2^Q(X;\mathbb Z ) =0\), and \(X\) be odd. We fix a notation \(G=\text{ Inn}(X)\). To prove Theorem 3.9, we use the Postnikov tower of the rack space \(BX\) (see, e.g., [18, Lemma \(8^{bis}\).27] with \(n=2\)), which is an exact sequence
Here \(H_*^\mathrm{gr}(\pi _1(BX^G);\mathbb Z )\) is the group homology of \(\pi _1(BX^G)\).
Proof of Theorem 3.9

(i)
By assumption of \(H_2^Q(X;\mathbb Z ) =0\), we have \(\pi _1(BX^G)\cong \mathbb Z \) by Proposition 5.2. Noting \( H_r^\mathrm{gr}(\mathbb Z ;\mathbb Z ) \cong 0\) for \(r \ge 2\), the Hurewicz map \(\mathfrak H \) in (14) is isomorphic. Recall \(H_2(BX^G;\mathbb Z ) \cong H^Q_3( X;\mathbb Z ) \oplus H^Q_2( X;\mathbb Z ) \oplus \mathbb Z \) by Proposition 5.1. Since \(\pi _2(BX ) \cong \mathbb Z \oplus \pi _2(BX_Q)\), we have \( \pi _2(BX)\cong H^Q_3( X;\mathbb Z )\) as required.

(ii)
To obtain the required sequence (4), we will show that the map \(\mathfrak H \) in (14) is a split injection. Recall that \(BX^G\) is a pathconnected loop space. It immediately follows from [2, Theorem 3.2] that the second \(k\)invariant \(k^3 \in H^3_\mathrm{gr}(\pi _1(BX^G);\pi _2(BX^G))\) satisfies \(2 k^3 =0\). By Proposition 5.2, \(\pi _1(BX^G) \cong H_2^R(X;\mathbb Z )\), which implies that the group cohomology \( H^3_\mathrm{gr}(\pi _1(BX^G);\pi _2(BX^G))\) is annihilated by \(X\). Hence, the second \(k\)invariant is zero. That is, the second stage of the Postnikov tower is homotopic to \(K(\pi _1(BX^G);1 ) \times K(\pi _2(BX^G);2 )\), and the map \(\mathfrak H \) is a split injection (cf. [2, pp 3]).
We now calculate each terms in the sequence (14) above. Using Proposition 5.2, the second group homology in (14) is expressed as
Since \( H_2(BX^G;\mathbb Z ) =\mathbb Z \oplus H_2^Q( X;\mathbb Z ) \oplus H_3^Q( X;\mathbb Z )\) by Proposition 5.1, the sequence (14) is then rewritten in
Since \(\pi _2(B X) \cong \mathbb Z \oplus \pi _2(BX_Q)\) and the restriction of \(\mathfrak H \) to the \(\mathbb Z \)part is known to be isomorphic (see [23, Proposition 3.12]), we immediately obtain the required sequence (4).
\(\square \)
Remark 5.5
As is seen in the proof, the Hurewicz homomorphism \(\mathfrak H \) in the sequence (14) is injective. Hence, via \(\mathfrak H \), any element of \(\pi _2(BX_Q)\) can be evaluated by some cocycles \(\psi \in H^2_Q(X;A) \oplus H_Q^3(X;A) \) with trivial coefficients. In conclusion, there exist \(\psi _1, \dots , \psi _m \in H^2_Q(X;A) \oplus H^3_Q(X;A)\) such that any quandle cocycle invariant constructed from \(X\) is a linear sum of the quandle cocycle invariants associated with \(\psi _1, \dots , \psi _m\).
Furthermore, by a similar discussion, we now show Proposition 3.4 as follows:
Proof of Proposition 3.4
Let \(Y_i\) denote the \(i\)th stage of the Postnikov tower of \(BX^G\). We recall the following exact sequence in [18, Lemma \(8^{bis}\).27].
Let us calculate the each terms in (15). By Lemma 5.9, the third homology \(H_3(BX^G;\mathbb Z ) \) is isomorphic to the rack homology \(H_4^R(X;\mathbb Z )\). Moreover, it follow from the previous proof of Theorem 3.9 that \(Y_2\) is homotopic to \( K(\pi _1(BX^G) ,1)\times K(\pi _2(BX^G) ,2)\). Furthermore, recall the isomorphism \(H_2^R(X;\mathbb Z ) \cong \pi _1 (BX^G)\) from Proposition 5.2. Therefore, we easily obtain the required sequence stated in Proposition 3.4 from the sequence (15) and the Kunneth formula. \(\square \)
5.3 Proofs of Propositions 5.1 and 5.2
In Sects. 5.3 and 5.4, \(X\) is assumed to be a finite connected Alexander quandle. We fix a notation \(G=\text{ Inn}(X)\). To show Propositions 5.1 and 5.2, we first study \(\text{ Inn}(X)\) as follows.
Lemma 5.6
Let \(e \in \mathbb Z _{> 0} \) be the minimal number satisfying \((T^e1)X=0\). Then \(\text{ Inn}(X) \cong \mathbb Z /e\mathbb Z \ltimes X\). Here \( \mathbb Z /e\mathbb Z \) acts on \(X\) by the multiplication by \(T\).
Proof
For \( ({ \varepsilon },x) \in \mathbb Z /e\mathbb Z \ltimes X\), we put an element of \(\text{ Map}(X,X)\) sending \(y \in X \) to \(T^{{ \varepsilon }}y+(1T)x \in X\). This then gives rise to an epimorphism \(\mathbb Z /e\mathbb Z \ltimes X \rightarrow \text{ Inn}(X) \ (\subset \mathfrak S _{X})\). We claim that this is injective. Actually, if \(({ \varepsilon },x) \in \mathbb Z /e\mathbb Z \ltimes X\) satisfies \(y=T^{{ \varepsilon }}y+(1T)x\) for any \(y\in X\), then we easily obtain \(({ \varepsilon },x)=(0,0)\).\(\square \)
As a result, we see that the surjection \( {\text{ As}}(X) \rightarrow \text{ Inn}(X)\) in Sect. 4.1 coincides with a homomorphism \({\text{ As}}(X) \rightarrow \mathbb Z /e\mathbb Z \ltimes X\) sending \(x\) to \( (1,x)\). Recalling the isomorphism \( H_n(BX^G;\mathbb Z )\cong H^{R}_n(X;\mathbb Z [\text{ Inn}(X)])\) mentioned in Sect. 4.1, we also observe another lemma:
Lemma 5.7
Let \(X\) be a finite connected Alexander quandle. Let \(M\) be \(\mathbb Z [\text{ Inn}(X)]\). Then the torsion subgroup of \(H^{R}_*(X;M)=H_*(BX^G;\mathbb Z )\) is annihilated by \(X\).
We defer its proof until Sect. 5.4. We next study a relation between \(H^{Q}_{n}(X;M)\) and \(H_n(BX^G_Q;\mathbb Z )\). To see this, we review a complex \(C^L_n(X)\) introduced in [17, §2]. This \(C^L_n(X)\) is defined to be the subcomplex of \(C^D_n(X)\) generated by \(n\)tuples \((x_1,\dots , x_n) \in X^n\) with \(x_i=x_{i+1}\) for some \(2 \le i < n.\) As is shown [17, Lemma 9], there is an isomorphism of chain complexes:
where the direct summand \(C_*^L(X;\mathbb Z )\) is obtained from the inclusion \( C_*^L(X;\mathbb Z ) \hookrightarrow C_*^D(X;\mathbb Z ) \).
Lemma 5.8
If \(H_2^Q(X;\mathbb Z ) =0\), then \(H_4^{L}(X;\mathbb Z ) \cong \mathbb Z .\)
We later prove this in Sect. 5.4. Meanwhile, we consider the complex \(C_*^R(X;\mathbb Z \langle X \rangle )\) in Remark 4.1. Under the identification \(C_{n}^R(X;\mathbb Z \langle X \rangle ) \cong C_{n+1}^R(X;\mathbb Z )\), as this restriction, we have a chain isomorphism \( C_{n}^D(X;\mathbb Z \langle X \rangle ) \cong C_{n+1}^L(X;\mathbb Z )\). In conclusion, by (7) and (16), we thus have
Lemma 5.9
Let \(X\) be a regular Alexander quandle of finite order. Then \( H_n(BX^G;\mathbb Z ) \cong H_{n+1}^R(X;\mathbb Z )\) for \(n \ge 1\). Furthermore, \(H_n(BX^G_Q;\mathbb Z ) \cong H_{n+1}^Q(X;\mathbb Z ) \oplus H_{n}^Q(X;\mathbb Z )\).
Proof
We first show \( H_n(BX^G;\mathbb Z ) \cong H_{n+1}^R(X;\mathbb Z ) \). Let us regard \(X\) as an \(X\)set (see Sect. 2.1). We consider the two maps \( \text{ Inn}(X)\rightarrow X\) and \( X\rightarrow \{ \text{ pt.}\}\). They then give rise to two coverings \( BX^G\rightarrow BX^X\) and \( BX^X \rightarrow B X\) (cf. [8, §4.1]). Furthermore, note that the covering \( BX^G\rightarrow BX^X\) is of degree \(e\) by Lemma 5.6. Hence the transfer map yields an isomorphism \( H_n(BX^G;\mathbb Z )_{(p)} \cong H_n( BX^X;\mathbb Z )_{(p)} \) where the prime \(p\) divides \(X\) (see [8, Propositions 4.2]). Furthermore, it is evident that \(H_n(BX^G;\mathbb Z )_{(0)} \cong H_n(BX;\mathbb Z )_{(0)} \cong \mathbb Q \) by (6). It is shown [24, Theorem 6.3] that the torsion subgroup of \(H_n( B X;\mathbb Z ) \) is annihilated by \(X\). Combining with Lemma 5.7, we have \( H_n(BX^G;\mathbb Z ) \cong H_n( BX^X;\mathbb Z )\cong H_{n+1}(B X;\mathbb Z ) \cong H_{n+1}^R(X;\mathbb Z ) \) as required.
To prove the latter part, similarly, we can see \( H_*(BX^G_Q;\mathbb Z ) \cong H_*(B X_Q^X;\mathbb Z )\). Therefore, we have \(H_n(BX^G_Q;\mathbb Z ) \cong H_{n+1}^Q(X;\mathbb Z ) \oplus H_{n}^Q(X;\mathbb Z )\) by (17), which completes the proof. \(\square \)
Using the lemmas above, we now prove Propositions 5.1 and 5.2.
Proof of Proposition 5.1
The desired isomorphism \(H_2(BX^G;\mathbb Z ) \cong H_3^Q(X;\mathbb Z ) \oplus H_2^Q(X;\mathbb Z ) \oplus \mathbb Z \) immediately follows from Lemma 5.9 and (7). Similarly, (ii) follows from the lemma.
To prove (i), using (7) and (16), Lemma 5.9 results in
Therefore, the required isomorphism (i) is obtained from Lemma 5.8. Finally, the proof of (iii) readily follows from the sequence (7) and the isomorphism (17).
Proof of Proposition 5.2
Recall that the kernel of the epimorphism \({\text{ As}}(X) \rightarrow \text{ Inn}(X) =G\) is \(\pi _1(BX^G)\) and abelian (see Sect. 4.1). Hence, \(\pi _1(BX^G) \cong H_1(BX^G;\mathbb Z ) \cong H_2^R(X;\mathbb Z )\) by Lemma 5.9.
5.4 Proofs of Lemmas 5.8 and 5.7
Before proving Lemma 5.8, we remark the condition \(H_2^Q(X;\mathbb Z )\cong 0 \). By (5), we have \(H_2^R(X;\mathbb Z )\cong \mathbb Z \). It is known [5, 17] that, for any \(x \in X\), the 2cycle of the form \((x,x) \in C_2^R(X;\mathbb Z )\) is a generator of \(H_2^R(X;\mathbb Z )\cong \mathbb Z \). Namely, any \(2\)cycle of \(C_2^R(X;\mathbb Z )\) is homologous to \(\alpha (x,x)\) for some \(\alpha \in \mathbb Z \).
Proof of Lemma 5.8
Consider a \(4\)cycle \(\sigma \in C_{4}^L(X;\mathbb Z )\), i.e., \(\partial _4( \sigma )=0 \). It is enough to show that the cycle \( \sigma \) is homologous to a sum of \( (y,y,y,y)\)s for some \(y \in X\). Let us expand \(\sigma \) as \( \sum _{i} \alpha _i (a_i,b_i,b_i,c_i) + \sum _j \beta _j (d_j,e_j,f_j,f_j)\) for some \(a_i,b_i,c_i, d_j, e_j, f_j \in X\) and \(\alpha _i , \beta _j \in \mathbb Z \), where \(e_j \ne f_j\).
We now show the equality (19) below. For any \(g_i \in X\), we note that
Putting \(g_i= (b_iTa_i)/(1T)\), we notice \( a_i*g_i=b_i\). Hence, for any \(i\), we may assume \(a_i=b_i\). The condition \(\partial _4 (\sigma ) =0\) is thus formulated by
One deals with the letter term \(\sum _{j} \beta _j (d_j,e_j,f_j,f_j)\). We fix \( \phi \in X\). Therefore \( C_1^R(X;\mathbb Z ) \ni 0=\sum _j \beta _j ( d_j  d_j*e_j)= \partial _2 \bigl (\sum _j \beta _j ( d_j, e_j)\bigr )\), where \(j\) runs satisfying \( f_j = \phi \). Since \(H_2^R(X;\mathbb Z )\cong \mathbb Z \), the sum \(\sum _j \beta _j ( d_j, e_j )\) is homologous to \( \gamma _{\phi }(\phi ,\phi )\) for some \(\gamma _{\phi } \in \mathbb Z \). Notice
that is, \( \partial _5(a_j,b_j, c_j, \phi ,\phi )=\partial _3(a_j,b_j, c_j)\otimes ( \phi ,\phi )\). We therefore conclude that the sum \(\sum _{j} \beta _j (d_j,e_j,f_j,f_j)\) is homologous to \(\sum _{\phi \in X} \gamma _\phi (\phi ,\phi ,\phi ,\phi )\).
On the other hand, let us discuss the former term \(\sum _{i} \alpha _i (a_i,a_i,a_i,c_i)\). By (19), we have \( C_1^R(X;\mathbb Z ) \ni 0=\sum _i \alpha _i \bigl ( a_i  a_i*c_i \bigr )= \partial _2 \bigl (\sum _i \alpha _i ( a_i,c_i) \bigr )\). Since \(H_2^R(X;\mathbb Z )\cong \mathbb Z \), the sum \(\sum _i \alpha _i ( a_i,c_i) \) is homologous to \( \alpha (y,y)\) for some \(\alpha \in \mathbb Z \) and \(y \in X\). By definition, we note
In conclusion, the sum \(\sum _{i} \alpha _i (a_i,a_i,a_i,c_i)\) is homologous to \( \alpha (y,y,y,y)\) as desired. \(\square \)
Finally, we will prove Lemma 5.7 as follows. For this, it is convenient to change another “coordinate system” of the complex \(C_n^R(X;\mathbb Z [\text{ Inn}(X)])\) such as [20, §2.1.3]. We denote elements of \(\mathbb Z /e\mathbb Z \) by \({ \varepsilon }\). We then define \(C_n^{R_U}(X)\) to be the free \(\mathbb Z \)module generated by elements \(({ \varepsilon }, U_0 ;U _1, \dots , U_n \)) of \( \mathbb Z /e\mathbb Z \times X \times X^n\), and the boundary map by
We can see \(\partial _{n1} \circ \partial _n =0\). Furthermore let us consider a bijection given by
The bijection yields a chain isomorphism from \(C^R_n(X;\mathbb Z [\text{ Inn}(X)])\) to \(C^{R_U}_n(X)\), where we use the identification \(\text{ Inn}(X) \cong \mathbb Z /e\mathbb Z \ltimes X\) by Lemma 5.6.
Proof of Lemma 5.7
The proof is analogous to [24, Theorem 6.1]. We set a chain homomorphism \(\mathcal Z : C^{R_U}_n(X) \rightarrow C^{R_U}_n(X )\) defined by \( \mathcal Z ( \epsilon , U_0 ; U_1, \dots , U_n) := X \cdot ( \epsilon ,0;0, \dots ,0 )\). Furthermore, we define two homomorphisms \(D_{n,0}^{j}: C_{n}^{R_U}(X) \rightarrow C_{n+1}^{R_U}(X)\) and \(D_{n,+}^{j}: C_{n}^{R_U}(X) \rightarrow C_{n+1}^{R_U}(X)\) by
In addition, we set \(D_{n,0}^{n+1}=D_{n,+}^{n+1}=0\). Then, by direct calculation, we can verify the equality
Then, we have the induced map \(X\cdot \text{ id}_{H^{R_U}_n(X)}=(\mathcal Z )_*: H^{R_U}_n(X) \rightarrow H^{R_U}_n(X) \). Therefore, for the proof, it suffices to show that any cycle of the form \(\sum _{{ \varepsilon }} a_{{ \varepsilon }}({ \varepsilon },0;0,\dots ,0)\) is contained in the free subgroup of \(C^{R_U}_n(X) \), where \(a_{{ \varepsilon }} \in \mathbb Z \). Indeed, the augmentation map \( C^{R_U}_n(X) \rightarrow \mathbb Z \) is an \(n\)cocycle and sends any \(({ \varepsilon },0;0,\dots ,0)\) to \(1\). \(\square \)
Notes
\(\pi _2(BX)\cong \mathbb Z \oplus \pi _2(BX_Q)\) is known [23], where \(BX_Q\) is the quandle space. In §3 and 4, we mainly deal with \( \pi _2(BX_Q)\).
In [23], the rack (resp. quandle) space was denoted by \(\widehat{BX}\) (resp. \(BX\)).
In [15], we dealt with a certain group \(\Pi _2(D_m )\) instead of \(\pi _2(BX_Q)\). However, \(\pi _2(BX_Q )\cong \Pi _2(D_m)\) is known.
Here the products are defined by the cup products. See [8, §2.8] for the explicit formula of the cup product.
References
Asami, S., Satoh, S.: An infinite family of noninvertible surfaces in 4space. Bull. Lond. Math. Soc. 37, 285–296 (2005)
Arlettaz, D., PointetTischler, N.: Postnikov invariants of Hspaces. Fund. Math. 161(1–2), 17–35 (1999)
Carter, J.S., Elhamdadi, J.S., Graña, M., Saito, M.: Cocycle knot invariants from quandle modules and generalized quandle homology. Osaka J. Math. 42, 499–541 (2005)
Carter, J.S., Jelsovsky, D., Kamada, S., Langford, L., Saito, M.: Quandle cohomology and statesum invariants of knotted curves and surfaces. Trans. Am. Math. Soc. 355, 3947–3989 (2003)
Carter, J.S., Jelsovsky, D., Kamada, S., Saito, M.: Quandle homology groups, their Betti numbers, and virtual knots. J. Pure Appl. Algebra 157, 135–155 (2001)
Carter, J.S., Kamada, S., Saito, M.: Geometric interpretations of quandle homology. J. Knot Theory Ramifications 10, 345–386 (2001)
Carter, J.S., Kamada, S., Saito, M., Satoh, S.: A theorem of Sanderson on link Bordisms in dimension 4. Algebraic Geom. Topol. 1, 299–310 (2001)
Clauwens, F.J.B.J.: The algebra of rack and quandle cohomology. J. Knot Theory Ramifications 11, 1487–1535 (2011)
Carter, J.S., Saito, M.: Canceling branch points on projections of surfaces in 4space. Proc. Am. Math. Soc. 116, 229–237 (1992)
Etingof, P., Graña, M.: On rack cohomology. J. Pure Appl. Algebra 177, 49–59 (2003)
Eisermann, M.: Knot colouring polynomials. Pac. J. Math. 231, 305–336 (2007)
Félix, Y., Halperin, S., Thomas, J.C.: Rational homotopy theory. Graduate Texts in Mathematics, vol. 205. Springer, New York (2001)
Fenn, R., Rourke, C., Sanderson, B.: Trunks and classifying spaces. Appl. Categ. Struct. 3, 321–356 (1995)
Fenn, R., Rourke, C., Sanderson, B.: The rack space. Trans. Am. Math. Soc. 359, 701–740 (2007)
Hatakenaka, E., Nosaka, T.: Some topological aspects of 4fold symmetric quandle invariants of 3manifolds. Int. J. Math. (to appear)
Inoue, A.: Knot quandles and infinite cyclic covering spaces. Kodai. Math. J. 33, 116–122 (2010)
Litherland, R.A., Nelson, S.: The Betti numbers of some finite racks. J. Pure Appl. Algebra 178, 187–202 (2003)
McCleary, J.: A user’s guide to spectral sequences, 2nd edn. Cambridge Studies in Advanced Mathematics, vol. 58. Cambridge University Press, Cambridge (2001)
Mochizuki, T.: Some calculations of cohomology groups of finite Alexander quandles. J. Pure Appl. Algebra 179, 287–330 (2003)
Mochizuki, T.: The 3cocycles of the Alexander quandles \(\mathbb{F}_q [T]/(T \omega )\). Algebraic Geom. Topol. 5, 183–205 (2005)
Mochizuki, T.: The third cohomology groups of dihedral quandles. J. Knot Theory Ramifications 20, 1041–1057 (2010)
Milgram, J.R.: The bar construction and abelian \(H\)spaces. Illinois J. Math. 11, 242–250 (1967)
Nosaka, T.: On homotopy groups of quandle spaces and the quandle homotopy invariant of links. Topol. Appl. 158, 996–1011 (2011)
Nosaka, T.: On quandle homology groups of Alexander quandles of prime order. Trans. Am. Math. Soc. (to appear)
Niebrzydowski, M., Przytycki, J.H.: Homology of dihedral quandles. J. Pure Appl. Algebra 213, 742–755 (2009)
Niebrzydowski, M., Przytycki, J.H.: The second quandle homology of the Takasaki quandle of an odd abelian group is an exterior square of the group. J. Knot Theory Ramifications 20(1), 171–177 (2011)
Ohtsuki, T. (ed.): Problems on invariants of knots and 3manifolds. Geom. Topol. Monogr., vol. 4. Invariants of Knots and 3Manifolds (Kyoto, 2001), pp. 377–572. Geom. Topol. Publ, Coventry (2002)
Sanderson, B.J.: Bordism of links in codimension \(2\). J. Lond. Math. Soc. 35, 367–376 (1987)
Soloviev, A.: Nonunitary settheoretical solutions to the quantum YangBaxter equation. Math. Res. Lett. 7, 577–596 (2000)
Soulé, C.: Opérations en Kthéorie algébrique. Canad. J. Math. 37, 488–550 (1985)
Rourke, C., Sanderson, B.: A new classification of links and some calculation using it. arXiv:math.GT/0006062
Acknowledgments
The author is grateful to Takuro Mochizuki for helpful communications on quandle cocycles and Remark A.2. He expresses his gratitude to Syunji Moriya for valuable conversations on rational homotopy theory. He is grateful to J. Scott Carter, Inasa Nakamura, Masahico Saito and Kokoro Tanaka for useful discussions on Remark 3.3 and the paper [3]. He sincerely thanks the referee for many suggestions which have improved the exposition
Open Access
This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
Author information
Authors and Affiliations
Corresponding author
Appendix A: \( { \pi _2(BX_Q) \otimes \mathbb Z _p }\) of Alexander quandles \(X\) on \(\mathbb F _q\)
Appendix A: \( { \pi _2(BX_Q) \otimes \mathbb Z _p }\) of Alexander quandles \(X\) on \(\mathbb F _q\)
This appendix computes \( { \pi _2(BX_Q) \otimes \mathbb Z _p }\) for Alexander quandles of the forms \(X= \mathbb F _q [T](T  \omega )\) (see Appendix A.2). For this, in Appendix A.1, we review some results in [19, 20] and observe the betti number \(b^Q_i= \text{ dim}_\mathbb{F_p} \bigl ( H_i^Q(X;\mathbb Z ) \otimes \mathbb Z _p \bigr ) \).
1.1 A.1 Review and some remarks on Mochizuki’s cocycles
Mochizuki explicitly determined the second and third quandle cohomology groups [19, 20]. To see this, we first recall from [20, Theorem 2.2] that
where \(q=p^h\). In particular, one notices that \(H^2_Q(X;\mathbb F _q)\) vanishes if and only if \({\omega }^{p^i+1} \ne 1\) for any \(i<h\), that is, the order of \({\omega }\) is not divisible by \(p^i+1\) for any \(i<h\).
Next, we discuss the third quandle cohomology \(H_Q^3(X ;\mathbb F _q)\), which was computed in [20]. However, the statement of the main theorem [20, Theorem 2.11] contained some minor mistakes. Then we will state a corrected one. Recall the following polynomials over \(\mathbb F _q\) in [20, §2.2]:
Here for \((x_1,x_2,x_3) \in X^3\), we put \(U_0=x_1 x_2\), \(U_1 = x_2x_3 \) and \(U_2=x_3\), similar to (20). Then these polynomials are regarded as functions of \(C_{3}^{Q}(X;\mathbb F _q)\). Furthermore, we let \( \mathcal Q (q)\) be the set of quadruples \((q_1,q_2,q_3,q_4)\) satisfying the following conditions:

\(q_2 \le q_3, \ q_1 <q_3, \ q_2 <q_4, \) and \( {\omega }^{q_1 +q_3}= {\omega }^{q_2 +q_4}=1.\) Here if \(p=2\), we omit \(q_2 = q_3\).

One of the following holds:

Case 1 \({\omega }^{q_1+q_2}=1\)

Case 2 \({\omega }^{q_1+q_2}\ne 1\), and \(q_3 >q_4\).

Case 3 \((p\ne 2)\), \({\omega }^{q_1+q_2}\ne 1\), and \(q_3=q_4\).

Case 4 \((p\ne 2)\), \({\omega }^{q_1+q_2}\ne 1\), \(q_2 \le q_1 <q_3 <q_4, {\omega }^{q_1}={\omega }^{q_2}\).

Case 5 \((p=2)\), \({\omega }^{q_1+q_2}\ne 1\), \(q_2 < q_1 <q_3 <q_4 , {\omega }^{q_1}={\omega }^{q_2}\).

For such a quadruple \((q_1,q_2,q_3,q_4) \in \mathcal Q (q)\), Mochizuki introduced a polynomical denoted by \( \Gamma (q_1,q_2,q_3,q_4)\) (see [20, §2.2.2] for the definitions). We state [20, Theorem 2.11] as
Theorem A.1
([20]) The third quandle cohomology \(H_Q^3(X ;\mathbb F _q)\) is spanned by the following set \( I_{q,{\omega }}\) composed of nontrivial 3cocycles. Here \(q_i\) means a power of the prime \(p\) with \(q_i <q\).
Remark A.2
In the original statement, the set \(I_{q,{\omega }}\) contained certain 3cocycles denoted by “\(\Psi (a, q_1)\)”. However, we easily see that these 3cocycles \(\Psi (a, q_1)\) are cohomologous to zero (see [20, §2.2.1]). This minor error results from the mistake “\(B^{2(s)}_{dp^s}(q)^{\prime \prime }\) in the proof of [20, Lemma 3.16] instead of “\(B^{2}_{dp^s}(q)^{\prime \prime }\).
Remark A.3
By the universal coefficient theorem, we have \( I_{q,{\omega }}=b^Q_2 +b^Q_3\).
1.2 A.2 Computations of \({ \pi _2(BX_Q) \otimes \mathbb Z _p }\)
We now compute \({ \pi _2(BX_Q) \otimes \mathbb Z _p }\) in the cases of \({\omega }= 1\), of \(q= p^{2h+1}\), and of \(q= p^2 \). In respect to a regular Alexander quandle \(X\) of odd order, the following formula is useful:
where \(b_n^Q\) is the dimension \(\text{ dim}_{ \mathbb F _p} (H_n^Q(X;\mathbb Z ) \otimes \mathbb Z _p)\) with a prime \(p>2\). This formula is immediately obtained from Theorem 3.9.
1.2.1 A.2.1 The case of \({\omega }=1\)
When \({\omega }=1\) and \(p\) is odd, let us compute \({ \pi _2(BX_Q) \otimes \mathbb Z _p }\).
Corollary A.4
Let \(X\) be the product \(h\)copies of the dihedral quandle \(D_p\). Then
Proof
We can verify that the order of the set \(\mathcal Q (q)\) defined in Appendix A.1 is \( \mathcal Q (q) = h(h1)(h+1)(5h6)/24\). Hence, Theorem A.1 means \(I_{q,w}= h(5h^36h^2+31h 6)/24\). By (21), notice \(b_2^Q=h(h1)/2\). By (23), we thus conclude \(\text{ dim}_\mathbb{F _p} (\pi _2(BX_Q) \otimes \mathbb F _p) = h^2( h^2+11)/12\). \(\square \)
Remark A.5
We notice that the dimension is a quadratic function with respect to \(h\). In particular, the second homotopy groups do not preserve the direct products of quandles.
1.2.2 A.2.2 Field extensions \(\mathbb F _q\) of odd degrees with \({\omega }\ne 1\)
We next calculate \(\text{ dim}(\pi _2(BX) \otimes \mathbb F _p) \), when \(X=\mathbb F _q\) is an extension of odd degree and \({\omega }\ne 1\). To see this, we first show
Lemma A.6
Let \( {\omega }\ne \pm 1 \) and \(q=p^{2h+1}\) (possibly \(p=2\)). Then \(H^Q_2(X;\mathbb Z ) \cong 0\).
Proof
Since \(H_2^Q(X;\mathbb Z )\) is shown to be annihilated by \(q\) (see [24, Corollary 6.2]), we now show \(H^2_Q(X;\mathbb F _q) \cong 0 \) for the proof of \(H^Q_2(X;\mathbb Z ) \cong 0 \). To this end, it suffices to show \({\omega }^{p^i+1} \ne 1\) for any \(i \le 2h\) by (21). A key is that, if \(p>2\), then \((p^{2m}+1)/2\) and \((p^{2n1}+1)/2\) are relatively prime for any \(n,m \in \mathbb Z \); This is easily verified by induction on \(n+m\). We now assume \({\omega }^{p^i+1} =1 \) for some \(i \le 2h\). Then \( {\omega }^{ p^{2hi+ 1}+ 1 } =( {\omega }^{p^i+1} {\omega }^{p^{2h+1} 1})^{p^i }=1 \). This means that \( p^i+1\) and \(p^{2hi+ 1}+ 1 \) have a common divisor except for \(2\), which contradicts the key; Hence \(H^2_Q(X;\mathbb F _q) \cong 0\) in the sequel. A similar discussion holds for the case \(p=2\).
\(\square \)
Therefore, combing Lemma A.6 with Theorem A.1 immediately concludes.
Corollary A.7
If \(\mathbb F _q \) is of odd degree and \({\omega }\ne 1\), then the dimension \(\text{ dim}(\pi _2(BX) \otimes \mathbb F _p)\) is equal to the order \(\{ (q_1,q_2,q_3) \  \ {\omega }^{q_1+q_2+q_3}=1, \ q_1 <q_2 <q_3 <q \ \} \).
Example A.8
Let \(q=p\). If \({\omega }\ne 1\), then the second and third quandle cohomologies vanish; hence \(\pi _2(BX_Q) \cong 0\).
Example A.9
For example, we let \(q=p^3\). One notice that, when \( {\omega }^{1+p+p^2} \ne 1 \), \( H_Q^3(X;\mathbb F _q)\) vanishes; hence, \(\pi _2(BX_Q) \cong 0\). On the other hand, if \( {\omega }^{1+p+p^2} =1 \), then \( I_{q, {\omega }}\) consists of the polynomial \(F(1,p,p^2)\). Hence, \({ \pi _2(BX_Q) \otimes \mathbb Z _p }\cong \mathbb Z _p\)
1.2.3 A.2.3 The case of \(q=p^2\) with \({\omega }\ne 1\)
We here compute \(\pi _2(BX_Q)\) of extension fields \(X\) over \(\mathbb F _p\) of degree \(2\). Without \({\omega }= 1\), the dimensions of \(\pi _2(BX_Q) \otimes \mathbb Z _p \) are determined by the following three cases.
Example A.10
We consider the case of \({\omega }^{1+p} \ne 1\). Then we have \(b^Q_2 =0\) by (21). Furthermore, by Theorem A.1, we obtain \(b^Q_3 =0\). Therefore, \(\pi _2(BX_Q) \cong 0\).
Example A.11
We consider the case where \({\omega }\ne 1\), \({\omega }^{1+p} = 1\) and \(p\ne 2\). Then the equalities (21) mean \(b^Q_2 =1\). Furthermore, by Theorem A.1, the third cohomology \(H^3_Q(X;\mathbb F _q)\) is spanned by
Hence \(b^Q_3=3\). Therefore we have \(\text{ dim}_\mathbb{F _p} \bigl ( \pi _2(BX_Q) \otimes \mathbb Z _p \bigr )=3\) by the formula (23).
More generally, for given a quandle of the form \(X=\mathbb F _q [T]/(T\omega )\) with \(q > p^2\), we can compute \(\text{ dim} ({ \pi _2(BX_Q) \otimes \mathbb Z _p })\) in a similar manner.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Nosaka, T. Quandle homotopy invariants of knotted surfaces. Math. Z. 274, 341–365 (2013). https://doi.org/10.1007/s0020901210731
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s0020901210731