Descent in algebraic K-theory and a conjecture of Ausoni-Rognes

DOI10.4171/JEMS/942MaRDI QIDQ2178250zbMATH OpenWikidataFDO

Authors Dustin Clausen, Akhil Mathew, Niko Naumann, Justin Noel

Publication date 7 May 2020

Published in Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1606.03328

zbMATH Keywords

algebraic \(K\)-theorychromatic homotopy theordescentGalois extensionsstructured ring spectra

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Algebraic (K)-theory and (L)-theory (category-theoretic aspects) (18F25) (K)-theory and homology; cyclic homology and cohomology (19D55) Stable homotopy theory, spectra (55P42) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43)

Abstract: Let $AoB$ be a $G$-Galois extension of rings, or more generally of $mathbb{E}_{i}nfty$-ring spectra in the sense of Rognes. A basic question in algebraic $K$-theory asks how close the map $K(A)oK(B{)}^{hG}$ is to being an equivalence, i.e., how close algebraic $K$-theory is to satisfying Galois descent. An elementary argument with the transfer shows that this equivalence is true rationally in most cases of interest. Motivated by the classical descent theorem of Thomason, one also expects such a result after periodic localization. We formulate and prove a general result which enables one to promote rational descent statements as above into descent statements after periodic localization. This reduces the localized descent problem to establishing an elementary condition on $K_0(-)otimesmathbbQ$. As applications, we prove various descent results in the periodic localized $K$-theory, $TC$, $THH$, etc. of structured ring spectra, and verify several cases of a conjecture of Ausoni and Rognes.

Recommendations

• Descent, motives and K-theory.
• Algebraic \(K\)-theory and descent for blow-ups
• Descent for the K-theory of polynomial rings
• Algebraic \(K\)-theory and cubical descent
• Adelic descent for K-theory
• scientific article; zbMATH DE number 936431
• A Descent Theorem for Hermitian K-Theory
• Descent theory for schemes
• Descent for \(K\)-theories
• Excision, descent, and singularity in algebraic K-theory

Cites work

• \(\mathbf{A}^1\)-homotopy theory of noncommutative motives
• A note on graded k-theory
• A quadratic refinement of the Grothendieck-Lefschetz-Verdier trace formula
• A simple universal property of Thom ring spectra
• A thick subcategory theorem for modules over certain ring spectra
• A universal characterization of higher algebraic K-theory
• Affineness and chromatic homotopy theory
• Algebraic \(K\)-theory
• Algebraic K-theory and etale cohomology
• Algebraic K-theory of strict ring spectra
• Algebraization and Tannaka duality
• Arithmetic Moduli of Elliptic Curves. (AM-108)
• ARITHMETIC MODULI OF GENERALIZED ELLIPTIC CURVES
• Brauer groups and étale cohomology in derived algebraic geometry
• Day convolution for -categories
• Deriving DG categories
• Dimensions of triangulated categories.
• Duality for topological modular forms
• Equivariant algebraic \(K\)-theory of \(G\)-rings
• Finite complexes with A(n)-free cohomology
• Finite subgroups of division algebras over local fields
• Galois extensions of structured ring spectra. Stably dualizable groups
• Graded rings and graded Grothendieck groups
• Higher Topos Theory (AM-170)
• Higher traces, noncommutative motives, and the categorified Chern character
• scientific article; zbMATH DE number 4177249 (Why is no real title available?)
• scientific article; zbMATH DE number 3984103 (Why is no real title available?)
• scientific article; zbMATH DE number 49937 (Why is no real title available?)
• scientific article; zbMATH DE number 3484889 (Why is no real title available?)
• scientific article; zbMATH DE number 3559805 (Why is no real title available?)
• scientific article; zbMATH DE number 1223480 (Why is no real title available?)
• scientific article; zbMATH DE number 2069670 (Why is no real title available?)
• scientific article; zbMATH DE number 949383 (Why is no real title available?)
• scientific article; zbMATH DE number 3445348 (Why is no real title available?)
• scientific article; zbMATH DE number 796971 (Why is no real title available?)
• Integral transforms and Drinfeld centers in derived algebraic geometry
• Les Schémas de Modules de Courbes Elliptiques
• Nilpotence and descent in equivariant stable homotopy theory
• Nilpotence and Periodicity in Stable Homotopy Theory. (AM-128)
• Nilpotence and stable homotopy theory. I
• Nilpotence and stable homotopy theory. II
• On a nilpotence conjecture of J. P. May
• On multiplicative transfer
• On the algebraic K-theory of higher categories
• On the Classification of Topological Field Theories
• Operadic multiplications in equivariant spectra, norms, and transfers
• Picard groups of higher real K-theory spectra at height p-1
• Projectivity and relative projectivity over group rings
• Rational algebraic \(K\)-theory of topological \(K\)-theory
• Spectral Mackey functors and equivariant algebraic \(K\)-theory. I.
• Spectral Mackey functors and equivariant algebraic \(K\)-theory. II.
• The Galois group of a stable homotopy theory
• The Grothendieck duality theorem via Bousfield’s techniques and Brown representability
• The homology of \(\mathrm{tmf}\)
• The localization of spectra with respect to homology
• The localization sequence for the algebraic \(K\)-theory of topological \(K\) -theory
• The Morava K-theory of algebraic K-theory spectra
• The norm residue theorem and the Quillen-Lichtenbaum conjecture
• Topological automorphic forms
• Topological Hochschild homology and cohomology of \(A_{\infty }\) ring spectra
• Topological modular forms with level structure
• Uniqueness of the multiplicative cyclotomic trace
• Universality of multiplicative infinite loop space machines
• Vanishing lines in generalized Adams spectral sequences are generic
• Witt vectors and equivariant ring spectra applied to cobordism

Cited in

(33)

• Descent of isocrystals and \({\mathcal D}^\dag\)-modules
• Algebraic \(K\)-theory and descent for blow-ups
• Excellent rings in transchromatic homotopy theory
• On the étale descent problem for topological cyclic homology and algebraic K-theory
• Inverting the motivic Bott element
• Hyperdescent and étale K-theory
• Thom spectra, higher THH and tensors in \(\infty\)-categories
• The \(\text{K}\)-theory of perfectoid rings
• Analogs of Dirichlet \(L\)-functions in chromatic homotopy theory
• Remarks on \(K(1)\)-local \(K\)-theory
• Weibel's conjecture for twisted K-theory
• Galois descent for real spectra
• Equivariant Stable Homotopy Theory and the Finite Descent Problem for Unstable Algebraic K-Theories
• Descent on fibrations over P¹_k revisited
• On K(1)-local TR
• The spectrum of derived Mackey functors
• Towards an understanding of ramified extensions of structured ring spectra
• Modules over algebraic cobordism
• Detecting and describing ramification for structured ring spectra
• \(K\)-theory and \(G\)-theory of derived algebraic stacks
• Topology. Abstracts from the workshop held July 24--30, 2022
• Higher semiadditive algebraic K-theory and redshift
• Purity in chromatically localized algebraic K-theory
• Descent and vanishing in chromatic algebraic K-theory via group actions
• On curves in \(\mathrm{K}\)-theory and TR
• Descent in tensor triangular geometry
• Topological Hochschild homology of the image of J
• On pro-cdh descent on derived schemes
• A descent view on Mitchell's theorem
• Thomason filtration via T(1)-local TC
• The Galois-equivariant K-theory of finite fields
• Examples of chromatic redshift in algebraic K-theory
• Chromatic defect, Wood's theorem and higher real K-theories

This page was built for publication: Descent in algebraic \(K\)-theory and a conjecture of Ausoni-Rognes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2178250)