Skip to content
DraconiticResearch
Search Sources API
197,693 studies31 sourcesUpdated 5 min ago
PreprintarXiv licencearXiv

Tate Frobenius and chromatic blueshift of finite spectra

Abstract

Let p be a prime and n≥ 1. We prove that the Tate-Frobenius of the K(n)-local sphere induces an equivalence between Ln−1LK(n)Y and (LK(n)Y)tΣp ≅ (LnY)tΣp for any finite p-local type n−1 spectrum Y with trivial Σp-action.

Related

  1. Galois reconstruction of Artin–Tate ℝ-motivic spectra
    Robert Burklund, Jeremy Hahn, Andrew Senger
    Geometry & TopologyPeer-reviewedCC BYFull text38 citedMathematical physicsOpenAlex
  2. Ooms spectra of Frobenius maximal parabolics: strict unimodality and Euclidean log-concavity
    Vincent E. Coll Jr
    arXivPreprintCC0Full textAlgebra & number theoryCombinatorics & discrete mathematicsarXiv
  3. Quantized six-vertex model at roots of unity: Frobenius property and free-parafermion spectra
    Rei Inoue, Atsuo Kuniba, Yuji Terashima +1
    arXivPreprintarXiv licenceFull textAlgebra & number theoryMathematical physicsarXiv
  4. Nonunimodal principal spectra of Frobenius parabolic Lie algebras
    Vincent E. Coll Jr
    arXivPreprintCC0Full textAlgebra & number theoryarXiv
  5. Lubin-Tate representations over nontrivial finite Galois extensions of ℚp are not Aut-intrinsically Hodge-Tate
    Kaiji Kondo
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
BibTeX
@misc{huang2026tate,
  title = {{Tate Frobenius and chromatic blueshift of finite spectra}},
  author = {Pengkun Huang},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.31806},
  eprint = {2610.31806},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.31806},
}
RIS
TY  - UNPB
TI  - Tate Frobenius and chromatic blueshift of finite spectra
AU  - Pengkun Huang
PY  - 2026
DA  - 2026/10/22
PB  - arXiv
DO  - 10.48550/arxiv.2610.31806
UR  - https://arxiv.org/abs/2610.31806
AB  - Let p be a prime and n≥ 1. We prove that the Tate-Frobenius of the K(n)-local sphere induces an equivalence between L_n−1L_K(n)Y and (L_K(n)Y)^tΣ_p ≅ (L_nY)^tΣ_p for any finite p-local type n−1 spectrum Y with trivial Σ_p-action.
ER  -