skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: 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
Award ID(s):
1812064 1509652
PAR ID:
10156171
Author(s) / Creator(s):
;
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
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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