arXiv:1505.05465v2 [math.AT] 6 Oct 2016 SSPsdcoa elwhp o eerhAbroad. Research for Fellowships Postdoctoral JSPS antipode. and gation te nw at about facts known other F htthe that omamdl ai for basis module a form degree hc ae tagae once ofagba hsalgebra This algebra. Hopf connected graded a it makes which opoutgvnby given co-product the hr eregard we where ofagba san As algebra. Hopf eoeteqoin a by map quotient the Denote yHzwne,Mleuo n etnuri 8 ,1,1,12 11, 10, 9, [8, in Reutenauer and th Malvenuto, with Hazewinkel, functions quasi-symmetric by of the is dual graded eeae yteAe relations: Adem the by generated 2 h eodnmdato a atal upre yKAKENHI, by supported partially was author named second The phrases. and words Key 2010 ytkn h rddda of dual graded the taking By Let oeta h nerlcutratof counterpart integral the that Note h o terdalgebra Steenrod 2 mod The ∗ H MOD THE igo o-omttv ymti functions symmetric non-commutative of ring sgvnamdl basis module a given is F ahmtc ujc Classification. Subject Mathematics | algebra sasbHp ler ftemd2da ebi–ofalgebra Leibniz–Hopf dual 2 mod the of algebra sub-Hopf a as iwon n iegnrlstoso oecasclresul classical some of generalisations give and viewpoint A disbemonomials admissible S 2 BSTRACT i | etefe soitv ler over algebra associative free the be { = Sq i F eotndnt h nt1by 1 unit the denote often We . J 2 : 2 = h o terdalgebra Steenrod 2 mod The . S yteAe eain.Dal,temd2da terdalgebr Steenrod dual 2 mod the Dually, relations. Adem the by I ULSENO LER SASBLER FTEMD2 MOD THE OF SUBALGEBRA A AS ALGEBRA STEENROD DUAL Sq = .T 1. F { when 1 j 2 1 ebi–ofagbaadSeno ler n dmrelatio Adem and algebra Steenrod and algebra Leibniz–Hopf -module, S Sq A I A EMOD HE : 2 j = 2 2 . ewl deet hsprl leri ento n iln will and definition algebraic purely this to adhere will We . S ··· π I S NES¸ET DEN n i : ulto dual ULLINZHP ALGEBRA LEIBNIZ-HOPF DUAL 1 Sq π F S = A F eoti h olwn nlso fHp algebras Hopf of inclusion following the obtain we , i S 2 j 2 0. n L 2 2 ··· i 2 S → | sdfie ob h utetHp ler of algebra Hopf quotient the be to defined is a h olwn aoia basis: canonical following the has j J h S rmr 51;Scnay16T05,57T05. Secondary 55S10; Primary S − EIBNIZ S A ( = i I ∆ n F I htis, that , ⌊ ′ 2 k ( | , ∑ ZTRA N HZOKAJI SHIZUO AND TURGAY IZ ˙ i = / S 2 S π I and A 2 j 0 n I 1 ⌋ ∗ scle h ebi–ofagbaadi smrhcto isomorphic is and algebra Leibniz–Hopf the called is ( = 2 i = ) ,  : –H a edfie steqoin ftemd2Leibniz–Hopf 2 mod the of quotient the as defined be can = j 2 A Sq j i S ,..., F 1 − i ( i ∑ 2 P LER N T DUAL ITS AND ALGEBRA OPF 0 = , ∗ − i n 2 1 hsagbai qipdwt co-commutative a with equipped is algebra This . i 0 1 0 [] n the and ([7]) k = 2 → S 2 eeae yteindeterminates the by generated ,..., − i k j π n ⊗ F ( ( 1 ( ) I I  si h literature. the in ts S S 2 ∈ ∗ = 6= i i rn-nAdfrYugSinit B 6003and 26800043 (B) Scientists Young for Grant-in-Aid n S n ) . − N ti elkon(e,freape [18]) example, for (see, well-known is It . ) ue opout hc a enstudied been has which co-product, outer e i I I + i ∈ ′ ′ > n , ) ) j F − 0 . N , ]. F k 2 ∗ 0 ooo ecn algebra Descent Solomon S n estudy We . 2 , k ≤ 0 . sotncle h o Leibniz– 2 mod the called often is ≤ n < n < ∞ a , A A ∞ n ofagbaadconju- and algebra Hopf and n j 2 k 2 ∗ } ∗ − , a etogtof thought be can and 1 ≥ F 2 2 ∗ j F k S rmthis from ∀ 2 1 k , } yteideal the by S 2 tueany use ot [7) Its ([17]). , S 3 ,... (1) (2) of 2 NES¸ET DENIZ˙ TURGAY AND SHIZUO KAJI A ∗ Similarly, we have the dual basis {SqJ | J admissible} for 2 determined by ′ J′ 1 (J = J ) hSq ,SqJi = ′ . (0 (J 6= J ) F ∗ The commutative product among the basis elements in 2 is given by the overlapping shuffle product (see §2) and the co-product is given by n−1 ∆ (Sa1,...,an ) = Sa1,...,an ⊗ 1 + 1 ⊗ Sa1,...,an + ∑ Sa1,...,ai ⊗ Sai+1,...,an . (3) i=1 A ∗ The purpose of this paper is to deduce some of the classical results on 2 and its generalisations F ∗ by considering it as a subalgebra of 2 . We are particularly interested in the following problems. Problem 1.1. (i) Determine the coefficients in π∗ I (SqJ) = ∑CJSI (4) I for all admissible sequences J. This is important since in the dual it is equivalent to computing the coefficients of the Adem relations I I J Sq = ∑ CJSq (5) J:admissible for all sequences I. (ii) Give an expansion of the dual Milnor bases in terms of the dual admissible monomial bases, i.e., L determine the coefficient BJ in ξ L L = ∑ BJ SqJ, J:admissible

ξ ξ L ξ l1 ξ l2 ξ ln where n = Sq2n−1,2n−2···21,20 and = 1 2 ··· n for L =(l1,l2,...,ln). A ∗ F ∗ A ∗ (iii) Generalise Milnor’s conjugation formula ([13]) in 2 to 2 . The formula for 2 is: l(α) χ ξ ξ 2σ(i) ( n) = ∑ ∏ α(i) , α i=1 where α = (α(1)|α(2)|...|α(l(α)) runs through all the compositions of the integer n and σ ∑i−1 α (i) = j=1 ( j). Several different methods are known for resolving (i) and (ii) (see for example, [15, 19]), but our argument (§4) is new in that it is purely combinatorial using the overlapping shuffle product F ∗ on 2 . We implemented our algorithm into a Maple code [16]. In §5 we discuss the conjugation F ∗ (or antipode) in 2 and give an answer to (iii). Finally, we give an explicit duality between the F F ∗ conjugation invariants in 2 and 2 in §6.

2. OVERLAPPING SHUFFLE PRODUCT We recall the definition of the overlapping shuffle product ([2, Section 2],[8]). Let W be the set of finite sequences of natural numbers:

W = {(i1,i2,...,in) | 0 ≤ n < ∞}.

Note that we allow the length 0 sequence. Consider the F2-module F2hW i freely generated by W . For a sequence I =(i1,i2,...,in), denote its tail partial sequence (ik,ik+1,...,in) by Ik. When n < k, we regard Ik as the length 0 sequence. We use the convention

(a1,a2,...,ak,(b1,...,bi)+(c1,...,c j)) :=(a1,a2,...,ak,b1,...,bi)+(a1,a2,...,ak,c1,...,c j).

The overlapping shuffle product on F2hW i is defined as follows: THE MOD 2 DUAL STEENROD ALGEBRA AS A SUBALGEBRA OF THE MOD 2 DUAL LEIBNIZ- 3

Definition 2.1. For A =(a1,a2,...,an) and B =(b1,b2,...,bm), define their product inductively by A (m = 0) A · B := B (n = 0) ∑0≤i≤n(a1,...,ai,b1,Ai+1 · B2) + ∑1≤i≤n(a1,...,ai + b1,Ai+1 · B2)(otherwise). The product on F hW i is defined by the linear extension of the above.  2 1 We say a term in A · B is a-first if there exists k such that ak goes to an entry to the left of bk and ai goes to the same entry as bi (that is, the entry makes ai + bi) for all i < k. For example, (a1 + b1,a2,b2,b3,a3) is a-first while (a1 + b1,b2,a2,a3,b3) is not. Observe that Lemma 2.2. For equal length sequences, we have

(a1,...,an) · (b1,...,bn)=(a1 + b1,...,an + bn) + Z + τ(Z), where Z is a sum of a-first terms and τ flips the occurrence of ai and bi for all i. In particular, the product is commutative. Example 2.3.

(a1,a2) · (b1,b2) = (a1 + b1,a2 + b2)

+ (a1 + b1,a2,b2) + (a1,b1,a2 + b2) + (a1,b1 + a2,b2) + (a1,a2,b1,b2) + (a1,b1,a2,b2) + (a1,b1,b2,a2)

+ (b1 + a1,b2,a2) + (b1,a1,b2 + a2) + (b1,a1 + b2,a2) + (b1,b2,a1,a2) + (b1,a1,b2,a2) + (b1,a1,a2,b2), where the second line consists of a-first terms and the third line is the τ-image of the second line.

Corollary 2.4. For A =(a1,...,an), 2m m m A · A =(2a1,...,2an), A =(2 a1,...,2 an). Proof. In this case, the flip map τ in Lemma 2.2 is the identity.  K ∆ K F ∗ It is easy to see from the duality relation hSISJ,S i = hSI ⊗ SJ, (S )i that the product on 2 dual to (1) is given by SISJ = ∑K∈I·J SK. F ∗ 3. DUAL STEENROD ALGEBRA AS A SUB-HOPF ALGEBRA OF 2 π∗ A ∗ F ∗ To identify the image of the inclusion : 2 → 2 , we prove some lemmas in this section. Let ξ n = Sq2n−1,2n−2,...,20 . Lemma 3.1 (cf. [2, 19]). We have ∗ π (Sq2n) = S2n , π∗ ξ ( n) = S2n−1,2n−2,...,20 . Proof. For the first equation, we have to show that for any non-admissible sequence I, the right-hand side of I I J Sq = ∑ CJSq J:admissible n does not contain Sq2 . If there exists such an I, we can assume it has length two, that is, I =(i, j). (Because the right-hand side is obtained by successively applying the length two relations.) By the Adem relations in Equation (2), we have i + j = 2n and j − 1 2n − 1 − i 1 ≡ ≡ mod 2. i i     However, the binary expressions of 2n − 1 − i and i are complementary and the binary expression of n 2n−1−i 2 −1−i contains at least one digit with 0. Hence, by Lucas’ Theorem, we have i ≡ 0 mod2; we arrive at a contradiction.  1when calculated symbolically 4 NES¸ET DENIZ˙ TURGAY AND SHIZUO KAJI

For the second equation, suppose that there exists an I =(i, j) such that i < 2 j and ⌊i/2⌋ j − k − 1 Sqi, j = ∑ Sqi+ j−kSqk i − 2k k=0   n k n k n k 1 contains Sq2 − or Sq2 − Sq2 − − as a summand. The former case is already ruled out by the first equation. For the latter case to happen, we should have i + j = 2n−k + 2n−k−1,⌊i/2⌋ ≥ 2n−k−1. But this implies j ≤ 2n−k−1 so i ≥ 2 j; we arrive at a contradiction.  ξ¯ π∗ ξ A ∗ F ∗ ξ¯ Put n = ( n) = S2n−1,2n−2,...,20 . Wedenoteby 2 the subalgebra of 2 generated by { n | 0 < n}. ξ¯ l1 ξ¯ l2 ξ¯ ln ξ¯ L For a sequence L =(l1,l2,...,ln) of non-negative integers, we denote 1 2 ··· n by . Then, the ξ¯ L A ∗ A ∗ f π∗ monomials span 2 . Now, we identify 2 with Im( ). Recall the definition of the excess vector of an admissible sequence J =( j1, j2,..., jn): f f γ( j1, j2,..., jn)=( j1 − 2 j2, j2 − 2 j3,..., jn−1 − 2 jn, jn). This gives a bijection between admissible sequences and sequences of non-negative integers. The inverse is given by −1 2 n−1 γ (l1,l2,...,ln)=(l1 + 2l2 + 2 l3 + ··· + 2 ln,...,ln−1 + 2ln,ln). We put the right lexicographic order on W , i.e.,

(a1,a2,...,an) > (b1,b2,...,bm) ⇔ (n > m) or (∃k,ak > bk and ai = bi∀i > k).

This induces an ordering on the basis elements SI which is compatible with the overlapping shuffle ′ ′ ′ product. Observe that the lowest term in the product SI · SI′ for I =(i1,i2,...) and I =(i1,i2,...) is S ′ ′ . (i1+i1,i2+i2,...) Lemma 3.2. For an admissible sequence J,

γ 1 (I = J) hξ¯ (J),SIi = (0 (I < J). ′ n−1 n−2 0 Proof. We proceed by induction on J =( j1,..., jn). Put J =( j1 −2 , j2 −2 ,..., jn −2 ). Then by induction hypothesis, ¯ γ(J′) ξ = SJ′ +(terms higher than SJ′ ). It follows that ¯γ(J) ¯γ(J′) ¯ ξ = ξ · ξn

= (SJ′ +(terms higher than SJ′ )) · S2n−1,2n−2,...,20 = SJ +(terms higher than SJ).  By this upper-triangularity, the monomials ξ¯L are linearly independent and we have Theorem 3.3. π∗ A ∗ F ξ¯ ξ¯ Im( ) = 2 = 2[ 1, 2,...,]. Proof. By Lemma 3.2 in each degree A ∗ has the same dimension as A ∗ (the number of admissible 2 f 2 sequences).  This is nothing but the well-known fact:f Corollary 3.4 ([13]). A ∗ F ξ ξ 2 = 2[ 1, 2,...,], where γ(J) ξ = SqJ + (terms higher than SqJ). THE MOD 2 DUAL STEENROD ALGEBRA AS A SUBALGEBRA OF THE MOD 2 DUAL LEIBNIZ-HOPF ALGEBRA 5

4. COMPUTATION WITH π∗ F ∗ A ∗ π∗ Recall from [19, Section 4] the linear left inverse r : 2 → 2 of :

SqI (I : admissible) r(SI) = (0 (otherwise). For (ii) of Problem 1.1, we can compute l l l ξ (l1,l2,...,ln) π∗ ξ (l1,l2,...,ln) ξ¯ 1 ξ¯ 2 ξ¯ n l1 l2 ln = r ( ) = r( 1 2 ··· n ) = r((S20 ) (S21,20 ) ···(S2n−1,2n−2,...,20 ) ) (6) and it reduces to computing admissible sequences occurring in the overlapping shuffle product. For (i) of Problem 1.1, by Corollary 3.4 we have ∗ γ(J) ∗ π (ξ ) = π (SqJ + (terms higher than SqJ)) and the left-hand side can be computed by the overlapping shuffle product. Thus, we can compute I inductively the coefficients CJ in π∗ I (SqJ) = ∑CJSI. I We implemented the algorithm into a Maple code [16]. Example 4.1. We demonstrate the above algorithm in low degrees. First, compute π∗-image of monomials ξ L: π∗ ξ 2 ( 2 ) = S2,1S2,1 = S4,2 π∗ ξ 3ξ ( 1 2)=(S3 + S1,2 + S2,1)S2,1 = S5,1 + S4,2 + S3,3 + S2,4 + S2,3,1 + S1,4,1 + S3,1,2 + S2,2,2 + S1,2,3 + S2,1,2,1 + S1,2,1,2 π∗ ξ 6 ( 1 ) = S6 + S4,2 + S2,4. Taking r on the both sides of equations, we obtain ξ 2 ξ 3ξ ξ 6 2 = Sq4,2, 1 2 = Sq5,1 + Sq4,2, 1 = Sq6 + Sq4,2. Again taking π∗ on the both sides of the equations, we obtain ∗ π (Sq4,2) = S4,2 ∗ π (Sq5,1 + Sq4,2) = S5,1 + S4,2 + S3,3 + S2,4 + S2,3,1 + S1,4,1 + S3,1,2 + S2,2,2 + S1,2,3 + S2,1,2,1 + S1,2,1,2 ∗ π (Sq6 + Sq4,2) = S6 + S4,2 + S2,4. Finally, by using the upper-triangularity, we obtain ∗ π (Sq4,2) = S4,2 ∗ π (Sq5,1) = S5,1 + S3,3 + S2,4 + S2,3,1 + S1,4,1 + S3,1,2 + S2,2,2 + S1,2,3 + S2,1,2,1 + S1,2,1,2 ∗ π (Sq6) = S6 + S2,4.

5. FORMULAFORTHECONJUGATION Any connected commutative or co-commutative Hopf algebra has a unique conjugation χ satisfying χ(1) = 1, χ(xy) = χ(y)χ(x), χ2(x) = x, ∑x′χ(x′′) = 0, ∆ ∑ ′ ′′ A ∗ where (x) = x ⊗ x and deg(x) > 0 ([14]). The conjugation invariants in 2 is studied in [5] F ∗ because it is relevant to the commutativity of ring spectra [1, Lecture 3]. The same problem in 2 has been also studied in [3, 4]. Here we investigate them through our point of view. ∗ ∗ ∗ Since π is a Hopf algebra homomorphism, we have π ◦ χA ∗ = χF ∗ ◦ π , where χA ∗ and χF ∗ 2 2 2 2 A ∗ F ∗ F ∗ denote the conjugation operations in 2 and 2 respectively. For the module basis SI in 2 , the conjugation χF ∗ is calculated combinatorially. 2 6 NES¸ET DENIZ˙ TURGAY AND SHIZUO KAJI

Definition 5.1. The coarsening set C(I) of a sequence I =(i1,...,il) is defined recursively as ′ ′ ′ ′ C(I) := {(i1,I ),(i1 + i1,I2) | I ∈ C((i2,...,il))} and C((i)) = {(i)}, ′ ′ ′ ′ ′ ′ ′ where I2 is the tail partial sequence (i2,...,il′) of I =(i1,i2,...,il′). Example 5.2. C((a,b,c)) = {(a,b,c),(a + b,c),(a,b + c),(a + b + c)}. A formula for the conjugation operation in the dual Leibniz–Hopf algebra is given by Ehrenborg [6, Proposition 3.4]. We now give a simple proof for its mod 2 reduction. Proposition 5.3. χF ∗ (S ) = ∑ S ′ , 2 I I I′∈C(I−1) −1 where I =(il,...,i1) is the reverse sequence of I =(i1,...,il). Proof. The conjugation is uniquely characterised by ′ ′′ χF ∗ (1) = 1,∑x χF ∗ (x ) = 0, 2 2 ∆ ∑ ′ ′′ χ′ ∑ where (x) = x ⊗ x and deg(x) > 0. We put (SI) = I′∈C(I−1) SI′ and show that it satisfies the above equations. It is obvious that χ′(1) = 1. Since the co-product is given in (3), the second equation reads l χ′ ∑ Si1,...,ik (Sik+1,...,in ) = 0 (∀I =(i1,i2,...,in)). k=0 We regard an element of F2hW i with a finite subset of W in the obvious way. We investigate relation between coarsening and the overlapping shuffle product. Define ′ Ck(I) = ∑ I · (i1,...,ik). ′ −1 I ∈C((Ik+1) ) 2 −1 ′ −1 We observe that C(I ) ⊂ C1(I) and C1(I) := C1(I) \ C(I ) consists of those sequences that i1 ′ ′ ′ appears to the left of i2. In turn, C1(I) ⊂ C2(I) and C2(I) := C2(I) \C1(I) consists of those sequences that i2 appears to the left of i3. Continuing similarly, we obtain l −1 C(I ) = ∑ Ck(I). k=1 It follows that l l ′ ′ ′ χ ′ χ χ (SI) = ∑ ∑ S(i1,...,ik) · SI = ∑ Si1,...,ik (Sik+1,...,in ) − (SI) ′ −1 k=1 I ∈C((Ik+1) ) k=0 ∑l χ′  and k=0 Si1,...,ik (Sik+1,...,in ) = 0.

We give another formula for χF ∗ (S ). 2 I

Definition 5.4. For a sequence a1,a2,...,an, the set of ordered block partitions P(a1,a2,...,an) consists of elements of the form β = ((a1,a2,...,ai1 )|(ai1+1,...,ai2 )|...|(ail−1+1,...,ail )), β β where 1 ≤ i1 < i2 < ··· < il = n. We denote l( ) = l and (k)=(aik−1+1,...,aik ). Or inductively, we can define n P(a1,a2,...,an) = ((a1,...,ak)|β) β ∈ P(ak+1,ak+2,...,an) . (7) k=1   [ 2 Here, we deal with sequences symbolically so that we avoid ca ncellations like (i3 + i2,i1) + (i3 + i1,i2)= 0 when i1 = i2. THE MOD 2 DUAL STEENROD ALGEBRA AS A SUBALGEBRA OF THE MOD 2 DUAL LEIBNIZ-HOPF ALGEBRA 7

Theorem 5.5. l(β) χF ∗ (S ) = ∑ ∏ Sβ . 2 I (k) β∈P(I) k=1

Proof. Let I =(a1,a2,...,an). Put l(β) χ′ (Sa1,a2,...,an ) = ∑ ∏ Sβ(k) β∈P(a1,a2,...,an) k=1 and we check that n χ′ χ′ (1) = 1, ∑ Sa1,...,ak (Sak+1,...,an ) = 0. k=0 ′ Then, by the uniqueness of the conjugation, we have χF ∗ = χ . The first assertion is trivial. For the 2 second, observe that by (7) n l(β) n χ′ χ′ (Sa1,a2,...,an ) = ∑ Sa1,...,ak ∑ ∏ Sβ( j) = ∑ Sa1,...,ak (Sak+1,...,an ). k=1 β∈P(ak+1,ak+2,...,an) j=1 ! k=1 Hence, we have n n χ′ χ′ χ′ ∑ Sa1,...,ak (Sak+1,...,an ) = (Sa1,a2,...,an ) + ∑ Sa1,...,ak (Sak+1,...,an ) k=0 k=1 χ′ = 2 (Sa1,a2,...,an ) = 0.  Example 5.6.

χF ∗ (S ) = S + S + S + S 2 1,2,3 3,2,1 5,1 3,3 6 = S1,2,3 + S1S2,3 + S1,2S3 + S1S2S3. The first line is computed by Proposition 5.3, and the second by Theorem 5.5. A ∗ Theorem 5.5 can be thought of as a generalisation of Milnor’s conjugation formula in 2 . To see this, we first show a small lemma: Lemma 5.7. ξ¯ 2m 2m n =(S2n−1,2n−2,...,20 ) = S2n+m−1,2n+m−2,...,2m . Proof. This is a direct consequence of Corollary 2.4 combined with Lemma 3.1.  Corollary 5.8 ([13, Lemma 10]). l(α) 2σ(k) χA ∗ (ξ ) = ∑ ∏ ξ , (8) 2 n α(k) α k=1 where α =(α(1)|α(2)|...|α(l(α)) runs through all the compositions of the integer n and σ(k) = ∑k−1 α j=1 ( j). Proof. We apply the injection π∗ to the both sides of (8) and showthat they coincide. For the left-hand side, by Lemma 5.7 we have ∗ ∗ π (χA ∗ (ξ )) = χF ∗ (π (ξ )) = χF ∗ (S n−1 n−2 0 ). 2 n 2 n 2 2 ,2 ,...,2 σ π∗ ξ 2 (k) Since ( α(k) ) = S2α(k)+σ(k)−1,...,2σ(k) by Lemma 5.7, we see l(α) σ π∗ ξ 2 (k) ∏ α(k) = S2n−1,...,2n−α(l(α)) · S2n−1−α(l(α)),...,2n−α(l(α))−α(l(α)−1) ···S2α(1)−1,...,20 . k=1 ! 8 NES¸ET DENIZ˙ TURGAY AND SHIZUO KAJI

So when α ranges over all compositions of n, we get all the ordered block partitions of the sequence 2n−1,2n−2,...,20. The assertion follows from Theorem 5.5.  F F ∗ 6. DUALITYBETWEEN 2 AND 2 F ∗ In the previous section we discussed how to compute the conjugation in 2 . Here, we relate the F F ∗ W ′ ′ conjugation in 2 with that in 2 by using a self-duality of . Denote I  I if I ∈ C(I ). We thinkof I ∈ W as a string of 1’s separated by ‘+‘ and commas; (1 + 1 + ···+ 1,1 + 1 + ···+ 1,...,1 + 1 + ···+ 1).

i1 i2 il Definition 6.1. We define the dual I¯ ∈ W of I by switching| +{zand the} | commas.{z } | {z } Example 6.2. For I =(1,3,2)=(1,1 + 1 + 1,1 + 1), its dual is I¯ =(1 + 1,1,1 + 1,1)=(2,1,2,1). ¯ ′ ¯ ¯′ F F ∗ It is easily seen that I = I and I  I ⇔ I  I . Extend the duality to one between 2 and 2 by I −1 I¯ D(S ) = SI¯, D (SI) = S .

Theorem 6.3. We have D ◦ χF = χF ∗ ◦ D. In particular, f ∈ F is a conjugation invariant if and 2 2 2 ¯ F ∗ only if so is f ∈ 2 . Proof. We compute −1 I −1 −1 −1 D ◦ χF ∗ ◦ D(S ) = D χF ∗ (S¯) = D ( ∑ S ′) = D ( ∑ S ′ ) 2 2 I I I I′(I¯)−1 I¯′I−1 ¯′ ′ = ∑ SI = ∑ SI . I¯′I−1 I′I−1 χ′ I ∑ I′ χ′ ∑ ′χ′ ′′ ∆ ∑ ′ ′′ Put (S ) = I′I−1 S . Then, one can check (1) = 1 and x (x ) = 0 for x = x ⊗ x as in χ′ χ  Proposition 5.3. Hence, by the uniqueness of the conjugation, we have = F2 . 1,1,2 2,1,1 1,1,1,1 Example 6.4. f = S + S + S is a χF -invariant, whilst D( f ) = S + S + S is a χF ∗ - 2 3,1 1,3 4 2 invariant. F χ F ∗ Remark 6.5. The sub-module of the conjugation invariants in 2 is ker( F2 − 1) and that in 2 ∗ is ker(χF ∗ − 1). The conjugations in F and F are dual to each other, and hence, the linear map 2 2 2 χF − 1 is transpose to χF ∗ − 1 with the kernel of same dimension ([3]). Theorem 6.3 gives more 2 2 information by specifying an explicit correspondence between their elements.

ACKNOWLEDGEMENTS We would like to thank Stephen Theriault, Martin Crossley, and Carmen Rovi for their comments on the earlier version of this paper.

REFERENCES [1] J.F. Adams, Lectures on generalised . Springer Lecture Notes in Mathematics 99, 1–138 (1969). [2] M.D. Crossley, Some Hopf Algebras of Words. Glasgow Math J. 48, 575–582 (2006). [3] M.D. Crossley and N.D. Turgay, Conjugation Invariants in the Leibniz Hopf Algebra. J Pure Appl Algebra 217, 2247–2254 (2013). [4] M.D. Crossley and N.D. Turgay, Conjugation Invariants in the mod 2 dual Leibniz-Hopf algebra. Commun. Algebra 41, 3261–3266 (2013). [5] M.D. Crossley and S. Whitehouse, On conjugation invariants in the dual Steenrod algebra, Proc. AMS. 128, 2809-2818 (2000). [6] R. Ehrenborg, On posets and Hopf algebras. Adv. Math. 119, 1–25 (1996). [7] I.M. Gelfand, D. Krob, A. Lascoux, B. Leclerc, V.S. Retakh, and J-Y. Thibon, Noncommutative symmetric functions, Adv. Math. 112, 218–348 (1995). [8] M. Hazewinkel, Generalized overlapping shuffle algebras, J. Math. Sci. New York 106, 3168–3186 (2001). [9] M. Hazewinkel, The algebra of quasi-symmetric functions is free over the integers, Adv. Math. 164, 283–300 (2001). THE MOD 2 DUAL STEENROD ALGEBRA AS A SUBALGEBRA OF THE MOD 2 DUAL LEIBNIZ-HOPF ALGEBRA 9

[10] M. Hazewinkel, Symmetric functions, noncommutative symmetric functions, and quasisymmetric functions. Monodromy and differential equations. Acta Appl. Math. 75, 55–83 (2003). [11] M. Hazewinkel, Explicit polynomial generators for the ring of quasisymmetric functions over the integers, Acta Appl. Math 109, 39–44 (2010). [12] C. Malvenuto and C. Reutenauer, Duality between Quasi-Symmetric Functions and the Solomon Descent Alge- bra, J. Algebra. 177, 967–982 (1995). [13] J. Milnor, The Steenrod algebra and its dual, Ann. Math. 67, 150–171 (1958). [14] J. Milnor and J. Moore, On the structure of Hopf algebras, Ann. Math. 81, 211–264 (1965). s [15] K.G. Monks, Change of basis, monomial relations, and the Pt bases for the Steenrod algebra, J. Pure Appl. Algebra 125 , 235–260 (1998). [16] S. Kaji, Maple script for conjugation and product in the (dual) Leibniz-Hopf algebra and Steenrod algebra, available at http://www.skaji.org/code [17] L. Solomon, A Mackey formula in the group ring of a Coxeter group, J. Algebra 41, 255–268 (1976). [18] N.E. Steenrod and D.B.A. Epstein, Cohomology Operations. Princeton: Princeton Univ. Press, (1962). [19] N.D. Turgay, An alternative approach to the Adem relations in the mod 2 Steenrod algebra, Turkish J. Math. 38 (5), 924–934 (2014).

EASTERN MEDITERRANEAN UNIVERSITY, GAZIMAGUSA, TRNC, MERSIN 10, TURKEY E-mail address: Deniz [email protected]

DEPARTMENT OF MATHEMATICAL SCIENCES, FACULTY OF SCIENCE,YAMAGUCHI UNIVERSITY, 1677-1,YOSHIDA, YAMAGUCHI 753-8512, JAPAN TEL.: +81-83-9335652, FAX: +81-83-9335652 E-mail address: [email protected]