arxiv: v4 [math.at] 3 Aug 2017

Transcription

1 AN EQUIVARIANT TENSOR PRODUCT ON MACKEY FUNCTORS arxiv: v4 [math.at] 3 Aug 2017 KRISTEN MAZUR Abstract. For all subgroups H of a cyclic p-group w dfin norm functors that build a -Macky functor from an H-Macky functor. W giv an xplicit construction of ths functors in trms of gnrators and rlations basd solly on th intrinsic, algbraic proprtis of Macky functors and Tambara functors. W us ths norm functors to dfin a monoidal structur on th catgory of Macky functors whr Tambara functors ar th commutativ ring objcts. 1. Introduction For a finit group, a commutativ -ring spctrum has norm maps that ar multiplicativ vrsions of th transfr maps. Ths maps ar not sn in ordinary - spctra. Morovr, w s th algbraic shadows of ths norm maps in th zroth stabl homotopy groups of commutativ -ring spctra: π 0 of a -spctrum is a Macky functor s for xampl [8]), but if X is a commutativ -ring spctrum, thn π 0 X) is a Tambara functor [2]. Thus, it is a Macky functor with a ring structur i.. a rn functor) and an xtra class of norm maps that ar th multiplicativ analogus of th transfr maps. In this papr w show that th rlationship btwn Macky functors and Tambara functors mirrors th rlationship btwn -spctra and commutativ -ring spctra. W dfin an quivariant symmtric monoidal structur on th catgory of Macky functors undr which Tambara functors ar th commutativ ring objcts. Th catgory of Macky functors is symmtric monoidal, but th commutativ ring objcts undr th symmtric monoidal product ar not Tambara functors. Notably, thy do not hav norm maps. Hill and Hopkins hav dvlopd an appropriat notion of quivariant symmtric monoidal, calling it -symmtric monoidal [3]. Thy thn call th commutativ ring objcts undr a -symmtric monoidal structur th -commutativ monoids [3]. W provid formal dfinitions of ths concpts in Sction 5. Hill and Hopkins [3], Ullman [12], and Hoyr [4] hav indpndntly dfind -symmtric monoidal structurs on th catgory Mack of -Macky functors. In this papr, for a cyclic p-group w dfin a vry xplicit -symmtric monoidal structur on Mack. Th ky to this structur is nw norm functors NH : Mack H Mack for all subgroups H of. Main Thorm. Lt b a cyclic p-group. For all subgroups H of thr is an xplicit construction of a norm functor NH : Mack H Mack that has th following proprtis. a. NH is isomorphic to th composition of functors N K N H K whnvr H < K <. Dat: August 7,

2 2 KRISTEN MAZUR b. N H is strong symmtric monoidal. Th word construction is dlibrat. ivn an H-Macky functor M w build a -Macky functor NH M basd only on th intrinsic proprtis of Macky functors and Tambara functors. W thn dfin th functor NH via th map M N H M and us th collction of ths norm functors {NH for all H } to prov th following thorm. Thorm 1.1. Lt b a cyclic p-group. Thr is a -symmtric monoidal structur on Mack so that a -Macky functor is a -commutativ monoid if and only if it has th structur of a -Tambara functor. Bcaus w rstrict th Main Thorm and Thorm 1.1 to cyclic p-groups w ar abl to xplicitly dscrib th -symmtric monoidal structur dfind on Mack. Thus, w can work with this construction to build intuition into how th structur oprats. In this rgard our dfinition of th norm functors in th Main Thorm is analogous to th xplicit dfinition of th tnsor product. Evn though dfining th tnsor product via th univrsal proprty is mor lgant and at tims asir to work with, th xplicit dfinition hlps us undrstand how th tnsor product combins two vctor spacs. Similarly, th xplicit construction of norm functors in this papr allows us to undrstand what th -symmtric monoidal structur actually dos to th objcts of Mack. Morovr, whil w fl strongly that w can xtnd our rsults at last to all finit ablian groups, many aspcts would bcom so much mor complicatd that th rsults would los thir ability to dvlop th radrs intuition for Macky and Tambara functors. Evn bfor th mrgnc of Tambara functors in quivariant stabl homotopy thory, thr was intrst in dvloping a structur on Mack that supportd Tambara functors as ring objcts. During an opn problm sssion at th 1996 Sattl Confrnc on Cohomology, Rprsntations and Actions of Finit roups T. Yoshida posd th problm of dfining a tnsor induction for Macky functors that prsrvs tnsor products of Macky functors and satisfis Tambara s axioms for multiplicativ transfr [1]. Th -symmtric monoidal structur that w crat is such a tnsor induction. W organiz this papr into th following sctions. In Sction 2 w provid two dfinitions of Tambara functors. Th first is Tambara s original dfinition. Th scond is an axiomatic and constructiv dfinition. W bas th construction of th norm functors in th Main Thorm on th scond dfinition. In Sction 3 w build th norm functors, and in Sction 4 w prov that ths functors satisfy th Main Thorm. Finally, w prov Thorm 1.1 in Sction Tambara Functors Lt S t b th catgory of sts, and lt S t F in b th catgory of finit -sts. ivn morphisms f : X Y and p: A X in S t F in w dfin th dpndnt product f A by A = y, σ) f y Y, σ : f 1 y) A is a map of sts, p σx) = x for all x f 1 y). Th group acts on f A by γy, σ) = γy, γσ) whr γσ)x) = γσγ 1 x).

3 AN EQUIVARIANT TENSOR PRODUCT ON MACKEY FUNCTORS 3 Dfinition 2.1. [11] For all morphisms f : X Y and p: A X in S t F in th canonical xponntial diagram gnratd by f and p is th commutativ diagram blow, whr hy, σ) = y, th map is th valuation map x, y, σ)) = σx) and f is th pullback of f by h. p X A X Y f A f Y h f f A W call a diagram in S t F in that is isomorphic to a canonical xponntial diagram an xponntial diagram. W will only us two cass of xponntial diagrams, and for ths it is hlpful to us th following construction. Lt H b a subgroup of and lt X b a finit H-st. Thn th -st Map H, X) is th st of all H-quivariant maps q : X with -action g q)x) = qxg) for all x and g in. Proposition 2.2. Lt f : /H / b th crush map, and lt p: A /H b a morphism in S t F in. Thn th dpndnt product f A is canonically isomorphic to Map H, p 1 H)). Proof. Th catgory of finit -sts ovr /H is quivalnt to S t F H in. Thus, th pullback functor from th catgory of finit -sts ovr / to th catgory of finit -sts ovr /H is canonically isomorphic to th rstriction functor S t F in S t F H in. Morovr, th functor A p /H) f A /) is right adjoint to th pullback functor [11]. And, th functor X Map H, X) is right adjoint to th rstriction functor. It follows that ths two right adjoints ar canonically isomorphic. Thrfor, for all p: A /H, th dpndnt product f A is canonically isomorphic to Map H, p 1 H)). Dfinition 2.3. [11] A -Tambara functor S is a tripl S, S, S ) consisting of two covariant functors S : S t F in S t and on contravariant functor S : S t F in S t S : S t F in such that th following proprtis hold. S t 1) All functors hav th sam objct function X SX), and ach SX) is a commutativ ring. 2) For all morphisms f : X Y in S t F in th map S f) is a homomorphism of additiv monoids, S f) is a homomorphism of multiplicativ monoids and S f) is a ring homomorphism. 3) Th pair S, S ) is a -Macky functor and S, S ) is a smi--macky functor.

4 4 KRISTEN MAZUR 4) Distributiv Law) If X A X f p h Y Y is an xponntial diagram thn th inducd diagram blow commuts. p SX) SA) SX ) f f h SY ) SY ) ivn a morphism f : X Y in S t F in, w call S f) a transfr map, S f) a rstriction map and S f) a norm map. In particular, if f : /H /K is a morphism btwn orbits, w dnot th norm map S f) by NH K, th transfr map S f) by trh K, and th rstriction map S f) by rs K H. Furthr, givn an lmnt g thr is also a morphism c g : /H /ghg 1. Thus, w hav an inducd map S c g ) which is qual to S c g ) and S c g 1)) that w will dnot by c g. Th norm maps ar not additiv, but thr is an xplicit formula for th norm of a sum in a Tambara functor. By Proprty 3 of Dfinition 2.3 Tambara functors convrt disjoint unions of -sts to dirct sums of commutativ rings. Sinc vry finit -st can b writtn as a disjoint union of orbits w only nd this formula for th norm maps NH K for all subgroups H < K. Morovr, sinc th norm map NH K in a -Tambara functor S must agr with N H K in th K-Tambara functor that rsults from applying th forgtful functor i K : T amb T amb K to S, it suffics to only stat th formula for th norm NH of a sum for any subgroup H of. Thorm 2.4 Tambara Rciprocity for Sums). Lt b a finit group with subgroup H, and lt S b a -Tambara functor. 1) If 1 2 is th disjoint union of two singl point -sts thn th following diagram of rings commuts. S/H) S/H) S/H) S/H Map H, 1 2)) f N H h S/) SMap H, 1 2)) 2) For all a and b in S/H) N H a + b) = N H a) + N H b) + T ) whr T ) is a polynomial in transfrs from propr subgroups, norms, and rstrictions that is univrsally dtrmind by in th sns that it dpnds only on and not on S, a, or b. Proof. To prov part 1, givn th fold map : /H /H /H and th crush map f : /H /, by Proposition 2.2, th dpndnt product f /H /H) is canonically isomorphic to Map H, 1 2 ). Thrfor, th diagram blow is an xponntial diagram, and so th diagram in part 1 of th abov thorm commuts π

5 AN EQUIVARIANT TENSOR PRODUCT ON MACKEY FUNCTORS 5 by th Distributiv Law of Dfinition 2.3. /H /H /H /H Map H, 1 2 ) f h / Map H, 1 2 ) Nxt, givn a and b in S/H), by part 1, NH a, b) = h π a, b). Sinc NH a, b) = N H a + b), w can dvlop th formula givn in part 2 by dtrmining h π a, b). W bgin by xamining th dcompositions of Map H, 1 2 ) and /H Map H, 1 2 ) into disjoint unions of -orbits. W can writ Map H, 1 2 ) as / / i Z i whr i Z i is a larg disjoint union of orbits. This union is difficult to dtrmin, howvr it suffics that it is univrsally dtrmind by th group. Furthr, /H Map H, 1 2 ) is isomorphic to /H /H i /H Z i), and so th composition h π is givn blow. S/H) S/H) π S/H) S/H) i S/H Z i ) π S/) S/) i SZ i ) h S/) Th map snds a, b) to a, b, A, B)) whr A, B) is an lmnt in i S/H Z i ) that is univrsally dtrmind by. To dtrmin π lt F : i S/H Z i) i SZ i) b a map that is a conglomration of rstriction and norm maps. Thn π = NH N H F, and hnc π a, b) = NH a) N H b) F A, B). Finally, h is th idntity map on th first two summands and th appropriat transfr maps on th rmaining summands. Thrfor, h π a, b) is N H a) + N H b) + T ) whr T ) is as givn in th abov thorm. Whn is a finit ablian group w can dtrmin mor dtails rgarding th polynomial T ). Thus, if is finit ablian, w can stat an vn mor xplicit formula for th norm of a sum in a -Tambara functor. Thorm 2.5 Tambara Rciprocity for Sums Whn is Finit Ablian). Lt b a finit ablian group and lt S b a -Tambara functor. If H <, thn for all

6 6 KRISTEN MAZUR a and b in S/H) N H a + b) = N H a) + N H b) + H<K < ik trk k=1 N K H ) ab) ) K k + trhg H a, b)) whr g H a, b) is a polynomial in som of th W H)-conjugats of a and b, and ach ab) K k is a monomial in som of th W K )-conjugats of a and b. Ths polynomials ar univrsally dtrmind by th group in th sns that thy dpnd only on and not on S. Each intgr i K is also univrsally dtrmind by. Proof. ivn a and b in S/H), by Thorm 2.4, N H a + b) = N H a) + N H b) + T ), but sinc is finit ablian w can furthr dtrmin T ) by dvloping a mor concrt formula for th composition h π a, b). In particular, in th proof of Thorm 2.4 w dfin a, b) to b a, b, A, B)) and π to b N H N H F. But whn is ablian w can rsolv th lmnt A, B) and th map F. W start by providing full dcompositions of Map H, 1 2 ) and /H Map H, 1 2 ), thus simplifying SMap H, 1 2 )) and S/H Map H, 1 2 )). Th dcomposition of Map H, 1 2 ) consists of two copis of /, i K - many copis of /K for all subgroups K such that H < K <, and i-many copis of /H. W do not nd to know th xact valus for i K and i, sinc it suffics that ths numbrs ar univrsally dtrmind by. Furthr, /H Map H, 1 2 ) is isomorphic to a larg disjoint union of copis of /H groupd by th orbits of Map H, 1 2 ). Thrfor, th composition h π is givn blow whr S = S/H). S S H<K < S S i K k=1 /K k S i S j=1 /H j S/) S/) H<K < π ik k=1 S/K ) k ) i j=1 S j h S/) Th map snds a, b) to a squnc of a s and b s, th ordr of which is dtrmind as follows. Th codomain of is groupd by th orbits of Map H, 1 2 ), and ach grouping is indxd by th lmnts of /, /H, or /K for H < K <. For xampl, ach /H S corrsponds to an orbit isomorphic to /H, and thus w can writ /H S as S S g1 S g /H 1 whr th indxing lmnts, g 1,..., g /H 1 ar rprsntativs for th lmnts of /H. To dfin, w choos a rprsntativ map f : 1 2 from ach

7 AN EQUIVARIANT TENSOR PRODUCT ON MACKEY FUNCTORS 7 orbit. Th choic of rprsntativ dos not mattr.) W thn dtrmin th imag undr f of ach of th indxing lmnts. For vry indxing lmnt g i, if fg i ) = 1, thn a, b) = a on th corrsponding summand, and if fg i ) = 2, thn a, b) = b on th summand. For xampl, th first summand corrsponds to th constant function that snds all lmnts of to 1. Hnc, a, b) = a on that summand. Similarly, a, b) = b on th scond summand. Nxt, π is a combination of norm maps and maps that snd a dirct sum to a product ovr a Wyl action. Mor spcifically, lt th map π H : /H S/H) S/H) b s, s g1, s g2,... s g /H 1 ) s g 1 s g1 g 2 s g2 g /H 1 s g /H 1. Th map π K : /K S/H) S/H) is analogous. Thn π is N H N H i K H<K < k=1 ] [N H K π K k i π H ) j, whr NH K and NH ar th norm maps. Thus, if AB) H j is a product of som of th W H)-conjugats of a and b and ach ab) K j is as dfind in th thorm, thn π a, b) quals NH a) NH b) ik ) i NH K ab) K j ) AB) H j. Finally, h π a, b) is N H a) + N H b) + H<K < H<K < k=1 ik trk k=1 N K H whr g H a, b) is as dfind in th abov thorm. j=1 j=1 ) ab) ) K k + trhg H a, b)) W also hav a formula for th norm of a transfr in a Tambara functor. As w did for th norm of a sum, w first provid a gnral formula that holds for all finit groups. W thn giv a mor dtaild formula for th norm of a transfr in a -Tambara functor whn is finit ablian. Thorm 2.6 Tambara Rciprocity for Transfrs). Lt b a finit group with subgroups H < H, and lt S b a -Tambara functor. 1) Th following diagram of rings commuts. tr H H S/H) S/H ) S/H Map H, H/H )) N H h S/) SMap H, H/H )) 2) For all x in S/H ), NH trh H x) = T ) whr T ) is an lmnt in th subgroup of S/) gnratd by all transfr trms. Morovr, it is univrsally dtrmind by. π

8 8 KRISTEN MAZUR Proof. By Proposition 2.2, th dpndnt product of th composition /H /H f / is canonically isomorphic to Map H, H/H ). It follows that th diagram blow is an xponntial diagram. p /H /H /H Map H, H/H ) f p h / Map H, H/H ) π Nxt w prov part 2 of th thorm. Th -st Map H, H/H ) has no -fixd points. Thus, thr ar no copis of / in its dcomposition into -orbits. This mans that in th commutativ diagram of rings givn in part 1, th map h is a sum of various transfr maps. Hnc, for all x in S/H ), h π x) is som lmnt in th subgroup of S/) gnratd by th transfr trms. Thorm 2.7 Tambara Rciprocity for Transfrs Whn is Finit Ablian). Lt b a finit ablian group, and lt S b a -Tambara functor. For all subgroups H < H < and all x in S/H ) N H tr H H x) = tr H fx)) + K Ω tr KN K H f Kx)) whr Ω is th st of all subgroups K of such that H = H K and fx) and ach f K x) ar polynomials in som of th W H )-conjugats of x. Morovr, ths polynomials ar univrsally dtrmind by th group. Proof. Sinc is ablian w can crat a mor complt pictur of th composition h π x) givn in Thorm 2.6. In particular, w ar now abl to bttr dscrib th map π. First, as a -st, Map H, H/H ) is isomorphic to r i=1/h ) i K Ω q K j=1 /K) j. W do not nd to know th xact valus for r and ach q K, sinc it suffics that thy ar univrsally dtrmind by. So, /H Map H, H/H ) is isomorphic to r /H ) q K /H i=1 K Ω j=1 m whr m = /K /H /H. /H i j

9 AN EQUIVARIANT TENSOR PRODUCT ON MACKEY FUNCTORS 9 Thus, h π bcoms th composition blow whr S = S/H ). S r i=1 /H S ) [ qk K Ω j=1 m S) j i ] π r i=1 S i K Ω [ qk j=1 S/K) j ] To dfin th map π lt π i : h S/) S S i /H b th map that snds s, s g1,..., s g /H 1 ) to a spcific product g t s g t1 s g g t /H 1 s g /H 1 whr g ti s gi is a W H )-conjugat of s gi. Whil it is difficult to giv furthr dtail on this product of Wyl conjugats, it suffics that it is univrsally dtrmind by th group. Dfin π j : m S) j S j analogously. Thn π = r i=1 π i qk j=1 N H K π j). Th map is th diagonal map and h is a composition of th fold map with th appropriat transfr maps. Thrfor, N H tr H H x) = h π x) = tr H fx)) + K Ω tr KN K H f Kx)) whr fx) and ach f K x) ar polynomials in som of th W H )-conjugats of x. Whn is a cyclic p-group, sinc all subgroups ar nstd, H = H K if and only if K = H. Thus, in this cas th Tambara rciprocity formula for transfrs simplifis to N H tr H H x) = tr H fx)). Fact 2.8. Th following fact rgarding Tambara rciprocity will allow us to crat Tambara rciporcity-lik rlations in th Macky functor NH M that w dfin in th nxt sction. Sinc w only us this fact whn is a cyclic p-group w rstrict our attntion to this cas. It appars howvr that this fact holds for all finit ablian groups. Whn is a cyclic p-group th monomials of g H a, b) and fx) and th monomials ab) K k givn in Thorms 2.5 and 2.7 do not contain rpatd factors. If γ gnrats, thn for vry γ m th lmnts γ m a and γ m b appar at most onc in any monomial in th formula for th norm of a sum, and it is impossibl for both γ m a and γ m b to appar in th sam monomial. Similarly, th lmnt γ m x appars at most onc in any monomial in th formula for th norm of a transfr. Ths i

10 10 KRISTEN MAZUR facts follow from th formulas for th maps π in th proofs of Thorms 2.5 and 2.7. Lt b a finit group and lt O b th orbit catgory of. Motivatd by an analogous dfinition of Macky functors from [14], w also dfin -Tambara functors as follows. Dfinition 2.9. Lt b a finit group. A -Tambara functor S consists of a collction of commutativ rings {S/H) : /H O } along with th following maps for all orbits /H and /K such that H < K and all g in : th rstriction map rs K H : S/K) S/H), th transfr map trh K : S/H) S/K), th norm map NH K : S/H) S/K), and th conjugation map c g : S/H) S/gHg 1 ). Ths rings and maps satisfy th following conditions. 1) All rstriction maps ar ring homomorphisms, all transfr maps ar homomorphisms of additiv monoids, and all norm maps ar homomorphisms of multiplicativ monoids. 2) Transitivity) For all H < H < K and all g and h in rs K H = rsh H rsk H tr K H = trk H tr H H N K H = N K H N H H c g c h = c gh. 3) Frobnius Rciprocity) If H < K, thn for all x in S/H) and y in S/K) 4) If H < K and g, thn ytr K H x) = tr K H rs K Hy)x). c g rs K H = rs gkg 1 ghg 1 c g c g tr gkg 1 ghg 1 = tr gkg 1 ghg 1 c g c g N gkg 1 ghg 1 = N gkg 1 ghg 1 c g. 5) For subgroups H and H of K, lt [H\K/H ] dnot a st of rprsntativs in for th doubl costs H\K/H. Thn rs K HtrH K = tr H H gh g 1c grs H ghg 1 H g [H\K/H ] rs K HN K H = g [H\K/H ] N H H gh g 1c grs H ghg 1 H. 6) Tambara Rciprocity) S satisfis Thorms 2.4 and 2.6. If is a finit group, and S is a -Tambara functor as dfind in Dfinition 2.3, showing that S satisfis Dfinition 2.9 is straightforward.

11 AN EQUIVARIANT TENSOR PRODUCT ON MACKEY FUNCTORS 11 Rmark 2.10 Wyl Actions). Evry S/H) is quippd with actions of th Wyl groups W K H) for all subgroups K such that H < K. Hr w stat a fw proprtis of ths actions that w subsquntly us to dfin th Macky functor NH M. By Proprty 4 of Dfinition 2.9, for all g in W KH), all x in S/H), and all y in S/K), grs K H x) = rsk H x), trk H gx) = trk H x) and N H Kgx) = N H Kx). Morovr, whn is ablian, by Proprty 5, rs K HtrH K x) = gx and rs K HNH K x) = gx. g W K H) g W K H) W collct th proprtis of Dfinition 2.9 into a lattic-lik diagram. For xampl, a C 2 -Tambara functor is picturd in Figur 1. SC 2 /C 2 ) rs C 2 N C 2 SC 2 /) tr C 2 Figur 1. S is a C 2 -Tambara Functor Exampl W can find xplicit Tambara rciprocity formulas. For xampl, lt S b a C 4 -Tambara functor, lt a and b b lmnts in SC 4 /), and lt γ gnrat C 4. Thn ) N C4 a + b) = N C4 a) + N C4 b) + tr C4 C 2 N C2 ab) C2 1 ) + tr C4 g a, b)) whr ab) C2 1 = aγb and g a, b) = aγaγ 2 aγ 3 b + bγbγ 2 bγ 3 a + aγbγ 2 bγ 3 a. Furthr, for x in SC 4 /), N C4 C 2 tr C2 x) = tr C4 fx)) whr fx) = xγx. 3. Constructing th Norm Functors From hr on, lt b a cyclic p-group with gnrator γ. In this sction, for a subgroup H of and H-Macky functor M, w build a -Macky functor NH M that w will us to dfin th norm functor NH : Mack H Mack. Bcaus w build th Macky functor NH M inductivly w rquir vry subgroup to hav a uniqu maximal subgroup. Thus, w impos th rstriction that must b a cyclic p-group. If all subgroups ar not nstd, thn for all subgroups K of w would hav to dtrmin how multipl maximal subgroups intract with on anothr to impact th dfinition of NH M)/K) and th corrsponding transfr and rstriction maps. This fat would wrak havoc on th construction of NH M and caus NH M to los its usfulnss as a tool for undrstanding th -symmtric monoidal structur on Mack. Furthr, our dfinition of NH M is motivatd by th constructiv dfinition of th symmtric monoidal product in th catgory of -Macky functors. This product is calld th box product. Th catgory thortic dfinition of th box product can b found in [6] or [13], and whil this dfinition is imprativ to thory of Macky functors, it is difficult to us it to undrstand how th box product combins two Macky functors. Thus, w provid Lwis xplicit construction of th box

12 12 KRISTEN MAZUR product for C p -Macky functors. Dspit its constraint to C p -Macky functors, this dfinition allows us to visualiz th box product of two Macky functors. In a similar vain, vn though w only dfin NH M whn is a cyclic p-group, our construction provids insight into th norm functors that is othrwis difficult to s. Dfinition 3.1. [[9], [5]] ivn C p -Macky functors M and L w dfin thir box product M L by th diagram in Figur 2. Imtr Cp ) [ {}}{ MCp /C p ) LC p /C p ) MC p /) LC p /))/ WCp ) rs Cp tr Cp MC p /) LC p /) ] /F R Figur 2. Th Box Product of C p -Macky Functors Th transfr map is th quotint map onto th scond summand. Th rstriction map is inducd from rs Cp rs Cp on th first summand and by th trac of th Wyl action on th scond summand. Th Wyl action on MC p /) LC p /) is th diagonal action. Finally, F R is th Frobnius rciprocity submodul and is gnratd by all lmnts of th form m tr Cp l) tr Cp rs Cp m ) l) and tr Cp m) l tr Cp m rs Cp l )) for all m in MC p /C p ), l in LC p /C p ), m in MC p /), and l in LC p /). Th abov dfinition naturally xtnds to a k-fold box product for any positiv intgr k. Morovr, if is a cyclic p-group C p n w can xtnd th abov dfinition to th box product of -Macky functors as follows. Bcaus all subgroups of ar nstd, for any -Macky functor and any subgroups H < C p k, tr C p k H = tr C p k C trc p k 1 p k 1 H. Thrfor, if M and L ar -Macky functors, w can inductivly build M L so that M L)/C p k) = [ ] M/Cp k) L/C p k) M L)/C p k 1)/ WC p k C p k 1 ) /F R. }{{} Imtr) Th rstriction and transfr maps ar idntical to thos givn in Dfinition 3.1. W can now dfin N H M. Dfinition 3.2. Lt H b a subgroup of and lt M b an H-Macky functor. Dfin th -Macky functor NH M as follows. For all subgroups H of H dfin N H M)/H ) := M /H H/H ),

13 AN EQUIVARIANT TENSOR PRODUCT ON MACKEY FUNCTORS 13 and if H < H H thn rs H H and trh H ar th box product rstriction and transfr maps givn in Dfinition 3.1. For all subgroups K of such that H < K, lt K b th maximal subgroup of K. W us th notation K for th maximal subgroup instad of K bcaus w rsrv K for a gnric subgroup btwn H and K.) Dfin NH M)/K) inductivly by NH M)/K) := Z{MH/H) /K } Imtr KK ) ) / T R, whr ImtrK K ) is NH M)/K ) ) / WK K ), and so th transfr map trk K is th canonical quotint map onto that summand. W dfin th rstriction map rs K K using th facts that rsk K trk K x) = g W K K ) gx in a Macky functor and rs K K NK K x) = g W K K ) gx in a Tambara functor. A dtaild dscription can b found in Dfinition 3.5. W call T R th Tambara rciprocity submodul. This submodul nsurs that th Tambara rciprocity rlations of Dfinition 2.9 ar satisfid whn w us NH M to crat Tambara functors. W fully discuss T R in Sction 3.1. Rmark 3.3. Thr is a map N : MH/H) NH M)/) dfind by th composition MH/H) Z{MH/H)} NH M)/) that snds an lmnt in MH/H) to th corrsponding gnrator in th imag of th fr summand in NH M)/). W call this map N bcaus in Sction 5 w us it to dfin th intrnal norm maps of Tambara functors. Thus, N is lik th univrsal norm map, or, quivalntly, th imag of th fr summand in NH M)/) is lik th univrsal hom for norms. Morovr, with this ida in mind w will us th notation N ) to dnot gnrators in th imag of th fr summand. Sinc NH M)/H ) = M /H H/H ) whnvr H < H, w indx NH M)/H ) by lmnts of /H. Morovr, ) M /H H/H ) = MH/H ) /H Imtr) / F R, and w dnot a simpl tnsor in th MH/H ) /H summand of this modul by m /H = m m γ m γ /H 1. Similarly, w indx MH/H) /K in NH M)/K) by lmnts of /K, and so w dnot an lmnt in MH/H) /K by 3.1) m /K = m m γ m γ /K 1. Lt Nm /K ) dnot th corrsponding gnrator of th imag of th fr summand Z{MH/H) /K } in N H M)/K). Dfinition 3.4. Dfin th Wyl action on NH M as follows. Whn H H th gnrator γ of W H ) acts on NH M)/H ) which quals M /H H/H )) by cyclically prmuting th factors. Thus, γ acts on a simpl tnsor by 3.2) γm /H ) = whr γ /H gnrats W H H ). γ /H m γ /H 1 ) m m γ m γ /H 2,

14 14 KRISTEN MAZUR For all subgroups K such that H < K, th gnrator γ of W K) acts on th gnrator Nm /K ) in NH M)/K) by cyclically prmuting th factors of m /K in th following way: γn m /K ) = Nγm m γ m γ /K 1)) = Nm γ /K 1 m m γ m γ /K 2). Dfinition 3.5. Lt K b a subgroup of such that H < K and lt K b maximal in K. W dfin th rstriction map rs K K : N H M)/K) NH M)/K ) by rs K K trx)) = γ s x for all trx) in ImtrK K ), and rs K K Nm /K )) = γ s W K K ) { N K/K m /K ) K/K m /K if K > H if K = H for all gnrators Nm /K ), whr K/K m /K ) is th K/K -fold Cartsian product of m /K and K/K m /K is th analogous tnsor product. Sinc is a cyclic p-group, all subgroups ar nstd. Thus, if K is not maximal in K thn w dfin rs K K and trk K using th facts that if K < J < K, thn rs K K = rsj K rsk J and trk K = trk J trj K Th Tambara Rciprocity Submodul. Lt H and K b subgroups of such that H < K, and lt M b an H-Macky functor. In this sction w dfin th Tambara rciprocity submodul of NH M)/K). As discussd in Rmark 3.3, in Sction 5 w us NH M to dfin th intrnal norm maps of a Tambara functor, so NH M must rflct th Tambara rciprocity proprty of Dfinition 2.9. In particular, w think of lmnts in th imag of th fr summand in NH M)/K) as normlik lmnts, and so w nd to dfin rlations to idntify th analogus of th norm of a sum and th norm of a transfr in th imag of th fr summand with appropriat lmnts in th transfr summand. Spcifically, by Thorm 2.5 th intrnal norm map NH K of a Tambara functor must satisfy N K H a + b) = N K H a) + N K H b) + H<K <K ik trk K k=1 N K H ) ab) ) K k + trh K g H a, b)), whr ach ab) K k is product of Wyl conjugats of a and b and g H a, b) is a sum of products of Wyl conjugats of a and b. To mimic this formula in NH M)/K), first, for a in MH/H) lt ma /K j b th lmnt in MH/H) /K obtaind by rplacing m γ j by a. So, ma /K j = m m γ m γ j 1 a m γ j+1 m γ /K 1. Thn for any a and b in MH/H) and j such that 0 j /K 1 w nd to idntify th lmnt ) ) ) N ma + b) /K j N ma /K j N mb /K j

15 AN EQUIVARIANT TENSOR PRODUCT ON MACKEY FUNCTORS 15 in th imag of th fr summand of NH M)/K) with lmnts in th transfr summand that ar analogous to ach ab) K k and to g H a, b). Howvr, th moduls of NH M ar not rings and hnc ar not quippd with multiplication. Thus, to crat analogus of ab) K k and g H a, b) w must first dvlop a way to mimic th multiplication of Wyl conjugats in th moduls of NH M. W will focus on dvloping th analog of ab) K k in NH M)/K). Th construction of an lmnt lik g H a, b) in NH M)/H) is similar. To crat a product of Wyl conjugats in NH M)/K) w formally add an lmnt 1 to MH/H) so that th stabilizr subgroup of 1 is H and dfin a multiplication on MH/H) by 1m = m1 = m for all m in MH/H). If nithr m 1 nor m 2 is th lmnt 1, thn thr is no multiplication m 1 m 2. W can now viw a gnrator Nm /K ) in NH M)/K ) as a product ovr th Wyl action, which is th ky stp in dvloping lmnts in NH M)/K ) analogous to ab) K k. Lmma 3.6. W can writ an lmnt m /K in MH/H) /K as a product ovr th W K )-action: Proof. Th lmnt m /K = /K 1 j=0 in MH/H) /K can b writtn as γ j m γ j 1 /K 1 ). 1 j m γ j 1 /K 1 j γ j m γ j 1 /K 1 ). Furthr, if γ k and γ j in W K ) ar such that j < k thn w can multiply: 1 j m γ j 1 /K 1 j ) 1 k m γ k 1 /K 1 k ) = 1 j m γ j 1 k j 1 m γ k 1 /K 1 k. Morovr, if K < K and m /K is in MH/H) /K, thn w can mbd m /K into MH/H) /K by m /K m /K 1 /K /K. Ltting γ /K b th gnrator of W K K ), w dfin a W K K )-action on this lmnt by γ /K m /K 1 /K /K ) = 1 /K m /K 1 /K 2 /K. Thrfor, for any ma /K j and mb /K j in MH/H) /K w can considr th lmnts ma /K j 1 /K /K and mb /K j 1 /K /K in MH/H) /K along with thir W K K )-conjugats. Lmma 3.7. Evaluating ach monomial ab) K k Wyl conjugats of ma /K j dfins an lmnt a j b j ) K k in Thorm 2.5 at th appropriat 1 /K /K 1 /K /K and mb /K j in MH/H) /K that contains no ons.

16 16 KRISTEN MAZUR Similarly, to dfin an lmnt in N H M)/H) analogous of g Ha, b), w can mbd m /K into MH/H) /H via m /K m /K 1 /H /K. Lmma 3.8. Evaluating th polynomial g H a, b) in Thorm 2.5 at th appropriat Wyl conjugats of ma /K j 1 /H /K and mb /K j 1 /H /K dfins a polynomial g H a j, b j ) in MH/H) /H that contains no ons. Furthr, in NH M)/K) w must also mimic th Tambara rciprocity formula for transfrs givn in Thorm 2.7. But, whn is a cyclic p-group, sinc all subgroups ar nstd, th formula for th norm of a transfr simplifis to N K H tr H H x) = trk H fx)). So, for all subgroups H of H and lmnts x in MH/H ) w idntify th lmnt ) N mtr H H x) /K j in th imag of th fr summand of NH M)/K) with an lmnt in th transfr summand that is analogous to fx). W us a procss idntical to th on dscribd abov to crat lmnts that ar products ovr th Wyl action in MH/H ) /H. Lmma 3.9. Lt H b a subgroup of H and lt x b in MH/H ). ivn mtrh H x) /K j in MH/H) /K, lt r i = rs H H m i) for ach m i of mtrh H x) /K j. Evaluating th polynomial fx) in Thorm 2.7 at th appropriat Wyl conjugats of r r γ j 1 x r γ j+1 r γ /K 1 1 /H /K dfins a sum fx j ) in MH/H ) /H. This sum involvs no ons. Lmmas 3.7, 3.8 and 3.9 follow dirctly from Fact 2.8 and from th dfinition of th lmnt 1. Dfinition Lt K b a subgroup such that H < K. Th Tambara rciprocity submodul T R in NH M)/K) is th submodul gnratd by all lmnts of th following forms ) ) ) 3.3) N ma + b) /K j N ma /K j N mb /K j and 3.4) H<K <K tr K K k N N mc /K j ) a ) j b j ) K k trh K g H a j, b j )) ) tr K H fx j)) for all a and b in MH/H), j such that γ j γ /K 1, and c such that c = trh H x) for som x in MH/H ) and for som subgroup H of H. Lmma Th Tambara rciprocity submodul is Wyl quivariant. Proof. This rsult follows dirctly from th dfinitions of a j b j ) K k, g Ha j, b j ), and fx j ) and of th Wyl actions.

17 AN EQUIVARIANT TENSOR PRODUCT ON MACKEY FUNCTORS Exampls. Exampl W can think of th modul Z/2 as an {}-Macky functor and build th C 2 -Macky functor N C2 Z/2. First, N C2 Z/2)C 2 /) = Z/2 Z/2, and hnc is Z/2 with trivial Wyl action. Thn ) N C2 Z/2)C 2 /C 2 ) = Z{N0), N1)} Z/2/ WC2 ) / T R, and T R is gnratd by all lmnts of th form Na+b) Na) Nb) tr C2 a b). Quotinting out by T R givs N0) = 0, tr C2 1) = 2N1), and 4N1) = 0, and so N C2 Z/2)C 2 /C 2 ) = Z/4. W giv th lattic diagram for N C2 Z/2 in Figur 3. 1 Z/4 2 rs C 2 1 Z/2 tr C 2 1 Figur 3. Th C 2 -Macky functor N C2 Z/2 Using a procss similar to Exampl 3.12 it is not difficult to s that N C2 Z is th C 2 -Burnsid Macky functor A. 4. Proof of th Main Thorm In this sction w vrify that th construction NH M satisfis th Main Thorm. Rcall that a morphism φ: M L of Macky functors consists of a collction of homomorphisms {φ H : M/H) L/H) : H } that commut with th appropriat rstriction and transfr maps. Thorm 4.1. For all subgroups H of, th map NH : Mack H Mack givn by M NH M is a functor. Proof. ivn a morphism φ: M L in Mack H w dfin th associatd morphism NH φ): N H M N H L in Mack as follows. For all subgroups H in H dfin NH φ) H to b φ /H H. If K is a subgroup such that H < K, thn w inductivly dfin NH φ) K so that it is compatibl with th appropriat rstriction and transfr maps. Mor spcifically, lt K b th maximal subgroup of K. Thn for all trx) in th ImtrK K ) summand of NH M)/K) w dfin N H φ) Ktrx)) to b tr K K N H φ) K x)). If Nm /K ) is a gnrator in th imag of th fr summand of N H M)/K), dfin N H φ) KNm /K )) to b Nφ H m ) φ H m γ ) φ H m γ /K 1)). Th map NH φ) K prsrvs th Tambara rciprocity rlations bcaus th polynomials a j b j ) K k, g Ha j, b j ), and fx j ) ar univrsally dtrmind by th group. Furthr, by dfinition, th maps {NH φ) K : K } form a natural transformation of -Macky functors, and th assignmnt φ NH φ) is functorial.

18 18 KRISTEN MAZUR 4.1. NH is Isomorphic to th Composition N K N H K. W nxt prov that th norm functors satisfy Proprty a) of th Main Thorm. Thus, w will prov that NH : Mack H Mack is isomorphic to th composition of functors NK N H K whnvr H < K <. Throughout this sction lt J b th maximal subgroup of. By induction it suffics to dfin an isomorphism Φ: NJ N H J M N H M by building a collction of isomorphisms {Φ P : N J N J HM)/P ) N H M)/P ) for all P }. Ths maps fall into thr cass: whn P is a subgroup H of H, whn P is a subgroup K such that H < K <, and whn P =. To dfin th isomorphisms in th first two cass w nd to show that rarranging th indics of MH/H) /K and M /H H/H ) dos not fundamntally chang ths objcts. To dfin th isomorphisms in th scond two cass w also nd xplicit dscriptions of th moduls N J N J H M)/) and N J N J H M)/K) for K such that H < K <. Lmma 4.2. Lt H and K b subgroups of such that H < K < J, and lt M b an H-Macky functor. Rcall that J is maximal in.) Th moduls MH/H) /K and MH/H) J/K ) /J ar quivariantly isomorphic W K)- moduls. Proof. Th action on MH/H) /K is as dscribd in Dfinition 3.4. Th modul MH/H) J/K ) /J is a rindxing of MH/H) /K in th following sns. An lmnt in MH/H) J/K ) /J is givn by m J/K ) /J = m J/K ) m J/K ) γ m J/K ) γ /J 1, which xpands to 4.1) m m γ /J m γ J/K 1) /J ) m γ m γ /J +1 m γ J/K 1) /J +1) Th W K)-action still shuffls th factors but now ach m J/K travls as a pack: γ m J/K ) /J = [γ ] /J m J/K )γ /J 1 m J/K ) m J/K ). γ /J 2 Th map that snds th xpansion 4.1) to MH/H) J/K ) /J MH/H) /K is an isomorphism of W K)-moduls. m m γ m γ 2 m γ /K 1 Lmma 4.3. Lt H b a subgroup of such that H < J. If M is an H-Macky functor, thn for all subgroups H of H, M /H H/H ) and M J/H ) /J H/H ) ar quivariantly isomorphic W H )-moduls.

19 AN EQUIVARIANT TENSOR PRODUCT ON MACKEY FUNCTORS 19 Proof. Th W H )-action on a simpl tnsor of M /H H/H ) is givn in Dfinition 3.4. Whn w rindx M /H H/H ) to M J/H ) /J H/H ) w dfin a compatibl W H )-action similar to th action on MH/H) J/K ) /J dscribd abov. Again, a map M J/K ) /J H/H ) M /H H/H ) analogous to th on abov is an isomorphism of W H )-moduls. W nxt dvlop a digstibl form of th modul N J N J H M)/K). Dfinition 4.4. Lt H and K b subgroups of such that H < K <, and lt K b th maximal subgroup of K. ivn an H-Macky functor M, dfin N J N H J M)/K) to b th modul givn blow whr ImtrK K ) is N J N H J M)/K )/ WK K ). { N J N H [Z J M)/K) := MH/H) J/K ) } ] /J ImtrK K ) / R W dnot a gnrator of th imag of th fr summand by Nm J/K ) /J ) and W K) acts on m J/K ) /J as dscribd in th proof of Lmma 4.2. Th submodul R combins th Frobnius rciprocity submodul with th Tambara rciprocity submodul of ach NH J M)J/K). In particular, ach MH/H) J/K in th imag of th fr summand in N J N H J M)/K) stms from a copy of NH J M)J/K), and R must rflct th Tambara rciprocity submodul of ach of ths moduls. Hnc, whil th gnrators of R look intimidating, thy ar simply th lmnts in which th Tambara rciprocity rlations ar occurring in on of th m J/K factors of Nm J/K ) /J ) whil th rmaining factors com along for th rid. It follows that R is gnratd by th following two classs of lmnts for all a, b, j, r, and for all c such that c = trh H x) for any x and any subgroup H of H: N m J/K ) ma + b) J/K )γr j m J/K ) ) γ /J 1 N m J/K ) ma J/K )γr j m J/K ) ) γ /J 1 N m J/K ) mb J/K )γr j m J/K ) ) γ /J 1 tr K K N m J/K ) H<K <K K/K ) a j b j ) K i m J/K ) i γ r K/K γ /J 1 trh K m J/K ) g Ha j, b j ) γ r K/H K/H m J/K ) γ /J 1

20 20 KRISTEN MAZUR and N m J/K ) tr K H K/H mc J/K j )γr m J/K ) γ /J 1 ) m J/K ) tr H H fx j)) γ r K/H m J/K ) γ /J 1 Lmma 4.5. Lt H and K b subgroups of such that H < K <. ivn an H-Macky functor M, th modul NJ N H J M)/K) is isomorphic to th modul N J N H J M)/K). Proof. Th modul N J N J H M)/K) is N J H M) /J J/K), and by Dfinition 3.1, this box product is qual to th following modul whr K is maximal in K: N J HM)J/K) /J Imtr K K ) ) / F R. Via Frobnius rciprocity w idntify th transfr summand of ach N J H M)J/K) with lmnts in Imtr K K ). W thn dvlop th lmnts in R by starting with sums of tnsors in N J H M)J/K) /J in which on factor is sing an lmnt in th T R submodul and th othr factors ar rmaining constant. W thn apply th F R rlations to ach tnsor that contains a transfr trm of th T R rlation. Trms lik K/K m J/K ) and K/H m J/K ) that appar in R ar th appropriat rstriction maps valuatd at constant pics Nm J/K ). Thy aris from applying th F R rlations to tnsors such as Nm J/K ) tr K H g H a j, b j ) Nm J/K ). W thn us basic proprtis of tnsor products to arriv at N J N J H M)/K). Lmma 4.6. Lt H b a subgroup of. ivn an H-Macky functor M, N J N J H M)/) is isomorphic to Z{MH/H)} Imtr J )) / T R, whr Imtr J ) = N J N J H M)/J)/ W J). Proof. Th modul NJ N H J M)/) is Z{N J H M)J/J)} NJ NHM)/J)/ J ) W J) /T R,. which quals ) Z{[Z{MH/H)} Imtr)]/ T R } ImtrJ ) / T R. Quotinting by T R idntifis all lmnts in th transfr summand of NH J M)J/J) with lmnts in ImtrJ ). Thus, N J N J HM)/) = Z{Z{MH/H)}} Imtr J ) ) / T R. Furthr, w driv th gnrators of th Tambara rciprocity submodul dirctly from th formulas for Tambara rciprocity for sums and transfrs in Dfinition 2.9. Thrfor, by Proprty 2 of Dfinition 2.9, NJ N H J M)/) is isomorphic to Z{MH/H)} Imtr J ) ) / T R. W now prov that th norm functors ar composabl. Thorm 4.7. For all subgroups H and K of such that H < K <, th norm functor NH : Mack H Mack is isomorphic to th composition of functors NK N H K.

21 AN EQUIVARIANT TENSOR PRODUCT ON MACKEY FUNCTORS 21 Proof. Lt M b an H-Macky functor, and lt J b th maximal subgroup of. Via induction on th siz of it suffics to show that NH is naturally isomorphic to NJ N H J. W will construct an isomorphism Φ: N J N H J M N H M by building a collction of isomorphisms {Φ P : N J N J HM)/P ) N H M)/P ) for all P } that commut with th appropriat rstriction and transfr maps. For any subgroup H of H, N H M)/H ) = M /H H/H ), and N J N J HM)/H ) = N J HM) /J J/H ) = M J/H ) /J H/H ). So, w lt Φ H b th isomorphism of Lmma 4.3. Nxt, lt K b a subgroup of such that H < K <. By Lmma 4.5, it suffics to us induction to build an isomorphism Φ K : N J N J H M)/K) N H M)/K). For th bas cas assum K is th subgroup K in which H is maximal. W dfin Φ K by dfining two maps, on on th transfr summand of N J N H J M)/K), φ K : M J/H ) /J H/H)/W KH) M /H H/H)/ W KH), and on on th fr summand, φ K : Z { MH/H) J/ K ) /J } Z { MH/H) / K }. Lt φ K b th isomorphism inducd by Φ H, and lt φ K b th isomorphism of ) ) /J J/ K Lmma 4.2 that rarrangs th indics of a gnrator N m. Thn dfin Φ K to b φ K φ K. Bcaus of th way w dfind th rindxing isomorphisms in Lmmas 4.2 and 4.3 Φ K maps ach lmnt in R to an lmnt in T R. Thrfor, Φ K is a wll-dfind isomorphism. Th dfinition of Φ K and proof that Φ K is an isomorphism for any subgroup K such that H < K < is analogous. It rmains only to dfin Φ. By Lmma 4.6, NJ N H J M)/) is isomorphic to Z{MH/H)} ImtrJ )) / T R. Thus, w dfin Φ by dfining two maps φ and φ as w did abov. Ths maps pass to a wll-dfind isomorphism Th Norm Functors ar Strong Symmtric Monoidal. W now show that for all subgroups H of, N H : Mack H Mack is strong symmtric monoidal, and thus th norm functors satisfy Proprty b) of th Main Thorm. By Thorm 4.7, it suffics to lt H b maximal in. In this cas N H M simplifis nicly. Indd, if H is a subgroup of H, thn N H M)/H ) = M /H H/H ). Th only rmaining modul is N H M)/). Fact 4.8. Th modul NH M)/) is ) Z{MH/H)} M /H H/H)/ W H) / T R, whr th gnrators of T R ar lmnts of th forms Na + b) Na) Nb) tr Hg H a, b))

22 22 KRISTEN MAZUR and NtrH H x)) tr H fx)) for all a and b in MH/H), x in MH/H ) and H < H. Th polynomial g H a, b) is th polynomial g H a, b) of Thorm 2.5 valuatd at th appropriat Wyl conjugats of a 1 /H 1 and b 1 /H 1 in th sns of Lmma 3.8). Similarly, fx) is th polynomial fx) of Thorm 2.7 valuatd at th appropriat Wyl conjugats of x 1 /H 1 in th sns of Lmma 3.9). To show that NH is strong symmtric monoidal givn H-Macky functors M and L w will build an isomorphism Ψ: N H M N H L N H M L). Bfor dfining Ψ w will xplicitly dscrib NH M N H L and N H M L). Lmma 4.9. Lt H b maximal in and lt M and L b H-Macky functors. For all subgroups H of H, N H M N H L)/H ) = M /H L /H )H/H ), and consists of simpl tnsors of th form m /H l /H. Th gnrator γ of W H ) acts by γ m /H ) γ l /H ). Th modul NH M N H L)/) is isomorphic to Z{MH/H) LH/H)} Imtr H ) ) / F R, whr ImtrH ) is M /H L /H )H/H)/ W H). Th submodul F R is gnratd by Na + b) l) Na l) Nb l) trh g H a, b) l, and /H /H Nm y + z)) Nm y) Nm z) trh m g H y, z), NtrH H d) l) tr H trh H fd)) l, /H /H Nm trh H x)) tr H m trh H fx)) for all a, b, and m in MH/H), d in MH/H ), y z, and l in LH/H), x in LH/H ) and subgroups H of H. Proof. Th dscription of ach NH M N H L)/H ) follows dirctly from th dfinitions of NH and th box product. Thn N H M N H L)/) = N H M/) N H L/) Imtr H) ) / F R. Th submodul F R stms from combining th rlations dfind by th F R submodul with th rlations from ach T R submodul. For xampl, by th T R submodul of NH M/) w hav Na + b) Nl) Na) Nl) Nb) Nl) tr Hg H a, b)) Nl).

23 AN EQUIVARIANT TENSOR PRODUCT ON MACKEY FUNCTORS 23 But, now w us th F R submodul and th fact that rs H Nl)) = /H l to idntify trh g Ha, b)) Nl) with trh g H a, b) ) /H l. Finally, w us th fact that for any moduls R and S, Z{R} Z{S} is isomorphic to Z{R S} to arriv at th modul givn in th lmma. W introduc som notation bfor dscribing NH M L). Lt g Ha y, b z) b th polynomial g H a, b) of Thorm 2.5 valuatd at th appropriat Wyl conjugats of a y 1 1) /H 1 and b z 1 1) /H 1 in th sns of Lmma 3.8), and lt fd rs H H y)) and frsh H a) x) b th polynomial of Thorm 2.7 valuatd at th appropriat Wyl conjugats of d rs H H y) 1 1) /H 1 and rs H H a) x 1 1) /H 1, rspctivly in th sns of Lmma 3.9). Lmma Lt H b maximal in and lt M and L b H-Macky functors. For all subgroups H of H, N H M L)/H ) = M L) /H H/H ) with simpl tnsors m l) /H = m l m γ l γ m γ /H 1 l γ /H 1. Th gnrator γ of W H ) acts by γm l) /H = ) γ /H m γ /H 1 γ /H l γ /H 1 m l m γ /H 2 l γ /H 2. Th modul NH M L)/) is isomorphic to Z{MH/H) LH/H)} Imtr H ) ) / T R, whr Imtr H ) is M L) /H H/H)/ W H), and T R is gnratd by th following lmnts for all a y and b z in MH/H) LH/H), d in MH/H ), x in LH/H ), and subgroups H of H: Na y + b z) Na y) Nb z) tr Hg H a y, b z)), Ntr H H d) y) tr H fd rsh H y))), Na trh H x)) tr H frsh H a) x)). Proof. Th dscription of ach NH M L)/H ) follows dirctly from th dfinitions of NH and th box product. Thn N H M L)/) = Z{M L)H/H)} Imtr H) ) / T R. If w combin th Frobnius rciprocity submodul of M L)H/H) with Tambara rciprocity th rsulting modul is isomorphic to Z{MH/H) LH/H)} Imtr H ) ) / T R. Thorm For all subgroups H of, th norm functor NH : Mack H Mack is a strong symmtric monoidal functor. Proof. By Thorm 4.7 it suffics to lt H b maximal in. W will build an isomorphism Ψ: NH M N H L N H M L) by dfining a collction of isomorphisms {Ψ P : N H M N H L)/P ) N H M L)/P ) for all P }.

24 24 KRISTEN MAZUR First, lt H b a subgroup of H. Using th dscriptions of NH M N H L)/H ) and NH M L)/H ) givn in Lmmas 4.9 and 4.10 w dfin Ψ H to b an isomorphism analogous to that of Lmma 4.3 that rarrangs th indics. Spcifically, Ψ H maps a simpl tnsor m m γ m γ /H 1) l l γ l γ /H 1) in M /H L /H H/H ) to m l m γ l γ m γ /H 1 l γ /H 1 in M L) /H H/H ). W dfin th isomorphism Ψ by mploying a stratgy similar to th mthod usd in th proof of Thorm 4.7 to dfin Φ K. By Lmmas 4.9 and 4.10, N H M N H L/) = Z{MH/H) LH/H)} Imtr H) ) / F R, and NH M L)/) = Z{MH/H) LH/H)} ImtrH) ) / T R. Thus, w dfin Ψ to b th dirct sum of th following two maps. First, lt ψ : ImtrH ) Imtr H ) b th isomorphism inducd from Ψ H. Thn dfin ψ : Z{MH/H) LH/H)} Z{MH/H) LH/H)} by ψ Na y)) = Na y), and so w dfin Ψ to b ψ ψ. Bcaus of th way ψ rindxs th lmnts of ImtrH ), th map Ψ snds all lmnts in F R to lmnts in T R. Morovr, th rlations dfind by F R ar analogous to thos that dfin a tnsor product from a Cartsian product. It follows that Ψ is an isomorphism. W nd this sction with a proof of th Main Thorm. Proof of th Main Thorm. For all subgroups H of and H-Macky functors M, lt NH M b th -Macky functor dfind in Dfinition 3.2. Thn dfin th norm functors NH : Mack H Mack by M NH M. Ths maps satisfy all proprtis givn in th Main Thorm by Thorms 4.1, 4.7, and Proof of Thorm 1.1 Finally, givn a cyclic p-group, w us th norm functors NH : Mack H Mack to dfin a -symmtric monoidal structur on th catgory of -Macky functors. W will thn show that -Tambara functors ar th -commutativ monoids undr this structur, thus proving Thorm 1.1. W bgin with Hill and Hopkins dfinition of a -symmtric monoidal structur [3]. Dfinition 5.1. Lt S t F in,iso b th catgory whos objcts ar finit -sts and whos morphisms ar isomorphisms of -sts. Furthr, lt C,, ) b a symmtric monoidal catgory. A -symmtric monoidal structur on C consists of a functor ) ): S t F in,iso C C that satisfis th following proprtis. 1) X Y ) C = X C) Y C) and X C D) = X C) X D). 2) Whn rstrictd to S t F in,iso C this functor is th canonical xponntiation map givn by X C = C X.

25 AN EQUIVARIANT TENSOR PRODUCT ON MACKEY FUNCTORS 25 3) X Y C) is naturally isomorphic to X Y ) C. Thorm 5.2. Lt i H : Mack Mack H b th forgtful functor. For a cyclic p-group th functor ) ): S t F in,iso Mack Mack dfind by M := A, whr A is th Burnsid Macky functor, /H M := NH i HM for all orbits /H of, and X Y ) M := X M) Y M) for all X and Y in S t F in,iso is a -symmtric monoidal structur on Mack. Proof. Lt M b a -Macky functor. Th abov functor ) ): S t F in,iso Mack Mack satisfis Proprty 1 of Dfinition 5.1 bcaus th norm functors NH ar strong symmtric monoidal for all subgroups H of. Furthr, if X is a finit st, thn w can rgard it as a disjoint union of X -many copis of th -orbit /. Thus, ) ) satisfis Proprty 2 of Dfinition 5.1 sinc X M = / M) X = M X. Finally, to show that Proprty 3 of Dfinition 5.1 holds it suffics to show that /K /H) M = /K /H M) for all orbits /H and /K of. Without loss of gnrality w assum that H is a subgroup of K, so /K /H is isomorphic to /K /H. Thn /K /H) M = /H M) /K = N H i HM /K ). On th othr hand, /K /H M) = NK i K N H i HM, and using Thorm 4.7, i K N H i H M is isomorphic to N H Ki H M) /K. Thn via Thorm 4.11, N K H i H M) /K is isomorphic to N K H i H /K /H M) = N KN K H i H M /K ), and thrfor, M /K ) = N H i H M /H ). To dfin th commutativ ring objcts undr a -symmtric monoidal structur lt C b a symmtric monoidal catgory with a -symmtric monoidal structur ) ). Evry objct C in C dfins a functor ) C : S t F in,iso C. Dfinition 5.3. [3] A -commutativ monoid is an objct C in C togthr with an xtnsion of ) C as blow. S t F in,iso S t F in ) C W will finish proving Thorm 1.1 by showing that if w ndow Mack with th -symmtric monoidal structur dfind in Thorm 5.2, thn a Macky functor M is a Tambara functor if and only if it is a -commutativ monoid. W start by proving th forward implication in Proposition 5.4 and lav th rvrs implication to Proposition 5.7. Proposition 5.4. Lt M b a -Macky functor and ndow Mack with th - symmtric monoidal structur of Thorm 5.2. If M has th structur of a Tambara functor, thn M is a -commutativ monoid. C

26 26 KRISTEN MAZUR To prov Proposition 5.4 w nd to show that if S is a Tambara functor, thn a map X Y of -sts inducs a map X S Y S of Macky functors. Thus, w will xtnd th norm functors NH : Mack H Mack to functors NH : T amb H T amb on Tambara functors and show that NH is lft adjoint to th forgtful functor i H : T amb T amb H. Thn givn a Tambara functor S w can us th counit of th abov adjuction and th fact that th box product is th coproduct in T amb [10]) to induc a map X S Y S. Lmma 5.5. For all subgroups H of th functor N H : Mack H Mack xtnds to a functor N H : T amb H T amb. Proof. W nd to show that for all subgroups H of, if S is an H-Tambara functor thn NH S is a -Tambara functor. Howvr, by Thorm 4.7 it suffics to lt H b th maximal subgroup in. Sinc NH is strong symmtric monoidal it naturally xtnds to a functor rn H rn whr rn is th catgory of -rn functors. Hnc, it rmains to dfin th intrnal norm maps NK K : N H S)/K ) NH S)/K) for all subgroups K < K in. Sinc th box product is th coproduct in T amb H [10, Prop 9.1], if both H and H ar subgroups of H with H < H, thn w dfin NH H to b th /H fold box product of th norm map NH H in S. Lastly, w must dfin th norm NH : S /H H/H) NH S)/). This norm is th composition of th multiplication map of S with th map N : SH/H) NH S)/) dfind in Rmark 3.3. Thus, ltting µ: S /H S b th multiplication map of S, w dfin NH to b th composition S /H H/H) µ SH/H) N N H S)/). W hav constructd th functor NH : Mack H Mack so that th abov maps satisfy all proprtis of th norm maps of a Tambara functor. Lmma 5.6. Th functor N H : T amb H T amb is lft adjoint to th rstriction functor i H : T amb T amb H. Proof. Sinc w can compos adjunctions in a natural fashion [7], by Thorm 4.7, it suffics to lt H b maximal in. Lt R b in T amb and S b in T amb H. Furthr, lt T amb H S, i H R) b th st of morphisms from S to i H R in T amb H. W will show that T amb H S, i HR) is in natural bijctiv corrspondnc with T amb NH S, R) by showing that vry morphism in T amb NH S, R) dtrmins and is dtrmind by a morphism in T amb H S, i H R). A morphism Ω in T amb NH S, R) consists of a collction of ring homomorphisms {Ω P : NH S)/P ) R/P ) for all P } that commut with th appropriat rstriction, transfr and norm maps. Furthr, vry lmnt in NH S)/) is a sum consisting of lmnts in th imag of th transfr map and sums of lmnts in th imag of th norm map. Indd, vry gnrator Ns) in th imag of th fr summand Z{SH/H)} of NH S)/) is th norm of th lmnt s 1 /H 1 in NH S)/H).) Thus, th ring homomorphism Ω is compltly dtrmind by Ω H, and sinc H is maximal in, th morphism Ω is compltd dtrmind by th collction of ring homomorphisms {Ω H : S /H H/H ) R/H ) for all H H}.