under construction
symmetric monoidal (∞,1)-category of spectra
In analogy to how in ordinary algebra the natural logarithm of positive rational numbers is a group homomorphism from the group of units to the completion of the rationals by the (additive) real numbers
so in higher algebra for an E-∞ ring there is a natural homomorphism
from the ∞-group of units of to the K(n)-local spectrum obtained from (see Rezk 06, section 1.7).
On the cohomology theory represented by this induces a cohomology operation called, therefore, the “logarithmic cohomology operation”.
More in detail, for the homotopy type of a topological space, then the cohomology represented by in degree 0 is the ordinary group of units in the cohomology ring of :
In positive degree the canonical map of pointed homotopy types is in fact an isomorphism on all homotopy groups
On cohomology elements this map
is logarithm-like, in that it sends .
But there is not a homomorphism of spectra of this form. This only exists after K(n)-localization, and that is the logarithmic cohomology operation.
By the Bousfield-Kuhn construction there is an equivalence of spectra
between the K(n)-local spectrum induced by the abelian ∞-group of units of (regarded as a connective spectrum) with that induced by itself. The logarithm on is the composite of that with the localization map
(see Rezk 06, section 3).
For every E-∞ ring and spaces , prime number and natural number , the logarith induces a homomorphism of cohomology groups of the form
Under some conditions there is an explicit formula of the logarithmic cohomology operation by a series of power operations.
Let be a K(1)-local E-∞ ring such that
(This is for instance the case for tmf).
Then on a finite CW complex the logarithmic cohomology operation from above
is given by the series
which converges p-adically.
(Rezk 06, theorem 1.9, see also Ando-Hopkins-Rezk 10, prop. 4.5)
Here ….
In the special case that with then this reduces to
The above expression in terms of power operations may be used to establish the string orientation of tmf (Ando-Hopkins-Rezk 10).
…
The logarithmic operation for -complete K-theory was first described in
The formulation in terms of the Bousfield-Kuhn functor and the expression in terms of power operations is due to
The application of this to the string orientation of tmf is due to
Last revised on March 26, 2014 at 13:26:33. See the history of this page for a list of all contributions to it.