Related papers: Completed power operations for Morava E-theory

We compute the algebraic K-theory modulo p and v_1 of the S-algebra ell/p = k(1), using topological cyclic homology.

Recently, examples of an index theory for KMS states of circle actions were discovered, \cite{CPR2,CRT}. We show that these examples are not isolated. Rather there is a general framework in which we use KMS states for circle actions on a…

We develop complex function theory within certain algebras of holomorphic functions on coverings of Stein manifolds. This, in particular, includes the results on holomorphic extension from complex submanifolds, corona type theorems,…

We generalize the completion theorem for equivariant MU-module spectra for finite groups or finite extensions of a torus to compact Lie groups using the splitting of global functors proved by Schwede. This proves a conjecture of Greenlees…

We describe explicitly the algebras of degree zero operations in connective and periodic p-local complex K-theory. Operations are written uniquely in terms of certain infinite linear combinations of Adams operations, and we give formulas…

Using the formalism of discrete quantum group gauge theory, one can construct the quantum algebras of observables for the Hamiltonian Chern-Simons model. The resulting moduli algebras provide quantizations of the algebra of functions on the…

This paper provides conditions for Morava $K$-theory to commute with certain homotopy limits. These conditions extend previous work on this question by allowing for homotopy limits of sequences of spectra that are not uniformly bounded…

We study the "higher algebra" of spectral Mackey functors, which the first named author introduced in Part I of this paper. In particular, armed with our new theory of symmetric promonoidal $\infty$-categories and a suitable generalization…

Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on star-continuous Kleene omega-algebras, we show here that energy problems can be solved by algebraic manipulations on the…

The Morava $E$-theories, $E_{n}$, are complex-oriented $2$-periodic ring spectra, with homotopy groups $\mathbb{W}_{\mathbb{F}_{p^{n}}}[[u_{1}, u_{2}, ... , u_{n-1}]][u,u^{-1}]$. Here $\mathbb{W}$ denotes the Witt vector ring. $E_{n}$ is a…

We use techniques from both real and complex algebraic geometry to study K-theoretic and related invariants of the algebra C(X) of continuous complex-valued functions on a compact Hausdorff topological space X. For example, we prove a…

Twisted Morava K-theory, along with computational techniques, including a universal coefficient theorem and an Atiyah-Hirzebruch spectral sequence, was introduced by Craig Westerland and the first author. We employ these techniques to…

Given an E-infinity ring spectrum R, with motivation from chromatic homotopy theory, we define relative effective Cartier divisors for a spectral Deligne-Mumford stack over Spet(R) and prove that, as a functor from connective R-algebras to…

Exterior power operations provide an additional structure on K-groups of schemes which lies at the heart of Grothendieck's Riemann-Roch theory. Over the past decades, various authors have constructed such operations on higher K-theory. In…

We formulate the axioms of an orbifold theory with power operations. We define orbifold Tate K-theory, by adjusting Devoto's definition of the equivariant theory, and proceed to construct its power operations. We calculate the resulting…

We consider functors from the category of locally convex algebras to abelian groups and prove invariance under smooth homotopies for weakly J-stable algebras, where J is a harmonic operator ideal. This applies in particular to negative…

We show that there is an essentially unique S-algebra structure on the Morava K-theory spectrum K(n), while K(n) has uncountably many MU or \hE{n}-algebra structures. Here \hE{n} is the K(n)-localized Johnson-Wilson spectrum. To prove this…

This paper investigates the logical strength of completeness theorems for modal propositional logic within second-order arithmetic. We demonstrate that the weak completeness theorem for modal propositional logic is provable in…

We use Grayson's binary multicomplex presentation of algebraic $K$-theory to give a new construction of exterior power operations on the higher $K$-groups of a (quasi-compact) scheme. We show that these operations satisfy the axioms of a…

Using $\lambda$ operations, we give some results on the kernel of the natural map from the monoid algebra $\mathbb{Z} R$ of a commutative ring $R$ to the ring of $S$-Witt vectors of $R$. As a byproduct we obtain a very natural…