Free algebras are always free as modules over the base ring in classical algebra. In equivariant algebra, free incomplete Tambara functors play the role of free algebras and Mackey functors play the role of modules. Surprisingly, free incomplete Tambara functors often fail to be free as Mackey functors. In this paper, we determine for all finite groups conditions under which a free incomplete Tambara functor is free as a Mackey functor. For solvable groups, we show that a free incomplete Tambara functor is flat as a Mackey functor precisely when these conditions hold. Our results imply that free incomplete Tambara functors are almost never flat as Mackey functors. However, we show that after suitable localizations, free incomplete Tambara functors are always free as Mackey functors.
more » « less- PAR ID:
- 10361742
- Publisher / Repository:
- Oxford University Press
- Date Published:
- Journal Name:
- International Mathematics Research Notices
- Volume:
- 2023
- Issue:
- 5
- ISSN:
- 1073-7928
- Format(s):
- Medium: X Size: p. 4225-4291
- Size(s):
- p. 4225-4291
- Sponsoring Org:
- National Science Foundation
More Like this
-
Balchin, S. ; Barnes, D. ; Kędziorek, M. ; Szymik, M. (Ed.)For an equivariant commutative ring spectrum R, \pi_0 R has algebraic structure reflecting the presence of both additive transfers and multiplicative norms. The additive structure gives rise to a Mackey functor and the multiplicative structure yields the additional structure of a Tambara functor. If R is an N_\infty ring spectrum in the category of genuine G-spectra, then all possible additive transfers are present and \pi_0 R has the structure of an incomplete Tambara functor. However, if R is an N_\infty ring spectrum in a category of incomplete G-spectra, the situation is more subtle. In this chapter, we study the algebraic theory of Tambara structures on incomplete Mackey functors, which we call bi-incomplete Tambara functors. Just as incomplete Tambara functors have compatibility conditions that control which systems of norms are possible, bi-incomplete Tambara functors have algebraic constraints arising from the possible interactions of transfers and norms. We give a complete description of the possible interactions between the additive and multiplicative structures.more » « less
-
For N∞ operads O and O' such that there is an inclusion of the associated indexing systems, there is a forgetful functor from incomplete Tambara functors over O' to incomplete Tambara functors over O. Roughly speaking, this functor forgets the norms in O' that are not present in O. The forgetful functor has both a left and a right adjoint; the left adjoint is an operadic tensor product, but the right adjoint is more mysterious. We explicitly compute the right adjoint for finite cyclic groups of prime order.more » « less
-
Tambara functors are an equivariant generalization of rings that appear as the homotopy groups of genuine equivariant commutative ring spectra. In recent work, Blumberg and Hill have studied the corresponding algebraic structures, called bi-incomplete Tambara functors, that arise from ring spectra indexed on incomplete G-universes. We answer a conjecture of Blumberg and Hill by proving a generalization of the Hoyer–Mazur theorem in the bi-incomplete setting. Bi-incomplete Tambara functors are characterized by indexing categories which parametrize incomplete systems of norms and transfers. In the course of our work, we develop several new tools for studying these indexing categories. In particular, we provide an easily checked, combinatorial characterization of when two indexing categories are compatible in the sense of Blumberg and Hill.more » « less
-
We provide new examples of étale extensions of Green functors by transferring classical examples of étale extensions to the equivariant setting. Our examples are Tambara functors, and we prove Green étaleness for them, which implies Tambara étaleness. We show that every
-Galois extensions of fields gives rise to an étale extension of -Green functors. Here we associate the constant Tambara functor to the base field and the fix-Tambara functor to the extension. We also prove that all -Kummer extensions give rise to étale extensions for arbitrary finite . Étale extensions of fields induce étale extension of -Green functors for any finite group by passing to the corresponding constant -Tambara functors. -
Abstract We show that the bicategory of finite groupoids and right-free permutation bimodules is a quotient of the bicategory of Mackey 2-motives introduced in [2], obtained by modding out the so-called cohomological relations. This categorifies Yoshida’s theorem for ordinary cohomological Mackey functors and provides a direct connection between Mackey 2-motives and the usual blocks of representation theory.