Related papers: Notes on $\delta$-algebras and prisms in homotopy …

We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes…

Let $p$ be a prime, let $KU_p$ be $p$-complete complex $K$-theory, and let $\mathbb{Z}_p^\times$ denote the group of units in the $p$-adic integers. The $p$-adic Adams operations induce an action of the profinite group $\mathbb{Z}_p^\times$…

Kasparov $KK$-groups $KK(A,B)$ are represented as homotopy groups of the Pedersen-Weibel nonconnective algebraic $K$-theory spectrum of the additive category of Fredholm $(A,B)$-bimodules for $A$ and $B$, respectively, a separable and…

This very rough sketch is a sequel to arXiv:1808.08587; it presents evidence that operations on lifts of the functors K(n) to cohomology theories with values in modules over valuation rings of local number fields, indexed by Lubin-Tate…

We develop a rigidity criterion to show that in simplicial model categories with a compatible symmetric monoidal structure, operad structures can be automatically lifted along certain maps. This is applied to obtain an unpublished result of…

The cyclotomic trace provides a comparison of the algebraic K-theory spectrum and a pro-spectrum TR that is built from the cyclic fixed points of topological Hochschild homology. In a previous paper with Ib Madsen, we used this comparison…

We consider generalized $\Lambda$-structures on algebras and schemes over the ring of integers $\mathit{O}_K$ of a number field $K$. When $K=\mathbb{Q}$, these agree with the $\lambda$-ring structures of algebraic K-theory. We then study…

We combine Lurie's generalization of the Hopkins-Miller theorem with work of Zink-Lau on displays to give a functorial construction of even-periodic commutative ring spectra, concentrated in chromatic layers 2 and above, associated to…

Using a previous classification result on symmetric additive 2-cocycles, we collect a variety of facts about the Lubin-Tate cohomology of formal groups to compute the 2-primary component of the scheme of symmetric multiplicative 2-cocycles.…

This is an expository article about power operations and their connection with the study of highly structured ring spectra. In particular, we discuss Dyer-Lashof operations and their evolving role in the study of iterated loop spaces,…

We study the K-group K_1 of the group ring of a finite group over a coefficient ring which is p-adically complete and admits a lift of Frobenius. In this paper, we consider the image of K_1 under the determinant map; the central tool is the…

We construct commutative algebra spectra that represent the operator $K$-theory of $C^*$-algebras, which are algebras over the commutative ring spectra that represent topological $K$-theory. The spectral multiplicative structure introduces…

We set up foundations of representation theory over $S$, the sphere spectrum, which is the `initial ring' of stable homotopy theory. In particular, we treat $S$-Lie algebras and their representations, characters, $gl_n(S)$-Verma modules and…

The purpose of this article is to show that flat compact K\"ahler manifolds exhibit the structure of a Frobenius manifold, a structure originating in 2D Topological Quantum Field Theory and closely related to Joyce structure. As a result,…

We provide spectral Lie algebras with enveloping algebras over the operad of little $G$-framed $n$-dimensional disks for any choice of dimension $n$ and structure group $G$, and we describe these objects in two complementary ways. The first…

We investigate Hopf algebroids in the category of $L$-complete modules over a commutative Noetherian regular complete local ring. The main examples are provided by the Hopf algebroids associated to Lubin-Tate spectra in the K(n)-local…

The notion of a Z-algebra has a non-linear analogue, whose purpose it is to control operations on commutative rings rather than linear operations on abelian groups. These plethories can also be considered non-linear generalizations of…

Let k be a regular F_p-algebra, let A = k[x,y]/(x^b - y^a) be the coordinate ring of a planar cuspical curve, and let I = (x,y) be the ideal that defines the cusp point. We give a formula for the relative K-groups K_q(A,I) in terms of the…

We announce new methods for using prismatic cohomology to compute the K-groups of $\mathbb{Z}/p^n$ and related rings. We use computer algebra methods to compute these K-groups through a large range in specific cases and also obtain explicit…

We extend the result of Blumberg and Mandell on K-theoretic Tate-Poitou duality at odd primes which serves as a spectral refinement of the classical arithmetic Tate-Poitou duality. The duality is formulated for the $K(1)$-localized…