Abstract:We construct a K-theory version of Bhatt-Morrow-Scholze's Breuil-Kisin cohomology theory for $\sO_K$-linear idempotent-complete, small smooth proper stable infinity-categories, where $K$ is a discretely valued extension of $\Q_p$ with perfect residue field. As a corollary, under the assumption that $K(1)$-local K theory satisfies the Künneth formula for $\sO_K$-linear idempotent-complete, small smooth proper stable $\infty$-categories, we prove a comparison theorem between $K(1)$-local K theory of the generic fiber and topological cyclic periodic homology theory of the special fiber with $\Bcry$-coefficients, and $p$-adic Galois representations of $K(1)$-local K theory for $\sO_K$-linear idempotent-complete, small smooth proper stable $\infty$-categories are semi-stable. We also provide an alternative K-theoretical proof of the semi-stability of p-adic Galois representations of the p-adic étale cohomology group of smooth proper varieties over $K$ with good reduction. is a short, This is a short preliminary version of the work that was later expanded in <a class="link-https" data-arxiv-id="2309.13654" href="https://arxiv.org/abs/2309.13654">2309.13654</a>.

Equivariant $K$-theory, affine Grassmannian and perfection

Equivariant $K$-homology of affine Grassmannian and $K$-theoretic double $k$-Schur functions

K-theory and perfection

Equivariant Algebraic K-Theory and Derived completions II: the case of Equivariant Homotopy K-Theory and Equivariant K-Theory

Equivariant $K$-theory of even-dimensional complex quadrics

Equivariant Algebraic K-Theory and Derived completions III: Applications

Endomorphisms of Equivariant Algebraic $K$-theory

Equivariant Schubert calculus and geometric Satake

On higher Jacobians, Laplace equations and Lefschetz properties

Equivariant algebraic $K$-theory of symmetric monoidal Mackey functors

Derived Categories of Derived Grassmannians

Equivariant K-homology and K-theory for some discrete planar affine groups

Algebraic Kasparov K-theory. II

Equivariant cohomology of Grassmannian spanning lines

Towards the $p$-adic Hodge theory for non-commutative algebraic varieties

Algebraic K-theory of toric hypersurfaces

The Galois-equivariant $K$-theory of finite fields

Equivariant K-theory and refined Vafa-Witten invariants

On the $K$-theory of the $p$-adic unit disk

Multifunctorial Equivariant Algebraic K-Theory