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: Generalized $\mathbb Z$-homotopy fixed points of $C_n$ spectra with applications to norms of $MU_{\mathbb R}$
We introduce a computationally tractable way to describe the $$\mathbb Z$$-homotopy fixed points of a $$C_{n}$$-spectrum $$E$$, producing a genuine $$C_{n}$$ spectrum $$E^{hn\mathbb Z}$$ whose fixed and homotopy fixed points agree and are the $$\mathbb Z$$-homotopy fixed points of $$E$$. These form the bottom piece of a contravariant functor from the divisor poset of $$n$$ to genuine $$C_{n}$$-spectra, and when $$E$$ is an $$N_{\infty}$$-ring spectrum, this functor lifts to a functor of $$N_{\infty}$$-ring spectra. For spectra like the Real Johnson--Wilson theories or the norms of Real bordism, the slice spectral sequence provides a way to easily compute the $RO(G)$-graded homotopy groups of the spectrum $$E^{hn\mathbb Z}$$, giving the homotopy groups of the $$\mathbb Z$$-homotopy fixed points. For the more general spectra in the contravariant functor, the slice spectral sequences interpolate between the one for the norm of Real bordism and the especially simple $$\mathbb Z$$-homotopy fixed point case, giving us a family of new tools to simplify slice computations.  more » « less
Award ID(s):
1811189
PAR ID:
10209008
Author(s) / Creator(s):
;
Date Published:
Journal Name:
New York journal of mathematics
Volume:
26
ISSN:
1076-9803
Page Range / eLocation ID:
92-115
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. 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
  2. null (Ed.)
    In this paper we develop methods for classifying Baker, Richter, and Szymik's Azumaya algebras over a commutative ring spectrum, especially in the largely inaccessible case where the ring is nonconnective. We give obstruction-theoretic tools, constructing and classifying these algebras and their automorphisms with Goerss–Hopkins obstruction theory, and give descent-theoretic tools, applying Lurie's work on $$\infty$$ -categories to show that a finite Galois extension of rings in the sense of Rognes becomes a homotopy fixed-point equivalence on Brauer spaces. For even-periodic ring spectra $$E$$ , we find that the ‘algebraic’ Azumaya algebras whose coefficient ring is projective are governed by the Brauer–Wall group of $$\pi _0(E)$$ , recovering a result of Baker, Richter, and Szymik. This allows us to calculate many examples. For example, we find that the algebraic Azumaya algebras over Lubin–Tate spectra have either four or two Morita equivalence classes, depending on whether the prime is odd or even, that all algebraic Azumaya algebras over the complex K-theory spectrum $KU$ are Morita trivial, and that the group of the Morita classes of algebraic Azumaya algebras over the localization $KU[1/2]$ is $$\mathbb {Z}/8\times \mathbb {Z}/2$$ . Using our descent results and an obstruction theory spectral sequence, we also study Azumaya algebras over the real K-theory spectrum $KO$ which become Morita-trivial $KU$ -algebras. We show that there exist exactly two Morita equivalence classes of these. The nontrivial Morita equivalence class is realized by an ‘exotic’ $KO$ -algebra with the same coefficient ring as $$\mathrm {End}_{KO}(KU)$$ . This requires a careful analysis of what happens in the homotopy fixed-point spectral sequence for the Picard space of $KU$ , previously studied by Mathew and Stojanoska. 
    more » « less
  3. Abstract In this paper, we investigate equivariant quotients of the Real bordism spectrum's multiplicative norm by permutation summands. These quotients are of interest because of their close relationship with higher real ‐theories. We introduce new techniques for computing the equivariant homotopy groups of such quotients. As a new example, we examine the theories . These spectra serve as natural equivariant generalizations of connective integral Morava ‐theories. We provide a complete computation of the ‐localized slice spectral sequence of , where is the real sign representation of . To achieve this computation, we establish a correspondence between this localized slice spectral sequence and the ‐based Adams spectral sequence in the category of ‐modules. Furthermore, we provide a full computation of the ‐localized slice spectral sequence of the height‐4 theory . The ‐slice spectral sequence can be entirely recovered from this computation. 
    more » « less
  4. We compute the $$v_1$$-periodic $$\mathbb{R}$$-motivic stable homotopy groups. The main tool is the effective slice spectral sequence. Along the way, we also analyze $$\mathbb{C}$$-motivic and $$\eta$$-periodic $$v_1$$-periodic homotopy from the same perspective. 
    more » « less
  5. We introduce a theory of stratifications of noncommutative stacks (i.e., presentable stable ∞<#comment/> \infty -categories), and we prove a reconstruction theorem that expresses them in terms of their strata and gluing data. This reconstruction theorem is compatible with symmetric monoidal structures, and with more general operadic structures such as E n \mathbb {E}_n -monoidal structures. We also provide a suite of fundamental operations for constructing new stratifications from old ones: restriction, pullback, quotient, pushforward, and refinement. Moreover, we establish a dual form of reconstruction; this is closely related to Verdier duality and reflection functors, and gives a categorification of Möbius inversion. Our main application is to equivariant stable homotopy theory: for any compact Lie group G G , we give a symmetric monoidal stratification of genuine G G -spectra. In the case that G G is finite, this expresses genuine G G -spectra in terms of their geometric fixedpoints (as homotopy-equivariant spectra) and gluing data therebetween (which are given by proper Tate constructions). We also prove an adelic reconstruction theorem; this applies not just to ordinary schemes but in the more general context of tensor-triangular geometry, where we obtain a symmetric monoidal stratification over the Balmer spectrum. We discuss the particular example of chromatic homotopy theory. 
    more » « less