Abstract 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
The right adjoint to the equivariant operadic forgetful functor on incomplete Tambara functors
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
- PAR ID:
- 10156171
- Date Published:
- Journal Name:
- Contemporary mathematics
- Volume:
- 729
- ISSN:
- 0271-4132
- Page Range / eLocation ID:
- 75-92
- Format(s):
- Medium: X
- 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
-
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 a characterization of finite \'etale morphisms in tensortriangular geometry. They are precisely those functors which have aconservative right adjoint, satisfy Grothendieck--Neeman duality, and for whichthe relative dualizing object is trivial (via a canonically-defined map).more » « less
-
Balchin, Scott; Barnes, David; Kedziorek, Magdalena; Szymik, Markus (Ed.)The definition of the homotopy limit of a diagram of left Quillen functors of model categories has been useful in a number of applications. In this chapter we review its definition and summarize some of these applications. We conclude with a discussion of why we could work with right Quillen functors instead, but cannot work with a combination of the two.more » « less
An official website of the United States government

