---
title: Tate Fixed-Point Objects in Homotopy Theory
url: https://www.emergentmind.com/topics/tate-fixed-point-objects
type: topic
---

# Tate Fixed-Point Objects in Homotopy Theory

Searching arXiv for foundational and related papers on Tate constructions, cyclotomic spectra, and geometric fixed points.
search_arxiv({"query":"Nikolaus Scholze topological cyclic homology Tate construction arXiv", "max_results": 5})
Tate fixed-point objects are constructions in stable homotopy theory that compare homotopy orbits with homotopy fixed points and, in equivariant settings, encode residual information not detected by either operation alone. In the classical form, for a compact Lie group $G$ acting on a spectrum $X$, one has
\[
X_{hG}=\operatorname{colim}_{BG}X,\qquad X^{hG}=\operatorname{lim}_{BG}X,
\]
and the Tate spectrum $X^{tG}$ sits in a cofiber sequence
\[
X_{hG}\longrightarrow X^{hG}\longrightarrow X^{tG}.
\]
Recent work develops this basic object in two complementary directions: a genuine equivariant refinement attached to an extension $1\to K\to \widehat G\to G\to 1$, called the parametrized Tate construction $(-)^{t_GK}$, and a categorical formulation as a Verdier quotient that supports applications to $\E_\infty$ orientations, Frobenius maps, cyclotomic structures, and obstruction theory [2110.07707] [2510.01488].

## 1. Classical and categorical forms

The ordinary Tate construction is the cofiber of the norm map from homotopy orbits to homotopy fixed points. In the formulation used by Carmeli–Luecke, this is already part of a broader categorical framework: for an $\E_\infty$-ring $R$, one works in the stable $\infty$-category $\Perf(R)$ of perfect $R$-modules, and for a family of subgroups $\mathcal F$ of $G$ one defines a thick tensor-ideal
\[
\Nm_{\mathcal F}\colon \Perf(R)[\mathcal F]\hookrightarrow \Perf(R)^{BG}
\]
generated by induced objects from subgroups in $\mathcal F$. The categorical Tate construction is then the Verdier quotient
\[
T_{\mathcal F}\colon \Perf(R)^{BG}\longrightarrow \Perf(R)^{t_{\mathcal F}G}:=\Perf(R)^{BG}/\Nm_{\mathcal F}.
\]
On the unit object this recovers the usual Tate construction
\[
R^{t_{\mathcal F}G}=(R)^{t_{\mathcal F}G},
\]
and when $\mathcal F=\{1\}$ this is the ordinary trivial-action Tate spectrum $R^{tG}$ [2510.01488].

This formulation makes explicit that Tate fixed-point objects are not exhausted by the single cofiber sequence. They may also be characterized as Verdier quotients of equivariant module categories, and this viewpoint is particularly effective when multiplicative structure, induced objects, or thick tensor-ideals are central. A common misunderstanding is to identify the Tate construction solely with a numerical correction term between orbits and fixed points; the categorical formulation shows that it is instead a quotient construction that isolates what remains after induced isotropy from a prescribed family has been annihilated.

## 2. Genuine equivariant refinement and the role of families

Quigley–Shah introduce a genuine equivariant refinement associated to a short exact sequence of compact-Lie groups
\[
1\to K\to \widehat G\to G\to 1,
\]
with $G$ finite, $K$ compact Lie, and $\widehat G$ a semidirect or more general extension. The input category is the $\infty$-category of genuine $\widehat G$-spectra, denoted $\Sp^{\widehat G}$ and modeled as $SH(B\widehat G)$; it carries the usual restriction, induction, and norm functors [2110.07707].

A basic organizing device is the notion of a $G$-family $\mathcal F$, namely a collection of subgroups of $G$ closed under subconjugacy, equivalently a sieve in the poset of subgroups. Its universal $G$-space $E\mathcal F$ is characterized by
\[
(E\mathcal F)^H=
\begin{cases}
\ast & H\in\mathcal F,\\
\varnothing & \text{otherwise,}
\end{cases}
\]
and the cofiber
\[
\widetilde U\mathcal F=\operatorname{cofiber}(E\mathcal F{}_+\to S^0)
\]
is the idempotent in $\Sp^G$ cutting out $\mathcal F$-localization. If $N\trianglelefteq G$ is normal, the $N$-free family is
\[
\Gamma_N:=\{H\leq G\mid H\cap N=1\}.
\]

For the extension $1\to K\to \widehat G\to G\to 1$, the relevant family is the $K$-free family $\Gamma_K\subset \operatorname{Sub}(\widehat G)$. This is the isotropy datum that governs the parametrized Tate construction. When $K$ is finite, one writes $\psi:1\to K\to \widehat G\to G\to 1$, forms the $G$-space $B_G^\psi K$, and considers as input a $G$-functor
\[
X\colon B_G^\psi K\to \underline{\Sp}^G.
\]
The resulting functor $(-)^{t_GK}$ is thus a genuine-equivariant refinement of the ordinary Tate construction rather than a mere rebranding of the classical $X^{tG}$.

## 3. Three equivalent constructions for finite $K$

The main theorem of Quigley–Shah identifies three conceptually distinct constructions of $(-)^{t_GK}$ when $K$ is finite. The coincidence of these constructions is structurally important because it links recollement theory, parametrized ambidexterity, and assembly maps in a single object [2110.07707].

| Perspective | Basic data | Output description |
|---|---|---|
| Recollement theory | The symmetric-monoidal recollement determined by $\widetilde U\Gamma_K$ in $\Sp^{\widehat G}$ | $X^{t_GK}\simeq \Psi^K(j_*(X)\wedge \widetilde U\Gamma_K)$ |
| Parametrized ambidexterity | The map $p\colon B_G^\psi K\to *$ with adjoints $p_!,p_*$ | $(-)^{t_GK}:=\operatorname{cofiber}(N_p)$ |
| Parametrized assembly | The universal factorization $p_!(D_S\otimes -)\to p_*$ | $p_*^T=\operatorname{cofiber}(p_!(D_S\otimes -)\to p_*)$ |

In the recollement approach, $\Sp^{\widehat G}$ admits a symmetric-monoidal recollement determined by the idempotent $\widetilde U\Gamma_K$ cutting out the $K$-free family. Pulling back along the restriction $\widehat G\to G$ and then applying categorical $K$-fixed points $\Psi^K$ yields a factorization
\[
X\mapsto \mathrm{inflate}\,X\in \Sp^{\widehat G}\mapsto (\cdots\otimes \widetilde U\Gamma_K)\in \Sp^{\widehat G}\mapsto \Psi^K(\cdots)\in \Sp^G.
\]
If $j_*$ inserts $G$-spectra with $\psi$-twisted $K$-action as the $\widetilde U\Gamma_K$-complete objects, then
\[
X^{t_GK}\simeq \Psi^K(j_*(X)\wedge \widetilde U\Gamma_K),
\]
and this identifies with the cofiber of
\[
j_!(X)\to j_*(X)\to j_*(X)\wedge \widetilde U\Gamma_K.
\]
Since $\Psi^K(j_!(X))\simeq X_{h_GK}$ and $\Psi^K(j_*(X))\simeq X^{h_GK}$, one recovers the norm cofiber sequence
\[
X_{h_GK}\to X^{h_GK}\to X^{t_GK}.
\]

In the ambidexterity approach, one considers the Beck–Chevalley fibration of $G$-local systems on $\Sp^G$,
\[
\operatorname{LocSys}^G(\Sp^G)\to \Spc^G,
\]
whose fiber over a $G$-space $U$ is $\operatorname{Fun}_G(U,\underline{\Sp}^G)$. For the map $p\colon B_G^\psi K\to *$, the left adjoint $p_!$ is parametrized homotopy-orbits $X\mapsto X_{h_GK}$ and the right adjoint $p_*$ is parametrized homotopy-fixed-points $X\mapsto X^{h_GK}$. Ambidexterity provides a universal norm map
\[
N_p\colon p_!\to p_*,
\]
and its cofiber is by definition the parametrized Tate construction.

In the assembly-map approach, $\operatorname{Fun}_G(B_G^\psi K,\underline{\Sp}^G)$ is fiberwise compactly generated, and the colimit-preserving functor $p_*$ admits a universal factorization
\[
p_!(D_S\otimes -)\to p_*,
\]
whose restriction to compacts is an equivalence. The dualizing object is
\[
D_S(X)=(\Sigma^\infty_+K)^{h_G(K\times 1)}\simeq \Sigma^\infty_+S^{\mathfrak a}\to \underline{\Sp}^G.
\]
Its cofiber $p_*^T$ agrees with the ambidexterity and recollement constructions.

These equivalences show that the parametrized Tate construction is simultaneously a norm cofiber, a recollement quotient, and an assembly-theoretic residual functor. The data indicate that these descriptions are not alternative heuristics but genuinely equivalent models.

## 4. Lax $G$-symmetric monoidality and geometric fixed points

A central structural result is that $(-)^{t_GK}$ uniquely admits the structure of a lax $G$-symmetric monoidal functor, refining a theorem of Nikolaus–Scholze. More precisely, both $p_*$ and $p_*^T$ are right adjoints of the strong $G$-monoidal functor $p^*$, and $p_*^T$ vanishes on induced objects in $\operatorname{Fun}_G(B_G^\psi K,\underline{\Sp}^G)$; these induced objects form a $G$-$\otimes$-ideal. By a parametrized analogue of Nikolaus–Scholze I.4.1, the universal property of the Verdier quotient in the $G$-monoidal setting forces $p_*^T$ to admit a unique lax $G$-symmetric-monoidal refinement carrying the norm map $p_*\to p_*^T$ to a map of lax $G$-monoidal functors [2110.07707].

The coherence data are explicit. Over each span $U\to V$ in finite $G$-sets, the structure map is the canonical composite
\[
f_!^G(X)\otimes f_!^G(Y)\simeq f_!(X\otimes f^*Y)\to f_*(X\otimes f^*Y)\to f_*(X)\otimes Y.
\]
It intertwines with the fiberwise norm maps and is coherent under pullbacks.

The same paper relates this structure to geometric fixed points. A theorem of Ayala–Mazel-Gee–Rozenblyum, reproved by Shah, identifies $\Sp^G$ as the right-lax limit over the barycentric subdivision $sd(\operatorname{Sub}(G))$ of the diagram assigning to each $H$ the category $\Sp^{hW_GH}$ and to each inclusion $H\to K$ the generalized Tate functor $\tau_H^K$. Equivalently, one has a fracture square over the subconjugacy poset.

For an $\mathcal F$-complete $G$-spectrum $X$ and $H\notin \mathcal F$, the geometric $H$-fixed points may be computed as a limit over strings of proper subconjugacies ending at $H$. In particular, when $\mathcal F=\Gamma_K$,
\[
\Phi^H(X^{t_GK})\simeq
\lim_{[K_0<\cdots<K_n<H]}
\tau^H_{K_n}\circ\cdots\circ\tau^{K_1}_{K_0}(X^{\phi K_0}).
\]
This formula shows that parametrized Tate objects interact transparently with geometric fixed points only after one takes seriously the ambient family filtration and the generalized Tate functors along chains of proper subconjugacies.

## 5. Orientations, characteristic classes, and Frobenius maps

Carmeli–Luecke use categorical Tate fixed points to construct $\E_\infty$ orientations of Tate fixed-point objects and derive explicit characteristic-class formulas [2510.01488]. Let
\[
\mathcal V=\mathbb C_{\mathrm{triv}}\oplus \overline{\mathcal V}
\]
be a virtual complex $G$-representation with no trivial summands in $\overline{\mathcal V}$, and let $\mathcal F$ be the family of subgroups that do see a trivial summand in $\overline{\mathcal V}$. Given an $\E_\infty$-map
\[
\omega\colon MU\to R,
\]
one obtains an $\E_\infty$-map
\[
\#_{\mathcal V}(\omega)\colon MU\to R^{t_{\mathcal F}G}.
\]
This is produced from the trivial-action inclusion, the usual $j$-homomorphism, and the categorical Tate quotient. Writing $u\colon R\to R^{t_{\mathcal F}G}$ for the unit, the ratio
\[
\tch_{\mathcal V,\omega}
=
\frac{\#_{\mathcal V}(\omega)}{u_*\omega}
\in
\operatorname{Map}(\bu,\glone(R^{t_{\mathcal F}G}))
\]
is the stable exponential characteristic class with value on a bundle $V\to X$
\[
\tch_{\mathcal V,\omega}(V)
=
\frac{e_{u_*\omega}(V\otimes \overline{\mathcal V})}
{e_{u_*\omega}(\overline{\mathcal V})^{\mathrm{rank}(V)}}.
\]

Specializing to $G=C_p$ and the complex regular representation $\rho$, one gets
\[
\#_\rho(id)\colon MU\to MU^{tC_p},
\]
and this map is canonically homotopic to the Nikolaus–Scholze Frobenius
\[
\Fr\colon MU\to MU^{tC_p}.
\]
On the cohomology of $\mathbb{CP}^\infty$ with coordinate $x\in MU^2(\mathbb{CP}^\infty)$, the induced new coordinate is
\[
\Fr(x)
=
x\prod_{k=1}^{p-1}
\frac{x+_F[k]_F(t)}{[k]_F(t)}
\in (MU^{tC_p})^*(\mathbb{CP}^\infty),
\]
where $t\in MU^2(BC_p)$ is the Euler class of the standard $1$-dimensional representation and $+_F$, $[k]_F$ are the universal formal group law series on $MU$.

By lifting $\rho$ from $C_p$ to the representation
\[
\pi_p=\bigoplus_{i=0}^{p-1}L^i
\]
of the circle $\mathbb T$, one obtains an $\E_\infty$-map
\[
\#_{\pi_p}\colon MU\to (MU^{t\mathbb T})_{(p)}
\]
factoring the Frobenius $MU\to MU^{tC_p}$. In the paper’s terminology, a cyclotomic $\E_\infty$-ring is one equipped with compatible lifts of Frobenius for each prime, and $MU$ is naturally cyclotomic. The rigidity theorem states that any cyclotomic self-map
\[
\phi\colon MU\to MU
\]
must be the identity on homotopy rings. This yields a strong constraint on the Tate-fixed-point and TC-structure of complex bordism.

## 6. Obstruction theory and further applications

The same framework produces a general obstruction theory for $\E_n$ complex orientations. For a homotopy-ring map
\[
\phi\colon MU\to A
\]
into an $\E_\infty$-ring, one defines differences of total power maps
\[
\operatorname{obs}_{\mathrm{ser}}
=
P_\infty^A(\phi(x))-\phi(P_\infty^{MU}(x))
\in
A^{2\rho}(BC_p\times \mathbb{CP}^\infty),
\]
or, more generally, the individual Johnson–Noel obstructions on classes $[\mathbb{CP}^d]\in MU_{2d}$. If $\phi$ is an $\E_n$-map, these series must vanish modulo
\[
\bigl(p,\; t^{\lfloor \frac{(n-1)(p-1)}2\rfloor+1}\bigr).
\]
The paper also gives an explicit formula for $\operatorname{obs}_{\mathrm{ser}}(t)$ in terms of $\Fr^A$ and the formal group law on $A$.

Several non-existence results follow. There is no $2$-typical $\E_5$-orientation of any $\E_\infty$-ring with nonzero $T(1)$-localization, and the Quillen idempotent at $p=3$ is not $\E_5$ [2510.01488]. These results recover and refine Johnson–Noel’s bounds, and they illustrate a broader principle: Tate fixed-point objects retain enough power-operation and norm data to obstruct higher coherences of orientations.

Further applications extend this principle in multiple directions. A real form of the sharp construction shows that any $\MO\langle n\rangle$-oriented $\E_\infty$-ring is annihilated by the Morava $K$-theory $K(\phi(n))$, reproving Hovey–Ravenel’s support-theory result. From the circle-Tate-fixed-point lift $\#_\rho$ one obtains operations
\[
P_\MU^{-i}\colon MU^*(X)\to MU^{*+2i(p-1)}(X),
\]
whose reductions mod $p$ recover the classical Steenrod powers $P^i$ in $H\mathbb F_p$. The general Euler–Tate formula of the characteristic-class construction also applies in real, quaternionic, and truncated Thom-spectrum contexts.

Taken together, these developments place Tate fixed-point objects at the intersection of genuine equivariant homotopy theory, categorical localization, bordism orientations, and cyclotomic structure. The resulting picture is unified but not monolithic: the same object may be presented as a norm cofiber, a Verdier quotient, a recollement residual, or an assembly-theoretic cofiber, and different presentations become decisive in different applications.

Source: https://www.emergentmind.com/topics/tate-fixed-point-objects