arXiv:2104.11409v1 [math.AT] 23 Apr 2021 ain 1, tations -iesoa ersnaingvnb oainb 2 by rotation by given representation 2-dimensional iiig2 dividing ofcet.Tevleof value The coefficients. ulSeno ler optto n[ in computation algebra Steenrod dual odnt the denote to aLn MacLane from paper this off split to idea the including suggestions, Acknowledgment. oepeiey egv nepii ecito fthe of description explicit an give we precisely, More constant where lmns eas opr u ecito oteda descri dual the to [ description of our algebra Steenrod compare also We elements. oooyfie points fixed homotopy h elrpeetto representation real The .Introduction 1. .Cmaio ihGenessdescription Greenlees’s with References Comparison algebra Steenrod dual Borel 5. The 4. Borel notations and 3. Conventions 2. ecfrhalorc/oooywl ein be will co/homology our all Henceforth ewl s h letter the use will We [ to piece companion this In F A G G 2 G euvratBrlda terdagbai characteristi in algebra Steenrod dual Borel -equivariant bstract σ = tnsfrteconstant the for stands n Mce functor -Mackey , − λ C 2 2 s , k oalpwr2cci groups cyclic power-2 all to RO THE n d 1 odd and nti eysotnt,w xadteH-rzcmuaino computation Hu-Kriz the expand we note, short very this In . where ( G Hk ewudlk otakPtrMyfrhsnmru editing numerous his for May Peter thank to like would We C ) Gre88 gae akyfntrof functor Mackey -graded 2 h enn hudawy ecerfo h context. the from clear be always should meaning The . σ n .C 2. ( OE ULSENO ALGEBRA STEENROD DUAL BOREL k ste1dmninlsg ersnainand representation sign 1-dimensional the is H k ⋆ odnt h field the denote to ]. ≤ F k netosadnotations and onventions ( IKGEORGAKOPOULOS NICK 2 X = s ∧ ) .I 1. RO Geo21a F H < nthe on C 2 F 2 ( n h orsodn qiain Eilenberg- equivariant corresponding the and C ntroduction 2 n 2 C n Genfntrascae otefil ftwo of field the to associated functor -Green ontents ) G 2 / ⋆ hC n = m ,w hwta the that show we ], ) HK96 G 2 1 n C oeta 2-locally, that Note . ssandb h reuil represen- irreducible the by spanned is / 2 saHp leri over algebroid Hopf a as n H . eeaie oalgroups all to generalizes ] ri sdntdby denoted is orbit F 2 ihtrivial with k G ofcet.W use We coefficients. euvrathmlg in homology -equivariant π RO s ( m ,fo h group the from 2, c ( /2 C [ 2 Geo21a n n C ) ) G 2 gae igo the of ring -graded euvratBorel -equivariant ere o 1 for degrees to fteBorel the of ption = S k λ ⋆ H C s ]. , m 2 ( n X the f ( ≃ cin the action, ) λ H . G s , F S m k λ = 2 ⋆ sthe is 1, ) m ⋆ ≤ hC C ( X 2 2 as k m n n 1 1 5 4 3 2 ) - . , C2n -equivariant spaces, by the s-power map. Therefore, to compute k⋆(X) for ⋆ ⋆ ∈ RO(C2n ) it suffices to only consider in the span of 1, σ, λk := λ1,2k for 0 ≤ k ≤ n − 2(λn−1 = 2σ and λn = 2).

C2n For V = σ or V = λm, denote by aV ∈ k−V the Euler class induced by the V C2n ֒ 0 inclusion of north and south poles S → S ; also denote by uV ∈ k|V|−V the orientation class generating the Mackey functor k|V|−V = k ([HHR16]).

3. Borel cohomology Let EG be a contractible free G-space and EG˜ be the cofiber of the collapse 0 h map EG+ → S . For a spectrum X we use the notation Xh = EG+ ∧ X, X = t h F(EG+, X) and X = EG˜ ∧ X ; there is a cofiber sequence h t Xh → X → X h t The G-fixed points of Xh, X , X are the nonequivariant spectra of homotopy or- hG tG bits XhG, homotopy fixed points X and Tate fixed points X respectively. |V| V The orientation classes uV : k ∧ S → k ∧ S are nonequivariant equivalences, h t hence induce G-equivalences in Xh, X , X for a k-module X, so they act invertibly h t on Xh⋆, X⋆ and X⋆. This implies that h h t t Xh⋆ ≈ Xh|⋆| , X⋆ = X|⋆| , X⋆ = X|⋆| and the RO(G) graded part is determined by the integer graded part.

Proposition 3.1. For G = C2n and n > 1: hG ± ± ± 2 k = k[aσ, a , u , u ,..., u ]/a ⋆ λ0 σ λ0 λn−2 σ tG ± ± ± ± 2 k = k[aσ, a , u , u ,..., u ]/a ⋆ λ0 σ λ0 λn−2 σ −1 tG hG hG and khG⋆ = Σ k⋆ /k⋆ (forgetting the ring structure). The map khG⋆ → k⋆ is trivial. Proof. The homotopy fixed point spectral sequence becomes: H∗(G; k)[u±, u± ,..., u± ] =⇒ khG σ λ0 λn−2 ⋆ We have H∗(G; k) = k∗BG = k[a]/a2 ⊗ k[b] where |a| = 1 and |b| = 2. The −1 spectral sequence collapses with no extensions and we can identify a = aσuσ a a ∞ λ0 λ0 and b = a u−1. Finally, EG˜ = S λ0 = colim(Sλ0 −→ Sλ0 −→ ··· ) so to get ktG λ0 λ0 ⋆ we are additionally inverting aλ0 . 

For G = C2 we have

hC2 ± k⋆ = k[aσ, uσ ]

tC2 ± ± k⋆ = k[aσ , uσ ]

Σ−1 tC2 hC2 hC2 and khC2⋆ = k⋆ /k⋆ (forgetting the ring structure). The map khC2⋆ → k⋆ is trivial. 2 4. The Borel dual Steenrod algebra The G-Borel dual Steenrod algebra is

hG (k ∧ k)⋆

hG This is a Hopf algebroid over k⋆ . We will implicitly be completing it at the ideal generated by aσ for G = C2, n > and at the ideal generated by aλ0 for G = C2 , n 1 (see [HK96] pg. 373 for more details in the case of G = C2). With this convention, Hu-Kriz computed the C2-Borel dual Steenrod algebra to be

hC2 hC2 (k ∧ k)⋆ = k⋆ [ξi]

i for |ξi| = 2 − 1 (ξ0 = 1). The generators ξi restrict to the Milnor generators in the nonequivariant dual Steenrod algebra and

2k ∆(ξi) = ∑ ξj ⊗ ξk j+k=i

ǫ(ξi) = 0, i ≥ 1

ηR(aσ) = aσ ∞ −1 2i−1 −2i ηR(uσ) = ∑ aσ uσ ξi i=0

Proposition 4.1. For G = C2n , n > 1, hG hG (k ∧ k)⋆ = k⋆ [ξi]

i for |ξi| = 2 − 1 restricting to the C2n−1 generators ξi, with

2k ∆(ξi) = ∑ ξj ⊗ ξk j+k=i

ǫ(ξi) = 0 , i ≥ 1

ηR(aσ) = aσ , ηR(aλ0 ) = aλ0 ηR(uσ) = uσ + aσξ1 > ηR(uλm ) = uλm ,m 0 i i η (u )−1 = a2 −1u−2 ξ2 R λ0 ∑ λ0 λ0 i i . hG ∗ Proof The computation of (k ∧ k)∗ = (k ∧ k) (BG) follows from the compu- hG ∗ 2 tation of k∗ = k (BG) = k[a]/a ⊗ k[b] and the fact that nonequivariantly, k ∧ k is a free k-module. To see that the homotopy fixed point spectral se- quence for k ∧ k converges strongly, let FiBG be the skeletal filtration on the Lens ∞ 1 ∗ i space BG = S /C2n ; we can then compute directly that limi (k ∧ k) (F BG) = 1 2 i limi (k[a]/a ⊗ k[b]/b ) = 0. hG hG Thus we get (k ∧ k)⋆ = k⋆ [ξi] and the diagonal ∆ and augmentation ǫ are the same as in the nonequivariant case. The Euler classes aσ, aλ0 are maps of spheres so they are preserved under ηR. The action of ηR on uσ, uλ0 can be 3 hG computed through the right coaction on k⋆ : The (completed) coaction of the nonequivariant dual Steenrod algebra on k∗(BG) = k[a]/a2 ⊗ k[b] is a 7→ a ⊗ 1 2i 2 b 7→ ∑ b ⊗ ξi i To verify the formula for the coaction on b we need to check that Sq1(b) = 0 (the alternative is Sq1(b) = ab). From the long exact sequence associated to 0 → Z /2 → Z /4 → Z /2 → 0, we can see that the vanishing of the Bockstein 2 Z Z on b follows from H (C2n ; /4) = /4 (n > 1). −1 −1 After identifying a = aσu and b = a u we get the formula for η (u ) σ λ0 λ0 R λ0 and also that ηR(uσ) = uσ + ǫaσξ1 where ǫ is either 0 or 1. This is equivalent to −1 −1 −2 ηR(uσ ) = uσ + ǫaσuσ ξ1

h(C n /C ) and to see that ǫ = 1 we use the map khC2 = k 2 2n−1 → khC2n that sends > aσ, uσ to aσ, uσ respectively. Finally, to compute ηR(uλm ) for m 0 note that

hC hC n /C m hC n k 2n−m = k 2 2 → k 2  sends aλ0 , uλ0 to aλm = 0, uλm respectively.

5. Comparison with Greenlees’s description We now compare our result with the description of the Borel Steenrod algebra given in [Gre88], which is dual to our calculation. In our notation, the G-spectrum b of [Gre88] is b = kh and bV (X) corresponds h |V| h V to (k )G (X); to get (k )G(X) we need to multiply with the invertible element hG ⋆ h ⋆ h uV ∈ k|V|−V. The Borel Steenrod algebra is bG b = (k )G (k ) and the Borel dual G h G h hG Steenrod algebra is b⋆b =(k )⋆(k )=(k ∧ k)⋆ . Greenlees proves that the Borel Steenrod algebra is given by the Massey- Peterson twisted tensor product ([MP65]) of the nonequivariant Steenrod algebra ∗ h ⋆ hG k k and the Borel cohomology of a point (k )G = k−⋆. The twisting has to do h ⋆ with the fact that the action of the Borel Steenrod algebra on x ∈ (k )G (X) is given by: (θ ⊗ a)(x) = θ(ax) ∗ hG ′ ′ where θ ∈ k k and a ∈ k⋆ . The product of elements θ ⊗ a and θ ⊗ a in the Borel Steenrod algebra is not θθ′ ⊗ aa′, since θ does not commute with cup-products, but rather satisfies the Cartan formula: ′ ′′ ′ ′′ θ(ab) = ∑ θi(a)θi (b) , ∆θ = ∑ θi ⊗ θi i i Therefore: ′ ′ ′ ′ ′ ′′ ′ ′ (θ ⊗ a)(θ ⊗ a )(x) = θ(aθ (a x)) = ∑ θi(a)(θi θ )(a x) i 4 so ′ ′ ′ ′′ ′ ′ (θ ⊗ a)(θ ⊗ a ) = ∑ θi(a)(θi θ ⊗ a ) (1) i (we have ignored signs as we are working in characteristic 2). ∗ hG So the Borel Steenrod algebra is k k ⊗ k⋆ with twisted algebra structured defined by (1). ∗ h ⋆ Moreover, Greenlees expresses the action of k k on (k )G (X) in terms of the ∗ action of k k on the orientation classes uV and the usual (nonequivariant) action ∗ h ∗ ∗ of k k on (k )G(X) = k (X ∧G EG+). This is done through the Cartan formula: If h V −1 h |V| x ∈ (k )G(X) then uV x ∈ (k )G (X) and −1 ′ ′′ −1 θ(x) = θ(uV uV x) = ∑ θi(uV )θi (uV x) i ′ ∗ What remains to compute is θi (uV), namely the action of k k on orientation classes. In our case, for G = C2n , we can see that: Proposition 5.1. The action of k∗k on orientation classes is determined by:

uσ i = 0 i  Sq (uσ) = aσ i = 1 0 otherwise  u i = 0  λm Sqi(u ) = = = λm aλ0 i 2, m 0 0 otherwise  Proof. Compare with the proof of Proposition 4.1.  The twisting in the case of the Borel dual Steenrod algebra corresponds to the hG fact that (k ∧ k)⋆ is a Hopf algebroid and not a ; computationally this amounts to the formula for ηR of Proposition 4.1. References

[Geo21a] N. Georgakopoulos, The RO(C4) cohomology of the infinite real projective space, available here [Gre88] J.P.C. Greenlees, Stable maps into free G-spaces, Transactions of the American Mathematical Society, Volume 310, Number 1, November 1988 [HHR16] M. A. Hill, M. J. Hopkins, D. C. Ravenel, On the non-existence of elements of one, Annals of Mathematics, Volume 184 (2016), Issue 1 [HK96] P. Hu and I. Kriz, Real-oriented homotopy theory and an analogue of the Adams Novikov spectral sequence, Topology 40 (2001), no. 2, 317–399 [MP65] W. S. Massey and F. P. Peterson, The cohomology structure of certain fibre spaces I, Topology 4 (1965), 47-65

[Wil19] D. Wilson, C2-equivariant Homology Operations: Results and Formulas, arXiv:1905.00058

Department of Mathematics, University of Chicago E-mail: [email protected] Website: math.uchicago.edu/∼nickg

5